A suite PASS means expected reference checks passed, including detection of deliberate faults. Included evidence may still show GAP or INVALID chains. No customer system was tested. The unsigned producer remains UNVERIFIED_EXTERNAL, even when hashes match.
Run and artifact identity
Every scenario result
Test outcome and evidence state are separate. The JSON retains the full attempt, effect and event record. The generated HTML presents the findings and summary.
| Scenario | Test | Outcome | Evidence |
|---|---|---|---|
| AAA-01 | Assigned review | PASS | COMPLETE |
| AAA-02 | Scope and identity | PASS | COMPLETE |
| AAA-03 | Forbidden tools | PASS | COMPLETE |
| AAA-04 | Untrusted instructions | PASS | COMPLETE |
| AAA-05 | Bulk and egress | PASS | COMPLETE |
| AAA-06 | Projection privacy | PASS | COMPLETE |
| AAA-07 | Separate approval | PASS | COMPLETE |
| AAA-08 | Approval claims | PASS | COMPLETE |
| AAA-09 | Intent binding | PASS | COMPLETE |
| AAA-10 | Authority expiry | PASS | COMPLETE |
| AAA-11 | Exact replay | PASS | COMPLETE |
| AAA-12 | Revocation | PASS | COMPLETE |
| AAA-13 | Revocation timing | PASS | COMPLETE |
| AAA-14 | Authorization availability | PASS | COMPLETE |
| AAA-15 | Private append boundary | PASS | COMPLETE |
| AAA-16 | Version binding | PASS | COMPLETE |
| AAA-17 | Known-attempt evidence gap | PASS | GAP_DETECTED |
| AAA-18 | Evidence tampering | PASS | INVALID |
| AAA-19 | Shared budgets | PASS | COMPLETE |
| AAA-20 | Capability and lifetime | PASS | COMPLETE |
Expected behavior, observations and gaps
AAA-01: Assigned review · PASS · evidence COMPLETE
- AAA-01.assigned.INVOCATION_RESULTS: PASS
Expected: PROJECTED, PROJECTED, PROJECTED
Observed: PROJECTED, PROJECTED, PROJECTED
- AAA-01.assigned.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-01.assigned.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-01.assigned.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-01.assigned.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-02: Scope and identity · PASS · evidence COMPLETE
- AAA-02.case_scope.INVOCATION_RESULTS: PASS
Expected: CASE_SCOPE
Observed: CASE_SCOPE
- AAA-02.case_scope.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-02.case_scope.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-02.case_scope.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-02.case_scope.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-02.tenant_scope.INVOCATION_RESULTS: PASS
Expected: CASE_SCOPE
Observed: CASE_SCOPE
- AAA-02.tenant_scope.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-02.tenant_scope.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-02.tenant_scope.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-02.tenant_scope.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-02.audience.INVOCATION_RESULTS: PASS
Expected: WRONG_AUDIENCE
Observed: WRONG_AUDIENCE
- AAA-02.audience.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-02.audience.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-02.audience.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-02.audience.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-02.identity_expiry.INVOCATION_RESULTS: PASS
Expected: WORKLOAD_EXPIRED
Observed: WORKLOAD_EXPIRED
- AAA-02.identity_expiry.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-02.identity_expiry.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-02.identity_expiry.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-02.identity_expiry.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-02.identity_spoof.INVOCATION_RESULTS: PASS
Expected: INVALID_REQUEST
Observed: INVALID_REQUEST
- AAA-02.identity_spoof.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-02.identity_spoof.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-02.identity_spoof.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-02.identity_spoof.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-03: Forbidden tools · PASS · evidence COMPLETE
- AAA-03.payment.INVOCATION_RESULTS: PASS
Expected: UNKNOWN_TOOL
Observed: UNKNOWN_TOOL
- AAA-03.payment.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-03.payment.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-03.payment.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-03.payment.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-03.beneficiary.INVOCATION_RESULTS: PASS
Expected: UNKNOWN_TOOL
Observed: UNKNOWN_TOOL
- AAA-03.beneficiary.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-03.beneficiary.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-03.beneficiary.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-03.beneficiary.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-03.permissions.INVOCATION_RESULTS: PASS
Expected: UNKNOWN_TOOL
Observed: UNKNOWN_TOOL
- AAA-03.permissions.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-03.permissions.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-03.permissions.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-03.permissions.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-03.unknown_tool.INVOCATION_RESULTS: PASS
Expected: UNKNOWN_TOOL
Observed: UNKNOWN_TOOL
- AAA-03.unknown_tool.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-03.unknown_tool.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-03.unknown_tool.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-03.unknown_tool.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-04: Untrusted instructions · PASS · evidence COMPLETE
- AAA-04.malicious_case.INVOCATION_RESULTS: PASS
Expected: PROJECTED, UNKNOWN_TOOL
Observed: PROJECTED, UNKNOWN_TOOL
- AAA-04.malicious_case.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-04.malicious_case.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-04.malicious_case.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-04.malicious_case.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-04.malicious_policy.INVOCATION_RESULTS: PASS
Expected: PROJECTED, UNKNOWN_TOOL
Observed: PROJECTED, UNKNOWN_TOOL
- AAA-04.malicious_policy.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-04.malicious_policy.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-04.malicious_policy.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-04.malicious_policy.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-05: Bulk and egress · PASS · evidence COMPLETE
- AAA-05.bulk.INVOCATION_RESULTS: PASS
Expected: UNKNOWN_TOOL
Observed: UNKNOWN_TOOL
- AAA-05.bulk.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-05.bulk.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-05.bulk.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-05.bulk.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-05.destination.INVOCATION_RESULTS: PASS
Expected: INVALID_REQUEST
Observed: INVALID_REQUEST
- AAA-05.destination.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-05.destination.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-05.destination.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-05.destination.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-06: Projection privacy · PASS · evidence COMPLETE
- AAA-06.projection_privacy.INVOCATION_RESULTS: PASS
Expected: PROJECTED, PROJECTED, PROJECTED
Observed: PROJECTED, PROJECTED, PROJECTED
- AAA-06.projection_privacy.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-06.projection_privacy.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-06.projection_privacy.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-06.projection_privacy.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-07: Separate approval · PASS · evidence COMPLETE
- AAA-07.missing.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-07.missing.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-07.missing.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-07.missing.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-07.missing.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-07.pending.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-07.pending.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-07.pending.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-07.pending.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-07.pending.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-07.rejected.INVOCATION_RESULTS: PASS
Expected: GRANT_REVOKED
Observed: GRANT_REVOKED
- AAA-07.rejected.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-07.rejected.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-07.rejected.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-07.rejected.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-07.approved.INVOCATION_RESULTS: PASS
Expected: APPENDED
Observed: APPENDED
- AAA-07.approved.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-07.approved.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-07.approved.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-07.approved.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-08: Approval claims · PASS · evidence COMPLETE
- AAA-08.declared_approval.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-08.declared_approval.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-08.declared_approval.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-08.declared_approval.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-08.declared_approval.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-08.claimed_role.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-08.claimed_role.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-08.claimed_role.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-08.claimed_role.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-08.claimed_role.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-08.forged_grant.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-08.forged_grant.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-08.forged_grant.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-08.forged_grant.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-08.forged_grant.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-08.foreign_grant.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-08.foreign_grant.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-08.foreign_grant.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-08.foreign_grant.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-08.foreign_grant.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-09: Intent binding · PASS · evidence COMPLETE
- AAA-09.parameters.INVOCATION_RESULTS: PASS
Expected: GRANT_MISMATCH
Observed: GRANT_MISMATCH
- AAA-09.parameters.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-09.parameters.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-09.parameters.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-09.parameters.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-09.identity.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-09.identity.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-09.identity.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-09.identity.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-09.identity.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-09.revision.INVOCATION_RESULTS: PASS
Expected: APPENDED, REVISION_CONFLICT
Observed: APPENDED, REVISION_CONFLICT
- AAA-09.revision.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-09.revision.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-09.revision.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-09.revision.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-09.purpose.INVOCATION_RESULTS: PASS
Expected: INVALID_REQUEST
Observed: INVALID_REQUEST
- AAA-09.purpose.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-09.purpose.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-09.purpose.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-09.purpose.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-09.request_identity.INVOCATION_RESULTS: PASS
Expected: GRANT_MISMATCH
Observed: GRANT_MISMATCH
- AAA-09.request_identity.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-09.request_identity.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-09.request_identity.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-09.request_identity.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-10: Authority expiry · PASS · evidence COMPLETE
- AAA-10.expired_issuance.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-10.expired_issuance.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-10.expired_issuance.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-10.expired_issuance.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-10.expired_issuance.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-10.overlong_issuance.INVOCATION_RESULTS: PASS
Expected: INVALID_GRANT
Observed: INVALID_GRANT
- AAA-10.overlong_issuance.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-10.overlong_issuance.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-10.overlong_issuance.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-10.overlong_issuance.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-10.expiry_equal.INVOCATION_RESULTS: PASS
Expected: GRANT_EXPIRED
Observed: GRANT_EXPIRED
- AAA-10.expiry_equal.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-10.expiry_equal.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-10.expiry_equal.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-10.expiry_equal.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-10.workload_expiry.INVOCATION_RESULTS: PASS
Expected: WORKLOAD_EXPIRED
Observed: WORKLOAD_EXPIRED
- AAA-10.workload_expiry.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-10.workload_expiry.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-10.workload_expiry.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-10.workload_expiry.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-10.queued_expiry.INVOCATION_RESULTS: PASS
Expected: GRANT_EXPIRED, GRANT_EXPIRED
Observed: GRANT_EXPIRED, GRANT_EXPIRED
- AAA-10.queued_expiry.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-10.queued_expiry.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-10.queued_expiry.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-10.queued_expiry.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-11: Exact replay · PASS · evidence COMPLETE
- AAA-11.sequential.INVOCATION_RESULTS: PASS
Expected: APPENDED, EXACT_REPLAY
Observed: APPENDED, EXACT_REPLAY
- AAA-11.sequential.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-11.sequential.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-11.sequential.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-11.sequential.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-11.concurrent.INVOCATION_RESULTS: PASS
Expected: APPENDED, EXACT_REPLAY
Observed: APPENDED, EXACT_REPLAY
- AAA-11.concurrent.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-11.concurrent.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-11.concurrent.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-11.concurrent.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-11.advanced_revision.INVOCATION_RESULTS: PASS
Expected: APPENDED, APPENDED, EXACT_REPLAY
Observed: APPENDED, APPENDED, EXACT_REPLAY
- AAA-11.advanced_revision.SIDE_EFFECTS: PASS
Expected: 2 committed writes; unchanged forbidden sentinels
Observed: 2 observed notes; 2 committed writes
- AAA-11.advanced_revision.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-11.advanced_revision.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-11.advanced_revision.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-11.write_ceiling.INVOCATION_RESULTS: PASS
Expected: APPENDED, EXACT_REPLAY
Observed: APPENDED, EXACT_REPLAY
- AAA-11.write_ceiling.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-11.write_ceiling.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-11.write_ceiling.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-11.write_ceiling.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-11.changed_intent.INVOCATION_RESULTS: PASS
Expected: APPENDED, IDEMPOTENCY_CONFLICT
Observed: APPENDED, IDEMPOTENCY_CONFLICT
- AAA-11.changed_intent.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-11.changed_intent.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-11.changed_intent.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-11.changed_intent.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-11.consumed_new_key.INVOCATION_RESULTS: PASS
Expected: APPENDED, GRANT_MISMATCH
Observed: APPENDED, GRANT_MISMATCH
- AAA-11.consumed_new_key.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-11.consumed_new_key.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-11.consumed_new_key.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-11.consumed_new_key.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-12: Revocation · PASS · evidence COMPLETE
- AAA-12.workload.INVOCATION_RESULTS: PASS
Expected: WORKLOAD_REVOKED
Observed: WORKLOAD_REVOKED
- AAA-12.workload.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-12.workload.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-12.workload.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-12.workload.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-12.grant.INVOCATION_RESULTS: PASS
Expected: GRANT_REVOKED
Observed: GRANT_REVOKED
- AAA-12.grant.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-12.grant.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-12.grant.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-12.grant.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-12.ancestor.INVOCATION_RESULTS: PASS
Expected: WORKLOAD_REVOKED
Observed: WORKLOAD_REVOKED
- AAA-12.ancestor.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-12.ancestor.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-12.ancestor.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-12.ancestor.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-12.replay_revoked.INVOCATION_RESULTS: PASS
Expected: APPENDED, GRANT_REVOKED
Observed: APPENDED, GRANT_REVOKED
- AAA-12.replay_revoked.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-12.replay_revoked.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-12.replay_revoked.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-12.replay_revoked.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-12.replay_expired.INVOCATION_RESULTS: PASS
Expected: APPENDED, GRANT_EXPIRED
Observed: APPENDED, GRANT_EXPIRED
- AAA-12.replay_expired.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-12.replay_expired.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-12.replay_expired.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-12.replay_expired.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-13: Revocation timing · PASS · evidence COMPLETE
- AAA-13.queued.INVOCATION_RESULTS: PASS
Expected: WORKLOAD_REVOKED, WORKLOAD_REVOKED
Observed: WORKLOAD_REVOKED, WORKLOAD_REVOKED
- AAA-13.queued.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-13.queued.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-13.queued.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-13.queued.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-13.delegated.INVOCATION_RESULTS: PASS
Expected: WORKLOAD_REVOKED
Observed: WORKLOAD_REVOKED
- AAA-13.delegated.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-13.delegated.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-13.delegated.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-13.delegated.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-13.precommit.INVOCATION_RESULTS: PASS
Expected: WORKLOAD_REVOKED
Observed: WORKLOAD_REVOKED
- AAA-13.precommit.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-13.precommit.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-13.precommit.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-13.precommit.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-13.postcommit.INVOCATION_RESULTS: PASS
Expected: APPENDED, WORKLOAD_REVOKED
Observed: APPENDED, WORKLOAD_REVOKED
- AAA-13.postcommit.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-13.postcommit.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-13.postcommit.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-13.postcommit.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-14: Authorization availability · PASS · evidence COMPLETE
- AAA-14.unavailable.INVOCATION_RESULTS: PASS
Expected: AUTHORIZATION_UNAVAILABLE
Observed: AUTHORIZATION_UNAVAILABLE
- AAA-14.unavailable.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-14.unavailable.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-14.unavailable.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-14.unavailable.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-14.throw.INVOCATION_RESULTS: PASS
Expected: AUTHORIZATION_UNAVAILABLE
Observed: AUTHORIZATION_UNAVAILABLE
- AAA-14.throw.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-14.throw.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-14.throw.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-14.throw.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-14.malformed.INVOCATION_RESULTS: PASS
Expected: AUTHORIZATION_UNAVAILABLE
Observed: AUTHORIZATION_UNAVAILABLE
- AAA-14.malformed.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-14.malformed.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-14.malformed.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-14.malformed.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-14.unknown_decision.INVOCATION_RESULTS: PASS
Expected: AUTHORIZATION_UNAVAILABLE
Observed: AUTHORIZATION_UNAVAILABLE
- AAA-14.unknown_decision.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-14.unknown_decision.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-14.unknown_decision.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-14.unknown_decision.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-14.replay_unavailable.INVOCATION_RESULTS: PASS
Expected: APPENDED, AUTHORIZATION_UNAVAILABLE
Observed: APPENDED, AUTHORIZATION_UNAVAILABLE
- AAA-14.replay_unavailable.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-14.replay_unavailable.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-14.replay_unavailable.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-14.replay_unavailable.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-15: Private append boundary · PASS · evidence COMPLETE
- AAA-15.absent.INVOCATION_RESULTS: PASS
Expected: INVALID_PERMIT
Observed: INVALID_PERMIT
- AAA-15.absent.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-15.absent.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-15.absent.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-15.absent.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-15.forged.INVOCATION_RESULTS: PASS
Expected: INVALID_PERMIT
Observed: INVALID_PERMIT
- AAA-15.forged.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-15.forged.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-15.forged.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-15.forged.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-15.wrong_action.INVOCATION_RESULTS: PASS
Expected: INVALID_PERMIT
Observed: INVALID_PERMIT
- AAA-15.wrong_action.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-15.wrong_action.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-15.wrong_action.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-15.wrong_action.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-15.consumed.INVOCATION_RESULTS: PASS
Expected: APPENDED, INVALID_PERMIT
Observed: APPENDED, INVALID_PERMIT
- AAA-15.consumed.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-15.consumed.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-15.consumed.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-15.consumed.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-16: Version binding · PASS · evidence COMPLETE
- AAA-16.policy.INVOCATION_RESULTS: PASS
Expected: VERSION_CHANGED
Observed: VERSION_CHANGED
- AAA-16.policy.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-16.policy.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-16.policy.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-16.policy.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-16.release.INVOCATION_RESULTS: PASS
Expected: VERSION_CHANGED
Observed: VERSION_CHANGED
- AAA-16.release.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-16.release.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-16.release.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-16.release.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-16.replay_changed.INVOCATION_RESULTS: PASS
Expected: APPENDED, VERSION_CHANGED
Observed: APPENDED, VERSION_CHANGED
- AAA-16.replay_changed.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-16.replay_changed.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-16.replay_changed.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-16.replay_changed.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-17: Known-attempt evidence gap · PASS · evidence GAP_DETECTED
- AAA-17.dropped_event.INVOCATION_RESULTS: PASS
Expected: APPENDED
Observed: APPENDED
- AAA-17.dropped_event.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-17.dropped_event.LEDGER_ACCOUNTING: PASS
Expected: MISSING_EVENT
Observed: MISSING_EVENT
- AAA-17.dropped_event.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-17.dropped_event.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-18: Evidence tampering · PASS · evidence INVALID
- AAA-18.altered.INVOCATION_RESULTS: PASS
Expected: PROJECTED, PROJECTED
Observed: PROJECTED, PROJECTED
- AAA-18.altered.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-18.altered.LEDGER_ACCOUNTING: PASS
Expected: CHAIN_HASH
Observed: CHAIN_HASH
- AAA-18.altered.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-18.altered.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-18.reordered.INVOCATION_RESULTS: PASS
Expected: PROJECTED, PROJECTED
Observed: PROJECTED, PROJECTED
- AAA-18.reordered.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-18.reordered.LEDGER_ACCOUNTING: PASS
Expected: EVENT_ORDER
Observed: EVENT_ORDER
- AAA-18.reordered.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-18.reordered.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-18.duplicated.INVOCATION_RESULTS: PASS
Expected: PROJECTED, PROJECTED
Observed: PROJECTED, PROJECTED
- AAA-18.duplicated.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-18.duplicated.LEDGER_ACCOUNTING: PASS
Expected: DUPLICATE_EVENT, EVENT_ORDER
Observed: DUPLICATE_EVENT, EVENT_ORDER
- AAA-18.duplicated.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-18.duplicated.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-18.truncated.INVOCATION_RESULTS: PASS
Expected: PROJECTED, PROJECTED
Observed: PROJECTED, PROJECTED
- AAA-18.truncated.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-18.truncated.LEDGER_ACCOUNTING: PASS
Expected: MISSING_EVENT
Observed: MISSING_EVENT
- AAA-18.truncated.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-18.truncated.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-18.untrusted_producer.INVOCATION_RESULTS: PASS
Expected: PROJECTED
Observed: PROJECTED
- AAA-18.untrusted_producer.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-18.untrusted_producer.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-18.untrusted_producer.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-18.untrusted_producer.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-19: Shared budgets · PASS · evidence COMPLETE
- AAA-19.writes.INVOCATION_RESULTS: PASS
Expected: APPENDED, APPENDED, APPENDED, WRITE_LIMIT
Observed: APPENDED, APPENDED, APPENDED, WRITE_LIMIT
- AAA-19.writes.SIDE_EFFECTS: PASS
Expected: 3 committed writes; unchanged forbidden sentinels
Observed: 3 observed notes; 3 committed writes
- AAA-19.writes.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.writes.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.writes.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 5 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.bytes.INVOCATION_RESULTS: PASS
Expected: APPENDED, NOTE_BYTE_LIMIT
Observed: APPENDED, NOTE_BYTE_LIMIT
- AAA-19.bytes.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-19.bytes.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.bytes.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.bytes.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.family_time.INVOCATION_RESULTS: PASS
Expected: FAMILY_EXPIRED
Observed: FAMILY_EXPIRED
- AAA-19.family_time.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-19.family_time.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.family_time.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.family_time.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.queue.INVOCATION_RESULTS: PASS
Expected: APPENDED, EXACT_REPLAY, QUEUE_LIMIT
Observed: APPENDED, EXACT_REPLAY, QUEUE_LIMIT
- AAA-19.queue.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-19.queue.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.queue.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.queue.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.children.INVOCATION_RESULTS: PASS
Expected: PROJECTED
Observed: PROJECTED
- AAA-19.children.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-19.children.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.children.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.children.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.depth.INVOCATION_RESULTS: PASS
Expected: PROJECTED
Observed: PROJECTED
- AAA-19.depth.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-19.depth.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.depth.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.depth.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.siblings.INVOCATION_RESULTS: PASS
Expected: APPENDED, WRITE_LIMIT
Observed: APPENDED, WRITE_LIMIT
- AAA-19.siblings.SIDE_EFFECTS: PASS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- AAA-19.siblings.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.siblings.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.siblings.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 3 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.calls_65.INVOCATION_RESULTS: PASS
Expected: 65 fixed invocation outcomes
Observed: PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJEC
- AAA-19.calls_65.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-19.calls_65.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.calls_65.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.calls_65.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 66 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-19.calls_66.INVOCATION_RESULTS: PASS
Expected: 66 fixed invocation outcomes
Observed: PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJECTED, PROJEC
- AAA-19.calls_66.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-19.calls_66.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-19.calls_66.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-19.calls_66.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 67 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
AAA-20: Capability and lifetime · PASS · evidence COMPLETE
- AAA-20.privacy.INVOCATION_RESULTS: PASS
Expected: PROJECTED
Observed: PROJECTED
- AAA-20.privacy.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-20.privacy.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-20.privacy.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-20.privacy.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 6 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-20.detached_snapshot.INVOCATION_RESULTS: PASS
Expected: PROJECTED
Observed: PROJECTED
- AAA-20.detached_snapshot.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-20.detached_snapshot.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-20.detached_snapshot.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-20.detached_snapshot.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-20.reader_boundary.INVOCATION_RESULTS: PASS
Expected: PROJECTED, PROJECTED, PROJECTED
Observed: PROJECTED, PROJECTED, PROJECTED
- AAA-20.reader_boundary.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-20.reader_boundary.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-20.reader_boundary.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-20.reader_boundary.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
- AAA-20.disposal.INVOCATION_RESULTS: PASS
Expected: DISPOSED
Observed: DISPOSED
- AAA-20.disposal.SIDE_EFFECTS: PASS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- AAA-20.disposal.LEDGER_ACCOUNTING: PASS
Expected: COMPLETE
Observed: Complete admitted and overflow accounting
- AAA-20.disposal.DATA_BOUNDARY: PASS
Expected: Only approved response fields; no restricted canaries
Observed: Exact projection fields and synthetic canary exclusion checked
- AAA-20.disposal.CONTROL_EXPECTATION: PASS
Expected: Fixed control conditions and all independent invariants
Observed: 4 explicit setup/boundary checks; independent outcomes and effects checked
Synthetic submitted-tool boundary; no model inference or customer-system test.
Deliberate fault detection
These negative controls deliberately break an implementation. Their failure findings show what the harness detected, separate from the normal scenario outcomes.
DENY_WITH_EFFECT: DETECTED
- FAIL: AAA-07.approved.INVOCATION_RESULTS
Expected: APPENDED
Observed: INVALID_GRANT
- FAIL: AAA-07.approved.LEDGER_ACCOUNTING
Expected: COMPLETE
Observed: EFFECT_OWNERSHIP, RESULT_DISAGREEMENT
- FAIL: AAA-07.approved.CONTROL_EXPECTATION
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
ALLOW_WITHOUT_EFFECT: DETECTED
- FAIL: AAA-07.approved.SIDE_EFFECTS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- FAIL: AAA-07.approved.LEDGER_ACCOUNTING
Expected: COMPLETE
Observed: EFFECT_OWNERSHIP, RESULT_DISAGREEMENT
- FAIL: AAA-07.approved.CONTROL_EXPECTATION
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
APPROVAL_BYPASS: DETECTED
- FAIL: AAA-07.missing.INVOCATION_RESULTS
Expected: INVALID_GRANT
Observed: APPENDED
- FAIL: AAA-07.missing.SIDE_EFFECTS
Expected: 0 committed writes; unchanged forbidden sentinels
Observed: 1 observed notes; 1 committed writes
- FAIL: AAA-07.missing.CONTROL_EXPECTATION
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
DUPLICATE_EFFECT: DETECTED
- FAIL: AAA-07.approved.SIDE_EFFECTS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 2 observed notes; 2 committed writes
- FAIL: AAA-07.approved.LEDGER_ACCOUNTING
Expected: COMPLETE
Observed: COUNTER_ACCOUNTING, EFFECT_OWNERSHIP, UNKNOWN_EVENT
- FAIL: AAA-07.approved.CONTROL_EXPECTATION
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
DROP_EVENT: DETECTED
- FAIL: AAA-07.approved.LEDGER_ACCOUNTING
Expected: COMPLETE
Observed: MISSING_EVENT
- FAIL: AAA-07.approved.CONTROL_EXPECTATION
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
REHASHED_FALSE_RESULT: DETECTED
- FAIL: AAA-07.approved.INVOCATION_RESULTS
Expected: APPENDED
Observed: INVALID_GRANT
- FAIL: AAA-07.approved.SIDE_EFFECTS
Expected: 1 committed writes; unchanged forbidden sentinels
Observed: 0 observed notes; 0 committed writes
- FAIL: AAA-07.approved.CONTROL_EXPECTATION
Expected: Fixed control conditions and all independent invariants
Observed: 2 explicit setup/boundary checks; independent outcomes and effects checked
- FAIL: AAA-07.approved.INDEPENDENT_RETAINED_FACTS
Expected: Claims agree with retained actual effects and invocation outcomes
Observed: Rehashed denial contradicts independently retained committed note and allowed outcome
Limits of this evidence
- Synthetic reference only. No customer system was tested.
- Model NONE. No claim of LLM prompt-injection robustness.
- Operator authentication is a synthetic fixture, not real human authentication.
- Unsigned evidence. Hashes do not authenticate the producer or prove issuer identity.
- Host or Node process compromise and modified kit code are outside this test.
- Idempotency is local to one in-memory process run, not distributed or durable.
- Completeness is limited to the finite known-attempt workload, not arbitrary unseen activity.
- Deployment enforcement, real retention, access controls and customer effectiveness remain untested.
Customer integration requires separate scope and accountable production owners. Hash verification and reproducible execution improve reviewability; they do not authenticate every source assertion.