Research · implementation

Abbey capability claims as an executable ledger

Abbey centralizes capability statements in a typed registry whose status, evidence, dependencies, feature flags, and refusal behavior can be projected into documentation and checked for drift.

AIWDBXSEAGPUMCPTUI

Claims as structured data

The registry distinguishes current, partial, proposed, blocked, and out-of-scope capabilities. Each entry can identify its owning crate, dependencies, feature flags, evidence commands or files, and a refusal message for work the repository does not support.

This structure lets application surfaces answer capability questions from one source instead of inferring support from command names, optional dependencies, or aspirational prose.

Documentation synchronization

A generated claims document provides a human-readable view of the registry, while the synchronization checker compares generated output with committed documentation. The useful pattern is not merely generation: it is the ability to fail a verification gate when the narrative and typed source diverge.

Feature-gated capabilities retain their flags in the ledger, and unsupported work has an explicit refusal path. Both properties help prevent a broad product description from erasing runtime prerequisites.

Limitations

  • A current ledger entry means the cited repository evidence satisfies the entry's policy; it is not automatically proof of a deployed service, configured provider, or successful live interaction.
  • Feature-gated and environment-dependent capabilities must retain their prerequisites when summarized outside Abbey.