feat(adr-0249): reader→Hamiltonian compiler — design spike + P1 quantity kernel #66

Merged

core-labs merged 2 commits from feat/reader-hamiltonian-compiler into main

2026-07-18 19:18:59 +00:00

Author	SHA1	Message	Date
Shay	0926a78ccb	feat(adr-0249): P1 conformal quantity kernel Numbers as null points on the Cl(4,1) conformal line; add/scale by known constants as translator/dilator versor sandwiches (affine Tier-1 scope). Projective scale-invariant decode absorbs the dilator's conformal weight. Reproducibility (spike §4.6 Tier 2): all construction explicit f64 (guards the cl41 silent-f32 fallback); golden-bytes canary pins embed_quantity(3.0) SHA-256 for cross-hardware drift detection. Fail-closed QuantityKernelError on non-finite input and degenerate conformal weight. Spike doc: §8 rulings recorded RESOLVED (all four approved); §4.6 three-tier byte-identity analysis added (LAPACK degenerate-eigenspace bound made explicit). 35/35 pins green. [Verification]: uv run python -m pytest tests/test_adr_0249_quantity_kernel.py -q	2026-07-18 12:04:28 -07:00
Shay	5738252c37	docs(research): reader→Hamiltonian compiler design spike — opening record Composition = certified turn sequences: compile problems into turn programs of small relation-Hamiltonians chained through the Ring-2 path ledger, not one big matrix (the ≤5-atom ceiling IS the 32-blade basis). Quantity kernel: conformal line embedding + translator/dilator transport, verified exact in-tree against algebra/cl41.py (dilator sign convention + projective decode pinned). All bindings verified: ProblemHamiltonian contract, reader IRs (MathProblemGraph, meaning_graph→to_deductive_logic), governing ADRs (0243 §2.2/§4.2, 0244 §2.7-2.8, 0245 §2.2-2.4/§3, 0012, 0175/0191-0193), prior art reconciled (ADR-0217 R2 front-end, field wedge INV-27 intact). Next ADR number: 0249. Implementation P1-P5 gated on §8 rulings.	2026-07-18 11:52:40 -07:00

Author

SHA1

Message

Date

Shay

0926a78ccb

feat(adr-0249): P1 conformal quantity kernel

Numbers as null points on the Cl(4,1) conformal line; add/scale by known
constants as translator/dilator versor sandwiches (affine Tier-1 scope).
Projective scale-invariant decode absorbs the dilator's conformal weight.

Reproducibility (spike §4.6 Tier 2): all construction explicit f64 (guards the
cl41 silent-f32 fallback); golden-bytes canary pins embed_quantity(3.0) SHA-256
for cross-hardware drift detection. Fail-closed QuantityKernelError on
non-finite input and degenerate conformal weight.

Spike doc: §8 rulings recorded RESOLVED (all four approved); §4.6 three-tier
byte-identity analysis added (LAPACK degenerate-eigenspace bound made explicit).

35/35 pins green.

[Verification]: uv run python -m pytest tests/test_adr_0249_quantity_kernel.py -q

2026-07-18 12:04:28 -07:00

Shay

5738252c37

docs(research): reader→Hamiltonian compiler design spike — opening record

Composition = certified turn sequences: compile problems into turn programs
of small relation-Hamiltonians chained through the Ring-2 path ledger, not
one big matrix (the ≤5-atom ceiling IS the 32-blade basis). Quantity kernel:
conformal line embedding + translator/dilator transport, verified exact
in-tree against algebra/cl41.py (dilator sign convention + projective decode
pinned). All bindings verified: ProblemHamiltonian contract, reader IRs
(MathProblemGraph, meaning_graph→to_deductive_logic), governing ADRs
(0243 §2.2/§4.2, 0244 §2.7-2.8, 0245 §2.2-2.4/§3, 0012, 0175/0191-0193),
prior art reconciled (ADR-0217 R2 front-end, field wedge INV-27 intact).
Next ADR number: 0249. Implementation P1-P5 gated on §8 rulings.

2026-07-18 11:52:40 -07:00