nx_softtissue_conserve_gate.nx

nx_softtissue_conserve_gate.nx -- CONSERVATION + DISSIPATION SEAT (metrology council member 6), 2026-08-03. Sibling of nx_softtissue_mr_gate (member 2) and DELIBERATELY DISJOINT FROM IT: member 2 asks whether the solver respects symmetries, this one asks whether it respects ENERGY AND VOLUME. A wrong dynamics can be perfectly equivariant -- that is member 2's declared blind spot, and this is the member that covers it. Per the council's own rule, a seat earns its place by covering a blind spot no other member can see, never by raising the seat count. REGIME SPLIT, which is the whole point (conservation is the WRONG invariant for soft tissue): RIGID/AUTONOMOUS regime -> a damped solver with no input must reach a FIXED POINT and stay there. SOFT/OCCLUDED regime -> volume (here: ring cross-section area) is the conserved quantity, and it must be conserved AT EVERY INDENTATION DEPTH, not at one tuned depth. ★THE EXACT INVARIANT THIS SEAT IS BUILT ON, chosen to need NO tolerance and NO oracle: an autonomous damped INTEGER solver must converge to a BIT-IDENTICAL FIXED POINT. Integer arithmetic makes this decidable in a way float never could: "at rest" is not "small", it is state[t+1] == state[t] byte for byte, and it must then HOLD. A solver that never freezes is either injecting energy or grinding in a truncation limit cycle -- both are real defects, both invisible to every symmetry relation in member 2. T1 SD FIXED POINT kicked 3-pt solver freezes exactly, and HOLDS T2 SD BITE undamped (C=0) must NOT freeze -- proves T1's detector can fail T3 SR FIXED POINT perturbed 48-node region freezes exactly, and HOLDS T4 SR BITE undamped region (damp=0) must NOT freeze T5 SR GRAVITY REST under load the region still reaches a fixed point (sag equilibrium) T6 AREA CONSERVATION cross-section area within band of rest at EVERY indentation depth T7 AREA BITE voldist=0 (occlusion law OFF) must LEAVE the band -- proves T6 can fail T8 BULGE MONOTONIC deeper indentation never produces a smaller far-side bulge license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0