lean-ctx-protocol 0.1.0

Open wire contracts for lean-ctx: events, observations, assignments, evidence gaps.
Documentation