Chamber L (V-3.0) · DAG Embeddability

Seed

Max Steps

p_backedge

U_crit

Ready to run

Current Step

Feasible

—

Utility Realized

—

Current U_t

0.000

Violation Step

—

Utility Step

—

Total Runs

P(utility | F=true)

—

P(utility | F=false)

—

Mean Cliffness

—

Falsifier Triggers

Upgrade Decision: PENDING

Invariant: F(H) = acyclic history graph (boolean)

Falsifier: Utility persists after cycle introduction

Expected Signature: Sharp snap (B_u) — cliff at feasibility boundary

Coupling Rule: τ admissible iff F.feasible == true (irreversible)

Utility: Shared EMA threshold (k=8 consecutive steps above U_crit)