---
typeId: req
recordId: benac-exec-006
fields:
  title: Invocation contract record
  statement: >-
    Benac shall record the invoked package interface, descriptor scope, invocation
    contract snapshot, package content checks, policy checks, cryptographic checks,
    artifact availability checks, encryption/disclosure checks, capability grants,
    resource checks, operation status, and attempt results for each invocation.

    Blocked-operation reasons shall identify concrete facts such as requested different
    interface, invalid request schema, invalid descriptor config schema, unavailable
    artifact, unavailable resource, denied capability, missing capability grant, expired
    grant, revoked grant, conflicted grant, not-yet-determined status, operation not
    currently mediated by this Station, failed attempt, or policy denial.

    Blocked-operation reasons shall not rely on package classes.

    Blocked-operation reasons shall not rely on classes for how package work is
    performed.
  rationale: >-
    Package operation must be explainable and auditable without classifying packages or
    package internals.
  verification: >-
    A package with multiple interfaces records selected interface, invocation contract
    snapshot, operation statuses, and concrete blocked-operation reasons.
  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: 103
---
