Files
Michał Pierzchała 2d109e5cc5 refactor(contracts): additive capability facts on the clipboard family (#2464)
* refactor(contracts): make clipboard capability facts additive

Additive capability facts on the clipboard family (#2443, family 3).

clipboardRuntimeOperationFacts took exactly two cells, read and write, and both are
required. The halves stay separate claims — a WebDriver provider whose Appium clipboard
extension exposes only a getter is a real owner with one half and not the other, and
`clipboard read` must not be refused because the write half is missing — so both are
optional and `unsupported` names the denial an unnamed half reports. A call naming no
denial is still refused: omission is a classified refusal, never an unclassified half
and never an implied success.

Six of the eight owners drive both halves from one shell command set or one leaf gate,
so they now state that once: web, HarmonyOS, and Vega name a single denial, and the
shared unavailable record carries one clipboard cell where it carried two. The owners
that serve clipboard keep naming both halves, and the one install-source double that
enumerated the two keys by hand now goes through the family builder like every other
construction site.

Fact values are unchanged: every owner's clipboard cells are byte-identical, and the
family's own test pins an unnamed half reporting the stated denial verbatim, an owner
naming nothing answering with the exhaustive shape, and the freeze.

* fix(contracts): derive clipboard family denials from the served cell

Review follow-up on the clipboard family.

Apple restated its leaf branches to choose a clipboard denial, so the leaf split lived
twice in one file. It now reads the leaf's own refusal, keeping a leaf-scoped
placeholder only where the leaf serves clipboard and therefore has no clipboard
refusal to state.

Android named a build-level shell verdict as its family denial, which is the claim its
own probe refuses to make when the probe did not complete; the denial now follows the
probed cell, so an unnamed half reports the unknown rather than a verdict.

Pin the shared unavailable record's clipboard fan-out the way the keyboard commit
pinned its own: one input cell, two operations, each with its reason.
2026-09-10 17:02:32 +02:00
..