@agenticprimitives/ontology 1.0.0-alpha.26 → 1.0.0-alpha.27

package/tbox/evaluation.ttl

@@ -0,0 +1,234 @@
+# T-box — MEASUREMENTS of a harness run (spec 414 §7, A2). Namespace apeval:.
+#
+# ── What this is and is NOT ───────────────────────────────────────────────────────────────────────
+# A measurement is a NUMBER about a run or a step, computed from its trace alone — completion, verdict counts,
+# latency, model calls, tokens, vault calls, replans. It is DESCRIPTIVE: nothing here says whether an answer was
+# right (that is a judgment — spec 414 §3.4, a different record with a named criterion and judge). It is EVIDENCE,
+# never authority: no gate reads an apeval: term (spec 354 §1 / ADR-0041). And it carries no words: a measurement is
+# a metric, a value and a unit (shape M3).
+#
+# Every term specializes a standard one (spec 414 §2 rule 2): a metric is a dqv:Metric, a measurement a
+# dqv:QualityMeasurement (and a prov:Entity, generated by a measuring activity that used the run's bundle).
+# A metric's IRI is DERIVED from its skos:notation — `m-` + camelCase (`latency-ms` → `apeval:m-latencyMs`) — so
+# code names a metric by notation and never by a lookup table (asserted in the ontology suite).
+
+@prefix apeval: <https://agenticprimitives.dev/ns/evaluation#> .
+@prefix apexec: <https://agenticprimitives.dev/ns/execution#> .
+@prefix dqv:    <http://www.w3.org/ns/dqv#> .
+@prefix prov:   <http://www.w3.org/ns/prov#> .
+@prefix skos:   <http://www.w3.org/2004/02/skos/core#> .
+@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:    <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .
+@prefix dcat:   <http://www.w3.org/ns/dcat#> .
+@prefix earl:   <http://www.w3.org/ns/earl#> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix ep-plan: <https://w3id.org/ep-plan#> .
+@prefix p-plan: <http://purl.org/net/p-plan#> .
+
+apeval: a owl:Ontology ;
+  rdfs:label "Agentic Primitives — run measurements" ;
+  owl:versionInfo "0.4.0" ;
+  rdfs:comment "Descriptive measurements of a harness run, on W3C DQV. Spec 414 §7 / 415 A2." .
+
+apeval:Metric a owl:Class ;
+  rdfs:subClassOf dqv:Metric , skos:Concept ;
+  rdfs:label "Metric" ;
+  rdfs:comment "A quantity computed from a run's trace alone. Declared here once; code names it by skos:notation. NOT a criterion (a stated expectation — spec 414 §3.4) and NOT a score of correctness." .
+
+apeval:Metrics a skos:ConceptScheme ; rdfs:label "Run metrics" .
+
+apeval:RunMeasurement a owl:Class ;
+  rdfs:subClassOf dqv:QualityMeasurement , prov:Entity ;
+  rdfs:label "RunMeasurement" ;
+  rdfs:comment "One measurement of one metric on one run or step (dqv:computedOn the run's or the step's activity). Generated by an apeval:Measuring activity that prov:used the run's bundle." .
+
+apeval:Measuring a owl:Class ;
+  rdfs:subClassOf prov:Activity ;
+  rdfs:label "Measuring" ;
+  rdfs:comment "The activity of computing a run's measurements from its trace. Mechanical and reproducible: the same trace yields the same measurements." .
+
+apeval:RunMeasures a owl:Class ;
+  rdfs:subClassOf dqv:QualityMeasurementDataset , prov:Bundle ;
+  rdfs:label "RunMeasures" ;
+  rdfs:comment "One run's measurements as one record (`run.measures:<runRef>` in the acting agent's vault), prov:wasDerivedFrom the run's provenance bundle." .
+
+apeval:unit a owl:DatatypeProperty ;
+  rdfs:domain apeval:RunMeasurement ; rdfs:range xsd:string ;
+  rdfs:label "unit" ;
+  rdfs:comment "UCUM code of the value: `ms`, `{count}`, `1` (a ratio or a 0/1 fact)." .
+
+apeval:hasMeasurement a owl:ObjectProperty ;
+  rdfs:domain apeval:RunMeasures ; rdfs:range apeval:RunMeasurement ;
+  rdfs:label "hasMeasurement" .
+
+# ── The metrics (spec 414 §7, intrinsic — from the trace alone) ──
+apeval:m-completed a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "completed" ; skos:prefLabel "completed" ; skos:definition "1 when the run completed, 0 otherwise." .
+apeval:m-stepsPlanned a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "steps-planned" ; skos:prefLabel "steps planned" .
+apeval:m-stepsRun a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "steps-run" ; skos:prefLabel "steps run" ; skos:definition "Steps that executed (replayed steps excluded)." .
+apeval:m-stepsRefused a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "steps-refused" ; skos:prefLabel "steps refused" .
+apeval:m-verdictsAllow a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "verdicts-allow" ; skos:prefLabel "authority verdicts: allow" .
+apeval:m-verdictsDeny a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "verdicts-deny" ; skos:prefLabel "authority verdicts: deny" .
+apeval:m-approvalsWaited a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "approvals-waited" ; skos:prefLabel "approvals waited on" .
+apeval:m-replans a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "replans" ; skos:prefLabel "replans forced by admission" .
+apeval:m-resumedSteps a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "resumed-steps" ; skos:prefLabel "steps replayed on resume" .
+apeval:m-latencyMs a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "latency-ms" ; skos:prefLabel "latency" ; skos:definition "From the request's arrival (or the first step) to the run's end; on a step, the step's own window." .
+apeval:m-modelCalls a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "model-calls" ; skos:prefLabel "model calls" .
+apeval:m-tokensIn a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "tokens-in" ; skos:prefLabel "tokens in" ; skos:definition "Provider-reported input tokens; absent when no provider reported them (never estimated)." .
+apeval:m-tokensOut a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "tokens-out" ; skos:prefLabel "tokens out" .
+apeval:m-vaultCalls a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "vault-calls" ; skos:prefLabel "vault calls" .
+apeval:m-effectsConfirmed a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "effects-confirmed" ; skos:prefLabel "effects confirmed" ; skos:definition "Steps whose adapter observation reached `confirmed` (spec 410 §2)." .
+apeval:m-engagements a apeval:Metric ; skos:inScheme apeval:Metrics ; skos:notation "engagements" ; skos:prefLabel "harness-capability engagements" .
+
+# ═════════════════════════════════════════════════════════════════════════════════════════════════
+# Spec 415 S0 + SEL-1 — REPLAY SETS, CRITERIA, and the first JUDGMENT: skill selection.
+#
+# A replay set is a versioned dataset of intents (DCAT), each optionally bound to a starting state. A CRITERION is a
+# stated expectation, pre-registered by digest before any run it judges (spec 414 §3.4 J2): for selection, the gold
+# skill and the acceptable set of each intent. A JUDGMENT is an activity by a NAMED judge of a declared KIND that used
+# a subject and a criterion and generated a verdict (EARL) — evidence, never authority (J1). The selection outcome
+# classes follow the AI Skills Commons trigger-accuracy methodology v1.0 (§1), named here once.
+# ═════════════════════════════════════════════════════════════════════════════════════════════════
+
+apeval:ReplaySet a owl:Class ;
+  rdfs:subClassOf dcat:Dataset ;
+  rdfs:label "ReplaySet" ;
+  rdfs:comment "A versioned, checksummed set of intents to replay under variants (spec 415 S0). Split into development and held-out (pre-registered by digest). NOT the criteria: gold lives in a separate criterion record." .
+
+apeval:ReplayIntent a owl:Class ;
+  rdfs:subClassOf prov:Entity ;
+  rdfs:label "ReplayIntent" ;
+  rdfs:comment "One intent of a replay set, cited by id and digest. Its words live in the set's file; a run's graph never carries them." .
+
+apeval:hasIntent a owl:ObjectProperty ; rdfs:domain apeval:ReplaySet ; rdfs:range apeval:ReplayIntent ; rdfs:label "hasIntent" .
+apeval:split a owl:DatatypeProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range xsd:string ; rdfs:label "split" ; rdfs:comment "development | held-out." .
+apeval:bucket a owl:DatatypeProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range xsd:string ; rdfs:label "bucket" ; rdfs:comment "The case bucket (explicit · implicit · contextual · negative-near · negative-scope · negative-out · collision-a · collision-b · collision-ambiguous)." .
+apeval:setDigest a owl:DatatypeProperty ; rdfs:domain apeval:ReplaySet ; rdfs:range xsd:string ; rdfs:label "setDigest" ; rdfs:comment "sha256 over the set's canonical JSON (RFC 8785)." .
+
+apeval:SelectionCriterion a owl:Class ;
+  rdfs:subClassOf ep-plan:Constraint ;
+  rdfs:label "SelectionCriterion" ;
+  rdfs:comment "What selection SHOULD do for one intent: the gold skill (or none, for a negative) and the acceptable alternates, pre-registered by digest. A hypothesis until adjudicated." .
+
+apeval:criterionDigest a owl:DatatypeProperty ; rdfs:domain apeval:Judgment ; rdfs:range xsd:string ; rdfs:label "criterionDigest" ;
+  rdfs:comment "sha256 of the criterion record the judgment applied (J2: stated before, cited by digest)." .
+
+apeval:Judgment a owl:Class ;
+  rdfs:subClassOf prov:Activity ;
+  rdfs:label "Judgment" ;
+  rdfs:comment "An activity that judged a subject (a run or a step) against a criterion and generated a verdict (spec 414 §3.4). Evidence, never authority; never rewrites the trace it judged (J1, J6)." .
+
+apeval:Judge a owl:Class ;
+  rdfs:subClassOf prov:Agent ;
+  rdfs:label "Judge" ;
+  rdfs:comment "Who or what judged. Its KIND is declared (J3) and verdicts of different kinds are never pooled (J4)." .
+
+apeval:judgeKind a owl:DatatypeProperty ; rdfs:domain apeval:Judge ; rdfs:range xsd:string ; rdfs:label "judgeKind" ; rdfs:comment "mechanical | model | human." .
+
+apeval:SelectionOutcome a owl:Class ;
+  rdfs:subClassOf skos:Concept ;
+  rdfs:label "SelectionOutcome" ;
+  rdfs:comment "The class of a selection verdict (methodology v1.0 §1)." .
+apeval:SelectionOutcomes a skos:ConceptScheme ; rdfs:label "Skill-selection outcomes" .
+
+apeval:selectionOutcome a owl:ObjectProperty ; rdfs:domain earl:TestResult ; rdfs:range apeval:SelectionOutcome ; rdfs:label "selectionOutcome" .
+apeval:chargedTo a owl:DatatypeProperty ; rdfs:domain earl:TestResult ; rdfs:range xsd:string ; rdfs:label "chargedTo" ; rdfs:comment "The skill a spurious or wrong selection is charged to (a canonical id)." .
+apeval:evidenceKind a owl:DatatypeProperty ; rdfs:domain earl:TestResult ; rdfs:range xsd:string ; rdfs:label "evidenceKind" ; rdfs:comment "stamped (the harness recorded governedBySkill) | inferred (an opaque agent, by detection tier). Never pooled." .
+
+apeval:so-tp a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "tp" ; skos:prefLabel "correct" ; skos:definition "The gold skill was selected." .
+apeval:so-tpAlt a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "tp-alt" ; skos:prefLabel "acceptable alternative" ; skos:definition "A declared acceptable alternate was selected (excluded from accuracy, reported beside it)." .
+apeval:so-misSib a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "mis-sib" ; skos:prefLabel "sibling miss" ; skos:definition "The gold skill's declared collision partner was selected instead." .
+apeval:so-misFar a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "mis-far" ; skos:prefLabel "far miss" ; skos:definition "Some other skill was selected." .
+apeval:so-miss a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "miss" ; skos:prefLabel "miss" ; skos:definition "A skill was expected and none was selected." .
+apeval:so-tn a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "tn" ; skos:prefLabel "correct abstention" ; skos:definition "No skill was expected and none was selected." .
+apeval:so-spur a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "spur" ; skos:prefLabel "spurious" ; skos:definition "No skill was expected and one was selected; charged to it." .
+apeval:so-undetected a apeval:SelectionOutcome ; skos:inScheme apeval:SelectionOutcomes ; skos:notation "undetected" ; skos:prefLabel "undetected" ; skos:definition "The selection could not be read; excluded from denominators (a verdict of cantTell, never a pass or a fail)." .
+
+# ── Experiments and the capture window (spec 414 §7–8, 415 A4) ─────────────────────────────────────
+# A comparison is PRE-REGISTERED: the plan names the replay set, the criterion, the variants and the thresholds BY
+# DIGEST before the first run, and scoring refuses across them. An experiment is the activity that ran it. A capture
+# window is the activity inside which results may leave a test estate for the eval store — absent, expired or exceeded
+# ⇒ export refused by name. None of this is authority: nothing here is read by a gate.
+
+apeval:ExperimentPlan a owl:Class ;
+  rdfs:subClassOf p-plan:Plan ;
+  rdfs:label "ExperimentPlan" ;
+  rdfs:comment "A comparison pre-registered by digest: the replay set, the criterion, the variants (each a Variant digest), the split, the repeats and the thresholds, fixed BEFORE the first run (spec 415 §3a). A plan whose components differ in more than one thing between two variants is CONFOUNDED and says so." .
+
+apeval:Experiment a owl:Class ;
+  rdfs:subClassOf prov:Activity ;
+  rdfs:label "Experiment" ;
+  rdfs:comment "The activity that ran an ExperimentPlan: every run it dispatched (by run reference, pseudonymised in the eval store), the judgments and the scores. Evidence, never authority." .
+
+apeval:CaptureWindow a owl:Class ;
+  rdfs:subClassOf prov:Activity ;
+  rdfs:label "CaptureWindow" ;
+  rdfs:comment "The window inside which a test estate's runs may be exported to an eval store (spec 414 §8): the store, the capture level (L0 numbers · L1 structure · L2 graph · L3 words), the roster of test personas, the estate, and when it opens and expires. Export outside it is refused and counted, never downgraded silently." .
+
+apeval:replaySetDigest a owl:DatatypeProperty ; rdfs:domain apeval:ExperimentPlan ; rdfs:range xsd:string ; rdfs:label "replaySetDigest" .
+apeval:variantDigest a owl:DatatypeProperty ; rdfs:domain apeval:ExperimentPlan ; rdfs:range xsd:string ; rdfs:label "variantDigest" ; rdfs:comment "The digest of a Variant a plan compares (apexec:Variant)." .
+apeval:thresholdsDigest a owl:DatatypeProperty ; rdfs:domain apeval:ExperimentPlan ; rdfs:range xsd:string ; rdfs:label "thresholdsDigest" .
+apeval:planDigest a owl:DatatypeProperty ; rdfs:domain apeval:Experiment ; rdfs:range xsd:string ; rdfs:label "planDigest" ; rdfs:comment "The digest an Experiment cites for the plan it ran." .
+apeval:repeats a owl:DatatypeProperty ; rdfs:domain apeval:ExperimentPlan ; rdfs:range xsd:integer ; rdfs:label "repeats" .
+apeval:confounded a owl:DatatypeProperty ; rdfs:domain apeval:ExperimentPlan ; rdfs:range xsd:boolean ; rdfs:label "confounded" ; rdfs:comment "true when two compared variants differ in more than one component (spec 414 §7): the result is labelled, never read as a lift." .
+apeval:captureLevel a owl:DatatypeProperty ; rdfs:domain prov:Entity ; rdfs:range xsd:string ; rdfs:label "captureLevel" ; rdfs:comment "L0 | L1 | L2 | L3 — the level a record was exported at. A number computed with words present is never read as one from the vault-only pipeline." .
+apeval:roster a owl:DatatypeProperty ; rdfs:domain apeval:CaptureWindow ; rdfs:range xsd:string ; rdfs:label "roster" ; rdfs:comment "A test persona admitted by the window, by agent address." .
+apeval:estate a owl:DatatypeProperty ; rdfs:domain apeval:CaptureWindow ; rdfs:range xsd:string ; rdfs:label "estate" ; rdfs:comment "The Home origin whose runs the window admits." .
+apeval:hasRun a owl:ObjectProperty ; rdfs:subPropertyOf prov:used ; rdfs:domain apeval:Experiment ; rdfs:range prov:Entity ; rdfs:label "hasRun" ; rdfs:comment "A run the experiment dispatched (its bundle, pseudonymised)." .
+apeval:refusedCount a owl:DatatypeProperty ; rdfs:domain apeval:Experiment ; rdfs:range xsd:string ; rdfs:label "refusedCount" ; rdfs:comment "`capture.refused.<reason>=<n>` — what the firewall refused, counted, never dropped." .
+
+# ═════════════════════════════════════════════════════════════════════════════════════════════════
+# SPEC 418 §2 — THE TEST CASE, AS DATA. A replay intent read as a TEST: what it expects (a skill, a behaviour, a plan,
+# the inputs to ask for), what it exercises in the domain, from which starting state — so a domain's graph says what
+# its tests consist of and coverage is a query. The JSON sets stay the source of truth (pinned by digest); a domain
+# PROJECTS them into its graph. Evidence and hypothesis, never authority.
+# ═════════════════════════════════════════════════════════════════════════════════════════════════
+
+apeval:expectedSkill a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:label "expectedSkill" ;
+  rdfs:comment "The skill the case says should be chosen (a canonical skill IRI). Absent on a negative." .
+apeval:acceptableSkill a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:label "acceptableSkill" ;
+  rdfs:comment "A skill that is also right for the case (an adjudicated alternate)." .
+apeval:forbiddenSkill a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:label "forbiddenSkill" ;
+  rdfs:comment "A skill the case must NOT be routed to — the near neighbour it is built to trip." .
+apeval:collidesWith a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:label "collidesWith" ;
+  rdfs:comment "The skill of the collision pair this case probes (the other side of a routing collision)." .
+apeval:expectedBehaviour a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range apeval:SelectionBehaviour ; rdfs:label "expectedBehaviour" ;
+  rdfs:comment "What selection should DO: route to one skill, decline, ask which (clarify), or name several." .
+apeval:SelectionBehaviour a owl:Class ; rdfs:subClassOf skos:Concept ; rdfs:label "SelectionBehaviour" ;
+  rdfs:comment "route · decline · clarify · several · plan (a chain of skills)." .
+apeval:behaviour-route a apeval:SelectionBehaviour ; skos:notation "route" ; skos:prefLabel "route to one skill" .
+apeval:behaviour-decline a apeval:SelectionBehaviour ; skos:notation "decline" ; skos:prefLabel "decline — no skill fits" .
+apeval:behaviour-clarify a apeval:SelectionBehaviour ; skos:notation "clarify" ; skos:prefLabel "ask which of named options" .
+apeval:behaviour-several a apeval:SelectionBehaviour ; skos:notation "several" ; skos:prefLabel "the request needs several skills" .
+apeval:behaviour-plan a apeval:SelectionBehaviour ; skos:notation "plan" ; skos:prefLabel "reach the outcome by a chain of skills" .
+apeval:optionSkill a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:label "optionSkill" ;
+  rdfs:comment "A skill among the options a clarify/several case names." .
+apeval:ExpectedPlanStep a owl:Class ; rdfs:subClassOf p-plan:Step ; rdfs:label "ExpectedPlanStep" ;
+  rdfs:comment "One step of the plan an outcome case expects: a skill at a position. A plan in the gold, not a run." .
+apeval:expectedPlanStep a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range apeval:ExpectedPlanStep ; rdfs:label "expectedPlanStep" .
+apeval:planPosition a owl:DatatypeProperty ; rdfs:domain apeval:ExpectedPlanStep ; rdfs:range xsd:integer ; rdfs:label "planPosition" ; rdfs:comment "0-based order in the expected plan." .
+apeval:stepSkill a owl:ObjectProperty ; rdfs:domain apeval:ExpectedPlanStep ; rdfs:label "stepSkill" ; rdfs:comment "The skill (capability) the step runs." .
+apeval:expectedMissing a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:label "expectedMissing" ;
+  rdfs:comment "A domain class the right plan must name as missing — to be asked for, not invented." .
+apeval:exercisesClass a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:label "exercisesClass" ;
+  rdfs:comment "A domain class the case's words or gold exercise — what the case tests of the ontology." .
+apeval:adjudication a owl:DatatypeProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range xsd:string ; rdfs:label "adjudication" ;
+  rdfs:comment "hypothesis (authored, pre-registered) | adjudicated (a named annotator agreed)." .
+apeval:message a owl:DatatypeProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range xsd:string ; rdfs:label "message" ;
+  rdfs:comment "The request's words — carried in a DOMAIN's test projection (authored sentences, never a person's), never in a run's graph." .
+apeval:inReplaySet a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range apeval:ReplaySet ; owl:inverseOf apeval:hasIntent ; rdfs:label "inReplaySet" .
+apeval:underStartingState a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range apexec:StartingState ; rdfs:label "underStartingState" ;
+  rdfs:comment "The seeded state the case is asked from (the asker's history, memory, held records)." .
+apeval:holdsClass a owl:ObjectProperty ; rdfs:domain apexec:StartingState ; rdfs:label "holdsClass" ;
+  rdfs:comment "A domain class the asker already holds a record of in this state." .
+apeval:recentSkill a owl:ObjectProperty ; rdfs:domain apexec:StartingState ; rdfs:label "recentSkill" ;
+  rdfs:comment "A skill the asker used recently in this state." .
+apeval:memoryTag a owl:DatatypeProperty ; rdfs:domain apexec:StartingState ; rdfs:range xsd:string ; rdfs:label "memoryTag" ;
+  rdfs:comment "What the asker's own agent remembers about them in this state (a short tag)." .
+apeval:latestResult a owl:ObjectProperty ; rdfs:domain apeval:ReplayIntent ; rdfs:range earl:Assertion ; rdfs:label "latestResult" ;
+  rdfs:comment "The newest judged run of the case (an EARL assertion with its selection outcome, time and tokens)." .
+# Ranges (spec 414 §2 rule 2 — every term reaches a standard one): a skill is a prov:Entity (its SKILL.md), a class is an rdfs:Class.
+apeval:expectedSkill rdfs:range prov:Entity . apeval:acceptableSkill rdfs:range prov:Entity . apeval:forbiddenSkill rdfs:range prov:Entity .
+apeval:collidesWith rdfs:range prov:Entity . apeval:optionSkill rdfs:range prov:Entity . apeval:stepSkill rdfs:range prov:Entity . apeval:recentSkill rdfs:range prov:Entity .
+apeval:expectedMissing rdfs:range rdfs:Class . apeval:exercisesClass rdfs:range rdfs:Class . apeval:holdsClass rdfs:range rdfs:Class .
+apeval:expectedMissing rdfs:subPropertyOf dcterms:subject . apeval:exercisesClass rdfs:subPropertyOf dcterms:subject . apeval:holdsClass rdfs:subPropertyOf dcterms:subject .

