runtime evidence

Monogate OS EML Bridge

Candidate EML/Forge-shaped OS bridge fixture set: log-domain lift and guard-clamp kernels run through mirrored no_std adapters with QEMU replay and sensitivity evidence.

candidate_onlypasspasseml shaped fixture adapter qemu replay sensitivity
review signal

Bridge registry contains two independent EML-shaped kernels.

review signal

Negative fixtures block Forge-output overclaim, missing digests, missing trace kernels, and early public_ready.

review signal

M4C lifecycle and M5A sensitivity traces include the bridge kernels.

review signal

Bridge-family review validates each kernel independently and records proof-obligation stubs.

Bridge kernels
eml_log_domain_lift_v0MOS-M8A
evidence_backed_stubqemu_replay_and_sensitivity_passpositive_coordinate_obligation.log_domain_lift.fixture_v0

No full exp correctness proof.; No Forge compiler output claim.; No bootable OS or certified-safety claim.

guard_clamp_v0MOS-M8C
evidence_backed_stubqemu_replay_and_sensitivity_passbounded_output_obligation.guard_clamp.fixture_v0

No certified controller safety claim.; No production-controller claim.; No Forge compiler output claim.

Claim boundary

Candidate only; these are fixture adapters, not Forge compiler outputs, not a Forge OS target, and not a bootable OS claim.

Evidence chain
Bridge registrypass

M8B registry records spec and adapter digests for both bridge kernels.

Second kernelpass

M8C adds guard_clamp_v0 as an independent EML-shaped fixture adapter.

Negative fixturespass

Unsafe registry examples fail as expected.

Bridge familypass

M8D validates each bridge kernel as an independently reviewable family member.

Diff and obligationspass

M8E records source-to-adapter boundaries; M8F records proof-obligation cards.

Claim flags
public_readyfalse
hardware_observedfalse
live_serial_capture_performedfalse
certified_safety_claimfalse
production_controller_claimfalse
Semantic review
adapter_modefixture_mirror_no_compiler_change
bridge_family_statusPASS
forge_compiler_behavior_changedfalse
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_statusMONOGATE_OS_M4C_QEMU_LIFECYCLE_PASS
m5a_kernel_frame_counts{"eml_log_domain_lift_v0":4,"guard_clamp_v0":4}
m5a_statusMONOGATE_OS_M5A_SENSITIVITY_PASS
proof_obligation_card_statusPASS
registry_statusPASS
reviewer_noteThis proves the bridge discipline only: EML-shaped specs to mirrored no_std adapters to QEMU replay/sensitivity evidence.
source_adapter_diff_statusPASS
Non-claims
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.
Validation commands
python tools/monogate_os_m8_bridge_family.py --strict --timeout-seconds 8PYTHONPATH=/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
Evidence paths
monogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/evidence_packet.jsonmonogate-engine-moat3-review-2026-05-23/monogate_os/m8a/bridge_registry_2026_05_27.jsonmonogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/m8b_registry_result_2026_05_27.jsonmonogate-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.jsonmonogate-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.jsonmonogate-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.jsonmonogate-engine-moat3-review-2026-05-23/product_readiness/monogate_os_m8a_eml_forge_kernel_bridge_2026_05_27/m8f_obligation_cards_2026_05_27.jsonmonogate-research/reports/evidence_review_gate_v0_2026_05_26.json