---
typeId: req
recordId: benac-inv-002
fields:
  title: Invocation fields
  statement: >-
    An invocation record shall contain object type, schema version, invocation
    identifier, package CID, package interface identifier, descriptor snapshot CID or
    descriptor scope where relevant, invocation contract snapshot CID where relevant,
    request snapshot CID, output snapshot CID where relevant, caller principal where
    relevant, Station principal, authentication context where relevant, Local Policy
    context where relevant, data class, granted capability identifiers relied upon,
    denied or missing capability identifiers where relevant, artifact references relied
    upon, artifact availability status, resource requirements, resource status, evidence
    references, effect references, diagnostics, operation status, created-at timestamp,
    completed-at timestamp where relevant, and causal references.

    The invocation record shall not contain a package class field.

    The invocation record shall not contain a field whose purpose is to classify how
    package work was performed.
  rationale: >-
    Invocation records are the main audit record for what the Station attempted,
    allowed, denied, completed, or failed.
  verification: >-
    Invocation field tests verify required fields, denied-operation fields, failed
    operation fields, successful output fields, evidence/effect references, and causal
    references.
  testable: true
  status: draft
  area: BENAC-INV
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Invocation, evidence, effects, audit, and tamper-evidence
  order: 106
---
