optimizer evidence

Forge Rescue Suite

Name: Monogate
Author: Monogate

Watch Monogate turn optimizer boundary failures into reviewable, replayable, claim-bounded evidence.

Boundary-event rescue packets with replay validation, MachLib witness routing, and a restricted log-domain semantic theorem.

approved_for_surfacepasspass1 restricted rewrite, 3 concrete invariants

review signal

Replay-valid boundary event suite generated by Forge.

review signal

MachLib witnesses cover all four v0 rescue lanes.

review signal

log_domain_lift is promoted to restricted semantic rewrite; other lanes remain concrete sample invariants.

Claim boundary

Approved for existing public/dev surfaces; no full optimizer semantic rewrite or hardware observation is claimed.

Review packet

Open surface Export JSON

Evidence chain

Boundary event capturedpass

Forge emits replayable rescue packets for named optimizer boundary events.

Replay checkedpass

Replay JSON validates and generated Explorer fixture stays aligned with the manifest.

Obligation registry reviewedpass

Each rescue operator is routed to a semantic tier and MachLib witness path.

Semantic boundary setrestricted

Only log_domain_lift has restricted semantic rewrite status in v0.

Claim flags

public_readytrue

hardware_observedfalse

live_serial_capture_performedfalse

certified_safety_claimfalse

production_controller_claimfalse

Semantic review

registry_pathforge/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_claimfalse

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.

Non-claims

No unrestricted optimizer semantic rewrite theorem.No hardware observation.No certified safety or production-controller claim.

Validation commands

forge rescue --suite --strictpython tools/evidence_cockpit_fixture.py --check

Evidence paths

forge/reports/rescue_artifact_approval_v0_2026_05_26.jsonforge/reports/proof_carrying_rescue_suite_v0_2026_05_26.jsonforge/reports/proof_carrying_rescue_replay_v0_2026_05_26.jsonforge/reports/rescue_obligation_registry_v0_2026_05_26.json