Skip to content
Draft
Show file tree
Hide file tree
Changes from 199 commits
Commits
Show all changes
1254 commits
Select commit Hold shift + click to select a range
7c60a7c
Publish compile-time root plans during lowering
rtfeldman May 2, 2026
27d7062
Seal singleton callable binding instances
rtfeldman May 2, 2026
290d513
Store published compile-time root payloads
rtfeldman May 2, 2026
113f50d
Select no-capture callable results by discriminant
rtfeldman May 2, 2026
ed702d4
Publish callable-aware const reification plans
rtfeldman May 2, 2026
554d057
Store callable leaves explicitly in comptime values
rtfeldman May 2, 2026
a81eb30
Use shared LIR runtime images in eval helpers
rtfeldman May 2, 2026
136edd6
Use explicit pending comptime root payloads
rtfeldman May 2, 2026
18c968e
Separate comptime callable schemas from values
rtfeldman May 2, 2026
5d7b2d6
Harden promoted callable artifact tables
rtfeldman May 2, 2026
92ad047
Select comptime callable members explicitly
rtfeldman May 2, 2026
c47640a
Seal const instances with comptime plans
rtfeldman May 2, 2026
ed2bb9a
Verify callable binding instance closure data
rtfeldman May 2, 2026
ddc933d
Verify callable promotion plan variants
rtfeldman May 2, 2026
462db94
Verify comptime list element representatives
rtfeldman May 2, 2026
6ff1d5d
Reject duplicate promoted procedures
rtfeldman May 2, 2026
020d80f
Publish promoted callable wrapper plans
rtfeldman May 2, 2026
f7bd7aa
Record promoted callable member descriptors
rtfeldman May 2, 2026
36e8e27
Reserve promoted callable wrappers before fill
rtfeldman May 2, 2026
c28a6c0
Reserve private capture graph nodes
rtfeldman May 2, 2026
8ad942a
Reserve capture reification plans
rtfeldman May 2, 2026
d9f04d9
Plan captured callable reification
rtfeldman May 2, 2026
e43b902
Carry source keys through callable value flow
rtfeldman May 2, 2026
0c100d4
Publish Box boundaries for capture planning
rtfeldman May 2, 2026
cf2753f
Materialize promoted private captures in mono MIR
rtfeldman May 2, 2026
81e7d51
Promote captured compile-time callable roots
rtfeldman May 2, 2026
5323e4b
Promote callable leaves in constant reification
rtfeldman May 2, 2026
ebbbd26
Publish erased proc-value callable plans
rtfeldman May 2, 2026
5930938
Publish already-erased callable plans
rtfeldman May 2, 2026
1fe5238
Publish erased finite-set callable captures
rtfeldman May 2, 2026
0e5f4fe
Carry erased callable result types explicitly
rtfeldman May 2, 2026
5712fdd
Publish erased callable finalization outputs
rtfeldman May 2, 2026
61da0a5
Clarify erased promoted wrapper ownership
rtfeldman May 2, 2026
b2804bb
Thread executable-owned promoted wrappers
rtfeldman May 2, 2026
4d5f0ab
Specify erased promoted executable signatures
rtfeldman May 2, 2026
e246499
Publish erased promoted executable signatures
rtfeldman May 2, 2026
d1ca1f8
Consume erased promoted executable payloads
rtfeldman May 2, 2026
43acf6d
Seal erased capture materialization plans
rtfeldman May 2, 2026
3f92957
Reserve erased wrapper executable dependencies
rtfeldman May 2, 2026
d270cba
Clarify erased capture materialization plan
rtfeldman May 2, 2026
aa92010
Seal erased capture materialization data
rtfeldman May 3, 2026
9c52a03
Emit finite set erased adapters explicitly
rtfeldman May 3, 2026
cd780dd
Clarify eval runner shared memory boundary
rtfeldman May 3, 2026
8b66358
Publish promoted wrapper bridge plans
rtfeldman May 3, 2026
9f33930
Replace promoted wrapper bridges with payload transforms
rtfeldman May 3, 2026
4eb829e
Replace promoted wrapper bridge code with payload transforms
rtfeldman May 3, 2026
ee4507a
Lower promoted wrapper payload transforms
rtfeldman May 3, 2026
55f6bb2
Specify executable payload transform lowering
rtfeldman May 3, 2026
4ff9bc1
Align payload transform artifact structs
rtfeldman May 3, 2026
9412349
Lower directed box payload transforms
rtfeldman May 3, 2026
703e5b8
Lower tag payload transforms explicitly
rtfeldman May 3, 2026
56d9ac2
Lower list payload transforms explicitly
rtfeldman May 3, 2026
d83c676
Remove stale method lookup error names
rtfeldman May 3, 2026
a851501
Materialize erased callable captures explicitly
rtfeldman May 3, 2026
1b6ebe1
Materialize const instances before IR
rtfeldman May 3, 2026
9d4417f
Treat invalid LLVM layouts as invariants
rtfeldman May 3, 2026
ad7fe18
Lower recursive private capture references
rtfeldman May 3, 2026
2d48719
Separate erased callable capture materialization
rtfeldman May 3, 2026
682f5c4
Keep erased callables out of private captures
rtfeldman May 3, 2026
9574a8e
Reserve erased adapters from const materialization
rtfeldman May 3, 2026
f1c3452
Align capture materialization plan sketches
rtfeldman May 3, 2026
f4b826f
Specify source match IR lowering contract
rtfeldman May 3, 2026
c149987
Specify source match alternatives
rtfeldman May 3, 2026
35be093
Publish match alternative binder remaps
rtfeldman May 3, 2026
1aec37e
Carry match alternative remaps through MIR
rtfeldman May 3, 2026
8cce716
Lower source matches through executable decision plans
rtfeldman May 3, 2026
bc4f4db
Align executable value transform ownership
rtfeldman May 3, 2026
e563380
Add lambda-solved value transform boundaries
rtfeldman May 3, 2026
f27e3ba
Specify session value transform store
rtfeldman May 3, 2026
f281b40
Add session executable value transform store
rtfeldman May 3, 2026
8b81465
Name session transform endpoint owners
rtfeldman May 3, 2026
2720d47
Own session executable value transforms
rtfeldman May 3, 2026
ab4fb8c
Reserve lambda solve sessions before bodies
rtfeldman May 3, 2026
c30cb6b
Specify session transform finalization
rtfeldman May 3, 2026
e935add
Record explicit lambda call dispatch
rtfeldman May 3, 2026
668a1db
Name erased call argument endpoints
rtfeldman May 3, 2026
7918f67
Publish erased ABI payload stores
rtfeldman May 3, 2026
926a24b
Specify session executable payload ownership
rtfeldman May 3, 2026
7850395
Add session executable type payloads
rtfeldman May 3, 2026
089e8a8
Wire explicit executable value transforms
rtfeldman May 3, 2026
f56a439
Key executable type payload stores
rtfeldman May 3, 2026
58726ed
Clarify session endpoint payload ownership
rtfeldman May 3, 2026
be02dca
Use erased ABI payloads for promoted signatures
rtfeldman May 3, 2026
beb4e57
Verify session erased ABI payloads
rtfeldman May 3, 2026
99ae8a3
Lower direct calls through value transforms
rtfeldman May 3, 2026
23fc9f1
Finalize direct call value boundaries
rtfeldman May 3, 2026
9f6cd5a
Finalize erased call raw boundaries
rtfeldman May 3, 2026
615b0e9
Move callable match branch bodies into executable MIR
rtfeldman May 3, 2026
e65fe92
Consume explicit join transforms
rtfeldman May 3, 2026
2405f31
Apply explicit return transforms
rtfeldman May 3, 2026
67fba20
Add scoped transform child endpoints
rtfeldman May 3, 2026
73d6c34
Verify session transform scopes
rtfeldman May 3, 2026
ecb81f2
Plan recursive session value transforms
rtfeldman May 3, 2026
f3d8152
Plan callable capture transforms
rtfeldman May 3, 2026
f7e970a
Wire direct erased capture boundaries
rtfeldman May 3, 2026
46db6c7
Require preselected callable erasure plans
rtfeldman May 3, 2026
e0691bc
Publish lambda-solved representation roots
rtfeldman May 3, 2026
e542b75
Record lambda-solved representation edges
rtfeldman May 3, 2026
a27d30e
Link cross-procedure representation roots
rtfeldman May 3, 2026
687daca
Use explicit boxed payload representation endpoints
rtfeldman May 3, 2026
0f96615
Use target captures for erased proc reification
rtfeldman May 3, 2026
e0f1a41
Use SCC representation solve sessions
rtfeldman May 3, 2026
e8c7a60
Publish function representation roots
rtfeldman May 3, 2026
62ceb41
Qualify representation roots by instance
rtfeldman May 3, 2026
c461c0d
Defer lambda-solved instance sealing
rtfeldman May 3, 2026
d1c0f87
Solve lambda representation value classes
rtfeldman May 3, 2026
bd833b0
Defer call value dispatch selection
rtfeldman May 3, 2026
f338244
Keep call value dispatch builder-local
rtfeldman May 3, 2026
baea7e2
Verify sealed lambda representation data
rtfeldman May 3, 2026
950011d
Handle interpreted erased callable promotion
rtfeldman May 3, 2026
92b2c63
Publish platform provides through checked artifacts
rtfeldman May 3, 2026
daa2cfb
Canonicalize published requires metadata
rtfeldman May 3, 2026
c12eed8
Publish module interface capabilities
rtfeldman May 3, 2026
b64849a
Thread nominal source keys through MIR
rtfeldman May 3, 2026
5c02719
Model nominal payload capability refs
rtfeldman May 3, 2026
ea94b9a
Finalize boxed payload plans
rtfeldman May 3, 2026
ebb65fe
Publish lambda value occurrence edges
rtfeldman May 3, 2026
d695b38
Thread concrete source type store through MIR
rtfeldman May 3, 2026
7402cbd
Attach concrete source payloads to lambda values
rtfeldman May 3, 2026
3a82106
Carry explicit lambda value aliases
rtfeldman May 3, 2026
c8ca7a7
Resolve value aliases in compile-time plans
rtfeldman May 3, 2026
4bbaf94
Unify structural representation projections
rtfeldman May 3, 2026
63088d9
Carry join endpoints into executable payloads
rtfeldman May 3, 2026
51e0cd9
Attach projection metadata to values
rtfeldman May 3, 2026
c3f3bda
Publish session executable payloads
rtfeldman May 3, 2026
b0c38a8
Verify callable-set capture payload keys
rtfeldman May 3, 2026
79c08c8
Store published executable endpoints on values
rtfeldman May 3, 2026
9db549d
Publish artifact payloads from session endpoints
rtfeldman May 3, 2026
b3961ff
Publish solved root classes
rtfeldman May 3, 2026
b001013
Publish callable class emissions
rtfeldman May 3, 2026
5f2a6f5
Use solved element roots for list payloads
rtfeldman May 3, 2026
9cb80c3
Publish tag payload roots
rtfeldman May 3, 2026
94541b9
Remove type-only session endpoint export
rtfeldman May 3, 2026
fb86cd6
Publish root-aware executable payloads
rtfeldman May 4, 2026
7ff51ee
Represent vacant callable payload slots
rtfeldman May 4, 2026
537101b
Support schema-only callable capture slots
rtfeldman May 4, 2026
782d657
Exclude type-only callable schemas from reachable scans
rtfeldman May 4, 2026
45827c7
Cover schema-only callable captures
rtfeldman May 4, 2026
8e66da5
Lower terminating IR statements
rtfeldman May 4, 2026
2d407a8
Use checked ids for artifact value bindings
rtfeldman May 4, 2026
f201e8d
Carry low-level RC effects through lowering
rtfeldman May 4, 2026
7d13dad
Publish low-level value-flow signatures
rtfeldman May 4, 2026
cb4132b
Expose LIR write semantics for ARC
rtfeldman May 4, 2026
0b13c0c
Insert conservative LIR ARC statements
rtfeldman May 4, 2026
ef7deb4
Make low-level ARC retain effects explicit
rtfeldman May 4, 2026
c750fc1
Plan Box payload constants from MIR metadata
rtfeldman May 4, 2026
030ca30
Trim redundant erased signature inputs
rtfeldman May 4, 2026
39e67b9
Cover boxed promoted callable constants
rtfeldman May 4, 2026
8466f7c
Treat compile-time root failures as invariants
rtfeldman May 4, 2026
996679c
Use artifact-qualified const instances
rtfeldman May 4, 2026
27f15b7
Add compile-time dependency summary store
rtfeldman May 4, 2026
d28b981
Order compile-time roots by dependency summaries
rtfeldman May 4, 2026
7c06344
Record concrete compile-time dependencies
rtfeldman May 4, 2026
6c2137b
Attach dependency templates to callable eval roots
rtfeldman May 4, 2026
b94a925
Materialize compile-time root dependency graph
rtfeldman May 4, 2026
ff9b278
Type compile-time dependency specialization reasons
rtfeldman May 4, 2026
384e857
Verify generated const procedures are sealed
rtfeldman May 4, 2026
23bcd40
Verify instance dependency summaries exist
rtfeldman May 4, 2026
c52cf0d
Use neutral LIR ARC write metadata
rtfeldman May 4, 2026
238a89f
Delete unused checked wrapper body variants
rtfeldman May 4, 2026
1131c71
Consume explicit private const instances
rtfeldman May 4, 2026
5508594
Require requester-owned const instances in mono
rtfeldman May 4, 2026
211e5a8
Publish checked const eval templates
rtfeldman May 4, 2026
2a521fc
Reserve compile-time instances from requests
rtfeldman May 4, 2026
6b1177e
Classify roots from checked templates
rtfeldman May 4, 2026
8a43e9c
Seal callable eval dependencies
rtfeldman May 4, 2026
5a10a5f
Expose const eval entry templates
rtfeldman May 4, 2026
9ad1a5a
Document const eval entry templates
rtfeldman May 4, 2026
cae42da
Clarify baseline ARC insertion
rtfeldman May 4, 2026
1908a1c
Specify compile-time evaluation requests
rtfeldman May 4, 2026
26d8edc
Separate compile-time evaluation requests
rtfeldman May 4, 2026
ecfc6bc
Represent callable instance entrypoints explicitly
rtfeldman May 4, 2026
a899426
Factor compile-time request lowering
rtfeldman May 4, 2026
9007943
Split callable binding instance bodies
rtfeldman May 4, 2026
1b98480
Add promoted callable provenance
rtfeldman May 4, 2026
8171a06
Record payload refs in value-use templates
rtfeldman May 4, 2026
dc275cd
Seal callable binding instances explicitly
rtfeldman May 4, 2026
d53159c
Seal private capture const dependencies
rtfeldman May 4, 2026
6abcfdb
Instantiate const value graphs explicitly
rtfeldman May 4, 2026
7b491da
Prepare concrete compile-time dependencies
rtfeldman May 4, 2026
9e625fb
Record concrete compile-time dependency summaries
rtfeldman May 4, 2026
3bde279
Keep generic compile-time roots template-only
rtfeldman May 4, 2026
177451b
Track generated semantic procedures in instances
rtfeldman May 4, 2026
2ed6a12
Reserve concrete compile-time instance dependencies
rtfeldman May 4, 2026
08c6618
Remove playground ModuleEnv lowering input
rtfeldman May 4, 2026
4918c45
Build row-based source match decision plans
rtfeldman May 4, 2026
9b65d9c
Collect static dispatch compile-time dependencies
rtfeldman May 4, 2026
9c794c0
Prepare static dispatch compile-time dependencies
rtfeldman May 4, 2026
61bab47
Plan finite callable result captures from payloads
rtfeldman May 4, 2026
185177c
Plan callable captures from transformed endpoints
rtfeldman May 4, 2026
19aaf8f
Add callable-aware comptime dependency records
rtfeldman May 4, 2026
80dd3d4
Distinguish erased callable dependency code
rtfeldman May 4, 2026
6167768
Factor checked lowering through lambda-solved
rtfeldman May 4, 2026
90c01b9
Add lambda-solved comptime dependency summaries
rtfeldman May 4, 2026
c9b43f4
Carry pending const refs for comptime summaries
rtfeldman May 4, 2026
10a1dfd
Use solved summaries for comptime dependency preparation
rtfeldman May 4, 2026
b044984
Delete checked dependency summary templates
rtfeldman May 4, 2026
d4437e4
Clarify concrete comptime dependency summaries
rtfeldman May 4, 2026
4e1e185
Correct IPC runtime image documentation
rtfeldman May 4, 2026
6ca1bfa
Remove stale ownership boundary guard
rtfeldman May 4, 2026
037c40a
Clarify value graph dependency construction
rtfeldman May 4, 2026
1020f31
Gate MIR verifiers in debug builds
rtfeldman May 4, 2026
abac70e
Add boxed callable cutover eval fixtures
rtfeldman May 4, 2026
df6f753
Audit MIR cutover debug contracts
rtfeldman May 4, 2026
34d96c9
Verify executable MIR type placeholders
rtfeldman May 4, 2026
ec0afe0
Clarify LIR operation terminology in plan
rtfeldman May 4, 2026
d36c525
Clarify checked artifact pipeline in plan
rtfeldman May 4, 2026
af8ce6a
Continue MIR cutover eval fixes
rtfeldman May 4, 2026
f3e1011
Fix mono static dispatch type queries
rtfeldman May 5, 2026
7973bfd
Fix concrete type refs through return lowering
rtfeldman May 5, 2026
16d5a5a
Fix branch join executable endpoint ownership
rtfeldman May 5, 2026
de3023d
Bind local procedure definitions to requested types
rtfeldman May 5, 2026
c38b544
Use exact callable member targets
rtfeldman May 5, 2026
c6b70a2
Advance MIR cutover eval lowering
rtfeldman May 5, 2026
65d207b
Publish lifted direct-call metadata
rtfeldman May 6, 2026
e3cf019
Advance MIR erased callable cutover
rtfeldman May 7, 2026
34e3136
Persist promoted erased callable adapters
rtfeldman May 7, 2026
4b10b94
Document boxed erased callable payload layout
rtfeldman May 7, 2026
ae70d88
Implement erased callable payload layout groundwork
rtfeldman May 7, 2026
164c3b7
Add direct erased callable entry adapters
rtfeldman May 7, 2026
f8fd547
Implement boxed erased callable runtime layout
rtfeldman May 7, 2026
f3fa508
Align wasm boxed callable final drops
rtfeldman May 7, 2026
868a2db
Complete MIR boxed callable eval cutover
rtfeldman May 8, 2026
5bcb9fd
Advance checked artifact cutover repairs
rtfeldman May 9, 2026
bcc6851
Advance glue artifact publication cutover
rtfeldman May 9, 2026
0ad7289
Clarify checked artifact import and expect roots
rtfeldman May 9, 2026
f649eec
Publish imported relation closures explicitly
rtfeldman May 9, 2026
19d4aa3
Update erased callable ABI and glue pipeline
rtfeldman May 9, 2026
cb124df
Clarify compile-time callable publication
rtfeldman May 9, 2026
8e9a674
Fix callable publication and projection typing
rtfeldman May 9, 2026
10e5946
Publish projection transforms explicitly
rtfeldman May 9, 2026
0b0293a
Publish box erasure provenance for projections
rtfeldman May 9, 2026
1c2e085
Publish explicit Bool predicate discriminants
rtfeldman May 9, 2026
bfab013
Make ARC insertion stack-safe
rtfeldman May 9, 2026
a956d4b
Finish eval MIR cutover fixes
rtfeldman May 9, 2026
b71ded3
Advance MIR cutover eval fixes
rtfeldman May 9, 2026
76a4872
Add provided data export regression tests
rtfeldman May 10, 2026
11c77ae
Advance MIR cutover diagnostics and eval stability
rtfeldman May 10, 2026
16fcb34
Update C glue expected qualified host type
rtfeldman May 10, 2026
6ec03aa
Fix MIR eval callable artifacts and IR branch locals
rtfeldman May 10, 2026
5a4eab2
Emit provided constants as static data
rtfeldman May 10, 2026
58e72b3
Test readonly provided constants through host linking
rtfeldman May 10, 2026
fcd027e
Fix minici blockers
rtfeldman May 10, 2026
daa350c
Fix readonly static data Mach-O exports
rtfeldman May 10, 2026
cf4a823
Canonicalize callable construction targets
rtfeldman May 10, 2026
a9680d3
Validate platform relation types during check
rtfeldman May 10, 2026
8b7b18b
Rename representation groups and document reachability
rtfeldman May 10, 2026
6f18b97
Finalize constrained mono graph edges
rtfeldman May 10, 2026
2e39d9d
Fix mono callback payload finalization
rtfeldman May 11, 2026
b705118
Complete MIR cutover test fixes
rtfeldman May 11, 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
155 changes: 0 additions & 155 deletions .plan

This file was deleted.

4 changes: 4 additions & 0 deletions AGENTS.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# AGENTS

- Workarounds are categorically forbidden in this code base.
- Backends are categorically forbidden from thinking about reference counting in any way other than specifically dumbly following the explicit LIR `incref` and `decref` statements emitted by earlier compilation steps.
Loading
Loading