Monogate Command Center

EML-ADV-PCC2 Gap Responseprivate_reviewable

Private PCC2 gap response showing that cancellation-sensitive exp(x)-1 should lower to protected expm1, not raw EML, while broad EML advantage remains blocked.

passdeterministic_numeric_holdoutbuilder preset

Reviewhuman gate

Keep private; use as a guardrail that prevents raw EML from being promoted where protected standard math is safer.

EML-ADV-PCC3: add a non-cancellation holdout from the eFrog registry or a noisy-data source.

non-cancellation noisy-data holdoutmissing

Metricsbounded

negative_control_count1

profile_count3

standard_win_profiles3

broad_eml_advantage_claim0

runtime_performance_claim0

Non-Claimsblocked

No exhaustive holdout-suite claim.non-claim

No broad EML advantage claim.non-claim

No public 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

monogate/reports/evidence_packets/eml_advantage_pcc2_gap_response.json
monogate/reports/eml_advantage_pcc2_gap_response_2026_05_29.md
monogate/python/results/eml_advantage_pcc2_gap_response/eml_advantage_pcc2_gap_response_2026_05_29.json
monogate/python/results/eml_advantage_pcc2_negative_control_packets/protected_expm1_cancellation_negative_control_v0_pcc2_negative_control_2026_05_29.json

python python/scripts/eml_advantage_pcc2_gap_response.py --build --strict
python -m pytest -q python/tests/test_eml_advantage_pcc2_gap_response.py