Chamber L-B (V-5.0) · XOR-SAT Feasibility

Seed

Max Steps

p_backedge

U_crit

α (clause density)

d (clause degree)

Ready to run

Current Step

SAT Feasible

—

unsat_count

m (clauses)

—

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) = XOR-SAT over GF(2) on node-local observed bits o(H) (boolean)

Falsifier: Utility realized while SAT is false (unsatisfiable prefix at t_utility)

Expected Signature: Feasibility cliff (B_u) — abrupt collapse at first violated parity check

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

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