ir: check the IR is usable, recover the enums WA composes, and pin the bootloader map - #37

Merged

jlucaso1 merged 46 commits into

mainfrom

Jul 29, 2026

Commits on Jul 28, 2026

ci: check the IR is internally consistent, not just well-shaped
jlucaso1
committed
enums: resolve the ones WA composes instead of declares
jlucaso1
committed
enums: use ? for the unbound-operand path clippy flagged
jlucaso1
committed
notif: read the three action shapes that were deferred, and state the boundary
jlucaso1
committed
fetch: pin what the bootloader yielded, not just what it produced
jlucaso1
committed
review: report unknown field types, keep the pins on an empty run, fold child optionality
jlucaso1
committed
review: ratchet the baseline, widen the linter's reach, and fix three pin defects
jlucaso1
committed
fix: gate the bootloader lock update with the feature its function lives behind
jlucaso1
committed
review: pin only wasm handles, accumulate them, and refuse a rebound enum name
jlucaso1
committed
review: keep the bootloader map within one release, and check WAM's enum links
jlucaso1
committed
review: accumulate the handle map on the productive path too
jlucaso1
committed
review: close the guard, scope and catalog gaps the last round left open
jlucaso1
committed
review: bound the callback recursion, scope parameters, and check what an empty catalog hides
jlucaso1
committed
review: version-scope the cache handles, close two shadow holes, tighten three checks
jlucaso1
committed
review: keep spans with the buffer they index, and bind every parameter pattern
jlucaso1
committed
review: pin every aliasing handle, refuse a shadowed callee, require two more shapes
jlucaso1
committed
review: stop the linter crashing on the malformed IR it exists to catch
jlucaso1
committed
review: keep the lockfile inside the CDN allowlist, and stop refusing terminal aliases
jlucaso1
committed
review: baseline unresolved enums by identity, not by total
jlucaso1
committed
review: prefer the callee the caller bound, and check three more IR shapes
jlucaso1
committed
review: pre-register hoisted bindings, and check five more IR shapes
jlucaso1
committed
review: rebind the context on the other expansion path, and fix the proto scan
jlucaso1
committed
review: key unresolved enums by semantic path, and hoist var bindings too
jlucaso1
committed
review: keep parameter-local writes local, and let scoping give the lexical answer
jlucaso1
committed
review: cross-reference appstate collections, and close two gaps in this file's own checks
jlucaso1
committed
review: keep a destructured shadow lexical, and drop a rebound handle's stale alias
jlucaso1
committed
review: model the mutation extends performs, and tombstone rejected handle ids
jlucaso1
committed
test: cover all three loop-header forms, not just for-of
jlucaso1
committed
review: build the tombstone from pre-filter ids, and hoist only what var hoists
jlucaso1
committed
review: restrict exports to the module object, and reconcile aliases against observed ids
jlucaso1
committed
review: give every lexical construct a scope, and stop the linter crashing on four more shapes
jlucaso1
committed
review: pin the proto path the IR actually writes, and count unresolved enums again
jlucaso1
committed
review: one lexical collector for all four scopes, and scalar fallbacks count as absence
jlucaso1
committed
review: resolve the value payload against the proto, and tombstone the last cache path
jlucaso1
committed

Commits on Jul 29, 2026