Skip to content

docs(T-15): refresh Close-status post #3786/#3788/#3789/#3791 #3793

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 4 commits into from
May 28, 2026
Merged

docs(T-15): refresh Close-status post #3786/#3788/#3789/#3791 #3793

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
a36a53c
docs(T-15): refresh Close-status after #3786/#3788/#3789/#3791 merge …
briansrls May 28, 2026
67c81bc
WIP: T-15 close owner — track Lane A and Lane B against five predicates
briansrls May 28, 2026
dc60492
docs(T-15): split T-37 serializer fix from P5 bridge removal
briansrls May 28, 2026
8942906
Merge remote-tracking branch 'origin/main' into session/vivid-fox-581…
briansrls May 28, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 12 additions & 15 deletions src/v4/TASKS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -186,9 +186,11 @@ Test + bootstrap substrate (schedule early — every later task benefits):
(T-24 schedules; T-10 owns the orchestrator gate surface).

Bootstrap execution gap (gate T-15 close — 2026-05-28; live dispatch snapshot: T-15 Close-status below):
T-37 v2 DAG artifact serializer fix [#3791 merge queue — probe PASS royal-carp-716; gates T-15 bridge dissolution on merge]
Blocks scripts/v4-bootstrap-resolve-posture-gate.sh dissolution until #3791 lands;
T-15 cannot close while the bridge passes on SIGTERM (fix not on `main` yet).
T-37 v2 DAG artifact serializer fix [DONE — #3791 on `main`]
Serializer fix landed; dissolution trigger (b) met on probe
(royal-carp-716 PASS; `--target dag` without SIGTERM). P5 bridge removal
still open: `scripts/v4-bootstrap-resolve-posture-gate.sh` +
`.github/workflows/ci.yml:249` until script + CI step deleted per header.
T-38 TestClaim execution harness [needs T-22 runnable; T-34 done #3770; gates T-15 "claim suite passes"]
Claims compile only today; no CI step invokes T-22 eval on the corpus.

Expand Down Expand Up @@ -265,14 +267,9 @@ Close-the-loop + late substrate:
### Bootstrap execution convergence — additional T-15 gates (2026-05-28)

The compiler pipeline (T-1…T-11, T-36) is necessary but not sufficient for
T-15 to close. Three gaps gate the close condition (live dispatch: T-15 Close-status):
T-15 to close. Two gaps gate the close condition (T-37 landed; live dispatch: T-15 Close-status):

**T-37 → bridge dissolution.** `scripts/v4-bootstrap-resolve-posture-gate.sh`
passes CI on SIGTERM (exit 143/124) whenever v2 `--target dag` OOM-kills before
writing output. The bridge's own dissolution condition is "v4 emit reaches
`compiled:` without SIGTERM." Until [#3791](https://github.com/gunb-ai/gunbc/pull/3791) merges (probe PASS royal-carp-716), T-15 cannot close — CI trivially
passes through the bridge regardless of serializer state on `main`.
Root cause and fix shape: `docs/audit/v2-dag-artifact-zip-fold-hang-2026-05-21.md`.
**T-37 → serializer fix LANDED ([#3791](https://github.com/gunb-ai/gunbc/pull/3791)).** v2 `--target dag` completes without SIGTERM on `main` (probe royal-carp-716 EXIT:0; `dag_node_key` Resolved-peel + stage0 Rc). Dissolution trigger (b) met — emit no longer OOM-masks failure on probe. **P5 bridge removal still open:** `scripts/v4-bootstrap-resolve-posture-gate.sh` and `.github/workflows/ci.yml:249` remain until script + paired CI step are deleted per script header (14 consecutive main-CI days). Root cause + fix shape: `docs/audit/v2-dag-artifact-zip-fold-hang-2026-05-21.md`.

**T-38 → claim-suite close.** T-15's "TestClaim suite passes" condition is not
checkable. `src/v4/test/claim/manual/*.dag` claims compile and type-check only;
Expand Down Expand Up @@ -548,8 +545,8 @@ syntax-side projection of the landed `LanguageModel = Node` authority in
T-8 closeout PR #3436).
- **CI emit-wall bridge (tracked):** when Ubicloud SIGTERMs v2 emit after a clean resolve,
`scripts/v4-bootstrap-resolve-posture-gate.sh` is the sole bridge authority (structured receipt +
`V4_BOOTSTRAP_ALLOW_RESOLVE_POSTURE_BRIDGE=1`); dissolves when a typed resolve-only compiler gate
lands or emit reaches `compiled:` on standard-8 without host SIGTERM.
`V4_BOOTSTRAP_ALLOW_RESOLVE_POSTURE_BRIDGE=1`); trigger (b) met on main post-#3791;
P5 removal of script + `ci.yml:249` step still pending per script header.

**Reference**:
- v2: `src/v2/03_normalize.dag`, `src/v2/03_resolve.dag`
Expand Down Expand Up @@ -779,7 +776,7 @@ Once T-15 lands and stays green, all four failure modes are impossible-by-constr
- TestClaim suite passes
- Hand-authored Rust is **not the editable authority** — proven by REPRODUCTION, not a count (A3): rebuild-from-(.dag + frozen-pinned seed)-only reproduces the pinned hash; the seed's own hash matches its pin. (The old "count = 0" phrasing was the gameable v3 proxy — replaced. The machine-emitted trampoline is build-dir-transient, never authority.) The check is an early-surfacing amplifier run per-PR on the affected set, not an un-gameability claim.

**Close-status (2026-05-28, post-#3783; T-37 probe PASS royal-carp-716):** predicates 1–2 moving toward **CLOSABLE** on [#3791](https://github.com/gunb-ai/gunbc/pull/3791) merge; 3 **PARTIAL**; 4–5 **PAPER-ONLY** (predicate 4 partial after #3788 + T22-EVAL-CACHE-HASHES). **T-37 (royal-carp-716):** probe **PASS** EXIT:0 in 88s; `dag-artifact.json` ~40MB — O(n²)→O(n) stage0 Rc + Resolved-peel in `dag_node_key`. `scripts/v4-bootstrap-resolve-posture-gate.sh` dissolves when #3791 lands (`--target dag` completes without SIGTERM). Prior fail: crisp-raven-567 exit 124 on `main@c65b9bdc5`. Lane A: T-38 / T-20-fill ([#3788](https://github.com/gunb-ai/gunbc/pull/3788) in operator queue). Side branch `T-4 → T-9`: T-29 / T-30 / T-25-core / T-21 landed; **P1-KEYSTONE** [#3752](https://github.com/gunb-ai/gunbc/pull/3752); **T-19** [#3789](https://github.com/gunb-ai/gunbc/pull/3789); **T-33** [#3787](https://github.com/gunb-ai/gunbc/pull/3787).
**Close-status (2026-05-28, post-merge batch on `main@32d94517c`):** predicates **1–2 CLOSABLE** on trigger (b) — [#3791](https://github.com/gunb-ai/gunbc/pull/3791) serializer fix landed (royal-carp-716 probe PASS; v4 `--target dag` without SIGTERM; ~40MB `dag-artifact.json`). **P5 bridge removal still OPEN** (`scripts/v4-bootstrap-resolve-posture-gate.sh` + `ci.yml:249` until script + CI step deleted per header). Predicate **3 PARTIAL**; **4 PARTIAL** (`bootstrap_footprint` landed [#3788](https://github.com/gunb-ai/gunbc/pull/3788); `bootstrap-content-hash-pins` + T22-EVAL-CACHE-HASHES remain); **5 PAPER-ONLY** (T-38). **Landed:** [#3786](https://github.com/gunb-ai/gunbc/pull/3786) Close-status line, [#3788](https://github.com/gunb-ai/gunbc/pull/3788) T-20-fill footprint, [#3789](https://github.com/gunb-ai/gunbc/pull/3789) T-19, [#3791](https://github.com/gunb-ai/gunbc/pull/3791) T-37. **Operator queue:** [#3752](https://github.com/gunb-ai/gunbc/pull/3752) P1-KEYSTONE, [#3787](https://github.com/gunb-ai/gunbc/pull/3787) T-33. **Lane A:** T-38 (claim-suite CI wiring). Prior T-37 fail: crisp-raven-567 exit 124 on `main@c65b9bdc5`.

### T-4.6: extdeps/formats/* (json/yaml/csv/toml/json_schema/openapi/sql)

Expand Down Expand Up @@ -2202,7 +2199,7 @@ T-6 fills the tokenizer, T-7 fills the parser — but without a checked executab

---

### T-37 — v2 DAG artifact serializer fix [SCHEDULED]
### T-37 — v2 DAG artifact serializer fix [DONE — #3791]

**File**: `src/v2/compile.dag` — the `.dag` authority for v2's artifact emission;
`Dag =>` arm dispatches `emit_dag_artifact` at `src/v2/compile.dag:179`. The
Expand All @@ -2227,7 +2224,7 @@ bridge script, update CI).

**Dependencies**: `[schedulable now — work is in src/v2/compile.dag; no T-## prerequisite]`

**Dissolution**: bridge script dissolves when `v4 emit reaches 'compiled:' without SIGTERM` — the dissolution condition is in the script header. After T-37 lands and the bridge dissolves, the resolve-posture fallback becomes unnecessary and should be removed from CI.
**Dissolution**: Serializer fix LANDED on `main` via #3791 — trigger (b) met on royal-carp-716 probe (`v4 emit` without SIGTERM). **P5 receipt still open:** delete `scripts/v4-bootstrap-resolve-posture-gate.sh` and the paired `ci.yml:249` step per script header after 14 consecutive main-CI days.

**Reference**: `docs/audit/v2-dag-artifact-zip-fold-hang-2026-05-21.md` — full reproduction, scope checks, design proposal

Expand Down
Loading