Skip to content

Daglang compiler scaffolding - #42

Merged
briansrls merged 225 commits into
cursor/daglang-parsing-pipeline-d0eefrom
cursor/daglang-compiler-scaffolding-27f8
Feb 16, 2026
Merged

Daglang compiler scaffolding#42
briansrls merged 225 commits into
cursor/daglang-parsing-pipeline-d0eefrom
cursor/daglang-compiler-scaffolding-27f8

Conversation

@briansrls

@briansrls briansrls commented Feb 16, 2026

Copy link
Copy Markdown
Contributor

Implement the initial daglang compiler pipeline for the makegen proving slice and fix preflight issues.

This establishes the core compilation path, addresses CI warnings, and lays the groundwork for semantic parsing, typechecking, lowering, and deriving for the makegen use case, as part of the dsl-design roadmap Phase 0.1 and Phase 1.

Open in Cursor Open in Web

cursoragent and others added 3 commits February 16, 2026 05:49
@cursoragent @briansrls
Fix daglang clippy-deny warnings in syntax and resolve
a96fc9f 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Implement daglang phase-1 scaffold compile path across typecheck/lowe…
ab41b4a 
…r/derive/emit

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Add configurable import strictness to typecheck and refine compile di…
5bfe97a 
…scovery

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursor

cursor Bot commented Feb 16, 2026

Copy link
Copy Markdown

Cursor Agent can help with this pull request. Just @cursor in comments and I'll start working on changes in this branch.
Learn more about Cursor Agents

