---
typeId: req
recordId: benac-eff-002
fields:
  title: Denied effects recorded
  statement: Benac shall record denied effect attempts when package code, a package
    invocation, an agent/client action, a storage operation, a compute operation, a
    disclosure operation, a lease request, or another host-mediated operation requests a
    capability or authority denied by policy.
  rationale: Denied effects are feedback and audit evidence. They show what was
    attempted, why it was blocked, and what narrower grant, corrected request, or
    package change might be needed next.
  verification: Package attempts unauthorized remote storage upload; denied effect
    is recorded.
  testable: true
  status: draft
  area: BENAC-EFF
  sourceDocument: /home/johnb/Downloads/benac_syrs_v0_4_integrated_authentication.md
  sourceVersion: v0.4
  sourceSections:
    - 10.10 Invocation, evidence, effects, audit, and tamper-evidence
  order: 114
---
