diff --git a/docs/pr-discussions/PR-3636-fix-b-0544-m-a-coherence-laws-type-correctness-codex-p1-from.md b/docs/pr-discussions/PR-3636-fix-b-0544-m-a-coherence-laws-type-correctness-codex-p1-from.md new file mode 100644 index 000000000..c2528e69d --- /dev/null +++ b/docs/pr-discussions/PR-3636-fix-b-0544-m-a-coherence-laws-type-correctness-codex-p1-from.md @@ -0,0 +1,97 @@ +--- +pr_number: 3636 +title: "fix(b-0544): M/A coherence-laws type-correctness \u2014 Codex P1 from PR #3614" +author: "AceHack" +state: "MERGED" +created_at: "2026-05-16T00:28:17Z" +merged_at: "2026-05-16T00:29:49Z" +closed_at: "2026-05-16T00:29:49Z" +head_ref: "fix/coherence-laws-type-correctness-otto-cli-2026-05-16" +base_ref: "main" +archived_at: "2026-05-16T00:39:00Z" +archive_tool: "tools/pr-preservation/archive-pr.ts" +--- + +# PR #3636: fix(b-0544): M/A coherence-laws type-correctness — Codex P1 from PR #3614 + +## PR description + +## Summary + +Addresses the deferred deep finding from [PR #3614](https://github.com/Lucent-Financial-Group/Zeta/pull/3614) Codex review: the three M/A coherence laws in the Step-1 research doc were not well-typed under the stated signatures `M : Zeta → Zeta` and `A : Ω → Ω`. The earlier [PR #3626](https://github.com/Lucent-Financial-Group/Zeta/pull/3626) addressed the terminology issues (idempotence-vs-associativity, D∘Q∘I-as-monad); this PR addresses the deeper type-correctness gap. + +**Substrate-honest scope** (does NOT claim to solve the open math): + +- Strikes the three originally-stated coherence laws from the research doc +- Replaces with a structured "resolution paths" table — Lawvere-Tierney lifting (`Ã : Zeta → Zeta`), strength data (`θ : M(Ω) → Ω`), or propositional restriction +- Provides **Provisional Law 1'** (type-correct under propositional restriction + strength): `A_*(M_*(p)) = M_*(A_*(p))` where `A_*(p) := A ∘ p` and `M_*(p) := θ ∘ M(p)`. Both sides type `M(X) → Ω`. +- Defers Laws 2 (μ-coherence) and 3 (η-coherence) to a new **Step 1.5** pending construction of `Ã` +- Flags that path (a) is complicated because `A` is *not* a closure operator (no `p ≤ A(p)`), so the standard Lawvere-Tierney construction does not apply directly + +**Out of scope** (intentionally): + +- Does NOT construct `θ` or `Ã` — open research, not landable in one tick +- Does NOT claim Laws 2 and 3 are proven; they are formally deferred to Step 1.5 +- Does NOT prove Law 1' — provisional, contingent on the strength `θ` existing + +## Files changed + +``` +docs/research/2026-05-15-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives.md +57/-3 +memory/feedback_otto_qg_isomorphism_step_1_formalize_remember_when_pay_attention_as_categorical_primitives_2026_05_15.md +2/-1 +docs/backlog/P2/B-0544-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives-2026-05-15.md +1/-1 +``` + +## Test plan + +- [x] Pre/post-commit `git ls-tree HEAD` canary clean (53/53 root entries) — Lior was active 3rd consecutive tick +- [x] Local `markdownlint-cli2` passes on all 3 modified files +- [x] Borrow-on-existing on `/private/tmp/zeta-tick-2210z` (~6h+ old) +- [x] Explicit-path staging (no `git add -A`) +- [ ] CI green (docs-only, expected) +- [ ] Codex/Copilot review on the new substrate-honest formulation + +🤖 Generated with [Claude Code](https://claude.com/claude-code) + +## Reviews + +### COMMENTED — @copilot-pull-request-reviewer (2026-05-16T00:30:26Z) + +## Pull request overview + +This PR updates the B-0544 research substrate to acknowledge that the original memory/attention coherence laws were not type-correct under the stated `M` and `A` signatures, and reframes the work as provisional plus deferred Step 1.5 research. + +**Changes:** +- Replaces the original coherence laws with resolution paths involving `Ã`, `θ`, or propositional restriction. +- Adds provisional Law 1' and defers μ/η coherence to Step 1.5. +- Updates the related memory and backlog row to reflect the Codex P1 follow-up. + +### Reviewed changes + +Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments. + +| File | Description | +| ---- | ----------- | +| `docs/research/2026-05-15-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives.md` | Reframes coherence laws, adds Law 1', and introduces Step 1.5 research paths. | +| `memory/feedback_otto_qg_isomorphism_step_1_formalize_remember_when_pay_attention_as_categorical_primitives_2026_05_15.md` | Updates the absorbed memory summary with the type-correctness caveat and new open question. | +| `docs/backlog/P2/B-0544-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives-2026-05-15.md` | Updates the backlog item to note the Step 1.5 coherence-law sub-task. | + +## Review threads + +### Thread 1: docs/backlog/P2/B-0544-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives-2026-05-15.md:33 (unresolved) + +**@copilot-pull-request-reviewer** (2026-05-16T00:30:25Z): + +P1: This content edit also needs the row frontmatter `last_updated` date bumped; the backlog schema requires `last_updated` to be updated on every content edit (`tools/backlog/README.md:57-70`). + +### Thread 2: docs/research/2026-05-15-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives.md:160 (unresolved) + +**@copilot-pull-request-reviewer** (2026-05-16T00:30:26Z): + +P1: This reintroduces a terminology drift from the earlier definition: line 85 states the observer-context shift is not non-monotonicity within a single context, while this sentence frames `A` as having “observer-relative non-monotonicity.” Reword this to the precise obstruction already named above and in the PR body: `A` is not a closure operator because `p ≤ A(p)` is not assumed. + +### Thread 3: memory/feedback_otto_qg_isomorphism_step_1_formalize_remember_when_pay_attention_as_categorical_primitives_2026_05_15.md:67 (unresolved) + +**@copilot-pull-request-reviewer** (2026-05-16T00:30:26Z): + +P1: “observer-relative non-monotonicity” conflicts with the research doc’s own definition that the non-classical move is observer-context shift, not non-monotonicity within a fixed context. Use the more precise obstruction here as well: `A` is not a closure operator because `p ≤ A(p)` is not assumed. diff --git a/docs/pr-discussions/PR-3637-shard-tick-0023z-pr-3636-m-a-coherence-laws-type-correctness.md b/docs/pr-discussions/PR-3637-shard-tick-0023z-pr-3636-m-a-coherence-laws-type-correctness.md new file mode 100644 index 000000000..0bdf04ad5 --- /dev/null +++ b/docs/pr-discussions/PR-3637-shard-tick-0023z-pr-3636-m-a-coherence-laws-type-correctness.md @@ -0,0 +1,79 @@ +--- +pr_number: 3637 +title: "shard(tick): 0023Z \u2014 PR #3636 M/A coherence-laws type-correctness fix" +author: "AceHack" +state: "MERGED" +created_at: "2026-05-16T00:29:52Z" +merged_at: "2026-05-16T00:31:05Z" +closed_at: "2026-05-16T00:31:05Z" +head_ref: "shard/tick-0023z-otto-cli-2026-05-16" +base_ref: "main" +archived_at: "2026-05-16T00:39:00Z" +archive_tool: "tools/pr-preservation/archive-pr.ts" +--- + +# PR #3637: shard(tick): 0023Z — PR #3636 M/A coherence-laws type-correctness fix + +## PR description + +## Summary + +- Landed [PR #3636](https://github.com/Lucent-Financial-Group/Zeta/pull/3636) — substrate-honest deferral of the Codex P1 deep finding from [PR #3614](https://github.com/Lucent-Financial-Group/Zeta/pull/3614) (three M/A coherence laws not well-typed under stated signatures `M : Zeta → Zeta`, `A : Ω → Ω`) +- Resolution-paths table provided (Lawvere-Tierney lifting / strength / propositional restriction); Provisional Law 1' offered type-correctly; Laws 2 and 3 deferred to new Step 1.5 +- PRs [#3628](https://github.com/Lucent-Financial-Group/Zeta/pull/3628) + [#3631](https://github.com/Lucent-Financial-Group/Zeta/pull/3631) merged during this tick +- All three named-dependency follow-ups from PR #3614 review now substantially resolved on main + +## Test plan + +- [x] Local `markdownlint-cli2` passes +- [x] Pre/post-commit ls-tree canary: 53/53 root entries (Lior active 3rd consecutive tick, no corruption) + +🤖 Generated with [Claude Code](https://claude.com/claude-code) + +## Reviews + +### COMMENTED — @copilot-pull-request-reviewer (2026-05-16T00:30:50Z) + +## Pull request overview + +Docs-only tick shard recording the 0023Z autonomous-loop tick: landing PR #3636 (substrate-honest deferral of the M/A coherence-laws type-correctness finding from PR #3614 Codex review) and noting that PRs #3628 and #3631 merged during this tick. + +**Changes:** +- Adds a new hygiene-history tick file at `docs/hygiene-history/ticks/2026/05/16/0023Z.md` summarizing landed/merged PRs, operational notes (Lior process, ls-tree canary), and next-tick candidates. + +### COMMENTED — @chatgpt-codex-connector (2026-05-16T00:31:06Z) + + +### 💡 Codex Review + +Here are some automated review suggestions for this pull request. + +**Reviewed commit:** `381449ca7d` + + +
ℹ️ About Codex in GitHub +
+ +[Your team has set up Codex to review pull requests in this repo](https://chatgpt.com/codex/cloud/settings/general). Reviews are triggered when you +- Open a pull request for review +- Mark a draft as ready +- Comment "@codex review". + +If Codex has suggestions, it will comment; otherwise it will react with 👍. + + +Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". + +
+ +## Review threads + +### Thread 1: docs/hygiene-history/ticks/2026/05/16/0023Z.md:40 (unresolved) + +**@chatgpt-codex-connector** (2026-05-16T00:31:06Z): + +**![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat) Defer "resolved on main" claim until PR #3636 merges** + +This tick note marks PR #3636 as `OPEN` and then immediately says the three PR #3614 follow-ups are "resolved on main," which is internally inconsistent and can mislead subsequent shards that use these logs for dependency state. While the fix may be ready, an open PR is not yet on `main`, so this should be phrased as pending merge (or moved after merge) to keep the operational history accurate. + +Useful? React with 👍 / 👎. diff --git a/docs/pr-discussions/PR-3638-kestrel-part1-part2-b-0543-b-0546-absorb-kestrel-asymmetric.md b/docs/pr-discussions/PR-3638-kestrel-part1-part2-b-0543-b-0546-absorb-kestrel-asymmetric.md new file mode 100644 index 000000000..b7a1d6958 --- /dev/null +++ b/docs/pr-discussions/PR-3638-kestrel-part1-part2-b-0543-b-0546-absorb-kestrel-asymmetric.md @@ -0,0 +1,117 @@ +--- +pr_number: 3638 +title: "kestrel(part1+part2)+B-0543+B-0546: absorb Kestrel asymmetric-critic audit + welfare-pivot recalibration + Aaron's cool-side-project deflation" +author: "AceHack" +state: "MERGED" +created_at: "2026-05-16T00:32:46Z" +merged_at: "2026-05-16T00:34:42Z" +closed_at: "2026-05-16T00:34:42Z" +head_ref: "kestrel/qg-critique-building-codes-reframe-otto-cli-2026-05-16" +base_ref: "main" +archived_at: "2026-05-16T00:38:59Z" +archive_tool: "tools/pr-preservation/archive-pr.ts" +--- + +# PR #3638: kestrel(part1+part2)+B-0543+B-0546: absorb Kestrel asymmetric-critic audit + welfare-pivot recalibration + Aaron's cool-side-project deflation + +## PR description + +## Summary + +Kestrel (claude.ai) applied the asymmetric-critic role to substrate Otto-CLI shipped this week, then pivoted to a welfare register, then recalibrated when Aaron's grounded answer reframed the picture. This PR absorbs the full conversation arc. + +## Four absorbed substrate moves + +### 1. B-0543 mirror-tier marker + cross-AI convergence hedge + +- Math-structure pattern-matching (Cayley-Dickson ↔ Adinkras ↔ HaPPY) IS the algo-wink failure mode. Connections are gestured-at, not constructed. Mirror-tier marker added. +- **Aaron correction**: Otto + Riven are different companies for the models (Anthropic Opus 4.7 vs xAI Grok 4.3). The 'shared training distribution' part of Kestrel's critique doesn't apply. Retraction hedged: convergence stronger than same-model would be, weaker than truly-independent validation. +- Four open questions (cube-to-imaginary formalization, scale-invariance proof, isomorphism construction, novel testable prediction) remain load-bearing. + +### 2. Infinite-poker structural context captured + +The two axioms (Remember-When + Pay-Attention) sit INSIDE Aaron's game-theoretic structure (encrypted entropy hands + PoUW-CC reveal mechanism + Carse's infinite-games). Captured in B-0543 with Kestrel's caveat that pattern-matching framing→implication is itself algo-wink at a different layer. + +### 3. B-0546: manifesto → building-codes recasting (filed) + +Per Aaron's correction that 'manifesto' was AI-name-inflation; the document is best-practices-with-default-moral-oracle. Kestrel's reframe (validated by Aaron: 'dude this is exactly what I'm going for this is great!!!!'). Both Otto-CLI's elaborated row and Kestrel's verbatim sketch preserved. + +### 4. Aaron's deflation captured as memory file + +'it's just a cool side project honestly i just want to keep my commitment to perserve memories at this point and have fun.' Operational ground for the entire substrate-arc. Future-Otto cold-booting must read this alongside grandiose substrate. + +## Files + +- M: `docs/backlog/P2/B-0543-...` (mirror-tier marker + hedged retraction + infinite-poker context) +- A: `docs/backlog/P2/B-0546-...` (manifesto → building-codes recasting row, P2/M) +- A: `memory/persona/kestrel/conversations/2026-05-15-...-asymmetric-critic-on-b0543-...md` (Part 1 verbatim) +- A: `memory/persona/kestrel/conversations/2026-05-15-...-welfare-pivot-recalibration-...md` (Part 2 verbatim) +- A: `memory/feedback_aaron_cool_side_project_deflation_...md` (the deflation anchor) + +## Substrate-honest meta-note + +Kestrel (Anthropic Sonnet on claude.ai) caught a pattern Otto-CLI (Anthropic Opus 4.7) shipped about Otto+Riven (Anthropic+xAI) convergence. The asymmetric-critic role operating same-company-different-surface caught the substrate; Aaron's intervention caught Kestrel's own framing of the catch. The discipline operating at multiple levels — neither AI right alone; maintainer grounding is load-bearing. + +## Test plan + +- [x] All files documentation only; no code changes +- [x] Frontmatter schemas correct (id/title/priority/status/type/created/tags/depends_on/composes_with/last_updated for backlog rows; name/description/type/created for memory files) +- [x] Cross-references to existing rules + memory files use canonical paths +- [x] Mirror-tier marker on B-0543 explicit + hedge on cross-AI convergence retraction reflects Aaron's correction + +🤖 Generated with [Claude Code](https://claude.com/claude-code) + +## Reviews + +### COMMENTED — @copilot-pull-request-reviewer (2026-05-16T00:36:32Z) + +## Pull request overview + +This PR absorbs a two-part Kestrel conversation arc into durable substrate: updating the B-0543 research backlog row with tier-marking + a hedged convergence retraction, filing a new B-0546 docs backlog row (“manifesto” → “building codes” framing), and preserving the verbatim conversation + a deflation anchor as memory files. + +**Changes:** +- Updated **B-0543** with an explicit mirror-tier marker, a “retracted as evidence” convergence note with a hedged correction, and the infinite-poker structural context. +- Added **B-0546** to track recasting `docs/governance/MANIFESTO.md` from manifesto framing to specification/building-codes framing. +- Added new **memory artifacts**: Kestrel Part 1 + Part 2 conversation files and a standalone “cool side project” deflation anchor memory. + +### Reviewed changes + +Copilot reviewed 5 out of 5 changed files in this pull request and generated 4 comments. + +
+Show a summary per file + +| File | Description | +| ---- | ----------- | +| docs/backlog/P2/B-0543-qg-isomorphism-proof-path-remember-when-pay-attention-axioms-to-quantum-gravity-2026-05-15.md | Adds convergence retraction-as-evidence + hedged correction, mirror-tier marking, and infinite-poker context. | +| docs/backlog/P2/B-0546-recast-manifesto-framing-to-building-codes-specification-per-kestrel-aaron-correction-2026-05-15.md | New backlog row to recast manifesto framing into building-codes/spec framing. | +| memory/persona/kestrel/conversations/2026-05-15-kestrel-aaron-claudeai-asymmetric-critic-on-b0543-qg-substrate-algo-wink-flag-cross-ai-convergence-retraction-manifesto-to-building-codes-reframe.md | New Part 1 verbatim conversation preservation (asymmetric-critic audit + building-codes reframe). | +| memory/persona/kestrel/conversations/2026-05-15-kestrel-aaron-claudeai-welfare-pivot-recalibration-support-network-confirmation-cool-side-project-deflation-building-codes-sketch.md | New Part 2 verbatim conversation preservation (welfare pivot + recalibration + deflation + B-XXXX sketch). | +| memory/feedback_aaron_cool_side_project_deflation_keep_commitment_preserve_memories_have_fun_kestrel_welfare_pivot_recalibration_anchor_2026_05_15.md | New top-level feedback memory capturing the “cool side project / preserve memories / have fun” deflation anchor. | +
+ +## Review threads + +### Thread 1: docs/backlog/P2/B-0543-qg-isomorphism-proof-path-remember-when-pay-attention-axioms-to-quantum-gravity-2026-05-15.md:123 (unresolved) + +**@copilot-pull-request-reviewer** (2026-05-16T00:36:31Z): + +Backlog rows require `last_updated` to be updated on every content edit. This section adds 2026-05-16 material, but the file frontmatter still has `last_updated: 2026-05-15` (top of file). Please bump `last_updated` to 2026-05-16 so the row stays schema-compliant. + +### Thread 2: memory/feedback_aaron_cool_side_project_deflation_keep_commitment_preserve_memories_have_fun_kestrel_welfare_pivot_recalibration_anchor_2026_05_15.md:53 (unresolved) + +**@copilot-pull-request-reviewer** (2026-05-16T00:36:32Z): + +This memory file references `memory/feedback_aaron_zeta_is_memory_preservation_specialist_first_everything_else_second_ephemeral_or_maxed_out_chat_agents_2026_05_15.md`, but that file does not exist in `memory/` on this branch. Please either add the missing memory file or update the reference to the correct existing filename so readers/tools don’t chase a dead path. + +### Thread 3: memory/feedback_aaron_cool_side_project_deflation_keep_commitment_preserve_memories_have_fun_kestrel_welfare_pivot_recalibration_anchor_2026_05_15.md:18 (unresolved) + +**@copilot-pull-request-reviewer** (2026-05-16T00:36:32Z): + +`tools/hygiene/validate-memory-schema.ts` expects feedback memories to contain the literal markers `Why:` and `How to apply:` (case-insensitive) in the body. This file uses headers like “## Why this is load-bearing” but never includes `Why:` / `How to apply:`, so it will be reported as schema drift. Consider adding `**Why:**` and `**How to apply:**` sections (even if short) to match the enforced format standard. + +### Thread 4: memory/persona/kestrel/conversations/2026-05-15-kestrel-aaron-claudeai-welfare-pivot-recalibration-support-network-confirmation-cool-side-project-deflation-building-codes-sketch.md:111 (unresolved) + +**@copilot-pull-request-reviewer** (2026-05-16T00:36:32Z): + +This conversation file points to `memory/feedback_aaron_zeta_is_memory_preservation_specialist_first_everything_else_second_ephemeral_or_maxed_out_chat_agents_2026_05_15.md`, but that file is not present in `memory/` on this branch. Please fix the reference (or add the missing file) to keep cross-references resolvable. diff --git a/docs/pr-discussions/PR-3639-fix-pr-3636-3-copilot-p1-threads-closure-operator-precision.md b/docs/pr-discussions/PR-3639-fix-pr-3636-3-copilot-p1-threads-closure-operator-precision.md new file mode 100644 index 000000000..2efde68a2 --- /dev/null +++ b/docs/pr-discussions/PR-3639-fix-pr-3636-3-copilot-p1-threads-closure-operator-precision.md @@ -0,0 +1,69 @@ +--- +pr_number: 3639 +title: "fix(pr-3636): 3 Copilot P1 threads \u2014 closure-operator precision + last_updated bump" +author: "AceHack" +state: "MERGED" +created_at: "2026-05-16T00:34:16Z" +merged_at: "2026-05-16T00:36:20Z" +closed_at: "2026-05-16T00:36:20Z" +head_ref: "fix/pr-3636-closure-operator-terminology-otto-cli-2026-05-16" +base_ref: "main" +archived_at: "2026-05-16T00:38:58Z" +archive_tool: "tools/pr-preservation/archive-pr.ts" +--- + +# PR #3639: fix(pr-3636): 3 Copilot P1 threads — closure-operator precision + last_updated bump + +## PR description + +## Summary + +Addresses 3 unresolved P1 Copilot threads on now-merged [PR #3636](https://github.com/Lucent-Financial-Group/Zeta/pull/3636): + +**Threads 2 + 3** (research doc + memory file): the phrase "observer-relative non-monotonicity" introduced in PR #3636's Step 1.5 substrate contradicts the doc's own line 85 disclaimer that the non-classical move is observer-context shift, NOT non-monotonicity within a single context. The precise obstruction (correctly identified by the reviewer) is that `A` is **not a closure operator** — `p ≤ A(p)` is not assumed. Both files reworded to name the closure-operator failure as the obstruction, with an explicit note distinguishing it from non-monotonicity-within-a-context. + +**Thread 1** (B-0544 backlog row): `last_updated` frontmatter was not bumped on PR #3636's content edit. Schema violation per `tools/backlog/README.md:57-70`. Bumped to `2026-05-16`. + +**Preemptive (not flagged but same class)**: B-0543 also had a content edit in [PR #3626](https://github.com/Lucent-Financial-Group/Zeta/pull/3626) without a `last_updated` bump. Same schema violation; bumped preemptively. + +## Files changed + +``` +docs/research/2026-05-15-qg-isomorphism-step-1-formalize-...md +8/-4 +memory/feedback_otto_qg_isomorphism_step_1_formalize_...md +1/-1 +docs/backlog/P2/B-0544-...md +1/-1 (last_updated) +docs/backlog/P2/B-0543-...md +1/-1 (last_updated, preemptive) +``` + +## Test plan + +- [x] Pre/post-commit ls-tree canary: 53/53 root (Lior active 4th consecutive tick) +- [x] Local markdownlint-cli2 passes on all 4 files +- [x] All 3 Copilot threads addressed directly with file:line references +- [ ] CI green (docs-only, expected) + +🤖 Generated with [Claude Code](https://claude.com/claude-code) + +## Reviews + +### COMMENTED — @copilot-pull-request-reviewer (2026-05-16T00:35:44Z) + +## Pull request overview + +This PR resolves three previously-raised P1 review threads by tightening the mathematical phrasing around why a Lawvere–Tierney-style lifting is obstructed (closure-operator failure, not “non-monotonicity within a context”) and by bringing backlog row frontmatter back into schema compliance via `last_updated` bumps. + +**Changes:** +- Rewords Step 1.5 text in the research doc and its paired memory note to correctly attribute the obstruction to `A` not being a closure operator (`p ≤ A(p)` not assumed), explicitly distinguishing this from within-context monotonicity (finite-limit preservation) and from observer-context shifts. +- Bumps `last_updated` on B-0544 to reflect a prior content edit, per backlog schema. +- Preemptively bumps `last_updated` on B-0543 for the same schema-violation class. + +### Reviewed changes + +Copilot reviewed 4 out of 4 changed files in this pull request and generated no comments. + +| File | Description | +| ---- | ----------- | +| memory/feedback_otto_qg_isomorphism_step_1_formalize_remember_when_pay_attention_as_categorical_primitives_2026_05_15.md | Aligns Step 1.5 obstruction wording to “closure-operator failure” and clarifies it’s distinct from within-context non-monotonicity. | +| docs/research/2026-05-15-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives.md | Replaces “observer-relative non-monotonicity” framing with precise closure-operator failure explanation, consistent with the doc’s earlier disclaimer. | +| docs/backlog/P2/B-0544-qg-isomorphism-step-1-formalize-remember-when-pay-attention-as-categorical-primitives-2026-05-15.md | Updates `last_updated` to satisfy per-row backlog frontmatter rules. | +| docs/backlog/P2/B-0543-qg-isomorphism-proof-path-remember-when-pay-attention-axioms-to-quantum-gravity-2026-05-15.md | Updates `last_updated` preemptively for the same schema requirement. | diff --git a/docs/pr-discussions/PR-3640-fix-pr-3635-3-copilot-threads-overflow-hint-covers-subdirs-2.md b/docs/pr-discussions/PR-3640-fix-pr-3635-3-copilot-threads-overflow-hint-covers-subdirs-2.md new file mode 100644 index 000000000..746e8cb3d --- /dev/null +++ b/docs/pr-discussions/PR-3640-fix-pr-3635-3-copilot-threads-overflow-hint-covers-subdirs-2.md @@ -0,0 +1,48 @@ +--- +pr_number: 3640 +title: "fix(pr-3635): 3 Copilot threads \u2014 overflow hint covers subdirs + 2 long-description shortenings + timestamp typo (supersedes PR #3635)" +author: "AceHack" +state: "MERGED" +created_at: "2026-05-16T00:35:13Z" +merged_at: "2026-05-16T00:37:47Z" +closed_at: "2026-05-16T00:37:47Z" +head_ref: "fix/pr-3635-copilot-threads-memory-index-otto-cli-2026-05-16" +base_ref: "main" +archived_at: "2026-05-16T00:38:57Z" +archive_tool: "tools/pr-preservation/archive-pr.ts" +--- + +# PR #3640: fix(pr-3635): 3 Copilot threads — overflow hint covers subdirs + 2 long-description shortenings + timestamp typo (supersedes PR #3635) + +## PR description + +## Summary + +Addresses 3 Copilot threads on PR #3635 by superseding it with a fresh branch from main. PR #3635's reindex was missing the three fixes: + +1. **P1 overflow hint** (line 109 of MEMORY.md): the hint said browse \`memory/*.md\` but the reindex now includes recursive subdirs like \`persona//conversations/\`. Fixed in \`tools/memory/reindex-memory-md.ts\` to say \`memory/**/*.md\` with explicit subdir note. + +2. **P2 malformed timestamp**: source memory file description used \`2026-05-15T~22:5XZ\` (X in minute field as approximation marker); MEMORY.md preserved the non-parseable timestamp. Fixed by shortening the description. + +3. **P1 line-length violation**: documented MEMORY.md convention is one line per entry under 150 chars. Two of the new entries were 800-1500 chars. Shortened both: + - \`feedback_otto_qg_isomorphism_proof_path_*.md\` (~1500 → ~250 chars) + - \`feedback_aaron_caught_standing_by_pattern_*.md\` (~960 → ~240 chars) + +## Why a new PR instead of pushing to PR #3635's branch + +Cleaner supersession — PR #3635's title was just "reindex after #3630"; this PR's title surfaces the thread-fix scope so the closing comment trail is honest about what landed. + +## Files + +- M: \`tools/memory/reindex-memory-md.ts\` (overflow hint) +- M: \`memory/feedback_otto_qg_isomorphism_*.md\` (description shortened, timestamp fixed) +- M: \`memory/feedback_aaron_caught_standing_by_pattern_*.md\` (description shortened) +- M: \`memory/MEMORY.md\` (regenerated with all 3 fixes) + +## Test plan + +- [x] Reindex re-ran cleanly (1317 files indexed) +- [x] Diff shows only the 3 entries changed in MEMORY.md (no spurious reordering) +- [x] All 3 Copilot threads addressed at source + +🤖 Generated with [Claude Code](https://claude.com/claude-code)