RFC: Structured verification results (export-json) - #4727

Open

ivmat wants to merge 16 commits into

model-checking:mainfrom

ivmat:rfc-export-json

Commits on Aug 24, 2026

RFC: Structured verification results (export-json)
ivmat
committed
91822e6
Fill in the RFC PR number
ivmat
committed
508826a
Finalize export-json RFC as 0015 and apply review fixes
ivmat
committed
547bad5
Fix resolved_unwind domain claim (per-lens review)
ivmat
committed
a27cb30
Recast the RFC against the merged #4472 implementation
ivmat
committed
2cd007d
Bring the RFC prose into line with the RFC book
ivmat
committed
7f0f9d1

Commits on Aug 25, 2026

Reconcile the existing-directory rule and list the completeness question
ivmat
committed
15d9ce5

Commits on Aug 27, 2026

Restore tool versions and add a stable harness selector
ivmat
committed
2e6cf78
Fix pass on RFC 0015 from two-model review synthesis
ivmat
committed
b40357c
RFC 0015: second fix pass from cold-panel synthesis
ivmat
committed
0f4a1b7
RFC 0015: fix run-level CRASHED contradiction, add extensibility note
ivmat
committed
3576428
RFC 0015: editorial de-verbosing pass (prose ~-32%)
ivmat
committed
72a9caf

Commits on Aug 28, 2026

Commits on Sep 7, 2026

RFC 0015: address the three Copilot review comments
ivmat
committed
902daa5

Commits on Sep 8, 2026

RFC 0015: correct factual statements against source (deep self-review)
ivmat
committed
bed020f