Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
718 commits
Select commit Hold shift + click to select a range
01ea9ce
Freeze monotype typed facts before lowering
rtfeldman Apr 9, 2026
d896330
Publish logical layout facts during lambdamono finalization
rtfeldman Apr 9, 2026
cb868ef
Make explicit list and CFG bridge facts flow through LIR
rtfeldman Apr 9, 2026
36f6580
Publish explicit logical runtime bridge classes
rtfeldman Apr 9, 2026
b4048fa
Compile boxed lambdas as erased callables
rtfeldman Apr 9, 2026
5cc7147
Lower hosted procs as explicit bodyless facts
rtfeldman Apr 9, 2026
eacf4f0
Make List.append reserve before unsafe append
rtfeldman Apr 9, 2026
513d011
Remove final audit cleanup residue
rtfeldman Apr 9, 2026
748eb13
Introduce checker solved CIR boundary
rtfeldman Apr 10, 2026
44e601d
Move monotype expr lowering onto solved CIR wrappers
rtfeldman Apr 10, 2026
4abe81b
Make solved CIR the monotype input contract
rtfeldman Apr 10, 2026
78f2ea7
Use solved-node vars throughout monotype
rtfeldman Apr 10, 2026
2004a92
Read monotype CIR data through solved wrappers
rtfeldman Apr 10, 2026
8e7c13b
Delete monotype settled var type side table
rtfeldman Apr 10, 2026
a2825b5
Mark typed CIR boundary migration complete
rtfeldman Apr 10, 2026
3756c1a
Rename checker boundary to MIR
rtfeldman Apr 10, 2026
617b39f
Route monotype raw store reads through MIR
rtfeldman Apr 10, 2026
80dbcdf
Make MIR own checker boundary data
rtfeldman Apr 10, 2026
2606cca
Make monotype consume MIR services directly
rtfeldman Apr 10, 2026
8989231
Remove ModuleEnv escape hatches from MIR lowering
rtfeldman Apr 10, 2026
64ccc06
Publish MIR before monotype lowering
rtfeldman Apr 10, 2026
44dcf42
Publish typed CIR without duplicate MIR storage
rtfeldman Apr 10, 2026
4b2501e
Keep published typed CIR immutable
rtfeldman Apr 10, 2026
7942394
Rename published boundary to typed CIR
rtfeldman Apr 10, 2026
ef3f83f
Require ownership transfer for published typed CIR
rtfeldman Apr 10, 2026
e7ee235
Refine monotype source var scoping
rtfeldman Apr 10, 2026
d6fdbad
Publish explicit numeric parse ops
rtfeldman Apr 10, 2026
66a165f
Fix monotype seeded specialization and generic dispatch
rtfeldman Apr 10, 2026
7cbe1b1
Use fresh specialization caches for monotype call scopes
rtfeldman Apr 10, 2026
f5e3051
Preserve nominal identity in monotype types
rtfeldman Apr 10, 2026
fc559c7
Carry exact seeds through monotype specialization
rtfeldman Apr 10, 2026
795d92c
Own source type cloning in monotype
rtfeldman Apr 10, 2026
fe7e062
Route method target lookup through typed CIR
rtfeldman Apr 10, 2026
1f877e5
Tighten monotype source type alignment
rtfeldman Apr 10, 2026
b2f3031
Publish monotype dispatch targets from source facts
rtfeldman Apr 10, 2026
a0a816f
Finalize typed CIR dispatch fact publication
rtfeldman Apr 10, 2026
6b6682e
Fix erasure overlay cycles and list layout bridging
rtfeldman Apr 11, 2026
0d4c1c8
Mark cor-style monotype plan complete
rtfeldman Apr 11, 2026
2a6ee9e
Align monotype pipeline with typed CIR outputs
rtfeldman Apr 11, 2026
ab5ae2f
Port legacy eval tests to LIR runner
rtfeldman Apr 11, 2026
dc872b3
Port remaining eval tests
rtfeldman Apr 11, 2026
470b938
Refactor eval pipeline and fix repl test leaks
rtfeldman Apr 11, 2026
4555bc4
Fix REPL snapshots and interpreter dispatch
rtfeldman Apr 11, 2026
c6fdf1e
Merge origin/main
rtfeldman Apr 11, 2026
e98993f
Fix wasm eval pipeline and Str.from_utf8 handling
rtfeldman Apr 11, 2026
e2dd6f8
Fix dev str_from_utf8 layout args; add wasm list_concat import
rtfeldman Apr 11, 2026
d31e4c0
Fix wasm struct field layout and empty list zeroing
rtfeldman Apr 11, 2026
b29f8d2
Fix wasm tag union layout and switch masking
rtfeldman Apr 11, 2026
7718c25
Fix nominal equality lowering and wasm bytebox offsets
rtfeldman Apr 12, 2026
1aaf55b
Fix CLI build and dev evaluator pipeline
rtfeldman Apr 12, 2026
86ae887
Fix erased capture box layout
rtfeldman Apr 13, 2026
cd73c29
Fix boxed lambda erasure typing and eval tests
rtfeldman Apr 13, 2026
b07d6d8
Preserve record field order in lambdamono
rtfeldman Apr 13, 2026
d8b2b0f
Fix comptime eval isolation and zst layout handling
rtfeldman Apr 13, 2026
eddfe3f
Remove interpreter panics
rtfeldman Apr 13, 2026
72720f3
Remove unused assignment suppressions
rtfeldman Apr 14, 2026
009766e
WIP: from_numeral propagation and test adjustments
rtfeldman Apr 14, 2026
23ef43d
Fix tag pattern lowering and branch error reporting
rtfeldman Apr 14, 2026
7008238
Fix ignored return values for Zig 0.15
rtfeldman Apr 14, 2026
f88c606
Stabilize eval backends and build fixes
rtfeldman Apr 14, 2026
a291c79
Fix LIR ownership propagation and interpreter struct semantics
rtfeldman Apr 14, 2026
4d47ef7
Improve LIR ownership modeling for loop-carried values
rtfeldman Apr 15, 2026
41bc6b9
Before centalizing refcounting in LIR
rtfeldman Apr 15, 2026
65a1be3
Harden ownership boundary enforcement scaffolding
rtfeldman Apr 15, 2026
5a425d9
Wire ownership boundary checks into build graph
rtfeldman Apr 15, 2026
a7169c8
Separate explicit and builtin RC choke points
rtfeldman Apr 15, 2026
a85c750
Classify layout refcount queries by ownership boundary
rtfeldman Apr 15, 2026
d446216
Make ownership boundary checker pass structurally
rtfeldman Apr 15, 2026
d30bd87
Wire ownership boundary scaffold tests into build
rtfeldman Apr 15, 2026
d61c361
Record ownership migration inventory
rtfeldman Apr 15, 2026
7ee6f99
Thread explicit ownership payloads through LIR
rtfeldman Apr 15, 2026
a518019
Consume retained-borrow facts from LIR
rtfeldman Apr 15, 2026
3bfd750
Publish explicit low-level ownership summaries
rtfeldman Apr 15, 2026
80dd630
Publish explicit ref ownership in LIR
rtfeldman Apr 15, 2026
24b8190
Publish explicit for-list element ownership
rtfeldman Apr 15, 2026
07d77db
Remove for-list ownership logic from runtimes
rtfeldman Apr 15, 2026
8eaa01f
Remove copied-element retains from backends
rtfeldman Apr 15, 2026
995ecad
Remove box ownership logic from backends
rtfeldman Apr 15, 2026
3b7adc2
Tighten interpreter explicit bridge coercions
rtfeldman Apr 15, 2026
28a693f
Route ordinary interpreter bridges through explicit coercions
rtfeldman Apr 15, 2026
e3dae61
Harden backend RC choke points
rtfeldman Apr 15, 2026
2b6e7a5
Mark aggregate coercion helpers as forbidden paths
rtfeldman Apr 15, 2026
7d6ff6c
Keep ownership lint aligned with raw RC emitters
rtfeldman Apr 15, 2026
0836823
Enforce aggregate coercion boundaries structurally
rtfeldman Apr 15, 2026
a42680e
Separate list shape data from builtin RC metadata
rtfeldman Apr 15, 2026
09c9d86
Tighten ownership lint around raw refcount queries
rtfeldman Apr 15, 2026
cb46fe5
Rename dev raw RC pointer helper
rtfeldman Apr 15, 2026
5ed5578
Rename interpreter raw RC engine
rtfeldman Apr 15, 2026
185908c
Rename wasm raw RC helper emitter
rtfeldman Apr 15, 2026
33a161d
Refresh ownership migration inventory
rtfeldman Apr 15, 2026
fa01732
Name wasm list RC metadata as builtin-internal
rtfeldman Apr 15, 2026
7c53804
Rename wasm raw RC helper traversal
rtfeldman Apr 15, 2026
400e528
Document interpreter aggregate coercion boundary
rtfeldman Apr 15, 2026
98e76e3
Classify dev helper-address plumbing as builtin-internal
rtfeldman Apr 15, 2026
9a71d1f
Rename wasm raw direct RC planner
rtfeldman Apr 15, 2026
3cb578b
Scan dev helper-address plumbing in boundary lint
rtfeldman Apr 15, 2026
bb0d543
Clarify structural LIR ownership test goals
rtfeldman Apr 15, 2026
44a0608
Correct box materialization ownership contracts
rtfeldman Apr 15, 2026
01c20db
Remove low-level explicit-summary escape hatch
rtfeldman Apr 15, 2026
8fce5ea
Classify wasm helper-body RC routines as builtin-internal
rtfeldman Apr 15, 2026
539e34a
Classify dev helper-body RC routines as builtin-internal
rtfeldman Apr 15, 2026
a5a9bc5
Rename interpreter raw RC plan walker
rtfeldman Apr 15, 2026
1bcda4f
Scan interpreter raw RC plan walker in boundary lint
rtfeldman Apr 15, 2026
70a35a7
Rename RC helper compilation infrastructure
rtfeldman Apr 15, 2026
3de7f13
Scan RC helper compilation infrastructure in boundary lint
rtfeldman Apr 15, 2026
5bfe475
Rename forbidden aggregate coercion island
rtfeldman Apr 15, 2026
6fbd37b
Align ownership inventory with forbidden aggregate names
rtfeldman Apr 15, 2026
29bb430
Rename wasm child-drop helper infrastructure
rtfeldman Apr 15, 2026
df13df0
Delete dead aggregate ownership escape hatches
rtfeldman Apr 15, 2026
3cbf27e
Centralize backend list helper ABI facts
rtfeldman Apr 15, 2026
6873a83
Publish RC helper plans through layout store
rtfeldman Apr 15, 2026
5c3404b
Publish shared list helper ABI in layout store
rtfeldman Apr 15, 2026
dd6eac9
Publish shared box helper ABI in layout store
rtfeldman Apr 15, 2026
d2c4b99
Drive wasm list teardown from explicit list plans
rtfeldman Apr 15, 2026
9553185
Close phase 3 ownership migration inventory
rtfeldman Apr 15, 2026
914d453
Restore build after ownership centralization
rtfeldman Apr 15, 2026
2ec3104
Fix wasm recursive RC helper lowering
rtfeldman Apr 15, 2026
2f0dea1
Lower REPL backends for their actual target size
rtfeldman Apr 15, 2026
9f9dccd
Fix proc-boundary ownership publication
rtfeldman Apr 15, 2026
aa9b421
Tighten LIR ownership propagation
rtfeldman Apr 15, 2026
fef76cf
Fix owner-based RC drops in statement LIR
rtfeldman Apr 15, 2026
8befad5
Tighten ownership roots and erroneous branch lowering
rtfeldman Apr 15, 2026
71b03b9
Rebuild legacy shim runtime state
rtfeldman Apr 15, 2026
69878ab
Fix hosted ownership and big string literals
rtfeldman Apr 15, 2026
b3ed141
Fix explicit ownership transfer through mutable locals
rtfeldman Apr 15, 2026
7a4d659
Preserve nominal metadata through lowering
rtfeldman Apr 15, 2026
c52e6fb
Refine projection materialization ownership
rtfeldman Apr 15, 2026
5acf74d
Fix str_concat ownership contract in LIR pipeline
rtfeldman Apr 15, 2026
52fcc70
Split exact and source-symbol lambdamono lookups
rtfeldman Apr 16, 2026
8421ec9
Checkpoint tuple-match lowering work
rtfeldman Apr 16, 2026
3a1a38d
Replace monotype stores with direct cor-style types
rtfeldman Apr 16, 2026
ab56689
Source call result types directly from solved input
rtfeldman Apr 16, 2026
218ef43
Use solved call argument facts directly in monotype
rtfeldman Apr 16, 2026
3519d89
Delete dead monotype function-shape helpers
rtfeldman Apr 16, 2026
5776161
Collapse monotype function-arity wrappers
rtfeldman Apr 16, 2026
7b17036
Delete dead monotype workspace-bind subsystem
rtfeldman Apr 16, 2026
90db84d
Delete dead monotype arg-lookup wrapper
rtfeldman Apr 16, 2026
48ed337
Stop silently deduping post-check tag unions
rtfeldman Apr 16, 2026
0827280
Require pre-sorted solved lambda sets and captures
rtfeldman Apr 16, 2026
82e5432
Rename post-check type interning caches
rtfeldman Apr 16, 2026
9904c1c
Remove monotype tag and record normalization on read
rtfeldman Apr 16, 2026
cb33bca
Require pre-sorted record facts in later lowerers
rtfeldman Apr 16, 2026
6690c39
Inline monotype type-scope state
rtfeldman Apr 16, 2026
e35a07a
Trim leftover scope-state workspace naming
rtfeldman Apr 16, 2026
d6fbee2
Drop canonical naming from monotype scope alignment
rtfeldman Apr 16, 2026
c12405d
Rename post-check layout and clone-inst layers
rtfeldman Apr 16, 2026
7c7a250
Delete monotype method-resolution fallback paths
rtfeldman Apr 16, 2026
c554ae7
Delete persistent monotype clone-cache state
rtfeldman Apr 16, 2026
7acd25f
Delete dead monotype alignment subsystem
rtfeldman Apr 16, 2026
3f57cda
Delete persistent monotype instantiator state
rtfeldman Apr 16, 2026
49fb7d5
Clarify monotype source-var instantiation path
rtfeldman Apr 16, 2026
5abc044
Rename monotype clone-inst entrypoints
rtfeldman Apr 16, 2026
4e22c85
Drop stale publication terminology in lambdamono
rtfeldman Apr 16, 2026
1806f18
Drop stale clone-specific type-scope naming
rtfeldman Apr 16, 2026
ea44db7
Finish monotype clone-inst terminology cleanup
rtfeldman Apr 16, 2026
799e2c8
Rename monotype checker snapshots explicitly
rtfeldman Apr 16, 2026
95b545d
Inline monotype top-level snapshot restoration
rtfeldman Apr 16, 2026
f0a0c0e
Delete monotype dispatch fallback path
rtfeldman Apr 16, 2026
9811dd9
Tighten cor-style monotype solved-var transport
rtfeldman Apr 16, 2026
8b98931
Move source function-shape facts to typed cir
rtfeldman Apr 16, 2026
9fdd7da
Forbid monotype source-side function-store walks
rtfeldman Apr 16, 2026
09b4fb9
Delete monotype instantiated function walkers
rtfeldman Apr 16, 2026
482029b
Prune monotype source-var transport wrappers
rtfeldman Apr 16, 2026
763c98e
Drop publication terminology from lambdamono lowering
rtfeldman Apr 16, 2026
989dd8e
Rename typed cir module constructor
rtfeldman Apr 16, 2026
02d23ce
Route monotype source facts through typed cir
rtfeldman Apr 16, 2026
44c39d2
Move more source queries behind typed cir
rtfeldman Apr 16, 2026
c186d37
Move top-level source-name lookup into typed cir
rtfeldman Apr 16, 2026
22d2da3
Move external ident lookup behind typed cir
rtfeldman Apr 16, 2026
82ceaa1
Resolve list nominal identity through typed cir
rtfeldman Apr 16, 2026
c8d7b00
Move attached-method lookup behind typed cir
rtfeldman Apr 16, 2026
06ab7b2
Delete unreachable direct-match todo branches
rtfeldman Apr 16, 2026
1ed643d
Move top-level source-name lookup behind typed cir
rtfeldman Apr 16, 2026
a0fca11
Remove monotype attached-method wrapper layer
rtfeldman Apr 16, 2026
6794645
Move required lookup resolution behind typed cir
rtfeldman Apr 16, 2026
3691472
Index typed cir modules and top-level defs
rtfeldman Apr 16, 2026
765646e
Use exact typed-cir method identities for nominal inspect
rtfeldman Apr 16, 2026
3484ccc
Forbid text lookups outside typed cir
rtfeldman Apr 16, 2026
14754f9
Keep list slice bound idents explicit in monotype
rtfeldman Apr 16, 2026
3e8fe9d
wip
rtfeldman Apr 16, 2026
b140c2f
Delete post-check method resolution
rtfeldman Apr 16, 2026
8c3f7aa
Implement lazy specialization-time method resolution
rtfeldman Apr 16, 2026
d23209f
Remove legacy method resolution residue
rtfeldman Apr 16, 2026
c39555f
Delete remaining legacy method resolution machinery
rtfeldman Apr 16, 2026
0c9415e
Delete all remaining method resolution traces
rtfeldman Apr 16, 2026
185641e
Remove old method-resolution terminology
rtfeldman Apr 16, 2026
e645a71
Restore checking infrastructure after resolution cleanup
rtfeldman Apr 16, 2026
21bf8ef
Rename local dispatch to arrow call
rtfeldman Apr 16, 2026
284beea
Complete lazy specialization-time method resolution
rtfeldman Apr 17, 2026
51875ff
Keep higher-order calls direct through monotype lowering
rtfeldman Apr 17, 2026
2a8599d
Keep cross-module higher-order calls direct
rtfeldman Apr 17, 2026
98d17e0
Add higher-order call erasure coverage
rtfeldman Apr 17, 2026
9c16037
Unify ordinary and method call specialization
rtfeldman Apr 17, 2026
872b6bf
Lower nominal equality only when an attached method exists
rtfeldman Apr 17, 2026
da1efaf
Fix method-call type contamination in lambdamono
rtfeldman Apr 17, 2026
502535b
Fix recursive payload lowering and leak cleanup
rtfeldman Apr 17, 2026
66d4171
Checkpoint wasm shared-tail investigation
rtfeldman Apr 17, 2026
e965283
Explicitize shared switch tails after RC insertion
rtfeldman Apr 17, 2026
5aff716
Checkpoint monotype scoping and shared tails
rtfeldman Apr 17, 2026
8902f52
Unify method and call application lowering
rtfeldman Apr 17, 2026
8d86f38
Make lambda-set captures the sole solved capture source
rtfeldman Apr 17, 2026
b2d79fb
Make solved lambda-set captures authoritative
rtfeldman Apr 17, 2026
dabcbe1
Finalize solved-capture ownership in lambdamono
rtfeldman Apr 17, 2026
0d93890
Finish solved-capture ownership in callable lowering
rtfeldman Apr 17, 2026
df4b918
Fix eval and LSP regressions after method cleanup
rtfeldman Apr 18, 2026
e146985
Fix post-check architecture build step
rtfeldman Apr 18, 2026
070d07e
Rewrite post-check architecture check in Perl
rtfeldman Apr 18, 2026
bf43390
Delete plan.md
rtfeldman Apr 18, 2026
26f549c
Restore some pipeline logging
rtfeldman Apr 18, 2026
deb5221
Fix closure inference and call bridges
rtfeldman Apr 18, 2026
f555231
Freeze call specialization by solved world
rtfeldman Apr 18, 2026
3afe43f
Checkpoint frozen-world eval narrowing
rtfeldman Apr 18, 2026
9abb5b9
Checkpoint frozen-world specialization fixes
rtfeldman Apr 18, 2026
bb8f72e
Checkpoint nested capture specialization fixes
rtfeldman Apr 18, 2026
5227a9e
Fix solved type snapshot span invalidation
rtfeldman Apr 18, 2026
40313e5
Fix CI regressions after main merge
rtfeldman Apr 18, 2026
115da6e
Restore derive key inspector naming
rtfeldman Apr 18, 2026
3e9c473
Restore missing builtin derive inputs
rtfeldman Apr 18, 2026
6630e03
Fix persistent wasm eval ownership and allocator reuse
rtfeldman Apr 18, 2026
c8c6ae1
Fix CI regressions after merge
rtfeldman Apr 18, 2026
8afd3b2
Fix Windows ignored return values in CLI and test harness
rtfeldman Apr 18, 2026
cc47d7c
Fix Windows console mode restore return handling
rtfeldman Apr 18, 2026
62e4ec1
Fix remaining Windows API return handling
rtfeldman Apr 18, 2026
036a803
Fix remaining CI regressions in dispatch and bytebox
rtfeldman Apr 18, 2026
b75e0e1
Format monotype lowering changes
rtfeldman Apr 18, 2026
e5bb427
Delete some planning files
rtfeldman Apr 19, 2026
4fa6856
Make branch expectations explicit in checker
rtfeldman Apr 19, 2026
54d2143
Checkpoint call-lowering and CI fixes
rtfeldman Apr 19, 2026
e477b4f
Merge branch 'fix-type-checking' into codex/remove-lir-for-loop
rtfeldman Apr 19, 2026
7536366
Fix low-level typing after checker merge
rtfeldman Apr 19, 2026
4b5715a
Checkpoint dev backend RC helper debugging
rtfeldman Apr 19, 2026
91239e3
Checkpoint dev backend field-access debugging
rtfeldman Apr 19, 2026
09a16f0
Checkpoint backend and method-lowering fixes
rtfeldman Apr 19, 2026
1885d26
Checkpoint explicit method-fn target plumbing
rtfeldman Apr 19, 2026
aaf9c62
Checkpoint explicit method-fn target plumbing
rtfeldman Apr 19, 2026
ebab925
Checkpoint post-solve method target refactor
rtfeldman Apr 19, 2026
09b78b9
Carry explicit method call target kinds
rtfeldman Apr 19, 2026
0de293f
Resolve methods from solved callable facts
rtfeldman Apr 19, 2026
83027f2
Make structural equality explicit in CIR
rtfeldman Apr 19, 2026
6f2bfb7
Port N-ary lambda lowering into monotype
rtfeldman Apr 19, 2026
28a0378
Port N-ary function shapes through solved types
rtfeldman Apr 19, 2026
7dcad35
Finish N-ary lambdamono call lowering
rtfeldman Apr 19, 2026
cff6fcb
Make method calls use explicit solved callable candidates
rtfeldman Apr 19, 2026
3b97acd
Refine dispatch constraints before exact specialization
rtfeldman Apr 20, 2026
242c3d9
Unify hosted executable boundary signatures
rtfeldman Apr 20, 2026
e2fc5bc
Make specialization queue own proc signatures
rtfeldman Apr 20, 2026
51fcb29
Preserve checked expr facts through monotype
rtfeldman Apr 21, 2026
f44f228
Fix retained numeric facts in polymorphic bodies
rtfeldman Apr 21, 2026
87ba341
Preserve numeric facts and boxed callable shapes
rtfeldman Apr 21, 2026
f96873e
Fix abstract record equality lowering
rtfeldman Apr 21, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
155 changes: 0 additions & 155 deletions .plan

This file was deleted.

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

- Workarounds are categorically forbidden in this code base.
- Fallbacks are categorically forbidden in every stage of compilation other than specifically parsing and error reporting.
- Heuristics are categorically forbidden in every stage of compilation other than specifically parsing and error reporting.
- Every compiler stage other than specifically parsing and error reporting must consume explicit facts produced by earlier stages rather than trying to recover, guess, reconstruct, approximate, or "best effort" its way to missing information.
- 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