---
typeId: req
recordId: benac-comp-009
fields:
  title: Authenticated remote result binding
  statement: Remote compute results shall be bound to authenticated Compute
    Station principal, request CID, nonce or challenge, compute lease, package
    CID, selected package interface, invocation contract snapshot CID, output CID, evidence CID, and timing or sequence
    information.
  rationale: Benac needs accountability and replay resistance even when it cannot
    prove that remote compute was semantically honest.
  verification: Replay a compute result under a different request, lease, or nonce
    and verify that Benac rejects it or records it as invalid evidence.
  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: 146
---
