mockA list of hand-authored verifier sessions on a fixture codebase. The substrate and verifier are real (ag-tower); session capture + replay ships in Q4 2026. Click replay on any row to open the SessionInspector overlay (W8-B; stubbed until wave-closer rewires).
sessions
8
all-proved
4
some-suspended
2
some-refuted
2
8 sessions
- AMay 415:32warehouse/marts/marketing_export.sqlby alex5 properties newly proved, 0 refuted, 412ms✓ annotation✓ annotationall proved
- PMay 414:11warehouse/marts/marketing_export.sqlby priya3 properties newly proved, 1 newly refuted, 503ms✓ refactorsome refuted
- MMay 413:05ai-provenance/annex_iv_export.tsby marcus2 properties newly proved, 2 suspended, 891ms✓ domainsome suspended
- YMay 411:48warehouse/dim/users.sqlby yuki12 properties newly proved, 0 refuted, 178ms✓ annotation✓ annotation✓ annotationall proved
- SMay 410:32policies/pii_never_marketing.vericby sam1 property added, 1 newly proved, 0 refuted, 298ms✓ propertyall proved
- AMay 318:20fhir/lab_results_pipeline.tsby alex4 properties newly proved, 1 refuted, 612ms✓ refactor✓ annotationsome refuted
- PMay 314:37solidity/AMM/swap.solby priya8 properties newly proved, 2 suspended, 1.2s✓ domain✓ annotationsome suspended
- MMay 309:02warehouse/marts/revenue_attribution.sqlby marcus6 properties newly proved, 0 refuted, 234ms✓ annotation✓ refactorall proved