Polygraph/Polygen 2.0.0

The derived artifact moves from the bare next() contract to the SAM v2 strict profile (@cognitive-fab/sam-pattern 2.0.0): named intents with schemas and finite payload domains, keyed acceptors, observable reject(reason), and a sealed model. The 1.x pipeline stays available end-to-end via --legacy-bare-next for one release.

Highlights

• Step-classified replay triage: rejected(reason) / identity-by-mutation / mutated / unhandled per window, with unexplained unhandled a first-class finding
• Zero-config model checking: exploration domains from the spec's own manifest, determinism double-pass on every check
• --tla: mechanical SAM-to-TLA+ transpilation checked by TLC, folded into the report
• Polygen authors v2 modules with retry-on-truncation, classification/determinism repair feedback, and validate() stage gates
• Release gate: seeded-bug A/B eval (m01-m08) ships at parity or better in both arms at two model tiers (haiku-4.5, fable-5), zero dead specs
• 142 selftest checks; new worked examples turnstile-v2 and etcd-raft-v2

Grounded in the SysMoBench study "Load-Bearing for Verification, Not for Robustness" and sam-lib issues #20-#24, #29, #31.