{"schemaVersion":"developer.reits.tech/runner-controller-dossier-store-port-health-receipts/v1","status":"HEALTH_ENVELOPE_CONTRACT_BOUND_PRODUCTION_RECEIPTS_ABSENT","evaluatedAt":"2026-09-28T12:43:27.742Z","mode":"PURE_TEST_ONLY_SIGNED_HEALTH_ENVELOPE_EVALUATOR_NO_PRODUCTION_VERIFIER_NO_EXTERNAL_EFFECTS","program":{"acceptedKnives":4,"totalKnives":36,"currentKnife":"D05","closeoutCut":17,"remainingIncludingCurrent":32,"remainingAfterAcceptance":31,"d05Accepted":false},"summary":{"upstreamPortContractAvailable":true,"healthEnvelopeContractBound":true,"receiptsRequired":4,"productionReceiptsObserved":0,"productionReceiptsQualified":0,"envelopeFields":24,"healthChecksRequired":24,"productionHealthChecksObserved":0,"fixtureCases":30,"fixtureAssertionsPassed":30,"fixtureAccepted":1,"fixtureDenied":29,"productionVerifierBindings":0,"externalReadsExecuted":0,"externalWritesExecuted":0,"resourcesCreated":0,"provisioningPermitted":false,"decision":"HOLD_PORT_BINDING_QUALIFICATION_UNTIL_FOUR_NON_FIXTURE_SIGNED_HEALTH_RECEIPTS_AND_A_PRODUCTION_VERIFIER_EXIST"},"upstreamPortContract":{"id":"d05-production-ports@1dfd35b4f388-89d645631ead","contentDigest":"sha256:89d645631ead4ca91cb6a4f32ef164d03b9f3b263f8115694020b4ce59ea6207","sourceRevision":"1dfd35b4f388738df724e8f588f00a3841976f6b","productionReady":false,"executable":false},"healthEnvelopeContract":{"id":"d05-port-health-envelope@1dfd35b4f388-f722e4b0f6a7","contentDigest":"sha256:f722e4b0f6a74d49364c2c4856e8c92e20bcd597329af1125845d900a298ccf3","canonicalBytes":9207,"subject":{"schemaVersion":"developer.reits.tech/runner-controller-dossier-store-port-health-envelope-subject/v1","portContractId":"d05-production-ports@1dfd35b4f388-89d645631ead","portContractDigest":"sha256:89d645631ead4ca91cb6a4f32ef164d03b9f3b263f8115694020b4ce59ea6207","sourceRevision":"1dfd35b4f388738df724e8f588f00a3841976f6b","envelopeContract":{"productionInput":null,"receiptsRequired":4,"fieldsRequired":24,"healthChecksPerPort":6,"totalHealthChecks":24,"validitySeconds":300,"maxClockSkewSeconds":30,"signatureAlgorithm":"ECDSA_P256_SHA256","fixtureVerifierOutcome":"TEST_VERIFIED","productionVerifier":null,"requiredFields":["schemaVersion","receiptId","portId","portContractId","portContractDigest","interfaceVersion","implementationId","implementationDigest","configRef","configDigest","deploymentId","deploymentDigest","environment","authority","qualifier","keyRef","challengeId","nonceDigest","healthCheckDigest","issuedAt","expiresAt","revocationRef","signatureAlgorithm","signature"]},"portQualifications":[{"ordinal":1,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","authority":"PLATFORM_SRE","qualifier":"SECURITY","interfaceVersion":"d05.receipt-intake/v1","healthChecks":["APPEND_IS_IMMUTABLE","IDEMPOTENT_REPLAY_RETURNS_IDENTICAL_RECEIPT","DIGEST_COLLISION_DENIES","ORDERED_SNAPSHOT_DIGEST_MATCHES","RESTART_PRESERVES_RECEIPTS","TARGET_D1_IS_NOT_THE_BOOTSTRAP_STORE"],"productionReceipt":null},{"ordinal":2,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","authority":"SECURITY","qualifier":"QA_ARCHITECT","interfaceVersion":"d05.keyref-p256-verifier/v1","healthChecks":["KEYREF_ALLOWLIST_RESOLVES_PUBLIC_KEY","PRIVATE_KEY_EXPORT_IS_IMPOSSIBLE","ECDSA_P256_SHA256_VECTOR_PASSES","TAMPERED_PAYLOAD_VECTOR_DENIES","RAW_SIGNATURE_IS_NOT_LOGGED","VERIFICATION_RECEIPT_DIGEST_MATCHES"],"productionReceipt":null},{"ordinal":3,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","authority":"SECURITY","qualifier":"PLATFORM_SRE","interfaceVersion":"d05.nonce-replay-registry/v1","healthChecks":["CONCURRENT_RESERVATION_HAS_ONE_WINNER","FENCING_EPOCH_IS_MONOTONIC","RESTART_PRESERVES_CONSUMED_STATE","CONSUMED_NONCE_CANNOT_REOPEN","RAW_NONCE_IS_NOT_PERSISTED","TARGET_D1_IS_NOT_THE_BOOTSTRAP_STORE"],"productionReceipt":null},{"ordinal":4,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","authority":"PLATFORM_SRE","qualifier":"QA_ARCHITECT","interfaceVersion":"d05.admission-receipt-projector/v1","healthChecks":["VERIFIED_EVALUATOR_RECEIPT_IS_REQUIRED","ACTIVE_NONCE_RESERVATION_IS_REQUIRED","DUPLICATE_PROJECTION_IS_IDENTICAL","PRIOR_RECEIPT_CANNOT_BE_OVERWRITTEN","DENIAL_EVIDENCE_IS_PRESERVED","PROJECTION_CANNOT_AUTHORIZE_PROVIDER"],"productionReceipt":null}],"fixtureRegistry":[{"ordinal":1,"id":"PHR-001","scenario":"COMPLETE_TEST_ONLY_HEALTH_RECEIPT_SET","expectedCode":"TEST_ONLY_HEALTH_RECEIPTS_QUALIFIED","expectedTerminal":"QUALIFIED_FIXTURE"},{"ordinal":2,"id":"PHR-002","scenario":"UPSTREAM_PORT_CONTRACT_ABSENT","expectedCode":"UPSTREAM_PORT_CONTRACT_UNAVAILABLE","expectedTerminal":"DENIED"},{"ordinal":3,"id":"PHR-003","scenario":"HEALTH_RECEIPT_SET_ABSENT","expectedCode":"HEALTH_RECEIPT_SET_ABSENT","expectedTerminal":"DENIED"},{"ordinal":4,"id":"PHR-004","scenario":"HEALTH_RECEIPT_CARDINALITY_INVALID","expectedCode":"HEALTH_RECEIPT_CARDINALITY_INVALID","expectedTerminal":"DENIED"},{"ordinal":5,"id":"PHR-005","scenario":"PORT_ID_SET_INVALID","expectedCode":"HEALTH_RECEIPT_PORT_SET_INVALID","expectedTerminal":"DENIED"},{"ordinal":6,"id":"PHR-006","scenario":"PORT_ORDER_INVALID","expectedCode":"HEALTH_RECEIPT_ORDER_INVALID","expectedTerminal":"DENIED"},{"ordinal":7,"id":"PHR-007","scenario":"RECEIPT_ID_REUSED","expectedCode":"HEALTH_RECEIPT_ID_REUSED","expectedTerminal":"DENIED"},{"ordinal":8,"id":"PHR-008","scenario":"PORT_CONTRACT_ID_DRIFT","expectedCode":"PORT_CONTRACT_ID_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":9,"id":"PHR-009","scenario":"PORT_CONTRACT_DIGEST_DRIFT","expectedCode":"PORT_CONTRACT_DIGEST_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":10,"id":"PHR-010","scenario":"INTERFACE_VERSION_DRIFT","expectedCode":"PORT_INTERFACE_VERSION_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":11,"id":"PHR-011","scenario":"IMPLEMENTATION_ID_MISSING","expectedCode":"IMPLEMENTATION_ID_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":12,"id":"PHR-012","scenario":"IMPLEMENTATION_DIGEST_MALFORMED","expectedCode":"IMPLEMENTATION_DIGEST_INVALID","expectedTerminal":"DENIED"},{"ordinal":13,"id":"PHR-013","scenario":"CONFIG_REF_MISSING","expectedCode":"CONFIG_REF_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":14,"id":"PHR-014","scenario":"CONFIG_DIGEST_MALFORMED","expectedCode":"CONFIG_DIGEST_INVALID","expectedTerminal":"DENIED"},{"ordinal":15,"id":"PHR-015","scenario":"DEPLOYMENT_ID_MISSING","expectedCode":"DEPLOYMENT_ID_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":16,"id":"PHR-016","scenario":"DEPLOYMENT_DIGEST_MALFORMED","expectedCode":"DEPLOYMENT_DIGEST_INVALID","expectedTerminal":"DENIED"},{"ordinal":17,"id":"PHR-017","scenario":"ENVIRONMENT_NOT_PRODUCTION","expectedCode":"PRODUCTION_ENVIRONMENT_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":18,"id":"PHR-018","scenario":"AUTHORITY_SCOPE_DRIFT","expectedCode":"HEALTH_RECEIPT_AUTHORITY_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":19,"id":"PHR-019","scenario":"QUALIFIER_NOT_INDEPENDENT","expectedCode":"INDEPENDENT_QUALIFIER_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":20,"id":"PHR-020","scenario":"KEYREF_NOT_ALLOWED","expectedCode":"AUTHORITY_KEYREF_INVALID","expectedTerminal":"DENIED"},{"ordinal":21,"id":"PHR-021","scenario":"ALGORITHM_DOWNGRADE","expectedCode":"SIGNATURE_ALGORITHM_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":22,"id":"PHR-022","scenario":"RECEIPT_EXPIRED","expectedCode":"HEALTH_RECEIPT_EXPIRED","expectedTerminal":"DENIED"},{"ordinal":23,"id":"PHR-023","scenario":"RECEIPT_FROM_FUTURE","expectedCode":"HEALTH_RECEIPT_FROM_FUTURE","expectedTerminal":"DENIED"},{"ordinal":24,"id":"PHR-024","scenario":"HEALTH_CHECK_FAILED","expectedCode":"PORT_HEALTH_CHECK_FAILED","expectedTerminal":"DENIED"},{"ordinal":25,"id":"PHR-025","scenario":"HEALTH_CHECK_DIGEST_DRIFT","expectedCode":"HEALTH_CHECK_DIGEST_MISMATCH","expectedTerminal":"DENIED"},{"ordinal":26,"id":"PHR-026","scenario":"RECEIPT_REVOKED","expectedCode":"HEALTH_RECEIPT_REVOKED","expectedTerminal":"DENIED"},{"ordinal":27,"id":"PHR-027","scenario":"SIGNATURE_UNVERIFIED","expectedCode":"HEALTH_RECEIPT_SIGNATURE_UNVERIFIED","expectedTerminal":"DENIED"},{"ordinal":28,"id":"PHR-028","scenario":"NONCE_ALREADY_CONSUMED","expectedCode":"HEALTH_RECEIPT_NONCE_REPLAYED","expectedTerminal":"DENIED"},{"ordinal":29,"id":"PHR-029","scenario":"IMPLEMENTATION_ID_COLLAPSED_ACROSS_PORTS","expectedCode":"PORT_IMPLEMENTATION_SEPARATION_REQUIRED","expectedTerminal":"DENIED"},{"ordinal":30,"id":"PHR-030","scenario":"FIXTURE_RECEIPTS_PRESENTED_AS_PRODUCTION","expectedCode":"PRODUCTION_HEALTH_RECEIPT_VERIFIER_NOT_CONFIGURED","expectedTerminal":"DENIED"}],"decisionCodes":["TEST_ONLY_HEALTH_RECEIPTS_QUALIFIED","UPSTREAM_PORT_CONTRACT_UNAVAILABLE","HEALTH_RECEIPT_SET_ABSENT","HEALTH_RECEIPT_CARDINALITY_INVALID","HEALTH_RECEIPT_PORT_SET_INVALID","HEALTH_RECEIPT_ORDER_INVALID","HEALTH_RECEIPT_ID_REUSED","HEALTH_RECEIPT_FIELDS_INVALID","PORT_CONTRACT_ID_MISMATCH","PORT_CONTRACT_DIGEST_MISMATCH","PORT_INTERFACE_VERSION_MISMATCH","IMPLEMENTATION_ID_REQUIRED","IMPLEMENTATION_DIGEST_INVALID","CONFIG_REF_REQUIRED","CONFIG_DIGEST_INVALID","DEPLOYMENT_ID_REQUIRED","DEPLOYMENT_DIGEST_INVALID","PRODUCTION_ENVIRONMENT_REQUIRED","HEALTH_RECEIPT_AUTHORITY_MISMATCH","INDEPENDENT_QUALIFIER_REQUIRED","AUTHORITY_KEYREF_INVALID","SIGNATURE_ALGORITHM_MISMATCH","HEALTH_RECEIPT_EXPIRED","HEALTH_RECEIPT_FROM_FUTURE","PORT_HEALTH_CHECK_FAILED","HEALTH_CHECK_DIGEST_MISMATCH","HEALTH_RECEIPT_REVOKED","HEALTH_RECEIPT_SIGNATURE_UNVERIFIED","HEALTH_RECEIPT_NONCE_REPLAYED","PORT_IMPLEMENTATION_SEPARATION_REQUIRED","PRODUCTION_HEALTH_RECEIPT_VERIFIER_NOT_CONFIGURED"],"invariants":["PRODUCTION_RECEIPT_INPUT_MUST_NOT_DEFAULT_TO_FIXTURES","FOUR_PORT_RECEIPTS_MUST_BE_UNIQUE_COMPLETE_AND_ORDERED","EACH_RECEIPT_MUST_HAVE_EXACTLY_24_FIELDS","EVERY_RECEIPT_MUST_BIND_THE_EXACT_PORT_CONTRACT","INTERFACE_VERSION_MUST_MATCH_THE_PORT_CONTRACT","IMPLEMENTATION_IDENTITY_MUST_BE_NONEMPTY_AND_CONTENT_ADDRESSED","FOUR_IMPLEMENTATION_IDENTITIES_MUST_REMAIN_SEPARATE","CONFIG_REF_MUST_BE_PRESENT_WITH_A_MATCHING_DIGEST","DEPLOYMENT_IDENTITY_MUST_BE_PRESENT_WITH_A_MATCHING_DIGEST","ENVIRONMENT_MUST_BE_PRODUCTION","AUTHORITY_MUST_MATCH_THE_PORT_OWNER_SCOPE","QUALIFIER_MUST_BE_INDEPENDENT_FROM_THE_AUTHORITY","AUTHORITY_KEYREF_MUST_BE_ALLOWLISTED","ONLY_ECDSA_P256_SHA256_IS_ALLOWED","RECEIPT_VALIDITY_MUST_NOT_EXCEED_300_SECONDS","RECEIPTS_MUST_BE_CURRENT_WITHIN_30_SECONDS_CLOCK_SKEW","ALL_SIX_PORT_HEALTH_CHECKS_MUST_PASS","HEALTH_CHECK_SET_MUST_BE_CONTENT_ADDRESSED","REVOKED_RECEIPTS_MUST_FAIL_CLOSED","CONSUMED_NONCES_MUST_FAIL_CLOSED","RAW_SIGNATURES_PRIVATE_KEYS_AND_NONCES_MUST_NOT_BE_EXPOSED","CALLER_VERIFIED_BOOLEANS_MUST_NOT_AUTHORIZE_PRODUCTION","HEALTH_QUALIFICATION_MUST_NOT_CALL_PORTS_OR_PROVIDER_APIS","HEALTH_ENVELOPE_COMPLETION_MUST_NOT_ACCEPT_D05"]},"productionReady":false,"executable":false},"productionEvaluation":{"code":"HEALTH_RECEIPT_SET_ABSENT","terminal":"DENIED","failedPort":null,"receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},"receiptMatrix":[{"ordinal":1,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","authority":"PLATFORM_SRE","qualifier":"SECURITY","interfaceVersion":"d05.receipt-intake/v1","fieldsRequired":24,"healthChecksRequired":6,"productionReceipt":null,"status":"PRODUCTION_HEALTH_RECEIPT_ABSENT"},{"ordinal":2,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","authority":"SECURITY","qualifier":"QA_ARCHITECT","interfaceVersion":"d05.keyref-p256-verifier/v1","fieldsRequired":24,"healthChecksRequired":6,"productionReceipt":null,"status":"PRODUCTION_HEALTH_RECEIPT_ABSENT"},{"ordinal":3,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","authority":"SECURITY","qualifier":"PLATFORM_SRE","interfaceVersion":"d05.nonce-replay-registry/v1","fieldsRequired":24,"healthChecksRequired":6,"productionReceipt":null,"status":"PRODUCTION_HEALTH_RECEIPT_ABSENT"},{"ordinal":4,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","authority":"PLATFORM_SRE","qualifier":"QA_ARCHITECT","interfaceVersion":"d05.admission-receipt-projector/v1","fieldsRequired":24,"healthChecksRequired":6,"productionReceipt":null,"status":"PRODUCTION_HEALTH_RECEIPT_ABSENT"}],"envelopeFieldMatrix":[{"ordinal":1,"field":"schemaVersion","classification":"IDENTITY_BINDING","observed":false},{"ordinal":2,"field":"receiptId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":3,"field":"portId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":4,"field":"portContractId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":5,"field":"portContractDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":6,"field":"interfaceVersion","classification":"IDENTITY_BINDING","observed":false},{"ordinal":7,"field":"implementationId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":8,"field":"implementationDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":9,"field":"configRef","classification":"IDENTITY_BINDING","observed":false},{"ordinal":10,"field":"configDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":11,"field":"deploymentId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":12,"field":"deploymentDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":13,"field":"environment","classification":"IDENTITY_BINDING","observed":false},{"ordinal":14,"field":"authority","classification":"AUTHORITY_BINDING","observed":false},{"ordinal":15,"field":"qualifier","classification":"AUTHORITY_BINDING","observed":false},{"ordinal":16,"field":"keyRef","classification":"SIGNATURE_BINDING","observed":false},{"ordinal":17,"field":"challengeId","classification":"IDENTITY_BINDING","observed":false},{"ordinal":18,"field":"nonceDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":19,"field":"healthCheckDigest","classification":"DIGEST_BINDING","observed":false},{"ordinal":20,"field":"issuedAt","classification":"TIME_BINDING","observed":false},{"ordinal":21,"field":"expiresAt","classification":"TIME_BINDING","observed":false},{"ordinal":22,"field":"revocationRef","classification":"IDENTITY_BINDING","observed":false},{"ordinal":23,"field":"signatureAlgorithm","classification":"SIGNATURE_BINDING","observed":false},{"ordinal":24,"field":"signature","classification":"SIGNATURE_BINDING","observed":false}],"healthCheckMatrix":[{"ordinal":1,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","check":"APPEND_IS_IMMUTABLE","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":2,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","check":"IDEMPOTENT_REPLAY_RETURNS_IDENTICAL_RECEIPT","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":3,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","check":"DIGEST_COLLISION_DENIES","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":4,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","check":"ORDERED_SNAPSHOT_DIGEST_MATCHES","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":5,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","check":"RESTART_PRESERVES_RECEIPTS","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":6,"portId":"PORT-01","portName":"ImmutableReceiptIntakePort","check":"TARGET_D1_IS_NOT_THE_BOOTSTRAP_STORE","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":1,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","check":"KEYREF_ALLOWLIST_RESOLVES_PUBLIC_KEY","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":2,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","check":"PRIVATE_KEY_EXPORT_IS_IMPOSSIBLE","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":3,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","check":"ECDSA_P256_SHA256_VECTOR_PASSES","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":4,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","check":"TAMPERED_PAYLOAD_VECTOR_DENIES","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":5,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","check":"RAW_SIGNATURE_IS_NOT_LOGGED","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":6,"portId":"PORT-02","portName":"KeyRefP256VerificationPort","check":"VERIFICATION_RECEIPT_DIGEST_MATCHES","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":1,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","check":"CONCURRENT_RESERVATION_HAS_ONE_WINNER","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":2,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","check":"FENCING_EPOCH_IS_MONOTONIC","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":3,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","check":"RESTART_PRESERVES_CONSUMED_STATE","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":4,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","check":"CONSUMED_NONCE_CANNOT_REOPEN","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":5,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","check":"RAW_NONCE_IS_NOT_PERSISTED","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":6,"portId":"PORT-03","portName":"DurableNonceReplayRegistryPort","check":"TARGET_D1_IS_NOT_THE_BOOTSTRAP_STORE","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":1,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","check":"VERIFIED_EVALUATOR_RECEIPT_IS_REQUIRED","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":2,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","check":"ACTIVE_NONCE_RESERVATION_IS_REQUIRED","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":3,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","check":"DUPLICATE_PROJECTION_IS_IDENTICAL","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":4,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","check":"PRIOR_RECEIPT_CANNOT_BE_OVERWRITTEN","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":5,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","check":"DENIAL_EVIDENCE_IS_PRESERVED","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"},{"ordinal":6,"portId":"PORT-04","portName":"AdmissionReceiptProjectionPort","check":"PROJECTION_CANNOT_AUTHORIZE_PROVIDER","productionOutcome":null,"evidenceDigest":null,"status":"PRODUCTION_EVIDENCE_ABSENT"}],"fixtureResults":[{"ordinal":1,"id":"PHR-001","scenario":"COMPLETE_TEST_ONLY_HEALTH_RECEIPT_SET","expectedCode":"TEST_ONLY_HEALTH_RECEIPTS_QUALIFIED","actualCode":"TEST_ONLY_HEALTH_RECEIPTS_QUALIFIED","terminal":"QUALIFIED_FIXTURE","passed":true,"failedPort":null,"receiptsVerified":4,"healthChecksVerified":24,"productionQualified":false},{"ordinal":2,"id":"PHR-002","scenario":"UPSTREAM_PORT_CONTRACT_ABSENT","expectedCode":"UPSTREAM_PORT_CONTRACT_UNAVAILABLE","actualCode":"UPSTREAM_PORT_CONTRACT_UNAVAILABLE","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":3,"id":"PHR-003","scenario":"HEALTH_RECEIPT_SET_ABSENT","expectedCode":"HEALTH_RECEIPT_SET_ABSENT","actualCode":"HEALTH_RECEIPT_SET_ABSENT","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":4,"id":"PHR-004","scenario":"HEALTH_RECEIPT_CARDINALITY_INVALID","expectedCode":"HEALTH_RECEIPT_CARDINALITY_INVALID","actualCode":"HEALTH_RECEIPT_CARDINALITY_INVALID","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":5,"id":"PHR-005","scenario":"PORT_ID_SET_INVALID","expectedCode":"HEALTH_RECEIPT_PORT_SET_INVALID","actualCode":"HEALTH_RECEIPT_PORT_SET_INVALID","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":6,"id":"PHR-006","scenario":"PORT_ORDER_INVALID","expectedCode":"HEALTH_RECEIPT_ORDER_INVALID","actualCode":"HEALTH_RECEIPT_ORDER_INVALID","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":7,"id":"PHR-007","scenario":"RECEIPT_ID_REUSED","expectedCode":"HEALTH_RECEIPT_ID_REUSED","actualCode":"HEALTH_RECEIPT_ID_REUSED","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":8,"id":"PHR-008","scenario":"PORT_CONTRACT_ID_DRIFT","expectedCode":"PORT_CONTRACT_ID_MISMATCH","actualCode":"PORT_CONTRACT_ID_MISMATCH","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":9,"id":"PHR-009","scenario":"PORT_CONTRACT_DIGEST_DRIFT","expectedCode":"PORT_CONTRACT_DIGEST_MISMATCH","actualCode":"PORT_CONTRACT_DIGEST_MISMATCH","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":10,"id":"PHR-010","scenario":"INTERFACE_VERSION_DRIFT","expectedCode":"PORT_INTERFACE_VERSION_MISMATCH","actualCode":"PORT_INTERFACE_VERSION_MISMATCH","terminal":"DENIED","passed":true,"failedPort":"PORT-02","receiptsVerified":1,"healthChecksVerified":6,"productionQualified":false},{"ordinal":11,"id":"PHR-011","scenario":"IMPLEMENTATION_ID_MISSING","expectedCode":"IMPLEMENTATION_ID_REQUIRED","actualCode":"IMPLEMENTATION_ID_REQUIRED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":12,"id":"PHR-012","scenario":"IMPLEMENTATION_DIGEST_MALFORMED","expectedCode":"IMPLEMENTATION_DIGEST_INVALID","actualCode":"IMPLEMENTATION_DIGEST_INVALID","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":13,"id":"PHR-013","scenario":"CONFIG_REF_MISSING","expectedCode":"CONFIG_REF_REQUIRED","actualCode":"CONFIG_REF_REQUIRED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":14,"id":"PHR-014","scenario":"CONFIG_DIGEST_MALFORMED","expectedCode":"CONFIG_DIGEST_INVALID","actualCode":"CONFIG_DIGEST_INVALID","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":15,"id":"PHR-015","scenario":"DEPLOYMENT_ID_MISSING","expectedCode":"DEPLOYMENT_ID_REQUIRED","actualCode":"DEPLOYMENT_ID_REQUIRED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":16,"id":"PHR-016","scenario":"DEPLOYMENT_DIGEST_MALFORMED","expectedCode":"DEPLOYMENT_DIGEST_INVALID","actualCode":"DEPLOYMENT_DIGEST_INVALID","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":17,"id":"PHR-017","scenario":"ENVIRONMENT_NOT_PRODUCTION","expectedCode":"PRODUCTION_ENVIRONMENT_REQUIRED","actualCode":"PRODUCTION_ENVIRONMENT_REQUIRED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":18,"id":"PHR-018","scenario":"AUTHORITY_SCOPE_DRIFT","expectedCode":"HEALTH_RECEIPT_AUTHORITY_MISMATCH","actualCode":"HEALTH_RECEIPT_AUTHORITY_MISMATCH","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":19,"id":"PHR-019","scenario":"QUALIFIER_NOT_INDEPENDENT","expectedCode":"INDEPENDENT_QUALIFIER_REQUIRED","actualCode":"INDEPENDENT_QUALIFIER_REQUIRED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":20,"id":"PHR-020","scenario":"KEYREF_NOT_ALLOWED","expectedCode":"AUTHORITY_KEYREF_INVALID","actualCode":"AUTHORITY_KEYREF_INVALID","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":21,"id":"PHR-021","scenario":"ALGORITHM_DOWNGRADE","expectedCode":"SIGNATURE_ALGORITHM_MISMATCH","actualCode":"SIGNATURE_ALGORITHM_MISMATCH","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":22,"id":"PHR-022","scenario":"RECEIPT_EXPIRED","expectedCode":"HEALTH_RECEIPT_EXPIRED","actualCode":"HEALTH_RECEIPT_EXPIRED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":23,"id":"PHR-023","scenario":"RECEIPT_FROM_FUTURE","expectedCode":"HEALTH_RECEIPT_FROM_FUTURE","actualCode":"HEALTH_RECEIPT_FROM_FUTURE","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":24,"id":"PHR-024","scenario":"HEALTH_CHECK_FAILED","expectedCode":"PORT_HEALTH_CHECK_FAILED","actualCode":"PORT_HEALTH_CHECK_FAILED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":25,"id":"PHR-025","scenario":"HEALTH_CHECK_DIGEST_DRIFT","expectedCode":"HEALTH_CHECK_DIGEST_MISMATCH","actualCode":"HEALTH_CHECK_DIGEST_MISMATCH","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":26,"id":"PHR-026","scenario":"RECEIPT_REVOKED","expectedCode":"HEALTH_RECEIPT_REVOKED","actualCode":"HEALTH_RECEIPT_REVOKED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":27,"id":"PHR-027","scenario":"SIGNATURE_UNVERIFIED","expectedCode":"HEALTH_RECEIPT_SIGNATURE_UNVERIFIED","actualCode":"HEALTH_RECEIPT_SIGNATURE_UNVERIFIED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":28,"id":"PHR-028","scenario":"NONCE_ALREADY_CONSUMED","expectedCode":"HEALTH_RECEIPT_NONCE_REPLAYED","actualCode":"HEALTH_RECEIPT_NONCE_REPLAYED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},{"ordinal":29,"id":"PHR-029","scenario":"IMPLEMENTATION_ID_COLLAPSED_ACROSS_PORTS","expectedCode":"PORT_IMPLEMENTATION_SEPARATION_REQUIRED","actualCode":"PORT_IMPLEMENTATION_SEPARATION_REQUIRED","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":4,"healthChecksVerified":24,"productionQualified":false},{"ordinal":30,"id":"PHR-030","scenario":"FIXTURE_RECEIPTS_PRESENTED_AS_PRODUCTION","expectedCode":"PRODUCTION_HEALTH_RECEIPT_VERIFIER_NOT_CONFIGURED","actualCode":"PRODUCTION_HEALTH_RECEIPT_VERIFIER_NOT_CONFIGURED","terminal":"DENIED","passed":true,"failedPort":null,"receiptsVerified":4,"healthChecksVerified":24,"productionQualified":false}],"selectedDenialTrace":{"ordinal":19,"id":"PHR-019","scenario":"QUALIFIER_NOT_INDEPENDENT","expectedCode":"INDEPENDENT_QUALIFIER_REQUIRED","actualCode":"INDEPENDENT_QUALIFIER_REQUIRED","terminal":"DENIED","passed":true,"failedPort":"PORT-01","receiptsVerified":0,"healthChecksVerified":0,"productionQualified":false},"decisionCodes":["TEST_ONLY_HEALTH_RECEIPTS_QUALIFIED","UPSTREAM_PORT_CONTRACT_UNAVAILABLE","HEALTH_RECEIPT_SET_ABSENT","HEALTH_RECEIPT_CARDINALITY_INVALID","HEALTH_RECEIPT_PORT_SET_INVALID","HEALTH_RECEIPT_ORDER_INVALID","HEALTH_RECEIPT_ID_REUSED","HEALTH_RECEIPT_FIELDS_INVALID","PORT_CONTRACT_ID_MISMATCH","PORT_CONTRACT_DIGEST_MISMATCH","PORT_INTERFACE_VERSION_MISMATCH","IMPLEMENTATION_ID_REQUIRED","IMPLEMENTATION_DIGEST_INVALID","CONFIG_REF_REQUIRED","CONFIG_DIGEST_INVALID","DEPLOYMENT_ID_REQUIRED","DEPLOYMENT_DIGEST_INVALID","PRODUCTION_ENVIRONMENT_REQUIRED","HEALTH_RECEIPT_AUTHORITY_MISMATCH","INDEPENDENT_QUALIFIER_REQUIRED","AUTHORITY_KEYREF_INVALID","SIGNATURE_ALGORITHM_MISMATCH","HEALTH_RECEIPT_EXPIRED","HEALTH_RECEIPT_FROM_FUTURE","PORT_HEALTH_CHECK_FAILED","HEALTH_CHECK_DIGEST_MISMATCH","HEALTH_RECEIPT_REVOKED","HEALTH_RECEIPT_SIGNATURE_UNVERIFIED","HEALTH_RECEIPT_NONCE_REPLAYED","PORT_IMPLEMENTATION_SEPARATION_REQUIRED","PRODUCTION_HEALTH_RECEIPT_VERIFIER_NOT_CONFIGURED"],"invariants":["PRODUCTION_RECEIPT_INPUT_MUST_NOT_DEFAULT_TO_FIXTURES","FOUR_PORT_RECEIPTS_MUST_BE_UNIQUE_COMPLETE_AND_ORDERED","EACH_RECEIPT_MUST_HAVE_EXACTLY_24_FIELDS","EVERY_RECEIPT_MUST_BIND_THE_EXACT_PORT_CONTRACT","INTERFACE_VERSION_MUST_MATCH_THE_PORT_CONTRACT","IMPLEMENTATION_IDENTITY_MUST_BE_NONEMPTY_AND_CONTENT_ADDRESSED","FOUR_IMPLEMENTATION_IDENTITIES_MUST_REMAIN_SEPARATE","CONFIG_REF_MUST_BE_PRESENT_WITH_A_MATCHING_DIGEST","DEPLOYMENT_IDENTITY_MUST_BE_PRESENT_WITH_A_MATCHING_DIGEST","ENVIRONMENT_MUST_BE_PRODUCTION","AUTHORITY_MUST_MATCH_THE_PORT_OWNER_SCOPE","QUALIFIER_MUST_BE_INDEPENDENT_FROM_THE_AUTHORITY","AUTHORITY_KEYREF_MUST_BE_ALLOWLISTED","ONLY_ECDSA_P256_SHA256_IS_ALLOWED","RECEIPT_VALIDITY_MUST_NOT_EXCEED_300_SECONDS","RECEIPTS_MUST_BE_CURRENT_WITHIN_30_SECONDS_CLOCK_SKEW","ALL_SIX_PORT_HEALTH_CHECKS_MUST_PASS","HEALTH_CHECK_SET_MUST_BE_CONTENT_ADDRESSED","REVOKED_RECEIPTS_MUST_FAIL_CLOSED","CONSUMED_NONCES_MUST_FAIL_CLOSED","RAW_SIGNATURES_PRIVATE_KEYS_AND_NONCES_MUST_NOT_BE_EXPOSED","CALLER_VERIFIED_BOOLEANS_MUST_NOT_AUTHORIZE_PRODUCTION","HEALTH_QUALIFICATION_MUST_NOT_CALL_PORTS_OR_PROVIDER_APIS","HEALTH_ENVELOPE_COMPLETION_MUST_NOT_ACCEPT_D05"],"safetyTruth":{"receiptsRequired":4,"productionReceiptsObserved":0,"productionReceiptsQualified":0,"productionVerifierBindings":0,"healthChecksRequired":24,"productionHealthChecksObserved":0,"fixtureCases":30,"fixtureAccepted":1,"fixtureDenied":29,"fixtureAssertionsPassed":30,"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-port-health-receipts","schema":"/schemas/runner-controller-dossier-store-port-health-receipts.v1.schema.json","portContracts":"/api/runner-controller/dossier-store-production-port-contracts","evaluator":"/api/runner-controller/dossier-store-provisioning-evaluator","liveIdentity":"/api/release-unit"}}