Monogate Command Center

EML-S23 Sigmoid/Logistic Dedicated Holdoutprivate_reviewable

Private S23 holdout for stable sigmoid/logistic: two eFrog runtime-witnessed obligations, two passing A13 roundtrip packets, one passing A13.2 semantic comparison, A14 export linkage, and S20 EML-native style classification.

passdeterministic_sample_grid_and_existing_toolchain_artifactsbuilder preset

Reviewhuman gate

Keep as private evidence that S22 can promote one EML-style source family through a dedicated holdout without opening public claims.

Use completed S24 runtime bakeoff to route sigmoid/logistic exports toward protected runtime forms without changing compiler behavior.

attach S24 runtime recommendation to export UX before product usemissing

larger source-family set before generalization claimsmissing

formal compiler/decompiler correctness proof before equivalence claimsmissing

Metricsbounded

profile_count4

passing_profiles4

sample_count_total8192

roundtrip_packet_count2

roundtrip_pass_count2

runtime_witnessed_obligations2

semantic_comparison_pass1

export_roundtrip_linked1

public_ready0

runtime_performance_claim0

Non-Claimsblocked

No broad EML advantage claim.non-claim

No source-family or sigmoid generalization claim.non-claim

No runtime performance claim.non-claim

No compiler correctness or formal equivalence claim.non-claim

No proof, deployment, package publish, certified-safety, or public-readiness claim.non-claim

Claim Flagsfalse

{
  "public_ready": false,
  "safe_to_publish_publicly": false,
  "proof_claim": false,
  "runtime_performance_claim": false,
  "compiler_correctness_claim": false,
  "formal_equivalence_claim": false,
  "broad_eml_advantage_claim": false,
  "source_family_generalization_claim": false,
  "sigmoid_generalization_claim": false,
  "production_toolchain_claim": false,
  "certified_safety_claim": false,
  "forge_behavior_changed": false,
  "efrog_behavior_changed": false,
  "engine_behavior_changed": false,
  "machlib_source_changed": false
}

Sources And Checksmonogate

efrog/examples/stable_sigmoid.py
monogate/reports/evidence_packets/eml_s23_sigmoid_logistic_holdout.json
monogate/reports/eml_s23_sigmoid_logistic_holdout_2026_05_29.md
monogate/python/results/eml_s23_sigmoid_logistic_holdout/eml_s23_sigmoid_logistic_holdout_2026_05_29.json
monogate/command_center_feeds/eml_s23_sigmoid_logistic_holdout_feed_2026_05_29.json

python python/scripts/eml_s23_sigmoid_logistic_holdout.py --build --strict
python -m pytest -q python/tests/test_eml_s23_sigmoid_logistic_holdout.py