207-the-registry-lists-what-verify-would-run

The registry lists specs by implementation state and by whether verify would run anything

Lifecycle approvedImplementation completeVerification unknownQualification unknown

`registry list` filters by lifecycle status only. Adopters that run every implemented spec's acceptance keep that set by hand, as a Makefile variable and as CI partitions validated against it, and resolve conflicts in it whenever two closures race. One adopter's hand list, compared on 2026-10-27 with what its corpus says, includes one spec still in progress and omits one complete spec that declares acceptance. This spec adds two filters that compose with `--status` and with `--ids-only`: `--implementation <state>`, over the frontmatter value, and `--has-acceptance`, true when `spec-spine verify <id>` would run at least one command, resolved the way `verify` resolves an amended block. The record gains `declaresAcceptance`, computed at compile, so the answer comes from the committed ledger like every other registry read.

Read the full pinned specification ↗

Relationships

depends on

depended on by

208-the-0-32-0-release-moves-the-pin

Claimed units

establishes

{
  "kind": "file",
  "path": "crates/spec-spine-cli/tests/registry_list_filters.rs"
}

extends

{
  "nature": "additive",
  "spec": "002-registry-query",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/cmd_registry.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "002-registry-query",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/query.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "002-registry-query",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/query.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/src/registry.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/src/version.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/schemas/registry.schema.json"
  }
}

extends

{
  "nature": "additive",
  "spec": "022-index-sharding",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/schemas/registry-spec-shard.schema.json"
  }
}

extends

{
  "nature": "additive",
  "spec": "022-index-sharding",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/tests/dtos.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/compile.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/lib.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/conformance.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "043-verify-declared-acceptance",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/verify.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "162-capability-catalog",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/capability.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "167-read-only-tool-projection",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/projection.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "106-obligations-are-declared-constraints",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/obligations.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "109-impact-and-conflict-are-declared",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/impacts.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "111-a-move-is-a-reviewed-mapping",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/moves.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "057-the-docs-name-what-adopters-derived",
  "unit": {
    "kind": "file",
    "path": "docs/schema-versioning.md"
  }
}

extends

{
  "nature": "additive",
  "spec": "057-the-docs-name-what-adopters-derived",
  "unit": {
    "anchor": "cli-reference",
    "file": "docs/cli-reference.md",
    "kind": "section"
  }
}

Source headings

207: The registry lists specs by implementation state and by whether verify would run anything
1. Purpose
2. Territory
3. Behavior
3.1 `--implementation <state>`
3.2 `--has-acceptance`
3.3 The record field
3.4 Composition and order
3.5 What it does not change
4. Acceptance criteria
5. Out of scope
6. Resolved decisions
Verification

Frozen anchors

No frozen anchors declared.