feat: experimental typechecker - #608

Merged

ryanatkn merged 105 commits into

mainfrom

Jul 28, 2026

Commits on Jul 10, 2026

docs: typechecker-branch commit regime — agent commits permitted on this worktree branch
ryanatkn
committed
feat: tsc_conformance query tool over tsgo baselines
ryanatkn
committed
feat: tsc_conformance errors.txt parser + renderer + roundtrip self-check (99.77%)
ryanatkn
committed
docs: tsc_conformance CLAUDE.md catalog entry
ryanatkn
committed
test: tsc_conformance renderer standalone-model tests
ryanatkn
committed
fix: recover nested related-info message chains in tsc_conformance (7017→7019, in-scope 100%)
ryanatkn
committed
feat: gate tsc_conformance roundtrip in deno task conformance + publish Step 3b
ryanatkn
committed
feat: carve the 14 pretty baselines out of tsc_conformance roundtrip scope (in-scope 100%)
ryanatkn
committed
docs: tsc_conformance roundtrip pretty carve-out (in-scope 100%)
ryanatkn
committed
feat: pretty/ANSI tsc_conformance baseline path — roundtrip 7033/7033, carve-out dissolved
ryanatkn
committed
feat: tsc_conformance index — corpus/directives/variants substrate, 3 gates pinned
ryanatkn
committed
test: pretty-path standalone render tests for unexercised branches + unit-system guard comments
ryanatkn
committed
fix: index gate 2 positional (name,body) via ported section-name resolution; count unknown includes; edge-semantics tests
ryanatkn
committed
feat: mint tsv_check — pipeline skeleton, diag sort/dedup ports, fused-walk lowering + tsc_conformance run/check-test
ryanatkn
committed
feat: bind-time conflict family — declareSymbolEx cascade, Excludes masks, family grading (match 414, extra 0)
ryanatkn
committed
feat: globals merge — reportMergeSymbolError path, TS2397/TS2664 close, lookupOrIssueError dedup, pinned related-info channel
ryanatkn
committed
fix: merge related-info model (fresh primary per merge, all-6203 uncapped), globalThis guard, ambient deferral, dead field
ryanatkn
committed
Merge branch 'main' into typechecker
ryanatkn
committed
feat: lib binding — LibBase per resolved set, cached bound lib products, lib-conflict family closes (match 425, lib missing 0)
ryanatkn
committed
feat: conformance:tsc-check gating leg — runner filters/manifest/report, Step 3b + doctor probes, committed report
ryanatkn
committed
format
ryanatkn
committed
docs: sweep repo docs for tsv_check/tsc_conformance reality — crate maps, leg lists, dep tenants, command catalogs
ryanatkn
committed

Commits on Jul 11, 2026

Commits on Jul 12, 2026

Commits on Jul 13, 2026

Commits on Jul 15, 2026

merge main
ryanatkn
committed

Commits on Jul 16, 2026

Merge branch 'main' into typechecker
ryanatkn
committed

Commits on Jul 18, 2026

Commits on Jul 22, 2026

merge main
ryanatkn
committed
pin status
ryanatkn
committed

Commits on Jul 23, 2026

Merge branch 'main' into typechecker
ryanatkn
committed

Commits on Jul 25, 2026

Commits on Jul 27, 2026

Merge branch 'main' into typechecker
ryanatkn
committed