Monogate Command Center

EML-ADV-PCC8 Log-Domain Holdoutprivate_reviewable

Private PCC8 log-domain holdout using eFrog numpy_softplus.py. It separates safe-range EML/source agreement from overflow-prone protected lowering and recommends logaddexp without claiming compiler correctness.

passdeterministic_overflow_guard_sample_gridbuilder preset

Reviewhuman gate

Keep private; use as the first log-domain holdout and protected-lowering guard for EML Advantage.

EML-ADV-PCC9: add a guarded/piecewise source family such as clamp_guard.py.

guarded or piecewise source familymissing

Metricsbounded

holdout_count1

source_family_count4

profile_count5

safe_semantic_tie_profiles4

protected_lowering_recommended_profiles1

all_protected_profiles_finite1

broad_eml_advantage_claim0

runtime_performance_claim0

protected_lowering_correctness_claim0

Non-Claimsblocked

No broad log-domain benchmark claim.non-claim

No broad EML advantage claim.non-claim

No protected lowering 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,
  "log_domain_generalization_claim": false,
  "protected_lowering_correctness_claim": false,
  "prediction_accuracy_claim": false
}

Sources And Checksmonogate

efrog/examples/numpy_softplus.py
monogate/reports/evidence_packets/eml_advantage_pcc8_log_domain_holdout.json
monogate/reports/eml_advantage_pcc8_log_domain_holdout_2026_05_29.md
monogate/python/results/eml_advantage_pcc8_log_domain_holdout/eml_advantage_pcc8_log_domain_holdout_2026_05_29.json
monogate/python/results/eml_advantage_pcc8_log_domain_holdout_packets/efrog_numpy_softplus_log_domain_holdout_v0_pcc8_log_domain_holdout_2026_05_29.json

python python/scripts/eml_advantage_pcc8_log_domain_holdout.py --build --strict
python -m pytest -q python/tests/test_eml_advantage_pcc8_log_domain_holdout.py