ADR-0019 (proposal): static verification backstop for generated code - #158

Merged

koydas merged 14 commits into

mainfrom

claude/adr-static-verification-backstop

Jul 27, 2026

Commits on Jul 27, 2026

docs(adr): propose static verification backstop for generated code

koydas
and
claude
committed
d9bc70e
fix(adr): address review feedback on ADR-0019 proposal

koydas
and
claude
committed
71bfceb
fix(adr): resolve remaining inconsistencies in ADR-0019

koydas
and
claude
committed
2208627
Merge remote-tracking branch 'origin/main' into claude/adr-static-verification-backstop
koydas
committed
388c4e1
fix(adr): scope import check to added specifiers, fix auto-fix gate boundary

koydas
and
claude
committed
54447a7
fix(adr): account for missing dependency installation before tsc

koydas
and
claude
committed
e58f0de
fix(adr): flag workspace-nested manifests and remove contradicted build-knowledge claim

koydas
and
claude
committed
9d8e289
fix(adr): require --ignore-scripts and a pre-generation snapshot for the install step

koydas
and
claude
committed
15c61eb
Merge remote-tracking branch 'origin/main' into claude/adr-static-verification-backstop
koydas
committed
ed21193
fix(adr): correct snapshot sequencing for the import allowlist check

koydas
and
claude
committed
7cb7382
fix(adr): exempt relative imports and compare diagnostic identity not count

koydas
and
claude
committed
866fa03
fix(adr): normalize subpath imports, verify program coverage, require frozen installs

koydas
and
claude
committed
b18b0de
fix(adr): exempt configured import aliases, fix line-number-fragile diagnostic identity

koydas
and
claude
committed
04190f7
fix(adr): correct factual claim that abort-controller doesn't exist

koydas
and
claude
committed
a9153d8

Navigation Menu

ADR-0019 (proposal): static verification backstop for generated code - #158

ADR-0019 (proposal): static verification backstop for generated code#158
koydas merged 14 commits into
mainfrom
claude/adr-static-verification-backstop

Commits on Jul 27, 2026

docs(adr): propose static verification backstop for generated code

fix(adr): address review feedback on ADR-0019 proposal

fix(adr): resolve remaining inconsistencies in ADR-0019

Merge remote-tracking branch 'origin/main' into claude/adr-static-verification-backstop

fix(adr): scope import check to added specifiers, fix auto-fix gate boundary

fix(adr): account for missing dependency installation before tsc

fix(adr): flag workspace-nested manifests and remove contradicted build-knowledge claim

fix(adr): require --ignore-scripts and a pre-generation snapshot for the install step

Merge remote-tracking branch 'origin/main' into claude/adr-static-verification-backstop

fix(adr): correct snapshot sequencing for the import allowlist check

fix(adr): exempt relative imports and compare diagnostic identity not count

fix(adr): normalize subpath imports, verify program coverage, require frozen installs

fix(adr): exempt configured import aliases, fix line-number-fragile diagnostic identity

fix(adr): correct factual claim that abort-controller doesn't exist