{ "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.", "supportingValues": { "DefinitionRef": { "identity-class": { "status": "required", "reason": "Exact definition ID/version/content hash value; no new object identity." }, "direct-properties": { "status": "required", "reason": "Three closed fields identify retained immutable definition bytes." }, "recognition-observation": { "status": "required", "reason": "Resolve and hash-check the referenced retained definition, never a label match." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Reference only; cannot revise, authorize or dispatch." }, "context-evidence": { "status": "required", "reason": "Carries the intended definition pin inside intent and scopes." } }, "EvidencePin": { "identity-class": { "status": "required", "reason": "Exact uri/revision/hash tuple; no independently modeled evidence object here." }, "direct-properties": { "status": "required", "reason": "Opaque URI, revision and externally declared raw evidence digest." }, "recognition-observation": { "status": "required", "reason": "Host verifies the underlying evidence; syntax is not trust." }, "capabilities-behaviour-actions": { "status": "required", "reason": "No fetching, execution, or authority construction." }, "context-evidence": { "status": "required", "reason": "Issuer-standing, basis, parameter-contract or optional crosswalk context." } }, "Intent": { "identity-class": { "status": "required", "reason": "Immutable content owned by one ActionRequest; digest is not a separate subject." }, "direct-properties": { "status": "required", "reason": "Closed effect parameters, principal/actor, context, deadline and compensation link." }, "recognition-observation": { "status": "required", "reason": "Exact canonical bytes plus digest distinguish retries from conflicts." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Cannot execute itself; new intent requires deliberate admission under a new key." }, "context-evidence": { "status": "required", "reason": "Definition/resource pins and authenticated host context are mandatory." } }, "AuthorityRuleAndScopes": { "identity-class": { "status": "required", "reason": "Host-owned value within an immutable policy revision, recognized by digest." }, "direct-properties": { "status": "required", "reason": "Principal/actor/mode, issuer and basis plus both exact closed scope values." }, "recognition-observation": { "status": "required", "reason": "Host attests external standing; validator compares both scopes in the same rule." }, "capabilities-behaviour-actions": { "status": "required", "reason": "May authorize named operations only after current time/context evaluation." }, "context-evidence": { "status": "required", "reason": "Policy revision, issuer-standing and basis Pins; no new mandate master." } }, "PolicySnapshot": { "identity-class": { "status": "required", "reason": "Host revision number in one executor epoch/Dimension." }, "direct-properties": { "status": "required", "reason": "Ordered rule array, recorded time and control sequence, including empty revocation." }, "recognition-observation": { "status": "required", "reason": "Historical try must reference the current policy at its control sequence." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Trusted host can append a newer revision subject to bounded retention." }, "context-evidence": { "status": "required", "reason": "Complete retained predecessor policy history; external standing remains host duty." } }, "Decision": { "identity-class": { "status": "required", "reason": "Derived value owned by exactly one TryEvent." }, "direct-properties": { "status": "required", "reason": "Action, policy revision, matching rule digests, availability and boolean outcome." }, "recognition-observation": { "status": "required", "reason": "Recomputed from current-at-try policy and definition overlay." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Evidence of evaluation only; a complete guarded operation produces an effect." }, "context-evidence": { "status": "required", "reason": "Same request, host time and global control sequence as its try." } }, "ActionRequestSnapshot": { "identity-class": { "status": "required", "reason": "Derived capture of an existing request, never a second request." }, "direct-properties": { "status": "required", "reason": "Immutable intent/admission plus derived state, receipt ID and retirement marker." }, "recognition-observation": { "status": "required", "reason": "Reconstructed from a complete submission and event history." }, "capabilities-behaviour-actions": { "status": "required", "reason": "No caller edits; replay and comparison detect inconsistencies." }, "context-evidence": { "status": "required", "reason": "Owning cut/epoch and retained event IDs." } }, "SyntheticResourceRevision": { "identity-class": { "status": "required", "reason": "Fixture object ID plus monotonically increasing local revision." }, "direct-properties": { "status": "required", "reason": "Ordered labels, host recorded_at and control_sequence." }, "recognition-observation": { "status": "required", "reason": "Revision zero is host creation; every later revision has one receipt." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Only the closed synthetic replacement creates a new revision." }, "context-evidence": { "status": "required", "reason": "One local store and receipt guard; no claim about a real enterprise asset." } }, "ExecutorSnapshot": { "identity-class": { "status": "required", "reason": "One privileged capture identified by Dimension, epoch and control cut." }, "direct-properties": { "status": "required", "reason": "Meta plus bounded definitions, policies, resources, requests and events." }, "recognition-observation": { "status": "required", "reason": "Complete replay checks internal consistency, not authenticity or newest state." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Export/validate only; never an automatic dispatch-resume token." }, "context-evidence": { "status": "required", "reason": "Host-controlled source and external latest-history reconciliation when needed." } }, "ExportManifest": { "identity-class": { "status": "required", "reason": "Exact evidence cut and complete file mapping; not a subject model." }, "direct-properties": { "status": "required", "reason": "Dimension/epoch/sequences/time, filenames/hashes and assurance." }, "recognition-observation": { "status": "required", "reason": "Exact file closure and deterministic regeneration from snapshot." }, "capabilities-behaviour-actions": { "status": "required", "reason": "Validate and transport evidence only; no policy or execution authority." }, "context-evidence": { "status": "required", "reason": "Mandatory sibling snapshot and record set; external trust root is separate." } } } }