{
  "schemaVersion": "ga-execution-receipt-verification-challenge-v1.0",
  "sourceSchemas": {
    "executionReceipt": "ga-execution-receipt-preflight-v1.0",
    "postConsumptionLock": "ga-post-consumption-lock-reconciliation-ledger-v1.0",
    "separationOfDuties": "ga-separation-of-duties-matrix-v1.0",
    "evidenceCustody": "ga-evidence-custody-manifest-v1.0"
  },
  "mode": "deterministic_execution_receipt_verification_challenge_only",
  "generatedAt": "2026-08-03T13:16:00-06:00",
  "status": "blocked_no_receipt_or_verification_evidence",
  "targetRing": "controlled_ga",
  "prerequisiteSnapshot": {
    "executionReceipts": 0,
    "independentlyVerifiedReceipts": 0,
    "lockRecords": 0,
    "reconciliations": 0,
    "assignedDuties": 0,
    "custodyEvidenceItems": 0
  },
  "challengeId": null,
  "fields": [
    {
      "id": "execution_receipt_ref",
      "order": 1,
      "label": "Immutable execution receipt reference",
      "required": true,
      "value": null
    },
    {
      "id": "receipt_digest",
      "order": 2,
      "label": "Receipt digest to recompute",
      "required": true,
      "value": null
    },
    {
      "id": "canonicalization_version",
      "order": 3,
      "label": "Canonicalization version",
      "required": true,
      "value": null
    },
    {
      "id": "before_state_evidence_ref",
      "order": 4,
      "label": "Custodied before-state evidence reference",
      "required": true,
      "value": null
    },
    {
      "id": "after_state_evidence_ref",
      "order": 5,
      "label": "Custodied after-state evidence reference",
      "required": true,
      "value": null
    },
    {
      "id": "external_observation_ref",
      "order": 6,
      "label": "Independent external-effect observation reference",
      "required": true,
      "value": null
    },
    {
      "id": "consumption_tombstone_ref",
      "order": 7,
      "label": "Post-consumption tombstone reference",
      "required": true,
      "value": null
    },
    {
      "id": "verifier_identity_ref",
      "order": 8,
      "label": "Independent verifier identity reference",
      "required": true,
      "value": null
    },
    {
      "id": "verification_started_at",
      "order": 9,
      "label": "Verification start timestamp",
      "required": true,
      "value": null
    },
    {
      "id": "verification_completed_at",
      "order": 10,
      "label": "Verification completion timestamp",
      "required": true,
      "value": null
    }
  ],
  "checks": [
    {
      "id": "challenge-receipt",
      "order": 1,
      "type": "receipt_exists",
      "label": "One immutable execution receipt exists",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    },
    {
      "id": "challenge-digest",
      "order": 2,
      "type": "digest_recomputed",
      "label": "Receipt digest is independently recomputed from canonical fields",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    },
    {
      "id": "challenge-before",
      "order": 3,
      "type": "before_state_verified",
      "label": "Before-state evidence matches the receipt digest",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    },
    {
      "id": "challenge-after",
      "order": 4,
      "type": "after_state_verified",
      "label": "After-state evidence matches the receipt digest",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    },
    {
      "id": "challenge-effect",
      "order": 5,
      "type": "external_effect_correlated",
      "label": "Observed external effect correlates to scope, resource and state change",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    },
    {
      "id": "challenge-independent",
      "order": 6,
      "type": "verifier_independent",
      "label": "Verifier is independent from decision signer, authorizer and executor",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    },
    {
      "id": "challenge-tombstone",
      "order": 7,
      "type": "tombstone_correlated",
      "label": "Consumption nonce and idempotency tombstone correlate to the receipt",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    },
    {
      "id": "challenge-rollback",
      "order": 8,
      "type": "rollback_link_verified",
      "label": "Rollback target and authorization link are independently verified",
      "status": "not_evaluated",
      "satisfied": false,
      "evidenceRef": null,
      "evaluatedBy": null,
      "evaluatedAt": null
    }
  ],
  "lifecycle": {
    "challengeOpened": false,
    "verificationStarted": false,
    "digestMatched": false,
    "stateMatched": false,
    "effectMatched": false,
    "independenceVerified": false,
    "challengeAccepted": false,
    "discrepancyOpened": false
  },
  "prohibitedClaims": [
    "receipt_template_as_verifiable_receipt",
    "matching_schema_as_matching_digest",
    "ci_success_as_independent_verification",
    "missing_discrepancy_as_accepted_receipt"
  ],
  "summary": {
    "requiredFields": 10,
    "completedFields": 0,
    "checks": 8,
    "evaluatedChecks": 0,
    "satisfiedChecks": 0,
    "openedChallenges": 0,
    "verifiedDigests": 0,
    "verifiedStates": 0,
    "correlatedEffects": 0,
    "independentVerifications": 0,
    "acceptedChallenges": 0,
    "openedDiscrepancies": 0
  },
  "nextHumanAction": {
    "action": "After one immutable execution receipt and custody evidence exist, assign a verifier independent from the executor to recompute the digest, verify before/after state, correlate the observed effect and open a discrepancy on any mismatch.",
    "executed": false
  },
  "recommendation": {
    "value": "do_not_verify_or_accept_receipt",
    "reasonCodes": [
      "execution_receipt_absent",
      "custody_evidence_absent",
      "independent_verifier_absent",
      "verification_checks_not_evaluated",
      "receipt_acceptance_absent"
    ],
    "canOverrideHumanDecision": false
  },
  "authority": {
    "challengeIdRecordingAllowed": false,
    "fieldMutationAllowed": false,
    "checkEvaluationAllowed": false,
    "evidenceLinkingAllowed": false,
    "verifierAssignmentAllowed": false,
    "verificationStartAllowed": false,
    "digestRecomputationRecordingAllowed": false,
    "beforeStateVerificationAllowed": false,
    "afterStateVerificationAllowed": false,
    "externalEffectCorrelationAllowed": false,
    "tombstoneCorrelationAllowed": false,
    "rollbackLinkVerificationAllowed": false,
    "independenceVerificationAllowed": false,
    "challengeAcceptanceAllowed": false,
    "discrepancyOpeningAllowed": false,
    "executionReceiptMutationAllowed": false,
    "transitionExecutionAllowed": false,
    "rollbackExecutionAllowed": false,
    "audienceOrCustomerActivationAllowed": false,
    "communicationDispatchAllowed": false,
    "billingConnectorOrCustomerDataMutationAllowed": false,
    "productionMutationAllowed": false,
    "readyForReviewAllowed": false,
    "mergeAllowed": false,
    "deploymentAllowed": false,
    "productionReleaseAllowed": false,
    "externalEffect": false,
    "independentVerifierRequired": true,
    "digestRecomputationRequired": true,
    "custodyEvidenceRequired": true,
    "failClosedOnMismatchRequired": true
  }
}