feat(checker): split checker modules and preserve generic call types - #15

Open

metaphorics wants to merge 263 commits into

mainfrom

This pull request is big! We're only showing the most recent 250 commits

Commits on Aug 7, 2026

Commits on Aug 8, 2026

fix(bytecode): dedup EcmaString encode and fix From doc
metaphorics
committed
2253c20
fix(codegen): keep local lints with override comment
metaphorics
committed
b029c7b
fix(checker): guard rest param inference against out-of-bounds slice
metaphorics
committed
a06000c
fix(checker): preserve nested generic signatures during instantiation
metaphorics
committed
d32e228
fix(checker): sync type inventory with value inventory
metaphorics
committed
8dd71f0
fix(lint): replace trivial clean examples and add W087 coverage
metaphorics
committed
3dab197
fix(compiler): handle U+2028 and U+2029 line continuations
metaphorics
committed
2a851c0
perf(runtime): fix ephemeron loop double counting
metaphorics
committed
3ca6382
fix(runtime): remove pointless UTF-8 round-trip in host output
metaphorics
committed
3f89c12
perf(runtime): add non-cloning array length accessor
metaphorics
committed
b9c5a30
fix(verification): generate snapshot before verification run
metaphorics
committed
3cd07e3
fix(verification): gate real-root pin test on node_modules
metaphorics
committed
d3eb881
fix(codegen): update jit_memory test for retained mappings on failure
metaphorics
committed
bba9d9f
fix(lint, rules): make W059 clean example meaningful and fix its rule
metaphorics
committed
4821a2c
fix(runtime): use CreateDataProperty for JSON parse/stringify
metaphorics
committed
7bd8f30
style: cargo fmt
metaphorics
committed
7f3d400
fix(runtime): cache Uint8Array prototype in BuiltinTable
metaphorics
committed
62b7f01
fix(runtime): honor NewTarget for Uint8Array subclassing
metaphorics
committed
f923e48
fix(runtime): move Promise NUL-keyed statics to BuiltinTable
metaphorics
committed
658025c
fix(checker): handle union targets before strict-null leaf cases
metaphorics
committed
1ebab70
fix(checker): compare required arity on both signatures
metaphorics
committed
978a112
fix(checker): add coinductive depth guard for recursive relations
metaphorics
committed
2df2efe
fix(checker): handle rest param target in arity check
metaphorics
committed
4c09a19

Commits on Aug 9, 2026