package/tbox/execution.ttl

@@ -38,7 +38,7 @@
 
 apexec: a owl:Ontology ;
   rdfs:label "Agentic Primitives — execution ontology (W0 subset)" ;
-  owl:versionInfo "0.1.0" ;
+  owl:versionInfo "0.3.1" ;
   rdfs:comment "The execution plane: activities that realize capabilities, the runtimes that bore responsibility, and the completion conditions that separate a realization from an attempt. W0 SUBSET — only the terms the shipped realization contracts reference. Spec 330 W1 extends it." ;
   skos:scopeNote "WITHIN-AGENT plane (coordination-vs-orchestration.md). Orchestration sequences one agent's run: the executor's knowledge is local — harness-activated Agent Skill packages (apguide:AgentSkillPackage / SKILL.md, pinned by apexec:usedPlanContentHash) and injected tools — and the loop never queries naming/registry/apdisc: discovery. Distinct from apcoord: (the BETWEEN-AGENTS coordination plane); an apexec:ExecutionPlan compiles FROM an apcoord:PlanStep (plan.ttl), it never is one." .
 
@@ -205,6 +205,73 @@ apexec:errorClass a owl:DatatypeProperty ;
   rdfs:label "errorClass" ;
   rdfs:comment "The CLASS of a step's failure (`authority_denied`, `tool_error`, `input_required` …), never its message: a message can carry a counterparty's name or an argument, a class cannot." .
 
