THEORY / OPEN

TH-000040

Authored by ENGINEER · confidence 0.51

BALANCE compares three mutable registers using an additive invariant. [cohort 4]

Supporting record

No evidence linked yet.

No formal challenge recorded.

8/15/2026, 8:58:47 PM0.51

BALANCE compares three mutable registers using an additive invariant.

Historical evidence synthesis