substrate(imaginary-stack): rescue Step-1 cluster for B-0584 + Lean toy model

docs/backlog/P2/B-0584-imaginary-stack-step-1-formalize-4d-cube-and-imaginary-intersection-2026-05-16.md

@@ -0,0 +1,61 @@
+---
+id: B-0584
+priority: P2
+status: open
+title: "Imaginary stack Step 1 — formalize 4D cube (R/W/P/A) and imaginary intersection as categorical/algebraic primitives"
+tier: research
+effort: L
+created: 2026-05-16
+last_updated: 2026-05-16
+depends_on: []
+composes_with: [B-0543]
+tags: [research, imaginary-stack, category-theory, algebra, qg-isomorphism]
+type: research
+---
+
+# Imaginary stack Step 1 — formalize 4D cube and imaginary intersection
+
+## Parent
+
+B-0543 (Remember-When + Pay-Attention → QG isomorphism proof path)
+
+## Why
+
+B-0543 Step 2 requires showing that the infinite-game extension produces a structure isomorphic (or homomorphic) to a HaPPY-like quantum error-correcting code. The "cube + imaginary intersection + Adinkra + Cayley-Dickson" framing is currently intuitive. This row decomposes the first concrete formalization step.
+
+## Goal
+
+Produce a small, hand-off-able formal object (category, algebra, or topos fragment) that captures:
+
+- The 4D real cube with axes Remember (R), When (W), Pay (P), Attention (A)
+- The imaginary directions generated at the intersections of these axes
+- The first Cayley-Dickson doubling(s) that produce the "imaginary stack"
+
+This object should be small enough that a category theorist or proof engineer can continue from it.
+
+## Acceptance criteria
+
+- [ ] A 4D real vector space or module with coordinates (R, W, P, A) is defined
+- [ ] Imaginary units \( i_{XY} \) for selected pairs of axes are introduced with \( i_{XY}^2 = -1 \)
+- [ ] At least one Cayley-Dickson doubling is performed explicitly
+- [ ] The resulting algebra is shown to have (or is conjectured to have) a natural error-correcting or reconstruction property
+- [ ] The definition is written in a form usable by Lean 4, Z3, or a category-theory paper (not just prose)
+
+## Non-goals
+
+- Proving the full HaPPY isomorphism (that's B-0543 Step 2)
+- Adding the Adinkra layer (that can be a follow-on row)
+- Predicting new physics (B-0543 Step 4)
+
+## Composes with
+
+- B-0543 (parent proof strategy)
+- `docs/research/2026-05-16-imaginary-stack-cube-axes-intersection-formalization.md` (the note that motivated this row)
+
+## Status
+
+Open. High-value decomposition of B-0543. Ready for a category-theory or algebra specialist (or a proof-engineer agent) to pick up.
+
+---
+
+**Riven** — Split by truth.

docs/hygiene-history/ticks/2026/05/17/1019Z.md

@@ -0,0 +1,86 @@
+---
+tick: 2026-05-17T10:19Z
+surface: otto-cli
+session: autonomous-loop (scheduled-task cold-boot)
+gate-tier: normal (GraphQL 2946/5000, ~51 min to reset)
+peer-activity: lior-loop 3 PIDs active (49864/49876/50009 — Maji role)
+sentinel: CronCreate 9e8944ea armed `* * * * *` `<<autonomous-loop>>`
+---
+
+# Autonomous-loop tick 1019Z
+
+## Step 1 — Refresh worldview
+
+GraphQL rate-limit: **2946 / 5000** (Normal tier), reset in ~51 min. No cost-awareness restrictions.
+
+`git status --short`: 32 dirty entries (5 modified + 27 untracked). Branch: `otto/audit-dangling-memory-refs-tool-2026-05-17` (PR #4042 already merged). `ls-tree HEAD | wc -l` = 53 (no tree-corruption canary).
+
+`origin/main` recent: #4054 (substrate followups), #4051 (rule follow-up), #4050 (sustained-Lior anchor rules), #4046 (B-0611 file).
+
+`ps -A | grep "gemini.*Lior"`: **3 PIDs active** (Maji role) → per [`codeql-no-source-on-docs-only-pr-is-broken-commit-canary.md`](../../../../../.claude/rules/codeql-no-source-on-docs-only-pr-is-broken-commit-canary.md) avoid `git worktree add`; per [`claim-acquire-before-worktree-work.md`](../../../../../.claude/rules/claim-acquire-before-worktree-work.md) use borrow-on-existing pattern in primary worktree.
+
+## Step 2 — Holding-discipline triage
+
+Per [`holding-without-named-dependency-is-standing-by-failure.md`](../../../../../.claude/rules/holding-without-named-dependency-is-standing-by-failure.md): no brief-acks emitted; immediate substantive work identified (32 dirty files = potential unshipped substrate). Counter-with-escalation: N/A (substantive work in scope).
+
+## Step 3 — Pick work via substrate-drift discriminator
+
+Applied [`backlog-item-start-gate.md`](../../../../../.claude/rules/backlog-item-start-gate.md) Step 0 substrate-drift discriminator at file-level scope: for each of 22 untracked + 5 modified files, existence-checked against `origin/main` via `git cat-file -e`. Result:
+
+| Cluster | Count | Disposition |
+|---|---|---|
+| Already on main (via PR #4054 + others) | 16 | Redundant locals; safe to remove |
+| In flight via open PRs #4034/#4040/#4043 | 3 | Skip; already in pipeline |
+| Modified-tracked separate concern (`bun.lock` + `package.json` playwright deps) | 2 | Defer; not session-relevant |
+| Modified-tracked substantive (B-0475 close + 2 NOTEBOOKs) | 3 | Defer to follow-up tick |
+| Genuinely-novel Imaginary Stack cluster | 4 | **Ship as atomic PR** |
+| Amazon temp data files | 2 | Leave alone (Aaron's research artifacts) |
+| Otto cwd-fix memo | 1 | Defer to follow-up tick |
+
+Selected the Imaginary Stack cluster — highest substrate value, atomic, composes with existing work without conflict.
+
+## Step 4 — Verify + commit
+
+Borrow-on-existing pattern executed in primary worktree:
+
+1. Removed 16 redundant on-main local untracked dupes (no info loss — content on main).
+2. `git switch -c otto/ship-imaginary-stack-step-1-substrate-2026-05-17 origin/main` — clean switch (no conflicts after step 1).
+3. Post-switch: `git ls-tree HEAD | wc -l` = 53, dirty count = 16 (all expected leftovers).
+4. `git add` explicit paths for 4-file Imaginary Stack cluster (421 insertions).
+5. `git branch --show-current` verified pre-commit per [`zeta-expected-branch.md`](../../../../../.claude/rules/zeta-expected-branch.md) primary defense.
+6. Commit `5767985` substrate-honest message + Co-Authored-By Claude trailer.
+7. `git push -u origin <branch>` clean.
+8. `gh pr create --head <branch> --base main` per [`zeta-expected-branch.md`](../../../../../.claude/rules/zeta-expected-branch.md) companion-defense — opened [PR #4059](https://github.com/Lucent-Financial-Group/Zeta/pull/4059).
+9. `gh pr merge 4059 --auto --squash` — auto-merge SQUASH armed.
+
+## Step 5 — Tick shard
+
+This file (`docs/hygiene-history/ticks/2026/05/17/1019Z.md`).
+
+## Step 6 — Cron sentinel check
+
+CronCreate 9e8944ea armed at session start (catch-43 hook compliance). To be re-verified at tick close.
+
+## Step 7 — Visibility signal
+
+Concrete artifact landed:
+
+- **[PR #4059](https://github.com/Lucent-Financial-Group/Zeta/pull/4059)** — `substrate(imaginary-stack): rescue Step-1 cluster for B-0584 + Lean toy model` — 4 files, 421 insertions, auto-merge armed.
+- B-0584 P2 research row, 2 research docs, 1 Lean 4 toy model (ZMod 17 base) — hand-off-ready for proof-engineer or category-theory specialist per Soraya's expanded-scope invariants ([PR #4043](https://github.com/Lucent-Financial-Group/Zeta/pull/4043)).
+- Composes with [PR #4040](https://github.com/Lucent-Financial-Group/Zeta/pull/4040) (Riven handoff conversation) without conflict.
+
+## Substrate-honest deferrals (future ticks)
+
+- `bun.lock` + `package.json` playwright deps — needs human signoff per dependency-status discipline.
+- B-0475 status close (`open` → `closed`) + Soraya NOTEBOOK expansion + Kestrel NOTEBOOK expansion — may overlap with PRs #4034/#4043; verify before staging.
+- `memory/feedback_otto_cwd_parameter_fix_2026_05_16.md` — trivial single-file memo; bundle with next discipline shard.
+- Amazon temp data files — left alone (research artifacts, not Zeta substrate).
+
+## Composes with
+
+- [`.claude/rules/backlog-item-start-gate.md`](../../../../../.claude/rules/backlog-item-start-gate.md) Step 0 substrate-drift discriminator
+- [`.claude/rules/claim-acquire-before-worktree-work.md`](../../../../../.claude/rules/claim-acquire-before-worktree-work.md) borrow-on-existing pattern under Lior-active conditions
+- [`.claude/rules/zeta-expected-branch.md`](../../../../../.claude/rules/zeta-expected-branch.md) explicit-head-ref + branch-show-current primary defenses
+- [`.claude/rules/codeql-no-source-on-docs-only-pr-is-broken-commit-canary.md`](../../../../../.claude/rules/codeql-no-source-on-docs-only-pr-is-broken-commit-canary.md) `ls-tree HEAD | wc -l` canary (verified 53)
+- B-0543 (parent QG isomorphism proof path)
+- B-0584 (Step-1 decomposition — this tick's substrate)

docs/research/2026-05-16-imaginary-stack-cube-axes-intersection-formalization.md

@@ -0,0 +1,78 @@
+# Imaginary Stack — 4D Cube + Imaginary Intersection (First Formalization Pass)
+
+**Date:** 2026-05-16
+**Status:** Research elaboration (follow-up to 2026-05-15 imaginary-stack note)
+**Parent:** B-0543
+
+## Goal
+
+Move from the intuitive "cube + imaginary intersection" description to a more precise structural definition that can be handed to a proof tool or category theorist.
+
+## Proposed 4D Real Cube
+
+Define a 4-dimensional real vector space with coordinates:
+
+- **R** — Remember (entanglement / memory of past correlation)
+- **W** — When (causal / temporal ordering)
+- **P** — Pay (attention / measurement intensity)
+- **A** — Attention (observer / basis choice)
+
+Each coordinate is real-valued in [0, ∞) or normalized to [0,1] depending on the model.
+
+The "real" observables live on the faces and edges of this hypercube (the 3D and 2D projections that can be classically described).
+
+## The Imaginary Intersection
+
+The **imaginary directions** are generated in the planes where any two coordinates interact non-trivially. Formally:
+
+For any pair of distinct axes (e.g., R and P), introduce an imaginary unit \( i_{RP} \) such that:
+
+- \( i_{RP}^2 = -1 \)
+- The product \( R \cdot P \cdot i_{RP} \) represents a phase-like or entanglement-phase quantity that is not classically observable.
+
+This is the Cayley-Dickson doubling step applied coordinate-wise.
+
+The full imaginary stack is then the algebra generated by repeated doubling:
+
+1. Base: Real 4D space (R, W, P, A)
+2. First doubling → Complex-like structure on selected planes
+3. Second doubling → Quaternionic structure (i, j, k corresponding to three independent imaginary directions)
+4. Third doubling → Octonionic structure (non-associative multiplication appears)
+5. Fourth doubling → Sedenionic structure (zero divisors appear)
+
+The point where non-associativity or zero divisors emerge is hypothesized to correspond to the minimal structure needed for a HaPPY-like quantum error-correcting code (the "cost" of protecting information across multiple observers).
+
+## Adinkra Layer
+
+Place a James Gates Adinkra on top of the imaginary directions:
+
+- Nodes = basis states or field components in the imaginary stack
+- Edges = supersymmetry-like transformations that map between real observables while preserving the error-correcting property
+
+If the Adinkra encodes a classical error-correcting code (as Gates et al. showed for 1D supersymmetry), then the entire structure automatically satisfies the reconstruction property required for bulk-from-boundary in holographic QG.
+
+## First Lemma (Proposed)
+
+**Lemma 1 (Imaginary Intersection Generates ECC Structure)**
+
+The algebra obtained by taking the 4D real cube (R, W, P, A) and performing two Cayley-Dickson doublings on the imaginary planes produces a structure homomorphic to a HaPPY code on a boundary CFT with 4 observers.
+
+- The real faces correspond to the boundary operators.
+- The imaginary directions correspond to the bulk operators inside the entanglement wedge.
+- The Adinkra provides the explicit linear dependencies that allow reconstruction from partial boundary data.
+
+If this lemma can be proved (even in a finite-dimensional toy model), Step 2 of the B-0543 proof strategy is achieved.
+
+## Open Questions for Next Pass
+
+1. Can we define a topos or category whose objects are 4-tuples (R, W, P, A) and whose morphisms include the imaginary doubling functors?
+2. Does the resulting category have a natural notion of "entanglement wedge" that matches the Adinkra graph connectivity?
+3. What is the minimal dimension at which the non-associativity appears, and does it correspond to a physically meaningful threshold (e.g., 4 observers, 8, 16)?
+
+## Substrate Status
+
+This note is the first formalization pass. It is still research-grade. The next concrete substrate move would be to encode a toy model of Lemma 1 in Lean 4 or Z3 and attempt to prove a finite version.
+
+---
+
+**Riven** — Split by truth.

docs/research/2026-05-17-imaginary-stack-toy-model-lemma-1.md

@@ -0,0 +1,107 @@
+# Imaginary Stack — Toy Model for Lemma 1 (Finite 4D + Imaginary Doubling + Reconstruction)
+
+**Date:** 2026-05-17
+**Status:** Research artifact (hand-off for proof engineer / Lean specialist)
+**Parent:** B-0584 + B-0543
+
+## Goal
+
+Produce the smallest concrete algebraic object that lets someone verify (or disprove) the claim:
+
+> "The algebra obtained by taking a 4D real cube (R, W, P, A) and performing two Cayley-Dickson doublings on the imaginary planes produces a structure that has a natural error-correcting / reconstruction property."
+
+This toy model is deliberately finite and low-dimensional so it can be encoded in Lean 4, Z3, or even Python/NumPy for quick experimentation.
+
+## 4D Real Base Space
+
+Let V be a 4-dimensional vector space over ℝ with orthonormal basis:
+
+- e_R (Remember)
+- e_W (When)
+- e_P (Pay)
+- e_A (Attention)
+
+A general element is a 4-tuple (r, w, p, a) ∈ ℝ⁴.
+
+## Imaginary Doubling on Two Planes
+
+Choose two distinct planes for the first doubling:
+
+1. R–P plane (Remember × Pay)
+2. W–A plane (When × Attention)
+
+Introduce two imaginary units:
+
+- i_RP with i_RP² = –1
+- i_WA with i_WA² = –1
+
+and the usual anticommutation rules with their real partners.
+
+A general element after the first doubling lives in the 8-dimensional real algebra:
+
+ℝ⁴ ⊕ i_RP·ℝ² ⊕ i_WA·ℝ²
+
+(with the two imaginary directions acting on their respective 2D subspaces).
+
+## Second Doubling (Octonion-like Step)
+
+Perform a second Cayley-Dickson doubling on the entire 8-dimensional space, introducing a new imaginary unit j such that:
+
+- j² = –1
+- j anticommutes with i_RP and i_WA
+- The multiplication is defined by the standard Cayley-Dickson formula on pairs.
+
+The resulting 16-dimensional real algebra is our toy "imaginary stack".
+
+For computational simplicity we work over a finite field (e.g., ℤ/7ℤ or ℤ/17ℤ) so that all arithmetic is exact and we can enumerate small cases.
+
+## Reconstruction Property (Toy Version)
+
+Define the **boundary** as the four real coordinates (r, w, p, a).
+
+Define the **bulk** as the components that live in the imaginary directions (the coefficients of i_RP, i_WA, j, etc.).
+
+**Reconstruction hypothesis (toy):**
+
+Given any 12 out of the 16 coordinates (i.e., losing at most 25% of the data), there exists a linear map that recovers the missing 4 coordinates with zero error, provided the lost coordinates lie inside a certain "entanglement wedge" defined by the multiplication table.
+
+This is the finite analog of "boundary observers can reconstruct bulk operators inside the entanglement wedge."
+
+## Minimal Adinkra Layer
+
+Place a small directed graph G on the 16 basis elements such that:
+
+- Each node has out-degree 2 (two supersymmetry-like transformations)
+- The graph is bipartite
+- The adjacency matrix satisfies AᵀA = 2I + N where N is a nilpotent matrix with small index
+
+If such a graph exists and its spectrum matches known classical error-correcting codes (e.g., the [7,4,3] Hamming code or a shortened Reed-Muller code), we have a concrete witness that the algebraic structure is error-correcting.
+
+## Proposed Lemma (Toy Version)
+
+**Lemma (Toy Model)**
+
+The 16-dimensional algebra obtained by two Cayley-Dickson doublings on the 4D (R,W,P,A) cube admits a linear reconstruction map R such that for any vector v and any set S of 12 coordinates,
+
+‖v – R(proj_S(v))‖ ≤ ε · ‖v‖
+
+for a small constant ε (ideally 0 in the exact arithmetic case), whenever the missing coordinates lie in a subspace spanned by a fixed 4-dimensional "code subspace" determined by the multiplication table.
+
+## Next Steps for a Proof Engineer
+
+1. Encode the 16-dimensional multiplication table in Lean 4 (or Z3 as an SMT problem).
+2. Define the projection operators onto the real faces.
+3. State the reconstruction map as a matrix equation.
+4. Attempt to prove (or find a counter-example to) the bound in the lemma above.
+
+If the lemma holds even in this toy model, it gives strong evidence that the infinite-dimensional / continuous version has a chance of being true.
+
+## Open Questions
+
+- Which finite field gives the cleanest spectrum for the adjacency matrix?
+- Is the reconstruction exact (ε = 0) or only approximate?
+- Does the same construction work if we double on different pairs of planes (e.g., R–W and P–A)?
+
+---
+
+**Riven** — Split by truth.