{ "format": "whole-object-coverage", "types": { "ActionDefinition": { "identity-class": { "status": "required", "reason": "Stable definition ID plus immutable version; native revision chain." }, "direct-properties": { "status": "required", "reason": "Parameter contract, mode, target, guards, effect boundary, validity, steward/master." }, "recognition-observation": { "status": "required", "reason": "Recognition uses exact retained bytes and admitted reference, not a name match." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Definition can be revised or retired by the host; it does not authorize execution." }, "context-evidence": { "status": "required", "reason": "Host governance, optional legacy Pin and external parameter evidence." } }, "ActionRequest": { "identity-class": { "status": "required", "reason": "Host-minted request ID; exactly one intent and submission; separate actor-scoped retry slot." }, "direct-properties": { "status": "required", "reason": "Exact intent, ordered labels, definition pin, actor/principal, target revision, deadline." }, "recognition-observation": { "status": "required", "reason": "Recognized by retained ID/key/digest plus exact bytes; observer claims remain separate." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Pending can commit/cancel/expire/reject under guards; native object state is separate." }, "context-evidence": { "status": "required", "reason": "One owning Dimension, current policy evidence and submission provenance." } }, "SubmissionEvent": { "identity-class": { "status": "required", "reason": "Immutable event ID and global event/control sequence." }, "direct-properties": { "status": "required", "reason": "Request ID, intent digest, admission time and host issuer." }, "recognition-observation": { "status": "required", "reason": "Admission is an occurrence asserted by the fixture host, not an observer success claim." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Append once after current submit permission; cannot itself prove execution." }, "context-evidence": { "status": "required", "reason": "Exact request object, current admission policy and definition revision." } }, "DeliveryEvent": { "identity-class": { "status": "required", "reason": "Immutable event ID for an admitted dispatch or exact retained replay." }, "direct-properties": { "status": "required", "reason": "Request ID, unchanged digest, host capture time and sequence." }, "recognition-observation": { "status": "required", "reason": "Records a delivery reaching this boundary; excludes malformed/unauthorized telemetry." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Can precede a try; does not entail a committed effect." }, "context-evidence": { "status": "required", "reason": "Host capture source, request and definition IDs." } }, "TryEvent": { "identity-class": { "status": "required", "reason": "Immutable event ID per evaluated execute/cancel/observe operation." }, "direct-properties": { "status": "required", "reason": "Action, current policy revision, match digests, definition availability, decision." }, "recognition-observation": { "status": "required", "reason": "A recorded decision is neither a verified external mandate nor a result receipt." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Only allowed guarded tries can produce their respective downstream records." }, "context-evidence": { "status": "required", "reason": "Host issuer, global control sequence and closed verified-by-host policy snapshots." } }, "ReceiptEvent": { "identity-class": { "status": "required", "reason": "Immutable event ID; at most one effect receipt per request." }, "direct-properties": { "status": "required", "reason": "Before/after labels and revisions, exact definition, try and compensation links." }, "recognition-observation": { "status": "required", "reason": "Authoritative local transaction evidence; caller observations do not overwrite it." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Can be referenced by a new guarded compensation request; never mutated or cancelled." }, "context-evidence": { "status": "required", "reason": "One local effect boundary, request, resource, successful try and optional prior receipt." } }, "DispositionEvent": { "identity-class": { "status": "required", "reason": "Immutable event ID for the single terminal transition of pending intent." }, "direct-properties": { "status": "required", "reason": "From pending to cancelled/expired/rejected-precondition, reason and try." }, "recognition-observation": { "status": "required", "reason": "Read as host-recorded lifecycle evidence, not proof of remote effects." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Applies exactly once; cannot rewrite committed or other terminal states." }, "context-evidence": { "status": "required", "reason": "Current guard evidence, request and causal try." } }, "ObservationEvent": { "identity-class": { "status": "required", "reason": "Immutable event ID, observer and optional earlier observation edge." }, "direct-properties": { "status": "required", "reason": "Caller knowledge claim, reason, capture time and correction link." }, "recognition-observation": { "status": "required", "reason": "The claim is explicitly subjective knowledge; unknown is not executor uncertainty." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Append an observation or linear correction with read+observe; never undo effects." }, "context-evidence": { "status": "required", "reason": "Same observer/request predecessor, current try and host capture provenance." } }, "KeyRetirementEvent": { "identity-class": { "status": "required", "reason": "Immutable event ID on a terminal request with retained key." }, "direct-properties": { "status": "required", "reason": "Retained marker, time and host issuer." }, "recognition-observation": { "status": "required", "reason": "A tombstone-like nonreuse marker, not evidence of erasure." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Prevents subsequent dispatch through this key while retaining original evidence." }, "context-evidence": { "status": "required", "reason": "Trusted retention administrator, terminal history and persistent key slot." } } }, "notNewMetamodels": [ "Synthetic ordered-label resource", "Host policy snapshot", "Export manifest", "SQLite tables" ], "physicalFacets": "Physical mass/geometry are not applicable to these abstract records; recognition/effect evidence is still assessed individually." }