CE64 is the defining LE, always enforced — the rulings, the census, and the fabrications stripped - #1223

Merged

AdaWorldAPI merged 24 commits into

mainfrom

claude/lance-graph-1218-plans-z8hzqr

Sep 11, 2026

Commits on Sep 10, 2026

doctrine: LE is the universal DTO layer — "typed NARS syntax" means a versioned LE schema, never a bare (f, c) pair
claude
committed
673829f
doctrine: truth is NARS x Tarski and the carrier asserts its own kind — bits 59-63 of CausalEdge64
claude
committed
d7e8ec5
doctrine: bits 59-63 are CODED coordinates of the assertion — CausalTopology + ReasoningBand, defining under LE
claude
committed
48bdbcf
doctrine: the smallest #1223 law — a field is defining when changing it changes the proposition; readers refuse, never default
claude
committed
53cba16
doctrine: the aliasing pair — same (f,c), different truths — is the smallest falsifier for #1223
claude
committed
68e388c
doctrine: perfume is bad because the assertion is not in the wire contract — D-BBB-NARS-2's gate is met
claude
committed
9e8b270
doctrine: the two dimensions are universal, and meaning crosses while machinery does not
claude
committed
90220a7
D-BBB-NARS-2: assertion_wire — the versioned canonical LE truth DTO, built on the existing 16-byte edge facet
claude
committed
27a43c5
fmt: sort the assertion_wire_parity mod declaration where rustfmt wants it
claude
committed
fe39ee2
doctrine: decorative / permissive / defining is a verdict, not a ladder — only LE-defining is real, the rest is prose
claude
committed
c8e34d4
strip the fabrications: CE64 is the defining LE, always enforced — not a wrapper, just wiring
claude
committed
2c66c01
plan: the NaN CI mode — make dormant ABI absence visible without touching storage
claude
committed
554ca67
regenerate the supersession index for the nan-ci-mode plan
claude
committed
2875b32
plan: correct the SIMD framing, add the hot-plug and counterfactual-ranking alternatives
claude
committed
1fb0a95
fix(planner): revise_fast called the deduction rule, not revision
claude
committed
6e5e674
plan: §4.5's confidence caveat was stale within the hour — the blindness moved
claude
committed
65eea5c
plan: correct §4.5 — a homonym, a non-runner, and the missing loco routing
claude
committed
7a5790e
plan: status — D-NCI-1..5 still unbuilt; one prerequisite landed, CI-verified
claude
committed
321fbe1
plan: correct §2.2's writer census after external review, and its two echoes
claude
committed
85af677
5+3 council: resolve nan-ci-mode-v1.md §8/§9 into a hardened proposal
claude
committed
e8099ea
Fix two Codex P2 findings on PR #1223: v1-compat scoping + NarsTables footprint
claude
committed
00ca4d8
Address CodeRabbit review on PR #1223: real deduce_fast bug + board-hygiene gaps
claude
committed
cc6c16f
Address fresh CodeRabbit round on cc6c16f: 2 nan-ci-mode gaps, 1 placeholder
claude
committed
39961c4

Commits on Sep 11, 2026

Fix two real non-additive regressions vs merged #1222, found by manual audit
claude
committed
4f0f7ad

Navigation Menu

CE64 is the defining LE, always enforced — the rulings, the census, and the fabrications stripped - #1223

CE64 is the defining LE, always enforced — the rulings, the census, and the fabrications stripped#1223
AdaWorldAPI merged 24 commits into
mainfrom
claude/lance-graph-1218-plans-z8hzqr

Commits on Sep 10, 2026

doctrine: LE is the universal DTO layer — "typed NARS syntax" means a versioned LE schema, never a bare (f, c) pair

doctrine: truth is NARS x Tarski and the carrier asserts its own kind — bits 59-63 of CausalEdge64

doctrine: bits 59-63 are CODED coordinates of the assertion — CausalTopology + ReasoningBand, defining under LE

doctrine: the smallest #1223 law — a field is defining when changing it changes the proposition; readers refuse, never default

doctrine: the aliasing pair — same (f,c), different truths — is the smallest falsifier for #1223

doctrine: perfume is bad because the assertion is not in the wire contract — D-BBB-NARS-2's gate is met

doctrine: the two dimensions are universal, and meaning crosses while machinery does not

D-BBB-NARS-2: assertion_wire — the versioned canonical LE truth DTO, built on the existing 16-byte edge facet

fmt: sort the assertion_wire_parity mod declaration where rustfmt wants it

doctrine: decorative / permissive / defining is a verdict, not a ladder — only LE-defining is real, the rest is prose

strip the fabrications: CE64 is the defining LE, always enforced — not a wrapper, just wiring

plan: the NaN CI mode — make dormant ABI absence visible without touching storage

regenerate the supersession index for the nan-ci-mode plan

plan: correct the SIMD framing, add the hot-plug and counterfactual-ranking alternatives

fix(planner): revise_fast called the deduction rule, not revision

plan: §4.5's confidence caveat was stale within the hour — the blindness moved

plan: correct §4.5 — a homonym, a non-runner, and the missing loco routing

plan: status — D-NCI-1..5 still unbuilt; one prerequisite landed, CI-verified

plan: correct §2.2's writer census after external review, and its two echoes

5+3 council: resolve nan-ci-mode-v1.md §8/§9 into a hardened proposal

Fix two Codex P2 findings on PR #1223: v1-compat scoping + NarsTables footprint

Address CodeRabbit review on PR #1223: real deduce_fast bug + board-hygiene gaps

Address fresh CodeRabbit round on cc6c16f: 2 nan-ci-mode gaps, 1 placeholder

Commits on Sep 11, 2026

Fix two real non-additive regressions vs merged #1222, found by manual audit