---
typeId: req
recordId: benac-inv-001
fields:
  title: Invocation record required
  statement: >-
    Every package invocation shall produce an invocation record.

    The invocation record shall identify package CID, invoked package interface,
    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, authentication context where relevant,
    Local Policy context where relevant, capability grants relied upon, artifact
    availability status, resource status, evidence references, effect references,
    diagnostics, operation status, timestamps, and Station principal.

    Invocation records shall not classify packages.

    Invocation records shall not classify how package work is performed.
  rationale: >-
    Every invocation must be attributable, inspectable, and replay-analyzable in terms
    of package identity, interface contract, request, output, policy, grants, evidence,
    effects, and operation status.
  verification: >-
    Invocation tests verify that successful and failed invocations produce records with
    package CID, interface identifier, request snapshot, output snapshot where
    applicable, capability grants, evidence, effects, diagnostics, and operation status.
  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: 105
---
