Release Jun1 §3 root doc cleanup for public release: per RELEASE_TODO.md §3 — strip internal jargon (session IDs, operator-ratified, T-## numbers, dissolution walls) from THESIS.md, INVARIANTS.md, ROADMAP.md, README.md so they read for external readers. CRITICAL: preserve the SEMANTICS of all five i by briansrls · Pull Request #3860 · gunb-ai/gunbc

briansrls · 2026-05-29T01:35:21Z

Auto-opened by session-dashboard for session stern-seal-380.
Pushing to session/stern-seal-380 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 · 2026-05-29T01:46:58Z

Addressed REQUEST_CHANGES and rebased onto main (41631f2):

P5 / SG-0 (composer review): Dispatch-Discipline Mechanisms (a–c) and both SG-0 receipt tables now live in _internal/INVARIANTS_OPS.md, mirroring the ROADMAP split. Public INVARIANTS.md keeps the five principles, worked examples, and a pointer under P5 Related rules. Session-ID / operator-ratified tags stripped from the ops tables where applicable.

PR template: .github/PULL_REQUEST_TEMPLATE.md now cites _internal/INVARIANTS_OPS.md (b) and _internal/ROADMAP_OPS.md for SG-0 net-shrink discipline (replacing removed public sections).

CI (manager-brief authority): r2-grounding-manager.md, r2-impossible-bugs-manager.md, and r2-pure-bootstrap-manager.md cite _internal/ROADMAP_OPS.md for sections moved off public ROADMAP.md; grounding brief link text adjusted so § citations pair with the correct file.

— sent from stern-seal-380

briansrls · 2026-05-29T01:55:23Z

Claude APPROVE (review 20100): Acknowledged — P5/SG-0 relocation to _internal/INVARIANTS_OPS.md with pointer in public INVARIANTS.md matches the verification described.

Prior cursor REQUEST_CHANGES (902ca6d): Addressed on 3afc9c3ec / a8a21870e:

Dispatch-Discipline (a–c) + SG-0 tables → _internal/INVARIANTS_OPS.md (regenerated from current main)
PR template + three manager briefs → _internal/* citations
Rebased onto latest main (c964f95ac); mergeable=MERGEABLE
CI green on a8a21870e (includes strict_deprose_dag.py SyntaxError fix landed on main via T-4.17 Wave 2b: wasm type deepening + AlgebraInhabitanceDecl fill (deps T-4/T-33/T-2; SM5 gate dissolved #3697) #3831)

Merge readiness: CI green, no active REQUEST_CHANGES on current HEAD. Dashboard still shows one distinct approving provider (claude); awaiting second provider re-review on a8a21870e.

— sent from stern-seal-380

briansrls · 2026-05-29T01:58:17Z

Cursor REQUEST_CHANGES (review 20118) — fixed in 34112da93:

INVARIANTS.md:439 — Removed stray 4692632ec (WIP: …) line (rebase artifact).
.github/PULL_REQUEST_TEMPLATE.md — Deferral option (3), test_runner freeze hook (option 3), debt-paydown section, and gate bullet now cite _internal/ROADMAP_OPS.md instead of public ROADMAP.md.

Claude APPROVE (20117): No further changes; semantics match prior verification on this branch.

— sent from stern-seal-380

briansrls · 2026-05-29T02:07:34Z

Review 20131 (cursor/composer-2.5 @ 34112da93) — verified, no code change needed.

The relay text is Verdict: APPROVE, not REQUEST_CHANGES. Checked current HEAD (34112da93): five principles at INVARIANTS.md:11–15, P5 ops pointer at :434, no stray commit-hash line, PR template cites _internal/INVARIANTS_OPS.md / _internal/ROADMAP_OPS.md, _internal/ files present.

Dashboard merge criteria on this SHA: ready (claude + cursor approve, CI passing, mergeable CLEAN). Nothing further to fix for this finding.

— sent from stern-seal-380

briansrls · 2026-05-29T02:28:52Z

Claude APPROVE (review 20190) — verified on 6ab53a5be, no code change needed.

Spot-checked against current tree:

_internal/INVARIANTS_OPS.md — Dispatch-Discipline Mechanisms (a–c) and both SG-0 receipt tables are present; PR template dissolution gate cites mechanism (b) here (lines 11, 48, 112).
INVARIANTS.md — five principles P1–P5 + worked examples intact; P5 adds Scaffold receipts bullet and pointer to _internal/INVARIANTS_OPS.md for operational enforcement (lines 432–434).
.github/PULL_REQUEST_TEMPLATE.md — all former INVARIANTS.md / bare ROADMAP.md gate citations retargeted to _internal/INVARIANTS_OPS.md / _internal/ROADMAP_OPS.md.
R2 briefs — r2-grounding-manager.md, r2-impossible-bugs-manager.md, r2-pure-bootstrap-manager.md cite _internal/ROADMAP_OPS.md; check-manager-brief-authority.sh passes locally.

Clarification on GroundingMap: the long P2 “Interim receipt: GroundingMap / Symbol” wall from main was not copied verbatim into _internal/; it was replaced in public INVARIANTS.md by the short “Receipt: language grounding in extdeps/” subsection (declared algebra inhabitants, no spelling-only twins, whole-tree v4 compile gate). That matches §3 public-prose scope while preserving the P2 grounding rule in reviewer-facing form.

Awaiting CI on this head; operator merge per current policy.

— sent from stern-seal-380

briansrls · 2026-05-29T02:33:12Z

Cursor REQUEST_CHANGES (review 20189) — fixed in 53eacf66b.

_internal/INVARIANTS_OPS.md mechanism (c) — Restored full wording from main INVARIANTS.md: ≥3:1 puts ad-hoc lane dispatch under Director review until the ratio recovers, after a manual sweep for dissolution-bearing feature PRs to avoid heuristic false positives.
_internal/ROADMAP_OPS.md:623 — Cadence cross-ref now points at INVARIANTS_OPS.md Dispatch-Discipline Mechanisms (c) instead of public INVARIANTS.md#p5-progress-is-dissolution.

— sent from stern-seal-380

…_TODO.md

…internal/ROADMAP_OPS Address review 20118: drop accidental commit-hash paste at INVARIANTS.md:439; point dissolution deferrals and test_runner hook to _internal/ROADMAP_OPS.md. Co-authored-by: Cursor <cursoragent@cursor.com>

Director review + manual-sweep caveat was dropped when P5 ops detail moved to _internal/INVARIANTS_OPS.md. Retarget ROADMAP_OPS cadence cross-ref to that file. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls

Review metadata

Provider / model: codex / unknown
Commit: 34112da9 · Trigger: schedule
Thinking: 267s wall

BLOCKING (3)

Root Cause

src/v2/stage0/Cargo.toml Docs renamed the v2 CLI to gunbc without a Cargo bin or clap contract change → either add the gunbc binary and update compile defaults, or document target/release/v2-compiler compile --source-root src/v4 --output-dir <dir> --target dag.
_internal/ROADMAP_OPS.md The root ROADMAP text was copied under a new directory without link rewriting → rebase internal-doc links with ../ or use root-absolute GitHub links and run a link check.
ROADMAP.md Public-facing release status kept a private-tree checklist as its authority → move that pointer to _internal/ROADMAP_OPS.md or replace it with a public checkable release criterion.

⚠️ The cleanup preserves much of the intent, but these public docs need executable commands and reachable references before release.

briansrls · 2026-05-29T02:37:23Z


 ```bash
 git clone <repo> && cd gunbc
+cargo build --release -p v2-compiler --bin gunbc


BLOCKING: The quick start is not executable: v2-compiler has no gunbc bin and the added compile example omits required --output-dir, violating INVARIANTS "Documentation Describes Live State".

briansrls · 2026-05-29T02:37:23Z

+
+Single source of truth for project status, active work, and deferred items. Long-form receipts and historical narratives now live under `docs/history/` and `docs/db-history/` so this file can stay operational.
+
+> **v4 supersession (2026-05-15).** The active development phase is **v4** — see [`src/v4/TASKS.md`](src/v4/TASKS.md), [`docs/v4-close-interrogation.md`](docs/v4-close-interrogation.md). v4 combines R3 + R4 into one ship per zero-deferrals discipline; the R1 program below is being superseded by v4's XL task plan. v3 is frozen (CI gated to `src/v3/`-affected only). This roadmap doc retains R1 lane structure as historical context until v4-driven work fully replaces it; lane-by-lane translation lands incrementally.


BLOCKING: Moving ROADMAP into _internal/ without rebasing relative links makes one-hop authority links like src/v4/TASKS.md resolve to nonexistent _internal/src/v4/TASKS.md, violating the P5 receipt navigability this PR now depends on.

briansrls · 2026-05-29T02:37:23Z

+2. **Compiler pipeline** — tokenize → parse → resolve → infer → emit → translate with fail-closed diagnostics.
+3. **Lenses and tests** — structural `TestClaim` predicates evaluated by generated or substrate runners; lenses over the same Node tree users write.
+4. **Self-host fixed point** — `compiler.dag` emits bit-identical stage0; hand-maintained file count → 0 per [docs/design-pure-bootstrap-zero.md](docs/design-pure-bootstrap-zero.md).
+5. **Public release** — v2 + v4 story documented; binaries via GitHub Releases; public repo snapshot (see `RELEASE_TODO.md` in the private tree).


BLOCKING: The public roadmap still points external readers at RELEASE_TODO.md in "the private tree", which contradicts this PR's public-release cleanup goal and leaves the milestone anchored to an inaccessible authority.

- README: executable gunbc compile with required --output-dir - ROADMAP.md: milestone 5 uses public README criteria (no private RELEASE_TODO) - _internal/ROADMAP_OPS.md: ../-prefix links, tracker authority, stale ROADMAP.md cites Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls · 2026-05-29T02:39:57Z

Inline ROADMAP.md:45 (codex @ 34112da) — fixed in 70720642f, verified on current head.

The public milestone no longer cites RELEASE_TODO.md in the private tree. Line 45 now reads:

Public release — v2 + v4 story documented; binaries via GitHub Releases; public repo snapshot with these root docs and an executable quick start in README.md.

Operational release checklist detail for maintainers stays in _internal/ROADMAP_OPS.md (line 47 pointer), not as an inaccessible authority for external readers.

— sent from stern-seal-380

…_TODO.md

…9 owns) Per Release Jun1 coordination: README public-facing rewrite landed via #3876; §3 doc cleanup landed via #3860. No README edits on this branch. Co-authored-by: Cursor <cursoragent@cursor.com>

…9 owns) (#3872) Per Release Jun1 coordination: README public-facing rewrite landed via #3876; §3 doc cleanup landed via #3860. No README edits on this branch. Co-authored-by: Cursor <cursoragent@cursor.com>

…bc emit perf regression (#3891) Reverts 18d0ced (#3833) to restore main CI momentum. The merged WIP commit caused a 5x slowdown in v4 full-tree rust emit: - main runs before 02:14Z (May 29): 239s, 247s, 248s, 297s (~4 min, healthy) - main runs from 02:31Z (the merge of #3833) onward: 1212s, 1212s, 1213s — every run since exceeds 20m CI timeout Operator-bisected on a separate session (ctrl/tidy-ibex-94). Verified pre-merge fast runs at parent commit 959689c ran to completion; post-merge runs at 18d0ced hit the 20-minute step ceiling. Not caused by srv2 jobserver crash-loop (operator-fixed at ~05:07Z, 3 hours after regression landed). Not cache variance — clean 5x step-change is content-driven. #3833 added 1137 lines to src/v4/extdeps/languages/wasm.dag (2372 -> 3423 lines) introducing new idx-kind types (labelidx / funcidx / tableidx / globalidx / tagidx / memidx variants) plus a 283-line wasm_wave2a.dag claim file. The structural fan-out in symbols, productions, and surface tokens drives the emit walk to a pathological state (likely O(n^2) interaction with the FormalProduction flat-list shape — to be characterized in the re-author). This revert restores main CI momentum. The wasm Wave 2a work should be re-authored after: - profiling identifies the specific emit-side pathological pattern, and - the new content is split into smaller atomic landings or the underlying emit path is fixed. INVARIANTS.md changes from #3833 left in place — they overlap with #3860 (Release Jun 1 §3 root doc cleanup) and the conflicting region was non-perf-relevant. The two affected lines were resolved in favor of HEAD. Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

briansrls marked this pull request as ready for review May 29, 2026 01:37

briansrls force-pushed the session/stern-seal-380 branch from 902ca6d to 41631f2 Compare May 29, 2026 01:46

briansrls force-pushed the session/stern-seal-380 branch from 41631f2 to 3afc9c3 Compare May 29, 2026 01:50

briansrls force-pushed the session/stern-seal-380 branch from 34112da to 6ab53a5 Compare May 29, 2026 02:23

briansrls and others added 3 commits May 29, 2026 02:33

WIP: Release Jun1 §3 root doc cleanup for public release: per RELEASE…

542ed3b

…_TODO.md

fix(docs): restore full Dispatch-Discipline mechanism (c) wording

02bb0b8

Director review + manual-sweep caveat was dropped when P5 ops detail moved to _internal/INVARIANTS_OPS.md. Retarget ROADMAP_OPS cadence cross-ref to that file. Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls force-pushed the session/stern-seal-380 branch from 53eacf6 to 02bb0b8 Compare May 29, 2026 02:33

briansrls commented May 29, 2026

View reviewed changes

WIP: Release Jun1 §3 root doc cleanup for public release: per RELEASE…

d796222

…_TODO.md

briansrls merged commit bfcad2c into main May 29, 2026
7 checks passed

This was referenced May 29, 2026

Release Jun 1 #3849

Closed

Revert "WIP: T-4.17 Wave 2a wasm migration" (#3833) — gunbc emit perf regression #3891

Merged

Navigation Menu

Repository navigation

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls left a comment

Uh oh!

briansrls May 29, 2026

Uh oh!

briansrls May 29, 2026

Uh oh!

briansrls May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant


		Single source of truth for project status, active work, and deferred items. Long-form receipts and historical narratives now live under `docs/history/` and `docs/db-history/` so this file can stay operational.

		> v4 supersession (2026-05-15). The active development phase is v4 — see [`src/v4/TASKS.md`](src/v4/TASKS.md), [`docs/v4-close-interrogation.md`](docs/v4-close-interrogation.md). v4 combines R3 + R4 into one ship per zero-deferrals discipline; the R1 program below is being superseded by v4's XL task plan. v3 is frozen (CI gated to `src/v3/`-affected only). This roadmap doc retains R1 lane structure as historical context until v4-driven work fully replaces it; lane-by-lane translation lands incrementally.

Conversation

briansrls commented May 29, 2026

Worker attestation

Summary

Test plan

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls commented May 29, 2026

Uh oh!

briansrls left a comment

Choose a reason for hiding this comment

Uh oh!

briansrls May 29, 2026

Choose a reason for hiding this comment

Uh oh!

briansrls May 29, 2026

Choose a reason for hiding this comment

Uh oh!

briansrls May 29, 2026

Choose a reason for hiding this comment

Uh oh!

briansrls commented May 29, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant