| artifacts.listList the generated artifacts | artifacts | behaviorally_verified |
| brief.sessionThe session brief | brief | behaviorally_verified |
| capabilities.describeDescribe one capability | capabilities | behaviorally_verified |
| capabilities.listList capabilities | capabilities | behaviorally_verified |
| capabilities.projectionsWhere each capability is projected | capabilities | behaviorally_verified |
| commands.getOne command in full | commands | implemented |
| commands.graphThe whole command graph | commands | implemented |
| commands.listEvery command, one line each | commands | implemented |
| commit.historyJudge a range of history | commit | behaviorally_verified |
| commit.planWhat the working tree would commit | commit | behaviorally_verified |
| commit.scopesThe scope vocabulary | commit | behaviorally_verified |
| commit.validateJudge one commit message | commit | behaviorally_verified |
| continuity.planWhether and how a published handover can be resumed here | continuity | experimental |
| continuity.recordsEvery published handover the local store admits | continuity | experimental |
| continuity.stateWhat the lifecycle is holding | continuity | behaviorally_verified |
| continuity.statusWhere this device stands in the work published from every device | continuity | experimental |
| convergence.reportIs any work held where it can be lost? | convergence | behaviorally_verified |
| dashboard.overviewThe Overview: four questions | dashboard | behaviorally_verified |
| delivery.featureDoes this feature exist | delivery | experimental |
| delivery.reportDoes each feature exist | delivery | experimental |
| deploy.checkWould these deployments work | deploy | behaviorally_verified |
| deploy.getOne deployment | deploy | behaviorally_verified |
| deploy.listDeployments | deploy | behaviorally_verified |
| deploy.observedWhat was deployed, and where | deploy | behaviorally_verified |
| design.contrastWhether the declared colours can be read | design | behaviorally_verified |
| design.explainWhat a design token means | design | behaviorally_verified |
| design.systemThe design system | design | behaviorally_verified |
| design.tokensThe design tokens | design | behaviorally_verified |
| devcontext.compileCompile the context for a piece of work | devcontext | behaviorally_verified |
| devcontext.explainWhy one thing is or is not in a compiled context | devcontext | behaviorally_verified |
| devcontext.policyThe compiler's own rules | devcontext | behaviorally_verified |
| devtask.issueOne issue as an executable development task | devtask | behaviorally_verified |
| devtask.milestoneOne milestone as an executable dependency graph | devtask | behaviorally_verified |
| directories.listThe layer's directory contracts | directories | behaviorally_verified |
| distribution.artifactThe artifact of a target | distribution | behaviorally_verified |
| distribution.buildThis build | distribution | behaviorally_verified |
| distribution.modelThe distribution model | distribution | behaviorally_verified |
| distribution.releasesPublished releases | distribution | behaviorally_verified |
| distribution.statusWhether the published installation works | distribution | behaviorally_verified |
| economics.checkRefuse unsupported economics claims | economics | behaviorally_verified |
| economics.explainExplain one economics metric | economics | behaviorally_verified |
| economics.runsRecorded benchmark runs | economics | behaviorally_verified |
| economics.summaryToken economics summary | economics | behaviorally_verified |
| editors.statusEditor and agent projections | editors | behaviorally_verified |
| entity.kindsEvery kind, and whether every object of it is addressable | entity | implemented |
| entity.showRead one entity | entity | implemented |
| environment.explainWhere an environment value came from | environment | behaviorally_verified |
| environment.preflightWhether Majordomus is in force here, and what proves it | environment | behaviorally_verified |
| environment.statusThe repository environment | environment | behaviorally_verified |
| episodes.listList episodes | episodes | behaviorally_verified |
| evidence.claimWhat proves this claim | evidence | behaviorally_verified |
| evidence.reportEvery claim against the evidence recorded for it | evidence | behaviorally_verified |
| evidence.stampMeasure the tree a run left behind | evidence | behaviorally_verified |
| evidence.testWhat this test proves | evidence | behaviorally_verified |
| executions.demonstrateDemonstrate an execution | executions | behaviorally_verified |
| executions.eventsAn execution's event history | executions | behaviorally_verified |
| executions.getOne execution | executions | behaviorally_verified |
| executions.listList executions | executions | behaviorally_verified |
| executions.protocolThe live channel's contract | executions | behaviorally_verified |
| gates.completionWhether this task may be called finished | gates | behaviorally_verified |
| gates.modelThe CI model | gates | behaviorally_verified |
| graph.getDerive one graph | graph | behaviorally_verified |
| graph.listList graphs | graph | behaviorally_verified |
| guard.editJudge one edit | guard | experimental |
| health.liveLiveness | health | behaviorally_verified |
| health.readyReadiness | health | behaviorally_verified |
| health.reportHealth of this process | health | behaviorally_verified |
| integration.cleanupWhat cleanup would do | integration | experimental |
| integration.eventsThe integration audit trail | integration | experimental |
| integration.explainWhy one pull request is where it is | integration | experimental |
| integration.prove_dry_runProof that a dry run moves nothing | integration | experimental |
| integration.queueThe integration queue | integration | experimental |
| integration.timingsHow long CI takes | integration | experimental |
| integration.trainsThe trains of stacked pull requests | integration | experimental |
| intent_realization.explainWhy an intent stands where it stands | intent_realization | behaviorally_verified |
| intent_realization.workWhich work realises which intent, and what each still lacks | intent_realization | behaviorally_verified |
| intents.bindingWhat a piece of work is bound to before it starts | intents | behaviorally_verified |
| intents.coverageWhich work carries which criterion, and why each issue exists | intents | behaviorally_verified |
| intents.listEvery intent, with its derived stage and verdict | intents | behaviorally_verified |
| intents.preflightWhich intent a piece of work serves, or why it may not proceed | intents | behaviorally_verified |
| intents.recordOne intent, with everything derived about it | intents | behaviorally_verified |
| intents.validateWhat the intent model refuses | intents | behaviorally_verified |
| knowledge_base.candidatesCandidates awaiting review | knowledge_base | behaviorally_verified |
| knowledge_base.recordOne knowledge record | knowledge_base | behaviorally_verified |
| knowledge_base.statusWhether the deriver is still writing | knowledge_base | behaviorally_verified |
| lifecycle.closedThe records a clone receives | lifecycle | behaviorally_verified |
| lifecycle.episodesEvery open episode | lifecycle | behaviorally_verified |
| lifecycle.providersWhat each provider's adapter declares | lifecycle | behaviorally_verified |
| lifecycle.recoveryWhat the store needs somebody to do | lifecycle | behaviorally_verified |
| lifecycle.runtimeThe commit this process is answering about | lifecycle | behaviorally_verified |
| mcp.projectionThe MCP projection of this registry | mcp | experimental |
| mesh.cooperationCooperation, at a glance | mesh | experimental |
| mesh.doctorThe mesh self-check | mesh | experimental |
| mesh.eventsThe cooperation journal | mesh | experimental |
| mesh.firewallThe host firewall, as the mesh needs it | mesh | experimental |
| mesh.identityThis machine's node identity | mesh | experimental |
| mesh.nodesThe discovered nodes | mesh | experimental |
| mesh.peerOne runtime | mesh | experimental |
| mesh.peersWho cooperates, machine by machine | mesh | experimental |
| mesh.stateThe state every linked runtime converges on | mesh | experimental |
| mesh.statusThe mesh, at a glance | mesh | experimental |
| models.listThe model catalogue | models | experimental |
| models.routeRoute a need to a model | models | experimental |
| monitor.streamFollow everything in one stream | monitor | experimental |
| objects.getGet one object | objects | behaviorally_verified |
| objects.listList objects | objects | behaviorally_verified |
| objects.searchSearch objects | objects | behaviorally_verified |
| objects.verifyVerify the index against the working tree | objects | behaviorally_verified |
| obligations.closureWhat this task still owes | obligations | behaviorally_verified |
| obligations.vocabularyEvery obligation there is | obligations | behaviorally_verified |
| observatory.captureObservatory capture | observatory | behaviorally_verified |
| observatory.eventsObservatory events | observatory | behaviorally_verified |
| observatory.replayObservatory replay | observatory | behaviorally_verified |
| pack.planPlan a source pack | pack | behaviorally_verified |
| pack.verifyVerify a written source pack | pack | behaviorally_verified |
| peers.listList peers | peers | behaviorally_verified |
| perf.countersPerformance counters | perf | behaviorally_verified |
| plan.issuesThe issues, filtered by what the graph derived | plan | behaviorally_verified |
| plan.modelThe whole derived plan | plan | behaviorally_verified |
| plan.nextThe one issue to take now | plan | behaviorally_verified |
| plan.recordOne milestone or issue, with everything derived about it | plan | behaviorally_verified |
| plan.roadmapThe milestones in derived order | plan | behaviorally_verified |
| plan.statusWhere the plan stands | plan | behaviorally_verified |
| plan.validateWhat the model refuses | plan | behaviorally_verified |
| plan.wavesWhat may run at the same time | plan | behaviorally_verified |
| product.domainsThe domains | product | behaviorally_verified |
| product.featureOne feature | product | behaviorally_verified |
| product.featuresThe features | product | behaviorally_verified |
| product.matrixFeatures against interfaces | product | behaviorally_verified |
| product.providersThe providers | product | behaviorally_verified |
| product.validateValidate the model | product | behaviorally_verified |
| quality.reportPublic API quality report | quality | behaviorally_verified |
| quality.rustdocRustdoc tree integrity | quality | behaviorally_verified |
| reasoning.advisorsThe advisors and what they can do now | reasoning | experimental |
| reasoning.checkCheck that reasoning stays provider-independent | reasoning | experimental |
| reasoning.explainWhy a decision was made | reasoning | experimental |
| reasoning.planWhat an uncertainty calls for | reasoning | experimental |
| reasoning.statusThe session's reasoning state | reasoning | experimental |
| release.analysisWhat the public contract did, and the smallest version it allows | release | implemented |
| release.changelogThe changelog | release | implemented |
| release.nextThe version a landing allocates, and why | release | implemented |
| release.versionThe version, and the one the contract requires next | release | implemented |
| repository.infoRepository and index state | repository | behaviorally_verified |
| repository.scopeThe repository scope | repository | behaviorally_verified |
| repository.scope_classifyJudge a path against the scope | repository | behaviorally_verified |
| rules.provesWhat this test proves | rules | behaviorally_verified |
| rules.reportEvery rule against the proof there is for it | rules | behaviorally_verified |
| rules.showWhat proves this rule | rules | behaviorally_verified |
| served.showWhat each deployment was last seen serving | served | behaviorally_verified |
| server.statusThe shared server, and every server of the repository | server | behaviorally_verified |
| session_domain.identityWhat identifies this checkout, and how each store spells it | session_domain | behaviorally_verified |
| session_domain.machineThe episode lifecycle, as data | session_domain | behaviorally_verified |
| shell.checkRefuse undeclared shell | shell | behaviorally_verified |
| skills.explainOne skill, with everything derived about it | skills | behaviorally_verified |
| skills.statusEvery skill, with its derived standing | skills | behaviorally_verified |
| skills.verifyWhat the skills owe and do not have | skills | behaviorally_verified |
| trace.commitWhat contract this commit served | trace | behaviorally_verified |
| trace.issueWhat realised this issue | trace | behaviorally_verified |
| trace.reportThe whole work graph above the branch | trace | behaviorally_verified |
| web.surfacesEvery web surface, resolved | web | behaviorally_verified |
| why.areasOperational areas | why | behaviorally_verified |
| why.audiencesAudiences | why | behaviorally_verified |
| why.diagnoseDiagnose a selection | why | behaviorally_verified |
| why.listThe catalogue | why | behaviorally_verified |
| why.momentOne moment | why | behaviorally_verified |
| why.validateValidate the catalogue | why | behaviorally_verified |
| worktree.inspectOne branch: where its worktree belongs and what is there | worktree | behaviorally_verified |
| worktree.migration_planWhat it would take to bring every worktree home | worktree | behaviorally_verified |
| worktree.statusWhere this is, and whether that is where it belongs | worktree | behaviorally_verified |
| worktree.topologyThe whole topology | worktree | behaviorally_verified |
| worktree.uncommittedUncommitted work in the linked worktrees, and what holds it | worktree | behaviorally_verified |