cursoragent and others added 26 commits February 16, 2026 06:04
@cursoragent @briansrls
Add lowering topology parity report and strict compile unresolved-imp…
eb4242a 
…ort regression

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Validate module declaration path consistency in directory compile mode
a738e02 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Capture callable bodies and derive call dependency edges
4fdba93 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Expand content_upsert into makegen transport chain
806e6b0 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Add makegen content_upsert chain contract tests
ed560f6 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Typecheck callable body arity and named arguments
60f897c 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Inject makegen source scaffold nodes into lowering
a906fa6 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Add normalized makegen parity comparison harness
fd78d90 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Validate resource interface capability conformance
ef7d9ac 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Check service interface operation coverage in typecheck
a057cf2 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Validate interface capability signatures for services and resources
052511a 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Lower interface-backed services into transport triplets
71a24ee 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Wire service-call expressions to transport parse nodes
5962676 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Lower resource acquire/release lifecycle nodes
19aee88 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Derive lifecycle and transport-specific obligation counters
bb35122 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Expose obligation counters in manifest CLI output
5000901 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Test manifest obligations with transport and lifecycle fixture
2b4011b 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Report unresolved service call endpoints during lowering
effad5c 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Add CLI regression for unresolved service-call lower errors
dba0cc2 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Wire func uses clauses to resource lifecycle nodes
15e8a16 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Add CLI regression for unresolved uses lower errors
3dd3368 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Typecheck uses-clause resource type resolution in strict mode
696676d 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Add compile-directory regression for unknown uses resource type
4e70ac2 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Tolerate known interface uses without lifecycle endpoints
695a388 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Validate provides bindings and types in strict typecheck
082b2be 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Lower func provides clauses into provider resource nodes
ce03402 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
cursoragent and others added 10 commits February 16, 2026 16:18
@cursoragent @briansrls
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
26e9ff5 
…d0ee' into cursor/daglang-compiler-scaffolding-27f8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
7a7863d 
…d0ee' into cursor/daglang-compiler-scaffolding-27f8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Retain callable generic type parameters for strict checks
05f1daf 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
6f7bcd5 
…d0ee' into cursor/daglang-compiler-scaffolding-27f8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Contextualize named record returns and resource config types
e286655 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
baf77a4 
…d0ee' into cursor/daglang-compiler-scaffolding-27f8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Infer zero-arity variant identifiers as typed values
4362cc3 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
040f9a1 
…d0ee' into cursor/daglang-compiler-scaffolding-27f8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
0490906 
…d0ee' into cursor/daglang-compiler-scaffolding-27f8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@cursoragent @briansrls
Skip false tail mismatches for lossy parsed fn bodies
cc422f8 
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
@briansrls
briansrls merged commit 1df33dc into cursor/daglang-parsing-pipeline-d0ee Feb 16, 2026
This was referenced May 7, 2026
Closed
Closed
Closed
Closed
Closed
briansrls added a commit that referenced this pull request May 10, 2026
@briansrls @claude
docs(r3): §1.8 ledger Status drift sweep — post-T-LP / T-Bridge wave
a1e895d 
Promotes 4 §1.8 rows with PR-evidence on main. PB Mgr post-merge
ledger-receipt sync per Director ratification at gunbc#828
(c#4415884211; same pattern as PR #2399).

Promotions:
- #6  lens_testgen_dot_rs_retired                     DECLARED -> CONSUMER_LANDED + PASSING
       (PR #2392 producer + PR #2594 regression-guard; lens_testgen.rs
        absent on disk; consumer-side ratchet test landed)
- #33 bridge_canonical_lens_name_dispatch_retired     DECLARED -> CONSUMER_LANDED
       (PR #2449)
- #34 bridge_include_str_side_channels_retired        DECLARED -> CONSUMER_LANDED (slice scope)
       (PR #2459 pipeline.dag slice; standalone closure brief #1976
        STOP-BLOCKED on Substrate T1)
- #66 lens_producer_retirement_executable_witness     Notes-update only
       (PR #2595 substrate-impl landed: TestRunner executes .dag PB
        census claim and reports residual; closure-receipt remains
        F3-DEFERRED per PB Mgr disposition)

Excluded (out of charter):
- #31 -> Substrate (#2068)
- #36 -> Verification (#2075)

Excluded (T-V2-Retirement HELD on PM-authored S-1 brief #1974):
- #41 / #42 / #60 / #71

Pre-authored brief at docs/briefs/r3-pb-status-drift-sweep-post-tlp.md
covers the post-T-LP cascade wave (G5/G7/G8).

Closes PB Mgr drift-sweep obligation for already-merged evidence;
G5/G7/G8 remain queued per pre-authored brief.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@briansrls briansrls mentioned this pull request May 10, 2026
Merged
briansrls added a commit that referenced this pull request May 10, 2026
@briansrls @claude
docs(r3): §1.8 ledger Status drift sweep — post-T-LP / T-Bridge wave (#…
926df0e 
…2631)

* docs(audit): land R-3 + R-7 ratifications (T-Tier3 perf budget)

§5.1 designation in canonical-bench-host-decision-matrix: Option A
ubicloud-standard-2 ratified 2026-05-08 per PB Manager (warm-dove-618);
Director ratification at gunbc#828 c#4403509523.

§2 capture procedure: multi-run discipline addendum — N=5 preferred,
median-of-medians for median_ns, max-p99-across-runs for p99_ns,
per-run intermediates committed alongside final tier3_baseline.json.

Both lines unblock #2204 slice dispatch (Substrate-side PerfWithinBaseline
variant + PerfBaselineMeasurement carrier); PB consumer slice queues
post-#2204 land.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* PB Item 5 brief — encode substrate disposition (#2068 P1 RATIFIED)

Substrate Mgr (warm-wolf-698) ratified §7.3 disposition at gunbc#2068
c#4411574142: shape (b) CensusSubsetCount filter with closed predicate
BinShimFilesSubsetPredicate, mirroring existing LensProducerFilesSubsetPredicate
precedent. Per feedback_strict_mirror_vs_novel_substrate_fact, strict-mirror
ratifies directly (no canvas needed).

Updates r3-pb-binshim-retirement-worker.md:
- New §"Substrate landings (locked shape)" with the 4 required artifacts
  (substrate marker type + value, runtime predicate body, dispatch branch).
- §7.3 acceptance now authorable; locked TestClaim shape recorded.
- Dispatch precondition (5): unauthorable → RESOLVED.
- STOP condition: §7.3 disposition not-yet-live → drift-detection.
- Status header: PROPOSAL → READY-FOR-DISPATCH posture (pending only the
  standard R2/R2-Evaluator close signal; both Item-4 sub-gates met via
  PR #2282 / #2227 close).

Bin-shim file inventory at main 5a13ed8: 9 files in src/v3/compiler/src/bin/;
closure when CensusSubsetCount predicate count == 0.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* WIP: R3 PB Mgr — lane through R3 close

* brief: clarify §7.3 TestClaim is zero-only (not schedule-bound)

Addresses non-blocking improvement on PR #2334 (codex review sha=68977425):
the prior wording called CensusSubsetCount a schedule-bound gate, but the
runtime predicate (test_runner.rs:3290-3296) is zero-only — Pass iff
count==0. Interim per-PR shrink receipts are PR-level milestones outside
this TestClaim, not TestClaim verdicts.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* brief: reconcile §"Substrate landings" with Non-goals (PB strict-mirror authoring authorized post-#2068)

Addresses non-blocking improvement on PR #2334 (codex review sha=363cf799):
the new §"Substrate landings (locked shape)" worker-owned list contradicted
the unchanged "out of scope" entries that still said PB lane does not author
§7.3 substrate shape.

Resolution: per #2068 c#4411574142 ratification + feedback_strict_mirror_vs_
novel_substrate_fact, strict-mirror declarations (mirroring the existing
LensProducerFilesSubsetPredicate precedent) are PB-lane-authorable. The
non-goal still applies to *novel* shape (extra fields, alternative
coproducts) which would re-escalate to Substrate Mgr.

Updates:
- "PB does not own and must not edit" entry (line 29): clarifies shape
  question is Substrate-territory but strict-mirror authoring is authorized.
- Non-goals (line 155): same reconciliation; novel shape still gates back
  to Substrate Mgr.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* PB Item 5 follow-on brief — batch retirement for 8 remaining bin-shims

Director re-task at gunbc#828 c#4413892216 Task A: author per-shim retirement
worker briefs for the 9 bin-shims; 1 covered by gate #7 (warm-crab-600 working
regen_lens.rs); 8 unscoped (emit_method_template_projection, r1c_e_emit_gates,
regen_bootstrap, regen_parse, regen_parse_tables, regen_tokenize, regen_v3,
self_host_fixed_point).

This brief governs the 8-shim batch follow-on against the canonical
r3-pb-binshim-retirement-worker.md template. Status PROPOSAL —
dispatch-gated on:
- smart-tern-649 Stage A landing (BinShimFilesSubsetPredicate carriers + runtime predicate)
- warm-crab-600 gate #7 first-cut precedent on main

Three staging shapes documented (mega-PR / serial-per-shim / batched-2-3);
PB Mgr leans batched-by-regen-family. Worker chooses at dispatch.

STOP-AND-PING conditions enumerated (substrate-carrier absent / carrier shape
pressure / emit-pattern divergence / substrate-grep mismatch).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* fix-forward (PR #2471 codex REQUEST_CHANGES)

Two findings addressed:

1. Carrier-shape mismatch (line 43): brief template said `name:` but the
   locked BinShim carrier per design-pb-runtime-interpreter.md:200-204 uses
   `entrypoint_name`, `description`, `entry`. P2 single-authority violation
   would have routed workers against wrong shape. Fixed: template now
   matches locked shape verbatim with explicit no-additional-fields clause.

2. Dispatch-gate dilution (lines 33, 98): brief reduced operative dispatch
   gate to "Stage A landing + gate #7 precedent" but parent brief enumerates
   5 preconditions (R2 close + R2-Evaluator landed + Item 4 sub-gate green
   + BinShim carrier live + §7.3 disposition). P5 fail-closed violation.
   Fixed: full readiness prerequisite inherited verbatim from parent brief;
   gate #7 precedent demoted to implementation-pattern reference (not gate).

Worker dispatch posture updated to require all 5 preconditions verified
on main at dispatch time per feedback_substrate_grep_before_authoring.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* WIP: R3 PB Mgr — lane through R3 close

* docs(r3): §1.8 ledger Status drift sweep — post-T-LP / T-Bridge wave

Promotes 4 §1.8 rows with PR-evidence on main. PB Mgr post-merge
ledger-receipt sync per Director ratification at gunbc#828
(c#4415884211; same pattern as PR #2399).

Promotions:
- #6  lens_testgen_dot_rs_retired                     DECLARED -> CONSUMER_LANDED + PASSING
       (PR #2392 producer + PR #2594 regression-guard; lens_testgen.rs
        absent on disk; consumer-side ratchet test landed)
- #33 bridge_canonical_lens_name_dispatch_retired     DECLARED -> CONSUMER_LANDED
       (PR #2449)
- #34 bridge_include_str_side_channels_retired        DECLARED -> CONSUMER_LANDED (slice scope)
       (PR #2459 pipeline.dag slice; standalone closure brief #1976
        STOP-BLOCKED on Substrate T1)
- #66 lens_producer_retirement_executable_witness     Notes-update only
       (PR #2595 substrate-impl landed: TestRunner executes .dag PB
        census claim and reports residual; closure-receipt remains
        F3-DEFERRED per PB Mgr disposition)

Excluded (out of charter):
- #31 -> Substrate (#2068)
- #36 -> Verification (#2075)

Excluded (T-V2-Retirement HELD on PM-authored S-1 brief #1974):
- #41 / #42 / #60 / #71

Pre-authored brief at docs/briefs/r3-pb-status-drift-sweep-post-tlp.md
covers the post-T-LP cascade wave (G5/G7/G8).

Closes PB Mgr drift-sweep obligation for already-merged evidence;
G5/G7/G8 remain queued per pre-authored brief.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* docs(briefs): fix gate #64 → #66 mislabel in drift-sweep brief

Per cursor/composer-2 review on PR #2631: brief table + dispatch-trigger
parenthetical labeled lens_producer_retirement_executable_witness as
gate #64. Authoritative §1.8 row is #66; #64 is
substrate_gap_reflection_closure_closed (separate predicate).

Aligns brief with r3-program-plan.md §1.8 row identity per
INVARIANTS.md P1 (single authoritative facts).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* docs(r3): row #66 DECLARED → CONSUMER_LANDED per §1.7 taxonomy

Per codex/codex-default review on PR #2631 (REQUEST_CHANGES, review
9150): leaving row #66 at DECLARED while the Notes cell describes an
executable consumer that runs through TestRunner contradicts the §1.7
status taxonomy and INVARIANTS P2 single-authority discipline.

Promoting #66 to CONSUMER_LANDED with explicit PASSING gate on
residual = 0 (cascades from T-LensProducer-Retirement gates
#5 + #6 + #7). The F3 deferral is on PASSING, not CONSUMER_LANDED;
the executable receipt
src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs
already exists and runs the .dag PB census claim through TestRunner.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@briansrls briansrls mentioned this pull request May 11, 2026
Closed
briansrls added a commit that referenced this pull request May 11, 2026
@briansrls @cursoragent
R3 gate #42: delete src/v2/ directory (T-V2-Retirement G-2) (#2693)
39ba757 
* WIP: v2_directory_deleted

* WIP: v2_directory_deleted

* WIP: v2_directory_deleted

* WIP: v2_directory_deleted

* WIP: v2_directory_deleted

* WIP: v2_directory_deleted

* WIP: v2_directory_deleted

* fix(ci): do not spot-rerun cancelled workflows

Concurrency cancel-in-progress supersedes the old run;
on that run duplicated v3 work and could leave spurious red checks. Retry only
on true failure conclusions.

Co-authored-by: Cursor <cursoragent@cursor.com>

* fix(ci): cap rustc/libtest parallelism in v3 full-suite step

Self-hosted Spot runners hit 'lost communication' mid-suite under default
parallelism (heavy integration tests). Limit CARGO_BUILD_JOBS and
RUST_TEST_THREADS to reduce peak RSS while staying inside the 3300s budget.

Co-authored-by: Cursor <cursoragent@cursor.com>

* fix(ci): revert v3 full-suite thread/job caps

Capping RUST_TEST_THREADS/CARGO_BUILD_JOBS pushed many tests over the Phase-0
2s wall ratchet (libtest --report-time). Restore default parallelism.

Co-authored-by: Cursor <cursoragent@cursor.com>

* fix(ci): align timeout ratchet floor with slow-test-exemptions (78)

After rebasing on main, this branch drops one exemption row (retired
projection-dag tests); keep the default max in sync.

Co-authored-by: Cursor <cursoragent@cursor.com>

---------

Co-authored-by: Cursor <cursoragent@cursor.com>
This was referenced May 11, 2026
Closed
Merged
briansrls added a commit that referenced this pull request May 12, 2026
@briansrls @claude
docs(r3): §1.8 drift sweep — post T-Tier3/T-V2 wave + #2723 row #92 a…
7db57e9 
…ddendum (#2729)

* docs(r3): §1.8 drift sweep — post T-Tier3/T-V2 wave + #2723 row #92 addendum

Promotions per Director greenlight at gunbc#828 c#4426061314 + delta
at gunbc#1942 c#4426061314. Sequencing per Mgr-cadence calibration
(serial-after-#2702-merge).

| Row | From | To | Evidence |
|---|---|---|---|
| #3 tier3_induction_mirror_dissolved | DECLARED | CONSUMER_LANDED | PR #2678 (merry-wolf-735, scope-verified per R-7 vs C1 Phase-1 baseline) |
| #4 tier3_effect_carrier_mirror_dissolved | DECLARED | CONSUMER_LANDED + PASSING | PR #2679 (warm-ibex-579, workflow_idempotency.rs retired) |
| #41 v2_oracle_no_remaining_test_consumers | DECLARED | CONSUMER_LANDED + PASSING | PR #2695 (witty-crab-518, T-V2 G-1 ratchet) |
| #42 v2_directory_deleted | DECLARED | CONSUMER_LANDED + PASSING | PR #2693 (calm-seal-831, -158,670 lines; row #97 coherence test) |
| #71 v3_self_host_demonstration | DECLARED | CONSUMER_LANDED + PASSING | PR #2696 (still-crab-219, demonstration harness) |

Row #92 addendum: PR #2723 hot-fix-2026-05-12 #[ignore]-tagged the
consumer t_las_complexity_contract_compile_error_test.rs (cold-CI
wall-time reduction; 14s wall). Status preserved CONSUMER_LANDED +
PASSING with explicit consumer-disabled note + rebuild-routing
context (no standing T-LAS Mgr seat per gunbc#828 c#4426497).

NOT promoted: row #1 / #2 / #65 / #64 / #6 already at correct state
or substrate-blocked (row #1 awaits actual mirror retirement now
that C1 baseline #2702 landed; row #6 was promoted in earlier
PR #2631; row #64 substrate-plumbing receipt landed via PR #2694
remains DECLARED with canonical PB-Runtime witness deferral; row #65
already PASSING; row #2 already CONSUMER_LANDED via PR #2681).

Pure documentation; no code touched.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* docs(r3): row #92 — replace placeholder comment-id with accurate citation

cursor/composer-2 review (9890) on PR #2729 caught the `c#4426497xxx`
stub on row #92 addendum: unfollowable placeholder weakens INVARIANTS
P1 (Modeling Faithfulness). The actual Director greenlight came via
internal dashboard messaging (warm-dove-618 → zesty-bear-812), not a
GitHub comment thread, so a `#issuecomment-` id wouldn't exist
anyway. Replace with accurate "internal-message dispatch" phrasing.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This was referenced May 12, 2026
Closed
Merged
Merged
briansrls added a commit that referenced this pull request May 15, 2026
@briansrls @claude
Restore src/v2 — comparison artifact + frozen-buildable (#3148)
fdaedb1 
* Restore src/v2 for honest v2-vs-v3 comparison

v2 was deleted in commit 39ba757 (R3 gate #42, PR #2693). Restoring
the full src/v2 tree from the parent of that commit so the v3 retirement
trajectory can be honestly evaluated against v2's proven 1-residual
self-hosted shape.

Restored src/v2/ contains the complete .dag pipeline (00_core through
05_emit*) plus stage0 and tests. Root Cargo.toml workspace entries are
NOT re-added — restoration is for source-comparison purposes; v2 is not
re-included in the build until/unless explicitly decided.

Per docs/design-pure-bootstrap-zero.md framing: v2 retired with 1
hand-Rust residual. v3 currently sits at 56 NON_TEST + 134 TEST + 2
FRAGMENTS = 192 hand-authored files. The comparison surface this enables
is load-bearing for the v4 program decision.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* ci: re-enable v2 (frozen-buildable), freeze v3 via affected-set gating

Coordinated CI policy change to support the v4 program (PR #3147):
both v2 and v3 are now frozen-buildable — workspace members that build
on demand but only run their heavy CI when their source is touched (or
on push-to-main for trunk verification).

## Changes

**Cargo.toml**: re-add `src/v2/stage0` + `src/v2/tests` to workspace
members, plus the `[profile.dev.package.v2-compiler]` block that v2's
Rc-aware stage0 needs (debug-assertions = false, opt-level = 2).
Verified locally: `cargo build -p v2-compiler --release` builds clean
in ~1m, no bitrot.

**.github/workflows/ci.yml**:

- New `affected` job: runs first (~30s), computes `v2`/`v3` outputs by
  diffing against origin/main (or HEAD~1 on push). Other jobs depend
  on its outputs.
- New `v2` job: runs `bootstrap_fixed_point --ignored` test only when
  src/v2/ or workspace deps are affected. Verifies v2's self-host
  property is preserved across any v2 modification.
- `v3` job: gated at top level — runs only when src/v3/, dsl/, or
  workspace deps affected, OR push-to-main. Effectively freezes v3 on
  PRs that don't touch it (the typical case during v4 development).
- v3-specific steps inside the shared `ci` job (bootstrap snapshot
  freshness gate, gate #103 path-regex inventory + integration tests)
  are gated on the same condition.
- `self_host_ratchet` job: now tolerates v3 being skipped (treats
  result=skipped as a valid no-op rather than a failure).

**scripts/detect-affected-components.sh**: new script that does the
git-diff-based detection. Lives outside ci.yml so it doesn't trip
gate #103's `workflow_no_path_regex_policy_ci_yml` policy (which
forbids path-selection substrings inside .github/workflows/*.yml).
Single authority: when v3 is unfrozen and the v3 affected-set lens
becomes canonical again, this script can be replaced by an invocation
of that lens — workflow integration point stays the same.

## Why this shape

- v2 is restored as comparison artifact + v4 bootstrap source. Editing
  v2 is rare but allowed; when it happens, fixed-point must hold.
- v3 is frozen pending the v4 program. Most PRs (v4 work, docs,
  process changes) don't touch v3 — gating skips the heavy v3 build/
  test (saves ~10-15min per PR).
- Both v2 and v3 are still in workspace so `cargo build --workspace`
  works for development; CI only invokes them via `-p` when affected.
- push-to-main always runs both v2 and v3 CI as trunk safety net,
  even when nothing in v2/v3 changed (catches dep-bump regressions).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* ci: tighten v3 affected-set — drop Cargo.toml/lock trigger

Per operator review: under v3 freeze, workspace dep changes should NOT
trigger v3 CI. v3 is abandoned; we don't care if it incidentally breaks
because of a dep bump. If v3 is ever revived, the first src/v3/ PR
catches any latent breakage at that point — costs nothing now.

Net rule (now enforced):
  v2 affected: src/v2/ OR Cargo.{toml,lock}    (v4 depends on v2 binary)
  v3 affected: src/v3/ OR dsl/ ONLY            (frozen — only explicit work)
  v4 affected: src/v4/ OR Cargo.{toml,lock}    (v4 builds via v2)

Effect on this PR: next CI run cancels the in-flight v3 job (via
cancel-in-progress concurrency policy) and skips v3 entirely. Future
v4 PRs that touch Cargo.toml will not drag the ~30min v3 build.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@briansrls briansrls mentioned this pull request May 19, 2026
Closed
@briansrls
briansrls deleted the cursor/daglang-compiler-scaffolding-27f8 branch June 1, 2026 18:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@chatgpt-codex-connector chatgpt-codex-connector[bot] chatgpt-codex-connector[bot] left review comments

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@briansrls @cursoragent