Monogate Command Center

EML-S28 Softplus Runtime Bakeoffprivate_reviewable

Private softplus/logaddexp runtime bakeoff comparing naive, logaddexp, branch-stable, and clamp-caution forms; recommends logaddexp runtime while keeping softplus/logsumexp as representation/search evidence.

passdeterministic_local_runtime_gridbuilder preset

Reviewhuman gate

Use privately as source evidence for the softplus export policy row.

Attach S28 to S27/S29 policy registry surfaces without changing compiler behavior.

no generated-code behavior consumes the policy yetmissing

no compiler correctness proofmissing

no public or production runtime benchmarkmissing

Metricsbounded

runtime_form_count4

profile_run_count32

recommended_runtime_formlogaddexp_softplus

representation_formsoftplus_logsumexp

public_ready0

runtime_performance_claim0

compiler_correctness_claim0

Non-Claimsblocked

No public performance claim.non-claim

No production runtime claim.non-claim

No compiler correctness or formal equivalence claim.non-claim

No broad EML advantage or softplus generalization claim.non-claim

Claim Flagsfalse

{
  "public_ready": false,
  "safe_to_publish_publicly": false,
  "proof_claim": false,
  "runtime_performance_claim": false,
  "public_performance_claim": false,
  "formal_equivalence_claim": false,
  "compiler_correctness_claim": false,
  "broad_eml_advantage_claim": false,
  "source_family_generalization_claim": false,
  "production_toolchain_claim": false,
  "certified_safety_claim": false,
  "forge_behavior_changed": false,
  "efrog_behavior_changed": false,
  "generated_target_code_changed": false,
  "softplus_generalization_claim": false
}

Sources And Checksmonogate

monogate/python/scripts/eml_s28_softplus_runtime_bakeoff.py
monogate/python/results/eml_s28_softplus_runtime_bakeoff/eml_s28_softplus_runtime_bakeoff_2026_05_29.json
monogate/python/results/eml_s28_softplus_runtime_packets/*_2026_05_29.json
monogate/reports/eml_s28_softplus_runtime_bakeoff_2026_05_29.md
monogate/reports/evidence_packets/eml_s28_softplus_runtime_bakeoff.json
monogate/command_center_feeds/eml_s28_softplus_runtime_bakeoff_feed_2026_05_29.json

python python/scripts/eml_s28_softplus_runtime_bakeoff.py --build --strict
python -m pytest -q python/tests/test_eml_s28_softplus_runtime_bakeoff.py