---
typeId: req
recordId: benac-test-002
fields:
  title: Fixture execution semantics
  statement: >-
    Benac shall define fixture execution semantics for validation, invocation, evidence,
    effect, diagnostics, and operation-status checks.

    Fixture execution shall use the same package validation, request validation,
    descriptor config validation, capability checks, artifact availability checks,
    resource checks, invocation semantics, evidence semantics, effect semantics, and
    output validation semantics as ordinary package invocation, except where the fixture
    explicitly defines expected denied effects, expected failure, or expected diagnostic
    behavior.

    Fixture execution shall not grant authority.

    Fixture execution shall require Local Policy grants for capabilities required by the
    fixture operation phase.

    Fixture runners exposed through CLI, PWA/runtime APIs, Host APIs, Agent APIs, and
    conformance tooling shall use the same core fixture execution and expectation-
    evaluation semantics.

    Surface-specific comparison logic shall not define fixture truth.

    Fixture execution shall not classify packages.

    Fixture execution shall not classify how package work is performed.
  rationale: >-
    Fixtures are the small-blast-radius test track for package behavior. They exercise
    the same validation, invocation, evidence, effect, and diagnostic semantics as real
    execution without unintended external consequences.
  verification: >-
    A fixture that attempts unauthorized network access records a denied effect and
    fails or passes according to the fixture expected denied-effect behavior.
    Verification includes fixtures where invocation succeeds but expected output does
    not match, where the wrong package interface is invoked, where an expected
    diagnostic is absent, and where an expected denied effect is absent.
  testable: true
  status: draft
  area: BENAC-TEST
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Package authoring
  order: 87.14
---
