Shay bae16cf607 docs(research): Tier-2 multi-entity arithmetic design spike ... Action 1: multi-register product-of-lines model + coupled-translator transfers + transfer-conservation invariant (verified in-tree: Ruth/Sara + 200 random transfers, conservation & per-register exactness ~6e-11). Transactional atomicity via immutable register snapshots (prepare-validate-commit; no partial mutation, no rollback). Action 2 finding (probe on the 24 refused GSM8K dev cases): ALL 24 are constant-operand multi-entity (20 contain a transfer). Unknown split: 18 single-entity (pure 2a -> 26/50->44/50), 6 total-like (need certified summation = 2b certified-decode staging on REAL data -> up to 50/50). Derived-operand transfers (half-of-X) = 0 on this holdout (synthetic-only, guarded). Tier-2b certified-decode staging + chain-of-custody (Shay's Q): certificate psi_digest anchor + operand_certificate_id in the TurnRecord + deterministic re-execution/live gate — no trusted-Python assumption. §7 rulings RESOLVED (Shay): certified summation turn; ship 2b designed+guarded; conservation pin = hard-reject. ADR-0250 (Proposed) to follow.		2026-07-18 14:01:15 -07:00
..
adr-0241-0242-adversarial-and-fidelity-findings.md	docs(research): W1 adversarial findings + 4-blueprint integration plan	2026-07-15 12:49:00 -07:00
adr-0241-0242-blueprint-integration-plan.md	docs: close ADR-0242 memo fidelity slice + living-summary update + sanctioned-seam note (follow-up batch)	2026-07-15 15:10:31 -07:00
ADR-0242-deterministic-fibonacci-operators-and-evidence-gated-optimization.md	docs(analysis): rejected Drive-draft re-implementation — assessment + sketch-defect pins	2026-07-16 10:13:04 -07:00
CORE-ASI-Super-Blueprint-Third-Door-Horizon.md	fix(third-door): align with perfected package contracts from Downloads artifacts (refs #10 #11 #12 #13)	2026-07-11 22:05:02 -07:00
core_labs_core_technical_gap_audit.pdf	docs(research): intelligence-loop arc opening record — plan + Spark-audit adjudication	2026-07-18 08:14:29 -07:00
core_repository_systems_audit_and_gap_analysis.pdf	docs(research): intelligence-loop arc opening record — plan + Spark-audit adjudication	2026-07-18 08:14:29 -07:00
epistemic_state_math_audit_findings.md	docs(epistemic): align audit terminology with runtime enum	2026-05-28 04:17:19 -07:00
field-reasoner-wedge-selection.md	docs(research): select quantitative field reasoner wedge	2026-06-04 17:23:57 -07:00
independent-comprehension-agreement-gate.md	docs(research): define independent comprehension agreement gate	2026-06-04 17:23:20 -07:00
intelligence-loop-homestretch-plan-2026-07-18.md	docs(research): plan record — mark EXECUTED/merged, add missed Phase-4 DONE marker	2026-07-18 11:27:02 -07:00
reader-hamiltonian-compiler-spike-2026-07-18.md	feat(adr-0249): P1 conformal quantity kernel	2026-07-18 12:04:28 -07:00
robdd_proof_chain_design_note.md	Add proof-chain corpus fixtures	2026-06-02 19:26:46 -07:00
spark-audit-adjudication-2026-07-18.md	docs(research): intelligence-loop arc opening record — plan + Spark-audit adjudication	2026-07-18 08:14:29 -07:00
third-door-blueprint-fidelity.md	docs(governance): RATIFY — ADR-0241 and ADR-0242 → Accepted (Joshua Shay, 2026-07-15)	2026-07-15 15:25:47 -07:00
THIRD-DOOR-LANDING-PACKAGE-README.md	fix(third-door): align with perfected package contracts from Downloads artifacts (refs #10 #11 #12 #13)	2026-07-11 22:05:02 -07:00
tier2-multi-entity-arithmetic-spike-2026-07-18.md	docs(research): Tier-2 multi-entity arithmetic design spike	2026-07-18 14:01:15 -07:00