SafeShape v3.1.0

SafeShape 3.1.0 expands the workflow for reviewing runtime contract changes across a TypeScript project.

• Project checks: contract check-many evaluates a manifest and aggregates compatibility, migration, manual-review and operational-error results.
• Concrete counterexamples: createContractCounterexamples() and --counterexamples generate bounded input witnesses for supported scalar and finite composite contracts, including objects, arrays and ordinary unions.
• Review artifacts: --markdown presents findings, migration suggestions, optional witnesses and batch HTTP roles in a shareable report.
• Correctness fixes: equal literals compare correctly in graph contracts; prototype-sensitive properties and definition ids are preserved across descriptions, snapshots and JSON Schema.

Default CLI reports and snapshot formats remain unchanged. Counterexample values are deeply immutable, and an unavailable witness never implies compatibility. Recursive references, opaque behavior and output-side synthesis remain outside the supported construction domain.

Review the 3.0 → 3.1 migration notes before replacing affected prototype-sensitive baselines. See counterexample limits and Markdown review usage.

All eight packages share version 3.1.0. Install the umbrella package with npm install safe-shape@3.1.0, or use the scoped packages individually.