Export coverage declaration

The Lifecycle

Coverage is a release registry, separate from query-dataset registration and from any completed package.

Transitions Explained

A changed schema version can replace a declaration; explicit omission retires it and a later declaration can restore it. Deferred declarations record unsupported coverage.

What Cannot Happen

A service with no datasets property is distinct from an explicit empty list, which requests retirement of its declarations.

Concurrency and Timing

Coverage conflicts are logged and do not fail the service activation.