MONOGATE COCKPIT DRILLDOWNprivate · read-only · 2026-05-29
EML-ADV-PCC9 Guarded/Piecewise Holdoutprivate_reviewable

Private PCC9 guarded/piecewise holdout using eFrog clamp_guard.py. Valid guard domains match a clamp-style representation exactly, while reversed bounds are blocked as invalid domains.

passdeterministic_guard_sample_gridbuilder preset
Reviewhuman gate

Keep private; use as the first guarded/piecewise holdout and invalid-domain block record for EML Advantage.

EML-ADV-PCC10: add a family-level synthesis across smooth, log-domain, oscillatory, and guarded holdouts.

family-level synthesis across smooth, log-domain, oscillatory, and guarded holdoutsmissing
Metricsbounded
holdout_count1
source_family_count5
profile_count5
valid_profile_count4
passing_valid_profiles4
invalid_bounds_blocked_profiles1
broad_eml_advantage_claim0
runtime_performance_claim0
branch_correctness_claim0
Non-Claimsblocked
No broad guarded/piecewise benchmark claim.non-claim
No broad EML advantage claim.non-claim
No branch correctness 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,
  "source_family_generalization_claim": false,
  "guard_semantics_generalization_claim": false,
  "branch_correctness_claim": false,
  "protected_lowering_correctness_claim": false,
  "prediction_accuracy_claim": false
}
Sources And Checksmonogate
efrog/examples/clamp_guard.py
monogate/reports/evidence_packets/eml_advantage_pcc9_guarded_piecewise_holdout.json
monogate/reports/eml_advantage_pcc9_guarded_piecewise_holdout_2026_05_29.md
monogate/python/results/eml_advantage_pcc9_guarded_piecewise_holdout/eml_advantage_pcc9_guarded_piecewise_holdout_2026_05_29.json
monogate/python/results/eml_advantage_pcc9_guarded_piecewise_holdout_packets/efrog_clamp_guard_guarded_piecewise_holdout_v0_pcc9_guarded_piecewise_holdout_2026_05_29.json
python python/scripts/eml_advantage_pcc9_guarded_piecewise_holdout.py --build --strict
python -m pytest -q python/tests/test_eml_advantage_pcc9_guarded_piecewise_holdout.py