Skip to content

Daglang compiler scaffolding #42

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 225 commits into from
Feb 16, 2026
Merged

Daglang compiler scaffolding #42

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
225 commits
Select commit Hold shift + click to select a range
a96fc9f
Fix daglang clippy-deny warnings in syntax and resolve
cursoragent Feb 16, 2026
ab41b4a
Implement daglang phase-1 scaffold compile path across typecheck/lowe…
cursoragent Feb 16, 2026
5bfe97a
Add configurable import strictness to typecheck and refine compile di…
cursoragent Feb 16, 2026
eb4242a
Add lowering topology parity report and strict compile unresolved-imp…
cursoragent Feb 16, 2026
a738e02
Validate module declaration path consistency in directory compile mode
cursoragent Feb 16, 2026
4fdba93
Capture callable bodies and derive call dependency edges
cursoragent Feb 16, 2026
806e6b0
Expand content_upsert into makegen transport chain
cursoragent Feb 16, 2026
ed560f6
Add makegen content_upsert chain contract tests
cursoragent Feb 16, 2026
60f897c
Typecheck callable body arity and named arguments
cursoragent Feb 16, 2026
a906fa6
Inject makegen source scaffold nodes into lowering
cursoragent Feb 16, 2026
fd78d90
Add normalized makegen parity comparison harness
cursoragent Feb 16, 2026
ef7d9ac
Validate resource interface capability conformance
cursoragent Feb 16, 2026
a057cf2
Check service interface operation coverage in typecheck
cursoragent Feb 16, 2026
052511a
Validate interface capability signatures for services and resources
cursoragent Feb 16, 2026
71a24ee
Lower interface-backed services into transport triplets
cursoragent Feb 16, 2026
5962676
Wire service-call expressions to transport parse nodes
cursoragent Feb 16, 2026
19aee88
Lower resource acquire/release lifecycle nodes
cursoragent Feb 16, 2026
bb35122
Derive lifecycle and transport-specific obligation counters
cursoragent Feb 16, 2026
5000901
Expose obligation counters in manifest CLI output
cursoragent Feb 16, 2026
2b4011b
Test manifest obligations with transport and lifecycle fixture
cursoragent Feb 16, 2026
effad5c
Report unresolved service call endpoints during lowering
cursoragent Feb 16, 2026
dba0cc2
Add CLI regression for unresolved service-call lower errors
cursoragent Feb 16, 2026
15e8a16
Wire func uses clauses to resource lifecycle nodes
cursoragent Feb 16, 2026
3dd3368
Add CLI regression for unresolved uses lower errors
cursoragent Feb 16, 2026
696676d
Typecheck uses-clause resource type resolution in strict mode
cursoragent Feb 16, 2026
4e70ac2
Add compile-directory regression for unknown uses resource type
cursoragent Feb 16, 2026
695a388
Tolerate known interface uses without lifecycle endpoints
cursoragent Feb 16, 2026
082b2be
Validate provides bindings and types in strict typecheck
cursoragent Feb 16, 2026
ce03402
Lower func provides clauses into provider resource nodes
cursoragent Feb 16, 2026
a83e830
Add CLI regression for unresolved provides lower errors
cursoragent Feb 16, 2026
5bc5596
Track provider-node obligations in derived manifest output
cursoragent Feb 16, 2026
a3497d9
Wire service call param identifiers into prepare transport inputs
cursoragent Feb 16, 2026
35b1018
Wire provided resource nodes into lifecycle release endpoints
cursoragent Feb 16, 2026
aaafa2a
Expose service param-source obligations in manifests
cursoragent Feb 16, 2026
70be8a0
Add manifest regression for zero param-source obligations
cursoragent Feb 16, 2026
f6a4e5b
Add regression for interface-only provides lifecycle tolerance
cursoragent Feb 16, 2026
260d47d
Add expand regression for service param-source wiring
cursoragent Feb 16, 2026
7a11de3
Add manifest regression for interface-only provides obligations
cursoragent Feb 16, 2026
47021dc
Validate service call arity and named arguments in typecheck
cursoragent Feb 16, 2026
00c8d2e
Add compile regressions for service call contract diagnostics
cursoragent Feb 16, 2026
d48dc31
Report duplicate named arguments in callable and service calls
cursoragent Feb 16, 2026
3d1c200
Add CLI regressions for duplicate named argument diagnostics
cursoragent Feb 16, 2026
0e374b9
Fail strict typecheck on unresolved service call targets
cursoragent Feb 16, 2026
0218d2d
Add single-file compile regression for unresolved service calls
cursoragent Feb 16, 2026
e12b61d
Report ambiguous service calls in strict typecheck mode
cursoragent Feb 16, 2026
91bac5d
Detect ambiguous resource type aliases in strict mode
cursoragent Feb 16, 2026
3b059f3
Report ambiguous callable targets in strict mode
cursoragent Feb 16, 2026
da17675
Surface unresolved callable targets in strict mode
cursoragent Feb 16, 2026
23f818e
Report ambiguous interface references during typecheck
cursoragent Feb 16, 2026
604bb43
Add duplicate-definition diagnostic regressions for compile path
cursoragent Feb 16, 2026
6a0ed53
Add duplicate output-field diagnostics regressions
cursoragent Feb 16, 2026
d473602
Add duplicate-parameter compile regression
cursoragent Feb 16, 2026
eaa05ae
Add unresolved-interface compile regression
cursoragent Feb 16, 2026
061f036
Add unresolved resource-interface compile regression
cursoragent Feb 16, 2026
2c2e905
Add ambiguous resource-interface compile regression
cursoragent Feb 16, 2026
2c7a5eb
Add callable argument compile regressions
cursoragent Feb 16, 2026
910e0fc
Add undefined-type compile regression
cursoragent Feb 16, 2026
ddfc362
Add use/provide binding conflict compile regression
cursoragent Feb 16, 2026
39d517e
Add duplicate uses/provides binding compile regressions
cursoragent Feb 16, 2026
3bcc7a8
Add interface conformance compile regressions
cursoragent Feb 16, 2026
1b0498d
Add resource signature mismatch compile regression
cursoragent Feb 16, 2026
618f471
Add compile regressions for unresolved uses/provides
cursoragent Feb 16, 2026
df69287
Add single-file unresolved-import compile regression
cursoragent Feb 16, 2026
7bdf744
Add single-file unresolved call-target compile regression
cursoragent Feb 16, 2026
6dbf5bb
Add single-file unresolved interface compile regressions
cursoragent Feb 16, 2026
4e5a152
Add single-file duplicate signature compile regressions
cursoragent Feb 16, 2026
1f2164b
Add single-file duplicate output compile regression
cursoragent Feb 16, 2026
1d2ea28
Add single-file uses/provides binding compile regressions
cursoragent Feb 16, 2026
76e853e
Implement missing typecheck diagnostics for bodies and types
cursoragent Feb 16, 2026
afd672c
Add named-record field and user-generic arity regressions
cursoragent Feb 16, 2026
41eee92
Add directory-mode regressions for new type diagnostics
cursoragent Feb 16, 2026
c659151
Add single-file interface conformance compile regressions
cursoragent Feb 16, 2026
9f590a1
Add duplicate interface ambiguity diagnostics regressions
cursoragent Feb 16, 2026
08e3d7a
Add duplicate callable ambiguity diagnostics regressions
cursoragent Feb 16, 2026
cff11c8
Validate implicit fn return type mismatches
cursoragent Feb 16, 2026
4e45767
Report fn missing-tail return mismatches as Unit
cursoragent Feb 16, 2026
2ef2688
Add Unit-return missing-tail compile success regressions
cursoragent Feb 16, 2026
9271081
Add directory duplicate-interface diagnostic layering regression
cursoragent Feb 16, 2026
04e4037
Add directory compile regressions for call argument diagnostics
cursoragent Feb 16, 2026
485eaa8
Add directory regressions for undefined and builtin type diagnostics
cursoragent Feb 16, 2026
257bb29
Lock relaxed single-file duplicate-callable diagnostic behavior
cursoragent Feb 16, 2026
d7bb2c8
Add duplicate-service diagnostic strictness regressions
cursoragent Feb 16, 2026
7656d59
Assert single-file unresolved targets fail in lower stage
cursoragent Feb 16, 2026
f818c03
Add typecheck tests for duplicate-service strictness layering
cursoragent Feb 16, 2026
462758c
Harden resource-type ambiguity layering across strictness modes
cursoragent Feb 16, 2026
d64d9ae
Assert strict compile diagnostics stay in typecheck stage
cursoragent Feb 16, 2026
e33457e
Assert strict ambiguity/unresolved compile errors stay in typecheck
cursoragent Feb 16, 2026
8b2560e
Assert duplicate-layer strict diagnostics stay in typecheck
cursoragent Feb 16, 2026
2682260
Assert relaxed compile success paths emit no stage errors
cursoragent Feb 16, 2026
6761366
Assert relaxed duplicate paths stay out of lowering
cursoragent Feb 16, 2026
48e688c
Refactor single-file typecheck assertions with stage-boundary helper
cursoragent Feb 16, 2026
a2ad18a
Enforce typecheck-stage helper across compile regressions
cursoragent Feb 16, 2026
b006152
Unify lower-stage boundary assertions in compile regressions
cursoragent Feb 16, 2026
f1ca8a7
Harden successful CLI paths against stage-error banners
cursoragent Feb 16, 2026
a9c227f
Guard non-stage compile failures from stage-banner leakage
cursoragent Feb 16, 2026
f32dfdb
Assert pre-typecheck compile errors avoid stage banners
cursoragent Feb 16, 2026
b280a3b
Assert check/modules paths avoid compile stage banners
cursoragent Feb 16, 2026
251c045
Cover expand and manifest parse-diagnostic stage boundaries
cursoragent Feb 16, 2026
0a6668b
Add expand and manifest directory mismatch regressions
cursoragent Feb 16, 2026
7c4e425
Add compile unit tests for unresolved service stage ownership
cursoragent Feb 16, 2026
885578f
Add compile unit tests for unresolved uses and provides staging
cursoragent Feb 16, 2026
92238f4
Add compile unit tests for unresolved import strictness split
cursoragent Feb 16, 2026
3b1b52d
Add compile unit tests for unresolved callable strictness split
cursoragent Feb 16, 2026
58453ba
Add compile unit tests for duplicate-service layering strictness
cursoragent Feb 16, 2026
7bca805
Add compile unit tests for duplicate-callable layering strictness
cursoragent Feb 16, 2026
b51b5e5
Add compile unit tests for duplicate-resource layering strictness
cursoragent Feb 16, 2026
52c9d9e
Add compile unit tests for interface strictness and layering
cursoragent Feb 16, 2026
054c868
Add compile unit tests for Unit tail-return strictness
cursoragent Feb 16, 2026
8bea83e
Add compile unit tests for call argument diagnostics
cursoragent Feb 16, 2026
32270d5
Add compile_from_context tests for type diagnostics
cursoragent Feb 16, 2026
2b00279
Add directory compile_from_context type diagnostic tests
cursoragent Feb 16, 2026
77012da
Add directory call argument compile unit tests
cursoragent Feb 16, 2026
dbfd984
Add compile_from_context tests for binding contracts
cursoragent Feb 16, 2026
fb52a6f
Add directory compile_from_context binding contract tests
cursoragent Feb 16, 2026
3cfc8b3
Merge parsing-pipeline updates and reconcile CLI behavior
cursoragent Feb 16, 2026
18be4ea
Add compile unit tests for ambiguous strict-mode diagnostics
cursoragent Feb 16, 2026
34239b7
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
5f8c0a6
Normalize compile command roots and add path tests
cursoragent Feb 16, 2026
e918b7c
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
84ba4db
Expand compile command path normalization regressions
cursoragent Feb 16, 2026
d4c205a
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
b8ffecc
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
8f0e03a
Add build_context normalization and compile segment regressions
cursoragent Feb 16, 2026
7bc7f6e
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
cfd860c
Expand compile trailing-slash normalization regressions
cursoragent Feb 16, 2026
334b5ea
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
24b5ab1
Add compile root path variant equivalence tests
cursoragent Feb 16, 2026
522ebcf
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
ad4c8a8
Expand compile absolute path normalization regressions
cursoragent Feb 16, 2026
b19de30
Add compile absolute failure-path normalization regressions
cursoragent Feb 16, 2026
05a1062
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
baa875f
Add compile parent-segment normalization regressions
cursoragent Feb 16, 2026
529eaf3
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
c467ce2
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
8d7a7b2
Add compile parent-curdir normalization regressions
cursoragent Feb 16, 2026
17e3b02
Add compile parent-double-trailing regressions
cursoragent Feb 16, 2026
9497b85
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
7050be5
Add compile parent-curdir-segment regressions
cursoragent Feb 16, 2026
fc7cfa5
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
0bbc789
Add compile parent-segment-trailing regressions
cursoragent Feb 16, 2026
ca6af33
Add absolute parent-trailing compile regressions
cursoragent Feb 16, 2026
8f98f06
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
3a711f7
Add absolute parent-double compile regressions
cursoragent Feb 16, 2026
4c51af2
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
2fb2d81
Expand absolute compile parent-path regressions
cursoragent Feb 16, 2026
35c408a
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
4926a72
Add invalid single-file compile path normalization regressions
cursoragent Feb 16, 2026
fcf0b2c
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
df9845b
Cover trailing parent invalid single-file compile variants
cursoragent Feb 16, 2026
ef8f5f0
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
3d76537
Add compile absolute curdir-trailing normalization regressions
cursoragent Feb 16, 2026
a3ff35b
Expand compile absolute parent-curdir double-path regressions
cursoragent Feb 16, 2026
3885f95
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
da67db8
Add compile absolute curdir-double normalization regressions
cursoragent Feb 16, 2026
7a2aad0
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
a8e2104
Add compile absolute curdir-suffix normalization regressions
cursoragent Feb 16, 2026
3e6bc9a
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
aacb752
Add compile absolute curdir-suffix-double regressions
cursoragent Feb 16, 2026
e2f485e
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
e4da831
Add compile absolute curdir-segment-double-suffix regressions
cursoragent Feb 16, 2026
239dfe9
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
8cbf3a5
Add compile symlink and curdir double-suffix regressions
cursoragent Feb 16, 2026
fa440fd
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
9e9970f
Add compile absolute curdir-segment-suffix regressions
cursoragent Feb 16, 2026
1dd3d1a
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
41e4642
Add compile absolute parent-curdir trailing regressions
cursoragent Feb 16, 2026
9e89807
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
c1aad6e
Add compile relative curdir suffix regressions
cursoragent Feb 16, 2026
26eb088
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
a711200
Add compile relative double-suffix regressions
cursoragent Feb 16, 2026
e200833
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
22fb460
Add compile relative curdir-segment-double regressions
cursoragent Feb 16, 2026
5c65a51
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
187f670
Add compile relative curdir trailing regressions
cursoragent Feb 16, 2026
5582964
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
58acb1b
Add compile dot-double curdir suffix regressions
cursoragent Feb 16, 2026
b061019
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
c823156
Add compile dot-double curdir segment-suffix regressions
cursoragent Feb 16, 2026
7c6ffbf
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
efdde93
Add compile dot-double curdir segment-trailing regressions
cursoragent Feb 16, 2026
8da07b1
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
819f4db
Add compile dot-double curdir segment-double regressions
cursoragent Feb 16, 2026
5df2081
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
2e0e41f
Add compile dot-double curdir segment-double-suffix regressions
cursoragent Feb 16, 2026
1f005b8
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
b1c76a3
Add compile dot-double curdir suffix-double regressions
cursoragent Feb 16, 2026
f44d31d
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
be30977
Add compile dot-double double and trailing regressions
cursoragent Feb 16, 2026
98ed6a9
Add compile dot-double trailing single-file regression
cursoragent Feb 16, 2026
486d68e
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
1a368d3
Add compile bare dot-double separator regressions
cursoragent Feb 16, 2026
71db23c
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
459cf84
Add compile diagnostic ordering and determinism regressions
cursoragent Feb 16, 2026
4de9eb8
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
bc4d625
Add compile empty and non-dag directory diagnostics
cursoragent Feb 16, 2026
1f22996
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
30b27f9
Sort compile diagnostics lex before parse
cursoragent Feb 16, 2026
0ce714d
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
8efb07f
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
8ed3d9d
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
3836af7
Normalize configured resource type names across compile stages
cursoragent Feb 16, 2026
e14c058
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
6c4bd4f
Resolve uses-bound capability calls across typecheck and lower
cursoragent Feb 16, 2026
d9d18a1
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
9c447a5
Register collection intrinsic callable contracts in strict mode
cursoragent Feb 16, 2026
4ee00e4
Allow strict callable checks for function-typed parameters
cursoragent Feb 16, 2026
cb46bd6
Merge parsing-branch CLI normalization expansions
cursoragent Feb 16, 2026
7032de5
Merge latest parsing branch CLI usage regressions
cursoragent Feb 16, 2026
fabf2f8
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
3242663
Resolve sum-variant constructors as callable targets
cursoragent Feb 16, 2026
8cc0351
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
36d79b9
Seed strict helper callable contracts for DSL corpus
cursoragent Feb 16, 2026
ba21b5f
Honor defaulted call and service arguments in strict mode
cursoragent Feb 16, 2026
c949eca
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
d257b73
Allow pattern wiring arguments in strict call validation
cursoragent Feb 16, 2026
26e9ff5
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
7a7863d
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
05f1daf
Retain callable generic type parameters for strict checks
cursoragent Feb 16, 2026
6f7bcd5
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
e286655
Contextualize named record returns and resource config types
cursoragent Feb 16, 2026
baf77a4
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
4362cc3
Infer zero-arity variant identifiers as typed values
cursoragent Feb 16, 2026
040f9a1
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
0490906
Merge remote-tracking branch 'origin/cursor/daglang-parsing-pipeline-…
cursoragent Feb 16, 2026
cc422f8
Skip false tail mismatches for lossy parsed fn bodies
cursoragent Feb 16, 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
1 change: 1 addition & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading