---
typeId: req
recordId: benac-ux-003
fields:
  title: Invocation trace inspection
  statement: Benac shall allow inspection of invocation traces, package interface,
    invocation contract snapshot, request/output references, evidence, effects, storage
    actions, compute actions, disclosure records, validation results, diagnostics, and
    operation status.
  rationale: Invocation traces should expose the schema-bound operation context and
    recorded outcomes, not a package-work taxonomy.
  verification: Trace inspection tests verify package interface, invocation contract
    snapshot, request/output references, evidence, effects, storage actions, compute
    actions, disclosure records, validation results, diagnostics, and operation status.
  testable: true
  status: draft
  area: BENAC-UX
  sourceDocument: /home/johnb/Downloads/benac_syrs_v0_4_integrated_authentication.md
  sourceVersion: v0.4
  sourceSections:
    - 10.17 User inspectability and operation
  order: 177
---
