For anyone asking for concrete context, I’ve been experimenting with a small reference implementation that explores these constraints end-to-end. Linking here as supporting material, not a tutorial: https://github.com/nullclaw/nullclaw