core-labs/core
core-labs/core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

docs(analysis+audit): core_ha Path-B correction + acceptance-packet review fixes

Browse source 
Two coupled post-#42 truth updates:

1. core_ha authority mirror: clearly-marked correction section appended
   (original text unmodified) — actual determinism mechanism is bit-exact
   codec + single-writer VaultStore (Delta-CRDT exists only in core-rs vault
   + audio lane; general rollout deferred behind an explicit multi-writer
   gate per the PR #42 ruling); notes the §5.1 ClosureViolationException
   naming deviation and that the §5.2 sign-gate is now enforced (PR #41).

2. Acceptance packet: review fixes — state-under-review bumped to
   ccc42c18 (#36–#42 all merged); §4 chiral gate marked MERGED (state under
   Accept already enforces the topological safety invariant — no sequencing
   caveat); §5 items 1–2 flipped to RESOLVED (memo slice closed per §7;
   CRDT dossier merged); §6 requested-action updated accordingly.
This commit is contained in:
Shay 2026-07-15 15:19:00 -07:00
parent b25a55f3f5
commit 31c99467be
2 changed files with 30 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
docs/analysis/core_ha_unification_and_deprecation_plan.md
View file

@ -76,3 +76,28 @@ Keeping `core_ha` as a pointwise store would reintroduce thaw decay and non-comm
- Cohesion master plan: `docs/analysis/core_cohesion_master_plan.md`
- Fidelity ledger wave section: `docs/research/third-door-blueprint-fidelity.md`
- Regression: existing Third-Door ADR-0238/0239/0240 tests remain green under subsumption
---
## 7. Implementation-status correction (2026-07-15, post-ruling — appended, original text above unmodified)
Two claims in this memo are corrected against the landed implementation (adversarial audit
`docs/research/adr-0241-0242-adversarial-and-fidelity-findings.md`; decision dossier
`docs/analysis/crdt-vs-bitexact-determinism-decision-2026-07.md`, merged PR #42):
1. **Delta-CRDT sync (§1/§2/§3 tombstone row).** Python `core/sync/` is a journal/object-store —
it carries **no** CRDT merge semantics. The commutative/associative/idempotent semilattice DOES
exist, but in the Rust vault (`core-rs/src/vault.rs` `SemilatticeDelta`, ADR-0180 §2.2) and the
audio ingest lane (`tests/test_audio_crdt_merge.py`), not the general state layer.
**Actual exact-recall determinism mechanism today: bit-exact array codec
(`core/array_codec.py`) + single-writer `VaultStore` (Shape B+).** Ruling (PR #42): this is
sufficient for the single-writer one-continuous-life telos; general Delta-CRDT rollout is
deferred behind an explicit **multi-writer/multi-agent gate** (trigger: shared-vault
concurrency becomes a baseline requirement).
2. **`ClosureViolationException` (§5.1).** No exception of that name exists. The fail-closed
behavior it specifies is implemented by the versor gates (`versor_condition` ≥ 1e-6 →
`ValueError` at rotor closure) and typed errors (`WaveSpectralLeakageError`,
`ChiralOrientationError`). Equivalent semantics, different names — recorded as an honest
naming deviation, not a gap. (§5.2's sign-preservation safeguard, previously readout-only,
is now enforced by `core/physics/chiral_gate.py`, merged PR #41.)

10
docs/audit/adr-0241-0242-acceptance-packet-2026-07-15.md
View file

@ -1,7 +1,7 @@
# ADR-0241 / ADR-0242 — D10 Acceptance Packet for Joshua
**Date:** 2026-07-15 · **Prepared by:** Claude session (orchestration + adversarial verification) — **prepare-only; nothing here self-Accepts.**
**State under review:** `main @ 54228d45` (PR #36–#40 merged) + PR #41 pending (chiral sign-gate).
**State under review:** `main @ ccc42c18` (PR #36–#42 merged — includes the chiral sign-gate, this packet, and the CRDT decision dossier).
**Companion documents:**
- `docs/audit/adr_0241_cohesion_acceptance_checklist.md` — the P12 checklist itself
- `docs/research/third-door-blueprint-fidelity.md` §12 — behavioral acceptance table (every 🟢 row names a failable pin)
@ -38,18 +38,18 @@
## 4. Capability additions since the checklist was written
- **Chiral orientation sign-gate** (`sgn(Q)=const`, ADR-0241 §2.4C / core_ha §5.2 mirror-inversion safeguard) — the audit's one missing enforcement, built TDD, **PR #41 pending**: fail-closed `ChiralOrientationError` on materially re-emerging flips; signed charge wired in `goldtether_residual` with residual values pinned byte-identical; vacuous (inert) on today's even serve fields.
- **Chiral orientation sign-gate** (`sgn(Q)=const`, ADR-0241 §2.4C / core_ha §5.2 mirror-inversion safeguard) — the audit's one missing enforcement, built TDD, **MERGED (PR #41, `717aca9b`)**: fail-closed `ChiralOrientationError` on materially re-emerging flips; signed charge wired in `goldtether_residual` with residual values pinned byte-identical; vacuous (inert) on today's even serve fields. **The state under Accept therefore already enforces the topological safety invariant** — no sequencing caveat remains.
## 5. Known open items (explicitly NOT completion blockers)
1. **ADR-0242 R&D memo** ("deterministic-fibonacci-operators-and-evidence-gated-optimization") has no local export — its blueprint-fidelity slice is partial (implementation verified against its own contract + committed ADR).
2. **CRDT-vs-bit-exact determinism** — core_ha memo claims Delta-CRDT in `core/sync/`; actual mechanism is bit-exact codec + single-writer VaultStore. Needs a decision (build CRDT for multi-writer, or correct the doc).
1. **ADR-0242 R&D memo** — ~~no local export~~ **RESOLVED, see §7 addendum**: memo retrieved in full, fidelity slice closed with no new defects; committed copy at `docs/research/ADR-0242-deterministic-fibonacci-operators-and-evidence-gated-optimization.md`.
2. **CRDT-vs-bit-exact determinism** — **RESOLVED by decision dossier** (`docs/analysis/crdt-vs-bitexact-determinism-decision-2026-07.md`, **PR #42 merged `ccc42c18`**): Python `core/sync/` is object-store only, but real Delta-CRDT semilattice machinery exists in `core-rs/src/vault.rs` (and `test_audio_crdt_merge.py` exercises genuine CRDT properties). Ruling recommended and adopted: single-writer bit-exact serves the one-continuous-life telos today; CRDT rollout deferred behind an explicit multi-writer/multi-agent gate. Presented here for ratification alongside the §2 deviations.
3. W5 backlog: Rust f64 GP parity (D9), real sensorium compilers, V2 energy promotion (benchmark-gated), progressive continuous field.
4. GitHub Actions mirror CI — billing-locked; validation is local-first + Forgejo Act per the AGENTS.md protocol (merged in #40).
## 6. Requested action
Rule on §2 deviations (recommendations inline) and, if satisfied, flip **ADR-0241 and ADR-0242 → Accepted**. PR #41 (chiral gate) can be folded into the Accept or ruled separately.
Rule on §2 deviations (recommendations inline) and, if satisfied, flip **ADR-0241 and ADR-0242 → Accepted**. The chiral sign-gate (PR #41) and the CRDT determinism ruling (PR #42) are already merged — the state under Accept enforces the safety invariant and carries the adopted determinism doctrine; no sequencing caveats remain.
---