---
typeId: req
recordId: benac-comp-005
fields:
  title: Compute lease requests
  statement: Benac shall support machine-readable compute lease request records created by
    authenticated or locally scoped users, agents, tools, packages where authorized, or
    other clients. A compute lease request shall describe the requested compute
    descriptor or offer where applicable, target package/interface/descriptor context
    where known, input CIDs or request snapshot references where known, data classes,
    required storage staging, data egress, privacy/disclosure implications, cost limits
    where applicable, resource limits, output encryption requirements, evidence
    expectations, requested expiry, initiating actor, authentication context where
    applicable, and supporting evidence or justification where supplied. A compute lease
    request shall not itself authorize compute effects, data egress, decryption,
    plaintext disclosure, or storage staging. Such effects require an active compute
    lease, storage lease where applicable, capability grant, Local Policy allowance, or
    other accepted authorization record.
  rationale: Agents and tools need a legible way to ask for bounded compute, especially
    when experimenting with models, remote resources, or heavier workloads. Benac should
    record the request and the authority boundary, not require a kernel-defined
    compute-planning process.
  verification: An agent or tool creates a compute lease request for a package invocation
    requiring remote compute and storage staging. No remote compute, private data
    egress, plaintext disclosure, or staging occurs until matching leases and grants
    exist. The request, approval/denial, lease, invocation, evidence, effects,
    disclosure records, and diagnostics are attributable and inspectable.
  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: 142
---
