Evidence / Benchmarks Saved proof bundles

Selected runs. Available evidence.

Benchmark Dashboard

Inspect recorded candidate repairs, checks, and verdicts from selected controlled scenarios.

READ-ONLY EVIDENCE

These selected historical runs do not measure general repair accuracy or predict rerun outcomes.

Benchmark Overview

All selected scenarios · unaffected by filters
Selected Controlled Scenarios
9
One selected run per scenario
Readable Proof Bundles
7
7 of 9 selected scenarios have readable evidence matching the expected repository
VERIFIED
6
Recorded functional requirements passed, with no recognized verification-integrity review flags or violations detected.
REVIEW_REQUIRED
1
Functional requirements passed, but recorded verification-integrity concerns require human review.
FAILED
0
Completed verification did not meet the recorded acceptance conditions.
No Verdict / Unavailable Evidence
2
0 without a verdict · 2 unavailable
Verified Outcomes
66.7%
6 VERIFIED / 9 selected scenarios
Recorded Test Execution Time
26.99 s
21 recorded command durations across 7 scenarios; excludes untimed stages

Verdict Distribution

9 selected scenarios
  • VERIFIED666.7%
  • REVIEW_REQUIRED111.1%
  • FAILED00%
  • No Verdict / Unavailable Evidence222.2%

Reading the evidence

One selected mission per scenario.

Verified Outcomes is VERIFIED results divided by all selected scenarios, expressed as a percentage. Missing evidence and missions without a verdict remain in that denominator.

Recorded Test Execution Time adds available saved test command durations. It does not measure total mission duration.

No Verdict Recorded: No saved verdict is available. The mission may have stopped early, or its evidence may be unreadable. Unavailable evidence is not a FAILED verdict.

VERIFIED applies to the recorded requirements and integrity checks. It does not guarantee correctness beyond that scope or human approval.

Selected test scenarios

Controlled Benchmarks

Each scenario links to one specific historical run. New attempts do not replace these selections; unavailable evidence stays listed.

9 scenarios

Showing 9 of 9 selected scenarios

Execution status and repair verdict are separate; failed execution may have no verdict
Selected controlled scenarios and available evidence. Baseline Match means the configured failure expectations were met. Recorded test time sums available baseline, post-repair, and repository test script durations.
Scenario / RepositoryExecution StatusRepair VerdictBaseline MatchPost-Repair CheckRepository TestsIntegrity StatusRecorded Test TimeEvidence
Array Boundaryprahans/patchverdict-array-boundaryRecorded:
Technical Details
Mission ID
web-5e60fb32-602e-4bf3-9707-d58bbb6168bd
Changed files
1
Base commit
e73248184ca7a6cefc25ee04d882f2047cc48350
Investigation iterations
4
Baseline command time
1.29 s
Post-repair command time
1.18 s
Repository test script time
1.21 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED3.67 s3/3 command durationsView Evidence
Average Calculationprahans/patchverdict-simple-bugRecorded:
Technical Details
Mission ID
web-69465de5-6600-42b8-96ec-8fb49fe24c72
Changed files
1
Base commit
9be58de11c552b8011426896393210014956ee04
Investigation iterations
5
Baseline command time
1.12 s
Post-repair command time
1.08 s
Repository test script time
1.06 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED3.26 s3/3 command durationsView Evidence
Boolean Conditionprahans/patchverdict-boolean-conditionRecorded:
Technical Details
Mission ID
web-b1439d1c-7727-4b7f-a8d2-367ceae8a8e4
Changed files
1
Base commit
1016bd789831f795cfb414e733550b90afc5a462
Investigation iterations
3
Baseline command time
1.34 s
Post-repair command time
1.29 s
Repository test script time
2.37 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED5 s3/3 command durationsView Evidence
Conflicting Contractprahans/patchverdict-conflicting-contractRecorded: Unavailable

The configured mission was not found in local output.