fix(runtime): trace every cached builtin GC root
metaphorics
committed
1859d21
fix(node): tag timer arming generations
metaphorics
committed
c31c217
fix(runtime): settle Promise.all result capabilities directly
metaphorics
committed
4bc4b98
fix(runtime): make intrinsic GC roots exhaustive
metaphorics
committed
a8b773c
fix(runtime): iterate Uint8Array values lazily
metaphorics
committed
52b1fb6
perf(bamts-verification): reset peak RSS (VmHWM) before each benchmark repeat
metaphorics
committed
062ea1d
fix(bamts): mark Error and ResolutionError as #[non_exhaustive]
metaphorics
committed
b3638a6
checker: add borrowed check_source entry points
metaphorics
committed
41a6d47
style: format merged Rust fixes
metaphorics
committed
a9db377
feat(formal/lean): add moduleId to ShadowFrame ABI layout
metaphorics
committed
e7805a9
fix(cli): return TruncationNotice from render_report and surface it in CommandOutcome
metaphorics
committed
b24d611
test(compiler): remove vacuous emitter equivalence check
metaphorics
committed
1e50642
perf(bamts-compiler): build export-by-declaration index in namespace facts
metaphorics
committed
7bf75e6
fix(bamts-bytecode): bound resolve_export by total export count
metaphorics
committed
9dfc176
fix(cli): complete truncation notice propagation
metaphorics
committed
40934fa
feat(compiler): move semantic models through ProgramSemanticModel::remove_file
metaphorics
committed
89264c7
fix(compiler): remove dead namespace export accessor
metaphorics
committed
6715afc
style(compiler): format pipeline regression
metaphorics
committed
32b7fee
style(compiler): format namespace index tests
metaphorics
committed
097b74b
fix(verification): match diagnostic truncation field
metaphorics
committed
e2b7022
fix(bamts-verification): detect missing corpus worker response after exit 0
metaphorics
committed
2c1fef1
fix(npm): scope platform artifacts under @bamti and gate release with preflight
metaphorics
committed
0cacc95
feat(verification): route ledger serialization through write_to
metaphorics
committed
3c7fbf6
style(verification): format ledger writer tests
metaphorics
committed
10a0bd5
test(verification): avoid Debug bound in worker failure test
metaphorics
committed
c122957
fix(verification): import ledger writer flush trait
metaphorics
committed
5af8381
fix(formal/lean): explicit UTF-16 string constant codec in Bamti/Bytecode/Model
metaphorics
committed
d9631a5
fix(bamts-compiler): index resolved module edges and assert specifier mapping
metaphorics
committed
459e0a9
fix(rules): traverse JSX expressions in syntax lint
metaphorics
committed
e843133
fix(npm): block CLI publish until artifacts exist
metaphorics
committed
623e923
style(rules): format JSX traversal tests
metaphorics
committed
19d9de5
feat(verification): reject selected perf-budget slices without baseline
metaphorics
committed
23769e5
style(verification): format perf baseline test
metaphorics
committed
76c9460
feat(bytecode): require program entry index within envelope module bounds
metaphorics
committed
2fdef86
fix(rules): suppress W065 when declared return type admits absence
metaphorics
committed
85a4aa7
style(rules): format optional-return lint tests
metaphorics
committed
6f3d93f
fix(runtime): document and test runInNewContext shared intrinsics
metaphorics
committed
6c9df02
style(runtime): format vm context regression
metaphorics
committed
87d1cf6
fix(runtime): preserve explicit zero exit codes
metaphorics
committed
64a610a
feat(verification): kill whole worker process group on timeout (C2)
metaphorics
committed
53b8570
Cache Date/Map/Set/WeakMap/WeakSet prototypes in BuiltinTable
metaphorics
committed
591608b
driver: route all cache roots through one private validation path
metaphorics
committed
62530ea
G0.1: make Type wildcard fallbacks explicit or-patterns
metaphorics
committed
4e0b3c9
style: format merged campaign fixes
metaphorics
committed
7b4af02
test(cli): import Unix cache metadata extension
metaphorics
committed
4c580e1
build(verification): lock process-group dependency
metaphorics
committed
c7ad0bb
refactor(checker): retain object type signatures
metaphorics
committed
6443b72
refactor(checker): add tuple type representation
metaphorics
committed
816a7fd
refactor(checker): add intersection type representation
metaphorics
committed
ff31a95
refactor(checker): retain function overload signatures
metaphorics
committed
48ba2df
fix(verification): render extended checker types
metaphorics
committed
d51d3b7
fix(verification): reject harness-owned compiler arguments
metaphorics
committed
02125aa
perf(checker): cache JSX factory declarations
metaphorics
committed
de8f4ea
fix(checker): tolerate opaque JSX spreads
metaphorics
committed
2d2fa58
fix(checker): type JSX child spreads by element
metaphorics
committed
9107338
test(cli): create private scratch directories
metaphorics
committed
f65095b
fix(lower): keep nested namespaces in local bindings
metaphorics
committed
d4ab0a0
fix(runtime): unify global object authority
metaphorics
committed
1137a0d

Commits on Aug 10, 2026

