Which slot-value combinations example-space coverage reports

spec:consumers.agent-surface.combination-coverage

Use Case / Behavior · storyidea floor idea

Next rung scoped waits on 1 unmet clause:

kind-evidence-present · The kind's natural evidence is present (per-kind evidence table).

Design: no design entries · no pinned declarations · no decisions

specs/consumers/agent-surface.combination-coverage.sdp.md

1 open question and 1 blocking question; implementation binding none, verifier binding none, and expected-outcome oracle none.

Intent

outcome: Report the combinations of slot values no example exercises, once a design pass needs them.

Open questions

blocking · question.combinationCoverage line 16 · specs/consumers/agent-surface.combination-coverage.sdp.md:16 · Which combinations of slot values should coverage enumerate and report?Decider: ownerLinks: spec:consumers.agent-surface.example-space-coverage#rule.perSlotOnlyProvisional: keep recipe 44 limited to individual slot valuesTrigger: a design pass asks which combinations no example exercises

Behavior

0 unkeyed rules.

Verification

Verifier bindings

No verifier binding recorded.

Design view

Requirement drawing

Declared verifying examples: no declared verifying example.
Satisfying or referencing units: no recorded binding.
Test or oracle bindings: no recorded binding.

Requirement drawing for spec:consumers.agent-surface.combination-coverage

Arrows: refines (declared).

The diagram as text

spec:consumers.agent-surface.combination-coverage: Which slot-value combinations example-space coverage reports · declared Spec · no satisfying binding
spec:consumers.agent-surface.example-space-coverage: Example spaces report which values their examples cover · declared Spec
spec:consumers.agent-surface.combination-coverage refines spec:consumers.agent-surface.example-space-coverage · declared

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.

Mermaid source for Requirement drawing for spec:consumers.agent-surface.combination-coverage

requirementDiagram
  requirement n0 {
    text: "Which slot-value combinations example-space coverage reports · declared Spec · no satisfying binding · spec:consumers.agent-surface.combination-coverage"
  }
  requirement n1 {
    text: "Example spaces report which values their examples cover · declared Spec · spec:consumers.agent-surface.example-space-coverage"
  }
  %% claim: declared
  n0 - refines -> n1

Decisions

No decision record named.

Runtime

No implementation neighborhood recorded.

Runtime observation: not tracked.

Evidence

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.

Impact

Relations of spec:consumers.agent-surface.combination-coverage

Arrows: refines (declared).

The diagram as text

spec:consumers.agent-surface.combination-coverage: Which slot-value combinations example-space coverage reports
spec:consumers.agent-surface.example-space-coverage: Example spaces report which values their examples cover
spec:consumers.agent-surface.combination-coverage refines spec:consumers.agent-surface.example-space-coverage · declared

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

Mermaid source for Relations of spec:consumers.agent-surface.combination-coverage

flowchart TB
  n0["Example spaces report which values their examples cover · spec:consumers.agent-surface.example-space-coverage"]
  n1["Which slot-value combinations example-space coverage reports · spec:consumers.agent-surface.combination-coverage"]
  n1 -->|"refines · declared"| n0

Rests on

refines · spec:consumers.agent-surface.example-space-coverage · stated ready, floor ready

Rested on by

No Spec rests on this Spec.

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
refines · outgoing	Example spaces report which values their examples cover `spec:consumers.agent-surface.example-space-coverage` · resolves	declared	None	None

Bindings

Implementation binding: none

Design reference: none

Verifier binding: none

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.