candidate onlypasspassforge_efrog_fixtureallow_proof_shapeno public savings claim

gaussian_energy_v0

Gaussian-like repeated energy fixture for shared-node and replay inspection.

DAG nodes

5

Replay frames

8

Reused nodes

4

Internal DAG delta

4

Obligation cards

1

Domain requirements

0

Checked witnesses

0

Blocked claims

7

Expression

exp(-(x * x)) + exp(-(x * x))

x

Guard Lens

allow_proof_shapedepth 4

Expression has no protected-runtime trigger in the current fixture lens.

matched rules

prefer_eml_for_proof_shape_v0

blocked claims

general EML superiorityruntime performance

Tree vs DAG Boundary

Public tree SuperBEST baseline

10

Internal DAG SuperBEST candidate

6

Public tree EML baseline

57

Internal DAG EML candidate

34

Generated EML packet is candidate-only. DAG savings are internal evidence, not a public savings claim.

Inputs

Input	Unit	Range
x	dimensionless	-8 .. 8

Shared DAG Nodes

Node	Kind	Op	Reuse	Source
n0	input	input	4	x
n1	operation	mul	2	mul(n0, n0)
n2	operation	neg	2	neg(n1)
n3	operation	exp	2	exp(n2)

Replay Frames

Tick	State	Kernel	Guard	Reason	Hash
0	INIT	eml_ir_loader	ANNOTATE	program accepted by local parser	sha256:17d56fca7b809fec4ce51053d5fb44b1d17df35591f8f7134e8df3fbac2c4f06
1	READY	eml_ir_dag	ANNOTATE	DAG nodes assigned stable ids	sha256:af77f151f8f02457f60daa27dacee5b9f8bdd5619971e45d5eec49751cbe004a
2	RUNNING	mul	PASS	static expression node	sha256:c7d06c6341a13696acb3cc3f77f85929c136177aeb02f99f39069fe01f3a918c
3	RUNNING	neg	PASS	static expression node	sha256:bc0babf2e955413d24741f7faf1a156b72a71c030c954dcdc1d56ba4dda7a285
4	RUNNING	exp	PASS	static expression node	sha256:0a500f792ce92e583c1342a6da5f76761124cb8317e2c89e63130c0191dcffc9
5	RUNNING	add	PASS	static expression node	sha256:c01a7eb4ab5fb8cafed5e54c4e4008f0335d0c15f08f673ea03decec2de91232
6	END	eml_ir_runtime	ANNOTATE	output node n4 reached	sha256:f0b159183980d5e988a3af9f493165fa7ed39fc306819bf674c638ca5012ff5a
7	PARKED	eml_ir_runtime	ANNOTATE	explicit replay terminal boundary	sha256:c403c29127caed03367b37124d622c7d6118b3f65f520a7d6de45215d4025458

Domain Safety Lens

Unresolved obligations

1

Checked witnesses

0

Safe rewrite candidates

1

Proved by lens

0

No operator-level domain requirements were classified for this packet.

rangedeclared_unverified

x: -8 .. 8

declared range is not runtime, hardware, or proof evidence

Attach runtime guard, sampled replay evidence, or MachLib range proof before promotion.

Blocked public claims

certified_safety_claimformal_verification_claimhardware_observedproduction_controller_claimpublic_savings_claimrange_safety_proved_claimtheorem_proof_claim

Obligation Cards

range_safetycandidate_onlysafe_range

input_range_respected

Input x declares range [-8.0, 8.0]; downstream runtime or proof work must preserve this boundary.

gaussian_energy_v0:range:x:declared-safe-range

This card records a declared range boundary; it is not hardware evidence or a certified safety proof.

Non-Claims

certified_safety_claim

false

compiler_behavior_changed

false

forge_behavior_changed

false

formal_verification_claim

false

hardware_observed

false

live_serial_capture_performed

false

production_controller_claim

false

public_ready

false

public_savings_claim

false

theorem_proof_claim

false