🏷️ settlement

The Category Settle

Settlement networks form a sub-SMC of open Petri nets. The core-observer split is really two boundaries — an algebraic one (ρ) inside the incidence matrix and a categorical one (contextual arcs) outside it — and a ZK circuit dissolves only the second.