---
typeId: req
recordId: benac-wasm-004
fields:
  title: Resource limits and enforcement
  statement: >-
    Benac shall define resource-limit semantics for package validation, package build,
    fixture execution, ordinary invocation, and mediated package operation attempts.

    Limits shall include at least package document size, Package Bundle size, schema
    size, fixture size, artifact size, request size, descriptor config size, output
    size, WASM memory pages or bytes where relevant, execution time or fuel where
    relevant, log size, evidence record size, and effect record size.

    A Station Profile shall publish known resource limits where known.

    A package shall declare resource requirements.

    Invocation shall fail closed when declared or actual requirements exceed granted or
    available limits.

    Resource-limit diagnostics and resource-limit reports shall identify the breached
    limit kind, observed value, configured or granted limit, operation phase,
    package/interface/contract context where known, and whether the breach denied the
    entire operation or only the offending record.

    Log, evidence record, and effect record size breaches shall deny the offending
    record or deny the operation according to explicit requirement semantics.

    Oversized log, evidence, or effect records shall not be silently omitted when the
    denied record is required to satisfy package output, fixture expectation, approval
    evidence, or audit requirements.

    Resource-limit requirements shall not classify packages.
  rationale: >-
    Packages need clear bounds before authors begin experimenting. Resource limits are
    operation facts, not package classes.
  verification: >-
    Resource-limit fixtures covering oversized request, oversized output, oversized
    artifact, excessive memory, timeout/fuel exhaustion, excessive logs, and excessive
    evidence records fail with diagnostic records containing stable diagnostic
    classification codes, required context bindings, raw or origin-specific evidence
    references where practical and safe, and invocation records.
  testable: true
  status: draft
  area: BENAC-WASM
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Package authoring
  order: 87.19
---
