Proof packs v2 and role-based adapter routing

Release: InvarLock 0.3.7 - Scenario manifests, verdicts, reports, and notebook smoke checks

Highlights

• Role-based adapter routing (instead of model-name adapters).
• Proof packs v2 layout + scenario manifest + verdict generation.
• Reporting output refreshed, new CLI flags added, and notebook smoke checks protect examples.

0.3.7 is a workflow-shape release. Adapters moving to roles makes routing line up more closely with how people actually reason about model families, capabilities, and wiring: less model-name special-casing, more consistent behavior across causal and mixture-of-experts paths.

Proof packs also level up. The v2 layout, scenarios manifest, assurance verdict generation, tuned-params hygiene, baseline-report reuse, and better memory planning make the output easier to inspect and the suite easier to operate. The added run --edit-label and evaluate --baseline-report flags make those workflows more explicit at the CLI boundary.

Reporting gets a readability pass across Markdown, HTML, and glossary output, while the old “Safety report” language is replaced with “Evaluation report.” The release also broadens presets/overlays, improves Mixtral and weight-tying behavior, and adds notebook smoke checks so docs and examples do not quietly drift away from the CLI.

For the immutable release record, read the tagged CHANGELOG.md for v0.3.7.