---
typeId: req
recordId: benac-inv-008
fields:
  title: Request and output snapshots
  statement: >-
    Benac shall define request snapshot and output snapshot logical objects.

    A request snapshot shall bind package CID, package interface identifier, descriptor
    snapshot CID or descriptor scope where relevant, request schema CID, request body,
    data class, caller principal where relevant, authentication context where relevant,
    and Local Policy context where relevant.

    An output snapshot shall bind package CID, package interface identifier, descriptor
    snapshot CID or descriptor scope where relevant, output schema CID where relevant,
    output body, data class, invocation record reference, evidence references, effect
    references, and diagnostics where relevant.

    Request and output snapshots shall not classify packages.

    Request and output snapshots shall not classify how package work was performed.

    Trace reconstruction, export, inspection, and replay shall not fabricate request or
    output snapshots when the required content is unavailable.
  rationale: >-
    Request and output snapshots let Stations, agents, and reviewers reason about the
    exact input and output content without relying on mutable UI state or hidden host
    data.
  verification: >-
    Snapshot tests verify identity stability, schema binding, descriptor binding,
    missing-content failure, and rejection of fabricated snapshots.
  testable: true
  status: draft
  area: BENAC-INV
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Package authoring
  order: 87.18
---