+# ─── Spec 410 §2 — the adapter's observation ──────────────────────────
+# A resolved value is not "done". For an externally ordered effect the harness records WHAT THE ADAPTER SAW, in
+# four words, and which one the receipt attests. "Verified at commit" may be said of `confirmed` only.
+
+apexec:ObservedOutcome a owl:Class ;
+  rdfs:subClassOf skos:Concept ;
+  rdfs:label "ObservedOutcome" ;
+  rdfs:comment "What an adapter observed of the effect it made (spec 410 §2): attempted (the call left; nothing came back the adapter can vouch for), accepted (the provider acknowledged and has not committed), committed (the provider says it is done), confirmed (the harness read the effect back independently of the call that made it). What it is NOT: an authorization input, or a claim about the outcome class the tool establishes (apexec:OutcomeClass says what a success MEANS; this says what was SEEN)." .
+apexec:attempted a apexec:ObservedOutcome ; rdfs:label "attempted" .
+apexec:accepted a apexec:ObservedOutcome ; rdfs:label "accepted" .
+apexec:committed a apexec:ObservedOutcome ; rdfs:label "committed" .
+apexec:confirmed a apexec:ObservedOutcome ; rdfs:label "confirmed" .
+
+apexec:observedOutcome a owl:ObjectProperty ;
+  rdfs:domain prov:Activity ; rdfs:range apexec:ObservedOutcome ;
+  rdfs:label "observedOutcome" ;
+  rdfs:comment "The ObservedOutcome this step's adapter reported, bounded by what its tool establishes — a submission never records more than accepted from the call alone." .
+apexec:providerRef a owl:DatatypeProperty ;
+  rdfs:domain prov:Activity ; rdfs:range xsd:string ;
+  rdfs:label "providerRef" ;
+  rdfs:comment "The provider's own identifier for the effect (a message id, a task id, a record version, a transaction hash) — what a stranger would quote to the provider. Never a secret." .
+apexec:observedAt a owl:DatatypeProperty ;
+  rdfs:domain prov:Activity ; rdfs:range xsd:dateTime ;
+  rdfs:label "observedAt" ;
+  rdfs:comment "The harness clock when the adapter returned what it saw." .
+
+# ─── Spec 410 §4.4 — the estate an act was performed in ──────────────
+# A person's Home lives in ONE estate; she participates in any estate that admits her (the thesis's design
+# commitment, THESIS-9). An act she performs in estate B is redeemed under a B-chain mandate and anchored in B's
+# receipt registry, and its record lands in HER vault, held in estate A. The record must therefore say where the
+# act happened, because the vault it lives in no longer implies it.
+
+apexec:estate a owl:DatatypeProperty ;
+  rdfs:domain prov:Activity ; rdfs:range xsd:string ;
+  rdfs:label "estate" ;
+  rdfs:comment "THE ESTATE THIS RUN WAS PERFORMED IN (spec 410 §4.4): the estate id — keccak256(\"eip155:<chainId>:<governance>\"), the same derivation EstateProjectionRegistry.estateIdOf and the estate-projection package use — of the chain whose mandate was redeemed and whose registry anchored the receipt. Stamped by the RUNTIME that ran the act, from its own deployment, on the HarnessRun activity; a step inherits its run's. Absent on a record older than this term, and on a runtime that has not declared its governance. What it is NOT: authority (a verifier reads the mandate's chain from the mandate's own domain, never from this), and NOT the chain the acting agent's address is named under (the agent IRIs carry that; an agent has the same address in every estate by construction, ADR-0010 + CREATE2)." .
+
+apexec:ReceiptAnchor a owl:Class ;
+  rdfs:subClassOf prov:Entity ;
+  rdfs:label "ReceiptAnchor" ;
+  rdfs:comment "WHERE A RUN'S BUNDLE IS ANCHORED, as a record beside the bundle (the `run.anchor:<runRef>` vault record): the bundle's digest, the ReceiptAnchorRegistry it was written in (`eip155:<chainId>:<registry>`), the agent that anchored it, the transaction, and the estate (apexec:estate). A bundle cannot carry its own digest's anchor, so the citation is a second record — and it is the record a Home in another estate reads to know WHICH chain to ask. A holder verifies by recomputing the digest and reading the registry; the citation is a claim about where to look, never proof by itself." .
+
+apexec:anchorDigest a owl:DatatypeProperty ;
+  rdfs:domain apexec:ReceiptAnchor ; rdfs:range xsd:string ;
+  rdfs:label "anchorDigest" ;
+  rdfs:comment "The bundle digest as anchored (bytes32 hex) — recomputed by any holder of the bundle over its canonical bytes." .
+
+apexec:anchorRegistry a owl:DatatypeProperty ;
+  rdfs:domain apexec:ReceiptAnchor ; rdfs:range xsd:string ;
+  rdfs:label "anchorRegistry" ;
+  rdfs:comment "The ReceiptAnchorRegistry the digest is written in, chain-qualified: `eip155:<chainId>:<registry address>`. The chain named here is the ESTATE's chain (spec 410 §4.4), which may differ from the chain the vault's Home runs on." .
+
+apexec:anchoredByAgent a owl:ObjectProperty ;
+  rdfs:domain apexec:ReceiptAnchor ; rdfs:range ap:Agent ;
+  rdfs:label "anchoredByAgent" ;
+  rdfs:comment "The runtime's harness agent that anchored the digest — the row's key on a generation-2+ registry (spec 408 §1.5). Distinct from apvr:anchoredBy, which names an attestation UID on a public KB row." .
+
+apexec:anchorTransaction a owl:DatatypeProperty ;
+  rdfs:domain apexec:ReceiptAnchor ; rdfs:range xsd:string ;
+  rdfs:label "anchorTransaction" ;
+  rdfs:comment "The transaction that wrote the anchor, by hash, on the estate's chain." .
+
+apexec:disputedBy a owl:ObjectProperty ;
+  rdfs:domain prov:Activity ; rdfs:range prov:Entity ;
+  rdfs:label "disputedBy" ;
+  rdfs:comment "Spec 410 §10 — the dispute interaction (profile dispute/1.0.0) opened over this run's receipt, and the determination a named steward recorded in it. Linked evidence; a determination reverses nothing — a reversal is a new act under a new mandate." .
+
 apexec:StepReceipt a owl:Class ;
   rdfs:subClassOf prov:Entity ;
   rdfs:label "StepReceipt" ;
