Repository navigation
D-EPI-COT C3b: scent ranks candidate mediators by testability - #1842
Merged
Merged
Conversation
nars::scent ranks candidate mediators B of an A->Y edge: a lead with one link bound in the sealed chain and grounded in the ledger, and the other missing, is testable (one observation decides) and ranks first; then uncertainty (binary entropy of the link's NARS expectation, 1 without evidence). A settled lead reopens as contested on independent contradiction. Writes no edge, truth or certification; stores nothing. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPWTwovjYJEUMuGPb4
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPWTwovjYJEUMuGPb4
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
|
AdaWorldAPI
marked this pull request as ready for review
October 28, 2026 19:16
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds C3b, scenting. This PR is stacked on #1840 (base branch
ccr-39105428-bcm2m2-epi-cot) and is independent of #1841. After #1840 merges, retarget this PR tomain; otherwise its commits never reach main.What it does
nars::scent::scentanswers one question: for an edge atIndirectUnknown × Causes(raw5 22), which candidate mediatorBshould be investigated next?It reads only the #1840 ledger and the sealed chain. It writes no edge, truth value or certification, and stores nothing between calls.
pearl::hydrateis still the only thing that moves topology.Each candidate gets a status:
A → B → Yis in the sealed chain and grounded in the ledger; the other is missing. One observation decides whetherBhydrates.Leads sort in the order of that table. Within a status, the more uncertain lead comes first; uncertainty is the binary entropy of the NARS expectation, or 1 for a link with no evidence. Remaining ties go by mediator id.
Uncertainty alone can't tell a lead worth testing from noise: every candidate with no evidence scores the maximum. D-CE64-STAUNEN-0 measured the same failure for raw surprise.
Falsifiers
There are 6 tests. Four guards were each disabled in turn, and each disable turns its test red.
IndirectKnown × Causes. Disable: mark a lead settled regardless of its evidence.Gates
clippy --libis clean.clippy --lib --testsreports the same 8 failing sites as main694b243bd. None are in this diff.Not in this PR
7 = Staunen … 0 = Wisdom.Draft; not for automatic merge.
Generated by Claude Code