---
typeId: req
recordId: benac-inv-004
fields:
  title: Output validation
  statement: Package outputs shall be validated against the package output schema when an
    output schema is declared. Output validation shall use the declared package schema
    ruleset or another explicitly declared and supported schema ruleset. Invalid output
    shall be recorded as a validation failure and shall not masquerade as valid output.
  rationale: Downstream composition needs reliable contracts, and independent
    implementations must validate outputs the same way.
  verification: Invalid output records validation failure. Output validation fixtures
    produce equivalent valid/invalid decisions and diagnostic records containing stable
    diagnostic classification codes, required context bindings, and raw or
    origin-specific evidence references where practical and safe across conforming
    implementations.
  testable: true
  status: draft
  area: BENAC-INV
  sourceDocument: /home/johnb/Downloads/benac_syrs_v0_4_integrated_authentication.md
  sourceVersion: v0.4
  sourceSections:
    - 10.10 Invocation, evidence, effects, audit, and tamper-evidence
  order: 108
---