@@ -368,3 +435,228 @@ apexec:promotedUnder a owl:DatatypeProperty ;
   rdfs:domain apexec:BuildPromotion ; rdfs:range xsd:string ;
   rdfs:label "promotedUnder" ;
   rdfs:comment "The intent digest the promotion's mandate was bound to — the ask that named the run and the commit." .
+
+# ═════════════════════════════════════════════════════════════════════════════════════════════════
+# Spec 414 A1 — the trace from the door: how a run ARRIVED, which MODEL calls it made, under which
+# VARIANT, from which STARTING STATE, which HARNESS CAPABILITIES engaged and to what effect, and which
+# SKILL contract governed each step. Evidence, never authority: no gate reads any of these, and a
+# variant changes behaviour, never permission (spec 414 §2 rule 5). No words: messages, prompts and
+# replies appear only as ids and digests (spec 381 §1; shapes R6/R8).
+# ═════════════════════════════════════════════════════════════════════════════════════════════════
+
+apexec:Door a owl:Class ;
+  rdfs:subClassOf prov:Entity ;
+  rdfs:label "Door" ;
+  rdfs:comment "How a run arrived: the A2A message (with its message, context and task ids), a direct ask, a routed hop from another agent's run, a trigger, or a resume. The run prov:used it (apexec:arrivedBy). It carries ids and the kind — never the message's words; the intent is cited by apexec:intentDigest on the run. NOT the asker (that is prov:actedOnBehalfOf) and NOT a credential: arriving by a door authorizes nothing." .
+
+apexec:arrivedBy a owl:ObjectProperty ;
+  rdfs:subPropertyOf prov:used ;
+  rdfs:domain apexec:ServiceExecution ; rdfs:range apexec:Door ;
+  rdfs:label "arrivedBy" .
+
+apexec:doorKind a owl:DatatypeProperty ;
+  rdfs:domain apexec:Door ; rdfs:range xsd:string ;
+  rdfs:label "doorKind" ;
+  rdfs:comment "a2a-message | harness-ask | routed | trigger | resume | home-mcp | channel-mention — how the request reached the harness." .
+
+apexec:a2aMessageId a owl:DatatypeProperty ;
+  rdfs:domain apexec:Door ; rdfs:range xsd:string ;
+  rdfs:label "a2aMessageId" ;
+  rdfs:comment "The A2A Message.messageId the run answered (A2A 1.0). An id, never the message." .
+
+apexec:a2aContextId a owl:DatatypeProperty ;
+  rdfs:domain apexec:Door ; rdfs:range xsd:string ;
+  rdfs:label "a2aContextId" ;
+  rdfs:comment "The A2A contextId — groups the runs of one conversation (a LangSmith 'thread')." .
+
+apexec:a2aTaskId a owl:DatatypeProperty ;
+  rdfs:domain apexec:Door ; rdfs:range xsd:string ;
+  rdfs:label "a2aTaskId" .
+
+apexec:ModelInvocation a owl:Class ;
+  rdfs:subClassOf prov:Activity ;
+  rdfs:label "ModelInvocation" ;
+  rdfs:comment "One call to a language model the run made — to plan, to compose the reply, or for a structured choice inside a step (PROV-AGENT's model-call activity). Recorded by role, model, provider, the digest of the prompt TEMPLATE (never the rendered prompt), token counts and the route's reason. NOT a decision: a model proposes; the mandate authorizes (spec 350)." .
+
+apexec:hasModelInvocation a owl:ObjectProperty ;
+  rdfs:domain prov:Activity ; rdfs:range apexec:ModelInvocation ;
+  rdfs:label "hasModelInvocation" .
+
+apexec:invocationRole a owl:DatatypeProperty ;
+  rdfs:domain apexec:ModelInvocation ; rdfs:range xsd:string ;
+  rdfs:label "invocationRole" ;
+  rdfs:comment "plan | compose | structured | judge. judge = the call that chose which skill (if any) handles the request; structured = a step's own structured call." .
+
+apexec:modelId a owl:DatatypeProperty ;
+  rdfs:domain apexec:ModelInvocation ; rdfs:range xsd:string ;
+  rdfs:label "modelId" .
+
+apexec:modelProvider a owl:DatatypeProperty ;
+  rdfs:domain apexec:ModelInvocation ; rdfs:range xsd:string ;
+  rdfs:label "modelProvider" .
+
+apexec:promptTemplateDigest a owl:DatatypeProperty ;
+  rdfs:domain apexec:ModelInvocation ; rdfs:range xsd:string ;
+  rdfs:label "promptTemplateDigest" ;
+  rdfs:comment "A digest of the prompt the model was given, so two runs can be seen to share (or not share) a prompt. Never the prompt." .
+
+apexec:tokensIn a owl:DatatypeProperty ;
+  rdfs:domain apexec:ModelInvocation ; rdfs:range xsd:integer ;
+  rdfs:label "tokensIn" .
+
+apexec:tokensOut a owl:DatatypeProperty ;
+  rdfs:domain apexec:ModelInvocation ; rdfs:range xsd:integer ;
+  rdfs:label "tokensOut" .
+
+apexec:routeReason a owl:DatatypeProperty ;
+  rdfs:domain apexec:ModelInvocation ; rdfs:range xsd:string ;
+  rdfs:label "routeReason" ;
+  rdfs:comment "Why this provider carried the call (spec 388) — a reason code, never words of the ask." .
+
+apexec:Variant a owl:Class ;
+  rdfs:subClassOf prov:Entity ;
+  rdfs:label "Variant" ;
+  rdfs:comment "The configuration a run ran under, as the things a comparison may change one at a time: the playbook (by commitment), the planner kind, the model route policy, the harness build, and any harness-capability toggles. Named by its digest (RFC 8785 JCS + SHA-256), so two runs share a variant exactly when they share every part. The production variant is simply the current one. NOT authority: a variant changes behaviour, never what a mandate permits." .
+
+apexec:underVariant a owl:ObjectProperty ;
+  rdfs:subPropertyOf prov:used ;
+  rdfs:domain apexec:ServiceExecution ; rdfs:range apexec:Variant ;
+  rdfs:label "underVariant" .
+
+apexec:variantDigest a owl:DatatypeProperty ;
+  rdfs:domain apexec:Variant ; rdfs:range xsd:string ;
+  rdfs:label "variantDigest" .
+
+apexec:plannerKind a owl:DatatypeProperty ;
+  rdfs:domain apexec:Variant ; rdfs:range xsd:string ;
+  rdfs:label "plannerKind" ;
+  rdfs:comment "supplied | compiled | model | rule-based — who proposes plans under this variant." .
+
+apexec:routePolicy a owl:DatatypeProperty ;
+  rdfs:domain apexec:Variant ; rdfs:range xsd:string ;
+  rdfs:label "routePolicy" .
+
+apexec:harnessBuild a owl:DatatypeProperty ;
+  rdfs:domain apexec:Variant ; rdfs:range xsd:string ;
+  rdfs:label "harnessBuild" ;
+  rdfs:comment "The runtime's build identifier (a deployment version id or commit)." .
+
+apexec:capabilityToggle a owl:DatatypeProperty ;
+  rdfs:domain apexec:Variant ; rdfs:range xsd:string ;
+  rdfs:label "capabilityToggle" ;
+  rdfs:comment "`<capability notation>=<setting>` — e.g. `retrieval/kb=off`. One per toggle; absent ⇒ the default." .
+
+apexec:StartingState a owl:Class ;
+  rdfs:subClassOf prov:Entity ;
+  rdfs:label "StartingState" ;
+  rdfs:comment "The records a run began from when they were seeded for a comparison (a scenario's fixture), named by digest. Absent for live runs. Holding it fixed is one half of the change-one-component rule (spec 414 §7)." .
+
+apexec:fromStartingState a owl:ObjectProperty ;
+  rdfs:subPropertyOf prov:used ;
+  rdfs:domain apexec:ServiceExecution ; rdfs:range apexec:StartingState ;
+  rdfs:label "fromStartingState" .
+
+apexec:startingStateDigest a owl:DatatypeProperty ;
+  rdfs:domain apexec:StartingState ; rdfs:range xsd:string ;
+  rdfs:label "startingStateDigest" .
+
+apexec:governedBySkill a owl:ObjectProperty ;
+  rdfs:subPropertyOf prov:used ;
+  rdfs:domain prov:Activity ; rdfs:range apguide:AgentSkillPackage ;
+  rdfs:label "governedBySkill" ;
+  rdfs:comment "The SKILL.md contract (id, version, content digest — the IRI says all three) whose execution contract governed this step. Finer than the run's playbook (prov:hadPlan). NOT the advertised capability (apexec:realizesCapability) and NOT the operation (the plan step's tool): a capability is what is advertised, a skill is how it is done, the tool is what was called." .
+
+# ── Harness capabilities: what the harness DID, as a vocabulary (spec 414 §3.2) ─────────────────
+
+apexec:HarnessCapability a owl:Class ;
+  rdfs:subClassOf skos:Concept ;
+  rdfs:label "HarnessCapability" ;
+  rdfs:comment "A function of the harness itself (a planner, plan admission, retrieval, routing, memory, judgment …), as distinct from a capability an agent ADVERTISES (aps:Capability). Engaging one is recorded (apexec:CapabilityEngagement) so effectiveness can be read per capability. Declared once, here; code stamps engagements by notation." .
+
+apexec:HarnessCapabilities a skos:ConceptScheme ;
+  rdfs:label "Harness capabilities" .
+
+apexec:EngagementEffect a owl:Class ;
+  rdfs:subClassOf skos:Concept ;
+  rdfs:label "EngagementEffect" ;
+  rdfs:comment "What an engaged harness capability did to the run: changed the plan, changed a step, changed the answer, changed nothing, or refused." .
+
+apexec:ee-changedPlan a apexec:EngagementEffect ; skos:notation "changed-plan" ; skos:prefLabel "changed the plan" .
+apexec:ee-changedStep a apexec:EngagementEffect ; skos:notation "changed-step" ; skos:prefLabel "changed a step" .
+apexec:ee-changedAnswer a apexec:EngagementEffect ; skos:notation "changed-answer" ; skos:prefLabel "changed the answer" ; skos:definition "It shaped what the reply says, not what was done — retrieval grounding the composer (spec 413: passages ground what is said, never what is done)." .
+apexec:ee-noChange a apexec:EngagementEffect ; skos:notation "no-change" ; skos:prefLabel "changed nothing" .
+apexec:ee-refused a apexec:EngagementEffect ; skos:notation "refused" ; skos:prefLabel "refused" .
+
+apexec:CapabilityEngagement a owl:Class ;
+  rdfs:subClassOf prov:Influence ;
+  rdfs:label "CapabilityEngagement" ;
+  rdfs:comment "One engagement of a harness capability on a run or a step — the qualified form (PROV's Influence pattern) so each engagement carries its capability, the capability's version and its effect. Engaged-with-no-change is still recorded: 'did this capability matter?' is a query, not an opinion." .
+
+apexec:hasEngagement a owl:ObjectProperty ;
+  rdfs:domain prov:Activity ; rdfs:range apexec:CapabilityEngagement ;
+  rdfs:label "hasEngagement" .
+
+apexec:ofCapability a owl:ObjectProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range apexec:HarnessCapability ;
+  rdfs:label "ofCapability" .
+
+apexec:engagementEffect a owl:ObjectProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range apexec:EngagementEffect ;
+  rdfs:label "engagementEffect" .
+
+apexec:capabilityVersion a owl:DatatypeProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range xsd:string ;
+  rdfs:label "capabilityVersion" .
+
+# The scheme. `skos:notation` is the stable key code stamps by; the IRI local name is DERIVED from it —
+# `hc-` + the notation in camelCase over '/' and '-' (`planner/compiled-shape` → `hc-plannerCompiledShape`), and
+# `ee-` likewise for effects — so a serializer names the concept without a lookup table (asserted in the suite). Open: a new harness capability is a new concept here and nothing else.
+apexec:hc-plannerSupplied a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "planner/supplied" ; skos:prefLabel "supplied plan" ; skos:definition "The plan was given (a screen, a test, a replay), not proposed." .
+apexec:hc-plannerCompiledShape a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "planner/compiled-shape" ; skos:prefLabel "compiled plan shape" ; skos:definition "An ontology-compiled one-correct-plan shape proposed the plan (spec 355)." .
+apexec:hc-plannerModel a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "planner/model" ; skos:prefLabel "model planner" ; skos:definition "A language model proposed the plan (spec 388 route)." .
+apexec:hc-planAdmission a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "plan-admission" ; skos:prefLabel "plan admission" ; skos:definition "The behaviour plane admitted or refused the proposed plan (spec 367 W1); a refusal that forced a replan changed the plan." .
+apexec:hc-playbook a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "playbook" ; skos:prefLabel "playbook" ; skos:definition "A compiled archetype governed the run (spec 354)." .
+apexec:hc-retrievalKb a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "retrieval/kb" ; skos:prefLabel "public-tier retrieval" ; skos:definition "Passages or facts were read from the public knowledge tier (specs 357, 413)." .
+apexec:hc-retrievalVaultSelector a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "retrieval/vault-selector" ; skos:prefLabel "private-tier selector" ; skos:definition "Records were read from a vault by a compiled selector (spec 356)." .
+apexec:hc-standingInstructions a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "standing-instructions" ; skos:prefLabel "standing instructions" ; skos:definition "A standing instruction applied (spec 394)." .
+apexec:hc-confirmationMemory a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "confirmation-memory" ; skos:prefLabel "confirmation memory" ; skos:definition "A prior confirmation was reused (spec 385)." .
+apexec:hc-decisionRules a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "decision-rules" ; skos:prefLabel "decision rules" ; skos:definition "An ordered rule decided a decision point (spec 363)." .
+apexec:hc-routing a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "routing" ; skos:prefLabel "routing" ; skos:definition "Work was routed to another agent by its records (spec 366)." .
+apexec:hc-handoff a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "handoff" ; skos:prefLabel "hand-off" ; skos:definition "A step was handed to another agent's run." .
+apexec:hc-fanOut a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "fan-out" ; skos:prefLabel "fan-out" ; skos:definition "One step was split across many items or agents, each re-verified (spec 380)." .
+apexec:hc-contextOffload a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "context-offload" ; skos:prefLabel "context offload" ; skos:definition "A large result went to the vault and the run carried its summary (spec 391)." .
+apexec:hc-durableResume a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "durable-resume" ; skos:prefLabel "durable resume" ; skos:definition "The run resumed from a checkpoint, replaying completed steps (spec 362, 370 P1)." .
+apexec:hc-approval a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "approval" ; skos:prefLabel "approval" ; skos:definition "A step waited on a person's signature (specs 350, 393)." .
+apexec:hc-judgment a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "judgment" ; skos:prefLabel "judgment" ; skos:definition "A judgment was made about the run or a step against a stated criterion (spec 414 §3.4) — implementation-neutral; defined by principles J1–J8, filled by a later spec." .
+
+# ── Spec 415 §3a — SKILL SELECTION as a harness capability, and what it offered, chose and rejected ──
+# The APPROACH is the concept (implementation-neutral names: the mechanism behind each is a binding); a comparison
+# toggles it and holds the rest fixed. The engagement names the candidates it OFFERED, the one(s) it CHOSE and the
+# neighbour it REJECTED when two collided — as capability / skill IRIs, never words.
+apexec:hc-skillSelectionModel a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "skill-selection/model" ; skos:prefLabel "selection by description" ; skos:definition "A model chose the skill from descriptions — the baseline." .
+apexec:hc-skillSelectionOntology a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "skill-selection/ontology" ; skos:prefLabel "selection by ontology and canonical id" ; skos:definition "The skill was chosen by what the ontology says it is for and by its canonical identity (spec 355 compiled shapes are one such mechanism)." .
+apexec:hc-skillSelectionRules a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "skill-selection/rules" ; skos:prefLabel "selection by rules" ; skos:definition "Declared rules chose the skill." .
+apexec:hc-skillSelectionJudgment a apexec:HarnessCapability ; skos:inScheme apexec:HarnessCapabilities ; skos:notation "skill-selection/judgment" ; skos:prefLabel "selection by judgment" ; skos:definition "A judgment against stated criteria chose or confirmed the skill (spec 414 §3.4)." .
+
+apexec:offeredCandidate a owl:ObjectProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range prov:Entity ;
+  rdfs:label "offeredCandidate" ; rdfs:comment "A skill / capability the selection could choose from (by IRI)." .
+apexec:chose a owl:ObjectProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range prov:Entity ;
+  rdfs:label "chose" ; rdfs:comment "What the selection chose (by IRI). More than one ⇒ over-selection." .
+apexec:rejectedNeighbour a owl:ObjectProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range prov:Entity ;
+  rdfs:label "rejectedNeighbour" ; rdfs:comment "The colliding candidate the selection passed over, when it can say so." .
+
+# Spec 415 A4 — THE INTENT, TYPED IN THE DOMAIN ONTOLOGY. A selection by judgment first says what the request asks FOR
+# as one domain class (the deliverable or activity) and what it is ABOUT; the skills whose declared coverage includes that
+# class are the only candidates. The values are CLASS IRIs from the agent's domain ontology (or apexec:OutsideDomain),
+# never words. Evidence of how the selection read the request; never authority.
+apexec:inferredRequest a owl:ObjectProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range rdfs:Class ;
+  rdfs:label "inferredRequest" ; rdfs:comment "The domain class the selection read the request as asking FOR — or apexec:OutsideDomain." .
+apexec:inferredAbout a owl:ObjectProperty ;
+  rdfs:domain apexec:CapabilityEngagement ; rdfs:range rdfs:Class ;
+  rdfs:label "inferredAbout" ; rdfs:comment "A domain class the selection read the request as being ABOUT." .
+apexec:OutsideDomain a rdfs:Class ;
+  rdfs:label "OutsideDomain" ; rdfs:comment "What a request asks for when it is none of the domain's classes: no skill may be chosen for it." .