release: 0.10.0 — the coverage skill, and specify corrected by a real adoption

[timofriedlberlin]

A new skill is a new capability, so this is a minor.

ess-specify:specify, corrected by a real adoption

An adopter specified a 46k-line Rust service with this skill and held it to a conformance suite. Six
defects cost measurable time, and one caused the rest.

The skill wrote format: ess/1 in its example and pinned its sample output to a named ESS release.
The language has four majors. Following the instructions produced a whole specification at ess/1
and a thirteen-item list of things "ESS cannot say" — of which three were already solved and a
fourth was solved on re-baselining. It now opens by asking what the binary speaks, and asserts no
release number anywhere.

The other five:

• The predicate grammar was never described. kind == WebCrawl or kind == ZendeskHc parses as
  one fact path, and its undeclared reference refusal reads as proof that disjunction does not
  exist. Compounds are structured; the worked example is an implication.
• Authored scenarios never appeared. A quarter of that adopter's suite reported no information
  until one established a row directly. The flag that selects them is now named, along with the
  reason they are needed: synthesis arranges a subject by replaying commands and reads no entity
  relations.
• run was described as holding "a built-in reference implementation". One of those targets
  says in its own source that it executes no part of the model; pointed at an adopter's
  specification it returns every scenario unsupported, which prints like a result.
• aep plan reverse openapi was oversold as the first move. On a fifty-operation contract it
  yielded 197 types, zero entities and 132 UNMAPPED markers. It is now described by what it
  gives you, with identity and lifecycle read from the implementation.
• Two of seven sections addressed the wrong audience. ## Adapter contract and
  ## Format changes are about importers, projectors and minting a major — work done on ESS.
  Both are gone.

New rule: a refusal is real when a handler performs it. Auditing one specification against its
service found a refusal nothing performs, two idempotent operations modelled as conflicts, and an
entity that was a request extractor rather than a stored row.

ess-specify:coverage

Gains the skip block that is neither a missing construct nor an undriven plane — a precondition the
model cannot state — and the runner that refuses a newer-vocabulary suite until it is admitted.

Release mechanics

Workspace version, twelve plugin manifests, three Skill version lines, README.md,
website/docs/install.md and website/docs/plugins/connectors.md move together to 0.10.0;
Cargo.lock follows. ## [Unreleased] becomes ## [0.10.0] — 2026-09-18.

task check green: valid: 9 eval case(s), 1 recorded transcript(s) replayed,
valid: marketplace beyond10x, 6 focused plugin(s). Planning store: story:specify-corrected-by-a-real-adoption
(implemented, with a test_result record) and task:release-0-10-0-specify-corrections.

Tag after merge, not before.