diff --git a/AGENTS.md b/AGENTS.md
index eb3bdf88..3a9b3d83 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -119,6 +119,22 @@ This boundary is a set of failing-when-violated invariants, not a convention:
 - **INV-29** — only `vault/store.py` may transition an `epistemic_status`.
 - **INV-30** — the open-world `determine()` gear constructs only `Determined(answer=True)` or refuses; it can never assert `answer=False`. Closed-world entailed-negation must use a distinct closed-world type and entry point.
 
+### Convergence fail-closed invariants (2026-07)
+Registered from the Master Convergence stack (PR #95–#97; ADR-0244 §3, ADR-0253)
+under the 2026-07-22 weekly-audit T1 ruling. Full contracts:
+`docs/specs/runtime_contracts.md`.
+- **INV-32** — identity scoring is wave-only: `IdentityCheck.check` requires an
+  explicit Cl(4,1) `wave_field`; absence raises typed `MissingWaveStateError`,
+  malformed fields raise `ValueError`; no scalar-L2 fallback exists. Live
+  refusal stays flag-gated (`identity_wave_gate`, default off, not authorized).
+- **INV-33** — dual-pack serve boundary: serve entrypoints never import draft
+  language trees (`packs/he`, `packs/grc`, …) as Python packages; runtime packs
+  load only from `packs/data/<pack_id>/` via `packs.compiler.load_pack`.
+- **INV-34** — cognition-pipeline failures are typed, never silent
+  (`core/cognition/fail_closed.py`): every refusal carries an explicit failing
+  condition + reason; a `None` `ContractAssessment` is itself a typed
+  violation; unresolvable referents refuse rather than fill.
+
 ### Kernel substrate rule
 New derivation work should consume `KernelFacts` / `ProblemFrame` where the substrate can represent the meaning.
 Do not introduce new local prose parsers inside derivation organs unless explicitly marked as legacy exception with migration rationale.
diff --git a/docs/adr/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md b/docs/adr/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md
index a750b528..daa0a56c 100644
--- a/docs/adr/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md
+++ b/docs/adr/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md
@@ -219,6 +219,12 @@ class CognitiveLifecycleEngine:
 
         \# closed-form / series bivector exp; sandwich ψ' = R ψ ~R.
 
+        \# Multi-modality ingress uses modality_transition_sandwich
+
+        \# (R·ψ·rev(R) + GoldTether). (Folded from the retired docs/research
+
+        \# copy under the 2026-07-22 weekly-audit T7 ruling.)
+
         generator \= np.dot(H\_problem, self.I)  \# SUPERSEDED — do not implement
 
         R \= la.expm(generator \* dt)
diff --git a/docs/analysis/antigravity-substrate-linguistic-anchors-salvage-2026-07-22.md b/docs/analysis/antigravity-substrate-linguistic-anchors-salvage-2026-07-22.md
new file mode 100644
index 00000000..52d7845b
--- /dev/null
+++ b/docs/analysis/antigravity-substrate-linguistic-anchors-salvage-2026-07-22.md
@@ -0,0 +1,204 @@
+# Antigravity worktree salvage — substrate linguistic anchors (2026-07-22)
+
+**Context**: Weekly-audit **T3 ruling** (2026-07-22). The Antigravity worktree
+`~/.gemini/antigravity/worktrees/core/implement-substrate-linguistic-anchors`
+(branch tip `1ccef491`, on main history, no unique commits) held 4 uncommitted
+files. They are **not** PR #96 material — they were a distinct, un-ADR'd
+experiment. Per the ruling the unique utility is preserved here and the
+worktree/branch are scrapped. Related handoff:
+`docs/handoffs/legacy/HANDOFF-antigravity-2026-07-01.md`; anchor-lens substrate:
+ADR-0073.
+
+## What it attempted
+
+Bias the reader→Hamiltonian compiler physics by anchor lenses: thread an
+`anchor_lens_id` through `CandidateRelation` / `BoundRelation` /
+`compile_quadratic_well` / `compile_propositional` / `compile_affine_relation`,
+map relation types to Hebrew/Greek anchor packs by hand, and deepen the
+Hamiltonian well by `0.1·curvature` (resp. `0.1·penalty`) on the blade hashed
+from the lens atom.
+
+## Why it was scrapped, not landed
+
+1. **Fail-open**: both compiler hooks swallow all errors
+   (`except Exception: pass`) — violates the typed fail-closed doctrine
+   (INV-34 posture; "no opaque fallback cognition").
+2. **Unratified serving-physics mutation**: the compile paths are load-bearing
+   for the wrong=0 compiler lanes; a magic `0.1` well-deepening on a
+   hash-derived blade is a serving change with no ADR, no measurement, no gate.
+3. **Hand map, not measurement**: the `_RELATION_TO_ANCHOR` table is exactly
+   the cue-table pattern the paradigm consolidation (ADR-0252) retired.
+
+If the idea returns, it enters as an ADR + off-serving evidence under the
+ADR-0252 §5 discipline (separable-with-margin, attribute-invariant,
+structure-sensitive), not as inline compiler edits.
+
+## The preserved hand map (for whoever picks this up)
+
+`transfer→he_dabar_v1, consumption→he_chayyim_v1, transaction→he_tzedek_v1,
+labor_rate→he_chesed_v1, travel→he_chokmah_v1, unary_delta→he_chayyim_v1,
+decrease_to_fraction→he_tzedek_v1, container_packing→grc_synesis_v1,
+partition→grc_synesis_v1, comparison→grc_logos_v1, percent_of→grc_synesis_v1,
+subgroup_partition→grc_synesis_v1`
+
+## Full recovered diff
+
+```diff
+diff --git a/core/physics/cognitive_lifecycle.py b/core/physics/cognitive_lifecycle.py
+index 60cc47ad..501dc819 100644
+--- a/core/physics/cognitive_lifecycle.py
++++ b/core/physics/cognitive_lifecycle.py
+@@ -302,7 +302,7 @@ class ProblemHamiltonian:
+         )
+ 
+ 
+-def compile_quadratic_well(target_psi: np.ndarray, *, curvature: float = 1.0) -> ProblemHamiltonian:
++def compile_quadratic_well(target_psi: np.ndarray, *, curvature: float = 1.0, anchor_lens_id: str | None = None) -> ProblemHamiltonian:
+     """H = curvature·(Id − ψ₀ψ₀ᵀ): ground space span(ψ₀) at energy 0, gap = curvature."""
+     target = _as_psi(target_psi, "target_psi", error=HamiltonianCompileError)
+     c = float(curvature)
+@@ -312,10 +312,23 @@ def compile_quadratic_well(target_psi: np.ndarray, *, curvature: float = 1.0) ->
+     if norm_err > _UNIT_TOL:
+         raise HamiltonianCompileError("target_not_unit", norm_residual=norm_err)
+     matrix = c * (np.eye(N_COMPONENTS, dtype=np.float64) - np.outer(target, target))
++    
++    if anchor_lens_id:
++        try:
++            from packs.anchor_lens.loader import load_anchor_lens
++            from packs.compiler import _hash_to_blade
++            lens = load_anchor_lens(anchor_lens_id, require_ratified=False)
++            if lens.atom:
++                # Topologically constrain by deepening the well along the anchored semantic geometry
++                blade_idx = _hash_to_blade(lens.atom, "anchor")
++                matrix[blade_idx, blade_idx] -= (c * 0.1)
++        except Exception:
++            pass
++
+     return ProblemHamiltonian(
+         matrix=matrix,
+         domain="quadratic_well",
+-        metadata={"curvature": c, "target_digest": _psi_digest(target)},
++        metadata={"curvature": c, "target_digest": _psi_digest(target), "anchor_lens_id": str(anchor_lens_id) if anchor_lens_id else ""},
+     )
+ 
+ 
+@@ -379,7 +392,7 @@ def _falsification_counts(problem: PropositionalProblem) -> tuple[int, ...]:
+     return tuple(counts)
+ 
+ 
+-def compile_propositional(problem: PropositionalProblem, *, penalty: float = 1.0) -> ProblemHamiltonian:
++def compile_propositional(problem: PropositionalProblem, *, penalty: float = 1.0, anchor_lens_id: str | None = None) -> ProblemHamiltonian:
+     """Diagonal penalty Hamiltonian: diag[component(a)] = penalty · #clauses falsified by a.
+ 
+     Out-of-domain components (blades using vectors beyond the atom set) get
+@@ -394,10 +407,23 @@ def compile_propositional(problem: PropositionalProblem, *, penalty: float = 1.0
+     diag = np.full(N_COMPONENTS, p * float(len(problem.clauses) + 1), dtype=np.float64)
+     for mask, count in enumerate(counts):
+         diag[_SUBSET_COMPONENT[mask]] = p * float(count)
++        
++    if anchor_lens_id:
++        try:
++            from packs.anchor_lens.loader import load_anchor_lens
++            from packs.compiler import _hash_to_blade
++            lens = load_anchor_lens(anchor_lens_id, require_ratified=False)
++            if lens.atom:
++                # Topologically constrain by deepening the well along the anchored semantic geometry
++                blade_idx = _hash_to_blade(lens.atom, "anchor")
++                diag[blade_idx] -= (p * 0.1)
++        except Exception:
++            pass
++
+     return ProblemHamiltonian(
+         matrix=np.diag(diag),
+         domain="propositional",
+-        metadata={"problem_id": problem.problem_id, "penalty": p, "n_atoms": problem.n_atoms},
++        metadata={"problem_id": problem.problem_id, "penalty": p, "n_atoms": problem.n_atoms, "anchor_lens_id": str(anchor_lens_id) if anchor_lens_id else ""},
+     )
+ 
+ 
+diff --git a/core/physics/relation_compiler.py b/core/physics/relation_compiler.py
+index fa03b4f7..a9d56a98 100644
+--- a/core/physics/relation_compiler.py
++++ b/core/physics/relation_compiler.py
+@@ -66,6 +66,7 @@ def compile_affine_relation(
+     scale: float,
+     offset: float,
+     curvature: float = 1.0,
++    anchor_lens_id: str | None = None,
+ ) -> ProblemHamiltonian:
+     """``output = scale·input + offset`` as a quadratic-well constraint Hamiltonian.
+ 
+@@ -88,4 +89,4 @@ def compile_affine_relation(
+     if norm < _MIN_TARGET_NORM:
+         raise HamiltonianCompileError("degenerate_affine_target", norm=norm)
+     unit_target = (psi_target / norm).astype(np.float64)
+-    return compile_quadratic_well(unit_target, curvature=curvature)
++    return compile_quadratic_well(unit_target, curvature=curvature, anchor_lens_id=anchor_lens_id)
+diff --git a/generate/kernel_facts.py b/generate/kernel_facts.py
+index 385795c5..93d6cab4 100644
+--- a/generate/kernel_facts.py
++++ b/generate/kernel_facts.py
+@@ -205,6 +205,7 @@ class CandidateRelation:
+     roles: tuple[RelationRole, ...] = ()
+     provenance: KernelProvenance | None = None
+     hazards: tuple[KernelHazard, ...] = ()
++    anchor_lens_id: str | None = None
+ 
+ 
+ # ---------------------------------------------------------------------------
+@@ -254,6 +255,7 @@ class BoundRelation:
+     relation_type: str
+     roles: tuple[BoundRole, ...]
+     evidence_spans: tuple[SourceSpan, ...]
++    anchor_lens_id: str | None = None
+ 
+ 
+ # ---------------------------------------------------------------------------
+diff --git a/generate/problem_frame_builder.py b/generate/problem_frame_builder.py
+index 0c9c0db4..ea1a58c9 100644
+--- a/generate/problem_frame_builder.py
++++ b/generate/problem_frame_builder.py
+@@ -39,6 +39,22 @@ from generate.problem_frame_proposals import (
+     _unary_delta_proposals,
+ )
+ from packs.scalar_equivalence import extract_scalar_candidates
++from dataclasses import replace
++
++_RELATION_TO_ANCHOR = {
++    "transfer": "he_dabar_v1",
++    "consumption": "he_chayyim_v1",
++    "transaction": "he_tzedek_v1",
++    "labor_rate": "he_chesed_v1",
++    "travel": "he_chokmah_v1",
++    "unary_delta": "he_chayyim_v1",
++    "decrease_to_fraction": "he_tzedek_v1",
++    "container_packing": "grc_synesis_v1",
++    "partition": "grc_synesis_v1",
++    "comparison": "grc_logos_v1",
++    "percent_of": "grc_synesis_v1",
++    "subgroup_partition": "grc_synesis_v1",
++}
+ 
+ 
+ def build_problem_frame(problem_text: str) -> ProblemFrame:
+@@ -75,6 +91,9 @@ def build_problem_frame(problem_text: str) -> ProblemFrame:
+         builder.add_process_frame(frame)
+ 
+     for relation in _extract_candidate_relations(problem_text, frames):
++        anchor_id = _RELATION_TO_ANCHOR.get(relation.relation_type)
++        if anchor_id:
++            relation = replace(relation, anchor_lens_id=anchor_id)
+         builder.add_relation(relation)
+ 
+     question_target = _detect_question_target(problem_text)
+@@ -138,6 +157,9 @@ def build_problem_frame(problem_text: str) -> ProblemFrame:
+         proposals_for_grounding,
+         builder.unary_delta_cues,
+     ):
++        anchor_id = _RELATION_TO_ANCHOR.get(relation.relation_type)
++        if anchor_id:
++            relation = replace(relation, anchor_lens_id=anchor_id)
+         builder.add_bound_relation(relation)
+     bound_target = _bound_question_target(problem_text, mentions)
+     if bound_target is not None:
+```
diff --git a/docs/analysis/branch-prune-ledger-2026-07-22.md b/docs/analysis/branch-prune-ledger-2026-07-22.md
new file mode 100644
index 00000000..45f9349b
--- /dev/null
+++ b/docs/analysis/branch-prune-ledger-2026-07-22.md
@@ -0,0 +1,415 @@
+# Branch prune ledger — 2026-07-22 (weekly-audit T5 ruling)
+
+**Ruling** (Shay, 2026-07-22): "Hard prune all stale branches across local and
+mirrors. If it wasn't merged or actively ledgered this week, it's dead code."
+
+This file is the provenance stash: every pruned ref's tip SHA is recorded here
+BEFORE deletion, so any branch is recoverable via `git branch <name> <sha>`
+(objects remain in history/reflog; merged rows are fully contained in main).
+
+**Kept (active)**: `main`, `rnd/structure-mapping-experiment`,
+`rnd/sme-experiment-v2` (ADR-0252 §5 experiment), plus the two in-flight audit
+branches (`fix/test-engine-state-isolation`, `docs/audit-rulings-t1-t7-t8-t9`).
+
+"UNMERGED" = tip not in `forgejo/main` ancestry (ahead-count shown). Most such
+rows are historical arcs whose content landed via later PRs (rebase/squash
+lineage), not lost work — but the SHA preserves them regardless.
+
+| Branch | Tip | Status | Ahead of main |
+|--------|-----|--------|---------------|
+| add-ask-acquisition-seam | 4308519c | merged | 0 |
+| add-quantity-replay-target | 3fc080d3 | merged | 0 |
+| adr-corpus-hygiene-2026-06-30 | c80b9cbc | UNMERGED | 1 |
+| adr-w005-surface-readback | 151ff8c4 | UNMERGED | 5 |
+| audit-adr-0225-contract-residuals | ede24500 | merged | 0 |
+| audit-layer-l2-vault | 0b11c7ab | UNMERGED | 2 |
+| audit-substrate-l3-language-packs | 4f46d3a5 | UNMERGED | 2 |
+| audit-substrate-l5-cognition | abf38d67 | UNMERGED | 1 |
+| audit-substrate-l9-epistemic | e15b5d0b | UNMERGED | 2 |
+| audit/L7-teaching-loop | ee32e8d7 | UNMERGED | 1 |
+| backup/local-main-before-rebase-20260616-122755 | 976c6cac | UNMERGED | 1 |
+| backup/local-main-pre-forgejo-sync | 18278175 | UNMERGED | 14 |
+| chore/agent-session-launchers | 5f513242 | UNMERGED | 1 |
+| chore/evals-ratify-gsm8k-train-proxy-rebaseline | 4e1a9bbe | UNMERGED | 1 |
+| chore/fix-dangling-git-forgejo-doc-ref | 3cd056b4 | merged | 0 |
+| chore/gsm8k-practice-lane-monotonic-counts | 73156617 | UNMERGED | 1 |
+| chore/gsm8k-test-doctrine-split-score-from-safety | ea81e7c4 | UNMERGED | 2 |
+| chore/post-accept-followups | a7279a54 | merged | 0 |
+| chore/refactor-cli-and-governance | 3b37d439 | UNMERGED | 9 |
+| codex/adr-0234-second-candidate-operator-selection | 038c8bc4 | merged | 0 |
+| codex/core-substrate-remediation | 03c87e68 | UNMERGED | 1 |
+| codex/environment-falsification-roadmap | 97f89bba | UNMERGED | 6 |
+| codex/feat/kernel-contract-residual-projection | 8b0edb69 | merged | 0 |
+| codex/idle-frontier-contemplation | f4976671 | UNMERGED | 1 |
+| codex/lived-life-surface | f96bc2be | UNMERGED | 1 |
+| codex/quantity-entity-binding-candidate-operator | 28deb566 | merged | 0 |
+| codex/quantity-entity-replay-target | fe4e2e6e | merged | 0 |
+| codex/semantic-substrate-affordance-audit | e46c4dcb | UNMERGED | 1 |
+| codex/semantic-substrate-problem-solving-plan | 623cb950 | UNMERGED | 1 |
+| construct-external-omni-sandbox | 6ff73aa7 | merged | 0 |
+| define-compute-budget-policy | 94c474ae | merged | 0 |
+| docs-contract-residual-model | ede24500 | merged | 0 |
+| docs-kernel-knowledge-inventory | 57a62043 | merged | 0 |
+| docs-kernel-quantity-preflight | 4bab1638 | UNMERGED | 1 |
+| docs/conscience-capstone-and-readme-sync | a0622676 | UNMERGED | 1 |
+| docs/core-roadmap-v2-recon-plan | cdd13580 | merged | 0 |
+| docs/first-candidate-operator-boundary | 7fa49c60 | merged | 0 |
+| docs/forbid-tea-cli-doctrine | acf2d9c4 | merged | 0 |
+| docs/geometric-search-run-envelope | 91c290a1 | merged | 0 |
+| docs/gsm8k-gate-a1-comparative-multiplicative-ratification | bd0e5d71 | UNMERGED | 1 |
+| docs/gsm8k-gate-a2a-unit-partition-ratification | 2b5a615f | UNMERGED | 1 |
+| docs/gsm8k-post-gate-a1-frontier-microscope | e1fb715e | UNMERGED | 2 |
+| docs/gsm8k-workstream-a-inc3-lookback | 8807b538 | UNMERGED | 1 |
+| docs/kernel-authorize-quantity-entity-slice | 4ec26c12 | UNMERGED | 1 |
+| docs/kernel-contract-residual-read-model | 7d5ba55b | merged | 0 |
+| docs/kernel-knowledge-layer-inventory-v1 | 1549239e | UNMERGED | 2 |
+| docs/kernel-quantity-entity-implementation-preflight | 4b147a76 | UNMERGED | 1 |
+| docs/kernel-state-change-transition-authorization | 7ee84997 | UNMERGED | 1 |
+| docs/kernel-unary-delta-conformance-decision | 92da72fb | merged | 0 |
+| docs/ratify-adr-0207-gsm8k-substrate | 81209ed9 | UNMERGED | 1 |
+| docs/ratify-adr-0225-contract-residual-read-model | 5c94a833 | merged | 0 |
+| docs/replay-adapter-boundary | 6aa78f70 | merged | 0 |
+| docs/residual-gated-practice-loop-v1 | 96dabfb9 | UNMERGED | 1 |
+| docs/run-attempt-binding-boundary | fc78db75 | merged | 0 |
+| docs/sealed-practice-trace-boundary | 60a118c1 | merged | 0 |
+| docs/xai-tesla-lane-first-pass-2026-06-11 | 71b84d32 | UNMERGED | 2 |
+| enforce-startup-fresh-base | 4b51ba14 | UNMERGED | 2 |
+| feat-ask-pass-manager-integration | c4ddc69b | UNMERGED | 3 |
+| feat-gsm1k-audit-adapter | a1de11e0 | merged | 0 |
+| feat-kernel-substrate-tranche1 | 1e4fcff1 | UNMERGED | 2 |
+| feat/3lang-depth-proposition-graph-unification | a1be0008 | UNMERGED | 9 |
+| feat/W-018-autonomous-contemplation | 61b88b51 | UNMERGED | 1 |
+| feat/adr-0119.2-gsm8k-eval-corpus | a4493890 | UNMERGED | 2 |
+| feat/adr-0131-1-sealed-holdout | 32c6ec63 | UNMERGED | 1 |
+| feat/adr-0167-w2c-domain-discriminator | 177195ff | UNMERGED | 3 |
+| feat/adr-0172-w0-1-trace-replay-equivalence | 767c8377 | UNMERGED | 1 |
+| feat/apple-mlx-exact-cga-recall-experiment | ba7cb7c9 | UNMERGED | 5 |
+| feat/apple-uma-acceleration-roadmap | b198807f | UNMERGED | 1 |
+| feat/apple-uma-mechanical-sympathy-benchmark | c581eb40 | UNMERGED | 2 |
+| feat/apple-uma-rust-baseline-report | 81bffcad | UNMERGED | 1 |
+| feat/apple-uma-wire-mlx-exact-recall-track | ab9d6f2e | UNMERGED | 1 |
+| feat/ask-pass-manager-offserving | de13082c | UNMERGED | 2 |
+| feat/ask-question-path-field | b0fef6b1 | UNMERGED | 1 |
+| feat/bound-practice-episode-sealing | b9a6eb96 | merged | 0 |
+| feat/close-derived-proposal-bridge | 3124b14b | UNMERGED | 4 |
+| feat/close-relational-transitive-consolidation | d30e3a68 | UNMERGED | 3 |
+| feat/compute-budget-decision | fcac436f | merged | 0 |
+| feat/create-dedicated-close-flywheel-regression-surface | bad7c9f7 | UNMERGED | 1 |
+| feat/define-close-derived-facts-frameverdict-posture | 92a7106a | UNMERGED | 2 |
+| feat/fix-rotor-power-smoke-simple-dispatch | e124d83b | merged | 0 |
+| feat/generalization-audit-runner-skeleton | f823eb43 | merged | 0 |
+| feat/generalization-cache-verifier | ed8c0b0e | merged | 0 |
+| feat/generalization-manifest-policy-linter | 83ba9a2e | merged | 0 |
+| feat/geometric-search-run-shell | 93ba988c | merged | 0 |
+| feat/geometricdelta-abi | 629bc163 | merged | 0 |
+| feat/grok43-agent-config | a48bf990 | UNMERGED | 23 |
+| feat/gsm1k-local-audit-adapter | f8fe6e22 | merged | 0 |
+| feat/gsm8k-capability-paradigm-sprint10-multiplicative-frontier-lift | 8e794ea4 | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint11-cluster-contract-calendar-lift | b8443fdd | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint12-singleton-contract-lift | ae974ce4 | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint5-chunk-lift | f2b21c3e | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint6-experience-guided-lift | ef408d2a | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint7-experience-guided-lift | c1c9030b | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint8-r6-affine-lift | 1936a4a5 | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint9-temporal-affine-lift | 195218b8 | UNMERGED | 1 |
+| feat/gsm8k-capability-strike-batch2-lift | 4df1e626 | UNMERGED | 1 |
+| feat/gsm8k-capability-strike-batch3-lift | 8db5321f | UNMERGED | 4 |
+| feat/gsm8k-capability-strike-batch4-scout-guided-lift | 8ab1c7a5 | UNMERGED | 1 |
+| feat/gsm8k-experience-flywheel-pr1-bounded-practice-memory | 9e743274 | merged | 0 |
+| feat/gsm8k-morphology-atlas-sprint14 | 57a62043 | merged | 0 |
+| feat/gsm8k-sealed-attempt-scout-s1 | e42b1fc0 | UNMERGED | 1 |
+| feat/gsm8k-workstream-a-gate-a1-comparative-multiplicative-injection | c37f97be | UNMERGED | 4 |
+| feat/gsm8k-workstream-a-gate-a2a-unit-partition-injection | cdbc30d3 | UNMERGED | 5 |
+| feat/gsm8k-workstream-a-gate-a2b-0002-lift | 21437506 | UNMERGED | 2 |
+| feat/gsm8k-workstream-a-inc1 | 92a7106a | UNMERGED | 2 |
+| feat/gsm8k-workstream-a-inc1-v2 | 4a7c07d6 | UNMERGED | 7 |
+| feat/gsm8k-workstream-a-inc2-rate-injection | b2c1594e | UNMERGED | 15 |
+| feat/gsm8k-xhigh-capability-sprint13 | e7ef3659 | UNMERGED | 3 |
+| feat/harden-close-derived-climb-yardstick-claim-b | 0f725710 | UNMERGED | 1 |
+| feat/holdout-dev-set | 6e0d1147 | UNMERGED | 1 |
+| feat/integrate-hardened-close-yardstick-determinism-teaching | f03979f0 | UNMERGED | 1 |
+| feat/kernel-construction-affordance-catalog | 7b8c844b | UNMERGED | 1 |
+| feat/kernel-foundational-family-registry-schema | 02bb80dc | UNMERGED | 1 |
+| feat/kernel-operationalization-deprecation | ed379f49 | UNMERGED | 1 |
+| feat/kernel-percent-partition-proposal-first | 2c3b2ed3 | UNMERGED | 1 |
+| feat/kernel-problemframe-bindings-contracts | cece2777 | UNMERGED | 1 |
+| feat/kernel-proportional-decrease-proposal-first | dccc2110 | UNMERGED | 1 |
+| feat/kernel-quantity-entity-proposal-seam | 87376dc5 | UNMERGED | 1 |
+| feat/kernel-search-gate-decision | 1d68292c | UNMERGED | 7 |
+| feat/kernel-unary-delta-proposal-seam | 0f6c51d0 | merged | 0 |
+| feat/missing-role-candidate-operator | 1d9e4060 | merged | 0 |
+| feat/problem-frame-proportional-change-closure | 6708f297 | UNMERGED | 1 |
+| feat/proof-chain-mp-dedup | cd4a925b | UNMERGED | 1 |
+| feat/rust-scalar-cl41-zero-copy-boundary | da92c1c3 | UNMERGED | 1 |
+| feat/sealed-practice-trace-shell | d3df22e2 | merged | 0 |
+| feat/serving-gate-config-fields | 0c087f69 | UNMERGED | 1 |
+| feat/strengthen-close-flywheel-proposal-review-visibility | 050dad91 | UNMERGED | 1 |
+| feat/third-door-goldtether-bootstrap-prune | f6fd50d9 | merged | 0 |
+| feat/third-door-trajectory-invariants-adr-dag | db924550 | merged | 0 |
+| feat/third-door-wave-field-substrate | 932b5d48 | merged | 0 |
+| feat/verified-serving-dark-gate | 4897e3e8 | UNMERGED | 1 |
+| feat/wb-r0b-playwright | aa0410ce | UNMERGED | 1 |
+| feat/workbench-apple-uma-report-read-model | cb41aedd | UNMERGED | 3 |
+| feat/workbench-capability-mastery-reconcile | 26a446fa | UNMERGED | 1 |
+| feat/workbench-practice-ui-scaffold | 1be00680 | UNMERGED | 15 |
+| feat/workbench-trace-practice-tab | a15a6f30 | UNMERGED | 1 |
+| feat/workbench-ui-apple-uma-report-card | 284e4c57 | UNMERGED | 5 |
+| feat/yardstick-close-derived-climb | 95ab7080 | UNMERGED | 4 |
+| fix-unary-delta-conformance | ede24500 | merged | 0 |
+| fix-workbench-ui-ci | ff1ef10b | merged | 0 |
+| fix/cga-substrate-final-cleanups | 60b30f6c | UNMERGED | 7 |
+| fix/gsm8k-sprint9-postmerge-hardening | 13265e15 | UNMERGED | 1 |
+| fix/kernel-quantity-entity-proposal-hardening | c28581c7 | UNMERGED | 1 |
+| fix/kernel-unary-delta-conformance-alignment | 59a919e3 | merged | 0 |
+| fix/lane-sha-public-demo | 9eead370 | UNMERGED | 1 |
+| fix/rust-scalar-zero-copy-borrowed-inputs | 21d90b26 | UNMERGED | 1 |
+| harden-unary-delta-isolation | ede24500 | merged | 0 |
+| implement-ask-serving-bus | 1a95acb6 | UNMERGED | 2 |
+| implement-bounded-grammar-problems | f94aeb14 | UNMERGED | 1 |
+| implement-diagnostic-search-gate | edd9e1de | UNMERGED | 1 |
+| implement-g3-numerics-adr | 52132338 | UNMERGED | 1 |
+| implement-quantity-binding-candidate | a1de11e0 | merged | 0 |
+| kernel-unary-delta-conformance | ede24500 | merged | 0 |
+| materialize-refusal-reason-result | ca9212b5 | UNMERGED | 12 |
+| my_temp_branch | 1646250b | merged | 0 |
+| persist-construction-evidence-journal | fbadac52 | UNMERGED | 1 |
+| polish-workbench-evals-flow | 37b04d50 | UNMERGED | 5 |
+| pr42-review | 724e84d5 | merged | 0 |
+| ratify-adr-0225-contract | ede24500 | merged | 0 |
+| ratify-compute-budget-adr | 3c7828dc | UNMERGED | 1 |
+| ratify-gsm8k-report-rebaseline | 4bab1638 | UNMERGED | 1 |
+| reconcile-bound-evidence-guards | df72c711 | merged | 0 |
+| reconcile-workbench-ui-pr-stack | a1de11e0 | merged | 0 |
+| refactor-rust-scalar-boundary | 59b2a8f5 | UNMERGED | 2 |
+| refactor/kernel-fence-legacy-make-proposal | a1fade83 | UNMERGED | 2 |
+| reorganize-docs-landscape | d6dbd240 | UNMERGED | 3 |
+| route-proportional-decrease-proposal | 0a168bfb | merged | 0 |
+| salvage/stash-keepers | eadca323 | UNMERGED | 1 |
+| test/kernel-proposal-first-seam-invariants | ce1b4a27 | UNMERGED | 1 |
+| test/kernel-unary-delta-isolation-hardening | 032c05f8 | merged | 0 |
+| tier2-math-practice-verifier | 4215f1b4 | merged | 0 |
+| validate-mlx-recall-experiment | da92c1c3 | UNMERGED | 1 |
+| verify-pr-832-docs | 57a62043 | merged | 0 |
+| verify/wave-a-merge-train | d95ec2b0 | UNMERGED | 4 |
+| wave2 | 18278175 | UNMERGED | 14 |
+| workbench-proposal-alignment-scope | 0e881424 | UNMERGED | 3 |
+| workbench/wave-1c-replay-polish | ac947845 | UNMERGED | 4 |
+| worktree-red-team-ci-issues | 54228d45 | merged | 0 |
+
+## origin (GitHub mirror `AssetOverflow/core`) — pruned remotely
+
+| Branch | Tip | Status | Ahead of main |
+|--------|-----|--------|---------------|
+| origin | 5fae5a67 | merged | 0 |
+| add-ask-acquisition-seam | 4308519c | merged | 0 |
+| add-quantity-replay-target | 3fc080d3 | merged | 0 |
+| adr-corpus-hygiene-2026-06-30 | c80b9cbc | UNMERGED | 1 |
+| adr-w005-surface-readback | 151ff8c4 | UNMERGED | 5 |
+| audit-adr-0225-contract-residuals | ede24500 | merged | 0 |
+| audit-layer-l2-vault | 0b11c7ab | UNMERGED | 2 |
+| audit-substrate-l3-language-packs | 4f46d3a5 | UNMERGED | 2 |
+| audit-substrate-l5-cognition | abf38d67 | UNMERGED | 1 |
+| audit-substrate-l9-epistemic | e15b5d0b | UNMERGED | 2 |
+| audit/L7-teaching-loop | ee32e8d7 | UNMERGED | 1 |
+| backup/local-main-before-rebase-20260616-122755 | 976c6cac | UNMERGED | 1 |
+| chore/agent-session-launchers | 5f513242 | UNMERGED | 1 |
+| chore/evals-ratify-gsm8k-train-proxy-rebaseline | 4e1a9bbe | UNMERGED | 1 |
+| chore/fix-dangling-git-forgejo-doc-ref | 3cd056b4 | merged | 0 |
+| chore/gsm8k-practice-lane-monotonic-counts | 73156617 | UNMERGED | 1 |
+| chore/gsm8k-test-doctrine-split-score-from-safety | ea81e7c4 | UNMERGED | 2 |
+| chore/postmerge-pr87-integrity-audit | 375da93e | merged | 0 |
+| chore/refactor-cli-and-governance | 3b37d439 | UNMERGED | 9 |
+| codex/adr-0234-second-candidate-operator-selection | 038c8bc4 | merged | 0 |
+| codex/core-substrate-remediation | 03c87e68 | UNMERGED | 1 |
+| codex/environment-falsification-roadmap | 97f89bba | UNMERGED | 6 |
+| codex/feat/kernel-contract-residual-projection | 8b0edb69 | merged | 0 |
+| codex/idle-frontier-contemplation | f4976671 | UNMERGED | 1 |
+| codex/lived-life-surface | f96bc2be | UNMERGED | 1 |
+| codex/quantity-entity-binding-candidate-operator | 28deb566 | merged | 0 |
+| codex/quantity-entity-replay-target | fe4e2e6e | merged | 0 |
+| codex/semantic-substrate-affordance-audit | e46c4dcb | UNMERGED | 1 |
+| codex/semantic-substrate-problem-solving-plan | 623cb950 | UNMERGED | 1 |
+| define-compute-budget-policy | 94c474ae | merged | 0 |
+| docs-contract-residual-model | ede24500 | merged | 0 |
+| docs-kernel-knowledge-inventory | 57a62043 | merged | 0 |
+| docs-kernel-quantity-preflight | 4bab1638 | UNMERGED | 1 |
+| docs/adr-0166-measurement-sequencing | 08bb1cee | UNMERGED | 1 |
+| docs/adr-0185-division-reading | bb76deb6 | UNMERGED | 2 |
+| docs/adr-0246-preflight | 6e3ccd88 | merged | 0 |
+| docs/conscience-capstone-and-readme-sync | a0622676 | UNMERGED | 1 |
+| docs/core-roadmap-v2-recon-plan | cdd13580 | merged | 0 |
+| docs/first-candidate-operator-boundary | 7fa49c60 | merged | 0 |
+| docs/geometric-search-run-envelope | 91c290a1 | merged | 0 |
+| docs/gsm8k-gate-a1-comparative-multiplicative-ratification | bd0e5d71 | UNMERGED | 1 |
+| docs/gsm8k-gate-a2a-unit-partition-ratification | 2b5a615f | UNMERGED | 1 |
+| docs/gsm8k-post-gate-a1-frontier-microscope | e1fb715e | UNMERGED | 2 |
+| docs/gsm8k-workstream-a-inc3-lookback | 8807b538 | UNMERGED | 1 |
+| docs/kernel-authorize-quantity-entity-slice | 4ec26c12 | UNMERGED | 1 |
+| docs/kernel-contract-residual-read-model | 7d5ba55b | merged | 0 |
+| docs/kernel-knowledge-layer-inventory-v1 | 1549239e | UNMERGED | 2 |
+| docs/kernel-quantity-entity-implementation-preflight | 4b147a76 | UNMERGED | 1 |
+| docs/kernel-state-change-transition-authorization | 7ee84997 | UNMERGED | 1 |
+| docs/kernel-unary-delta-conformance-decision | 92da72fb | merged | 0 |
+| docs/q1-d-ask-bus-delivery-scoping | fc70b9a8 | UNMERGED | 2 |
+| docs/ratify-adr-0207-gsm8k-substrate | 81209ed9 | UNMERGED | 1 |
+| docs/ratify-adr-0225-contract-residual-read-model | 5c94a833 | merged | 0 |
+| docs/replay-adapter-boundary | 6aa78f70 | merged | 0 |
+| docs/residual-gated-practice-loop-v1 | 96dabfb9 | UNMERGED | 1 |
+| docs/run-attempt-binding-boundary | fc78db75 | merged | 0 |
+| docs/sealed-practice-trace-boundary | 60a118c1 | merged | 0 |
+| docs/serving-integration-scoping | 74fa40c8 | UNMERGED | 1 |
+| docs/xai-tesla-lane-first-pass-2026-06-11 | 71b84d32 | UNMERGED | 2 |
+| enforce-startup-fresh-base | 4b51ba14 | UNMERGED | 2 |
+| feat-ask-pass-manager-integration | c4ddc69b | UNMERGED | 3 |
+| feat-gsm1k-audit-adapter | a1de11e0 | merged | 0 |
+| feat-kernel-substrate-tranche1 | 1e4fcff1 | UNMERGED | 2 |
+| feat/3lang-depth-deck-close | 268a754c | merged | 0 |
+| feat/3lang-depth-proposition-graph-unification | 7b0c0ae8 | merged | 0 |
+| feat/W-018-autonomous-contemplation | 61b88b51 | UNMERGED | 1 |
+| feat/adr-0119.2-gsm8k-eval-corpus | a4493890 | UNMERGED | 2 |
+| feat/adr-0131-1-sealed-holdout | 32c6ec63 | UNMERGED | 1 |
+| feat/adr-0167-w2c-domain-discriminator | 177195ff | UNMERGED | 3 |
+| feat/adr-0172-w0-1-trace-replay-equivalence | 767c8377 | UNMERGED | 1 |
+| feat/apple-mlx-exact-cga-recall-experiment | ba7cb7c9 | UNMERGED | 5 |
+| feat/apple-uma-acceleration-roadmap | b198807f | UNMERGED | 1 |
+| feat/apple-uma-mechanical-sympathy-benchmark | c581eb40 | UNMERGED | 2 |
+| feat/apple-uma-rust-baseline-report | 81bffcad | UNMERGED | 1 |
+| feat/apple-uma-wire-mlx-exact-recall-track | ab9d6f2e | UNMERGED | 1 |
+| feat/ask-pass-manager-offserving | de13082c | UNMERGED | 2 |
+| feat/ask-question-path-field | b0fef6b1 | UNMERGED | 1 |
+| feat/bound-practice-episode-sealing | b9a6eb96 | merged | 0 |
+| feat/close-derived-proposal-bridge | 3124b14b | UNMERGED | 4 |
+| feat/close-relational-transitive-consolidation | d30e3a68 | UNMERGED | 3 |
+| feat/compare-mult-increment-plan | 09172da2 | merged | 0 |
+| feat/compute-budget-decision | fcac436f | merged | 0 |
+| feat/create-dedicated-close-flywheel-regression-surface | bad7c9f7 | UNMERGED | 1 |
+| feat/define-close-derived-facts-frameverdict-posture | 92a7106a | UNMERGED | 2 |
+| feat/dev2-frontier-spike | 25762614 | merged | 0 |
+| feat/fix-rotor-power-smoke-simple-dispatch | e124d83b | merged | 0 |
+| feat/generalization-audit-runner-skeleton | f823eb43 | merged | 0 |
+| feat/generalization-cache-verifier | ed8c0b0e | merged | 0 |
+| feat/generalization-manifest-policy-linter | 83ba9a2e | merged | 0 |
+| feat/geometric-search-run-shell | 93ba988c | merged | 0 |
+| feat/geometricdelta-abi | 629bc163 | merged | 0 |
+| feat/goldtether-alpha-control-gold-set | fe278a4b | merged | 0 |
+| feat/grok43-agent-config | a48bf990 | UNMERGED | 23 |
+| feat/gsm1k-local-audit-adapter | f8fe6e22 | merged | 0 |
+| feat/gsm8k-capability-paradigm-sprint10-multiplicative-frontier-lift | 8e794ea4 | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint11-cluster-contract-calendar-lift | b8443fdd | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint12-singleton-contract-lift | ae974ce4 | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint5-chunk-lift | f2b21c3e | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint6-experience-guided-lift | ef408d2a | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint7-experience-guided-lift | c1c9030b | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint8-r6-affine-lift | 1936a4a5 | UNMERGED | 1 |
+| feat/gsm8k-capability-paradigm-sprint9-temporal-affine-lift | 195218b8 | UNMERGED | 1 |
+| feat/gsm8k-capability-strike-batch2-lift | 4df1e626 | UNMERGED | 1 |
+| feat/gsm8k-capability-strike-batch3-lift | 8db5321f | UNMERGED | 4 |
+| feat/gsm8k-capability-strike-batch4-scout-guided-lift | 8ab1c7a5 | UNMERGED | 1 |
+| feat/gsm8k-experience-flywheel-pr1-bounded-practice-memory | 9e743274 | merged | 0 |
+| feat/gsm8k-morphology-atlas-sprint14 | 57a62043 | merged | 0 |
+| feat/gsm8k-sealed-attempt-scout-s1 | e42b1fc0 | UNMERGED | 1 |
+| feat/gsm8k-workstream-a-gate-a1-comparative-multiplicative-injection | c37f97be | UNMERGED | 4 |
+| feat/gsm8k-workstream-a-gate-a2a-unit-partition-injection | cdbc30d3 | UNMERGED | 5 |
+| feat/gsm8k-workstream-a-gate-a2b-0002-lift | 21437506 | UNMERGED | 2 |
+| feat/gsm8k-workstream-a-inc1 | 92a7106a | UNMERGED | 2 |
+| feat/gsm8k-workstream-a-inc1-v2 | 4a7c07d6 | UNMERGED | 7 |
+| feat/gsm8k-workstream-a-inc2-rate-injection | b2c1594e | UNMERGED | 15 |
+| feat/gsm8k-workstream-a-inc3-rate-followup | 5ad6c639 | UNMERGED | 4 |
+| feat/gsm8k-xhigh-capability-sprint13 | e7ef3659 | UNMERGED | 3 |
+| feat/harden-close-derived-climb-yardstick-claim-b | 0f725710 | UNMERGED | 1 |
+| feat/holdout-dev-set | 6e0d1147 | UNMERGED | 1 |
+| feat/integrate-hardened-close-yardstick-determinism-teaching | f03979f0 | UNMERGED | 1 |
+| feat/kernel-construction-affordance-catalog | 7b8c844b | UNMERGED | 1 |
+| feat/kernel-foundational-family-registry-schema | 02bb80dc | UNMERGED | 1 |
+| feat/kernel-operationalization-deprecation | ed379f49 | UNMERGED | 1 |
+| feat/kernel-percent-partition-proposal-first | 2c3b2ed3 | UNMERGED | 1 |
+| feat/kernel-problemframe-bindings-contracts | cece2777 | UNMERGED | 1 |
+| feat/kernel-proportional-decrease-proposal-first | dccc2110 | UNMERGED | 1 |
+| feat/kernel-quantity-entity-proposal-seam | 87376dc5 | UNMERGED | 1 |
+| feat/kernel-search-gate-decision | 1d68292c | UNMERGED | 7 |
+| feat/kernel-unary-delta-proposal-seam | 0f6c51d0 | merged | 0 |
+| feat/missing-role-candidate-operator | 1d9e4060 | merged | 0 |
+| feat/null-point-primitives | 26270ed8 | merged | 0 |
+| feat/p1-c-bound-slots-digest | e1e8426d | UNMERGED | 1 |
+| feat/problem-frame-proportional-change-closure | 6708f297 | UNMERGED | 1 |
+| feat/proof-chain-mp-dedup | cd4a925b | UNMERGED | 1 |
+| feat/reader-inc2-caseband | e3da148d | UNMERGED | 6 |
+| feat/retire-fraction-decrease-legacy-regex | 2a3f7ad1 | merged | 0 |
+| feat/rotor-power-nonsimple-bivector | 1646250b | merged | 0 |
+| feat/rust-scalar-cl41-zero-copy-boundary | da92c1c3 | UNMERGED | 1 |
+| feat/sealed-practice-trace-shell | d3df22e2 | merged | 0 |
+| feat/serving-gate-config-fields | 0c087f69 | UNMERGED | 1 |
+| feat/strengthen-close-flywheel-proposal-review-visibility | 050dad91 | UNMERGED | 1 |
+| feat/third-door-adr-0238-0240 | 65196337 | merged | 0 |
+| feat/third-door-cartan-procrustes-fidelity | 2050b77a | merged | 0 |
+| feat/third-door-goldtether-bootstrap-prune | f6fd50d9 | merged | 0 |
+| feat/third-door-surprise-discovery-wiring | 995f4fc3 | merged | 0 |
+| feat/third-door-trajectory-invariants-adr-dag | db924550 | merged | 0 |
+| feat/third-door-wave-field-substrate | 932b5d48 | merged | 0 |
+| feat/trackb-symbolic-sme-s1 | 85781f0f | merged | 0 |
+| feat/trackb-symbolic-sme-s2s4 | 2544fda6 | merged | 0 |
+| feat/verified-serving-dark-gate | 4897e3e8 | UNMERGED | 1 |
+| feat/wb-r0b-playwright | aa0410ce | UNMERGED | 1 |
+| feat/workbench-apple-uma-report-read-model | cb41aedd | UNMERGED | 3 |
+| feat/workbench-capability-mastery-reconcile | 26a446fa | UNMERGED | 1 |
+| feat/workbench-practice-ui-scaffold | 1be00680 | UNMERGED | 15 |
+| feat/workbench-trace-practice-tab | a15a6f30 | UNMERGED | 1 |
+| feat/workbench-ui-apple-uma-report-card | 284e4c57 | UNMERGED | 5 |
+| feat/yardstick-close-derived-climb | 95ab7080 | UNMERGED | 4 |
+| fix-unary-delta-conformance | ede24500 | merged | 0 |
+| fix-workbench-ui-ci | ff1ef10b | merged | 0 |
+| fix/cga-substrate-final-cleanups | 9c8807e5 | UNMERGED | 6 |
+| fix/ci-arm64-runner-toolchain | dcf1b595 | merged | 0 |
+| fix/gsm8k-sprint9-postmerge-hardening | 13265e15 | UNMERGED | 1 |
+| fix/kernel-quantity-entity-proposal-hardening | c28581c7 | UNMERGED | 1 |
+| fix/kernel-unary-delta-conformance-alignment | 59a919e3 | merged | 0 |
+| fix/lane-sha-public-demo | 9eead370 | UNMERGED | 1 |
+| fix/rust-scalar-zero-copy-borrowed-inputs | 21d90b26 | UNMERGED | 1 |
+| harden-unary-delta-isolation | ede24500 | merged | 0 |
+| implement-ask-serving-bus | 1a95acb6 | UNMERGED | 2 |
+| implement-bounded-grammar-problems | f94aeb14 | UNMERGED | 1 |
+| implement-diagnostic-search-gate | edd9e1de | UNMERGED | 1 |
+| implement-g3-numerics-adr | 52132338 | UNMERGED | 1 |
+| implement-quantity-binding-candidate | a1de11e0 | merged | 0 |
+| isolate-vault-test-concurrency | a5f67f95 | merged | 0 |
+| kernel-unary-delta-conformance | ede24500 | merged | 0 |
+| materialize-refusal-reason-result | ca9212b5 | UNMERGED | 12 |
+| migrate-core-cga-substrate | 54e2d774 | UNMERGED | 2 |
+| optimize-ci-test-suites | 82f9b021 | merged | 0 |
+| persist-construction-evidence-journal | fbadac52 | UNMERGED | 1 |
+| polish-workbench-evals-flow | 37b04d50 | UNMERGED | 5 |
+| r&d/generalized-agent | 896e90a9 | merged | 0 |
+| ratify-adr-0225-contract | ede24500 | merged | 0 |
+| ratify-compute-budget-adr | 3c7828dc | UNMERGED | 1 |
+| ratify-gsm8k-report-rebaseline | 4bab1638 | UNMERGED | 1 |
+| rd/generalized-agent | 4308519c | merged | 0 |
+| reconcile-bound-evidence-guards | df72c711 | merged | 0 |
+| reconcile-workbench-ui-pr-stack | a1de11e0 | merged | 0 |
+| refactor-rust-scalar-boundary | 59b2a8f5 | UNMERGED | 2 |
+| refactor/kernel-fence-legacy-make-proposal | a1fade83 | UNMERGED | 2 |
+| reorganize-docs-landscape | d6dbd240 | UNMERGED | 3 |
+| rnd/external-omni-sandbox-evaluation | 7a416ba4 | UNMERGED | 1 |
+| rnd/sme-experiment-v2 | 96e5f468 | UNMERGED | 1 |
+| rnd/structure-mapping-experiment | fc9d0c14 | UNMERGED | 1 |
+| route-proportional-decrease-proposal | 0a168bfb | merged | 0 |
+| salvage/stash-keepers | eadca323 | UNMERGED | 1 |
+| subagent-Lane-4-Subagent-self-39aed9c5 | f6c1f01a | merged | 0 |
+| subagent-Lane-5-Subagent-self-23e778ec | 8d1eb8af | merged | 0 |
+| test/kernel-proposal-first-seam-invariants | ce1b4a27 | UNMERGED | 1 |
+| test/kernel-unary-delta-isolation-hardening | 032c05f8 | merged | 0 |
+| tier2-math-practice-verifier | 4215f1b4 | merged | 0 |
+| validate-mlx-recall-experiment | da92c1c3 | UNMERGED | 1 |
+| verify-pr-832-docs | 57a62043 | merged | 0 |
+| verify/wave-a-merge-train | d95ec2b0 | UNMERGED | 4 |
+| wave2 | 18278175 | UNMERGED | 14 |
+| workbench-proposal-alignment-scope | 0e881424 | UNMERGED | 3 |
+| workbench/wave-1c-replay-polish | ac947845 | UNMERGED | 4 |
+
+## Operator command — origin mirror prune (tool-permission blocked for the agent)
+
+```bash
+git for-each-ref refs/remotes/origin --format='%(refname:short)' \
+  | grep -v -E '^origin/(HEAD|main)$' | sed 's|^origin/||' \
+  | xargs -n 40 git push origin --delete
+git fetch origin --prune
+```
diff --git a/docs/analysis/gsm8k-workstream-a-increment-3-lookback-2026-06-17.md b/docs/analysis/gsm8k-workstream-a-increment-3-lookback-2026-06-17.md
index f0863eeb..04b85e55 100644
--- a/docs/analysis/gsm8k-workstream-a-increment-3-lookback-2026-06-17.md
+++ b/docs/analysis/gsm8k-workstream-a-increment-3-lookback-2026-06-17.md
@@ -28,7 +28,7 @@ No other runtime modules changed solver semantics, sealed lanes, graph construct
 - tests/test_gsm8k_frontier_report.py
 - tests/test_candidate_graph_recognizer_wiring.py
 - docs/analysis/gsm8k-workstream-a-increment-3-rate-followup-ratification-2026-06-17.md
-- docs/analysis/core-problem-solving-capability-roadmap-v2-2026-06-17.md (partial update at merge time)
+- docs/paradigm-archive/core-problem-solving-capability-roadmap-v2-2026-06-17.md (partial update at merge time)
 
 ## Measurement truth (pinned vs live)
 
@@ -114,4 +114,6 @@ See PR body for exact captured outputs at commit time.
 - Preserve wrong=0, sealed discipline, and ratify-first on all Workstream A follow-ons.
 - Do not treat pinned `report.json` rate bucket as live-state without ephemeral runner corroboration.
 
-This lookback is truthful to merged #799 behavior, the stale pinned artifact, and ephemeral live measurement. No benchmark theater; no hidden rebaseline.
\ No newline at end of file
+This lookback is truthful to merged #799 behavior, the stale pinned artifact, and ephemeral live measurement. No benchmark theater; no hidden rebaseline.
+
+> Paths to the six retired paradigm docs in this file were redirected to `docs/paradigm-archive/` (ADR-0252 §9) under the 2026-07-22 weekly-audit **T9 ruling**; the surrounding text is otherwise unchanged historical record.
diff --git a/docs/analysis/weekly-audit-2026-07-22-stragglers-todo.md b/docs/analysis/weekly-audit-2026-07-22-stragglers-todo.md
index 16d4e5d9..6f4bd038 100644
--- a/docs/analysis/weekly-audit-2026-07-22-stragglers-todo.md
+++ b/docs/analysis/weekly-audit-2026-07-22-stragglers-todo.md
@@ -122,3 +122,78 @@ after merge) — all four verified clean and fully merged before removal:
   retired paradigm docs at their old `docs/analysis|implementation/` paths.
   Both are point-in-time records; either leave as history (default) or annotate
   with the archive location. No governance weight either way.
