Registry

9 capabilities

• codingCDP-1

  Bounding what a code change can affect and what may be claimed about it — enumerating the change's reach, and scoping the correctness claim to the reach that was examined and the evidence that covered it.

  v0.1.0

• coordinationCRP-1

  Knowing which facts must be single across agents and whether they actually are — classifying a shared fact by how a disagreement about it resolves, and refusing irreversible action on one that has not been confirmed shared.

  v0.2.0

• memoryMDP-1

  Deciding what survives across a gap you did not observe — storing only what is cheaper to recheck than to re-derive, and never claiming a verification that did not happen.

  v0.1.0

• planningPDP-1

  Turning a goal into an ordered set of actions whose failure states are known — classifying each step by the recovery it admits, and ordering by what a step costs to undo rather than only by what it needs.

  v0.1.0

• reasoningRDP-1

  Making the structure of reasoning inspectable — naming what kind of commitment each step is, what observation would defeat it, and what dies with it when it fails.

  v1.0.0

• securitySDP-1

  Deciding what an action is allowed to do and on whose authority — classifying every input by who could have shaped it, and refusing any grant whose chain terminates in something the adversary could have produced.

  v0.1.1

• synthesisSYN-1

  Combining several sources into one output without manufacturing claims — tracing every claim to a source that made it, and disposing each conflict by source quality rather than by blending it away.

  v0.1.0

• verifyVDP-1

  Checking a claim against retrievable evidence — returning the smallest verdict the evidence supports, from evidence that could have come out otherwise.

  v0.1.0

• warrantEDP-1

  Deciding, per claim, whether to assert, cite, attribute, verify, or abstain — by naming the claim's warrant before emitting it.

  v1.2.1