Technical Details
Mission ID
web-2ccc4208-f66c-4526-9abf-78470c206b5f
Changed files
Unavailable
Base commit
Unavailable
Investigation iterations
Unavailable
Baseline command time
Unavailable
Post-repair command time
Unavailable
Repository test script time
Unavailable
Overall mission duration
Unavailable
UnavailableNo Verdict RecordedUnavailableUnavailableUnavailableUnavailableUnavailable0/3 command durationsUnavailable
Division by Zeroprahans/patchverdict-divide-by-zeroRecorded:
Technical Details
Mission ID
web-42a66b12-7219-4d6e-a799-c49f797aa13d
Changed files
1
Base commit
f2b1a27dbea7dec90dbb7d8c8ba04e00af536a98
Investigation iterations
4
Baseline command time
1.27 s
Post-repair command time
1.36 s
Repository test script time
1.26 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED3.89 s3/3 command durationsView Evidence
Off-by-One Rangeprahans/patchverdict-off-by-oneRecorded:
Technical Details
Mission ID
web-4ac3cf2d-4bdd-4c96-b73b-dabca9c82109
Changed files
1
Base commit
e2fc49af003df0234fdeb126fcb5b84eae5a532b
Investigation iterations
6
Baseline command time
1.33 s
Post-repair command time
2.13 s
Repository test script time
1.29 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED4.75 s3/3 command durationsView Evidence
Subscription Clock Fixtureprahans/patchverdict-clock-fixtureRecorded: Unavailable

The configured mission was not found in local output.

Technical Details
Mission ID
web-77de52c4-47aa-4480-955c-760a7c28b270
Changed files
Unavailable
Base commit
Unavailable
Investigation iterations
Unavailable
Baseline command time
Unavailable
Post-repair command time
Unavailable
Repository test script time
Unavailable
Overall mission duration
Unavailable
UnavailableNo Verdict RecordedUnavailableUnavailableUnavailableUnavailableUnavailable0/3 command durationsUnavailable
Test State Leakprahans/patchverdict-test-state-leakRecorded:
Technical Details
Mission ID
web-d59e040c-e511-4d9e-bd6b-7cb6bfdd645d
Changed files
1
Base commit
1fa2153bd4c940fa37ece47e4d3813e4daff5749
Investigation iterations
4
Baseline command time
787 ms
Post-repair command time
742 ms
Repository test script time
778 ms
Overall mission duration
Unavailable
COMPLETEDREVIEW_REQUIREDMatchedPassedPassedREVIEW_REQUIRED2.31 s3/3 command durationsView Evidence
Username Normalizationprahans/patchverdict-string-normalizationRecorded:
Technical Details
Mission ID
debug-normalization-01
Changed files
1
Base commit
5e42f38c3a6b639735c0af9c4ae60d4fad0ceb84
Investigation iterations
3
Baseline command time
1.1 s
Post-repair command time
1.9 s
Repository test script time
1.09 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED4.1 s3/3 command durationsView Evidence

Baseline Match checks configured failure expectations, not the cause of failure. PRESERVED means no recognized integrity concerns were detected. Recorded test time sums available command durations (up to 3 per mission). Partial timing is shown as recorded. Overall mission duration is listed separately in Technical Details when available.

Saved attempt history

Recorded Mission History

Browse saved mission attempts, including recorded verdicts, failed executions, and unavailable evidence.

9 missions
This page checks for newly saved records while it is open. Benchmark totals remain based on the 9 selected runs. Records refresh every 30 seconds while this page is visible. Multiple runs for a repository remain separate records.
History shows up to 100 saved attempts from a scan of up to 500 directory entries and may be incomplete. Active filters can hide results.

Showing 9 of 9 recorded missions

