{ "version": 1, "updated": "2026-10-04", "mode": "recorded", "incidents": [ { "incident": "IF-001", "run_id": "b2-if-001-20261004T083619Z-fb280e", "title": "The charge that happened twice", "backend": "nebius-sandbox", "decision": "accept_for_review", "calls": 9, "estimated_usd": 0.00845, "verified_events": 64, "candidate_revision": "9781dd47c2a24c388ec249ae1f56fdd877a5c3c721ebb723eefcd4389078ef1e", "observations": [ { "condition": "same_key_sequential", "committed_charge_count": 1, "http_statuses": [ 201, 200 ] }, { "condition": "same_key_restart", "committed_charge_count": 1, "http_statuses": [ 201, 200 ] }, { "condition": "same_key_concurrent", "committed_charge_count": 1, "http_statuses": [ 201, 200 ] }, { "condition": "different_keys", "committed_charge_count": 2, "http_statuses": [ 201, 201 ] } ], "hypotheses": [ { "mechanism": "missing durable payment key leads to duplicate charge after restart", "confidence_basis": "static_scope" }, { "mechanism": "retry logic re-executes charge after restart due to uncommitted state", "confidence_basis": "static_scope" } ], "regression_tests": [ { "kind": "authored", "assertions": [ { "condition": "payment response loss", "equals": 1, "name": "single_attempt", "path": "order.attempts" } ], "baseline_assessment": null }, { "kind": "execution", "passed": false, "assertions": [ { "actual": 2, "expected": 1, "name": "single_attempt", "passed": false, "path_found": true } ] }, { "kind": "authored", "assertions": [ { "condition": "payment response loss", "equals": 2, "name": "attempts_two", "path": "order.attempts" } ], "baseline_assessment": { "authored": true, "assertions": [ { "name": "attempts_two", "passed": true, "actual": 2, "expected": 2, "path_found": true } ], "passed": true, "scope": "Developer assertions only; independent protected verdict unchanged." }, "baseline_assessment_provenance": "Post-run assessment against retained original observations; not recorded during the run." }, { "kind": "execution", "passed": true, "assertions": [ { "actual": 2, "expected": 2, "name": "attempts_two", "passed": true, "path_found": true } ] } ], "final_authored_tests_passed": true, "patch_lines": [ "- o['payment_key']=str(uuid.uuid4())", "+ o['payment_key']=o.get('payment_key') or str(uuid.uuid4())" ], "properties": { "P1": [ "pass", "pass", "pass", "pass", "pass", "pass" ], "P2": [ "pass", "pass", "pass", "pass", "not_applicable", "pass" ], "P3": [ "pass", "pass", "pass", "pass", "pass", "pass" ], "P4": [ "pass", "pass", "pass", "pass", "pass", "pass" ], "P5": [ "pass", "pass", "pass", "pass", "pass", "pass" ], "P6": [ "pass", "not_applicable", "not_applicable", "not_applicable", "pass", "not_applicable" ], "P7": [ "pass", "pass", "pass", "pass", "pass", "pass" ] }, "protected_cases": 6, "judge_note": "Repair passed declared development checks. Causal prose is not independently validated.", "scope": "Recorded development run, not a T8 final comparison." }, { "incident": "IF-002", "run_id": "b2-if-002-20261004T111830Z-d03bc1", "title": "The reservation that never cleared", "backend": "nebius-sandbox", "decision": "accept_for_review", "calls": 8, "estimated_usd": 0.011955, "verified_events": 56, "candidate_revision": "77b5c8d44d10131e63de77a697e81763737a551f8515e9032e677586de22cd96", "observations": [ { "condition": "no_restart", "order_status": "CANCELLED_DECLINED", "available_stock": { "A": 10, "B": 10 } }, { "condition": "order_restart", "order_status": "COMPENSATING", "available_stock": { "A": 9, "B": 10 } }, { "condition": "no_restart", "order_status": "CANCELLED_DECLINED", "available_stock": { "A": 10, "B": 10 } }, { "condition": "order_restart", "order_status": "COMPENSATING", "available_stock": { "A": 9, "B": 10 } }, { "condition": "release_replay", "available_stock": { "A": 10, "B": 10 } }, { "condition": "release_replay_inventory_restart", "available_stock": { "A": 10, "B": 10 } } ], "hypotheses": [ { "mechanism": "persistent_compensation_state", "confidence_basis": "logic_persistence" }, { "mechanism": "lost_compensation_state", "confidence_basis": "state_reset" } ], "regression_tests": [ { "kind": "authored", "assertions": [ { "condition": "no_restart", "equals": "CANCELLED_DECLINED", "name": "decline completes", "path": "order.status" }, { "condition": "order_restart", "equals": "CANCELLED_DECLINED", "name": "decline completes after restart", "path": "order.status" } ], "baseline_assessment": { "assertions": [ { "actual": "CANCELLED_DECLINED", "expected": "CANCELLED_DECLINED", "name": "decline completes", "passed": true, "path_found": true }, { "actual": "COMPENSATING", "expected": "CANCELLED_DECLINED", "name": "decline completes after restart", "passed": false, "path_found": true } ], "authored": true, "passed": false, "scope": "Developer assertions only; independent protected verdict unchanged." } }, { "kind": "execution", "passed": true, "assertions": [ { "actual": "CANCELLED_DECLINED", "expected": "CANCELLED_DECLINED", "name": "decline completes", "passed": true, "path_found": true }, { "actual": "CANCELLED_DECLINED", "expected": "CANCELLED_DECLINED", "name": "decline completes after restart", "passed": true, "path_found": true } ] } ], "final_authored_tests_passed": true, "patch_lines": [ "- if phase=='COMPENSATING' and o['order_id'] not in self.pending_compensations:", "- return", "+ # Allow compensation to proceed without pending_compensations guard" ], "properties": { "P1": [ "pass", "pass", "pass", "pass", "pass", "pass", "pass", "pass" ], "P2": [ "pass", "pass", "pass", "pass", "not_applicable", "pass", "pass", "pass" ], "P3": [ "pass", "pass", "pass", "pass", "pass", "pass", "pass", "pass" ], "P4": [ "pass", "pass", "pass", "pass", "pass", "pass", "pass", "pass" ], "P5": [ "pass", "pass", "pass", "pass", "pass", "pass", "pass", "pass" ], "P6": [ "pass", "not_applicable", "not_applicable", "not_applicable", "pass", "not_applicable", "not_applicable", "pass" ], "P7": [ "pass", "pass", "pass", "pass", "pass", "pass", "pass", "pass" ] }, "protected_cases": 8, "judge_note": "Repair passed declared development checks. Causal prose is not independently validated.", "scope": "Recorded development run, not a T8 final comparison." } ], "campaign": { "status": "completed_with_unknown_usage", "planned_runs": 12, "launched_runs": 12, "unlaunched_runs": 0, "ranking_supported": false, "stop_reason": "All 12 scheduled attempts completed. Unknown provider usage is retained at its full reservation; no failed attempts were replaced.", "accepted_final_repairs": 2, "final_candidates_evaluated": 4 }, "cells": [ { "incident": "IF-001", "variant": "B0", "launched": 2, "accepted": 1 }, { "incident": "IF-001", "variant": "B1", "launched": 2, "accepted": 0 }, { "incident": "IF-001", "variant": "B2", "launched": 2, "accepted": 0 }, { "incident": "IF-002", "variant": "B0", "launched": 2, "accepted": 0 }, { "incident": "IF-002", "variant": "B1", "launched": 2, "accepted": 0 }, { "incident": "IF-002", "variant": "B2", "launched": 2, "accepted": 1 } ], "attempts": [ { "slot": 1, "incident": "IF-001", "variant": "B0", "final_decision": "unresolved", "reason": "RuntimeError: format/action correction limit" }, { "slot": 2, "incident": "IF-001", "variant": "B1", "final_decision": "unresolved", "reason": "RuntimeError: format/action correction limit" }, { "slot": 3, "incident": "IF-001", "variant": "B2", "final_decision": "unresolved", "reason": "RuntimeError: format/action correction limit" }, { "slot": 4, "incident": "IF-002", "variant": "B1", "final_decision": "unresolved", "reason": "TimeoutError: Inference wall-time cap; usage unknown, no retry" }, { "slot": 5, "incident": "IF-002", "variant": "B2", "final_decision": "accept_for_review", "reason": "All declared protected development checks passed." }, { "slot": 6, "incident": "IF-002", "variant": "B0", "final_decision": "unresolved", "reason": "TimeoutError: Inference wall-time cap; usage unknown, no retry" }, { "slot": 7, "incident": "IF-001", "variant": "B1", "final_decision": "unresolved", "reason": "TimeoutError: Inference wall-time cap; usage unknown, no retry" }, { "slot": 8, "incident": "IF-001", "variant": "B2", "final_decision": "unresolved", "reason": "RuntimeError: format/action correction limit" }, { "slot": 9, "incident": "IF-001", "variant": "B0", "final_decision": "accept_for_review", "reason": "All declared protected development checks passed." }, { "slot": 10, "incident": "IF-002", "variant": "B2", "final_decision": "reject_behavior", "reason": "Protected development validation did not accept the candidate; inspect case evidence." }, { "slot": 11, "incident": "IF-002", "variant": "B0", "final_decision": "reject_behavior", "reason": "Protected development validation did not accept the candidate; inspect case evidence." }, { "slot": 12, "incident": "IF-002", "variant": "B1", "final_decision": "unresolved", "reason": "RuntimeError: format/action correction limit" } ], "limitations": [ "Development runs are separate from the frozen comparison.", "Two synthetic defect implementations; finite checks are not a correctness proof.", "GitHub Pages serves recorded evidence. Live execution requires the local controller and credentials.", "IF-002 restarts Inventory and Order to discard queued pre-crash requests." ] }