Merge remote-tracking branch 'forgejo/feat/adr-0241-0242-implementation'
This commit is contained in:
commit
d85f83e425
4 changed files with 75 additions and 6 deletions
|
|
@ -255,11 +255,12 @@ class WaveManifold:
|
|||
psi_A: np.ndarray,
|
||||
psi_B: np.ndarray,
|
||||
) -> np.ndarray:
|
||||
"""Recover sandwich conjugator R with ψ_B ≈ R ψ_A ~R (polar / conjugacy).
|
||||
"""Recover sandwich conjugator R with psi_B ≈ R psi_A ~R.
|
||||
|
||||
Canonical single-field analogy rotor. Uses the field-conjugacy engine in
|
||||
``dynamic_manifold`` (lazy import — avoids import cycle; Procrustes
|
||||
multi-pair path calls this for single non-null pairs).
|
||||
Canonical single-field analogy rotor via field conjugacy (SVD + Spin GN).
|
||||
Analytic Clifford polar R = C (~C C)^{-1/2} is **not** used: for
|
||||
multi-grade Cl(4,1) fields ~C C is non-scalar (ADR-0241 P7 demotion;
|
||||
``docs/briefs/P7_design_note.md``).
|
||||
"""
|
||||
R, _residual = self.wave_field_conjugacy([psi_A], [psi_B])
|
||||
return R
|
||||
|
|
|
|||
|
|
@ -103,4 +103,4 @@ Behavioral (not closure-only) tests in `tests/test_adr_0241_wave_manifold.py`:
|
|||
- Ledger: `docs/research/third-door-blueprint-fidelity.md` § Wave-field substrate.
|
||||
- Entity cohesion (Trace A/B, I-01…I-05, Phase 0 audits): `docs/analysis/core_cohesion_master_plan.md`.
|
||||
- GoldTether #18 bootstrap/prune is **landed** (fidelity ledger 🟢); wave unitary residual is the coherence residual path (Slice 2).
|
||||
- Thin vs mastery: multi-pair polar is still a conjugacy thin wrap; chiral \(\mathcal{Q}\) is honest structural ~0 on real Cl(4,1) until pair-spinor design lands.
|
||||
- Multi-grade sandwich conjugacy is owned by `_field_conjugacy_versor` (wave thin wrap); analytic Clifford polar \(R=C(\widetilde{C}C)^{-1/2}\) is **retired for general multi-grade fields** (see `docs/briefs/P7_design_note.md`). Chiral \(\mathcal{Q}\) remains honest structural ~0 on real Cl(4,1) until pair-spinor design (P8).
|
||||
|
|
|
|||
68
docs/briefs/ADR-0241-chiral-spinor-brief.md
Normal file
68
docs/briefs/ADR-0241-chiral-spinor-brief.md
Normal file
|
|
@ -0,0 +1,68 @@
|
|||
# Brief: ADR-0241 Non-Vacuous Chiral Spinor Charge (P8)
|
||||
|
||||
**For:** Antigravity / Gemini design + TDD
|
||||
**Status:** STOP POINT after P7 demotion
|
||||
**Branch:** `feat/adr-0241-0242-implementation` (PR #37)
|
||||
|
||||
---
|
||||
|
||||
## Takeoff
|
||||
|
||||
```bash
|
||||
git fetch forgejo
|
||||
git checkout feat/adr-0241-0242-implementation
|
||||
git pull forgejo feat/adr-0241-0242-implementation
|
||||
```
|
||||
|
||||
Read:
|
||||
|
||||
1. `AGENTS.md`
|
||||
2. `docs/adr/ADR-0241-...md` (chiral charge row; #19 retirement)
|
||||
3. `docs/research/third-door-blueprint-fidelity.md` W4 / #19 section
|
||||
4. `core/physics/wave_manifold.py` — `chiral_charge`, `left_spinor_step`
|
||||
5. `docs/briefs/P7_design_note.md` (honesty doctrine — do not invent theater)
|
||||
|
||||
---
|
||||
|
||||
## Problem
|
||||
|
||||
ADR claims non-vacuous \(\mathcal{Q}=\langle\psi I_5\widetilde{\psi}\rangle_0\).
|
||||
Today `chiral_charge` is **honest structural ~0** on real Cl(4,1) (even product × central \(I_5\) has no grade-0 for the #19 family). Tests lock conservation of ~0 and even-versor honesty.
|
||||
|
||||
P8 goal: either (A) a **non-vacuous spinor path** with informative conserved Q, without reviving vacuous #19 gate on even unit versors; or (B) **permanent demotion** of non-vacuous claim with ADR language + fidelity ⚪ RETIRED, if design proves impossible under real Cl(4,1) without complex/pair structure.
|
||||
|
||||
---
|
||||
|
||||
## Hard constraints
|
||||
|
||||
- Must **not** revive grade-5 gate on even unit versors (#19)
|
||||
- Even field-state path stays honest (~0 or N/A)
|
||||
- Spinor / odd-capable path: if non-vacuous, Q informative + conserved under left unitary \(R\)
|
||||
- Algebra-native; no hot-path unitize; off-serve
|
||||
- Prefer fail-closed / honest demotion over fake non-zero Q
|
||||
|
||||
## Design options to evaluate (pick one with proof sketch)
|
||||
|
||||
1. Pair-spinor / complex structure via central \(I_5\) as algebraic \(i\)
|
||||
2. Even/odd split with grade-sensitive charge
|
||||
3. Two-component left ideals in Cl(4,1)
|
||||
4. Permanent demotion (document why real Cl(4,1) cannot host non-vacuous Q)
|
||||
|
||||
## RED tests (if implementing non-vacuous)
|
||||
|
||||
```text
|
||||
test_chiral_charge_nonzero_on_designed_spinor_packet
|
||||
test_chiral_charge_conserved_under_left_unitary_R
|
||||
test_chiral_charge_still_honest_zero_on_even_unit_versor
|
||||
test_goldtether_chiral_term_only_when_informative
|
||||
```
|
||||
|
||||
If demoting: one behavioral pin that documents structural vacuity remains and ADR/fidelity language is honest.
|
||||
|
||||
## Out of scope
|
||||
|
||||
P9 contemplation seam, Rust, serve wiring, re-opening retired multi-grade analytic polar (P7).
|
||||
|
||||
## Success
|
||||
|
||||
Non-vacuous spinor Q **or** honest permanent demotion; W4 fidelity flipped under honest criterion; PR #37 updated on Forgejo.
|
||||
|
|
@ -39,7 +39,7 @@
|
|||
| 8 | ADR-DAG conformal embedding | R&D §2.4 | 🟢 Python surface (`core/adr/validator.py`) | #21 |
|
||||
| W1 | WaveManifold unitary / sandwich step | ADR-0241 §2 | 🟢 | ADR-0241 |
|
||||
| W2 | Spectral leakage surprise | ADR-0241 §2.4B | 🟢 subsumed into `surprise_residual` | ADR-0241 |
|
||||
| W3 | Wave polar + multi-pair conjugacy | ADR-0241 §2.4A | 🟢 single polar + multi-pair thin wrap | ADR-0241 |
|
||||
| W3 | Wave polar + multi-pair conjugacy | ADR-0241 §2.4A | 🟢 sandwich conjugacy (`_field_conjugacy_versor`); analytic multi-grade polar ⚪ RETIRED | ADR-0241 |
|
||||
| W4 | Unitary residual + chiral charge readout | ADR-0241 §2.4C–D | 🟢 (Q structural 0 in real Cl(4,1); see §12) | ADR-0241 / #18 |
|
||||
| W5 | Biography resonant lock-in + durable holographic vault | ADR-0241 + ADR-0240 | 🟢 session registry + `HolographicVaultStore` (VaultStore-backed) | ADR-0241 |
|
||||
| W6 | `core_ha` deprecation / absorption | deprecation plan | 🟢 no live tree + hygiene pin | ADR-0241 |
|
||||
|
|
|
|||
Loading…
Reference in a new issue