core-labs/core
core-labs/core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
core/docs/analysis
History
Shay ad37d03b19 docs(adr-0244,adr-0245): D4 Phase 0 — governance reconciliation 
Reconciles ADR-0244 against its own D0 blockers and commits ADR-0245 as
a real companion ADR (previously a dangling reference in ADR-0244 §4).

ADR-0244 governance annotation expanded (11 items, all body text below
preserved verbatim for R&D provenance; annotation governs on conflict):
  1. Q_top proof (already landed) now explicitly drops the §2.2 egress
     ΔQ_top conjunct (it is a hollow, always-true discriminator).
  2. §4-vs-§2 contradiction RESOLVED — new §4a is the governing spec;
     §4 kept verbatim as the (contradictory) original R&D sketch.
  3. §2.1 axis construction was underspecified (packs ship dim-3
     directions, not 32-vectors) — resolved via a grade-1 lift at the
     e1/e2/e3 slots (algebra.cl41.basis_vector), not embed_point.
  4. §2.2 amended: signed overlap (never abs()'d — anti-alignment must
     stay distinguishable from orthogonality); leakage norm is the
     positive-definite Euclidean coefficient norm, not the indefinite
     Cl(4,1) inner product (which (+,+,+,+,-) permits to vanish for
     nonzero leakage).
  5. Inalienability reframed as 5 testable layers (algebraic / runtime
     / pipeline / operational / semantic) — only the first is a math
     guarantee.
  6. Paraphrase-invariance reworded as an empirical, measured property;
     Q_top conservation scoped to pure versors only (relax_to_ground
     can converge to non-versor superpositions — the ADR-0243 SD-A
     subtlety).
  7. boundary_ids activation (currently stored, never evaluated).
  8. Identity manifold is FROZEN — biography holonomy accumulates
     separately and never mutates the identity subspace.
  9-11. Filename correction (multimodal_lifecycle.py doesn't exist;
     real file is cognitive_lifecycle.py), ADR-0245 cross-link,
     theological citation labeled ESV + analogy disclaimer.

New §4a supersedes §4 with a typed, Gram/leakage-correct specification
(ManifoldConditioningError, IdentityGateRefusal, bounded/abstaining
C_id, isfinite + shape guards — no bare assert) for Phase 1/2 to build
against under TDD.

ADR-0245 committed Proposed, verbatim from the R&D export, with a
governance annotation mapping its 4 decisions + Sec 3 acceptance gate
against what the cohesion-directive arc already landed (Rust f32 GP,
_cached_eigh, digest hot-path all done; f64->f32 cast + Sec 3's
speedup/collision proofs open — tracked as D4 Phase 4/5).

Audit doc (adr-0244-cohesion-directive-audit-2026-07-17.md) wrinkles
1-2 and Q5 sequencing updated from 'pending'/'must reconcile' to
resolved, cross-referencing this landing.

