Monogate Command Center

EML-ADV-PCC7 Oscillatory Holdoutprivate_reviewable

Private PCC7 oscillatory holdout using eFrog damped_wave.py. EML represents the exponential damping envelope while sine remains standard math and the standard runtime surface remains required.

passdeterministic_noisy_sample_gridbuilder preset

Reviewhuman gate

Keep private; use as the first non-pure-exponential family and as a reminder that EML coverage may be partial.

EML-ADV-PCC8: add a log-domain or guarded/piecewise source family before any stronger EML advantage synthesis.

log-domain source familymissing

guarded or piecewise source familymissing

Metricsbounded

holdout_count1

source_family_count3

profile_count4

passing_profiles4

noisy_output_profiles1

partial_eml_coverage1

standard_runtime_surface_required1

broad_eml_advantage_claim0

runtime_performance_claim0

oscillatory_generalization_claim0

Non-Claimsblocked

No broad oscillatory benchmark claim.non-claim

No broad EML advantage claim.non-claim

No oscillatory generalization 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,
  "oscillatory_generalization_claim": false,
  "prediction_accuracy_claim": false
}

Sources And Checksmonogate

efrog/examples/damped_wave.py
monogate/reports/evidence_packets/eml_advantage_pcc7_oscillatory_holdout.json
monogate/reports/eml_advantage_pcc7_oscillatory_holdout_2026_05_29.md
monogate/python/results/eml_advantage_pcc7_oscillatory_holdout/eml_advantage_pcc7_oscillatory_holdout_2026_05_29.json
monogate/python/results/eml_advantage_pcc7_oscillatory_holdout_packets/efrog_damped_wave_oscillatory_holdout_v0_pcc7_oscillatory_holdout_2026_05_29.json

python python/scripts/eml_advantage_pcc7_oscillatory_holdout.py --build --strict
python -m pytest -q python/tests/test_eml_advantage_pcc7_oscillatory_holdout.py