docs(plans): archive Plan A/B + session completion summary (W2)
Copied from the Grok session worktree before arc cleanup prunes it. Summary is the living status surface; the two plans are point-in-time archives (CI-state headers say 'as of archive').
This commit is contained in:
parent
5ebad71ab6
commit
a11899f8b9
3 changed files with 1121 additions and 0 deletions
|
|
@ -0,0 +1,283 @@
|
|||
# ADR-0241 / ADR-0242 Session Completion Summary
|
||||
|
||||
**Date:** 2026-07-15
|
||||
**Purpose:** Pickup document — resume without re-deriving plans or re-litigating finished packages.
|
||||
**Companion plan archives:**
|
||||
|
||||
| Plan | File |
|
||||
|------|------|
|
||||
| **Plan A** — Cohesion mastery P0–P12 | [`docs/plans/adr-0241-cohesion-mastery-plan-p0-p12.md`](./adr-0241-cohesion-mastery-plan-p0-p12.md) |
|
||||
| **Plan B** — Drive-complete D0–D10 | [`docs/plans/adr-0242-drive-complete-plan-d0-d10.md`](./adr-0242-drive-complete-plan-d0-d10.md) |
|
||||
|
||||
**Acceptance checklist:** [`docs/audit/adr_0241_cohesion_acceptance_checklist.md`](../audit/adr_0241_cohesion_acceptance_checklist.md)
|
||||
**Fidelity ledger:** [`docs/research/third-door-blueprint-fidelity.md`](../research/third-door-blueprint-fidelity.md)
|
||||
|
||||
---
|
||||
|
||||
## 1. North star (unchanged)
|
||||
|
||||
```text
|
||||
listen → comprehend → recall → think → articulate → learn from reviewed correction → replay deterministically
|
||||
```
|
||||
|
||||
Wave-field work strengthens **recall / think / articulate / learn** on an inspectable Cl(4,1) substrate:
|
||||
|
||||
- **Recall:** resonant reconstruct + holographic SPECULATIVE modes (never COHERENT without teaching).
|
||||
- **Think:** residual / energy / multi-scale τ as deterministic control, not LLM fill.
|
||||
- **Learn:** contemplation SPECULATIVE seal only; COHERENT via teaching corridor (INV-21…30).
|
||||
- **Replay:** Fibonacci cert digests, path-stable env, soft demo budgets — pins stay honest.
|
||||
|
||||
Doctrine that never bends: `versor_condition < 1e-6`; no hot-path unitize; no cosine/ANN runtime memory; no serve wiring of wave/Fibonacci; no self-Accept of ADRs.
|
||||
|
||||
---
|
||||
|
||||
## 2. The four documents that authored both plans
|
||||
|
||||
These are the **design-truth quartet**. Plans A and B are projections of them into execution packages.
|
||||
|
||||
| # | Authority | In-repo path | Role in the program |
|
||||
|---|-----------|--------------|---------------------|
|
||||
| **1** | **ADR-0241** — wave-field hyperbolic atlas + resonant cognition | `docs/adr/ADR-0241-wave-field-driven-hyperbolic-atlas-and-resonant-cognition.md` | Continuous multivector field ψ, sandwich/left transport, spectral leakage → surprise, resonant recall, holographic vault, GoldTether residual, chiral Q, progressive continuous field honesty |
|
||||
| **2** | **ADR-0242** — deterministic Fibonacci + evidence-gated optimization | `docs/adr/ADR-0242-atlas-packing-and-fibonacci.md` | Five vectors V1–V5, sovereignty invariant (fib never sets truth/COHERENT/identity), cert-or-failure public API, packing as reconstructible allocator |
|
||||
| **3** | **core_ha** unification / deprecation | `docs/analysis/core_ha_unification_and_deprecation_plan.md` | Absorb HA into wave/GoldTether/energy/biography; kill live `core_ha`; optional Rust Step 2 mechanical sympathy |
|
||||
| **4** | **Fibonacci applications** R&D memo | `docs/analysis/fibonacci_applications_in_core_substrate.md` | Non-forced φ/F_n integration map: packing, section search, multi-scale τ, word schedule, anyons-as-research |
|
||||
|
||||
**Entity glue (Plan A dual authority):** `docs/analysis/core_cohesion_master_plan.md` — I-01…I-05, Trace A/B, Phase 0 A-01…A-04, living-entity definition of done.
|
||||
|
||||
**Critical discovery that forced Plan B:** Cohesion P0–P12 can be green while still **understating Drive ADR-0242** (in-repo ADR was packing+search only; Drive is five-vector + evidence-gated operators). Plan B closed that honesty gap without re-opening polar/chiral/packing fights.
|
||||
|
||||
---
|
||||
|
||||
## 3. Program shape (how the two plans relate)
|
||||
|
||||
```text
|
||||
┌─────────────────────────────────────┐
|
||||
│ Four Drive / cohesion authorities │
|
||||
└─────────────────┬───────────────────┘
|
||||
│
|
||||
┌───────────────────────┴───────────────────────┐
|
||||
▼ ▼
|
||||
Plan A — Cohesion entity mastery Plan B — Drive gap close
|
||||
P0–P12 living Cl(4,1) entity D0–D10 five-vector Fibonacci
|
||||
PR #37 (P0–P8) + PR #38 (P9–P12) all on PR #38 (macro only)
|
||||
│ │
|
||||
└───────────────────────┬───────────────────────┘
|
||||
▼
|
||||
Optional: P11a / D9 mechanical sympathy
|
||||
CI optim (#39) so gates are runnable
|
||||
▼
|
||||
D10 Joshua Accept (human only)
|
||||
```
|
||||
|
||||
**PR policy held:** no micro-PRs for Plan B; sole feature PR **#38** after #37 substrate.
|
||||
|
||||
---
|
||||
|
||||
## 4. What shipped — by package
|
||||
|
||||
### 4.1 Plan A — Cohesion (P0–P12)
|
||||
|
||||
| Pkg | Deliverable | Where it lives | Status |
|
||||
|-----|-------------|----------------|--------|
|
||||
| **P0** | Cohesion master plan + Phase 0 A-01…A-04 + pre-deprecation grep | `docs/analysis/core_cohesion_master_plan.md`, `tests/test_third_door_cohesion.py` | 🟢 |
|
||||
| **P1** | Vault public ABI; serve + Fibonacci quarantine; I-03 | `vault/store.py`, holographic vault, AST quarantine tests | 🟢 |
|
||||
| **P2** | Entity suite I-01…I-05 (honest float32/64) | `tests/test_third_door_cohesion.py` | 🟢 |
|
||||
| **P3** | Superposition reconstruct ∑ c_k ψ_k | `WaveManifold.resonant_reconstruct` | 🟢 |
|
||||
| **P4** | Golden-Angle packing + d_min + allocator identity | `core/physics/atlas_packing.py`, `tests/test_adr_0242_atlas_packing.py` | 🟢 |
|
||||
| **P5** | Fibonacci section search core | `core/physics/fibonacci_search.py`, `tests/test_adr_0242_fibonacci.py` | 🟢 (later upgraded by D1 cert API) |
|
||||
| **P6** | Multimodal ρ algebra (I-04) | `phase_correlation` on wave manifold | 🟢 algebra; feed closed by D7 |
|
||||
| **P7** | Polar honesty — conjugacy authority; multi-grade analytic retired honestly | wave_manifold + `docs/briefs/ADR-0241-cross-spectral-polar-brief.md` | 🟢 |
|
||||
| **P8** | Non-vacuous chiral / spinor path | wave_manifold chiral suite + chiral brief | 🟢 |
|
||||
| **P9** | Trace A: contemplation → SPECULATIVE holographic seal; hypothesis vs evidence reconstruct | `core/contemplation/wave_seam.py`, `tests/test_adr_0241_wave_contemplation_seam.py` | 🟢 on #38 |
|
||||
| **P10** | Trace B: wave residual → energy/trajectory; τ_n = F_n τ_0 table; crystallization gate | `wave_energy_boundary.py`, multi-scale helpers, energy tests | 🟢 on #38 |
|
||||
| **P11** | Rust/MLX optional | **P11a partial:** physics hot paths via `algebra.backend` (f32→Rust, f64→Python SOT) | 🟡 partial on #38 |
|
||||
| **P12** | runtime_contracts wave section; acceptance checklist; ADRs Proposed + ready for Joshua | `docs/audit/adr_0241_cohesion_acceptance_checklist.md`, `tests/test_adr_0241_governance_p12.py` | 🟢 ready; **not** Accepted |
|
||||
|
||||
### 4.2 Plan B — Drive gaps (D0–D10)
|
||||
|
||||
| Pkg | Deliverable | Status |
|
||||
|-----|-------------|--------|
|
||||
| **D0** | In-repo ADR-0242 matches Drive five-vector thesis (no silent scope shrink) | 🟢 |
|
||||
| **D1** | `FibonacciSearchCertificate` \| `OptimizationFailure`; never raw float public minimizer; stable cert digest | 🟢 |
|
||||
| **D2** | GoldTether κ optional path: cert success may propose κ; failure → κ=1.0 fail-closed | 🟢 |
|
||||
| **D3** | Multi-band E_n(t) research helper + evals quarantine (not production energy default) | 🟢 scaffold |
|
||||
| **D4** | Allocator identity/version + packing honesty pins | 🟢 |
|
||||
| **D5** | Fibonacci-word observability scheduler (telemetry only; not in serve/truth path) | 🟢 `fibonacci_word_schedule.py` |
|
||||
| **D6** | `algebra/topological_reasoning/` quarantine; production import blocked | 🟢 |
|
||||
| **D7** | Sensorium → ψ thin feed; real ρ; no cosine | 🟢 `sensorium_wave_feed.py` |
|
||||
| **D8** | Fibonacci applications memo in-repo + fidelity honesty | 🟢 |
|
||||
| **D9** | Rust f64 GP parity / deeper FFI | 🟡 **P11a** dispatch hygiene only; full f64 GP still open |
|
||||
| **D10** | Joshua Accept path | ⚪ human gate only |
|
||||
|
||||
### 4.3 CI / runner program (collateral, required for gates)
|
||||
|
||||
Shipped on **main via PR #39** (not #38), because single Act runner was starving PR checks:
|
||||
|
||||
| Change | Effect |
|
||||
|--------|--------|
|
||||
| `full-pytest.yml` → fast marker (`not quarantine and not slow`) | Main post-merge no longer holds runner 1–2h |
|
||||
| `nightly-full-pytest.yml` | Full soak at 02:00 UTC + dispatch |
|
||||
| `lane-shas.yml` job-level path skip | Skip heavy verify when no pin-relevant paths; still report green |
|
||||
| Soft `public_demo` budget (HARD only if `CORE_SHOWCASE_HARD_BUDGET=1`) | Cold Act wall-clock ≠ content failure |
|
||||
| Path-stable env deltas | Stop cancelled-run / thrash from poisoning pins |
|
||||
| Docs | `docs/ci-optimization.md`, updates to `docs/testing-lanes.md` |
|
||||
|
||||
**Validated:** main run **#164** lane-shas fully green after optim.
|
||||
|
||||
---
|
||||
|
||||
## 5. PR / branch map (resume orientation)
|
||||
|
||||
| PR | Branch | Content | Merge state (as of archive) |
|
||||
|----|--------|---------|------------------------------|
|
||||
| **#37** | `feat/adr-0241-0242-implementation` | Cohesion substrate P0–P8 + Gemini P4/P5 handoff | ✅ merged to `main` (`40859f9c`) |
|
||||
| **#39** | `optimize-ci-test-suites` | CI fast-lane + nightly + skip-safe lane-shas | ✅ merged to `main` (`b80f262f`) |
|
||||
| **#38** | `feat/adr-0241-p9-contemplation-trace-a` | P9–P12 + Drive D0–D8 + P11a + timeout bump | 🔴 **open** — tip `015c9fac` |
|
||||
|
||||
### #38 commit spine (tip → base)
|
||||
|
||||
```text
|
||||
015c9fac chore(ci): increase lane-shas timeout to 45 minutes ← Gemini
|
||||
44f7258b fix(algebra): P11a physics hot paths via algebra.backend
|
||||
db6430ed feat(adr-0242): macro-phase V2–V5 + sensorium feed
|
||||
bbd3b667 feat(adr-0242): Drive V1 cert discipline + doc align five vectors
|
||||
9d543f6a docs(governance): P12 cohesion close
|
||||
f123e0ea feat(wave): P10 Trace B energy + multi-scale τ
|
||||
aa86f1ae feat(wave): P9 Trace A contemplation SPECULATIVE seal
|
||||
```
|
||||
|
||||
Base: `b80f262f` (main post-#39). Mergeable when checks green.
|
||||
|
||||
### #38 CI state at archive time
|
||||
|
||||
| Check | Tip `015c9fac` |
|
||||
|-------|----------------|
|
||||
| smoke | ✅ ~6 min |
|
||||
| lane-shas | ❌ failed after ~22m39s (run #167); logs truncated mid-install/verify |
|
||||
|
||||
**Local truth:** `python scripts/verify_lane_shas.py` → **9/9** pins + CLAIMS current (~9 min) on this tip. Pins are not the suspected root cause; likely per-lane 900s timeout / Act resource under cold path, or incomplete Forgejo log. **Do not re-pin** unless CI logs show SHA mismatch.
|
||||
|
||||
**Obsolete noise:** run #161 was pre-#39 / wrong pin context — ignore.
|
||||
|
||||
---
|
||||
|
||||
## 6. Load-bearing modules (mental map)
|
||||
|
||||
| Concern | Module(s) |
|
||||
|---------|-----------|
|
||||
| Wave field / ρ / reconstruct / chiral / polar honesty | `core/physics/wave_manifold.py` |
|
||||
| Holographic modes + status-filtered reconstruct | `core/physics/holographic_vault.py` |
|
||||
| Contemplation Trace A seam | `core/contemplation/wave_seam.py` |
|
||||
| Energy / residual boundary Trace B | `core/physics/wave_energy_boundary.py` |
|
||||
| Multi-scale energy research | `core/physics/multi_scale_energy.py` |
|
||||
| Fibonacci cert search | `core/physics/fibonacci_search.py` |
|
||||
| Golden-Angle packing | `core/physics/atlas_packing.py` |
|
||||
| Fibonacci-word telemetry schedule | `core/physics/fibonacci_word_schedule.py` |
|
||||
| Sensorium → ψ feed | `core/physics/sensorium_wave_feed.py` |
|
||||
| GoldTether κ + residual | `core/physics/goldtether.py` |
|
||||
| Backend dispatch (P11a) | `algebra/backend.py` |
|
||||
| Topological quarantine | `algebra/topological_reasoning/` |
|
||||
| Entity + serve quarantine suite | `tests/test_third_door_cohesion.py` |
|
||||
| Backend AST hygiene | `tests/test_physics_backend_dispatch_hygiene.py` |
|
||||
|
||||
---
|
||||
|
||||
## 7. Invariants & non-goals still in force
|
||||
|
||||
### Must hold
|
||||
|
||||
- `versor_condition(F) < 1e-6`; closure only at owned algebra/construction boundaries.
|
||||
- INV-21 allowlist for `VaultStore.store`; contemplation uses `seal_mode` only (SPECULATIVE).
|
||||
- Serve AST quarantine: no wave / holographic / Fibonacci / packing / wave_seam on wrong=0 path.
|
||||
- Fibonacci **sovereignty:** never proposition truth, safety, identity, or auto COHERENT promotion.
|
||||
- Exact recall only (no cosine/ANN as memory truth).
|
||||
- ADRs: agents may mark **Proposed + ready**; only Joshua **Accepts**.
|
||||
|
||||
### Explicit non-goals (do not “finish” by doing these)
|
||||
|
||||
- Serve-path wiring of wave / Fibonacci / packing.
|
||||
- Resurrecting `core_ha` or Poincaré as runtime memory truth.
|
||||
- Continuous continuum ψ(X,t) solver as merge blocker.
|
||||
- Stripping semantic demo fields to force pin green.
|
||||
- Self-Accept of ADR-0241 / ADR-0242.
|
||||
|
||||
---
|
||||
|
||||
## 8. Verification recipes (pickup)
|
||||
|
||||
```bash
|
||||
# Cohesion + ADR regression (Plan A/B product)
|
||||
python3 -m pytest \
|
||||
tests/test_third_door_cohesion.py \
|
||||
tests/test_adr_0241_*.py \
|
||||
tests/test_adr_0242_*.py \
|
||||
tests/test_adr_0241_governance_p12.py \
|
||||
tests/test_physics_backend_dispatch_hygiene.py \
|
||||
-q
|
||||
|
||||
# Optional Rust path (needs core_rs built)
|
||||
CORE_BACKEND=rust python3 -m pytest tests/test_adr_0241_wave_manifold.py tests/test_third_door_cohesion.py -q
|
||||
|
||||
# Lane pins (same as CI body; soft public_demo by default)
|
||||
uv run python scripts/verify_lane_shas.py
|
||||
uv run python scripts/generate_claims.py --check
|
||||
|
||||
# Smallest CLI smoke
|
||||
core test --suite smoke -q
|
||||
```
|
||||
|
||||
**Do not** treat full-pytest / nightly as PR gate; that is main fast-lane + nightly after #39.
|
||||
|
||||
---
|
||||
|
||||
## 9. Exact next concrete steps (hit the ground running)
|
||||
|
||||
### Immediate — unblock merge of #38
|
||||
|
||||
1. Diagnose **lane-shas run #167** full step log on the Act host (Forgejo UI log is truncated).
|
||||
2. If **TimeoutExpired** on a lane: raise per-lane `timeout=900` in `scripts/verify_lane_shas.py` and/or slim cold path — **job** timeout alone (45m) does not fix 15m single-lane kills.
|
||||
3. If **SHA mismatch**: only then re-pin with `--update` and CLAIMS check (local was 9/9).
|
||||
4. Re-run lane-shas on tip `015c9fac` (or fix commit + push). Gemini (low) is set to merge on green — do not force-merge past red.
|
||||
5. After merge: pull `main`, delete session-break noise, confirm post-merge main smoke/lane-shas.
|
||||
|
||||
### Post-merge product backlog (ordered)
|
||||
|
||||
| Priority | Item | Notes |
|
||||
|----------|------|--------|
|
||||
| 1 | **D10 Joshua review** | Flip ADR-0241/0242 → Accepted only after human read of checklist |
|
||||
| 2 | **D9 / P11 remainder** | Rust f64 geometric product parity if UMA path must match f64 wave residuals |
|
||||
| 3 | **Runner capacity** | Second Act runner or larger VM — only real concurrent PR fix (`docs/ci-optimization.md`) |
|
||||
| 4 | Progressive continuous field | Still progressive (mode samples); not a merge blocker |
|
||||
| 5 | V2 energy production promotion | Only with benchmark win + explicit gate — currently research |
|
||||
|
||||
### Do not re-open without cause
|
||||
|
||||
- P7 polar retirement decision (conjugacy authority).
|
||||
- P4 packing metric honesty (null-point Euclidean readout vs full H² geodesic).
|
||||
- Soft public_demo budget design (content cases remain hard).
|
||||
|
||||
---
|
||||
|
||||
## 10. Session continuity pointers
|
||||
|
||||
| Need | Location |
|
||||
|------|----------|
|
||||
| Plan A full text | `docs/plans/adr-0241-cohesion-mastery-plan-p0-p12.md` |
|
||||
| Plan B full text | `docs/plans/adr-0242-drive-complete-plan-d0-d10.md` |
|
||||
| This summary | `docs/plans/adr-0241-0242-session-completion-summary-2026-07-15.md` |
|
||||
| Cohesion acceptance (C0–C8 + human gate) | `docs/audit/adr_0241_cohesion_acceptance_checklist.md` |
|
||||
| CI bottleneck doctrine | `docs/ci-optimization.md` |
|
||||
| Gemini math briefs | `docs/briefs/ADR-0241-*.md`, `docs/briefs/ADR-0242-*.md` |
|
||||
| Remote | Forgejo `core-labs/core` — **not** GitHub |
|
||||
|
||||
**Remote / tools:** `forgejo` remote → `core-gitquarters.acbcontent.org/core-labs/core`. Use Forgejo MCP / `tea`, never `gh` for this repo.
|
||||
|
||||
---
|
||||
|
||||
## 11. One-paragraph brief for the next agent
|
||||
|
||||
You are resuming CORE ADR-0241/0242 work. Plan A (cohesion P0–P12) and Plan B (Drive D0–D8 + P11a) are **implemented on open PR #38** (`feat/adr-0241-p9-contemplation-trace-a`, tip `015c9fac`); CI optim is already on main via #39. Product is implementation-complete for cohesion and Drive Phase 1–vector scaffold; **Joshua Accept** and **full Rust f64 parity** remain. Merge is blocked on **lane-shas CI red** despite **local 9/9 pins** — fix runner/timeout or get full #167 logs before re-pinning. Read the two plan archives and this summary; re-run the pytest recipe above; do not wire serve or self-Accept ADRs.
|
||||
|
||||
---
|
||||
|
||||
*Archived from session work on 2026-07-15. Plans A/B copied from session plan artifacts; status tables updated to match branch tip and CI reality at archive time.*
|
||||
435
docs/plans/adr-0241-cohesion-mastery-plan-p0-p12.md
Normal file
435
docs/plans/adr-0241-cohesion-mastery-plan-p0-p12.md
Normal file
|
|
@ -0,0 +1,435 @@
|
|||
# ADR-0241 / Cohesion Mastery Plan (P0–P12)
|
||||
|
||||
**Plan ID:** Plan A — Cohesion entity mastery
|
||||
**Status:** Implementation complete on Forgejo PR #37 (P0–P8 substrate) + PR #38 (P9–P12 + later Drive work). Human **Accepted** flip remains Joshua-only.
|
||||
**Branch lineage:** `feat/adr-0241-0242-implementation` (#37) → `feat/adr-0241-p9-contemplation-trace-a` (#38)
|
||||
**Date (plan authored):** 2026-07-14
|
||||
**Date (archived to docs):** 2026-07-15
|
||||
**Policy:** Entity cohesion over module greenness; fail-closed residual doctrine; Gemini/Antigravity design stops for pure math.
|
||||
|
||||
## Framing
|
||||
|
||||
ADR-0241 local wave operators are green. The cohesion master plan reframes "done" as **Hyperbolic Atlas absorbed into a single living Cl(4,1) entity** with Trace A/B, entity invariants I-01…I-05, Golden-Angle packing, Fibonacci optimization (ADR-0242), multimodal algebraic resonance, formal Phase 0 deprecation safety, and mechanical-sympathy Rust depth. This plan makes those facts load-bearing, keeps AGENTS.md fail-closed doctrine (reject silent dual-correction repair), and gates deepest math through Gemini/Antigravity design stop-points.
|
||||
|
||||
### Authority sources used to author this plan
|
||||
|
||||
| # | Document | Path / origin |
|
||||
|---|----------|----------------|
|
||||
| 1 | ADR-0241 wave-field hyperbolic atlas | `docs/adr/ADR-0241-wave-field-driven-hyperbolic-atlas-and-resonant-cognition.md` (+ Drive export) |
|
||||
| 2 | ADR-0242 Fibonacci / packing (then draft) | `docs/adr/ADR-0242-atlas-packing-and-fibonacci.md` (+ Drive export) |
|
||||
| 3 | Cohesion master plan | `docs/analysis/core_cohesion_master_plan.md` |
|
||||
| 4 | core_ha unification / deprecation | `docs/analysis/core_ha_unification_and_deprecation_plan.md` |
|
||||
|
||||
Supporting: `docs/research/third-door-blueprint-fidelity.md`, Fibonacci applications memo (later D8).
|
||||
|
||||
---
|
||||
|
||||
### Entity-Level Invariants (success criteria)
|
||||
|
||||
| ID | Requirement | Current gap |
|
||||
|----|-------------|-------------|
|
||||
| **I-01** | Biography holonomy closed + **reboot-invariant** from content-addressed ledger | Session-only registry; no durable bio ledger pin |
|
||||
| **I-02** | Wave ψ vaulted via CRDT/teaching chain reconstructs with \(\\|\psi_2-\psi_1\\|_F < 10^{-12}\) | No end-to-end bit-stable pin |
|
||||
| **I-03** | Self-authorship never mutates active manifold / never writes COHERENT | Pattern exists; must pin against holographic seal abuse |
|
||||
| **I-04** | Multimodal match via \(\langle \psi_A\widetilde{\psi}_B + \psi_B\widetilde{\psi}_A\rangle_0\) only (no cosine/ANN) | Operator + sensorium seam missing |
|
||||
| **I-05** | GoldTether unitary residual \(< 10^{-6}\) on every wave transition | Local dual-check exists; not entity-wide boundary suite |
|
||||
|
||||
### Hyperbolic Atlas facts (under-specified before)
|
||||
|
||||
| Atlas concern | Cohesion / Fibonacci requirement | Implementation surface |
|
||||
|---------------|----------------------------------|------------------------|
|
||||
| Thaw loss | Resonant lock-in / reconstruct, not coordinate thaw | `WaveManifold` + `HolographicVaultStore` |
|
||||
| Node eviction rigidity | Continuous mode spectrum + packing, not discrete node IDs | Standing-wave modes; **no** `atlas_id` resurrection |
|
||||
| Mode packing | Golden-Angle / hyperbolic phyllotaxis on horosphere | New: `atlas_packing` or methods on `WaveManifold` |
|
||||
| Separation | Pairwise geodesic \(d_{\min}=0.12\) or reject | Benchmark + allocator fail-closed |
|
||||
| Insertion cost | CPU/alloc metric for mode registration | `evals/` / calibration only (R-04 gated observability) |
|
||||
| Coordinate dissolution (ADR-0003) | Poincaré may be used **only as a construction lift** into Cl(4,1); never as runtime memory truth | Construction boundary only |
|
||||
|
||||
### Tension with AGENTS.md (resolve explicitly)
|
||||
|
||||
| Cohesion text | Risk vs CORE doctrine | Resolution in this plan |
|
||||
|---------------|----------------------|-------------------------|
|
||||
| R-01 “dual-correction fallback to nearest exact versor” on drift | Forbidden **hot-path drift repair** / unitize outside owned boundaries | **Fail-closed** on residual breach in propagate-like paths; any close/unitize only at **construction / admit** boundaries (`wave_manifold` exp construction, holographic `_admit`, biography construction). No silent nearest-versor repair in field/generate/vault hot paths. |
|
||||
| Sketch tests use `np.random` + Euclidean norm of ψ | Non-deterministic, non-algebraic | Deterministic fixtures; CGA/reverse-product norms |
|
||||
| `sup_X` continuous field residual | API is still pointwise 32-vec | Document progressive meaning: residual on registered mode samples / manifold sample set until continuous field representation exists |
|
||||
|
||||
---
|
||||
|
||||
## Recommended approach
|
||||
|
||||
Treat mastery as **entity cohesion**, not module greenness.
|
||||
|
||||
1. **Land the cohesion master plan** in-repo as the dual authority beside ADR-0241.
|
||||
2. **Phase 0 audits first** (A-01…A-04 + pre-deprecation grep) — already mostly true, must become **CI-pinned**.
|
||||
3. **Trust + entity invariant suite** (I-01…I-05 RED→GREEN) as the definition of “cohesive.”
|
||||
4. **Atlas packing + Fibonacci (ADR-0242 track)** as first-class under dual branch scope, with Antigravity/Gemini design stops for pure math.
|
||||
5. **True polar / chiral** remain algebraic mastery upgrades with design handoffs.
|
||||
6. **Rust FFI** after Python authority exists for exp/residual (mechanical sympathy), not before.
|
||||
7. Continuous adversarial audits after every GREEN package.
|
||||
|
||||
---
|
||||
|
||||
## Work package map (revised)
|
||||
|
||||
```text
|
||||
P0 Land cohesion plan + Phase 0 audits (A-01…A-04) + honesty ledger
|
||||
P1 Trust hardening (Vault public ABI, serve+Fibonacci quarantine, I-03 pins)
|
||||
P2 Entity suite I-01…I-05 (tests/test_third_door_cohesion.py + entity invariants)
|
||||
P3 Superposition reconstruction ∑ c_k ψ_k
|
||||
P4 Hyperbolic Atlas packing (Golden-Angle / d_min) ── STOP → Gemini design brief
|
||||
P5 Fibonacci search + GoldTether κ (ADR-0242 slice A) ── STOP → Gemini design brief
|
||||
P6 Multimodal phase correlation (I-04) sensorium-facing pure algebra
|
||||
P7 True C_AB + Clifford polar ── STOP → Gemini design brief
|
||||
P8 Non-vacuous chiral (spinor path) ── STOP → Gemini design brief
|
||||
P9 Cognition seam Trace A (contemplation SPECULATIVE → teaching corridor)
|
||||
P10 Energy boundary + multi-scale τ (Trace B + Fibonacci τ_n optional)
|
||||
P11 Rust/MLX FFI (wedge / expm / versor_unit_residual) after P7 authority
|
||||
P12 Governance close (CLAIMS, runtime_contracts, ADR-0241 Accepted, draft ADR-0242)
|
||||
```
|
||||
|
||||
**Minimum for “ADR-0241 + cohesion complete”:** P0–P3, P6, P9, P12 (with P4–P5 honesty: either implement or demote claims).
|
||||
**Absolute mastery / genius bar:** all P0–P12 with P7–P8 math landed (not demoted).
|
||||
|
||||
---
|
||||
|
||||
## Critical files
|
||||
|
||||
### New
|
||||
| Path | Purpose |
|
||||
|------|---------|
|
||||
| `docs/analysis/core_cohesion_master_plan.md` | Canonical cohesion authority (from Downloads) |
|
||||
| `tests/test_third_door_cohesion.py` | Unified entity + Fibonacci + deprecation suite |
|
||||
| `tests/test_entity_invariants_i01_i05.py` (or section of cohesion suite) | I-01…I-05 pins |
|
||||
| `core/physics/fibonacci_search.py` | Bounded unimodal Fibonacci section search (ADR-0242) |
|
||||
| `core/physics/atlas_packing.py` (or WaveManifold methods) | Golden-Angle mode packing + \(d_{\min}\) |
|
||||
| `docs/briefs/ADR-0241-cross-spectral-polar-brief.md` | Gemini handoff |
|
||||
| `docs/briefs/ADR-0241-chiral-spinor-brief.md` | Gemini handoff |
|
||||
| `docs/briefs/ADR-0242-atlas-packing-and-fibonacci-brief.md` | Gemini handoff |
|
||||
| `docs/adr/ADR-0242-*.md` | Draft after P5/P4 design acceptance |
|
||||
|
||||
### Modify
|
||||
| Path | Purpose |
|
||||
|------|---------|
|
||||
| `vault/store.py` | Public versor/entry read ABI |
|
||||
| `core/physics/holographic_vault.py` | Drop `_versors`; I-02 reload path |
|
||||
| `core/physics/wave_manifold.py` | Reconstruct, packing hooks, phase correlation, residual samples |
|
||||
| `core/physics/biography.py` | I-01 durable reconstruct path (ledger/holographic) |
|
||||
| `core/physics/goldtether.py` | κ search integration surface (eval-only by default) |
|
||||
| `core/physics/energy.py` | Crystallization Trace B; optional Fibonacci τ schedule |
|
||||
| `core/physics/self_authorship.py` | I-03 pins vs holographic COHERENT |
|
||||
| `core/physics/surprise.py` / `dynamic_manifold.py` | Remain delegates; polar upgrade post-P7 |
|
||||
| `tests/test_architectural_invariants.py` | Containment + INV-21 + grep-like hygiene |
|
||||
| `docs/adr/ADR-0241-...md` | Entity traces + I-* cross-links; honest status |
|
||||
| `docs/research/third-door-blueprint-fidelity.md` | Cohesion rows; demote thin 🟢 |
|
||||
| `CLAIMS.md`, `docs/specs/runtime_contracts.md` | After pins hold |
|
||||
|
||||
### Reuse
|
||||
| Primitive | Path |
|
||||
|-----------|------|
|
||||
| Algebra product / reverse / scalar | `algebra/cl41.py` |
|
||||
| `cga_inner`, null points | `algebra/cga.py`, `algebra/null_point.py` |
|
||||
| Versor residual / apply / condition | `algebra/versor.py` |
|
||||
| Holonomy encode | `algebra/holonomy.py` |
|
||||
| Metric project / leakage | `wave_manifold._metric_project` |
|
||||
| VaultStore.store / iter_metadata | `vault/store.py` |
|
||||
| EpistemicStatus | `teaching.epistemic` |
|
||||
| Trajectory energy bound | `trajectory_invariants.py` |
|
||||
| Existing ADR-0241 tests | `tests/test_adr_0241_*.py` |
|
||||
| Rust surfaces | `core-rs/src/{cl41,diffusion,versor,vault,lib}.rs` |
|
||||
|
||||
---
|
||||
|
||||
## Package detail
|
||||
|
||||
### P0 — Land cohesion plan + Phase 0 (mandatory first)
|
||||
|
||||
1. Copy/normalize Downloads master plan → `docs/analysis/core_cohesion_master_plan.md` (fix escaped LaTeX/markdown; keep meaning).
|
||||
2. Cross-link from ADR-0241, deprecation plan, fidelity ledger.
|
||||
3. Execute **A-01…A-04** as a written checklist artifact in `docs/audit/` or test-pinned notes:
|
||||
- **A-01** branch parity (this worktree vs `main` / third-door branches)
|
||||
- **A-02** WaveManifold bindings present in `dynamic_manifold.py` / `surprise.py`
|
||||
- **A-03** no Euclidean-only projection as truth in active invariant tests (metric-exact already pinned for leakage; extend scan)
|
||||
- **A-04** serve-path quarantine for wave **and** Fibonacci
|
||||
4. Pre-deprecation grep as **automated test** (not manual one-off):
|
||||
- no `import core_ha` / `from core_ha`
|
||||
- no `hyperbolic_primitives`
|
||||
- flag bare `poincare` / Poincaré **runtime** fixtures (construction-lift tests may whitelist)
|
||||
5. Honesty pass on fidelity §12: mark thin polar/chiral/atlas-packing as 🟡 until P4/P7/P8.
|
||||
|
||||
**Agents:** orchestrator + `doc-updater`.
|
||||
**Adversarial audit:** skeptic — every prior 🟢 must map to either entity invariant or local pin.
|
||||
|
||||
**Exit:** cohesion plan in-repo; Phase 0 suite green.
|
||||
|
||||
---
|
||||
|
||||
### P1 — Trust hardening
|
||||
|
||||
1. **Public VaultStore read ABI**; remove `holographic_vault` private `_versors`.
|
||||
2. **Serve containment** AST/import tests: `chat/runtime.py` (and wrong=0 serve entry) must not import `wave_manifold`, `holographic_vault`, or future `fibonacci_search` / `atlas_packing`.
|
||||
3. **I-03 pin:** self-authorship + holographic path cannot write COHERENT without explicit review gate; SPECULATIVE only.
|
||||
4. COHERENT seal remains non-self-authorizing; document ADR-0092 still deferred.
|
||||
5. Dual residual checks stay fail-closed (I-05 local).
|
||||
|
||||
**Agents:** `tdd-guide` → implement → `security-reviewer` + `python-reviewer` → adversarial `code-reviewer`.
|
||||
|
||||
**Exit:** restart holographic tests green without private ABI; containment + I-03 green.
|
||||
|
||||
---
|
||||
|
||||
### P2 — Entity invariant suite (definition of cohesion)
|
||||
|
||||
Implement `tests/test_third_door_cohesion.py` (and/or dedicated entity file) with **deterministic** fixtures (reject random-norm sketch as authority):
|
||||
|
||||
| Test | Invariant |
|
||||
|------|-----------|
|
||||
| Biography holonomy closed + reconstruct after vault-backed mode reload | I-01 |
|
||||
| Seal ψ₁ SPECULATIVE → reload spectrum → \(\\|\psi_2-\psi_1\\|_F < 10^{-12}\) (float64 path; document float32 store policy if dtype differs) | I-02 |
|
||||
| Self-authorship / miner cannot COHERENT-seal holographic modes | I-03 |
|
||||
| Phase-correlation API rejects cosine path; algebraic symmetry pin | I-04 (stub until P6 full multimodal) |
|
||||
| Schrödinger/sandwich step residual < 1e-6 dual-checked | I-05 |
|
||||
| `core_ha` import raises / find_spec None | Deprecation |
|
||||
| Fibonacci search stub xfail until P5 | ADR-0242 placeholder |
|
||||
|
||||
**Float32 note:** VaultStore may store float32; I-02’s \(10^{-12}\) may require float64 path or a dual tolerance (float64 exact / float32 ≤ 1e-6). Pin **honestly** — do not fake bit-identity across dtype cast.
|
||||
|
||||
**Agents:** `tdd-guide` → implement missing glue only → `code-reviewer`.
|
||||
|
||||
**Exit:** entity suite exists and fails closed on regressions; I-02 dtype policy documented.
|
||||
|
||||
---
|
||||
|
||||
### P3 — Superposition reconstruction
|
||||
|
||||
Realize \(\hat\psi = \sum_k c_k \psi_k\) from reverse-product overlaps (not only argmax).
|
||||
|
||||
- RED: partial-combo query reconstructs closer to combo than pure modes.
|
||||
- Empty refuse preserved.
|
||||
- Keep `resonant_recall` as lock-in index API for biography compatibility.
|
||||
|
||||
**Exit:** W5 upgraded from argmax-only to interference-capable.
|
||||
|
||||
---
|
||||
|
||||
### P4 — Hyperbolic Atlas packing (Golden-Angle)
|
||||
|
||||
**STOP → Antigravity/Gemini brief:** `docs/briefs/ADR-0242-atlas-packing-and-fibonacci-brief.md` (section A).
|
||||
|
||||
Must specify:
|
||||
1. Lift of Golden Angle \(\theta_k = 2\pi k\phi^{-1}\), \(r_k=\tanh(\alpha\sqrt{k})\) into **Cl(4,1) horosphere points** (null vectors / CGA), without making Poincaré runtime truth (ADR-0003).
|
||||
2. Geodesic separation metric on horosphere and fail if \(d_{\min}<0.12\).
|
||||
3. Insertion cost measurement only in `evals/` / `calibration/` (R-04).
|
||||
4. How modes register into `WaveManifold` / holographic vault.
|
||||
5. Non-goals: resurrecting `core_ha` package, node IDs, thaw coordinates.
|
||||
|
||||
**After design return:** TDD allocator + rejection threshold + packing determinism.
|
||||
|
||||
**Exit:** packing pins green; insertion-cost benchmark in evals quarantine.
|
||||
|
||||
---
|
||||
|
||||
### P5 — Fibonacci section search + GoldTether κ (ADR-0242 slice)
|
||||
|
||||
**STOP → same Gemini brief (section B)** or resume from P4 brief.
|
||||
|
||||
1. `core/physics/fibonacci_search.py`: `BoundedUnimodalObjective`, `fibonacci_section_search`, certificate/trace (eval sequence length = budget).
|
||||
2. Integration test: minimize synthetic unimodal residual for κ (cohesion sketch, deterministic).
|
||||
3. Optional later: real Procrustes residual line search under fixed N evals (Fidelity Score metric).
|
||||
4. **Never** import into `chat/runtime.py` (A-04).
|
||||
5. Unimodality violation → fail-closed (cohesion §4.2).
|
||||
6. Draft **ADR-0242** from Fibonacci + packing decisions.
|
||||
|
||||
**Exit:** cohesion Fibonacci test green; ADR-0242 draft ready for review.
|
||||
|
||||
---
|
||||
|
||||
### P6 — Multimodal phase correlation (I-04)
|
||||
|
||||
Implement pure algebra helper:
|
||||
|
||||
\[
|
||||
\rho(\psi_A,\psi_B)=\langle \psi_A\widetilde{\psi}_B + \psi_B\widetilde{\psi}_A\rangle_0
|
||||
\]
|
||||
|
||||
1. On `WaveManifold` (or `wave_resonance.py`).
|
||||
2. Tests: symmetry, no cosine imports, deterministic.
|
||||
3. Thin adapter at sensorium boundary for text/audio/vision/motor **ψ packets** if already compilable; else pin operator + fake multimodal vectors until sensorium compilers feed real packets.
|
||||
4. Forbidden: sklearn neighbors, faiss, cosine ranking as truth.
|
||||
|
||||
**Exit:** I-04 fully behavioral (not stub).
|
||||
|
||||
---
|
||||
|
||||
### P7 — True \(\mathcal{C}_{AB}\) + Clifford polar
|
||||
|
||||
**STOP → Gemini brief** `docs/briefs/ADR-0241-cross-spectral-polar-brief.md`.
|
||||
|
||||
Same bar as prior plan: algebra-native only; tests that thin wrap fails; `wave_analogical_polar` becomes truth; Procrustes field path delegates.
|
||||
|
||||
---
|
||||
|
||||
### P8 — Non-vacuous chiral
|
||||
|
||||
**STOP → Gemini brief** `docs/briefs/ADR-0241-chiral-spinor-brief.md`.
|
||||
|
||||
Preserve even-versor honesty (#19); spinor path informative conserved Q; Trace B topological charge real.
|
||||
|
||||
---
|
||||
|
||||
### P9 — Contemplation / teaching seam (Trace A)
|
||||
|
||||
1. Contemplation or sealed-practice path may **SPECULATIVE-seal** standing-wave modes.
|
||||
2. Proposals only; teaching corridor for COHERENT.
|
||||
3. Resonant reconstruct available as hypothesis, never as evidence without `min_status=COHERENT`.
|
||||
4. Serve still quarantined.
|
||||
|
||||
**Agents:** `architect` for seam choice → `tdd-guide` → `security-reviewer`.
|
||||
|
||||
---
|
||||
|
||||
### P10 — Energy boundary + multi-scale τ (Trace B)
|
||||
|
||||
1. Wire wave unitary residual into energy / trajectory boundary checks.
|
||||
2. Optional \(\tau_n = F_n \tau_0\) recency hierarchy (Fibonacci memo §4) as **constants table**, not dogma.
|
||||
3. Crystallization E0–E1 → vault candidate aligns with holographic seal policy.
|
||||
|
||||
---
|
||||
|
||||
### P11 — Rust / mechanical sympathy
|
||||
|
||||
Only after Python math authority for exp residual:
|
||||
|
||||
| Binding | Role |
|
||||
|---------|------|
|
||||
| `cl41::wedge` | Exterior product / PCA blades |
|
||||
| `diffusion.rs::expm` | Unitarity-aware \(R=\exp(B\Delta t)\) |
|
||||
| `versor_unit_residual` | SIMD GoldTether residual |
|
||||
|
||||
Parity tests: Rust == Python within tol; no scipy truth.
|
||||
**Hand off optional** to Antigravity for Rust micro-optim if Python contracts frozen.
|
||||
|
||||
---
|
||||
|
||||
### P12 — Governance close
|
||||
|
||||
1. CLAIMS pins for I-01…I-05 (or subset landed).
|
||||
2. `runtime_contracts.md`: off-serve wave + SPECULATIVE holographic kind + Fibonacci quarantine.
|
||||
3. ADR-0241 → Accepted path after Joshua review.
|
||||
4. ADR-0242 draft → Proposed.
|
||||
5. Fidelity ledger truth.
|
||||
6. Cohesion checklist boxes I-* and A-* reflected as tests, not prose.
|
||||
|
||||
---
|
||||
|
||||
## Antigravity / Gemini mandatory stop-points
|
||||
|
||||
| When | Brief | Resume when |
|
||||
|------|-------|-------------|
|
||||
| Before P4/P5 | `docs/briefs/ADR-0242-atlas-packing-and-fibonacci-brief.md` | Horosphere lift + d_min + Fibonacci search contracts review-passed |
|
||||
| Before P7 | `docs/briefs/ADR-0241-cross-spectral-polar-brief.md` | Algebra-native polar design; thin-wrap-failing RED tests listed |
|
||||
| Before P8 | `docs/briefs/ADR-0241-chiral-spinor-brief.md` | Non-vacuous spinor Q without reviving #19 |
|
||||
| Optional P11 | Rust expm/residual micro-arch brief | Python parity suite frozen |
|
||||
|
||||
Each brief must include: ADR citations, AGENTS.md invariant compliance, non-goals, RED tests current code cannot pass, numerical thresholds from cohesion plan.
|
||||
|
||||
---
|
||||
|
||||
## Agent orchestration
|
||||
|
||||
```text
|
||||
Orchestrator
|
||||
P0 docs + Phase 0 automation
|
||||
P1 tdd → impl → security + python review → adversarial code-review
|
||||
P2 tdd entity suite → impl glue → adversarial
|
||||
P3 tdd reconstruct → impl → review
|
||||
⏸ Gemini: atlas packing + Fibonacci (P4/P5)
|
||||
P4–P5 implement after design
|
||||
P6 multimodal ρ
|
||||
⏸ Gemini: polar (P7)
|
||||
⏸ Gemini: chiral (P8)
|
||||
P9 cognition seam (architect + security)
|
||||
P10 energy
|
||||
P11 rust (optional Antigravity)
|
||||
P12 governance + human Joshua acceptance
|
||||
```
|
||||
|
||||
**Adversarial review after every package:**
|
||||
(1) namesake-green? (2) entity invariant covered? (3) serve quarantine held? (4) docs/ledger/code agree?
|
||||
|
||||
---
|
||||
|
||||
## Success definition
|
||||
|
||||
### Cohesion-complete (dual-ADR branch minimum)
|
||||
|
||||
| # | Criterion |
|
||||
|---|-----------|
|
||||
| C0 | Cohesion master plan in-repo; Phase 0 A-01…A-04 automated/pinned |
|
||||
| C1 | I-01…I-05 suite green under honest tolerances |
|
||||
| C2 | Vault public ABI; no private `_versors` |
|
||||
| C3 | Serve + Fibonacci quarantine AST-green |
|
||||
| C4 | Superposition reconstruct behavioral pins |
|
||||
| C5 | Multimodal ρ operator (I-04) green |
|
||||
| C6 | Contemplation SPECULATIVE holographic seam (Trace A) without serve |
|
||||
| C7 | Pre-deprecation grep CI-green |
|
||||
| C8 | CLAIMS + runtime_contracts + ADR-0241 acceptance path |
|
||||
|
||||
### Absolute mastery
|
||||
|
||||
All of the above **plus**: Golden-Angle packing \(d_{\min}\); Fibonacci κ search + ADR-0242 draft; true polar; non-vacuous chiral; energy boundary; optional Rust parity.
|
||||
|
||||
### Explicit non-goals for “complete”
|
||||
|
||||
- Wiring wave/Fibonacci into wrong=0 serve
|
||||
- Resurrecting `core_ha`
|
||||
- Cosine/ANN multimodal matching
|
||||
- Hot-path silent unitize “nearest versor” repair (reject R-01 as written; use fail-closed)
|
||||
- Claiming continuous \(\psi(X,t)\) continuum solver before packing+modes give progressive field semantics
|
||||
|
||||
---
|
||||
|
||||
## Verification lanes
|
||||
|
||||
```bash
|
||||
# Phase 0 / hygiene
|
||||
python3 -m pytest tests/test_third_door_cohesion.py tests/test_adr_0241_*.py -q
|
||||
python3 -m pytest tests/test_architectural_invariants.py -q -k "INV21 or vault or wave or holographic or core_ha or poincare"
|
||||
|
||||
# Third-Door regression
|
||||
python3 -m pytest tests/test_adr_0238*.py tests/test_adr_0239*.py tests/test_adr_0240*.py tests/test_third_door*.py -q
|
||||
|
||||
# Broader
|
||||
core test --suite algebra -q
|
||||
core test --suite runtime -q
|
||||
core test --suite smoke -q
|
||||
```
|
||||
|
||||
**Quantifiable thresholds (from cohesion plan, adjusted for honesty):**
|
||||
|
||||
| Metric | Threshold |
|
||||
|--------|-----------|
|
||||
| Unitary residual (I-05) | \(< 10^{-6}\) |
|
||||
| Vault round-trip float64 (I-02) | \(< 10^{-12}\) (or documented float32 ≤ 1e-6) |
|
||||
| Biography closure (I-01) | `versor_condition < 1e-6` post-reboot reconstruct |
|
||||
| Horosphere packing (P4) | pairwise geodesic \(\ge 0.12\) or reject |
|
||||
| Fibonacci search (P5) | best point within 1e-3 of known unimodal min; eval count = budget |
|
||||
| Phase correlation (I-04) | algebraic identity pins; no banned imports |
|
||||
| Serve imports | zero illegal modules |
|
||||
|
||||
---
|
||||
|
||||
## Execution order after plan approval
|
||||
|
||||
1. P0 land cohesion plan + Phase 0 automation
|
||||
2. P1 trust ABI + quarantine
|
||||
3. P2 entity suite (RED → GREEN)
|
||||
4. P3 reconstruct
|
||||
5. **STOP:** emit ADR-0242 packing+Fibonacci brief to Antigravity/Gemini
|
||||
6. P6 multimodal ρ (can parallel while Gemini works)
|
||||
7. On brief return → P4 packing, P5 Fibonacci + draft ADR-0242
|
||||
8. **STOP:** polar brief → P7
|
||||
9. **STOP:** chiral brief → P8
|
||||
10. P9 Trace A seam
|
||||
11. P10 energy
|
||||
12. P11 Rust only if needed
|
||||
13. P12 governance + Joshua acceptance
|
||||
403
docs/plans/adr-0242-drive-complete-plan-d0-d10.md
Normal file
403
docs/plans/adr-0242-drive-complete-plan-d0-d10.md
Normal file
|
|
@ -0,0 +1,403 @@
|
|||
# ADR-0241 / ADR-0242 Drive-Complete Plan (Post-Cohesion Gap Close)
|
||||
|
||||
**Plan ID:** Plan B — Drive-complete gap close
|
||||
**Status (archive 2026-07-15):** Macro implementation **landed on PR #38** (D0–D8, D3–D7 vectors, plus P11a backend hygiene). Remaining: **D9** optional Rust f64 GP parity / second runner (P11a partial), **D10** Joshua Accept. PR #38 tip `015c9fac` — smoke green; lane-shas red on Act (local pins 9/9).
|
||||
**Branch:** `feat/adr-0241-p9-contemplation-trace-a` (PR #38 only — no micro-PRs)
|
||||
**Date (plan authored):** 2026-07-15
|
||||
**Date (archived to docs):** 2026-07-15
|
||||
**Policy:** PRs only at macro-phase completion for life of this plan.
|
||||
|
||||
## Authority sources (Drive = design truth)
|
||||
|
||||
The **four Drive documents** that authored this plan:
|
||||
|
||||
| # | Source | Drive doc_id | In-repo mirror |
|
||||
|---|--------|--------------|----------------|
|
||||
| 1 | **ADR-0241** wave-field hyperbolic atlas | `1F_7QYtPysBP4qMbLGlGPnXgYx9IXug8nUYrpiCGSunE` | `docs/adr/ADR-0241-wave-field-driven-hyperbolic-atlas-and-resonant-cognition.md` |
|
||||
| 2 | **ADR-0242** deterministic Fibonacci + evidence-gated optimization | `15_NECCPy-tEWGfYi_BNqawm8GytUTMkz1DsOqGVMXhI` | `docs/adr/ADR-0242-atlas-packing-and-fibonacci.md` |
|
||||
| 3 | **core_ha** unification / deprecation | `1eFNoXQl5BbUo6g4GBzRXi5tyIhT5RUGZQG6afaVXTg4` | `docs/analysis/core_ha_unification_and_deprecation_plan.md` |
|
||||
| 4 | **Fibonacci applications** R&D memo | `1wcuxwfxk6AW6du4SgKe4AuRxMaE5tipxG2VbrXeWM6c` | `docs/analysis/fibonacci_applications_in_core_substrate.md` |
|
||||
|
||||
Supporting (not the Drive quartet, but load-bearing):
|
||||
|
||||
| Source | Path |
|
||||
|--------|------|
|
||||
| Cohesion master plan (entity I-*) | `docs/analysis/core_cohesion_master_plan.md` |
|
||||
| Fidelity ledger | `docs/research/third-door-blueprint-fidelity.md` §12 |
|
||||
| Acceptance checklist | `docs/audit/adr_0241_cohesion_acceptance_checklist.md` |
|
||||
|
||||
**Critical discovery (2026-07-15):** Cohesion packages **P0–P12 are implemented**. That is **not** full fidelity to the Drive ADR-0242 five-vector thesis or the Fibonacci applications memo. In-repo ADR-0242 was scoped as packing + section search only; Drive ADR-0242 is broader (evidence-gated operators + five vectors + sovereignty invariant).
|
||||
|
||||
---
|
||||
|
||||
## Phase A — Already landed (do not re-open)
|
||||
|
||||
### A1. Cohesion plan P0–P12 (PR #37 + PR #38)
|
||||
|
||||
| Pkg | Deliverable | Proof |
|
||||
|-----|-------------|--------|
|
||||
| P0–P3 | Cohesion plan, vault ABI, I-01…I-05, reconstruct | `tests/test_third_door_cohesion.py`, holographic vault |
|
||||
| P4–P5 | Golden-Angle packing, Fibonacci section search core | `atlas_packing.py`, `fibonacci_search.py`, ADR-0242 draft |
|
||||
| P6 | \(\rho\) algebra (I-04) | `phase_correlation` |
|
||||
| P7–P8 | Polar honesty (conjugacy authority); chiral non-vacuous spinor path | wave_manifold tests + briefs |
|
||||
| P9 | Trace A wave_seam SPECULATIVE seal / hypothesis vs evidence | `core/contemplation/wave_seam.py` |
|
||||
| P10 | Wave residual → energy/trajectory; \(\tau_n=F_n\tau_0\) table; crystallization gate | `wave_energy_boundary.py` |
|
||||
| P12 | runtime_contracts wave section; acceptance checklist; ADRs Proposed+ready | governance tests |
|
||||
|
||||
### A2. ADR-0241 local operators (Drive core math, progressive continuous field)
|
||||
|
||||
| Requirement | Status |
|
||||
|-------------|--------|
|
||||
| \(\psi\) multivector field, sandwich/left transport | 🟢 |
|
||||
| Spectral leakage → surprise | 🟢 |
|
||||
| Resonant recall / reconstruct | 🟢 |
|
||||
| Holographic vault SPECULATIVE + public ABI | 🟢 |
|
||||
| GoldTether unitary residual | 🟢 |
|
||||
| Chiral \(\mathcal{Q}\) (spinor path) | 🟢 |
|
||||
| Continuous \(\int_M\) / \(\sup_X\) continuum | 🟡 progressive (mode samples / pointwise) |
|
||||
| True multi-grade \(\mathcal{C}_{AB}\) polar | ⚪ retired honestly (conjugacy = polar for sandwich) |
|
||||
| Sensorium \(\psi_\text{total}=\sum\psi_\text{mod}\) | 🔴 open (feed) |
|
||||
|
||||
### A3. core_ha deprecation (Python path)
|
||||
|
||||
| Item | Status |
|
||||
|------|--------|
|
||||
| No live `core_ha` / hygiene pins | 🟢 |
|
||||
| Absorption into wave / GoldTether / energy / biography | 🟢 |
|
||||
| Rust expm / SIMD residual hot path | 🔴 (Step 2 — optional mechanical sympathy) |
|
||||
|
||||
### A4. Explicit non-goals (all plans)
|
||||
|
||||
- Serve-path wiring of wave / Fibonacci / packing / seams
|
||||
- Resurrecting `core_ha` or Poincaré as runtime memory truth
|
||||
- Cosine / ANN multimodal ranking
|
||||
- Hot-path silent unitize / nearest-versor drift repair
|
||||
- Fibonacci dictating proposition truth, safety, identity, or auto-promotion (**Drive sovereignty invariant**)
|
||||
- V5 anyons entering production without proofs
|
||||
|
||||
---
|
||||
|
||||
## Phase B — Drive gaps (new work packages)
|
||||
|
||||
Authority: **Drive ADR-0242 five vectors** + Fibonacci memo + residual ADR-0241 progressive items + core_ha Step 2.
|
||||
|
||||
```text
|
||||
D0 Align in-repo docs to Drive ADR-0242 scope (no silent scope shrink)
|
||||
D1 V1: FibonacciSearchCertificate + OptimizationFailure + evidence gate
|
||||
D2 V1b: GoldTether κ optional path — cert-only, fail → baseline κ=1.0
|
||||
D3 V2: Multi-band E_n(t) temporal basis (research → evals quarantine first)
|
||||
D4 V3 polish: reconstruction-over-storage allocator identity + packing honesty pins
|
||||
D5 V4: Fibonacci-word observability scheduler (telemetry only)
|
||||
D6 V5: topological_reasoning research scaffold (isolated, blocked from prod)
|
||||
D7 Sensorium → ψ packets thin feed (I-04 boundary; no cosine)
|
||||
D8 Land Fibonacci applications memo in-repo + fidelity honesty pass
|
||||
D9 Optional P11 Rust/MLX parity (core_ha Step 2) — only after Python authority frozen
|
||||
D10 Governance re-close: ADR-0242 rewrite, CLAIMS if needed, Joshua Accept path
|
||||
```
|
||||
|
||||
### Priority / leverage order
|
||||
|
||||
| Rank | Pkg | Why |
|
||||
|------|-----|-----|
|
||||
| 1 | **D0** | Stop docs lying about scope |
|
||||
| 2 | **D1** | Highest fidelity gap to Drive ADR-0242 production Phase 1 |
|
||||
| 3 | **D2** | Makes V1 load-bearing (κ) without dogma |
|
||||
| 4 | **D8** | Canonical memo path for agents |
|
||||
| 5 | **D4** | Cheap honesty / reconstruction-over-storage |
|
||||
| 6 | **D3** | Research prototype; do not promote without benchmark |
|
||||
| 7 | **D5** | Outside truth path; scheduling only |
|
||||
| 8 | **D7** | Closes I-04 “feed still open” |
|
||||
| 9 | **D6** | Explicit pre-research quarantine |
|
||||
| 10 | **D9** | Mechanical sympathy after freeze |
|
||||
| 11 | **D10** | Human Accept after D1–D2 (minimum) or full vector set |
|
||||
|
||||
---
|
||||
|
||||
## Package detail
|
||||
|
||||
### D0 — Doc alignment (mandatory first)
|
||||
|
||||
1. Rewrite / expand `docs/adr/ADR-0242-*.md` to match Drive title thesis:
|
||||
- **Deterministic Fibonacci operators and evidence-gated optimization**
|
||||
- Five vectors + sovereignty invariant + phase order
|
||||
2. Keep packing + section search as **V1/V3 landings**, not the whole ADR.
|
||||
3. Cross-link Fibonacci memo, cohesion plan, fidelity §12.
|
||||
4. Honesty table: what is GREEN vs RESEARCH vs RETIRED.
|
||||
|
||||
**Exit:** In-repo ADR-0242 no longer understates Drive.
|
||||
|
||||
---
|
||||
|
||||
### D1 — V1 certificate discipline (production-ready)
|
||||
|
||||
Drive API surface (freeze):
|
||||
|
||||
```text
|
||||
BoundedUnimodalObjective # exists
|
||||
fibonacci_section_search(...) → FibonacciSearchCertificate | OptimizationFailure
|
||||
# never raw float; never silent accept
|
||||
FibonacciSearchCertificate:
|
||||
minimizer, final_interval, evaluations,
|
||||
ordered_points, ordered_values,
|
||||
objective_id, objective_version
|
||||
# content-addressed / replayable (hash of ordered trace + ids)
|
||||
OptimizationFailure:
|
||||
reason, final_interval, evaluations, objective_id, objective_version
|
||||
```
|
||||
|
||||
Implementation notes vs current code:
|
||||
|
||||
| Current | Required |
|
||||
|---------|----------|
|
||||
| `SearchTrace` + raise `ValueError` | Typed cert **or** failure return (or exception that maps 1:1 to failure reasons) |
|
||||
| partial `certificate` dict | Full frozen dataclass + deterministic `cert_id` / digest |
|
||||
| unimodality fail raises | `OptimizationFailure(reason="unimodality_violation_...")` |
|
||||
|
||||
Tests (RED first):
|
||||
|
||||
- Success path returns cert; digest stable across dual-run
|
||||
- Budget too low → typed failure
|
||||
- Nonfinite / bounds → typed failure
|
||||
- Multi-extrema unimodality → typed failure
|
||||
- Never returns bare float as public API
|
||||
- Serve quarantine still holds
|
||||
|
||||
**Exit:** Drive Phase 1 API green; `SearchTrace` either deprecated or thin adapter over cert.
|
||||
|
||||
---
|
||||
|
||||
### D2 — GoldTether κ cert gate (optional path)
|
||||
|
||||
Drive Phase 1 integration seam:
|
||||
|
||||
1. Bounded κ line search may use `fibonacci_section_search`.
|
||||
2. On **cert success**: telemetry records cert; caller may *propose* κ (not auto-mutate identity).
|
||||
3. On **OptimizationFailure**: default `κ = 1.0`, log failure; no silent use of half-search.
|
||||
4. Must not authorize COHERENT / pack mutation / serve autonomy change.
|
||||
|
||||
**Exit:** Integration test with synthetic unimodal residual; failure path forced.
|
||||
|
||||
---
|
||||
|
||||
### D3 — V2 multi-scale temporal basis (research → evals)
|
||||
|
||||
Drive formula:
|
||||
|
||||
\[
|
||||
E_n(t) = E_n(t_0)\,\exp\bigl(-(t-t_0)/(F_n\tau_0)\bigr)
|
||||
\]
|
||||
|
||||
1. Implement pure helper (e.g. `multi_scale_energy_vector`) — **not** dogmatic production default.
|
||||
2. Comparative harness in `evals/` or `calibration/`: Fibonacci vs dyadic \(2^n\tau_0\) vs log under fixed replay.
|
||||
3. Promote into `FieldEnergyOperator` **only** with written benchmark win + Joshua gate.
|
||||
4. Optional: surprise persistence across bands \(F_5\)–\(F_7\) → DiscoveryCandidate (contemplation), SPECULATIVE only.
|
||||
|
||||
**Exit:** Research prototype + benchmark artifact; production energy path unchanged until gate.
|
||||
|
||||
---
|
||||
|
||||
### D4 — V3 allocator polish
|
||||
|
||||
Already: Golden-Angle packing + \(d_{\min}\).
|
||||
|
||||
Add:
|
||||
|
||||
1. Explicit **allocator identity + version** in metadata (`golden_angle_v1`) so layout is reconstructible from ordinal sequence.
|
||||
2. Document honest metric: CGA null-point Euclidean \(d\), not full \(H^2\) geodesic.
|
||||
3. Optional insertion-cost metric only in evals quarantine (R-04).
|
||||
|
||||
**Exit:** Reconstruction-over-storage pin; no opaque mutable layout table as truth.
|
||||
|
||||
---
|
||||
|
||||
### D5 — V4 Fibonacci-word observability scheduler
|
||||
|
||||
Drive:
|
||||
|
||||
\[
|
||||
W_0=B,\; W_1=A,\; W_{n+1}=W_n W_{n-1}
|
||||
\]
|
||||
|
||||
- **A** = low-cost local measurement
|
||||
- **B** = high-cost cross-band check
|
||||
|
||||
Constraints:
|
||||
|
||||
- **Outside cognitive truth path**
|
||||
- Cannot mutate field / vault COHERENT / packs
|
||||
- Module e.g. `core/physics/fibonacci_word_schedule.py` or `telemetry/`
|
||||
- AST pin: not imported by `chat/runtime.py`
|
||||
|
||||
**Exit:** Deterministic word generator + schedule iterator tests; no serve import.
|
||||
|
||||
---
|
||||
|
||||
### D6 — V5 topological reasoning scaffold (pre-research)
|
||||
|
||||
1. Create isolated package path `algebra/topological_reasoning/` (or `docs/research/` + empty module stub).
|
||||
2. README: fusion \(\tau\otimes\tau=1\oplus\tau\), blocked from FFI / production imports.
|
||||
3. Architectural test: production packages must not import it.
|
||||
|
||||
**Exit:** Quarantine exists; zero production coupling.
|
||||
|
||||
---
|
||||
|
||||
### D7 — Sensorium → ψ feed (I-04 boundary)
|
||||
|
||||
1. Thin adapter: modality packet → 32-vec \(\psi\) at construction boundary only.
|
||||
2. Superposition \(\psi_\text{total}=\sum\psi_i\) for available packets.
|
||||
3. Use `phase_correlation` only — ban cosine/ANN.
|
||||
4. If compilers incomplete: fake deterministic packets + real algebra (honest).
|
||||
|
||||
**Exit:** I-04 “feed open” closed or explicitly staged with fake packets + real \(\rho\).
|
||||
|
||||
---
|
||||
|
||||
### D8 — Land Fibonacci applications memo
|
||||
|
||||
1. Export Drive memo → `docs/analysis/fibonacci_applications_in_core_substrate.md`.
|
||||
2. Cross-link ADR-0241/0242, energy, packing.
|
||||
3. Mark anyons / braid as research (align D6).
|
||||
|
||||
**Exit:** Canonical path matches Drive “Canonical path” field.
|
||||
|
||||
---
|
||||
|
||||
### D9 — Optional Rust hot path (core_ha Step 2 / P11)
|
||||
|
||||
Only after D1 Python cert authority frozen:
|
||||
|
||||
| Binding | Role |
|
||||
|---------|------|
|
||||
| `diffusion.rs::expm` | Unitarity-aware \(R=\exp(B\Delta t)\) |
|
||||
| `versor_unit_residual` | SIMD GoldTether residual |
|
||||
| Optional `cl41::wedge` | Exterior product |
|
||||
|
||||
Parity tests: Rust ≈ Python within tol; no scipy as truth.
|
||||
|
||||
**Exit:** Optional; not required for ADR-0242 Phase 1 Accept.
|
||||
|
||||
---
|
||||
|
||||
### D10 — Governance re-close + Joshua Accept
|
||||
|
||||
Minimum for **Drive Phase 1 Accept** (ADR-0242 production slice):
|
||||
|
||||
- D0 + D1 (+ D2 preferred)
|
||||
- Fidelity ledger V1/V3 honest
|
||||
- Sovereignty invariant documented + test-pinned
|
||||
|
||||
Full Drive multi-vector Accept later:
|
||||
|
||||
- D3–D5 as landed or explicit RESEARCH
|
||||
- D6 quarantine
|
||||
- ADR-0241 remaining progressive items called out
|
||||
|
||||
**Never self-Accept** — Joshua only.
|
||||
|
||||
---
|
||||
|
||||
## Success definitions
|
||||
|
||||
### Minimum Drive-complete (Phase 1)
|
||||
|
||||
| # | Criterion |
|
||||
|---|-----------|
|
||||
| M0 | In-repo ADR-0242 matches Drive five-vector thesis (scope honesty) |
|
||||
| M1 | V1 typed cert/failure API + dual-run stable digest |
|
||||
| M2 | No silent raw-float public minimizer |
|
||||
| M3 | Optional κ path fail-closed to baseline |
|
||||
| M4 | Serve quarantine unchanged |
|
||||
| M5 | Sovereignty: fib never sets truth / COHERENT / identity |
|
||||
|
||||
### Full Drive-complete (all five vectors)
|
||||
|
||||
M0–M5 **plus** V2 research artifact, V3 allocator identity, V4 scheduler, V5 isolated scaffold, sensorium feed staged, fidelity/governance updated.
|
||||
|
||||
### Absolute mastery (stretch)
|
||||
|
||||
+ continuous field integrals, Rust parity, comparative V2 promotion into production energy with evidence.
|
||||
|
||||
---
|
||||
|
||||
## Verification lanes
|
||||
|
||||
```bash
|
||||
# After D1
|
||||
python3 -m pytest tests/test_adr_0242_fibonacci.py tests/test_adr_0242_*cert* -q
|
||||
|
||||
# Cohesion regression (must stay green)
|
||||
python3 -m pytest tests/test_third_door_cohesion.py tests/test_adr_0241_*.py -q
|
||||
|
||||
# Serve quarantine
|
||||
python3 -m pytest tests/test_third_door_cohesion.py -k serve_path -q
|
||||
|
||||
# Optional later
|
||||
python3 -m pytest tests/test_adr_0242_fibonacci_word*.py -q
|
||||
core test --suite algebra -q
|
||||
```
|
||||
|
||||
**Do not** run full `verify_lane_shas` unless demos/showcase touched.
|
||||
|
||||
---
|
||||
|
||||
## Execution order after plan approval
|
||||
|
||||
1. **D0** doc align ADR-0242 + land Fibonacci memo (D8 can parallel)
|
||||
2. **D1** TDD cert/failure API
|
||||
3. **D2** GoldTether κ cert gate (optional path)
|
||||
4. **D4** allocator identity polish
|
||||
5. **D3** multi-scale energy research harness (no production flip without evidence)
|
||||
6. **D5** Fibonacci-word scheduler
|
||||
7. **D7** sensorium feed thin adapter
|
||||
8. **D6** anyon research quarantine
|
||||
9. **D9** Rust only if requested
|
||||
10. **D10** fidelity + Joshua Accept package
|
||||
|
||||
---
|
||||
|
||||
## Agent orchestration
|
||||
|
||||
```text
|
||||
Orchestrator
|
||||
D0/D8 docs (doc-updater discipline)
|
||||
D1 tdd-guide → implement → python-reviewer → security-reviewer
|
||||
D2 tdd → goldtether integration (fail-closed)
|
||||
D3 evals quarantine first; no production promote without benchmark
|
||||
D4–D5 small pure modules + AST quarantine pins
|
||||
D6 isolation + import hygiene test
|
||||
D7 sensorium boundary + I-04 pins
|
||||
D9 rust-build-resolver only if greenlit
|
||||
D10 governance tests + human Joshua
|
||||
```
|
||||
|
||||
Adversarial checklist after each package:
|
||||
|
||||
1. Namesake-green?
|
||||
2. Evidence-gated (cert/failure) where Drive requires?
|
||||
3. Serve quarantine held?
|
||||
4. Sovereignty invariant held?
|
||||
5. Docs / fidelity / code agree?
|
||||
|
||||
---
|
||||
|
||||
## Branch strategy
|
||||
|
||||
- Prefer continue **PR #38** branch if still open, **or** fresh `feat/adr-0242-evidence-gated-fibonacci` from post-merge `main` after #38 lands.
|
||||
- Keep changes small: D0/D1 first PR if #38 is already large.
|
||||
- Forgejo only; no GitHub.
|
||||
|
||||
---
|
||||
|
||||
## Summary
|
||||
|
||||
| Layer | Status |
|
||||
|-------|--------|
|
||||
| Cohesion living-entity (P0–P12) | 🟢 done |
|
||||
| Drive ADR-0241 operators | 🟢 / progressive continuous field + sensorium feed open |
|
||||
| Drive ADR-0242 V1 cert discipline | 🟢 landed on PR #38 (`FibonacciSearchCertificate` / `OptimizationFailure`) |
|
||||
| Drive ADR-0242 V2–V5 | 🟢 research/scaffold landed (V2 multi-scale, V3 allocator id, V4 word schedule, V5 quarantine) |
|
||||
| core_ha Python deprecation | 🟢; Rust Step 2 optional — **P11a** backend dispatch landed |
|
||||
| Fibonacci memo in-repo | 🟢 `docs/analysis/fibonacci_applications_in_core_substrate.md` |
|
||||
|
||||
**This plan’s job:** close the gap between “cohesion complete” and “Drive ADR-0242 evidence-gated Fibonacci operators complete,” without re-litigating polar/chiral/packing or opening serve.
|
||||
Loading…
Reference in a new issue