refactor(checker): represent tuple shapes and applied class types
metaphorics
committed
1f9249e
fix(checker): evaluate numeric enum literals
metaphorics
committed
c91699a
fix(parser): disambiguate optional property lookahead
metaphorics
committed
12ee0e6
fix(lint): visit attribute initializer expressions
metaphorics
committed
0ff94eb
style(compiler): prefer empty-scope predicate
metaphorics
committed
e3e173f
fix(runtime): reject non-callable iterator return hooks
metaphorics
committed
886cda3
fix(runtime): preserve interval cancellation generations
metaphorics
committed
084e26e
refactor(runtime): package frame activation arguments
metaphorics
committed
fd394f0
fix(runtime): root iterator state across callbacks
metaphorics
committed
581b219
fix(runtime): thread generator resume mode through the suspend ABI
metaphorics
committed
a3bb09e
fix(runtime): isolate vm context globals
metaphorics
committed
3bec407

Commits on Aug 11, 2026

fix(runtime): preserve signed SameValue semantics
metaphorics
committed
83f0e17
fix(runtime): coerce apply array-like lengths observably
metaphorics
committed
f177c6b
fix(runtime): coerce Date constructor arguments observably
metaphorics
committed
6b6dee7
fix(runtime): interleave Array.from iteration and mapping
metaphorics
committed
6f77832
fix(runtime): close collection iterators on abrupt completion
metaphorics
committed
4c098f9
fix(runtime): interleave Uint8Array reads and coercion
metaphorics
committed
1c2c558
fix(runtime): install standard Promise combinators
metaphorics
committed
9bf9c88
build(verification): register process-group safety boundary
metaphorics
committed
24f0e8c
fix(cli): harden private cache roots
metaphorics
committed
17030e3
fix(cli): enforce clean frontend diagnostics
metaphorics
committed
a6493ff
style(compiler): normalize enum plan test formatting
metaphorics
committed
1dfc122
fix(runtime): canonicalize regexp string flags
metaphorics
committed
5c119a7
refactor(cli): route explain through the driver
metaphorics
committed
74be29e
test(cli): run node vm coverage through jit
metaphorics
committed
26f3050
docs(facade): state JavaScript compatibility policy
metaphorics
committed
dcdd0e3
fix(runtime): stream Set constructor values
metaphorics
committed
de5563a
fix(runtime): stream Object.fromEntries
metaphorics
committed
7c751c7
fix(runtime): root collection construction state
metaphorics
committed
1e1efbd
fix(runtime): reject weak structured clones
metaphorics
committed
1a2eee3
fix(runtime): inherit Uint8Array length
metaphorics
committed
e5654ac
fix(compiler): honor JavaScript checking policy
metaphorics
committed
6eb0979
fix(checker): match runtime globals
metaphorics
committed
ab11b24
fix(checker): diagnose non-iterable for-of
metaphorics
committed
d76b146
fix(checker): type array indexed access
metaphorics
committed
6d71722
fix(checker): preserve class expression types
metaphorics
committed
033bf43
fix(checker): type optional calls
metaphorics
committed
2c789a9
fix(checker): validate type-reference arguments
metaphorics
committed
5324c57
fix(checker): validate interface inheritance
metaphorics
committed
a87cc61
fix(checker): require derived constructor super
metaphorics
committed
ce87956
fix(checker): diagnose annotated return fallthrough
metaphorics
committed
c4d18c4
fix(checker): reject abstract construction
metaphorics
committed
266eb50
fix(checker): skip generator body fallthrough
metaphorics
committed
2a830e1
fix(checker): check fresh object excess properties
metaphorics
committed
c6b9070
fix(checker): accept fresh properties for empty targets
metaphorics
committed
5438d23
fix(checker): cook fresh object property keys
metaphorics
committed
be4ca1d
fix(checker): substitute complete generic constraints
metaphorics
committed
78af093
fix(checker): reject optional inherited overrides
metaphorics
committed
46aeaf6
fix(checker): track labeled completion flow
metaphorics
committed
c58289c
fix(checker): check generator completion fallthrough
metaphorics
committed
fe9b60d
fix(checker): ignore unreachable switch breaks
metaphorics
committed
a397069
fix(checker): preserve surrogate property keys
metaphorics
committed
445a653
refactor(runtime): share ECMAScript number formatting
metaphorics
committed
526521c
fix(checker): preserve generator completion semantics
metaphorics
committed
119029a
refactor(compiler): reuse ECMAScript number formatting
metaphorics
committed
269f507
fix(checker): await async return expressions
metaphorics
committed
5ab86af
fix(checker): preserve structural iterator contracts
metaphorics
committed
f0fca6f
fix(parser): bind type operators below postfix types
metaphorics
committed
7570e0c
fix(checker): distinguish iterator absence from element errors
metaphorics
committed
334feb9
fix(checker): preserve imported class type identities
metaphorics
committed
f6e15af
fix(checker): combine covariant inference evidence
metaphorics
committed
42579ec
refactor(checker): carry async iterator metadata
metaphorics
committed
c6e306c
feat(checker): bind async iterator protocols
metaphorics
committed
a49a234
feat(checker): resolve for-await iterator protocols
metaphorics
committed
5bc4fc6
fix(checker): model intrinsic iterator protocols
metaphorics
committed
efc735c
fix(checker): infer generator protocol types
metaphorics
committed
a2f36d4
fix(checker): preserve noncompletion inference contexts
metaphorics
committed
f5cb175
fix(compiler): load declaration overlays for runtime imports
metaphorics
committed
28f599e

