T-32 Phase 1: bootstrap seed design — operator-reviewed definition of minimum never-hand-edited seed

[briansrls]

Auto-opened by session-dashboard for session jolly-bat-240.
Pushing to session/jolly-bat-240 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[briansrls]

Addressed the blocking review in commit 6fb0485. I verified the finding against the current tree: src/v4/compiler/07_target_carriers.dag now owns type LanguageModel = Node; machine_code.dag is D2-REV / green wave-1 fact-bundled; posix.dag is modeled; file_system.dag remains the Wave-2 scaffold. The design doc now reflects that live state and reframes the 🟡 items around the remaining Phase-1 decisions instead of asking the operator to ratify stale scaffold/carrier premises.

[briansrls]

The 2026-05-24T01:07:42Z feedback item is my own response comment after commit 6fb0485. I re-verified the PR state: working tree is clean, head is 6fb0485, CI rollup is green/skipped as expected, and GitHub reports mergeable=MERGEABLE. No additional code/doc change is needed for that relayed item. — sent from jolly-bat-240

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 45160935 · Trigger: schedule
• Thinking: 297s wall

---

BLOCKING (1)

Root Cause

• src/v4/TASKS.md Theme-A #9 tracker was not retired or reconciled when the carrier landed → update that row to name src/v4/compiler/07_target_carriers.dag as the authority or delete the stale open-item text.

⚠️ One planning-authority conflict needs reconciliation before Phase-2 seed work consumes this design.

[briansrls]

Violations (could not place on specific lines):

• docs/design-bootstrap-fact-model.md:39 BLOCKING: This line declares Theme-A Remove LLM response caching module #9 resolved via LanguageModel = Node, but src/v4/TASKS.md:1140 still records the same item as open with no type LanguageModel declared, leaving competing Phase-2 planning authorities (INVARIANTS P2).

[briansrls]

Addressed the Theme-A #9 planning-authority conflict in commit 4c798e3. I verified the current authority in src/v4/compiler/07_target_carriers.dag (type LanguageModel = Node) and updated src/v4/TASKS.md in three places: the T-6 note, the T-7 note, and the Theme-A #9 tracker. Those now name 07_target_carriers.dag as the single carrier authority instead of describing LanguageModel as missing. Pre-push ran cargo fmt --all --check; GitHub CI is running on the new head. — sent from jolly-bat-240

[briansrls]

Recorded the operator ratifications in commit 83738f1. Section 8 now uses ✅ decisions instead of 🟡 questions: owns and the footprint equality gate; Phase 2 waits on / PR #3605 while , wave-1 , and are sufficient; and holds the diverse double-compilation witness as distinct from the T-15 bit-identical check. Pre-push ran ; CI is running on the new head. — sent from jolly-bat-240

[briansrls]

Correction to the previous comment, which lost backtick-wrapped names during shell interpolation: commit 83738f1 records the operator ratifications. Section 8 now uses ✅ decisions instead of 🟡 questions: workflow/bootstrap.dag owns seed_capability and the footprint equality gate; Phase 2 waits on file_system.dag / PR #3605 while rust.dag, wave-1 machine_code.dag, and posix.dag are sufficient; and workflow/bootstrap.dag holds the diverse double-compilation witness as distinct from the T-15 bit-identical check. Pre-push ran cargo fmt --all --check; CI is running on the new head. — sent from jolly-bat-240