{
  "issue": 302,
  "ruling": "FB4BCXZD",
  "producer_agreement": "O3QMSWHR",
  "status": "ANALYZER_READY_PRODUCER_PROOFS_PENDING",
  "schema": "raw-copy-resume-v1",
  "analyzer": "C:\\Users\\decid\\Documents\\projects\\spt-core\\.spt\\preserved\\302\\raw-copy-resume-v1\\step1-analyze.py",
  "live_driver_analyzer": "C:\\Users\\decid\\Documents\\projects\\spt-core\\.spt\\preserved\\302\\step1-analyze.py",
  "contract": "C:\\Users\\decid\\Documents\\projects\\spt-core\\.spt\\preserved\\302\\STEP1-DRIVER.md",
  "raw_capture_gate_ms": 100,
  "processing_is_measurement_not_gate": true,
  "processing_summary": "summary.json.processing_duration_ms: reported_count, missing_or_invalid_count, min, max, sum",
  "serialization": "Any capture starting before the preceding marked processing_end invalidates epoch coverage",
  "legacy": "Unmarked capture_begin/end retain total-span semantics and unchanged 100ms gate; original delivery/logs/results retained unchanged",
  "required_processing_fields": [
    "processing_begin_mono_ms",
    "processing_end_mono_ms",
    "processing_duration_ms",
    "total_duration_ms"
  ],
  "equations": [
    "processing_begin_mono_ms == capture_end_mono_ms",
    "processing_end_mono_ms >= processing_begin_mono_ms",
    "processing_duration_ms == processing_end_mono_ms - processing_begin_mono_ms",
    "total_duration_ms == processing_end_mono_ms - capture_begin_mono_ms"
  ],
  "errors": "Any worker error, including failed resume or symbols, invalidates the pair; producer fail-stop unchanged",
  "verification": {
    "successor_control_cases": 18,
    "baseline_controls": 2,
    "baseline_controls_observation": "Predecessor accepts unknown timing marker and missing processing duration; successor refuses both",
    "existing_legacy_contract_cases_unchanged": 12,
    "historical_replay_exit": 2,
    "historical_stale_intervals": 11,
    "historical_verdict": "INSUFFICIENT_EVIDENCE",
    "historical_delivery_unchanged": true
  },
  "producer_proofs_pending": [
    "knob-unset net seams unchanged",
    "knob-set output parsed by this amended analyzer",
    "forced-stale marked pair raw<=100ms and processing duration present",
    "forced ResumeThread-failure unit",
    "branch sha and binary sha256"
  ],
  "staging": "ENLYZEAM BLOCKED pending producer proofs and Doyle ruling; no field/resident interaction performed",
  "sha256": {
    "step1-analyze.py": "6f36563c6882aed3d4d14f5b276531911d844f6c629b41963378f883a4e9ab24",
    "step1_rounds.py": "fa898c299d0a15bae1682639d5378eece05dc739f68253391b6a0c7935639421",
    "baseline-analyze.py": "19780ae4686b7ecd4e58bbefa31e903acfa6394a0ca170b4d44ac25e67a1b10d",
    "baseline-driver.txt": "b69b914bf9c3cd05b04e2cee891db4a23b464388fc089b4b00e9e88ed93a3276",
    "baseline-delivery.json": "a81c4d399d3cda104cbe7423f02fa0f5b73e2132a8bc2b1485f8d045fadab8b0",
    "verify-timing.py": "76840927a2de37358278975b0bc32dc6d011a7903f2f7010a8001e12881a4ae0",
    "verification.json": "ac7273c8404ef9d845bc6a56d40eaf633d62c99cc9914fc6ea7f77e44419a351",
    "legacy-compatibility.json": "e789cd0d16128d42c1cc12b9dca2197cb853f34eacedce0a27a38df86d36e869",
    "historical-replay/summary.json": "3b6dc9c97ef792fd94e0d43011af3f2642e369998655b7e90dd0919382b3126c"
  },
  "contract_sha256": "46bf653b92bb0954d90c87f16ee593e63fa970832281919c7cf6a7cd71224f6c"
}