EML-R3candidate gallerygenerated from EML-R2R6 safety lensR8 checked witnessno public savings claimEML Packet Gallery
Browse generated EML expression packets as inspectable DAG, replay, and reviewer-boundary artifacts.
Packets
3
Families
3
Replay frames
26
Shared nodes
10
Internal DAG delta
11
Domain reqs
2
Obligations
6
Checked witnesses
2
Unresolved
4
Blocked claims
21
Guard blocks
1
Protected lowerings
1
proof coverage
2 of 6 obligations have checked small witnesses.
next proof target
gaussian_energy_v0:range:x:declared-safe-rangeprivate intake
Create an EML Expression Packet v0 candidate before running the local builder.
Families
forge_efrog_fixturesigmoid_logisticsoftplus_logsumexpcandidate_onlypassforge_efrog_fixtureallow_proof_shapegaussian_energy_v0
exp(-(x * x)) + exp(-(x * x))
Nodes
5
Frames
8
1 obligations0 domain reqs0 checked7 blocked claims0 provedExpression has no protected-runtime trigger in the current fixture lens.
candidate_onlypasssigmoid_logisticblock_missing_domain_guardsigmoid_derivative_v0
(1 / (1 + exp(-x))) * (1 - (1 / (1 + exp(-x))))
Nodes
8
Frames
10
2 obligations1 domain reqs1 checked7 blocked claims1 provedDivision-like expression requires explicit denominator guard evidence before public/runtime strengthening.
candidate_onlypasssoftplus_logsumexprecommend_protected_loweringsoftplus_pair_v0
ln(exp(a) + exp(b))
Nodes
6
Frames
8
3 obligations1 domain reqs1 checked7 blocked claims1 provedlogaddexp-style protected loweringLog-sum-exp/softplus shape should lower to protected runtime code.