Repository navigation
deepnsm-v2 wire: every CE64 field of a parsed triple from its source, Gadamer gate first; plan D-CGW-0..12 - #1591
Conversation
…sure Recomputes ruff_metta_spo's interpreter-only fixpoint over the call graph as And(Plane(E), Plane(T_rep)) / Any per head extent through mask-risc, with ruff's verdict as the oracle. Hyperon 147 heads and PeTTa 1005 heads: 0 mismatches; zero steps disagree by exactly the call-tainted heads (9 / 71). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
…planes gram x function and function x function presence planes; contiguity of a gram is a closure of And(Plane(E), Plane(R_rep)) / Any kept inside the gram's row. All 18 grams of Figs. 8.1, 8.6, 8.9, 8.12 are contiguous; the (4) arrangement argument eliminates 4b (French a) and 4c (German zu); the Turkish old present (23) is caught as non-contiguous. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
… x Antecedent loci, AriGraph episodic vs epistemic, CE64 42/52/59..63) Records the two probes, the haspelmath.rs prior art, gaps G1 (FSM relative antecedent not exported to Locus::Antecedent) and G2 (TEKAMOLO lanes vs loci 0..3, token vs event offsets), the CE64 50..52 reading conflict, and seven open decisions. Feeds the #1589 open-items ledger. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
wire.rs fills the semantic upper half of each parsed triple's edge: F/C from lance-graph-arm-discovery's arm_to_truth_u8 over independent verses; the Pearl rung from the TEKAMOLO Kausal lane (PO) or SO; the orientation code (43..45) from the traced clause path on a Keenan-Comrie syntactic-function map; activation (46..49) as signed semantic pressure pos - neg; the novelty -> wisdom ladder (50..52) as a per-statement Markov state; the W1/W2/W3 window of the last three belief-state updates (53..58); and EpistemicState5 (59..63) from the clause path and the belief state. Antecedent and TEKAMOLO loci land in the 24 x i4 facet. fsm.rs: parse_to_spo_traced reports each triple's clause path. tekamolo.rs: ClauseRead records the stating token per lane. causal-edge: novelty_wisdom / activation accessors over bits 50..52 and 46..49 (same bits as plasticity / inference_mantissa). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
… a single causal verse Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
…nce planes; board entry Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Every wired row is a unit observation in a facts arena (S -Rel(P)-> O), and every Kausal claim a unit observation of cause => effect over event terms in a causes arena, both stamped with their verse. A cause event is CausalCandidate only when its implication rests on two or more disjoint verse stamps; the per-statement causal-verse counter is removed. The reasoning probe corpus gains two-clause weil verses. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
… O and the 144-cell verb byte Each wired row carries a FacetCascade read as six u8:u8 pairs: pairs 0..2 hold the S, P, O operand codes beside a qualia palette index (contract::qualia_profile), pair 3 the verb_table morton cell with a presence flag (cell 0 is a real verb, Becomes/Present). An adjective's qualia lands on the subject or object pair of its noun, an adverb's on the predicate pair of its event, so one index serves both and the pair is the distinction. The caller supplies the per-token index; no word -> qualia lexicon exists yet. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
… frequency change W (53..58) now indexes a per-cohort WitnessTable<64>; each row's W points at the witness entry of the prior state of the same statement, so the W chain is the statement's Markov arc in reading order. A prior in another cohort starts a new arc and is counted (arc_breaks). Activation (46..49) is the change the sentence makes to the statement's arm frequency over the prior state, in eighths. The ladder and certification read the support balance (pos > neg) instead. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Every observation of (S, P, O) is an encounter with its (S, P) group's interpretive horizon (claims = objects met, roots = independent verses). GadamerRevision's verdict decides: only IncreaseEligible observations are counted, reach the facts arena, or climb the ladder. An echo counts nothing; a rival from a verse already counted is ContradictionPreserved (suspended). Claims are never withdrawn and the tension only grows, so a contest no longer resets the rival's rung. Rows carry the gate's kind and whether the object is contested. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
…m and contradiction loci Orientation (43..45) is now the dative-map function the relation is read in (Haspelmath 2003, Fig. 8.1): 0 = plain core argument, 1..7 = Direction, Recipient, Experiencer, Purpose, Beneficiary, Predicative possessor, External possessor. The functions come from the forms attested inside the clause span (the morphology signal), narrowed by the row's TEKAMOLO lanes (Kausal -> Purpose, Lokal -> Direction). A form still allowing several functions leaves 0 and the row unresolved. The clause path moves to the topology only. The relative-clause antecedent is tested in both directions within the i4 reach, nearest first, as matrix subject or object. Every row also points at its nearest agreeing (Quorum) and disagreeing (Contradiction) peer within -8..+7 of the whole row stream, so a contradiction stays as a pointer. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
…atest state Maps the open items after the wire.rs field map: the versioned reading binding that must exist before wire edges leave the probe (43..45 and 46..49 are read as the pathology triad and the inference mantissa elsewhere), frequency-ranked defaults with antecedent-tested promotion (DeReKo / COCA shares measured), case-driven argument order, counterfactual lanes to Causes, concessive resistance, cross-cohort arcs, and the layout widenings. Corrects the das relative-pronoun share to 9.6 %. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
|
Note Currently processing new changes in this PR. This may take a few minutes, please wait... ⚙️ Run configuration
📒 Files selected for processing: 18
✨ Finishing Touches
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. Comment |
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. |
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: f9b730ed1c
ℹ️ 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".
Codex review on #1591: - The causes arena was fed before the per-row gate ran, so a suspended cause row still added its verse stamp and could reach CausalCandidate. The Kausal block now runs after the gate and observes a pair only when both the cause row and the effect row were admitted; CausalCandidate is promoted from Related afterwards. - attach_qualia matched only Pos::Other for adverbs; COCA r maps to Pos::Adv, so real adverbs were left unattached. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
…D-CGW-9 corrected) The versioned per-tenant reading binding is withdrawn: CE64 is an ISA wire format like TCP/IP or BF16, the fixed point readings are measured against. 43..45 is amended in the contract to orientation with all triad readers migrated; 46..49 stays the inference mantissa, so activation moves out of the edge until the contract gives it a field. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
…alia device Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
The gather ban (#1590) excludes D2 and D-RA-4, sends D-ASM to a re-spec and promotes N19 (the join is the layout). New: bits 50..52 carry two opposite encodings in code (pyramid 7 -> 0, with_novelty_wisdom 1 -> 7); merged with D-MATURATION3-1. Claude-Session: https://claude.ai/code/session_01EFw2WdKr1oxvaKCJC2ua2R
What this does
deepnsm_v2::wireturns parsed verses into rows. Each row'sCausalEdge64is written field by field, every field from one named source:run_harnesslance-graph-arm-discovery::arm_to_truth_u8, rule(S, P) → O, counted only after the Gadamer gate admits the observationPOwhen a TEKAMOLO Kausal lane is stated on the event, elseSOWitnessTable<64>for the witness of the same statement's previous state, so W follows each statement's Markov arc back in reading orderEach row also carries:
CausalWitnessFacet, −8..+7 over the row stream): Antecedent, tested in both directions; TEKAMOLO; Quorum (nearest agreeing row); Contradiction (nearest disagreeing row).RevisionKindandcontested.Gadamer gate first (G5). Each
(S, P)group is anInterpretiveHorizon.ContradictionPreserved) and not counted.Probe.
lance-graph-quack/examples/wired_reasoning_probe.rswrites five field rules as Datalog over presence planes and runs them through quack/mask-risc against a plain row-by-row check.The plan —
.claude/plans/ce64-grammar-wiring-v1.mdD-CGW-1 is a gate. Two of the fields wire writes are already read elsewhere with a different meaning:
causal-edgereads 43..45 as the per-plane pathology triad (including the Simpson check innetwork.rs).pearl.rs,chain_counterfactual.rsandmailbox_soa.rsread 46..49 as the inference mantissa.Wire edges stay in the probe until a versioned reading binding exists.
After the gate:
Causesonly if the gate admits it and the counterfactual finds the causeNecessary.Measured for D-CGW-2. DeReKo-2014 (read from a local path; CC BY-NC; nothing committed):
Verification
deepnsm-v2: 229 tests pass;causal-edgetests pass; clippy-D warningsis clean on thedeepnsm-v2lib and the quack examples.2026-10-16-grammar-coordinates-annotation-wiring.md§7–§11, STATUS rows D-CGW-0..12, plan index, LATEST_STATE. Contract inventory delta: none.Not done
contract::revisionis unchanged.Generated by Claude Code