O22 counterfactual verdict, R1 pin, ledger correction (CE64 as one wire contract)

[AdaWorldAPI]

Two code changes, each with tests, and a board/research correction.

1. O22: the first CounterfactualVerdict producer (pearl.rs)

Reaction::verdict(factual_consistent) and Measured::counterfactual_verdict turn one cut into the counterfactual part of the Gadamer docket:

reaction	verdict
LoadBearing from a consistent chain (it breaks without the step)	Necessary
LoadBearing from an inconsistent chain (the cut repairs it)	Dispensable
Inert	Dispensable
TruthOnly	NotRun (O23 is still open; never remapped)
no cut	NotRun

The second row is Codex's P1 finding, fixed in e1d7d61a. Measured records the uncut chain's verdict from EdgeRole::factual.

This is the first end-to-end RevisionVerdict::is_acceptable() over a real replay. Only the load-bearing cut from a consistent chain accepts.

Scope: one cut judges one step. A claim that rests on several steps still needs a map from claim to step.

2. R1 pinned (kanban.rs)

Goal revision is refused inside CognitiveWork. The Rubicon DAG already enforces this: Evaluation → Plan → Planning reopens the goal, while revision inside CognitiveWork routes nowhere. The new test makes a future break fail loudly.

3. Ledger correction (operator rulings 2026-10-15)

Lives in .claude/research/2026-10-recovery/LEDGER-CORRECTION-2026-10-15.md, with a board entry.

• One global wire contract. CausalEdge64 header bits mean the same everywhere; K1 (per-class readings of 40..63) is withdrawn.
• Reconciled against the README diagram doc:
  • 40..42 is the Pearl ladder (CausalMask); ablation is the counterfactual cut, not its own class;
  • 43..45 is orientation;
  • 50..52 is the plasticity ladder (the pyramid), still behind a version gate;
  • 53..58 is already the witness handle (w_slot);
  • 59..63 is the licence.
• Open point: the doc lets each tenant declare its own reading, while the ruling says the reading is global. Recorded, not decided here.
• O25: a defect with a known fix. Replay composes; revision runs only across distinct temporal.rs coordinates.
• N15: Pearl × Wang NAL S-P × OpenNARS/ONA/PLN/Jøsang/Hyperon as views on the one wire.
• Closed: O20 (ndarray 1ecbccb) and N10 (clippy clean on main).
• Downgraded: O26. causal_bridge sits behind a wip feature that does not compile.
• Board:
  • 11 arc entries for planner: residue fixed point + Maslov Pyramid of Cognition probe (D-RESIDUE-FP-0, D-MATURATION3-0) #1494–D-CMH-1: class-qualified methods compile into Quack algebra, with no Rust per method #1504;
  • STATUS rows for D-RESIDUE-FP-0 and D-MATURATION3-0/-1;
  • D-HL-0 and D-NALP-0 moved to Shipped;
  • the pyramid doc's status table regraded;
  • AGENT_LOG entries.

Checks

• Tests: lance-graph-planner lib 459+ passed, lance-graph-contract lib 1480 passed.
• Disable runs, 6 in total, all red and then restored:
  • TruthOnly → Necessary;
  • Inert → Necessary;
  • no cut → Necessary;
  • every LoadBearing → Necessary;
  • factual verdict never recorded;
  • a Plan exit added to CognitiveWork.
• Clippy: the 12 errors on lance-graph-planner --tests predate this change. All are in cache/nars_engine.rs and tests/moore_nars16_probe.rs, none in the changed files.
• append_only_gate.py passes; the entries index is regenerated; the supersession index is unchanged.

🤖 Generated with Claude Code

https://claude.ai/code/session_01EFw2WdKr1oxvaKCJC2ua2R

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

• Configuration used: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: c838bb40-8ceb-465d-8b62-3b746d0e5b4b

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Warning

Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption.

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-15T06:24:48.688340Z	984e255	Draft marked ready

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 984e255484

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".