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

docs/BACKLOG.md

@@ -599,6 +599,7 @@ are closed (status: closed in frontmatter)._
 - [ ] **[B-0571](backlog/P2/B-0571-github-app-factory-automation-2026-05-16.md)** GitHub App for factory automation — separate API rate-limit pool from human-user accounts
 - [ ] **[B-0580](backlog/P2/B-0580-enterprise-ruleset-management-2026-05-16.md)** Enterprise GitHub ruleset management — new layer above org/individual mapping (composes with prior ruleset-divergence smell decomposition)
 - [ ] **[B-0583](backlog/P2/B-0583-cross-machine-account-scoped-scarcity-bus-2026-05-16.md)** Cross-machine account-scoped scarcity bus — refine B-0570 from machine-local per-agent files to account-scoped timestamped surface
+- [ ] **[B-0584](backlog/P2/B-0584-imaginary-stack-step-1-formalize-4d-cube-and-imaginary-intersection-2026-05-16.md)** Imaginary stack Step 1 — formalize 4D cube (R/W/P/A) and imaginary intersection as categorical/algebraic primitives
 - [ ] **[B-0610](backlog/P2/B-0610-amazon-orders-extract-v3-design-pass-2026-05-16.md)** Amazon orders extract — v3 design pass (8 deferred reviewer-thread findings)
 - [ ] **[B-0611](backlog/P2/B-0611-dangling-memory-refs-cleanup-35-refs-6-surfaces-2026-05-17.md)** Dangling memory-refs cleanup — 35 refs across 6 substrate surfaces (use PR #4042 audit tool)
 

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/hygiene-history/ticks/2026/05/17/1034Z.md

@@ -0,0 +1,89 @@
+---
+tick: 2026-05-17T10:34Z
+surface: otto-cli
+session: autonomous-loop (continuation from 1019Z)
+gate-tier: pure-git (GraphQL 0/5000, reset 11:00Z — ~26 min wait)
+peer-activity: lior-loop 3 PIDs active (Maji role; heavy gh-call consumer)
+sentinel: CronCreate 9e8944ea armed `* * * * *` `<<autonomous-loop>>`
+pr-shipped: [#4059](https://github.com/Lucent-Financial-Group/Zeta/pull/4059) (Imaginary Stack Step-1 + 3 CI fixes)
+---
+
+# Autonomous-loop tick 1034Z — PR #4059 CI fixes
+
+## Step 1 — Refresh worldview
+
+- Time: 10:23Z arrival → 10:34Z finalization
+- Rate-limit at tick-open: GraphQL **1279/5000** (Cost-aware tier, 36 min reset)
+- Rate-limit mid-tick: **0/5000** (pure-git tier hit during PR-status query around 10:32Z)
+- Reset window: 11:00Z
+- Lior: 3 PIDs still active; consuming shared 5000/hr GraphQL budget aggressively
+
+## Step 2 — Holding-discipline triage
+
+No brief-acks emitted. Substantive work selected immediately based on PR #4059 (shipped 1019Z) showing 3 CI failures.
+
+## Step 3 — Pick work
+
+Per [`blocked-green-ci-investigate-threads.md`](../../../../../../.claude/rules/blocked-green-ci-investigate-threads.md): PR #4059 surfaced 3 mechanical failures + 12 IN_PROGRESS at 10:25Z first-poll:
+
+1. `check docs/BACKLOG.md generated-index drift` — B-0584 row required `BACKLOG_WRITE_FORCE=1 bun tools/backlog/generate-index.ts` regen
+2. `lint (tick-shard relative-paths)` — 1019Z.md used 5 `../` for `.claude/rules/<x>.md`; correct depth is 6 (verified against reference 0418Z.md)
+3. `lint (markdownlint)` MD047 — B-0584 row missing trailing newline
+
+All three: mechanizable in this tick. Picked.
+
+## Step 4 — Verify + commit
+
+Operations performed:
+
+1. `BACKLOG_WRITE_FORCE=1 bun tools/backlog/generate-index.ts` → wrote docs/BACKLOG.md (B-0584 + composite-index updates)
+2. `bun tools/hygiene/audit-tick-shard-relative-paths.ts` → identified 10 broken links in 1019Z.md (5-vs-6 `../` depth bug)
+3. Edit tool with `replace_all=true`: replace 5-dot prefix with 6-dot prefix for all `.claude/rules/` links in 1019Z.md (depth fix; 5 `..` lands at `docs/`, 6 `..` lands at repo root).
+4. Post-fix audit: 10 broken links REMAINING are pre-existing baseline entries in older shards (2026-04-29, 2026-05-14/15) — not regressions; my contributions ZERO
+5. `bunx markdownlint-cli2` on 5 files (B-0584 + 2 research + 1019Z.md + regenerated BACKLOG.md) → only B-0584 missing MD047 trailing newline; fixed
+6. Verify branch via `git branch --show-current` before commit
+7. Commit `b8d6947` with substrate-honest message + Co-Authored-By
+8. `git push` (initial output empty in background mode; verified via `git rev-parse HEAD` == `@{u}` at `b8d6947`)
+
+## Step 5 — Tick shard
+
+This file (`docs/hygiene-history/ticks/2026/05/17/1034Z.md`).
+
+## Step 6 — Cron sentinel
+
+CronCreate `9e8944ea` armed at 1010Z session start (catch-43 compliance). Re-verify post-shard.
+
+## Step 7 — Visibility signal
+
+Concrete artifacts landed this tick:
+
+- Commit `b8d6947` on PR #4059 branch: 3 mechanical CI fixes (BACKLOG.md regen + 1019Z.md depth fix + B-0584 MD047)
+- 5 files clean against `markdownlint-cli2`
+- Tick-shard audit no longer regressed (baseline-only failures remain in older shards — pre-existing, untouched)
+
+## Pure-git tier note
+
+Rate-limit hit at 10:32Z mid-tick. Reset 11:00Z. All gh calls deferred to post-reset. Per [`refresh-world-model-poll-pr-gate.md`](../../../../../../.claude/rules/refresh-world-model-poll-pr-gate.md), pure-git tier permits: `git fetch` / `git push` / `git log` / `git show`, deferred PR-state queries to post-reset tick. Substrate landings via branch push continue normally.
+
+Next-tick concern: PR #4059's post-`b8d6947` check state cannot be verified until 11:00Z. Trust that:
+
+- 3 fixes target each failure mechanically
+- 12 IN_PROGRESS checks unaffected by these fixes (covered by their own logic)
+- Auto-merge SQUASH armed since 1019Z; will fire when all required green
+
+Lior-active throughout (3 PIDs); borrow-on-existing pattern continued in primary worktree; no `git worktree add` invoked.
+
+## Substrate-honest deferrals (still pending from 1019Z)
+
+- B-0475 status close + Soraya/Kestrel NOTEBOOK expansions (overlap-check needed)
+- Otto cwd-fix memo (trivial single-file)
+- Amazon temp data files + new `zeta-hardware-extract-page1.txt` (research artifacts, not Zeta substrate)
+- `tools/riven/riven-cursor-terminal-loop.sh` (NEW untracked — appeared mid-session; appears to be Riven's loop script, not my surface to ship)
+
+## Composes with
+
+- [`.claude/rules/blocked-green-ci-investigate-threads.md`](../../../../../../.claude/rules/blocked-green-ci-investigate-threads.md) — investigate findings before waiting
+- [`.claude/rules/refresh-world-model-poll-pr-gate.md`](../../../../../../.claude/rules/refresh-world-model-poll-pr-gate.md) — pure-git tier discipline
+- [`.claude/rules/zeta-expected-branch.md`](../../../../../../.claude/rules/zeta-expected-branch.md) — branch-show-current pre-commit guard
+- 1019Z.md (this tick's parent — initial Imaginary Stack ship)
+- PR #4059 (the in-flight PR this tick services)

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

@@ -0,0 +1,76 @@
+---
+tick: 2026-05-17T11:29Z
+surface: otto-cli
+session: autonomous-loop (continuation from 1034Z)
+gate-tier: normal (GraphQL 3306/5000 at open; reset 40 min)
+peer-activity: lior-loop 3 PIDs active
+sentinel: CronCreate 9e8944ea armed `* * * * *` `<<autonomous-loop>>`
+pr-shipped: [#4059](https://github.com/Lucent-Financial-Group/Zeta/pull/4059) round-2 CI fixes
+---
+
+# Autonomous-loop tick 1129Z — PR #4059 round-2 CI fixes
+
+## Step 1 — Refresh worldview
+
+Time 11:20Z (open) → 11:29Z (close). GraphQL restored from 0/5000 (pure-git at 10:32Z) to 3306/5000 (post-reset). Normal tier. Lior 3 PIDs throughout. Main tip `96be6e1` (test cov for snapshot-github-settings — unrelated).
+
+PR #4059 post-reset state: 2 remaining failures of the 3 originals were RESOLVED by `b8d6947` (tick-shard relative-paths + markdownlint MD047). 2 NEW failure classes surfaced:
+
+| Check | Root cause | Disposition |
+|---|---|---|
+| `check docs/BACKLOG.md generated-index drift` | Working-tree B-0475 status mod (open→closed) leaked into BACKLOG.md regen via `BACKLOG_WRITE_FORCE=1`, but B-0475 row itself was NOT committed. CI's generator on committed state (status: open) produced `[ ]`, mismatched committed BACKLOG.md `[x]`. | Fix: revert BACKLOG.md line 282 `[x]` → `[ ]` to match committed B-0475 status. Defer B-0475 close to dedicated PR. |
+| `lint (semgrep)` `invisible-unicode-in-text` | 1034Z.md line 41 contained U+200B (zero-width space) from prior-tool typography distinguishing `5 ../` vs `6 ../`. The prompt-protector-lineage detection rule fired correctly. | Fix: rephrased line 41 in plain prose; python3 scan confirms 0 invisible-Unicode codepoints. |
+
+## Step 2 — Holding-discipline triage
+
+No brief-acks. Concrete CI-failure investigation work selected immediately.
+
+## Step 3 — Pick work
+
+Per `.claude/rules/blocked-green-ci-investigate-threads.md`: investigate findings first. Two failures → root-cause each → mechanical fix.
+
+## Step 4 — Verify + commit
+
+Operations performed:
+
+1. Read CI failure log via `gh run view 25988532385 --log-failed` → diagnosed B-0475 mismatch (committed BACKLOG.md `[x]` vs generator-output `[ ]`).
+2. Inspected committed B-0475 row (status: open) vs working-tree (status: closed) → root cause = uncommitted mod leak via regen.
+3. Read semgrep log via `gh run view 25988532393 --log-failed` → invisible Unicode finding at 1034Z.md:41.
+4. python3 codepoint scan confirmed U+200B at 1034Z.md:41.
+5. Edit tool: rephrase 1034Z.md line 41 in plain text.
+6. Re-scanned via python3 → 0 invisible-Unicode codepoints remain.
+7. Edit BACKLOG.md line 282: `[x]` → `[ ]` for B-0475.
+8. Verified `--check` mode passes locally: `git stash` B-0475 row mod, `bun tools/backlog/generate-index.ts --check` → "ok matches generator output", `git stash pop` restores working-tree state.
+9. Verified branch via `git branch --show-current` before commit.
+10. Commit `368cb89`. Initial push appeared "Everything up-to-date" (stale local remote-tracking ref); explicit-refspec retry `git push origin HEAD:<branch>` landed.
+11. Ground-truth check via `git ls-remote origin <branch>` = `368cb89` matches local HEAD.
+
+## Step 5 — Tick shard
+
+This file (`docs/hygiene-history/ticks/2026/05/17/1129Z.md`).
+
+## Step 6 — Cron sentinel
+
+CronCreate `9e8944ea` armed at session start (1010Z). Sentinel-alive check via CronList.
+
+## Step 7 — Visibility signal
+
+Concrete artifacts landed:
+
+- Commit `368cb89` on PR #4059 branch — 2 round-2 CI fixes (BACKLOG.md B-0475 marker revert + 1034Z.md invisible-Unicode strip)
+- Both root-causes substrate-honestly documented in commit message
+- B-0475 close substrate preserved in working tree for dedicated future PR
+
+## Substrate-honest lessons (CI-failure substrate worth carving)
+
+**Lesson 1 — `BACKLOG_WRITE_FORCE=1` regen reads working tree, not HEAD.** Regenerating BACKLOG.md when working-tree has uncommitted row-file modifications produces a BACKLOG.md that doesn't match the COMMITTED row state. CI runs `--check` on committed state and finds drift. Discipline: either commit ALL row-file modifications that affect BACKLOG.md before regen, or stash working-tree row modifications, regen, commit BACKLOG.md, restore stash.
+
+**Lesson 2 — Conversation context can leak invisible Unicode into tick shards.** When tool output contains zero-width characters (e.g., to distinguish visually-identical path strings), pasting that prose into a tick shard inherits the hidden chars. The semgrep `invisible-unicode-in-text` rule catches this — it's working as designed (steganography defense). Discipline: when transcribing tool output that includes typography tricks, rephrase in plain prose rather than copying verbatim.
+
+## Composes with
+
+- [`.claude/rules/blocked-green-ci-investigate-threads.md`](../../../../../../.claude/rules/blocked-green-ci-investigate-threads.md)
+- [`.claude/rules/refresh-world-model-poll-pr-gate.md`](../../../../../../.claude/rules/refresh-world-model-poll-pr-gate.md) — rate-limit tiers (returned to Normal)
+- [`.claude/rules/prompt-protector`](../../../../../../.claude/rules/) lineage — semgrep invisible-unicode rule
+- 1019Z.md, 1034Z.md — this tick's parents (rounds 1 + 2 of PR #4059 CI fixes)
+- PR #4059 (the in-flight PR this tick services)