---
typeId: req
recordId: benac-comp-006
fields:
  title: Compute leases
  statement: Benac shall support local compute leases authorizing use of compute
    descriptors under constraints such as package CIDs, data classes, input blob
    CIDs, storage staging terms, invocation count, byte limits, cost limits,
    expiry, capability scope, accepted Compute Station principals, and output
    encryption requirements.
  rationale: Agents need bounded autonomy for compute use.
  verification: Lease allows matching invocation and denies non-matching invocation.
  testable: true
  status: draft
  area: BENAC-COMP
  sourceDocument: /home/johnb/Downloads/benac_syrs_v0_4_integrated_authentication.md
  sourceVersion: v0.4
  sourceSections:
    - 10.12 Compute discovery and remote compute
  order: 143
---
