// reference investigations

proof index

36 synthetic reference investigations — each page documents what the engines prove, links to downloadable fixture packs, and lets you build a case binder locally without uploading evidence. verified by npm run check:flagship.

flagship proofs (5)

M2 reference investigations — custom case-binder renderers, published goldens, and full proof narratives.

scenario proofs (31)

one proof page per fixture scenario — methodology article + synthetic pack + npm run check:flagship goldens. sorted alphabetically by case type.

ready