Commits on Aug 12, 2026

fix(checker): relate constrained indexed accesses
metaphorics
committed
3179dcc
fix(checker): defer recursive class views
metaphorics
committed
08f59c7
fix(checker): model polymorphic this types
metaphorics
committed
14c014f
fix(checker): defer class constraint validation
metaphorics
committed
b5cee64
fix(verification): render polymorphic this types
metaphorics
committed
a8c1319
fix(checker): accept ambient function declarations
metaphorics
committed
a26ae81
fix(checker): recognize AbortSignal type
metaphorics
committed
14be1d3
fix(checker): relate arrays to iterable protocols
metaphorics
committed
15fb59a
fix(checker): infer structural iterable yields
metaphorics
committed
17204cf
docs(audience): ground developer context
metaphorics
committed
af8c472
docs(npm): correct pre-release CLI status
metaphorics
committed
364bb0e
fix(checker): allow class methods in declarations
metaphorics
committed
341c151
docs(npm): reflect published shim status
metaphorics
committed
12dca3b
docs(contributing): define local verification workflow
metaphorics
committed
61eaa7c
docs(architecture): map compiler component boundaries
metaphorics
committed
0dab1cd
docs(verification): state evidence scope and limits
metaphorics
committed
cdc1838
docs(reference): document CLI and diagnostics
metaphorics
committed
d032c53
docs(tutorial): add verified source quickstart
metaphorics
committed
abe1daa
docs(readme): clarify scope and working path
metaphorics
committed
0f96c23
fix(checker): honor TypeScript error directives
metaphorics
committed
166ae69
fix(checker): terminate recursive comparable relations
metaphorics
committed
dccd1ee
test(corpus): budget valita debug execution
metaphorics
committed
832c810
test(native): probe cross-platform Node strings
metaphorics
committed
5164733
test(native): cover environment serialization
metaphorics
committed
c7f292d
refactor(cli): isolate invocation process context
metaphorics
committed
7ac6f29
fix(cli): populate JIT process environment
metaphorics
committed
b3e8fc9
refactor(cli): expose buffered invocation
metaphorics
committed
9e06bcf
feat(cancel): add invocation cancellation token
metaphorics
committed
46a1f93

Commits on Aug 13, 2026

feat(compiler): complete native TypeScript pipeline
metaphorics
committed
28f31fa
Merge remote-tracking branch 'origin/main' into HEAD
metaphorics
committed
45f28e6
fix(npm): preserve scoped CLI artifact contracts
metaphorics
committed
910e710