Monogate Command Center

EML-A13 Forge/eFrog Roundtrip Advantage Labprivate_reviewable

Seventeen eFrog/default-plus-holdout source frontends decompile to EML and compile through Forge's Python and JavaScript targets with bounded surface-comparison packets.

passdeterministic_toolchain_roundtripbuilder preset

Reviewhuman gate

Keep private; use as the first measured Forge/eFrog roundtrip advantage lane.

Add semantic output comparison for selected scalar kernels before treating cross-target agreement as evidence.

cross-target semantic equivalencemissing

larger holdout source corpusmissing

formal compiler correctness proofmissing

Metricsbounded

roundtrip_cases34

roundtrip_passes34

source_language_count17

holdout_cases10

target_count2

eml_surface_wins10

standard_surface_smaller24

Non-Claimsblocked

No Forge or eFrog behavior change.non-claim

No compiler correctness claim.non-claim

No formal equivalence claim.non-claim

No broad EML advantage claim.non-claim

No runtime performance claim.non-claim

Claim Flagsfalse

{
  "public_ready": false,
  "safe_to_publish_publicly": false,
  "proof_claim": false,
  "certified_safety_claim": false,
  "runtime_performance_claim": false,
  "formal_equivalence_claim": false,
  "broad_eml_advantage_claim": false,
  "compiler_correctness_claim": false
}

Sources And Checksmonogate

monogate/schemas/eml_forge_efrog_roundtrip_packet_v0.json
monogate/python/results/eml_a13_forge_efrog_roundtrip_advantage/eml_a13_forge_efrog_roundtrip_advantage_2026_05_29.json
monogate/reports/evidence_packets/eml_a13_forge_efrog_roundtrip_advantage.json
monogate/command_center_feeds/eml_a13_forge_efrog_roundtrip_advantage_feed_2026_05_29.json

PYTHONPATH=/home/monogate/monogate/efrog python python/scripts/eml_a13_forge_efrog_roundtrip_advantage.py --build --strict
python -m pytest -q python/tests/test_eml_a13_forge_efrog_roundtrip_advantage.py