O-14 Execution Receipt
Consumption ≠ execution receipt. Receipt ≠ reconciled lock.
No existe ejecución, efecto observado, receipt, tombstone o reconciliación. La superficie solo define qué tendría que quedar ligado atómicamente después de una ejecución autorizada.
Volver al cockpit GAExecution Receipt Preflight
12 campos nulos. 8 checks no evaluados.
El receipt exige consumo, scope, evento, efecto, recurso, before/after state, timestamps, executor, verifier y digest canónico exactos.
Field 1
Committed authorization-consumption reference
required true · value nullField 2
Effective immutable scope-binding reference
required true · value nullField 3
Exact execution event reference
required true · value nullField 4
Observed external-effect type
required true · value nullField 5
Exact target resource reference
required true · value nullField 6
Immutable before-state digest
required true · value nullField 7
Immutable after-state digest
required true · value nullField 8
Execution start timestamp
required true · value nullField 9
Execution completion timestamp
required true · value nullField 10
Verified executor identity reference
required true · value nullField 11
Independent verifier identity reference
required true · value nullField 12
Canonical immutable execution-receipt digest
required true · value nullCheck 1
One valid authorization consumption was atomically committed
not evaluated · evidence null · satisfied falseCheck 2
Execution exactly matches scope, audience, ring, effect and resource
not evaluated · evidence null · satisfied falseCheck 3
The external effect was independently observed
not evaluated · evidence null · satisfied falseCheck 4
Before-state digest is present and immutable
not evaluated · evidence null · satisfied falseCheck 5
After-state digest is present and immutable
not evaluated · evidence null · satisfied falseCheck 6
Executor and verifier are distinct verified identities
not evaluated · evidence null · satisfied falseCheck 7
Canonical receipt digest covers every required field
not evaluated · evidence null · satisfied falseCheck 8
Rollback target and authorization are linked when required
not evaluated · evidence null · satisfied falsePost-Consumption Lock & Reconciliation
10 campos nulos. 8 checks pendientes. Cero locks.
El lock exige tombstones append-only para nonce e idempotency key, agotamiento de autorización, replay denial y reconciliación independiente del efecto.
Field 1
Consumed authorization reference
required true · value nullField 2
Successful single-use consumption reference
required true · value nullField 3
Independently verified execution receipt reference
required true · value nullField 4
Consumed nonce tombstone value
required true · value nullField 5
Consumed idempotency key tombstone value
required true · value nullField 6
Append-only replay tombstone reference
required true · value nullField 7
Atomic lock timestamp
required true · value nullField 8
Immutable post-consumption lock digest
required true · value nullField 9
Independent external-effect reconciliation reference
required true · value nullField 10
Human-owned discrepancy reference when required
required true · value nullCheck 1
One independently verified execution receipt exists
not evaluated · satisfied falseCheck 2
Exactly one successful authorization consumption exists
not evaluated · satisfied falseCheck 3
Consumed nonce is append-only and cannot be reissued
not evaluated · satisfied falseCheck 4
Idempotency key is append-only and cannot be replayed
not evaluated · satisfied falseCheck 5
Authorization is exhausted after the receipt
not evaluated · satisfied falseCheck 6
All subsequent attempts are denied fail-closed
not evaluated · satisfied falseCheck 7
Observed external effect matches receipt before/after state
not evaluated · satisfied falseCheck 8