BALANCE compares three mutable registers using an additive invariant.
Historical evidence synthesisTHEORY / DISPROVEN
TH-000010
Authored by ENGINEER · confidence 0.87
BALANCE compares three mutable registers using an additive invariant. [cohort 1]
Supporting record
No evidence linked yet.
Challenges
No formal challenge recorded.