{"schemaVersion":"developer.reits.tech/runner-controller-dossier-store-verifier-adapters/v1","status":"VERIFIER_ADAPTER_CONTRACT_BOUND_PRODUCTION_CONFIGURATION_ABSENT","evaluatedAt":"2026-09-28T12:41:46.425Z","mode":"PURE_TEST_ONLY_VERIFIER_ADAPTER_EVALUATOR_NO_PRODUCTION_CONFIGURATION_NO_EXTERNAL_EFFECTS","program":{"acceptedKnives":4,"totalKnives":36,"currentKnife":"D05","closeoutCut":18,"remainingIncludingCurrent":32,"remainingAfterAcceptance":31,"d05Accepted":false},"summary":{"upstreamHealthEnvelopeAvailable":true,"verifierAdapterContractBound":true,"adaptersRequired":4,"operationsRequired":8,"productionAdapterBindings":0,"configurationRefsRequired":8,"productionConfigurationRefs":0,"verificationReceiptsRequired":8,"productionVerificationReceipts":0,"receiptFields":18,"authorityChainLinks":4,"fixtureCases":32,"fixtureAssertionsPassed":32,"fixtureAccepted":1,"fixtureDenied":31,"externalReadsExecuted":0,"externalWritesExecuted":0,"resourcesCreated":0,"provisioningPermitted":false,"decision":"HOLD_PRODUCTION_HEALTH_VERIFICATION_UNTIL_FOUR_ADAPTERS_AND_EIGHT_CONFIGURATION_REFS_ARE_REAL_AND_INDEPENDENTLY_ATTESTED"},"upstreamHealthEnvelopeContract":{"id":"d05-port-health-envelope@1dfd35b4f388-f722e4b0f6a7","contentDigest":"sha256:f722e4b0f6a74d49364c2c4856e8c92e20bcd597329af1125845d900a298ccf3","sourceRevision":"1dfd35b4f388738df724e8f588f00a3841976f6b","productionReady":false,"executable":false},"verifierAdapterContract":{"id":"d05-verifier-adapters@1dfd35b4f388-88df79c7e910","contentDigest":"sha256:88df79c7e910765dc6bdee2996d7c970cfd48d571c594ba793592c9d99e5e069","canonicalBytes":11582,"subject":{"schemaVersion":"developer.reits.tech/runner-controller-dossier-store-verifier-adapter-contract/v1","healthEnvelopeContractId":"d05-port-health-envelope@1dfd35b4f388-f722e4b0f6a7","healthEnvelopeContractDigest":"sha256:f722e4b0f6a74d49364c2c4856e8c92e20bcd597329af1125845d900a298ccf3","sourceRevision":"1dfd35b4f388738df724e8f588f00a3841976f6b","adapterContract":{"productionConfiguration":null,"configurationRefsRequired":8,"adaptersRequired":4,"operationsRequired":8,"verificationReceiptsRequired":8,"signatureAlgorithm":"ECDSA_P256_SHA256","validitySeconds":120,"maxClockSkewSeconds":20,"receiptFieldsRequired":18,"receiptFields":["schemaVersion","verificationId","adapterId","operationId","healthEnvelopeContractId","healthEnvelopeContractDigest","subjectDigest","configurationRef","configurationDigest","authority","keyRef","challengeDigest","nonceReservationDigest","revocationSnapshotDigest","outcome","issuedAt","expiresAt","signature"]},"adapters":[{"ordinal":1,"adapterId":"ADAPTER-01","name":"KeyRefAllowlistResolver","owner":"SECURITY","trustBoundary":"KEY_METADATA_ONLY_NO_PRIVATE_KEY_EXPORT","configurationRef":null,"operations":[{"ordinal":1,"operationId":"resolveAllowlistedPublicKey","input":"keyRef + authority + algorithm","output":"public-key metadata + allowlist generation","effect":"READ_ONLY"},{"ordinal":2,"operationId":"readKeyStatus","input":"keyRef + evaluatedAt","output":"ACTIVE | INACTIVE | REVOKED","effect":"READ_ONLY"}]},{"ordinal":2,"adapterId":"ADAPTER-02","name":"RevocationSnapshotVerifier","owner":"SECURITY","trustBoundary":"SIGNED_IMMUTABLE_SNAPSHOT_ONLY","configurationRef":null,"operations":[{"ordinal":3,"operationId":"verifyRevocationSnapshot","input":"snapshot envelope + authority KeyRef","output":"verified generation + digest","effect":"READ_ONLY"},{"ordinal":4,"operationId":"lookupRevocation","input":"verified snapshot + subject digest","output":"CLEAR | REVOKED","effect":"READ_ONLY"}]},{"ordinal":3,"adapterId":"ADAPTER-03","name":"ChallengeNonceReceiptVerifier","owner":"PLATFORM_SRE","trustBoundary":"OPAQUE_DIGESTS_NO_RAW_NONCE_PERSISTENCE","configurationRef":null,"operations":[{"ordinal":5,"operationId":"verifyChallengeReceipt","input":"challenge receipt + subject digest","output":"fresh challenge digest","effect":"READ_ONLY"},{"ordinal":6,"operationId":"verifyNonceReservationReceipt","input":"reservation receipt + challenge digest","output":"single-use RESERVED state","effect":"READ_ONLY"}]},{"ordinal":4,"adapterId":"ADAPTER-04","name":"AuthorityChainValidator","owner":"QA_ARCHITECT","trustBoundary":"EXACT_AUTHORITY_QUALIFIER_CHAIN","configurationRef":null,"operations":[{"ordinal":7,"operationId":"validateAuthorityChain","input":"signer + qualifier + trust-root generation","output":"ordered authority chain","effect":"READ_ONLY"},{"ordinal":8,"operationId":"verifyHealthReceiptSignature","input":"canonical health envelope + resolved key","output":"signature verification receipt","effect":"READ_ONLY"}]}],"configurationSlots":[{"ordinal":1,"slot":"KEYREF_ALLOWLIST_REF","owner":"SECURITY","productionValue":null},{"ordinal":2,"slot":"KEYREF_ALLOWLIST_DIGEST","owner":"SECURITY","productionValue":null},{"ordinal":3,"slot":"REVOCATION_SNAPSHOT_REF","owner":"SECURITY","productionValue":null},{"ordinal":4,"slot":"REVOCATION_TRUST_ROOT_REF","owner":"SECURITY","productionValue":null},{"ordinal":5,"slot":"CHALLENGE_VERIFIER_REF","owner":"PLATFORM_SRE","productionValue":null},{"ordinal":6,"slot":"NONCE_REGISTRY_READER_REF","owner":"PLATFORM_SRE","productionValue":null},{"ordinal":7,"slot":"AUTHORITY_CHAIN_POLICY_REF","owner":"QA_ARCHITECT","productionValue":null},{"ordinal":8,"slot":"HEALTH_SIGNATURE_VERIFIER_REF","owner":"QA_ARCHITECT","productionValue":null}],"authorityChain":[{"ordinal":1,"link":"TRUST_ROOT_TO_ALLOWLIST","authority":"SECURITY","qualifier":"QA_ARCHITECT","productionReceipt":null},{"ordinal":2,"link":"ALLOWLIST_TO_SIGNING_KEY","authority":"SECURITY","qualifier":"QA_ARCHITECT","productionReceipt":null},{"ordinal":3,"link":"CHALLENGE_TO_NONCE_RESERVATION","authority":"PLATFORM_SRE","qualifier":"SECURITY","productionReceipt":null},{"ordinal":4,"link":"HEALTH_ENVELOPE_TO_PORT_QUALIFICATION","authority":"PLATFORM_SRE","qualifier":"QA_ARCHITECT","productionReceipt":null}],"fixtureRegistry":[{"ordinal":1,"id":"VAD-001","scenario":"all four fixture adapters satisfy eight operations","expectedCode":"TEST_ONLY_VERIFIER_ADAPTER_BUNDLE_QUALIFIED","expectedTerminal":"QUALIFIED_FIXTURE"},{"ordinal":2,"id":"VAD-002","scenario":"upstream health envelope contract is absent","expectedCode":"UPSTREAM_HEALTH_ENVELOPE_CONTRACT_UNAVAILABLE","expectedTerminal":"DENIED"},{"ordinal":3,"id":"VAD-003","scenario":"adapter configuration is absent","expectedCode":"VERIFIER_ADAPTER_CONFIGURATION_ABSENT","expectedTerminal":"DENIED"},{"ordinal":4,"id":"VAD-004","scenario":"one adapter binding is missing","expectedCode":"VERIFIER_ADAPTER_CARDINALITY_INVALID","expectedTerminal":"DENIED"},{"ordinal":5,"id":"VAD-005","scenario":"adapter order is changed","expectedCode":"VERIFIER_ADAPTER_ORDER_INVALID","expectedTerminal":"DENIED"},{"ordinal":6,"id":"VAD-006","scenario":"adapter identity is reused","expectedCode":"VERIFIER_ADAPTER_ID_REUSED","expectedTerminal":"DENIED"},{"ordinal":7,"id":"VAD-007","scenario":"configuration reference is not typed","expectedCode":"VERIFIER_CONFIGURATION_REF_INVALID","expectedTerminal":"DENIED"},{"ordinal":8,"id":"VAD-008","scenario":"configuration digest is malformed","expectedCode":"VERIFIER_CONFIGURATION_DIGEST_INVALID","expectedTerminal":"DENIED"},{"ordinal":9,"id":"VAD-009","scenario":"configuration environment is staging","expectedCode":"PRODUCTION_VERIFIER_ENVIRONMENT_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":10,"id":"VAD-010","scenario":"KeyRef leaves the allowlisted namespace","expectedCode":"KEYREF_NAMESPACE_DENIED","expectedTerminal":"DENIED"},{"ordinal":11,"id":"VAD-011","scenario":"KeyRef is missing from allowlist generation","expectedCode":"KEYREF_NOT_ALLOWLISTED","expectedTerminal":"DENIED"},{"ordinal":12,"id":"VAD-012","scenario":"allowlisted key is inactive","expectedCode":"KEYREF_NOT_ACTIVE","expectedTerminal":"DENIED"},{"ordinal":13,"id":"VAD-013","scenario":"signature algorithm drifts from P-256","expectedCode":"VERIFIER_SIGNATURE_ALGORITHM_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":14,"id":"VAD-014","scenario":"resolved key curve is not P-256","expectedCode":"RESOLVED_KEY_CURVE_INVALID","expectedTerminal":"DENIED"},{"ordinal":15,"id":"VAD-015","scenario":"resolved key usage permits signing","expectedCode":"RESOLVED_KEY_USAGE_INVALID","expectedTerminal":"DENIED"},{"ordinal":16,"id":"VAD-016","scenario":"revocation snapshot is absent","expectedCode":"REVOCATION_SNAPSHOT_ABSENT","expectedTerminal":"DENIED"},{"ordinal":17,"id":"VAD-017","scenario":"revocation snapshot signature is unverified","expectedCode":"REVOCATION_SNAPSHOT_SIGNATURE_UNVERIFIED","expectedTerminal":"DENIED"},{"ordinal":18,"id":"VAD-018","scenario":"revocation snapshot exceeds freshness window","expectedCode":"REVOCATION_SNAPSHOT_STALE","expectedTerminal":"DENIED"},{"ordinal":19,"id":"VAD-019","scenario":"revocation snapshot authority is wrong","expectedCode":"REVOCATION_SNAPSHOT_AUTHORITY_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":20,"id":"VAD-020","scenario":"resolved key is revoked","expectedCode":"SIGNING_KEY_REVOKED","expectedTerminal":"DENIED"},{"ordinal":21,"id":"VAD-021","scenario":"health receipt subject is revoked","expectedCode":"HEALTH_RECEIPT_SUBJECT_REVOKED","expectedTerminal":"DENIED"},{"ordinal":22,"id":"VAD-022","scenario":"challenge receipt is absent","expectedCode":"CHALLENGE_RECEIPT_ABSENT","expectedTerminal":"DENIED"},{"ordinal":23,"id":"VAD-023","scenario":"challenge subject digest mismatches","expectedCode":"CHALLENGE_SUBJECT_DIGEST_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":24,"id":"VAD-024","scenario":"challenge receipt is expired","expectedCode":"CHALLENGE_RECEIPT_EXPIRED","expectedTerminal":"DENIED"},{"ordinal":25,"id":"VAD-025","scenario":"nonce reservation receipt is absent","expectedCode":"NONCE_RESERVATION_RECEIPT_ABSENT","expectedTerminal":"DENIED"},{"ordinal":26,"id":"VAD-026","scenario":"nonce is concurrently reserved by another verification","expectedCode":"NONCE_RESERVATION_CONFLICT","expectedTerminal":"DENIED"},{"ordinal":27,"id":"VAD-027","scenario":"nonce reservation was already consumed","expectedCode":"NONCE_ALREADY_CONSUMED","expectedTerminal":"DENIED"},{"ordinal":28,"id":"VAD-028","scenario":"authority chain signer is unexpected","expectedCode":"AUTHORITY_CHAIN_SIGNER_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":29,"id":"VAD-029","scenario":"authority and qualifier collapse","expectedCode":"AUTHORITY_QUALIFIER_SEPARATION_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":30,"id":"VAD-030","scenario":"authority chain signature is unverified","expectedCode":"AUTHORITY_CHAIN_SIGNATURE_UNVERIFIED","expectedTerminal":"DENIED"},{"ordinal":31,"id":"VAD-031","scenario":"health envelope signature is unverified","expectedCode":"HEALTH_ENVELOPE_SIGNATURE_UNVERIFIED","expectedTerminal":"DENIED"},{"ordinal":32,"id":"VAD-032","scenario":"fixture bundle is presented as production","expectedCode":"PRODUCTION_ADAPTER_FACTORY_NOT_CONFIGURED","expectedTerminal":"DENIED"}],"decisionCodes":["TEST_ONLY_VERIFIER_ADAPTER_BUNDLE_QUALIFIED","UPSTREAM_HEALTH_ENVELOPE_CONTRACT_UNAVAILABLE","VERIFIER_ADAPTER_CONFIGURATION_ABSENT","VERIFIER_ADAPTER_CARDINALITY_INVALID","VERIFIER_ADAPTER_ORDER_INVALID","VERIFIER_ADAPTER_ID_REUSED","VERIFIER_CONFIGURATION_REF_INVALID","VERIFIER_CONFIGURATION_DIGEST_INVALID","PRODUCTION_VERIFIER_ENVIRONMENT_REQUIRED","KEYREF_NAMESPACE_DENIED","KEYREF_NOT_ALLOWLISTED","KEYREF_NOT_ACTIVE","VERIFIER_SIGNATURE_ALGORITHM_MISMATCH","RESOLVED_KEY_CURVE_INVALID","RESOLVED_KEY_USAGE_INVALID","REVOCATION_SNAPSHOT_ABSENT","REVOCATION_SNAPSHOT_SIGNATURE_UNVERIFIED","REVOCATION_SNAPSHOT_STALE","REVOCATION_SNAPSHOT_AUTHORITY_MISMATCH","SIGNING_KEY_REVOKED","HEALTH_RECEIPT_SUBJECT_REVOKED","CHALLENGE_RECEIPT_ABSENT","CHALLENGE_SUBJECT_DIGEST_MISMATCH","CHALLENGE_RECEIPT_EXPIRED","NONCE_RESERVATION_RECEIPT_ABSENT","NONCE_RESERVATION_CONFLICT","NONCE_ALREADY_CONSUMED","AUTHORITY_CHAIN_SIGNER_MISMATCH","AUTHORITY_QUALIFIER_SEPARATION_REQUIRED","AUTHORITY_CHAIN_SIGNATURE_UNVERIFIED","HEALTH_ENVELOPE_SIGNATURE_UNVERIFIED","PRODUCTION_ADAPTER_FACTORY_NOT_CONFIGURED"],"invariants":["EXACT_CUT_17_HEALTH_ENVELOPE_CONTRACT_IS_REQUIRED","FOUR_DISTINCT_ADAPTER_BINDINGS_ARE_REQUIRED","EIGHT_TYPED_READ_ONLY_OPERATIONS_ARE_REQUIRED","ALL_PRODUCTION_CONFIGURATION_REFS_ARE_EXPLICIT","RAW_PUBLIC_KEY_MATERIAL_IS_NEVER_CONFIGURATION","PRIVATE_KEY_MATERIAL_IS_NEVER_LOADED","KEYREF_NAMESPACE_IS_ALLOWLISTED","KEY_STATUS_IS_ACTIVE_AT_EVALUATION_TIME","ONLY_ECDSA_P256_SHA256_IS_ACCEPTED","RESOLVED_KEY_USAGE_IS_VERIFY_ONLY","REVOCATION_SNAPSHOT_IS_SIGNED_AND_IMMUTABLE","REVOCATION_SNAPSHOT_FRESHNESS_IS_BOUNDED","KEY_AND_RECEIPT_SUBJECT_REVOCATION_ARE_CHECKED","CHALLENGE_IS_BOUND_TO_EXACT_SUBJECT_DIGEST","CHALLENGE_VALIDITY_IS_BOUNDED","NONCE_IS_REFERENCED_ONLY_BY_DIGEST","NONCE_RESERVATION_HAS_ONE_WINNER","CONSUMED_NONCE_IS_NEVER_REUSABLE","AUTHORITY_AND_QUALIFIER_ARE_DISTINCT","AUTHORITY_CHAIN_ORDER_IS_EXACT","EACH_OPERATION_EMITS_A_CONTENT_BOUND_RECEIPT","CALLER_SUPPLIED_VERIFIED_BOOLEANS_ARE_IGNORED","FIXTURE_KEYS_AND_SIGNATURES_NEVER_REACH_PRODUCTION","PRODUCTION_ADAPTER_FACTORY_FAILS_CLOSED_WHEN_UNCONFIGURED","NO_EXTERNAL_READ_OCCURS_IN_THIS_CONTRACT_EVALUATOR","NO_EXTERNAL_WRITE_OR_RESOURCE_CREATION_IS_PERMITTED"]},"productionReady":false,"executable":false},"productionEvaluation":{"code":"VERIFIER_ADAPTER_CONFIGURATION_ABSENT","terminal":"DENIED","failedAdapter":null,"operationsVerified":0,"productionQualified":false},"adapterMatrix":[{"ordinal":1,"adapterId":"ADAPTER-01","name":"KeyRefAllowlistResolver","owner":"SECURITY","trustBoundary":"KEY_METADATA_ONLY_NO_PRIVATE_KEY_EXPORT","configurationRef":null,"operationCount":2,"productionBinding":null,"status":"PRODUCTION_ADAPTER_UNBOUND"},{"ordinal":2,"adapterId":"ADAPTER-02","name":"RevocationSnapshotVerifier","owner":"SECURITY","trustBoundary":"SIGNED_IMMUTABLE_SNAPSHOT_ONLY","configurationRef":null,"operationCount":2,"productionBinding":null,"status":"PRODUCTION_ADAPTER_UNBOUND"},{"ordinal":3,"adapterId":"ADAPTER-03","name":"ChallengeNonceReceiptVerifier","owner":"PLATFORM_SRE","trustBoundary":"OPAQUE_DIGESTS_NO_RAW_NONCE_PERSISTENCE","configurationRef":null,"operationCount":2,"productionBinding":null,"status":"PRODUCTION_ADAPTER_UNBOUND"},{"ordinal":4,"adapterId":"ADAPTER-04","name":"AuthorityChainValidator","owner":"QA_ARCHITECT","trustBoundary":"EXACT_AUTHORITY_QUALIFIER_CHAIN","configurationRef":null,"operationCount":2,"productionBinding":null,"status":"PRODUCTION_ADAPTER_UNBOUND"}],"operationMatrix":[{"ordinal":1,"operationId":"resolveAllowlistedPublicKey","input":"keyRef + authority + algorithm","output":"public-key metadata + allowlist generation","effect":"READ_ONLY","adapterId":"ADAPTER-01","adapterName":"KeyRefAllowlistResolver","owner":"SECURITY","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"},{"ordinal":2,"operationId":"readKeyStatus","input":"keyRef + evaluatedAt","output":"ACTIVE | INACTIVE | REVOKED","effect":"READ_ONLY","adapterId":"ADAPTER-01","adapterName":"KeyRefAllowlistResolver","owner":"SECURITY","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"},{"ordinal":3,"operationId":"verifyRevocationSnapshot","input":"snapshot envelope + authority KeyRef","output":"verified generation + digest","effect":"READ_ONLY","adapterId":"ADAPTER-02","adapterName":"RevocationSnapshotVerifier","owner":"SECURITY","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"},{"ordinal":4,"operationId":"lookupRevocation","input":"verified snapshot + subject digest","output":"CLEAR | REVOKED","effect":"READ_ONLY","adapterId":"ADAPTER-02","adapterName":"RevocationSnapshotVerifier","owner":"SECURITY","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"},{"ordinal":5,"operationId":"verifyChallengeReceipt","input":"challenge receipt + subject digest","output":"fresh challenge digest","effect":"READ_ONLY","adapterId":"ADAPTER-03","adapterName":"ChallengeNonceReceiptVerifier","owner":"PLATFORM_SRE","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"},{"ordinal":6,"operationId":"verifyNonceReservationReceipt","input":"reservation receipt + challenge digest","output":"single-use RESERVED state","effect":"READ_ONLY","adapterId":"ADAPTER-03","adapterName":"ChallengeNonceReceiptVerifier","owner":"PLATFORM_SRE","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"},{"ordinal":7,"operationId":"validateAuthorityChain","input":"signer + qualifier + trust-root generation","output":"ordered authority chain","effect":"READ_ONLY","adapterId":"ADAPTER-04","adapterName":"AuthorityChainValidator","owner":"QA_ARCHITECT","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"},{"ordinal":8,"operationId":"verifyHealthReceiptSignature","input":"canonical health envelope + resolved key","output":"signature verification receipt","effect":"READ_ONLY","adapterId":"ADAPTER-04","adapterName":"AuthorityChainValidator","owner":"QA_ARCHITECT","productionReceipt":null,"status":"PRODUCTION_VERIFICATION_RECEIPT_ABSENT"}],"configurationMatrix":[{"ordinal":1,"slot":"KEYREF_ALLOWLIST_REF","owner":"SECURITY","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"},{"ordinal":2,"slot":"KEYREF_ALLOWLIST_DIGEST","owner":"SECURITY","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"},{"ordinal":3,"slot":"REVOCATION_SNAPSHOT_REF","owner":"SECURITY","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"},{"ordinal":4,"slot":"REVOCATION_TRUST_ROOT_REF","owner":"SECURITY","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"},{"ordinal":5,"slot":"CHALLENGE_VERIFIER_REF","owner":"PLATFORM_SRE","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"},{"ordinal":6,"slot":"NONCE_REGISTRY_READER_REF","owner":"PLATFORM_SRE","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"},{"ordinal":7,"slot":"AUTHORITY_CHAIN_POLICY_REF","owner":"QA_ARCHITECT","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"},{"ordinal":8,"slot":"HEALTH_SIGNATURE_VERIFIER_REF","owner":"QA_ARCHITECT","productionValue":null,"status":"PRODUCTION_CONFIGURATION_ABSENT"}],"authorityChainMatrix":[{"ordinal":1,"link":"TRUST_ROOT_TO_ALLOWLIST","authority":"SECURITY","qualifier":"QA_ARCHITECT","productionReceipt":null,"status":"PRODUCTION_CHAIN_RECEIPT_ABSENT"},{"ordinal":2,"link":"ALLOWLIST_TO_SIGNING_KEY","authority":"SECURITY","qualifier":"QA_ARCHITECT","productionReceipt":null,"status":"PRODUCTION_CHAIN_RECEIPT_ABSENT"},{"ordinal":3,"link":"CHALLENGE_TO_NONCE_RESERVATION","authority":"PLATFORM_SRE","qualifier":"SECURITY","productionReceipt":null,"status":"PRODUCTION_CHAIN_RECEIPT_ABSENT"},{"ordinal":4,"link":"HEALTH_ENVELOPE_TO_PORT_QUALIFICATION","authority":"PLATFORM_SRE","qualifier":"QA_ARCHITECT","productionReceipt":null,"status":"PRODUCTION_CHAIN_RECEIPT_ABSENT"}],"receiptFieldMatrix":[{"ordinal":1,"field":"schemaVersion","classification":"IDENTITY_BINDING","observed":false},{"ordinal":2,"field":"verificationId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":3,"field":"adapterId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":4,"field":"operationId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":5,"field":"healthEnvelopeContractId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":6,"field":"healthEnvelopeContractDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":7,"field":"subjectDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":8,"field":"configurationRef","classification":"IDENTITY_BINDING","observed":false},{"ordinal":9,"field":"configurationDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":10,"field":"authority","classification":"AUTHORITY_BINDING","observed":false},{"ordinal":11,"field":"keyRef","classification":"CRYPTO_BINDING","observed":false},{"ordinal":12,"field":"challengeDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":13,"field":"nonceReservationDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":14,"field":"revocationSnapshotDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":15,"field":"outcome","classification":"IDENTITY_BINDING","observed":false},{"ordinal":16,"field":"issuedAt","classification":"TIME_BINDING","observed":false},{"ordinal":17,"field":"expiresAt","classification":"TIME_BINDING","observed":false},{"ordinal":18,"field":"signature","classification":"CRYPTO_BINDING","observed":false}],"fixtureResults":[{"ordinal":1,"id":"VAD-001","scenario":"all four fixture adapters satisfy eight operations","expectedCode":"TEST_ONLY_VERIFIER_ADAPTER_BUNDLE_QUALIFIED","actualCode":"TEST_ONLY_VERIFIER_ADAPTER_BUNDLE_QUALIFIED","terminal":"QUALIFIED_FIXTURE","passed":true,"failedAdapter":null,"operationsVerified":8,"productionQualified":false},{"ordinal":2,"id":"VAD-002","scenario":"upstream health envelope contract is absent","expectedCode":"UPSTREAM_HEALTH_ENVELOPE_CONTRACT_UNAVAILABLE","actualCode":"UPSTREAM_HEALTH_ENVELOPE_CONTRACT_UNAVAILABLE","terminal":"DENIED","passed":true,"failedAdapter":null,"operationsVerified":0,"productionQualified":false},{"ordinal":3,"id":"VAD-003","scenario":"adapter configuration is absent","expectedCode":"VERIFIER_ADAPTER_CONFIGURATION_ABSENT","actualCode":"VERIFIER_ADAPTER_CONFIGURATION_ABSENT","terminal":"DENIED","passed":true,"failedAdapter":null,"operationsVerified":0,"productionQualified":false},{"ordinal":4,"id":"VAD-004","scenario":"one adapter binding is missing","expectedCode":"VERIFIER_ADAPTER_CARDINALITY_INVALID","actualCode":"VERIFIER_ADAPTER_CARDINALITY_INVALID","terminal":"DENIED","passed":true,"failedAdapter":null,"operationsVerified":0,"productionQualified":false},{"ordinal":5,"id":"VAD-005","scenario":"adapter order is changed","expectedCode":"VERIFIER_ADAPTER_ORDER_INVALID","actualCode":"VERIFIER_ADAPTER_ORDER_INVALID","terminal":"DENIED","passed":true,"failedAdapter":null,"operationsVerified":0,"productionQualified":false},{"ordinal":6,"id":"VAD-006","scenario":"adapter identity is reused","expectedCode":"VERIFIER_ADAPTER_ID_REUSED","actualCode":"VERIFIER_ADAPTER_ID_REUSED","terminal":"DENIED","passed":true,"failedAdapter":null,"operationsVerified":0,"productionQualified":false},{"ordinal":7,"id":"VAD-007","scenario":"configuration reference is not typed","expectedCode":"VERIFIER_CONFIGURATION_REF_INVALID","actualCode":"VERIFIER_CONFIGURATION_REF_INVALID","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":8,"id":"VAD-008","scenario":"configuration digest is malformed","expectedCode":"VERIFIER_CONFIGURATION_DIGEST_INVALID","actualCode":"VERIFIER_CONFIGURATION_DIGEST_INVALID","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":9,"id":"VAD-009","scenario":"configuration environment is staging","expectedCode":"PRODUCTION_VERIFIER_ENVIRONMENT_REQUIRED","actualCode":"PRODUCTION_VERIFIER_ENVIRONMENT_REQUIRED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":10,"id":"VAD-010","scenario":"KeyRef leaves the allowlisted namespace","expectedCode":"KEYREF_NAMESPACE_DENIED","actualCode":"KEYREF_NAMESPACE_DENIED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":11,"id":"VAD-011","scenario":"KeyRef is missing from allowlist generation","expectedCode":"KEYREF_NOT_ALLOWLISTED","actualCode":"KEYREF_NOT_ALLOWLISTED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":12,"id":"VAD-012","scenario":"allowlisted key is inactive","expectedCode":"KEYREF_NOT_ACTIVE","actualCode":"KEYREF_NOT_ACTIVE","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":13,"id":"VAD-013","scenario":"signature algorithm drifts from P-256","expectedCode":"VERIFIER_SIGNATURE_ALGORITHM_MISMATCH","actualCode":"VERIFIER_SIGNATURE_ALGORITHM_MISMATCH","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":14,"id":"VAD-014","scenario":"resolved key curve is not P-256","expectedCode":"RESOLVED_KEY_CURVE_INVALID","actualCode":"RESOLVED_KEY_CURVE_INVALID","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":15,"id":"VAD-015","scenario":"resolved key usage permits signing","expectedCode":"RESOLVED_KEY_USAGE_INVALID","actualCode":"RESOLVED_KEY_USAGE_INVALID","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-01","operationsVerified":0,"productionQualified":false},{"ordinal":16,"id":"VAD-016","scenario":"revocation snapshot is absent","expectedCode":"REVOCATION_SNAPSHOT_ABSENT","actualCode":"REVOCATION_SNAPSHOT_ABSENT","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-02","operationsVerified":2,"productionQualified":false},{"ordinal":17,"id":"VAD-017","scenario":"revocation snapshot signature is unverified","expectedCode":"REVOCATION_SNAPSHOT_SIGNATURE_UNVERIFIED","actualCode":"REVOCATION_SNAPSHOT_SIGNATURE_UNVERIFIED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-02","operationsVerified":2,"productionQualified":false},{"ordinal":18,"id":"VAD-018","scenario":"revocation snapshot exceeds freshness window","expectedCode":"REVOCATION_SNAPSHOT_STALE","actualCode":"REVOCATION_SNAPSHOT_STALE","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-02","operationsVerified":2,"productionQualified":false},{"ordinal":19,"id":"VAD-019","scenario":"revocation snapshot authority is wrong","expectedCode":"REVOCATION_SNAPSHOT_AUTHORITY_MISMATCH","actualCode":"REVOCATION_SNAPSHOT_AUTHORITY_MISMATCH","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-02","operationsVerified":2,"productionQualified":false},{"ordinal":20,"id":"VAD-020","scenario":"resolved key is revoked","expectedCode":"SIGNING_KEY_REVOKED","actualCode":"SIGNING_KEY_REVOKED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-02","operationsVerified":3,"productionQualified":false},{"ordinal":21,"id":"VAD-021","scenario":"health receipt subject is revoked","expectedCode":"HEALTH_RECEIPT_SUBJECT_REVOKED","actualCode":"HEALTH_RECEIPT_SUBJECT_REVOKED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-02","operationsVerified":3,"productionQualified":false},{"ordinal":22,"id":"VAD-022","scenario":"challenge receipt is absent","expectedCode":"CHALLENGE_RECEIPT_ABSENT","actualCode":"CHALLENGE_RECEIPT_ABSENT","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-03","operationsVerified":4,"productionQualified":false},{"ordinal":23,"id":"VAD-023","scenario":"challenge subject digest mismatches","expectedCode":"CHALLENGE_SUBJECT_DIGEST_MISMATCH","actualCode":"CHALLENGE_SUBJECT_DIGEST_MISMATCH","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-03","operationsVerified":4,"productionQualified":false},{"ordinal":24,"id":"VAD-024","scenario":"challenge receipt is expired","expectedCode":"CHALLENGE_RECEIPT_EXPIRED","actualCode":"CHALLENGE_RECEIPT_EXPIRED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-03","operationsVerified":4,"productionQualified":false},{"ordinal":25,"id":"VAD-025","scenario":"nonce reservation receipt is absent","expectedCode":"NONCE_RESERVATION_RECEIPT_ABSENT","actualCode":"NONCE_RESERVATION_RECEIPT_ABSENT","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-03","operationsVerified":5,"productionQualified":false},{"ordinal":26,"id":"VAD-026","scenario":"nonce is concurrently reserved by another verification","expectedCode":"NONCE_RESERVATION_CONFLICT","actualCode":"NONCE_RESERVATION_CONFLICT","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-03","operationsVerified":5,"productionQualified":false},{"ordinal":27,"id":"VAD-027","scenario":"nonce reservation was already consumed","expectedCode":"NONCE_ALREADY_CONSUMED","actualCode":"NONCE_ALREADY_CONSUMED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-03","operationsVerified":5,"productionQualified":false},{"ordinal":28,"id":"VAD-028","scenario":"authority chain signer is unexpected","expectedCode":"AUTHORITY_CHAIN_SIGNER_MISMATCH","actualCode":"AUTHORITY_CHAIN_SIGNER_MISMATCH","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-04","operationsVerified":6,"productionQualified":false},{"ordinal":29,"id":"VAD-029","scenario":"authority and qualifier collapse","expectedCode":"AUTHORITY_QUALIFIER_SEPARATION_REQUIRED","actualCode":"AUTHORITY_QUALIFIER_SEPARATION_REQUIRED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-04","operationsVerified":6,"productionQualified":false},{"ordinal":30,"id":"VAD-030","scenario":"authority chain signature is unverified","expectedCode":"AUTHORITY_CHAIN_SIGNATURE_UNVERIFIED","actualCode":"AUTHORITY_CHAIN_SIGNATURE_UNVERIFIED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-04","operationsVerified":6,"productionQualified":false},{"ordinal":31,"id":"VAD-031","scenario":"health envelope signature is unverified","expectedCode":"HEALTH_ENVELOPE_SIGNATURE_UNVERIFIED","actualCode":"HEALTH_ENVELOPE_SIGNATURE_UNVERIFIED","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-04","operationsVerified":7,"productionQualified":false},{"ordinal":32,"id":"VAD-032","scenario":"fixture bundle is presented as production","expectedCode":"PRODUCTION_ADAPTER_FACTORY_NOT_CONFIGURED","actualCode":"PRODUCTION_ADAPTER_FACTORY_NOT_CONFIGURED","terminal":"DENIED","passed":true,"failedAdapter":null,"operationsVerified":8,"productionQualified":false}],"selectedDenialTrace":{"ordinal":26,"id":"VAD-026","scenario":"nonce is concurrently reserved by another verification","expectedCode":"NONCE_RESERVATION_CONFLICT","actualCode":"NONCE_RESERVATION_CONFLICT","terminal":"DENIED","passed":true,"failedAdapter":"ADAPTER-03","operationsVerified":5,"productionQualified":false},"decisionCodes":["TEST_ONLY_VERIFIER_ADAPTER_BUNDLE_QUALIFIED","UPSTREAM_HEALTH_ENVELOPE_CONTRACT_UNAVAILABLE","VERIFIER_ADAPTER_CONFIGURATION_ABSENT","VERIFIER_ADAPTER_CARDINALITY_INVALID","VERIFIER_ADAPTER_ORDER_INVALID","VERIFIER_ADAPTER_ID_REUSED","VERIFIER_CONFIGURATION_REF_INVALID","VERIFIER_CONFIGURATION_DIGEST_INVALID","PRODUCTION_VERIFIER_ENVIRONMENT_REQUIRED","KEYREF_NAMESPACE_DENIED","KEYREF_NOT_ALLOWLISTED","KEYREF_NOT_ACTIVE","VERIFIER_SIGNATURE_ALGORITHM_MISMATCH","RESOLVED_KEY_CURVE_INVALID","RESOLVED_KEY_USAGE_INVALID","REVOCATION_SNAPSHOT_ABSENT","REVOCATION_SNAPSHOT_SIGNATURE_UNVERIFIED","REVOCATION_SNAPSHOT_STALE","REVOCATION_SNAPSHOT_AUTHORITY_MISMATCH","SIGNING_KEY_REVOKED","HEALTH_RECEIPT_SUBJECT_REVOKED","CHALLENGE_RECEIPT_ABSENT","CHALLENGE_SUBJECT_DIGEST_MISMATCH","CHALLENGE_RECEIPT_EXPIRED","NONCE_RESERVATION_RECEIPT_ABSENT","NONCE_RESERVATION_CONFLICT","NONCE_ALREADY_CONSUMED","AUTHORITY_CHAIN_SIGNER_MISMATCH","AUTHORITY_QUALIFIER_SEPARATION_REQUIRED","AUTHORITY_CHAIN_SIGNATURE_UNVERIFIED","HEALTH_ENVELOPE_SIGNATURE_UNVERIFIED","PRODUCTION_ADAPTER_FACTORY_NOT_CONFIGURED"],"invariants":["EXACT_CUT_17_HEALTH_ENVELOPE_CONTRACT_IS_REQUIRED","FOUR_DISTINCT_ADAPTER_BINDINGS_ARE_REQUIRED","EIGHT_TYPED_READ_ONLY_OPERATIONS_ARE_REQUIRED","ALL_PRODUCTION_CONFIGURATION_REFS_ARE_EXPLICIT","RAW_PUBLIC_KEY_MATERIAL_IS_NEVER_CONFIGURATION","PRIVATE_KEY_MATERIAL_IS_NEVER_LOADED","KEYREF_NAMESPACE_IS_ALLOWLISTED","KEY_STATUS_IS_ACTIVE_AT_EVALUATION_TIME","ONLY_ECDSA_P256_SHA256_IS_ACCEPTED","RESOLVED_KEY_USAGE_IS_VERIFY_ONLY","REVOCATION_SNAPSHOT_IS_SIGNED_AND_IMMUTABLE","REVOCATION_SNAPSHOT_FRESHNESS_IS_BOUNDED","KEY_AND_RECEIPT_SUBJECT_REVOCATION_ARE_CHECKED","CHALLENGE_IS_BOUND_TO_EXACT_SUBJECT_DIGEST","CHALLENGE_VALIDITY_IS_BOUNDED","NONCE_IS_REFERENCED_ONLY_BY_DIGEST","NONCE_RESERVATION_HAS_ONE_WINNER","CONSUMED_NONCE_IS_NEVER_REUSABLE","AUTHORITY_AND_QUALIFIER_ARE_DISTINCT","AUTHORITY_CHAIN_ORDER_IS_EXACT","EACH_OPERATION_EMITS_A_CONTENT_BOUND_RECEIPT","CALLER_SUPPLIED_VERIFIED_BOOLEANS_ARE_IGNORED","FIXTURE_KEYS_AND_SIGNATURES_NEVER_REACH_PRODUCTION","PRODUCTION_ADAPTER_FACTORY_FAILS_CLOSED_WHEN_UNCONFIGURED","NO_EXTERNAL_READ_OCCURS_IN_THIS_CONTRACT_EVALUATOR","NO_EXTERNAL_WRITE_OR_RESOURCE_CREATION_IS_PERMITTED"],"safetyTruth":{"adaptersRequired":4,"operationsRequired":8,"configurationRefsRequired":8,"productionAdapterBindings":0,"productionConfigurationRefs":0,"productionVerificationReceipts":0,"fixtureCases":32,"fixtureAccepted":1,"fixtureDenied":31,"fixtureAssertionsPassed":32,"privateKeysLoaded":0,"rawNoncesExposed":0,"rawSignaturesExposed":0,"externalReadsExecuted":0,"externalWritesExecuted":0,"ledgerWritesExecuted":0,"portCallsExecuted":0,"resourcesCreated":0,"controllerListenerStarts":0,"paidResourcesCreated":false,"provisioningPermitted":false,"d05Accepted":false},"discovery":{"workbench":"/release-foundation#runner-controller-dossier-store-verifier-adapters","schema":"/schemas/runner-controller-dossier-store-verifier-adapters.v1.schema.json","healthEnvelopes":"/api/runner-controller/dossier-store-port-health-receipts","portContracts":"/api/runner-controller/dossier-store-production-port-contracts","liveIdentity":"/api/release-unit"}}