pj 112d347432 refactor(folio): name the balance property for the bound it asserts ...

it stopped being an equality and became |delta| <= typed, so the old name
demanded more than the property does. renamed with the ci gate's
GATED_PROPERTIES in the same commit so the gate never sees a name it does
not know.

2026-08-15 23:04:15 +05:30

..

spec

refactor(folio): name the balance property for the bound it asserts

2026-08-15 23:04:15 +05:30