The relation on a YAML composition that declares which nuclear quartet position it occupies. Its value is a commitment: the composition's wiring structure must satisfy the declared position.

Flatfile Agential Resource System Closure Kind

What this is

closure-kind is a Relation carried by YAML composition files — skills and runbooks. It declares which nuclear quartet position the composition occupies: Process, Procedure, Derivation, or Inquiry.

The value is a commitment, not a label. The composition’s actual wiring structure MUST satisfy the declared position — a composition that branches on conditions is not a Process regardless of what it declares.

closure-kind lives on YAML files (compositions), not Python files (generators). A single step $s \in \Sigma$ is a generator — it has no closure kind. The quartet position emerges from how generators compose. See flatfile-agential-resource-system-runbook for the Foata normal form grounding.

A composition MUST carry exactly one closure-kind. A composition CANNOT occupy two positions simultaneously.

Valid objects

The value of closure-kind: must be the id of one of these four named entities:

process — Fix(σ)∩Fix(Δ): deterministic wiring, no branching
procedure — Fix(σ)∖H*: conditional routing between steps
derivation — Fix(Δ)∖H*: inference step produces value at runtime
inquiry — raw A: structure discovered during execution

Relationship to other concepts

Process, Procedure, Derivation, Inquiry — the four positions this relation classifies.
FlatfileAgentialResourceSystemSkillfulWork — all four positions together exhaust all FlatfileAgentialResourceSystemSkillfulWork.
flatfile-agential-resource-system-runbook — the YAML composition that carries this relation.