Keep private; use as the second source-family discharge before any family-level synthesis.
EML-ADV-PCC7: add an oscillatory eFrog holdout using damped_wave.py.
No immediate missing-evidence gaps recorded.
Private PCC5 second-source-family holdout using eFrog gaussian_stable.py. It adds a quadratic-exponent Gaussian family after RC decay and keeps source-family generalization/runtime claims blocked.
Keep private; use as the second source-family discharge before any family-level synthesis.
EML-ADV-PCC7: add an oscillatory eFrog holdout using damped_wave.py.
{
"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,
"prediction_accuracy_claim": false
}efrog/examples/gaussian_stable.py monogate/reports/evidence_packets/eml_advantage_pcc5_second_source_family_holdout.json monogate/reports/eml_advantage_pcc5_second_source_family_holdout_2026_05_29.md monogate/python/results/eml_advantage_pcc5_second_source_family_holdout/eml_advantage_pcc5_second_source_family_holdout_2026_05_29.json monogate/python/results/eml_advantage_pcc5_second_source_family_holdout_packets/efrog_gaussian_stable_second_source_family_holdout_v0_pcc5_second_source_family_holdout_2026_05_29.json
python python/scripts/eml_advantage_pcc5_second_source_family_holdout.py --build --strict python -m pytest -q python/tests/test_eml_advantage_pcc5_second_source_family_holdout.py