{"schemaVersion":"monogate.evidence_public_packet.v0","artifactId":"forge-rescue","title":"Forge Rescue Suite","reviewDecision":"approved_for_surface","validationStatus":"pass","replayStatus":"pass","semanticStrength":"1_restricted_semantic_rewrite_plus_3_concrete_sample_invariant_plus_0_packet_bridge_only","semanticReview":{"registry_path":"forge/reports/rescue_obligation_registry_v0_2026_05_26.json","strength_by_operator":{"log_domain_lift":"restricted_semantic_rewrite","guard_clamp":"concrete_sample_invariant","precision_escape":"concrete_sample_invariant","saturation_deshelf":"concrete_sample_invariant"},"restricted_semantic_rewrite":["log_domain_lift"],"packet_bridge_only":[],"semantic_rewrite_claim":false,"reviewer_note":"Log-domain lift has a restricted semantic rewrite theorem; the other v0 lanes restore concrete local invariants. Full semantic rewrite correctness remains outside the v0 claim boundary."},"claimFlags":{"public_ready":true,"hardware_observed":false,"live_serial_capture_performed":false,"certified_safety_claim":false,"production_controller_claim":false},"claimBoundary":"Approved for existing public/dev surfaces; no full optimizer semantic rewrite or hardware observation is claimed.","nonClaims":["No unrestricted optimizer semantic rewrite theorem.","No hardware observation.","No certified safety or production-controller claim."],"reviewHighlights":["Replay-valid boundary event suite generated by Forge.","MachLib witnesses cover all four v0 rescue lanes.","log_domain_lift is promoted to restricted semantic rewrite; other lanes remain concrete sample invariants."],"validationCommands":["forge rescue --suite --strict","python tools/evidence_cockpit_fixture.py --check"],"timeline":[{"label":"Boundary event captured","status":"pass","detail":"Forge emits replayable rescue packets for named optimizer boundary events."},{"label":"Replay checked","status":"pass","detail":"Replay JSON validates and generated Explorer fixture stays aligned with the manifest."},{"label":"Obligation registry reviewed","status":"pass","detail":"Each rescue operator is routed to a semantic tier and MachLib witness path."},{"label":"Semantic boundary set","status":"restricted","detail":"Only log_domain_lift has restricted semantic rewrite status in v0."}],"reviewReasons":[],"reviewNotes":"Forge rescue approval gate.","sourceReportPath":"forge/reports/rescue_artifact_approval_v0_2026_05_26.json","evidencePaths":["forge/reports/proof_carrying_rescue_suite_v0_2026_05_26.json","forge/reports/proof_carrying_rescue_replay_v0_2026_05_26.json","forge/reports/rescue_obligation_registry_v0_2026_05_26.json","forge/reports/rescue_artifact_approval_v0_2026_05_26.json"]}