{"schemaVersion":"monogate.evidence_public_packet.v0","artifactId":"monogate-os-eml-bridge","title":"Monogate OS EML Bridge","reviewDecision":"candidate_only","validationStatus":"pass","replayStatus":"pass","semanticStrength":"eml_shaped_fixture_adapter_qemu_replay_sensitivity","semanticReview":{"adapter_mode":"fixture_mirror_no_compiler_change","bridge_family_status":"PASS","forge_compiler_behavior_changed":false,"kernel_details":[{"adapter":"monogate_os/m8a/generated/eml_log_domain_lift_adapter_2026_05_27.rs","evidenceStatus":"qemu_replay_and_sensitivity_pass","kernelId":"eml_log_domain_lift_v0","milestone":"MOS-M8A","nonClaim":"No full exp correctness proof.; No Forge compiler output claim.; No bootable OS or certified-safety claim.","obligation":"positive_coordinate_obligation.log_domain_lift.fixture_v0","proofStatus":"evidence_backed_stub","spec":"monogate_os/m8a/eml_log_domain_lift_kernel_spec_2026_05_27.json"},{"adapter":"monogate_os/m8a/generated/guard_clamp_adapter_2026_05_27.rs","evidenceStatus":"qemu_replay_and_sensitivity_pass","kernelId":"guard_clamp_v0","milestone":"MOS-M8C","nonClaim":"No certified controller safety claim.; No production-controller claim.; No Forge compiler output claim.","obligation":"bounded_output_obligation.guard_clamp.fixture_v0","proofStatus":"evidence_backed_stub","spec":"monogate_os/m8a/guard_clamp_kernel_spec_2026_05_27.json"}],"kernel_ids":["eml_log_domain_lift_v0","guard_clamp_v0"],"m4c_kernel_frame_counts":{"eml_log_domain_lift_v0":4,"guard_clamp_v0":1},"m4c_status":"MONOGATE_OS_M4C_QEMU_LIFECYCLE_PASS","m5a_kernel_frame_counts":{"eml_log_domain_lift_v0":4,"guard_clamp_v0":4},"m5a_status":"MONOGATE_OS_M5A_SENSITIVITY_PASS","proof_obligation_card_status":"PASS","registry_status":"PASS","reviewer_note":"This proves the bridge discipline only: EML-shaped specs to mirrored no_std adapters to QEMU replay/sensitivity evidence.","source_adapter_diff_status":"PASS"},"claimFlags":{"public_ready":false,"hardware_observed":false,"live_serial_capture_performed":false,"certified_safety_claim":false,"production_controller_claim":false},"claimBoundary":"Candidate only; these are fixture adapters, not Forge compiler outputs, not a Forge OS target, and not a bootable OS claim.","nonClaims":["No Forge compiler behavior change.","No Forge OS target claim.","No formal equivalence proof between Forge output and guest adapters.","No bootable OS claim.","No certified safety or production-controller claim.","No hardware observation claim."],"reviewHighlights":["Bridge registry contains two independent EML-shaped kernels.","Negative fixtures block Forge-output overclaim, missing digests, missing trace kernels, and early public_ready.","M4C lifecycle and M5A sensitivity traces include the bridge kernels.","Bridge-family review validates each kernel independently and records proof-obligation stubs."],"validationCommands":["python tools/monogate_os_m8_bridge_family.py --strict --timeout-seconds 8","PYTHONPATH=/home/monogate/monogate/monogate-research python -m monogate_evidence validate product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/evidence_packet.json"],"timeline":[{"label":"Bridge registry","status":"pass","detail":"M8B registry records spec and adapter digests for both bridge kernels."},{"label":"Second kernel","status":"pass","detail":"M8C adds guard_clamp_v0 as an independent EML-shaped fixture adapter."},{"label":"Negative fixtures","status":"pass","detail":"Unsafe registry examples fail as expected."},{"label":"Bridge family","status":"pass","detail":"M8D validates each bridge kernel as an independently reviewable family member."},{"label":"Diff and obligations","status":"pass","detail":"M8E records source-to-adapter boundaries; M8F records proof-obligation cards."}],"reviewReasons":[],"reviewNotes":"EML/Forge-shaped OS bridge fixture remains candidate-only.","sourceReportPath":"monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/evidence_packet.json","evidencePaths":["monogate-engine-moat3-review-2026-05-23/monogate_os/m8a/bridge_registry_2026_05_27.json","monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/m8b_registry_result_2026_05_27.json","monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/m8b_negative_fixture_result_2026_05_27.json","monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/m8d_bridge_family_result_2026_05_27.json","monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/m8e_source_adapter_diff_2026_05_27.json","monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/m8f_obligation_cards_2026_05_27.json","monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/evidence_packet.json","monogate-research/reports/evidence_review_gate_v0_2026_05_26.json"],"kernelDetails":[{"adapter":"monogate_os/m8a/generated/eml_log_domain_lift_adapter_2026_05_27.rs","evidenceStatus":"qemu_replay_and_sensitivity_pass","kernelId":"eml_log_domain_lift_v0","milestone":"MOS-M8A","nonClaim":"No full exp correctness proof.; No Forge compiler output claim.; No bootable OS or certified-safety claim.","obligation":"positive_coordinate_obligation.log_domain_lift.fixture_v0","proofStatus":"evidence_backed_stub","spec":"monogate_os/m8a/eml_log_domain_lift_kernel_spec_2026_05_27.json"},{"adapter":"monogate_os/m8a/generated/guard_clamp_adapter_2026_05_27.rs","evidenceStatus":"qemu_replay_and_sensitivity_pass","kernelId":"guard_clamp_v0","milestone":"MOS-M8C","nonClaim":"No certified controller safety claim.; No production-controller claim.; No Forge compiler output claim.","obligation":"bounded_output_obligation.guard_clamp.fixture_v0","proofStatus":"evidence_backed_stub","spec":"monogate_os/m8a/guard_clamp_kernel_spec_2026_05_27.json"}]}