---
typeId: req
recordId: benac-exec-001
fields:
  title: Schema-defined package behavior
  statement: >-
    Benac shall define semantics for package behavior represented as structured data
    interpreted by the Station.

    Those semantics shall define request binding, descriptor config binding, validation
    behavior, output mapping, evidence recording, effect recording, error behavior,
    unsupported-operation behavior, resource behavior, and conformance vectors.

    These semantics shall describe a schema-bound package behavior mechanism.

    These semantics shall not classify packages.

    These semantics shall not classify how package work is performed.

    A Station shall attempt schema-defined package behavior only when Local Policy
    grants the required capabilities, required artifacts are available, resource
    requirements are satisfied, and the Station can mediate the attempt.
  rationale: >-
    Independent implementations need the same behavior for schema-defined package
    behavior, not merely the same label.
  verification: >-
    Conformance packages for greeting, calculator, todo reducer, notes reducer, and
    invalid-input behavior produce equivalent outputs, validation failures, evidence
    records, and effect records across conforming implementations when the declared
    requirements are satisfied.
  testable: true
  status: draft
  area: BENAC-EXEC
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Execution model and package host interface
  order: 98
---