+
+---
+
+## Rulings & execution addendum (2026-07-22, same day)
+
+Shay ruled on T1–T9 (pillars: epistemic rigor / absolute provenance /
+fail-closed determinism). Execution status:
+
+| Item | Ruling | Status |
+|------|--------|--------|
+| T1 | Tests = executable SoT; contracts/AGENTS = governance SoT — register | **DONE** (this PR): INV-32/33/34 in `AGENTS.md` + new/updated sections in `docs/specs/runtime_contracts.md` (wave-only identity, dual-pack boundary, linguistic governance, morph authority) |
+| T2 | Re-baseline to `f94dbd40` with migration trace | **DONE + root cause found.** Baseline gen-21702 @ `f94dbd404575` (turn 14990, `engine_identity` parent==self `c9e5968a…`, scheme 2, schema v2, packs byte-identical across the gap → reconcile MATCH; no `MissingWaveStateError` exposure — identity consumes the live per-turn field and Shape B+ session persistence is opt-in-off). The warning churn's root cause was the suite itself writing the live store — see T10 |
+| T3 | Diff antigravity files vs #96; salvage or scrap | **DONE**: not #96 material — an un-ADR'd anchor-lens/Hamiltonian experiment (fail-open `except: pass`, unratified serving-physics mutation). Salvaged with full diff → `docs/analysis/antigravity-substrate-linguistic-anchors-salvage-2026-07-22.md`; worktree + branch scrapped |
+| T4 | Nuke /tmp demo worktrees | **DONE** (both removed; worktree list is now 5, all live) |
+| T5 | Hard prune all stale branches; stash unknowns | **DONE locally**: 178 local branches pruned, every tip SHA stashed in `docs/analysis/branch-prune-ledger-2026-07-22.md`. **Origin mirror (204 branches) pending**: bulk remote deletion was tool-permission blocked; operator command in the ledger doc |
+| T6 | No untracked logic in active workspaces | **DONE**: both scripts formalized → `rnd/sme-experiment-v2` @ `bed29a09`. Hazard found & fixed pre-commit: the extractor's glob read ALL of `evals/gsm8k_math/**` (practice/dev/train/public), exceeding the §5 `holdout_dev/v1`-only authorization — now scope-pinned |
+| T7 | Fold `modality_transition_sandwich` into canonical ADR-0243 | **DONE** (annotation folded; tombstone updated to point at it) |
+| T8 | Escalate #97 residuals into this ledger | **DONE** — R1–R6 below |
+| T9 | Global sweep of pre-archive paths | **DONE**: 6 references across 3 docs redirected to `docs/paradigm-archive/` with per-file provenance notes (ADR-0252 §9 retirement record + archive self-references left as deliberate history) |
+
+### New findings from the execution pass
+
+- [ ] **T10 (fixed in `fix/test-engine-state-isolation`, needs merge): the test
+  suite wrote the live life-store.** Module-scoped fixtures (e.g.
+  `tests/test_achat.py`) construct `ChatRuntime()` BEFORE the function-scoped
+  isolation fixture exists (pytest sets up wider scopes first), binding the
+  real `engine_state/`: smoke runs loaded it and committed generations
+  (turn_count 14989→14990 observed). Fix: session-scoped baseline fixture +
+  regression pin; `docs/issues/default-engine-state-test-hygiene.md` addendum.
+- [ ] **T11 (ruling needed): live-store provenance review.** Historical
+  `turn_count` (14990) includes an unknown number of pre-fix test turns and
+  the 465 persisted discovery candidates predate the isolation fix. Decide:
+  accept-as-lived vs audit/relabel candidates.
+- [ ] **T12 (pattern watch): experiment scaffolding scope over-reach.** The T6
+  glob hazard suggests a cheap architecture pin: `rnd`/scripts corpus readers
+  should be lint-checked against sealed/practice eval paths.
+
+### R1–R6 — PR #97 declared residuals (escalated per T8; source:
+`docs/analysis/logos-bulk-live-authority-residual-2026-07-20.md`)
+
+- [ ] **R1** — `generate/linguistic_pipeline` cue tables (English "sold"/"mkr"
+  hand maps) remain a parallel constraint producer on the governance demo
+  path; they consult no `packs/data/he_*` morphology and are not answer
+  authority. Migrate onto the Logos morph seam or retire.
+- [ ] **R2** — lexicon breadth: only `he_logos_micro_v1` observed surfaces; no
+  full HE/GRC tables, no binyan universals, no GRC case→role.
+- [ ] **R3** — legacy math / meaning_graph IR still parallel outside the Logos
+  morph seam; not migrated onto `semantic_primitives`.
+- [ ] **R4** — holonomy crown not robust; no LIVE claim.
+- [ ] **R5** — pack frames largely disconnected (sense disambiguation);
+  first-match pack semantics unchanged outside the morph rule.
+- [ ] **R6** — one rule type only (`he_morph_v0.plural_abstain`);
+  construct-state / prep+case / aspect deferred.
+- [ ] **T13 (main regression, serving-provenance — needs its own fix PR):
+  fast lane is red on main** (was 0-red 2026-07-16):
+  `tests/test_warmed_session_lane.py::TestPipelineOverrideGateInvariants::test_telemetry_consistency_rate_is_one`
+  fails at 0.9444 (17/18). Verified pre-existing on unmodified main (fails
+  plain AND state-isolated; unrelated to the T10 isolation fix). Root cause:
+  `CognitiveTurnPipeline.run()` emits `TurnEvent` inside `runtime.chat()`
+  (`core/cognition/pipeline.py:287`) and only THEN applies the PR #96
+  fail-closed surface resolution (`resolve_surface`, line 470) and the PR #97
+  logos morph override (~line 517) — so an overridden turn serves a surface
+  telemetry never saw. Introduced by `e0d1b475` (#96). Reproducer: warmed
+  case "What is doubt?" — TurnEvent carries the pack-grounded surface
+  ("To doubt means to think maybe not. pack-grounded (en_core_meta_v1).")
+  while the pipeline returns the typed refusal ("I cannot certify an answer:
+  the geometric coherence contract is open (goldtether_residual)."). Two
+  decisions for the fix PR: (1) restore single-point surface truth — emit
+  (or re-stamp) `TurnEvent` AFTER surface resolution; runtime_contracts'
+  selection policy + this lane must move in the same PR per the contract's
+  own rule; (2) rule whether an open goldtether residual should refuse a
+  pack-grounded, honestly-hedged definition at all (possible over-refusal —
+  the pack surface never claimed geometric certification). Note: smoke does
+  not cover this lane, and GitHub Actions are dead signals — nothing gates
+  fast-lane red on main right now.
diff --git a/docs/briefs/parallel-2026-05-23/L2-opus2-binding-graph-phase1.md b/docs/briefs/parallel-2026-05-23/L2-opus2-binding-graph-phase1.md
index d74abfe7..da52ba31 100644
--- a/docs/briefs/parallel-2026-05-23/L2-opus2-binding-graph-phase1.md
+++ b/docs/briefs/parallel-2026-05-23/L2-opus2-binding-graph-phase1.md
@@ -7,10 +7,10 @@ git worktree add ../core-binding-graph-p1 -b feat/binding-graph-phase1 origin/ma
 cd ../core-binding-graph-p1
 ```
 
-**Scope.** Ship Phase 1 *only* of the binding graph layer proposed in `docs/implementation/semantic-symbolic-binding-graph-proposal.md` (PR #170, now on main). Phase 1 is **data-model-only**: frozen dataclasses + invariants + tests. **No runtime wiring, no adapter, no equation binding, no parser change.** Phases 2–5 are deferred to follow-up PRs.
+**Scope.** Ship Phase 1 *only* of the binding graph layer proposed in `docs/paradigm-archive/semantic-symbolic-binding-graph-proposal.md` (PR #170, now on main). Phase 1 is **data-model-only**: frozen dataclasses + invariants + tests. **No runtime wiring, no adapter, no equation binding, no parser change.** Phases 2–5 are deferred to follow-up PRs.
 
 **Reference docs (read these, only these):**
-1. `docs/implementation/semantic-symbolic-binding-graph-proposal.md` — your spec. The dataclass list under "Adds" is authoritative.
+1. `docs/paradigm-archive/semantic-symbolic-binding-graph-proposal.md` — your spec. The dataclass list under "Adds" is authoritative.
 2. `generate/math_symbolic_normalizer.py` (post-#167) — only to see the existing `Polynomial` dataclass style (frozen, terms-dict, variables-tuple). Match its idiom; do **not** import from it.
 
 **What to ship:**
@@ -47,3 +47,5 @@ cd ../core-binding-graph-p1
 **Exit criterion.** PR opens with CI green, all new tests pass, `pyright` clean on new files, ADR-0132 included. Runtime behavior byte-identical to main (no integration yet, by design).
 
 **Do not stack on another agent's branch.** Target main directly.
+
+> Paths to the six retired paradigm docs in this file were redirected to `docs/paradigm-archive/` (ADR-0252 §9) under the 2026-07-22 weekly-audit **T9 ruling**; the surrounding text is otherwise unchanged historical record.
diff --git a/docs/research/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md b/docs/research/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md
index 2b42465f..4673c52b 100644
--- a/docs/research/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md
+++ b/docs/research/ADR-0243-wave-field-cognitive-lifecycle-comprehension-reasoning-and-resonant-learning.md
@@ -23,5 +23,6 @@ convergence 2026-07-20):
 > Multi-modality ingress uses `modality_transition_sandwich`
 > (R·ψ·rev(R) + GoldTether).
 
-If that sentence should also live in the canonical ADR-0243 annotation,
-fold it in under a separate ruling (see the 2026-07-22 weekly audit TODO).
+That sentence was folded into the canonical ADR-0243 annotation under the
+2026-07-22 weekly-audit **T7 ruling** (same-day); nothing unique remains in
+this tombstone.
diff --git a/docs/specs/runtime_contracts.md b/docs/specs/runtime_contracts.md
index 1810f152..ed3fef6b 100644
--- a/docs/specs/runtime_contracts.md
+++ b/docs/specs/runtime_contracts.md
@@ -425,16 +425,34 @@ Identity checks are telemetry/gating signals. A flagged identity score must not
 silently erase useful generation unless an explicit hard-block policy is
 configured and tested.
 
+**Wave-only, fail-closed (ADR-0244 §3, system convergence 2026-07-20 — INV-32).**
+Scoring is always metric-exact geometry (Gram / operator-preservation in
+`core/physics/identity_manifold.py`); the scalar-L2 dual-mode fallback is
+excised and must not be reintroduced.
+
 Canonical call style:
 
 ```python
-IdentityCheck().check(trajectory, manifold)
+IdentityCheck().check(trajectory, manifold, wave_field=final_state.F)
 ```
 
+- Absent `wave_field` (`ψ_traj`) raises typed `MissingWaveStateError` — never a
+  scalar fallback.
+- Malformed `wave_field` (NaN / wrong shape / wrong byte-order) raises
+  `ValueError`.
+- `admission_policy` (ADR-0246 §3.7) is optional; `None` keeps the D4 wave gate
+  without the induced-action surface.
+- Live *refusal* remains flag-gated via `RuntimeConfig.identity_wave_gate`
+  (default **off**; not authorized live) — the gate flag controls refusal only,
+  never the scoring path.
+
+Enforcement pins: `tests/test_stage2_physics_hardening.py` (excised symbols
+absent), `tests/test_adr_0244_identity_gate_runtime.py`.
+
 Legacy constructor injection:
 
 ```python
-IdentityCheck(manifold=manifold).check(trajectory)
+IdentityCheck(manifold=manifold).check(trajectory, wave_field=...)
 ```
 
 is supported temporarily and emits `DeprecationWarning`. New code must not use
@@ -933,3 +951,61 @@ direct pure-algebra modules. Pin: `tests/test_physics_backend_dispatch_hygiene.p
 | float64 wave residual pins | Stay on Python product when inputs are f64 (Rust f32 GP not parity-safe for 1e-9 pins yet) |
 | float32 field graphs | Rust f32 GP / residual when enabled |
 | MLX / UMA | Exploratory (ADR-0235); not serving until parity gates |
+
+## Dual-pack serve boundary (ADR-0253 — INV-33)
+
+Registered from the Master Blueprint Stage 1 governance freeze (2026-07-20);
+enforcement landed with Master Convergence Stages 1–4 (PR #95).
+
+| Tree | Role | Serve authority |
+|------|------|-----------------|
+| `packs/data/<pack_id>/` | Compiled runtime language packs (manifest + lexicon + checksums) | **Yes** — only via `packs.compiler.load_pack` |
+| `packs/he`, `packs/grc`, `packs/en`, `packs/el`, … | Source / draft language material (morphology, lemmas, probes) | **No** — serve entrypoints must not import these as Python packages |
+| `packs/safety`, `packs/identity`, `packs/ethics`, … | Governance / style modality packs | Via their dedicated loaders |
+
+- Draft trees compile into `packs/data/` before anything may serve from them.
+- Enforcement pin: `tests/test_pack_draft_serve_boundary.py` (static AST +
+  process import probe). The pin is a guard, not a substitute for compile-time
+  validation.
+
+## Linguistic governance fail-closed contract (PR #96 — INV-34)
+
+Cognition-pipeline failures are **typed, never silent**. The type authority is
+`core/cognition/fail_closed.py`:
+
+- `ContractViolation` / `CoherenceRefusal` / `FieldFailure` each require an
+  explicit failing `condition` and `reason` (`FailureClass` taxonomy;
+  `ResidualState` carries what remained unresolved).
+- A `ContractAssessment` of `None` is itself a typed violation
+  (`contract_assessment_none_violation`) — absence of assessment can never
+  read as an answer.
+- Unresolvable referents are refused, not filled; open geometry is a typed
+  `CoherenceRefusal`; multi-class root ambiguity keeps its
+  `AmbiguityManifold` rather than collapsing to a guess.
+- The articulation firewall flags hallucinated content (claim keys exclude raw
+  payload values).
+- No PASSTHROUGH path exists in the intent ratifier.
+
+Enforcement pin: `tests/test_linguistic_governance_phases.py` (Phases 1–4:
+typed primitives, pipeline gates, e2e trilingual refusal cases).
+
+## Observed-HE morph constraint authority (Stage 4 + PR #97)
+
+The Logos morph seam is **answer authority** on the turn and teaching paths,
+under complete provenance:
+
+- Morphology rows load only from compiled packs
+  (`load_observed_morphology(<pack_id>)`) and carry `language`,
+  `source_pack_id`, and `source_span` — provenance-complete or not loaded.
+- Rule surface v0 is `he_morph_v0.plural_abstain` only; it may **block**
+  singular-exclusivity claims (`executable_changed_decision=true`) and must
+  hold `wrong_count=0` with `refusal_correct=true`.
+- OOV / missing observed surfaces refuse; dual-run digests must be identical
+  (determinism).
+- Residual dual-system debt is declared in
+  `docs/analysis/logos-bulk-live-authority-residual-2026-07-20.md` and
+  ledgered in the 2026-07-22 weekly audit (R1–R6); the parallel
+  `generate/linguistic_pipeline` cue tables are **not** answer authority.
+
+Enforcement pin: `tests/test_observed_he_morph_constraint_v0.py` (four-arm
+ablation).
diff --git a/docs/workbench/capability-mastery-implementation-plan.md b/docs/workbench/capability-mastery-implementation-plan.md
index 0a12e4b5..25d253f8 100644
--- a/docs/workbench/capability-mastery-implementation-plan.md
+++ b/docs/workbench/capability-mastery-implementation-plan.md
@@ -30,7 +30,7 @@ Capability sprints 9–12 landed on main:
 | #824 | 11 | A2q calendar_grounded_piecewise_daily_hours_total + ClusterContract | 24/26/0 |
 | #825 | 12 | A2r nested_fraction_remainder_total, A2s loose_crayon_box_capacity | **26/24/0** |
 
-Lookback analyses through Sprint 12 are committed under `docs/analysis/gsm8k-capability-paradigm-sprint*-lookback-2026-06-17.md`.
+Lookback analyses through Sprint 12 are committed under `docs/paradigm-archive/gsm8k-capability-paradigm-sprint*-lookback-2026-06-17.md`.
 
 ## 3. Current capability baseline
 
@@ -82,8 +82,8 @@ Sprint 12 extended the contract-first discipline with two singleton contracts:
 
 See:
 
-- `docs/analysis/gsm8k-capability-paradigm-sprint11-lookback-2026-06-17.md`
-- `docs/analysis/gsm8k-capability-paradigm-sprint12-lookback-2026-06-17.md`
+- `docs/paradigm-archive/gsm8k-capability-paradigm-sprint11-lookback-2026-06-17.md`
+- `docs/paradigm-archive/gsm8k-capability-paradigm-sprint12-lookback-2026-06-17.md`
 
 ## 7. What is UI-live now
 
@@ -162,3 +162,5 @@ From repo root:
 ```bash
 uv run python -m core.cli test --suite smoke -q
 ```
+
+> Paths to the six retired paradigm docs in this file were redirected to `docs/paradigm-archive/` (ADR-0252 §9) under the 2026-07-22 weekly-audit **T9 ruling**; the surrounding text is otherwise unchanged historical record.