CE64 is the defining LE, always enforced — the rulings, the census, and the fabrications stripped by AdaWorldAPI · Pull Request #1223 · AdaWorldAPI/lance-graph

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

Navigation Menu

Repository navigation

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