Execution status and repair verdict are separate; failed execution may have no verdict
Saved mission attempts and unavailable records; new runs do not change benchmark totals. Baseline Match means the configured failure expectations were met. Recorded test time sums available baseline, post-repair, and repository test script durations.
Scenario / RepositoryExecution StatusRepair VerdictBaseline MatchPost-Repair CheckRepository TestsIntegrity StatusRecorded Test TimeEvidence
web-d8fe1d8a-638f-4b06-9a40-e591791d7379prahans/patchverdict-divide-by-zeroweb-d8fe1d8a-638f-4b06-9a40-e591791d7379Recorded:
Technical Details
Mission ID
web-d8fe1d8a-638f-4b06-9a40-e591791d7379
Changed files
1
Base commit
f2b1a27dbea7dec90dbb7d8c8ba04e00af536a98
Investigation iterations
4
Baseline command time
1.07 s
Post-repair command time
1.19 s
Repository test script time
1.02 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED3.29 s3/3 command durationsView Evidence
web-cf5130e4-5e16-4517-b118-6c7118324376prahans/patchverdict-divide-by-zeroweb-cf5130e4-5e16-4517-b118-6c7118324376Recorded:
Technical Details
Mission ID
web-cf5130e4-5e16-4517-b118-6c7118324376
Changed files
Unavailable
Base commit
f2b1a27dbea7dec90dbb7d8c8ba04e00af536a98
Investigation iterations
Unavailable
Baseline command time
1.12 s
Post-repair command time
Unavailable
Repository test script time
Unavailable
Overall mission duration
Unavailable
FAILEDNo Verdict RecordedMatchedUnavailableUnavailableUnavailable1.12 s1/3 command durationsView Evidence
web-d59e040c-e511-4d9e-bd6b-7cb6bfdd645dprahans/patchverdict-test-state-leakweb-d59e040c-e511-4d9e-bd6b-7cb6bfdd645dRecorded:
Technical Details
Mission ID
web-d59e040c-e511-4d9e-bd6b-7cb6bfdd645d
Changed files
1
Base commit
1fa2153bd4c940fa37ece47e4d3813e4daff5749
Investigation iterations
4
Baseline command time
787 ms
Post-repair command time
742 ms
Repository test script time
778 ms
Overall mission duration
Unavailable
COMPLETEDREVIEW_REQUIREDMatchedPassedPassedREVIEW_REQUIRED2.31 s3/3 command durationsView Evidence
web-69465de5-6600-42b8-96ec-8fb49fe24c72prahans/patchverdict-simple-bugweb-69465de5-6600-42b8-96ec-8fb49fe24c72Recorded:
Technical Details
Mission ID
web-69465de5-6600-42b8-96ec-8fb49fe24c72
Changed files
1
Base commit
9be58de11c552b8011426896393210014956ee04
Investigation iterations
5
Baseline command time
1.12 s
Post-repair command time
1.08 s
Repository test script time
1.06 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED3.26 s3/3 command durationsView Evidence
web-4ac3cf2d-4bdd-4c96-b73b-dabca9c82109prahans/patchverdict-off-by-oneweb-4ac3cf2d-4bdd-4c96-b73b-dabca9c82109Recorded:
Technical Details
Mission ID
web-4ac3cf2d-4bdd-4c96-b73b-dabca9c82109
Changed files
1
Base commit
e2fc49af003df0234fdeb126fcb5b84eae5a532b
Investigation iterations
6
Baseline command time
1.33 s
Post-repair command time
2.13 s
Repository test script time
1.29 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED4.75 s3/3 command durationsView Evidence
debug-normalization-01prahans/patchverdict-string-normalizationdebug-normalization-01Recorded:
Technical Details
Mission ID
debug-normalization-01
Changed files
1
Base commit
5e42f38c3a6b639735c0af9c4ae60d4fad0ceb84
Investigation iterations
3
Baseline command time
1.1 s
Post-repair command time
1.9 s
Repository test script time
1.09 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED4.1 s3/3 command durationsView Evidence
web-b1439d1c-7727-4b7f-a8d2-367ceae8a8e4prahans/patchverdict-boolean-conditionweb-b1439d1c-7727-4b7f-a8d2-367ceae8a8e4Recorded:
Technical Details
Mission ID
web-b1439d1c-7727-4b7f-a8d2-367ceae8a8e4
Changed files
1
Base commit
1016bd789831f795cfb414e733550b90afc5a462
Investigation iterations
3
Baseline command time
1.34 s
Post-repair command time
1.29 s
Repository test script time
2.37 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED5 s3/3 command durationsView Evidence
web-5e60fb32-602e-4bf3-9707-d58bbb6168bdprahans/patchverdict-array-boundaryweb-5e60fb32-602e-4bf3-9707-d58bbb6168bdRecorded:
Technical Details
Mission ID
web-5e60fb32-602e-4bf3-9707-d58bbb6168bd
Changed files
1
Base commit
e73248184ca7a6cefc25ee04d882f2047cc48350
Investigation iterations
4
Baseline command time
1.29 s
Post-repair command time
1.18 s
Repository test script time
1.21 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED3.67 s3/3 command durationsView Evidence
web-42a66b12-7219-4d6e-a799-c49f797aa13dprahans/patchverdict-divide-by-zeroweb-42a66b12-7219-4d6e-a799-c49f797aa13dRecorded:
Technical Details
Mission ID
web-42a66b12-7219-4d6e-a799-c49f797aa13d
Changed files
1
Base commit
f2b1a27dbea7dec90dbb7d8c8ba04e00af536a98
Investigation iterations
4
Baseline command time
1.27 s
Post-repair command time
1.36 s
Repository test script time
1.26 s
Overall mission duration
Unavailable
COMPLETEDVERIFIEDMatchedPassedPassedPRESERVED3.89 s3/3 command durationsView Evidence

Baseline Match checks configured failure expectations, not the cause of failure. PRESERVED means no recognized integrity concerns were detected. Recorded test time sums available command durations (up to 3 per mission). Partial timing is shown as recorded. Overall mission duration is listed separately in Technical Details when available.