Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
c72442c
WIP: shell -> dag migration
briansrls Jul 26, 2026
3daf8d9
Fix the census row I got wrong: the bash-AST sidecar vocabulary is ex…
briansrls Jul 26, 2026
33f5566
WIP: shell -> dag migration
briansrls Jul 26, 2026
95dfaa9
Classify the frozen .diff fixtures the occurrence census missed
briansrls Jul 26, 2026
0d527ee
Give the CaptureSpec finding an owner and a trigger, and correct it t…
briansrls Jul 26, 2026
bcc33f0
WIP: shell -> dag migration
briansrls Jul 26, 2026
038580d
Reconcile the action rows that still chase a deletion which already h…
briansrls Jul 26, 2026
0cdb2da
True up the Phase-3 wall rows: it landed 2026-07-24 and branding was …
briansrls Jul 26, 2026
6ab082b
Sweep the three remaining wall directives, including one I introduced…
briansrls Jul 26, 2026
9b5fb6a
WIP: shell -> dag migration
briansrls Jul 26, 2026
3c77081
Reconcile the three lens cross-references, and correct the 'inert' cl…
briansrls Jul 26, 2026
e6781d7
Re-state the TeeTo finding for the fix landing in flight (#7293)
briansrls Jul 26, 2026
1d78d3f
WIP: shell -> dag migration
briansrls Jul 26, 2026
44b40a0
Bring the sibling rows up to date, and stop spot-fixing: full sweep t…
briansrls Jul 26, 2026
992f89f
WIP: shell -> dag migration
briansrls Jul 26, 2026
fa3486f
Delete the superseded TeeTo disposition, and name the rule that keeps…
briansrls Jul 26, 2026
58e239c
Fix the third 'inert' slip, and separate refuted-plan from completed-…
briansrls Jul 26, 2026
a598d1a
WIP: shell -> dag migration
briansrls Jul 26, 2026
8de43b8
Classify HOW each superseded directive died: refuted vs completed vs …
briansrls Jul 26, 2026
dcb2358
Make the census receipt reproducible: exclude the census document itself
briansrls Jul 26, 2026
5c3718a
True up the last three sentences still describing the closed string s…
briansrls Jul 26, 2026
66c1b24
Stop reporting an unmerged branch as current state, and rewrite inste…
briansrls Jul 26, 2026
b338924
Reconcile the canonical authorities that still call the transport len…
briansrls Jul 26, 2026
c2b6e86
WIP: shell -> dag migration
briansrls Jul 26, 2026
a2d8b47
chore: regenerate drifted generated artifacts (ci auto-heal)
Jul 26, 2026
adb32b1
Fix parse error in design_document.dag + regenerate both artifacts
briansrls Jul 26, 2026
aa54140
Merge ci auto-heal regeneration (identical bytes)
briansrls Jul 26, 2026
3070abf
WIP: shell -> dag migration
briansrls Jul 26, 2026
3fab555
DESIGN: Phase 1 orchestration emit is PARTIAL, not LANDED
briansrls Jul 26, 2026
7ca4c89
Merge remote-tracking branch 'origin/main' into docs/census-4g-4j-trueup
briansrls Jul 26, 2026
61b5037
WIP: shell -> dag migration
briansrls Jul 27, 2026
1d287d5
chore: regenerate drifted generated artifacts (ci auto-heal)
Jul 27, 2026
c14832f
Bring shell_emission_model along: Phase 1 is PARTIAL there too
briansrls Jul 27, 2026
f5c519f
Merge ci auto-heal regeneration (identical bytes)
briansrls Jul 27, 2026
7215369
WIP: shell -> dag migration
briansrls Jul 27, 2026
3176069
Scope the #7184 wall honestly: ShellOnHost only, shell.Exec.Run still…
briansrls Jul 27, 2026
afba2ce
WIP: shell -> dag migration
briansrls Jul 27, 2026
f155d05
Sweep the fourth BoundedPoll claim: sweep by CLAIM, not by string
briansrls Jul 27, 2026
b9ffe21
WIP: shell -> dag migration
briansrls Jul 27, 2026
429a88b
WIP: shell -> dag migration
briansrls Jul 27, 2026
0ef7f0e
Scope every wall-closure claim to ShellOnHost: 9 sites, enumerated by…
briansrls Jul 27, 2026
3afd958
Scope transport-script wall to ShellOnHost
briansrls Jul 27, 2026
8405c6a
Merge remote-tracking branch 'origin/main' into docs/census-4g-4j-trueup
briansrls Jul 27, 2026
85d0eec
Refresh shell census after PR2a merged
briansrls Jul 27, 2026
90337a0
Separate meta-exec import and construction walls
briansrls Jul 27, 2026
10f6a1f
docs(shell): scope transport wall to ShellOnHost
briansrls Jul 27, 2026
8c63158
docs(shell): keep direct Exec construction open
briansrls Jul 27, 2026
f3b4d1b
docs: distinguish retry refusal from tail drop
briansrls Jul 27, 2026
3da5e99
docs: mark shell intent phase one partial
briansrls Jul 27, 2026
63f56a6
Merge remote-tracking branch 'origin/main' into docs/census-4g-4j-trueup
briansrls Jul 27, 2026
a74521a
docs: keep direct Exec fake risk live
briansrls Jul 27, 2026
f85b005
Merge remote-tracking branch 'origin/main' into docs/census-4g-4j-trueup
briansrls Jul 27, 2026
7256d73
docs: reconcile shell roster after merged slices
briansrls Jul 27, 2026
92e20f9
docs: make remaining shell roster symbol-exact
briansrls Jul 27, 2026
0b27101
Merge remote-tracking branch 'origin/main' into docs/census-4g-4j-trueup
briansrls Jul 27, 2026
dd69658
docs: account for regen rustfmt emitter
briansrls Jul 27, 2026
d05eac0
docs: distinguish meta-exec import and construction walls
briansrls Jul 27, 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
2 changes: 1 addition & 1 deletion DESIGN.md

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions ROADMAP.md
Original file line number Diff line number Diff line change
Expand Up @@ -251,11 +251,11 @@ Receipts + adjacent levers: [fractal Gantt](docs/plans/ci-floor-fractal-gantt.md
- [ ] **G1 placement** — job→host is GitHub-native, demand-blind, first-idle → heavy runs co-reside while the other host idles. LIVE again since #6111 put required CI back on the fleet; the admission model is its demand side. [plan](docs/plans/compute-envelope-model.md)
- [x] ~~**shell emission policy umbrella** — the model is established; full dissolution is NOT done. Concrete acceptance and dispatch now live on the product-intent construction arc, the While/BoundedPoll/Retry fidelity slice, and closed-loop host converge. Zero concat across the repository is explicitly not the finish line.~~ **superseded →** 2-emit-partition + 6-shell-intent-phase1 + 2-converge-reland [plan](docs/plans/shell-emission-model.md)
- [x] ~~**registry-dispatch foundation** — #6106 merged. It established the agnostic registry exit but did not remove the remaining compiler-stage bridge; the construction arc below owns that residue with current acceptance.~~ **superseded →** 2-emit-partition [plan](docs/plans/shell-intent-emit-realization-design.md)
- [ ] **shell construction arc close — product intent onto typed targets** — Move every product/foreign-executor shell builder through typed orchestration and the canonical Bash target, then delete the raw producer. Runtime-present paths use typed effects; foreign executors/bootstrap may emit bounded shell. #7293 landed ToFile, Comment, ExitStatus, IntNe, and Exit, including the two #7265 residues. FileExists, ambient Run.command, remaining CaptureSpec fidelity, and batch-A product composers remain later slices. [plan](docs/plans/shell-to-dag-residual-census-and-arc-completion.md)
- [ ] **shell construction arc close — product intent onto typed targets** — Move every product/foreign-executor shell builder through typed orchestration and the canonical Bash target, then delete the raw producer. Runtime-present paths use typed effects; foreign executors/bootstrap may emit bounded shell. #7293 landed ToFile, Comment, ExitStatus, IntNe, and Exit. Merged #7298 wrapped deploy-access operations back into raw Run.command strings at a runtime-present edge; correct that regression first. FileExists, ambient Run.command, remaining fidelity gaps, and the foreign-executor composer roster remain later slices. [plan](docs/plans/shell-to-dag-residual-census-and-arc-completion.md)
- [x] **slice 0 — CI EAGAIN-retry** ✓ (#6467) — `ci_cargo_eagain_retry_core` → `emit(Retry, Bash)`; byte-oracle = committed `ci.yml` [plan](docs/plans/shell-emission-model.md) — ✓ signed off: operator
- [x] **slice 1 — control-flow emit (census-scoped)** ✓ (#6475; tier-2 Procedure/Let band #6566) — the `If` band only (`orch_emit_step::If` + else + condition forms + pipes/cmdsubst/`$?`/AndOr/redirect/env words, byte goldens); `For`/`While` NOT in scope — the pre-runtime census (2026-07-03) found zero pre-runtime sites needing them [plan](docs/plans/shell-emission-model.md) — ✓ signed off: operator
- [x] ~~**converge thin-run precursor** — #6572/#6585/#6598 landed, then #7121 deleted the unconsumed 21-line fleet_converge artifact as paper transport. Current host convergence is not complete: `2-live-read-seam`, `2-converge-reland`, and `2-periodic-actuation` own typed observation, apply, and live receipts.~~ **superseded →** 2-converge-reland [plan](docs/plans/shell-emission-model.md)
- [ ] **While / BoundedPoll / Retry fidelity and production adoption** — #6832 landed grammar and emit machinery, not this arc's acceptance. While has one production consumer but retains raw Run.command leaves. BoundedPoll and N-level Retry are test-only; production Retry is one-level. Retry currently reads only the first body step and specializes log paths while discarding source Run env/redirect/capture. Complete production adoption or narrow the modeled claim. [plan](docs/plans/shell-intent-emit-realization-design.md)
- [ ] **While / BoundedPoll / Retry fidelity and production adoption** — #6832 landed grammar and emit machinery, not this arc's acceptance. While has one production consumer but retains raw Run.command leaves; BoundedPoll has no production consumer. #7303 made Retry refuse multi-step bodies, present redirect/capture, changed template log sources, and three-or-more escalation levels instead of silently dropping them. Accepted one/two-level Retry still drops the source Run.env. Complete production adoption or narrow the modeled claim. [plan](docs/plans/shell-intent-emit-realization-design.md)
- [x] ~~**apply() Phases B-F umbrella** — the phase snapshot predates the current reconcile spine and no longer defines executable acceptance. The live-read, closed-loop converge, and periodic-actuation tickets below own the remaining host-effect milestones.~~ **superseded →** 2-live-read-seam + 2-converge-reland + 2-periodic-actuation [plan](docs/plans/host-effect-orchestration.md)
- [ ] **temporal-effect-spine-a — temporal realization spine (T1 vocabulary)** — std.temporal_effect: durable facts + plan_next_step_from_prior_receipt_and_lease (single prior+lease; list fold is consumer-side); 🟡 markers on stringly receipt labels + derived step id. Not a workflow engine. — ⏳ awaiting sign-off
- [x] ~~**srv3 install dry-run precursor** — its `srv3_os_install_reconcile*` implementation was intentionally deleted with the dead, unconsumed install/reconcile subgraph. It is a historical receipt, not work awaiting sign-off.~~ **superseded →** srv3 install/reconcile retirement (#7233/#7237)
Expand Down
Loading
Loading