feat(goldtether): #18 bootstrap gates + principal-axis prune #34

Merged

core-labs merged 2 commits from feat/third-door-goldtether-bootstrap-prune into main

2026-07-14 04:44:52 +00:00

core-labs commented

2026-07-14 04:42:29 +00:00

Owner

Summary

Closes the remaining #18 GoldTether fidelity gap: replay-ready promotion gates + R&D §5 principal-axis prune (residual+α already landed as #24).

Landed

GoldPromotionProof + promote_gold_invariant(..., proof=, require_proof=)
- Proposal-only without authorized=True (ADR-0092 caller gate)
- Live closure drift refuse (never trusts proof.closed / proof.residual)
- require_proof=True refuses missing proof
promotion_eligible(F) = closed ∧ drift ≤ ε_drift (does not authorize)
prune_gold_invariants(mode="fifo"|"principal_axes")
- Primals immovable; max_size < 3 clamped
- PCA: non-primals ranked by principal-subspace energy (differs from last-N FIFO)
Ledger scorecard #18 → 🟢

Non-goals (explicit)

Full signed ADR-0092 reviewer service (physics stays caller-gated)
Vault-backed durable gold set
Serve-path wiring

Invariants

SERVE never autonomous
No teaching/vault imports
Deterministic algebra-native PCA (eigh on coefficient stack)
Dual-checked drift residual for eligibility/promote

Test plan

pytest tests/test_adr_0238_goldtether*.py → 40+ passed (bootstrap RED→GREEN)
pytest tests/test_adr_0241_wave_manifold.py → 18 passed
core.cli test --suite smoke -q → 108 passed

Issue

Closes #18 (bootstrap/prune follow-up; residual+α already present).

## Summary Closes the remaining **#18** GoldTether fidelity gap: replay-ready promotion gates + R&D §5 principal-axis prune (residual+α already landed as #24). ### Landed - `GoldPromotionProof` + `promote_gold_invariant(..., proof=, require_proof=)` - Proposal-only without `authorized=True` (ADR-0092 caller gate) - Live **closure drift** refuse (never trusts `proof.closed` / `proof.residual`) - `require_proof=True` refuses missing proof - `promotion_eligible(F)` = closed ∧ drift ≤ ε_drift (does not authorize) - `prune_gold_invariants(mode="fifo"|"principal_axes")` - Primals immovable; `max_size < 3` clamped - PCA: non-primals ranked by principal-subspace energy (differs from last-N FIFO) - Ledger scorecard #18 → 🟢 ### Non-goals (explicit) - Full signed ADR-0092 reviewer **service** (physics stays caller-gated) - Vault-backed durable gold set - Serve-path wiring ### Invariants - SERVE never autonomous - No teaching/vault imports - Deterministic algebra-native PCA (`eigh` on coefficient stack) - Dual-checked drift residual for eligibility/promote ## Test plan - [x] `pytest tests/test_adr_0238_goldtether*.py` → 40+ passed (bootstrap RED→GREEN) - [x] `pytest tests/test_adr_0241_wave_manifold.py` → 18 passed - [x] `core.cli test --suite smoke -q` → 108 passed ## Issue Closes #18 (bootstrap/prune follow-up; residual+α already present).

core-labs added 2 commits 2026-07-14 04:42:42 +00:00

test(goldtether): RED #18 bootstrap/prune (proof gate + principal-axis mode) 11e7b71d57

Add GoldPromotionProof, expand promote/prune signatures, promotion_eligible
stub, and behavioral suite for residual/closure gates, require_proof,
principal_axes prune, and SERVE containment. Intentionally incomplete:
principal_axes and eligibility raise NotImplementedError; dirty promote
still admitted — RED until GREEN.

feat(goldtether): GREEN #18 bootstrap gates + principal-axis prune

smoke / smoke (-m "not quarantine") (pull_request) Successful in 5m50s

Details

lane-shas / verify pinned lane SHAs (pull_request) Failing after 32m56s

Details

f6fd50d9b9

Implement promotion_eligible (closed ∧ drift≤ε), promote live
closure/drift refuse even when authorized, require_proof, and
prune(mode=principal_axes) keeping primals + highest principal-energy
non-primals (differs from FIFO). Proof fields never trusted as truth.
Ledger #18 flipped green; ADR-0092 reviewer service remains external.