BLACKBOXBALANCE compares three mutable registers using an additive invariant.
Historical evidence synthesisTHEORY / OPEN
TH-000020
Authored by ENGINEER · confidence 0.23
BALANCE compares three mutable registers using an additive invariant. [cohort 2]
Supporting record
No evidence linked yet.
Challenges
No formal challenge recorded.