Monogate Command Center

EML-ADV-PCC3 Real-Source Holdoutprivate_reviewable

Private PCC3 real-source holdout linking the EML Advantage contract to eFrog rc_decay_stable.py across three deterministic sample grids. EML is recorded as a semantic/search representation, not a runtime win.

passdeterministic_sample_gridbuilder preset

Reviewhuman gate

Keep private; use as the first non-cancellation real-source EML Advantage contract discharge.

EML-ADV-PCC4: add noisy-data perturbation around the real-source holdout or ingest a second eFrog source.

noisy-data perturbationmissing

second real-source holdoutmissing

Metricsbounded

holdout_count1

profile_count3

passing_profiles3

broad_eml_advantage_claim0

runtime_performance_claim0

Non-Claimsblocked

No broad real-world benchmark claim.non-claim

No broad EML advantage claim.non-claim

No runtime performance claim.non-claim

No compiler correctness or formal equivalence claim.non-claim

Claim Flagsfalse

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

Sources And Checksmonogate

efrog/examples/rc_decay_stable.py
monogate/reports/evidence_packets/eml_advantage_pcc3_real_source_holdout.json
monogate/reports/eml_advantage_pcc3_real_source_holdout_2026_05_29.md
monogate/python/results/eml_advantage_pcc3_real_source_holdout/eml_advantage_pcc3_real_source_holdout_2026_05_29.json
monogate/python/results/eml_advantage_pcc3_real_source_holdout_packets/efrog_rc_decay_stable_real_source_holdout_v0_pcc3_real_source_holdout_2026_05_29.json

python python/scripts/eml_advantage_pcc3_real_source_holdout.py --build --strict
python -m pytest -q python/tests/test_eml_advantage_pcc3_real_source_holdout.py