[Verification]: in-worktree smoke gate 176 passed; provenance/ADR
governance pins (test_adr_0241_governance_p12.py,
test_adr_0242_topological_quarantine.py, test_third_door_cohesion.py)
30 passed — confirms ADR-0244 stays Proposed (no status flip) and no
existing ADR provenance guard was disturbed. Docs-only change, no
executable surface touched.
2026-07-17 15:32:09 -07:00
..
adr-0184-replay-provenance-equivalence-harness-2026-06-10.md test(derivation): add ADR-0184 semantic replay equivalence harness 2026-06-10 14:35:22 -07:00
adr-0184-s3-s5-candidate-source-boundary-2026-06-10.md feat(derivation): define semantic-ledger candidate source boundary 2026-06-10 13:17:53 -07:00
adr-0244-cohesion-directive-audit-2026-07-17.md docs(adr-0244,adr-0245): D4 Phase 0 — governance reconciliation 2026-07-17 15:32:09 -07:00
adr-corpus-cohesion-dependency-map-2026-06-30.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
afferent-field-ingest-scope-2026-06-15.md feat(l10): autonomous idle frontier-contemplation — the always-on life learns on its own (#758) 2026-06-14 23:59:49 -07:00
AGI-candidacy-autonomous-improvement-roadmap-2026-06-05.md docs(design): L10/L11 lived-spine design records + AGI-candidacy roadmap 2026-06-05 15:11:08 -07:00
AGI-spine-refined-sequencing-2026-06-06.md work done towards furthering comprehension, contemplation, learning, and also began working on fixing some failing tests 2026-06-16 12:27:59 -07:00
ask-runtime-wiring-missing-boundary-2026-06-10.md docs(ask): document missing runtime ASK provider boundary 2026-06-10 09:23:04 -07:00
ask-serving-integration-scoping-2026-06-08.md docs(epistemic): scope ASK and VERIFIED serving gates 2026-06-08 22:22:35 -07:00
ask-serving-integration-scoping-2026-06-09.md docs(epistemic): tighten pass_manager scoping wording and use relative links 2026-06-09 09:26:49 -07:00
b4-frameverdict-implementation-lookback-2026-06-15.md feat(frame-verdict): closed-world FrameVerdict substrate — PR-1..4 + hardening (ADR-0222 B4) (#787) 2026-06-16 06:23:03 -07:00
close-derived-climb-yardstick-claim-b-ratification-2026-06-16.md feat(eval): harden close-derived-climb yardstick to full Claim B (#791) 2026-06-16 17:10:11 -07:00
close-derived-facts-frameverdict-posture-ratification-2026-06-16.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
close-derived-proposal-bridge-2026-06-16.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
close-flywheel-dedicated-regression-surface-ratification-2026-06-16.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
close-flywheel-proposal-review-visibility-ratification-2026-06-16.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
close-relational-transitive-pr1-2026-06-16.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
cmb-a-combined-rate-ruler-2026-06-08.md feat(combined-rate): CMB-a — combined-rate setup ruler (model + gold + oracle) 2026-06-08 06:58:17 -07:00
cmb-lookback-review-2026-06-08.md docs(cmb): lookback review + fix single-agent-attribution hygiene hazard (H3) 2026-06-08 13:27:17 -07:00
combined-rate-capability-ledger-2026-06-08.md docs(comprehension): freeze combined-rate (R4) v1 — capability ledger + non-claims (CMB-e) 2026-06-08 14:13:39 -07:00
composition-capability-scope.md
composition-wall-execution-plan-2026-06-03.md
comprehension-capability-ledger-2026-06-07.md docs(comprehension): whole-system organ capability ledger + fix ADR-0211 number collision 2026-06-08 06:15:51 -07:00
comprehension-coverage-wall-map-2026-06-14.md docs(analysis): wall map — the recognizer/coverage wall is COMPOSITION 2026-06-14 15:10:30 -07:00
comprehension-organ-capability-ledger-2026-06-08.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
comprehension-primitive-inventory.md
core-problem-solving-capability-roadmap-v2-2026-06-17.md docs(tooling): add post-Gate-A1 frontier microscope (#806) 2026-06-17 15:53:29 -07:00
core_cohesion_master_plan.md feat(adr-0241): cohesion substrate — vault ABI, reconstruct, I-01…I-05 suite 2026-07-14 14:09:00 -07:00
core_ha_unification_and_deprecation_plan.md docs(analysis+audit): core_ha Path-B correction + acceptance-packet review fixes 2026-07-15 15:20:25 -07:00
crdt-vs-bitexact-determinism-decision-2026-07.md docs(analysis): add CRDT vs bit-exact determinism decision dossier 2026-07-15 14:34:50 -07:00
D-close-consolidation-design-2026-06-06.md feat(determine): idle deductive consolidation — the loop learns from determined facts (Step D) 2026-06-06 12:28:09 -07:00
deductive-logic-phase-2-benchmark-runway-2026-06-04.md
E-estimation-design-2026-06-06.md feat(determine): calibrated disclosed estimation — the engine earns the right to guess (Step E) 2026-06-06 13:49:07 -07:00
engineering_cohesion_refactoring_directive.md docs(cohesion): D0 governance — land ADR-0244, directive, and mandate audit 2026-07-17 13:58:17 -07:00
epistemic-coherence-architecture-2026-06-14.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
extraction-richness-audit-2026-06-03.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
fibonacci_applications_in_core_substrate.md feat(adr-0242): Drive V1 cert discipline + doc align five vectors 2026-07-14 21:08:02 -07:00
field-reasoner-wedge-design-and-falsification-2026-06-04.md
field-wedge-ablation-result-2026-06-04.md
full-suite-reds-ledger-2026-07.md fix(tests): pin showcase budget to the deliberate 60s + complete the slow-lane ledger row 2026-07-15 19:44:04 -07:00
gsm8k-capability-paradigm-sprint5-lookback-2026-06-17.md feat(derivation): capability paradigm sprint 5 question-bound product lift (#815) 2026-06-17 20:51:17 -07:00
gsm8k-capability-paradigm-sprint6-lookback-2026-06-17.md feat(derivation): capability paradigm sprint 6 experience-guided lift (#817) 2026-06-17 22:22:53 -07:00
gsm8k-capability-paradigm-sprint7-lookback-2026-06-17.md feat(derivation): capability paradigm sprint 7 experience-guided lift (#818) 2026-06-17 22:47:02 -07:00
gsm8k-capability-paradigm-sprint8-lookback-2026-06-17.md feat(derivation): capability paradigm sprint 8 R6 affine/fraction lift (#819) 2026-06-18 01:52:25 -07:00
gsm8k-capability-paradigm-sprint9-lookback-2026-06-17.md feat(derivation): capability paradigm sprint 9 temporal tariff + affine lift (#820) 2026-06-18 09:59:46 -07:00
gsm8k-capability-paradigm-sprint10-lookback-2026-06-17.md feat(derivation): capability paradigm sprint 10 frontier lift (#823) 2026-06-18 12:15:52 -07:00
gsm8k-capability-paradigm-sprint11-lookback-2026-06-17.md feat(gsm8k): capability paradigm sprint 11 cluster-contract lift (#824) 2026-06-18 12:52:32 -07:00
gsm8k-capability-paradigm-sprint12-lookback-2026-06-17.md feat(gsm8k): capability paradigm sprint 12 singleton contract lift (#825) 2026-06-18 15:10:10 -07:00
gsm8k-capability-strike-batch2-lookback-2026-06-17.md feat(derivation): capability strike batch 2 bracelet-yield lift (#811) 2026-06-17 19:32:42 -07:00
gsm8k-capability-strike-batch3-lookback-2026-06-17.md feat(derivation): capability strike batch 3 peer-pick lift (#813) 2026-06-17 19:56:37 -07:00
gsm8k-capability-strike-batch4-lookback-2026-06-17.md feat(derivation): capability strike batch 4 goal-residual lift (#814) 2026-06-17 20:21:18 -07:00
gsm8k-derivation-reader-recognizer-lift-workstream-a-ratification-2026-06-17.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
gsm8k-experience-flywheel-pr1-lookback-2026-06-17.md feat(gsm8k): add bounded experience flywheel for sealed practice 2026-06-17 21:05:02 -07:00
gsm8k-lift-program-strategy-2026-06-04.md
gsm8k-post-gate-a1-frontier-microscope-2026-06-17.md docs(tooling): add post-Gate-A1 frontier microscope (#806) 2026-06-17 15:53:29 -07:00
gsm8k-sealed-attempt-scout-s1-lookback-2026-06-17.md feat(evals): add GSM8K sealed attempt scout (#812) 2026-06-17 19:55:13 -07:00
gsm8k-workstream-a-gate-a1-comparative-multiplicative-lookback-2026-06-17.md docs(tooling): add post-Gate-A1 frontier microscope (#806) 2026-06-17 15:53:29 -07:00
gsm8k-workstream-a-gate-a1-comparative-multiplicative-ratification-2026-06-17.md docs(analysis): ratify Gate A1 multiplicative comparative injection (#803) 2026-06-17 13:20:32 -07:00
gsm8k-workstream-a-gate-a2a-unit-partition-lookback-2026-06-17.md feat(derivation): Gate A2a unit partition injection (#809) 2026-06-17 18:14:24 -07:00
gsm8k-workstream-a-gate-a2a-unit-partition-ratification-2026-06-17.md docs(analysis): ratify Gate A2a unit partition primitive (#808) 2026-06-17 17:37:31 -07:00
gsm8k-workstream-a-increment-1-lookback-2026-06-17.md feat(derivation): Workstream A inc 1 — lexeme reader + cleaned exemplars + proxy rebaseline (#796) 2026-06-16 21:57:05 -07:00
gsm8k-workstream-a-increment-2-lookback-2026-06-17.md feat(derivation): Workstream A inc 2 — frontier report + rate_with_currency apply_rate injection (#797) 2026-06-17 06:38:45 -07:00
gsm8k-workstream-a-increment-2-rate-injection-ratification-2026-06-17.md feat(derivation): Workstream A inc 2 — frontier report + rate_with_currency apply_rate injection (#797) 2026-06-17 06:38:45 -07:00
gsm8k-workstream-a-increment-3-lookback-2026-06-17.md docs(analysis): close Inc3 rate-followup evidence loop (#801) 2026-06-17 12:31:34 -07:00
gsm8k-workstream-a-increment-3-rate-followup-ratification-2026-06-17.md feat(derivation): Workstream A inc 3 — narrow rate connector follow-up (#799) 2026-06-17 10:08:59 -07:00
gsm8k-xhigh-capability-sprint13-lookback-2026-06-18.md feat(gsm8k): xhigh capability sprint 13 robust lift (#827) 2026-06-18 16:10:15 -07:00
holonomy-resonance-proof-not-robust-2026-06-14.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
integrate-hardened-close-yardstick-determinism-teaching-regression-ratification-2026-06-16.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
kernel-knowledge-inventory-2026-06-18.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
kernel-operationalization-deprecation-brief-2026-06-18.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
kernel-operationalization-implementation-2026-06-18.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
kernel-substrate-deprecation-audit-2026-06-18.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
kernel-substrate-tranche1-brief-2026-06-18.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
kernel-substrate-tranche1-implementation-2026-06-18.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
L10-continuity-spike-design-2026-06-05.md docs(design): L10/L11 lived-spine design records + AGI-candidacy roadmap 2026-06-05 15:11:08 -07:00
L10-runtime-scoping-2026-06-05.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
L10-shapeBplus-persistence-scope-2026-06-05.md docs(design): L10/L11 lived-spine design records + AGI-candidacy roadmap 2026-06-05 15:11:08 -07:00
math-serving-seam-design-2026-06-06.md feat(derivation): math-serving reach seam — select_self_verified is policy-aware (ADR-0206 §5) 2026-06-06 15:46:14 -07:00
oov-grounding-determinism-morphology-affinity-collapse.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
phase2-general-comprehension-organ-scope-2026-06-05.md docs(analysis): Phase 2 spike — syntax pack is not a parser; structural-decode fork 2026-06-05 15:41:36 -07:00
pivot-to-deductive-logic-2026-06-04.md
pr836-lookback-2026-06-20.md feat(kernel): introduce construction-affordance catalog skeleton (#836) 2026-06-20 11:32:43 -07:00
pr837-lookback-2026-06-20.md feat(kernel): route proportional-decrease through construction proposals (#837) 2026-06-20 11:52:02 -07:00
pr839-lookback-2026-06-20.md docs(substrate): add foundational family specification appendices (#839) 2026-06-20 13:49:29 -07:00
problemframe-bindings-contract-readiness-2026-06-18.md feat(kernel): bind ProblemFrame relations and measure contract readiness (#831) 2026-06-18 21:05:37 -07:00
problemframe-contract-gap-taxonomy-2026-06-20.md docs: audit semantic substrate affordances (#833) 2026-06-20 09:56:47 -07:00
proposal-review-idle-integration-2026-06-08.md chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
proposal-review-reporter-2026-06-07.md docs(proposal-review): boundary ledger — read-only reporter, not idle_tick, not L10 (RPT-d) 2026-06-07 21:44:07 -07:00
q1-d-ask-bus-delivery-scoping-2026-06-08.md docs(epistemic): record accepted Q1-D delivery decisions 2026-06-09 09:16:24 -07:00
q1-epistemic-question-articulation-v1-scoping-2026-06-08.md docs(scoping): epistemic disclosure bus (Stage 2 / VERIFIED v1) + Q1 question-articulation briefs 2026-06-08 14:53:47 -07:00
question-layer-gap-survey.md
r1-inventory-ledger-2026-06-07.md feat(comprehension): inverse reader frame — base of a more/fewer-than (PR-7b / R2 C0) 2026-06-07 07:06:26 -07:00
r2-inventory-ledger-2026-06-07.md docs(comprehension): whole-system organ capability ledger + fix ADR-0211 number collision 2026-06-08 06:15:51 -07:00
r3-1-router-integration-2026-06-08.md feat(contemplation): wire R3 into the multi-organ router + pass manager (R3.1) 2026-06-08 02:05:34 -07:00
r3-2-unit-conversion-2026-06-08.md feat(rate): exact time-unit conversion for single-rate (R3.2b-e) 2026-06-08 05:43:51 -07:00
r3-rate-inventory-ledger-2026-06-08.md feat(rate): R3 inventory ledger + failure-family wiring (R3e) 2026-06-07 23:12:23 -07:00
real-gsm8k-capability-measurement-2026-06-04.md
REALIZE-R1-DETERMINE-scope-2026-06-06.md fix(realize): lookback hardening — defensive admissibility re-assertion + coverage 2026-06-06 06:31:54 -07:00
REALIZE-scope-2026-06-06.md docs(analysis): REALIZE phase scope (Step 3) — verified against the real substrate 2026-06-06 01:48:19 -07:00
rejected-draft-reimplementation-assessment-2026-07-16.md docs(analysis): rejected Drive-draft re-implementation — assessment + sketch-defect pins 2026-07-16 10:13:04 -07:00
relational-grounding-extension-2026-06-04.md
replay-moment-backend-scoping-2026-06-12.md feat(workbench): sealed single-turn replay backend — GET /replay/{turn_id} (Wave R3) 2026-06-12 17:15:39 -07:00
router-organ-hygiene-invariant-2026-06-08.md test(contemplation): standing router-organ-hygiene invariant 2026-06-08 05:28:06 -07:00
scalar-equivalence-facade-pr1-brief-2026-06-18.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
semantic-substrate-affordance-audit-2026-06-20.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
semantic-substrate-affordance-map-2026-06-20.md docs: audit semantic substrate affordances (#833) 2026-06-20 09:56:47 -07:00
semantic-substrate-problem-solving-master-plan-2026-06-20.md Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
solver-operation-coverage.md
stage2-disclosure-bus-implementation-map-2026-06-09.md docs(stage2): map disclosure-bus implementation state and next slices 2026-06-09 11:32:00 -07:00
stage2-epistemic-disclosure-bus-verified-v1-scoping-2026-06-08.md docs(scoping): lock VERIFIED as a distinct disclosure mode, not APPROXIMATE (review fix) 2026-06-08 15:00:38 -07:00
step3-relational-surface-lookback-2026-06-15.md docs(analysis): Step-3 relational-surface lookback (#775 + #781 + #783) (#784) 2026-06-15 16:56:03 -07:00
universal-structure-and-field-symbol-coherence-gate-2026-06-04.md
VERIFIED-canonical-comparison-scoping-2026-06-06.md docs(analysis): VERIFIED producer — validate-first verdict is DO NOT BUILD (comprehension-bound) 2026-06-06 16:09:41 -07:00
verified-serving-wiring-scoping-2026-06-08.md docs(epistemic): scope ASK and VERIFIED serving gates 2026-06-08 22:22:35 -07:00
verified-serving-wiring-scoping-2026-06-09.md docs(verified): scope serving-time verification gate 2026-06-09 09:41:34 -07:00
wiring-promotion-gate-brief-2026-06-03.md