@allocator-one/rcl 4.4.19
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +1415 -0
- package/dist/ci.d.ts +16 -0
- package/dist/ci.js +42 -0
- package/dist/ci.js.map +1 -0
- package/dist/config/data-dir.d.ts +6 -0
- package/dist/config/data-dir.js +12 -0
- package/dist/config/data-dir.js.map +1 -0
- package/dist/config/defaults.d.ts +82 -0
- package/dist/config/defaults.js +89 -0
- package/dist/config/defaults.js.map +1 -0
- package/dist/config/harness.d.ts +40 -0
- package/dist/config/harness.js +151 -0
- package/dist/config/harness.js.map +1 -0
- package/dist/config/loader.d.ts +13 -0
- package/dist/config/loader.js +131 -0
- package/dist/config/loader.js.map +1 -0
- package/dist/config/provider-concurrency.d.ts +4 -0
- package/dist/config/provider-concurrency.js +6 -0
- package/dist/config/provider-concurrency.js.map +1 -0
- package/dist/config/providers.d.ts +3 -0
- package/dist/config/providers.js +9 -0
- package/dist/config/providers.js.map +1 -0
- package/dist/config/schema.d.ts +179 -0
- package/dist/config/schema.js +115 -0
- package/dist/config/schema.js.map +1 -0
- package/dist/consensus/claim-contract.d.ts +9 -0
- package/dist/consensus/claim-contract.js +307 -0
- package/dist/consensus/claim-contract.js.map +1 -0
- package/dist/consensus/claim-identity.d.ts +5 -0
- package/dist/consensus/claim-identity.js +39 -0
- package/dist/consensus/claim-identity.js.map +1 -0
- package/dist/consensus/deduper.d.ts +43 -0
- package/dist/consensus/deduper.js +1052 -0
- package/dist/consensus/deduper.js.map +1 -0
- package/dist/consensus/finding-identity.d.ts +20 -0
- package/dist/consensus/finding-identity.js +49 -0
- package/dist/consensus/finding-identity.js.map +1 -0
- package/dist/consensus/gating.d.ts +215 -0
- package/dist/consensus/gating.js +699 -0
- package/dist/consensus/gating.js.map +1 -0
- package/dist/consensus/parser.d.ts +22 -0
- package/dist/consensus/parser.js +255 -0
- package/dist/consensus/parser.js.map +1 -0
- package/dist/consensus/semantic-deduper.d.ts +10 -0
- package/dist/consensus/semantic-deduper.js +70 -0
- package/dist/consensus/semantic-deduper.js.map +1 -0
- package/dist/consensus/types.d.ts +196 -0
- package/dist/consensus/types.js +2 -0
- package/dist/consensus/types.js.map +1 -0
- package/dist/consensus/verification-contract.d.ts +8 -0
- package/dist/consensus/verification-contract.js +95 -0
- package/dist/consensus/verification-contract.js.map +1 -0
- package/dist/consensus/voter.d.ts +29 -0
- package/dist/consensus/voter.js +394 -0
- package/dist/consensus/voter.js.map +1 -0
- package/dist/converge/attempt-budget.d.ts +88 -0
- package/dist/converge/attempt-budget.js +717 -0
- package/dist/converge/attempt-budget.js.map +1 -0
- package/dist/converge/bound-fix-recovery-source.d.ts +24 -0
- package/dist/converge/bound-fix-recovery-source.js +25 -0
- package/dist/converge/bound-fix-recovery-source.js.map +1 -0
- package/dist/converge/bound-fix-recovery.d.ts +15 -0
- package/dist/converge/bound-fix-recovery.js +65 -0
- package/dist/converge/bound-fix-recovery.js.map +1 -0
- package/dist/converge/correction-anchors.d.ts +1 -0
- package/dist/converge/correction-anchors.js +2 -0
- package/dist/converge/correction-anchors.js.map +1 -0
- package/dist/converge/cycle-remote.d.ts +6 -0
- package/dist/converge/cycle-remote.js +41 -0
- package/dist/converge/cycle-remote.js.map +1 -0
- package/dist/converge/delivery-reconciliation.d.ts +17 -0
- package/dist/converge/delivery-reconciliation.js +53 -0
- package/dist/converge/delivery-reconciliation.js.map +1 -0
- package/dist/converge/finding-identity.d.ts +6 -0
- package/dist/converge/finding-identity.js +7 -0
- package/dist/converge/finding-identity.js.map +1 -0
- package/dist/converge/fresh-review.d.ts +37 -0
- package/dist/converge/fresh-review.js +351 -0
- package/dist/converge/fresh-review.js.map +1 -0
- package/dist/converge/launch-guard.d.ts +55 -0
- package/dist/converge/launch-guard.js +363 -0
- package/dist/converge/launch-guard.js.map +1 -0
- package/dist/converge/launch-preflight.d.ts +5 -0
- package/dist/converge/launch-preflight.js +41 -0
- package/dist/converge/launch-preflight.js.map +1 -0
- package/dist/converge/launch-record.d.ts +136 -0
- package/dist/converge/launch-record.js +86 -0
- package/dist/converge/launch-record.js.map +1 -0
- package/dist/converge/legacy-launch-health.d.ts +311 -0
- package/dist/converge/legacy-launch-health.js +159 -0
- package/dist/converge/legacy-launch-health.js.map +1 -0
- package/dist/converge/legacy-roster.d.ts +29 -0
- package/dist/converge/legacy-roster.js +268 -0
- package/dist/converge/legacy-roster.js.map +1 -0
- package/dist/converge/native-lock.d.ts +18 -0
- package/dist/converge/native-lock.js +122 -0
- package/dist/converge/native-lock.js.map +1 -0
- package/dist/converge/ordinary-pending-export.d.ts +67 -0
- package/dist/converge/ordinary-pending-export.js +175 -0
- package/dist/converge/ordinary-pending-export.js.map +1 -0
- package/dist/converge/ordinary-pending-package.d.ts +28 -0
- package/dist/converge/ordinary-pending-package.js +36 -0
- package/dist/converge/ordinary-pending-package.js.map +1 -0
- package/dist/converge/pending-legacy-resume.d.ts +119 -0
- package/dist/converge/pending-legacy-resume.js +720 -0
- package/dist/converge/pending-legacy-resume.js.map +1 -0
- package/dist/converge/pending-recovery-source.d.ts +131 -0
- package/dist/converge/pending-recovery-source.js +71 -0
- package/dist/converge/pending-recovery-source.js.map +1 -0
- package/dist/converge/recovery-launch.d.ts +66 -0
- package/dist/converge/recovery-launch.js +518 -0
- package/dist/converge/recovery-launch.js.map +1 -0
- package/dist/converge/retained-report.d.ts +29 -0
- package/dist/converge/retained-report.js +218 -0
- package/dist/converge/retained-report.js.map +1 -0
- package/dist/converge/retry-source.d.ts +25 -0
- package/dist/converge/retry-source.js +13 -0
- package/dist/converge/retry-source.js.map +1 -0
- package/dist/converge/review-cycle.d.ts +49 -0
- package/dist/converge/review-cycle.js +26 -0
- package/dist/converge/review-cycle.js.map +1 -0
- package/dist/converge/round-gap-schema.d.ts +66 -0
- package/dist/converge/round-gap-schema.js +51 -0
- package/dist/converge/round-gap-schema.js.map +1 -0
- package/dist/converge/round-gap.d.ts +38 -0
- package/dist/converge/round-gap.js +334 -0
- package/dist/converge/round-gap.js.map +1 -0
- package/dist/converge/run-state.d.ts +224 -0
- package/dist/converge/run-state.js +564 -0
- package/dist/converge/run-state.js.map +1 -0
- package/dist/converge/stale-report-schema.d.ts +42 -0
- package/dist/converge/stale-report-schema.js +79 -0
- package/dist/converge/stale-report-schema.js.map +1 -0
- package/dist/converge/stale-report-storage.d.ts +47 -0
- package/dist/converge/stale-report-storage.js +172 -0
- package/dist/converge/stale-report-storage.js.map +1 -0
- package/dist/converge/stale-report.d.ts +14 -0
- package/dist/converge/stale-report.js +213 -0
- package/dist/converge/stale-report.js.map +1 -0
- package/dist/converge/target-ownership.d.ts +29 -0
- package/dist/converge/target-ownership.js +95 -0
- package/dist/converge/target-ownership.js.map +1 -0
- package/dist/converge/terminal-rejection-schema.d.ts +42 -0
- package/dist/converge/terminal-rejection-schema.js +39 -0
- package/dist/converge/terminal-rejection-schema.js.map +1 -0
- package/dist/converge/terminal-rejection.d.ts +13 -0
- package/dist/converge/terminal-rejection.js +275 -0
- package/dist/converge/terminal-rejection.js.map +1 -0
- package/dist/coordination/registry-lock.d.ts +82 -0
- package/dist/coordination/registry-lock.js +498 -0
- package/dist/coordination/registry-lock.js.map +1 -0
- package/dist/discuss.d.ts +53 -0
- package/dist/discuss.js +112 -0
- package/dist/discuss.js.map +1 -0
- package/dist/dispatch/adapter.d.ts +32 -0
- package/dist/dispatch/adapter.js +2 -0
- package/dist/dispatch/adapter.js.map +1 -0
- package/dist/dispatch/anthropic.d.ts +10 -0
- package/dist/dispatch/anthropic.js +235 -0
- package/dist/dispatch/anthropic.js.map +1 -0
- package/dist/dispatch/async-lane.d.ts +127 -0
- package/dist/dispatch/async-lane.js +414 -0
- package/dist/dispatch/async-lane.js.map +1 -0
- package/dist/dispatch/capture-council.d.ts +63 -0
- package/dist/dispatch/capture-council.js +137 -0
- package/dist/dispatch/capture-council.js.map +1 -0
- package/dist/dispatch/captured-async.d.ts +67 -0
- package/dist/dispatch/captured-async.js +40 -0
- package/dist/dispatch/captured-async.js.map +1 -0
- package/dist/dispatch/captured-inputs.d.ts +50 -0
- package/dist/dispatch/captured-inputs.js +190 -0
- package/dist/dispatch/captured-inputs.js.map +1 -0
- package/dist/dispatch/checkpoint-async-context.d.ts +27 -0
- package/dist/dispatch/checkpoint-async-context.js +51 -0
- package/dist/dispatch/checkpoint-async-context.js.map +1 -0
- package/dist/dispatch/checkpoint-async-execution.d.ts +22 -0
- package/dist/dispatch/checkpoint-async-execution.js +130 -0
- package/dist/dispatch/checkpoint-async-execution.js.map +1 -0
- package/dist/dispatch/checkpoint-async-store.d.ts +134 -0
- package/dist/dispatch/checkpoint-async-store.js +534 -0
- package/dist/dispatch/checkpoint-async-store.js.map +1 -0
- package/dist/dispatch/checkpoint-async-unknown.d.ts +19 -0
- package/dist/dispatch/checkpoint-async-unknown.js +46 -0
- package/dist/dispatch/checkpoint-async-unknown.js.map +1 -0
- package/dist/dispatch/checkpoint-async.d.ts +252 -0
- package/dist/dispatch/checkpoint-async.js +270 -0
- package/dist/dispatch/checkpoint-async.js.map +1 -0
- package/dist/dispatch/checkpoint-gating-execution.d.ts +26 -0
- package/dist/dispatch/checkpoint-gating-execution.js +84 -0
- package/dist/dispatch/checkpoint-gating-execution.js.map +1 -0
- package/dist/dispatch/checkpoint-phase-limits.d.ts +5 -0
- package/dist/dispatch/checkpoint-phase-limits.js +11 -0
- package/dist/dispatch/checkpoint-phase-limits.js.map +1 -0
- package/dist/dispatch/checkpoint-verification-context.d.ts +15 -0
- package/dist/dispatch/checkpoint-verification-context.js +48 -0
- package/dist/dispatch/checkpoint-verification-context.js.map +1 -0
- package/dist/dispatch/checkpoint-verification.d.ts +213 -0
- package/dist/dispatch/checkpoint-verification.js +381 -0
- package/dist/dispatch/checkpoint-verification.js.map +1 -0
- package/dist/dispatch/checkpoint.d.ts +329 -0
- package/dist/dispatch/checkpoint.js +1418 -0
- package/dist/dispatch/checkpoint.js.map +1 -0
- package/dist/dispatch/google.d.ts +10 -0
- package/dist/dispatch/google.js +158 -0
- package/dist/dispatch/google.js.map +1 -0
- package/dist/dispatch/late-audit.d.ts +23 -0
- package/dist/dispatch/late-audit.js +133 -0
- package/dist/dispatch/late-audit.js.map +1 -0
- package/dist/dispatch/merge.d.ts +29 -0
- package/dist/dispatch/merge.js +112 -0
- package/dist/dispatch/merge.js.map +1 -0
- package/dist/dispatch/openai-compat.d.ts +30 -0
- package/dist/dispatch/openai-compat.js +166 -0
- package/dist/dispatch/openai-compat.js.map +1 -0
- package/dist/dispatch/openai.d.ts +10 -0
- package/dist/dispatch/openai.js +159 -0
- package/dist/dispatch/openai.js.map +1 -0
- package/dist/dispatch/original-execution.d.ts +30 -0
- package/dist/dispatch/original-execution.js +91 -0
- package/dist/dispatch/original-execution.js.map +1 -0
- package/dist/dispatch/original-launch.d.ts +37 -0
- package/dist/dispatch/original-launch.js +117 -0
- package/dist/dispatch/original-launch.js.map +1 -0
- package/dist/dispatch/quorum.d.ts +15 -0
- package/dist/dispatch/quorum.js +33 -0
- package/dist/dispatch/quorum.js.map +1 -0
- package/dist/dispatch/recovery-operation.d.ts +44 -0
- package/dist/dispatch/recovery-operation.js +146 -0
- package/dist/dispatch/recovery-operation.js.map +1 -0
- package/dist/dispatch/recovery-policy.d.ts +54 -0
- package/dist/dispatch/recovery-policy.js +157 -0
- package/dist/dispatch/recovery-policy.js.map +1 -0
- package/dist/dispatch/recovery.d.ts +78 -0
- package/dist/dispatch/recovery.js +299 -0
- package/dist/dispatch/recovery.js.map +1 -0
- package/dist/dispatch/retained-async.d.ts +13 -0
- package/dist/dispatch/retained-async.js +101 -0
- package/dist/dispatch/retained-async.js.map +1 -0
- package/dist/dispatch/reviewer-identity.d.ts +10 -0
- package/dist/dispatch/reviewer-identity.js +19 -0
- package/dist/dispatch/reviewer-identity.js.map +1 -0
- package/dist/dispatch/runner.d.ts +76 -0
- package/dist/dispatch/runner.js +415 -0
- package/dist/dispatch/runner.js.map +1 -0
- package/dist/dispatch/utils.d.ts +159 -0
- package/dist/dispatch/utils.js +381 -0
- package/dist/dispatch/utils.js.map +1 -0
- package/dist/dispatch/verification-execution.d.ts +48 -0
- package/dist/dispatch/verification-execution.js +252 -0
- package/dist/dispatch/verification-execution.js.map +1 -0
- package/dist/dispatch/verification-late-audit.d.ts +17 -0
- package/dist/dispatch/verification-late-audit.js +117 -0
- package/dist/dispatch/verification-late-audit.js.map +1 -0
- package/dist/evidence/claim-recovery/authenticated-carrier-projection.d.ts +30 -0
- package/dist/evidence/claim-recovery/authenticated-carrier-projection.js +100 -0
- package/dist/evidence/claim-recovery/authenticated-carrier-projection.js.map +1 -0
- package/dist/evidence/claim-recovery/authenticated-receipts.d.ts +46 -0
- package/dist/evidence/claim-recovery/authenticated-receipts.js +120 -0
- package/dist/evidence/claim-recovery/authenticated-receipts.js.map +1 -0
- package/dist/evidence/claim-recovery/carrier-inventory.d.ts +49 -0
- package/dist/evidence/claim-recovery/carrier-inventory.js +340 -0
- package/dist/evidence/claim-recovery/carrier-inventory.js.map +1 -0
- package/dist/evidence/claim-recovery/claim-index.d.ts +12 -0
- package/dist/evidence/claim-recovery/claim-index.js +56 -0
- package/dist/evidence/claim-recovery/claim-index.js.map +1 -0
- package/dist/evidence/claim-recovery/confirmation.d.ts +53 -0
- package/dist/evidence/claim-recovery/confirmation.js +151 -0
- package/dist/evidence/claim-recovery/confirmation.js.map +1 -0
- package/dist/evidence/claim-recovery/context.d.ts +15 -0
- package/dist/evidence/claim-recovery/context.js +40 -0
- package/dist/evidence/claim-recovery/context.js.map +1 -0
- package/dist/evidence/claim-recovery/proof-storage.d.ts +6 -0
- package/dist/evidence/claim-recovery/proof-storage.js +97 -0
- package/dist/evidence/claim-recovery/proof-storage.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/anchors.d.ts +20 -0
- package/dist/evidence/claim-recovery/validation/anchors.js +22 -0
- package/dist/evidence/claim-recovery/validation/anchors.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/carrier-projection.d.ts +9 -0
- package/dist/evidence/claim-recovery/validation/carrier-projection.js +364 -0
- package/dist/evidence/claim-recovery/validation/carrier-projection.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/carrier-types.d.ts +83 -0
- package/dist/evidence/claim-recovery/validation/carrier-types.js +2 -0
- package/dist/evidence/claim-recovery/validation/carrier-types.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/claim-split.d.ts +57 -0
- package/dist/evidence/claim-recovery/validation/claim-split.js +209 -0
- package/dist/evidence/claim-recovery/validation/claim-split.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/claims.d.ts +20 -0
- package/dist/evidence/claim-recovery/validation/claims.js +108 -0
- package/dist/evidence/claim-recovery/validation/claims.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/current-projection.d.ts +36 -0
- package/dist/evidence/claim-recovery/validation/current-projection.js +424 -0
- package/dist/evidence/claim-recovery/validation/current-projection.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/lexical.d.ts +18 -0
- package/dist/evidence/claim-recovery/validation/lexical.js +91 -0
- package/dist/evidence/claim-recovery/validation/lexical.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/materials.d.ts +19 -0
- package/dist/evidence/claim-recovery/validation/materials.js +160 -0
- package/dist/evidence/claim-recovery/validation/materials.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/native-material.d.ts +27 -0
- package/dist/evidence/claim-recovery/validation/native-material.js +35 -0
- package/dist/evidence/claim-recovery/validation/native-material.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/native-occurrences.d.ts +79 -0
- package/dist/evidence/claim-recovery/validation/native-occurrences.js +187 -0
- package/dist/evidence/claim-recovery/validation/native-occurrences.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/native-state.d.ts +45 -0
- package/dist/evidence/claim-recovery/validation/native-state.js +385 -0
- package/dist/evidence/claim-recovery/validation/native-state.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/obligations.d.ts +15 -0
- package/dist/evidence/claim-recovery/validation/obligations.js +65 -0
- package/dist/evidence/claim-recovery/validation/obligations.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/occurrence-source.d.ts +45 -0
- package/dist/evidence/claim-recovery/validation/occurrence-source.js +208 -0
- package/dist/evidence/claim-recovery/validation/occurrence-source.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/occurrence-types.d.ts +101 -0
- package/dist/evidence/claim-recovery/validation/occurrence-types.js +2 -0
- package/dist/evidence/claim-recovery/validation/occurrence-types.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/occurrence.d.ts +30 -0
- package/dist/evidence/claim-recovery/validation/occurrence.js +227 -0
- package/dist/evidence/claim-recovery/validation/occurrence.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/primitives.d.ts +11 -0
- package/dist/evidence/claim-recovery/validation/primitives.js +41 -0
- package/dist/evidence/claim-recovery/validation/primitives.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/receipts.d.ts +37 -0
- package/dist/evidence/claim-recovery/validation/receipts.js +83 -0
- package/dist/evidence/claim-recovery/validation/receipts.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/recovery-json.d.ts +8 -0
- package/dist/evidence/claim-recovery/validation/recovery-json.js +42 -0
- package/dist/evidence/claim-recovery/validation/recovery-json.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/semantic-cache.d.ts +3 -0
- package/dist/evidence/claim-recovery/validation/semantic-cache.js +22 -0
- package/dist/evidence/claim-recovery/validation/semantic-cache.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/semantic-validation.d.ts +9 -0
- package/dist/evidence/claim-recovery/validation/semantic-validation.js +347 -0
- package/dist/evidence/claim-recovery/validation/semantic-validation.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/sighting.d.ts +2 -0
- package/dist/evidence/claim-recovery/validation/sighting.js +15 -0
- package/dist/evidence/claim-recovery/validation/sighting.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/sources.d.ts +15 -0
- package/dist/evidence/claim-recovery/validation/sources.js +2 -0
- package/dist/evidence/claim-recovery/validation/sources.js.map +1 -0
- package/dist/evidence/claim-recovery/validation/types.d.ts +126 -0
- package/dist/evidence/claim-recovery/validation/types.js +2 -0
- package/dist/evidence/claim-recovery/validation/types.js.map +1 -0
- package/dist/evidence/claim-split.d.ts +1 -0
- package/dist/evidence/claim-split.js +2 -0
- package/dist/evidence/claim-split.js.map +1 -0
- package/dist/evidence/event-receipts.d.ts +16 -0
- package/dist/evidence/event-receipts.js +41 -0
- package/dist/evidence/event-receipts.js.map +1 -0
- package/dist/evidence/finding-recovery.d.ts +23 -0
- package/dist/evidence/finding-recovery.js +74 -0
- package/dist/evidence/finding-recovery.js.map +1 -0
- package/dist/evidence/finding-retriage.d.ts +14 -0
- package/dist/evidence/finding-retriage.js +57 -0
- package/dist/evidence/finding-retriage.js.map +1 -0
- package/dist/evidence/format.d.ts +18 -0
- package/dist/evidence/format.js +152 -0
- package/dist/evidence/format.js.map +1 -0
- package/dist/evidence/original-run/decode.d.ts +30 -0
- package/dist/evidence/original-run/decode.js +208 -0
- package/dist/evidence/original-run/decode.js.map +1 -0
- package/dist/evidence/original-run/journal.d.ts +31 -0
- package/dist/evidence/original-run/journal.js +157 -0
- package/dist/evidence/original-run/journal.js.map +1 -0
- package/dist/evidence/original-run/lock-path.d.ts +17 -0
- package/dist/evidence/original-run/lock-path.js +116 -0
- package/dist/evidence/original-run/lock-path.js.map +1 -0
- package/dist/evidence/original-run/lock-scope.d.ts +21 -0
- package/dist/evidence/original-run/lock-scope.js +61 -0
- package/dist/evidence/original-run/lock-scope.js.map +1 -0
- package/dist/evidence/original-run/lock.d.ts +33 -0
- package/dist/evidence/original-run/lock.js +259 -0
- package/dist/evidence/original-run/lock.js.map +1 -0
- package/dist/evidence/original-run/remote.d.ts +23 -0
- package/dist/evidence/original-run/remote.js +110 -0
- package/dist/evidence/original-run/remote.js.map +1 -0
- package/dist/evidence/original-run/source.d.ts +61 -0
- package/dist/evidence/original-run/source.js +267 -0
- package/dist/evidence/original-run/source.js.map +1 -0
- package/dist/evidence/reads.d.ts +11 -0
- package/dist/evidence/reads.js +16 -0
- package/dist/evidence/reads.js.map +1 -0
- package/dist/evidence/recover-finding.d.ts +17 -0
- package/dist/evidence/recover-finding.js +65 -0
- package/dist/evidence/recover-finding.js.map +1 -0
- package/dist/evidence/recover-run.d.ts +26 -0
- package/dist/evidence/recover-run.js +180 -0
- package/dist/evidence/recover-run.js.map +1 -0
- package/dist/evidence/retained-time-budget.d.ts +9 -0
- package/dist/evidence/retained-time-budget.js +14 -0
- package/dist/evidence/retained-time-budget.js.map +1 -0
- package/dist/evidence/retriage-finding.d.ts +12 -0
- package/dist/evidence/retriage-finding.js +67 -0
- package/dist/evidence/retriage-finding.js.map +1 -0
- package/dist/evidence/reviewer-lineage.d.ts +35 -0
- package/dist/evidence/reviewer-lineage.js +293 -0
- package/dist/evidence/reviewer-lineage.js.map +1 -0
- package/dist/evidence/reviewer-original.d.ts +67 -0
- package/dist/evidence/reviewer-original.js +148 -0
- package/dist/evidence/reviewer-original.js.map +1 -0
- package/dist/evidence/reviewer-recovery.d.ts +74 -0
- package/dist/evidence/reviewer-recovery.js +179 -0
- package/dist/evidence/reviewer-recovery.js.map +1 -0
- package/dist/evidence/reviewer-status.d.ts +145 -0
- package/dist/evidence/reviewer-status.js +302 -0
- package/dist/evidence/reviewer-status.js.map +1 -0
- package/dist/evidence/show.d.ts +10 -0
- package/dist/evidence/show.js +41 -0
- package/dist/evidence/show.js.map +1 -0
- package/dist/evidence/status.d.ts +38 -0
- package/dist/evidence/status.js +73 -0
- package/dist/evidence/status.js.map +1 -0
- package/dist/evidence/target.d.ts +17 -0
- package/dist/evidence/target.js +74 -0
- package/dist/evidence/target.js.map +1 -0
- package/dist/evidence/types.d.ts +176 -0
- package/dist/evidence/types.js +109 -0
- package/dist/evidence/types.js.map +1 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.js +2688 -0
- package/dist/index.js.map +1 -0
- package/dist/models/seed.d.ts +44 -0
- package/dist/models/seed.js +175 -0
- package/dist/models/seed.js.map +1 -0
- package/dist/models/server-stats.d.ts +80 -0
- package/dist/models/server-stats.js +109 -0
- package/dist/models/server-stats.js.map +1 -0
- package/dist/models/stats-store.d.ts +84 -0
- package/dist/models/stats-store.js +572 -0
- package/dist/models/stats-store.js.map +1 -0
- package/dist/output/artifacts.d.ts +16 -0
- package/dist/output/artifacts.js +29 -0
- package/dist/output/artifacts.js.map +1 -0
- package/dist/output/assembly-refusal.d.ts +8 -0
- package/dist/output/assembly-refusal.js +14 -0
- package/dist/output/assembly-refusal.js.map +1 -0
- package/dist/output/github.d.ts +12 -0
- package/dist/output/github.js +214 -0
- package/dist/output/github.js.map +1 -0
- package/dist/output/json.d.ts +3 -0
- package/dist/output/json.js +8 -0
- package/dist/output/json.js.map +1 -0
- package/dist/output/markdown.d.ts +3 -0
- package/dist/output/markdown.js +281 -0
- package/dist/output/markdown.js.map +1 -0
- package/dist/output/progress.d.ts +55 -0
- package/dist/output/progress.js +180 -0
- package/dist/output/progress.js.map +1 -0
- package/dist/output/sanitize.d.ts +18 -0
- package/dist/output/sanitize.js +46 -0
- package/dist/output/sanitize.js.map +1 -0
- package/dist/output/terminal.d.ts +2 -0
- package/dist/output/terminal.js +172 -0
- package/dist/output/terminal.js.map +1 -0
- package/dist/prepare/chunker.d.ts +18 -0
- package/dist/prepare/chunker.js +325 -0
- package/dist/prepare/chunker.js.map +1 -0
- package/dist/prepare/language.d.ts +1 -0
- package/dist/prepare/language.js +99 -0
- package/dist/prepare/language.js.map +1 -0
- package/dist/prepare/prompt-builder.d.ts +44 -0
- package/dist/prepare/prompt-builder.js +102 -0
- package/dist/prepare/prompt-builder.js.map +1 -0
- package/dist/prepare/unified-diff.d.ts +40 -0
- package/dist/prepare/unified-diff.js +135 -0
- package/dist/prepare/unified-diff.js.map +1 -0
- package/dist/prompts/base.d.ts +3 -0
- package/dist/prompts/base.js +53 -0
- package/dist/prompts/base.js.map +1 -0
- package/dist/prompts/hardening.d.ts +19 -0
- package/dist/prompts/hardening.js +67 -0
- package/dist/prompts/hardening.js.map +1 -0
- package/dist/prompts/languages/elixir.d.ts +1 -0
- package/dist/prompts/languages/elixir.js +13 -0
- package/dist/prompts/languages/elixir.js.map +1 -0
- package/dist/prompts/languages/generic.d.ts +1 -0
- package/dist/prompts/languages/generic.js +11 -0
- package/dist/prompts/languages/generic.js.map +1 -0
- package/dist/prompts/languages/python.d.ts +1 -0
- package/dist/prompts/languages/python.js +14 -0
- package/dist/prompts/languages/python.js.map +1 -0
- package/dist/prompts/languages/typescript.d.ts +1 -0
- package/dist/prompts/languages/typescript.js +13 -0
- package/dist/prompts/languages/typescript.js.map +1 -0
- package/dist/prompts/plan.d.ts +15 -0
- package/dist/prompts/plan.js +55 -0
- package/dist/prompts/plan.js.map +1 -0
- package/dist/report/aggregation-inputs.d.ts +52 -0
- package/dist/report/aggregation-inputs.js +114 -0
- package/dist/report/aggregation-inputs.js.map +1 -0
- package/dist/report/assembly.d.ts +43 -0
- package/dist/report/assembly.js +133 -0
- package/dist/report/assembly.js.map +1 -0
- package/dist/report/blocking-health.d.ts +64 -0
- package/dist/report/blocking-health.js +156 -0
- package/dist/report/blocking-health.js.map +1 -0
- package/dist/report/checkpoint-assembly.d.ts +10 -0
- package/dist/report/checkpoint-assembly.js +17 -0
- package/dist/report/checkpoint-assembly.js.map +1 -0
- package/dist/report/checkpoint-consensus.d.ts +59 -0
- package/dist/report/checkpoint-consensus.js +197 -0
- package/dist/report/checkpoint-consensus.js.map +1 -0
- package/dist/report/checkpoint-gating.d.ts +36 -0
- package/dist/report/checkpoint-gating.js +110 -0
- package/dist/report/checkpoint-gating.js.map +1 -0
- package/dist/report/checkpoint-projection.d.ts +76 -0
- package/dist/report/checkpoint-projection.js +122 -0
- package/dist/report/checkpoint-projection.js.map +1 -0
- package/dist/report/consensus-assembly.d.ts +37 -0
- package/dist/report/consensus-assembly.js +33 -0
- package/dist/report/consensus-assembly.js.map +1 -0
- package/dist/report/recovery-source.d.ts +7 -0
- package/dist/report/recovery-source.js +7 -0
- package/dist/report/recovery-source.js.map +1 -0
- package/dist/report/reviewer-artifact.d.ts +118 -0
- package/dist/report/reviewer-artifact.js +381 -0
- package/dist/report/reviewer-artifact.js.map +1 -0
- package/dist/report/reviewer-evidence-schema.d.ts +42 -0
- package/dist/report/reviewer-evidence-schema.js +28 -0
- package/dist/report/reviewer-evidence-schema.js.map +1 -0
- package/dist/report/reviewer-evidence.d.ts +54 -0
- package/dist/report/reviewer-evidence.js +229 -0
- package/dist/report/reviewer-evidence.js.map +1 -0
- package/dist/report/reviewer-health.d.ts +62 -0
- package/dist/report/reviewer-health.js +105 -0
- package/dist/report/reviewer-health.js.map +1 -0
- package/dist/report/run-header.d.ts +219 -0
- package/dist/report/run-header.js +307 -0
- package/dist/report/run-header.js.map +1 -0
- package/dist/report/supplemental-async.d.ts +19 -0
- package/dist/report/supplemental-async.js +85 -0
- package/dist/report/supplemental-async.js.map +1 -0
- package/dist/report/uuid.d.ts +16 -0
- package/dist/report/uuid.js +41 -0
- package/dist/report/uuid.js.map +1 -0
- package/dist/resolver/git.d.ts +16 -0
- package/dist/resolver/git.js +77 -0
- package/dist/resolver/git.js.map +1 -0
- package/dist/resolver/github-client.d.ts +82 -0
- package/dist/resolver/github-client.js +27 -0
- package/dist/resolver/github-client.js.map +1 -0
- package/dist/resolver/github.d.ts +29 -0
- package/dist/resolver/github.js +166 -0
- package/dist/resolver/github.js.map +1 -0
- package/dist/resolver/local.d.ts +3 -0
- package/dist/resolver/local.js +75 -0
- package/dist/resolver/local.js.map +1 -0
- package/dist/resolver/plan.d.ts +8 -0
- package/dist/resolver/plan.js +44 -0
- package/dist/resolver/plan.js.map +1 -0
- package/dist/resolver/target.d.ts +35 -0
- package/dist/resolver/target.js +112 -0
- package/dist/resolver/target.js.map +1 -0
- package/dist/resolver/types.d.ts +43 -0
- package/dist/resolver/types.js +2 -0
- package/dist/resolver/types.js.map +1 -0
- package/dist/roles/builtin.d.ts +4 -0
- package/dist/roles/builtin.js +282 -0
- package/dist/roles/builtin.js.map +1 -0
- package/dist/roles/dispatcher.d.ts +26 -0
- package/dist/roles/dispatcher.js +96 -0
- package/dist/roles/dispatcher.js.map +1 -0
- package/dist/roles/legacy-4.1.10.d.ts +2 -0
- package/dist/roles/legacy-4.1.10.js +320 -0
- package/dist/roles/legacy-4.1.10.js.map +1 -0
- package/dist/roles/legacy-4.4.9.d.ts +4 -0
- package/dist/roles/legacy-4.4.9.js +282 -0
- package/dist/roles/legacy-4.4.9.js.map +1 -0
- package/dist/roles/loader.d.ts +10 -0
- package/dist/roles/loader.js +104 -0
- package/dist/roles/loader.js.map +1 -0
- package/dist/roles/types.d.ts +13 -0
- package/dist/roles/types.js +2 -0
- package/dist/roles/types.js.map +1 -0
- package/dist/telemetry/abort-signal.d.ts +13 -0
- package/dist/telemetry/abort-signal.js +40 -0
- package/dist/telemetry/abort-signal.js.map +1 -0
- package/dist/telemetry/attest.d.ts +98 -0
- package/dist/telemetry/attest.js +331 -0
- package/dist/telemetry/attest.js.map +1 -0
- package/dist/telemetry/attested-retry.d.ts +79 -0
- package/dist/telemetry/attested-retry.js +195 -0
- package/dist/telemetry/attested-retry.js.map +1 -0
- package/dist/telemetry/attested-reviewer-delivery.d.ts +58 -0
- package/dist/telemetry/attested-reviewer-delivery.js +238 -0
- package/dist/telemetry/attested-reviewer-delivery.js.map +1 -0
- package/dist/telemetry/backfill.d.ts +95 -0
- package/dist/telemetry/backfill.js +460 -0
- package/dist/telemetry/backfill.js.map +1 -0
- package/dist/telemetry/credentials.d.ts +44 -0
- package/dist/telemetry/credentials.js +87 -0
- package/dist/telemetry/credentials.js.map +1 -0
- package/dist/telemetry/deliver.d.ts +152 -0
- package/dist/telemetry/deliver.js +662 -0
- package/dist/telemetry/deliver.js.map +1 -0
- package/dist/telemetry/envelope-validation.d.ts +13 -0
- package/dist/telemetry/envelope-validation.js +196 -0
- package/dist/telemetry/envelope-validation.js.map +1 -0
- package/dist/telemetry/envelope.d.ts +159 -0
- package/dist/telemetry/envelope.js +288 -0
- package/dist/telemetry/envelope.js.map +1 -0
- package/dist/telemetry/events.d.ts +68 -0
- package/dist/telemetry/events.js +79 -0
- package/dist/telemetry/events.js.map +1 -0
- package/dist/telemetry/notice.d.ts +15 -0
- package/dist/telemetry/notice.js +67 -0
- package/dist/telemetry/notice.js.map +1 -0
- package/dist/telemetry/outbox.d.ts +166 -0
- package/dist/telemetry/outbox.js +741 -0
- package/dist/telemetry/outbox.js.map +1 -0
- package/dist/telemetry/quarantine.d.ts +105 -0
- package/dist/telemetry/quarantine.js +224 -0
- package/dist/telemetry/quarantine.js.map +1 -0
- package/dist/telemetry/read-sink.d.ts +31 -0
- package/dist/telemetry/read-sink.js +25 -0
- package/dist/telemetry/read-sink.js.map +1 -0
- package/dist/telemetry/recovery/command.d.ts +16 -0
- package/dist/telemetry/recovery/command.js +70 -0
- package/dist/telemetry/recovery/command.js.map +1 -0
- package/dist/telemetry/recovery/discovery.d.ts +8 -0
- package/dist/telemetry/recovery/discovery.js +277 -0
- package/dist/telemetry/recovery/discovery.js.map +1 -0
- package/dist/telemetry/recovery/files.d.ts +20 -0
- package/dist/telemetry/recovery/files.js +123 -0
- package/dist/telemetry/recovery/files.js.map +1 -0
- package/dist/telemetry/recovery/plan.d.ts +10 -0
- package/dist/telemetry/recovery/plan.js +325 -0
- package/dist/telemetry/recovery/plan.js.map +1 -0
- package/dist/telemetry/recovery/source.d.ts +328 -0
- package/dist/telemetry/recovery/source.js +253 -0
- package/dist/telemetry/recovery/source.js.map +1 -0
- package/dist/telemetry/recovery/types.d.ts +100 -0
- package/dist/telemetry/recovery/types.js +2 -0
- package/dist/telemetry/recovery/types.js.map +1 -0
- package/dist/telemetry/recovery-request-budget.d.ts +39 -0
- package/dist/telemetry/recovery-request-budget.js +102 -0
- package/dist/telemetry/recovery-request-budget.js.map +1 -0
- package/dist/telemetry/report-consistency.d.ts +11 -0
- package/dist/telemetry/report-consistency.js +111 -0
- package/dist/telemetry/report-consistency.js.map +1 -0
- package/dist/telemetry/reviewer-delivery.d.ts +39 -0
- package/dist/telemetry/reviewer-delivery.js +279 -0
- package/dist/telemetry/reviewer-delivery.js.map +1 -0
- package/dist/telemetry/reviewer-preflight.d.ts +13 -0
- package/dist/telemetry/reviewer-preflight.js +56 -0
- package/dist/telemetry/reviewer-preflight.js.map +1 -0
- package/dist/telemetry/scrub.d.ts +53 -0
- package/dist/telemetry/scrub.js +205 -0
- package/dist/telemetry/scrub.js.map +1 -0
- package/dist/telemetry/sink.d.ts +212 -0
- package/dist/telemetry/sink.js +813 -0
- package/dist/telemetry/sink.js.map +1 -0
- package/dist/telemetry/terminal-reviewer-delivery.d.ts +18 -0
- package/dist/telemetry/terminal-reviewer-delivery.js +27 -0
- package/dist/telemetry/terminal-reviewer-delivery.js.map +1 -0
- package/dist/telemetry/transient-input.d.ts +2 -0
- package/dist/telemetry/transient-input.js +37 -0
- package/dist/telemetry/transient-input.js.map +1 -0
- package/dist/telemetry/verification.d.ts +9 -0
- package/dist/telemetry/verification.js +12 -0
- package/dist/telemetry/verification.js.map +1 -0
- package/package.json +73 -0
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
import { object, uuidSchema } from './validation/primitives.js';
|
|
2
|
+
import { isEventReceiptScope } from './validation/receipts.js';
|
|
3
|
+
export const CLAIM_EVENT_KINDS = ['round_processed', 'verdicts_recorded', 'finding_identity_corrected',
|
|
4
|
+
'finding_claim_split', 'finding_obligation_transferred', 'finding_claim_disposition'];
|
|
5
|
+
export const MAX_CLAIM_EVENTS = 20000;
|
|
6
|
+
const integer = (x) => typeof x === 'number' && Number.isSafeInteger(x) && x >= 0;
|
|
7
|
+
export function claimEventSelector(value) {
|
|
8
|
+
return object(value) && Object.keys(value).sort().join(',') === 'id,kind,sequence' &&
|
|
9
|
+
uuidSchema.safeParse(value.id).success && integer(value.sequence) && value.sequence > 0 &&
|
|
10
|
+
CLAIM_EVENT_KINDS.includes(value.kind);
|
|
11
|
+
}
|
|
12
|
+
/** A bounded, pinned selector index. Payloads are read separately by exact UUID. */
|
|
13
|
+
export async function readClaimEventIndex(sink, scope, through) {
|
|
14
|
+
scope = structuredClone(scope);
|
|
15
|
+
if (!object(scope) || !isEventReceiptScope(scope) || !integer(through) || sink.baseUrl !== scope.base_url || sink.credentialSource === 'attest') {
|
|
16
|
+
throw new Error('invalid_claim_index_selection');
|
|
17
|
+
}
|
|
18
|
+
const all = [];
|
|
19
|
+
const ids = new Set();
|
|
20
|
+
let after = 0;
|
|
21
|
+
for (;;) {
|
|
22
|
+
const query = new URLSearchParams({
|
|
23
|
+
index: 'claim_recovery', after_sequence: String(after),
|
|
24
|
+
through_sequence: String(through), limit: '50'
|
|
25
|
+
});
|
|
26
|
+
const result = await sink.getJson(`/api/v1/reviews/runs/${scope.run_id}/events?${query}`, (data, meta) => {
|
|
27
|
+
if (!object(meta) || Object.keys(meta).sort().join(',') !==
|
|
28
|
+
'claim_recovery_version,complete,next_after_sequence,org_id,run_id,through_sequence' ||
|
|
29
|
+
meta.org_id !== scope.org_id || meta.run_id !== scope.run_id || meta.claim_recovery_version !== 1 ||
|
|
30
|
+
meta.through_sequence !== through || typeof meta.complete !== 'boolean' ||
|
|
31
|
+
!Array.isArray(data) || data.length > 50)
|
|
32
|
+
return null;
|
|
33
|
+
let previous = after;
|
|
34
|
+
for (const row of data) {
|
|
35
|
+
if (!claimEventSelector(row) || row.sequence <= previous || row.sequence > through || ids.has(row.id) ||
|
|
36
|
+
data.filter(other => object(other) && other.id === row.id).length !== 1)
|
|
37
|
+
return null;
|
|
38
|
+
previous = row.sequence;
|
|
39
|
+
}
|
|
40
|
+
if (meta.complete ? meta.next_after_sequence !== null :
|
|
41
|
+
data.length !== 50 || meta.next_after_sequence !== previous || previous <= after || previous >= through)
|
|
42
|
+
return null;
|
|
43
|
+
return { rows: data, next: meta.next_after_sequence };
|
|
44
|
+
}, { requireCompleteRead: true });
|
|
45
|
+
if (result.kind !== 'ok')
|
|
46
|
+
return result;
|
|
47
|
+
all.push(...result.value.rows);
|
|
48
|
+
result.value.rows.forEach(row => ids.add(row.id));
|
|
49
|
+
if (all.length > MAX_CLAIM_EVENTS)
|
|
50
|
+
return { kind: 'conflict', message: 'claim_event_index_limit' };
|
|
51
|
+
if (result.value.next === null)
|
|
52
|
+
return { kind: 'ok', httpStatus: 200, value: all };
|
|
53
|
+
after = result.value.next;
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
//# sourceMappingURL=claim-index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"claim-index.js","sourceRoot":"","sources":["../../../src/evidence/claim-recovery/claim-index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAC,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,MAAM,CAAC,MAAM,iBAAiB,GAAC,CAAC,iBAAiB,EAAC,mBAAmB,EAAC,4BAA4B;IAChG,qBAAqB,EAAC,gCAAgC,EAAC,2BAA2B,CAAU,CAAC;AAM/F,MAAM,CAAC,MAAM,gBAAgB,GAAC,KAAK,CAAC;AACpC,MAAM,OAAO,GAAC,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAG,QAAQ,IAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAE,CAAC,IAAE,CAAC,CAAC;AAC9F,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,OAAO,MAAM,CAAC,KAAK,CAAC,IAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAG,kBAAkB;QAC5E,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,IAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAE,KAAK,CAAC,QAAQ,GAAC,CAAC;QACjF,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAwC,CAAC,CAAC;AAC/E,CAAC;AACD,oFAAoF;AACpF,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,IAAiB,EAAC,KAAwB,EAAC,OAAe;IAClG,KAAK,GAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAE,IAAI,CAAC,OAAO,KAAG,KAAK,CAAC,QAAQ,IAAE,IAAI,CAAC,gBAAgB,KAAG,QAAQ,EAAE,CAAC;QACnI,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,MAAM,GAAG,GAAC,IAAI,GAAG,EAAU,CAAC;IAC5B,IAAI,KAAK,GAAC,CAAC,CAAC;IACZ,SAAQ,CAAC;QACP,MAAM,KAAK,GAAC,IAAI,eAAe,CAAC;YAC9B,KAAK,EAAE,gBAAgB,EAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC;YACrD,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,EAAC,KAAK,EAAE,IAAI;SAC9C,CAAC,CAAC;QACH,MAAM,MAAM,GAAC,MAAM,IAAI,CAAC,OAAO,CAAC,wBAAwB,KAAK,CAAC,MAAM,WAAW,KAAK,EAAE,EAAC,CAAC,IAAI,EAAC,IAAI,EAAE,EAAE;YACnG,IAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;gBAClD,oFAAoF;gBACpF,IAAI,CAAC,MAAM,KAAG,KAAK,CAAC,MAAM,IAAE,IAAI,CAAC,MAAM,KAAG,KAAK,CAAC,MAAM,IAAE,IAAI,CAAC,sBAAsB,KAAG,CAAC;gBACvF,IAAI,CAAC,gBAAgB,KAAG,OAAO,IAAE,OAAO,IAAI,CAAC,QAAQ,KAAG,SAAS;gBACjE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAE,IAAI,CAAC,MAAM,GAAC,EAAE;gBACpC,OAAO,IAAI,CAAC;YACd,IAAI,QAAQ,GAAC,KAAK,CAAC;YACnB,KAAI,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACtB,IAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAE,GAAG,CAAC,QAAQ,IAAE,QAAQ,IAAE,GAAG,CAAC,QAAQ,GAAC,OAAO,IAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAE,KAAK,CAAC,EAAE,KAAG,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,KAAG,CAAC;oBACjE,OAAO,IAAI,CAAC;gBACd,QAAQ,GAAC,GAAG,CAAC,QAAQ,CAAC;YACxB,CAAC;YACD,IAAG,IAAI,CAAC,QAAQ,CAAA,CAAC,CAAC,IAAI,CAAC,mBAAmB,KAAG,IAAI,CAAA,CAAC;gBAChD,IAAI,CAAC,MAAM,KAAG,EAAE,IAAE,IAAI,CAAC,mBAAmB,KAAG,QAAQ,IAAE,QAAQ,IAAE,KAAK,IAAE,QAAQ,IAAE,OAAO;gBACzF,OAAO,IAAI,CAAC;YACd,OAAO,EAAE,IAAI,EAAE,IAA4B,EAAC,IAAI,EAAE,IAAI,CAAC,mBAAkC,EAAE,CAAC;QAC9F,CAAC,EAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC;QACjC,IAAG,MAAM,CAAC,IAAI,KAAG,IAAI;YACnB,OAAO,MAAM,CAAC;QAChB,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAClD,IAAG,GAAG,CAAC,MAAM,GAAC,gBAAgB;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAC,OAAO,EAAE,yBAAyB,EAAE,CAAC;QACjE,IAAG,MAAM,CAAC,KAAK,CAAC,IAAI,KAAG,IAAI;YACzB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAC,UAAU,EAAE,GAAG,EAAC,KAAK,EAAE,GAAG,EAAE,CAAC;QACnD,KAAK,GAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;IAC1B,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,53 @@
|
|
|
1
|
+
import { type AuthenticatedSelectedReceipts, type AuthenticatedReceiptContent } from './authenticated-receipts.js';
|
|
2
|
+
import { type AuthenticatedCarrierInventory, type CarrierInventoryContent } from './carrier-inventory.js';
|
|
3
|
+
import type { AcceptedClaimDisposition } from './validation/native-occurrences.js';
|
|
4
|
+
import type { CarrierSourceInventory } from './validation/carrier-types.js';
|
|
5
|
+
import type { OccurrenceContext, ReceiptAttribution } from './validation/occurrence-types.js';
|
|
6
|
+
/** A historical witness. It does not establish the current claim or gate state. */
|
|
7
|
+
export interface RecoveryConfirmation {
|
|
8
|
+
readonly qualification: 'authenticated-confirmation-source';
|
|
9
|
+
}
|
|
10
|
+
export interface RecoveryConfirmationContent {
|
|
11
|
+
actorUserId: string;
|
|
12
|
+
claimIdentity: string;
|
|
13
|
+
disposition: AcceptedClaimDisposition;
|
|
14
|
+
assertion: ReceiptAttribution;
|
|
15
|
+
source: CarrierSourceInventory;
|
|
16
|
+
sourceEventSequence: number;
|
|
17
|
+
health: {
|
|
18
|
+
blocking: number;
|
|
19
|
+
successful: number;
|
|
20
|
+
required: number;
|
|
21
|
+
};
|
|
22
|
+
claimStanding: 'not-evaluated';
|
|
23
|
+
/** Matching sightings remain visible for the complete obligation projection. */
|
|
24
|
+
sightings: Array<{
|
|
25
|
+
findingRef: string;
|
|
26
|
+
severity: string;
|
|
27
|
+
gating: string;
|
|
28
|
+
status: string;
|
|
29
|
+
pendingRound: number | null;
|
|
30
|
+
}>;
|
|
31
|
+
receiptCutoff: string | null;
|
|
32
|
+
}
|
|
33
|
+
export declare function recoveryConfirmationContent(witness: RecoveryConfirmation): RecoveryConfirmationContent;
|
|
34
|
+
/**
|
|
35
|
+
* Qualify an actual later review against an authenticated fixed assertion.
|
|
36
|
+
* Both inputs must come from the bounded readers. A witness never retires a
|
|
37
|
+
* carrier, selects the latest disposition, clears a re-gating sighting, or
|
|
38
|
+
* approves a head: those require the complete current obligation projection.
|
|
39
|
+
* A supplied receipt cutoff applies to every receipt used by this witness.
|
|
40
|
+
*/
|
|
41
|
+
export declare function qualifyRecoveryConfirmation(proof: AcceptedClaimDisposition, inventory: AuthenticatedCarrierInventory, receipts: AuthenticatedSelectedReceipts, receiptCutoff?: string): {
|
|
42
|
+
kind: 'eligible';
|
|
43
|
+
value: RecoveryConfirmation;
|
|
44
|
+
} | {
|
|
45
|
+
kind: 'ineligible';
|
|
46
|
+
reason: 'confirmation_source_conflict';
|
|
47
|
+
};
|
|
48
|
+
/** Content replay used when validating retained proof; this function does not
|
|
49
|
+
* authenticate transport or grant native mutation authority. */
|
|
50
|
+
export declare function replayRecoveryConfirmation(proof: AcceptedClaimDisposition, candidates: CarrierInventoryContent, reads: AuthenticatedReceiptContent, receiptCutoff?: string): RecoveryConfirmationContent | null;
|
|
51
|
+
/** Replay one candidate against an already attributed assertion. Pure content
|
|
52
|
+
* checking only: callers must authenticate the complete source and receipt view. */
|
|
53
|
+
export declare function replayEligibleConfirmationCandidate(context: OccurrenceContext, claimIdentity: string, assertion: ReceiptAttribution, candidates: CarrierInventoryContent, receiptCutoff?: string): Omit<RecoveryConfirmationContent, 'disposition'> | null;
|
|
@@ -0,0 +1,151 @@
|
|
|
1
|
+
import { isDeepStrictEqual } from 'node:util';
|
|
2
|
+
import { stableStringify } from '../../report/run-header.js';
|
|
3
|
+
import { buildRunEnvelope } from '../../telemetry/envelope.js';
|
|
4
|
+
import { originalRunReportSchema } from '../../telemetry/recovery/source.js';
|
|
5
|
+
import { decodeRecoveryOriginal as decodeOriginalReport } from './validation/recovery-json.js';
|
|
6
|
+
import { authenticatedReceiptContent } from './authenticated-receipts.js';
|
|
7
|
+
import { carrierInventoryContent } from './carrier-inventory.js';
|
|
8
|
+
import { prepareClaimDisposition } from './validation/occurrence.js';
|
|
9
|
+
import { hash, validateOccurrenceSource } from './validation/occurrence-source.js';
|
|
10
|
+
import { instant, object } from './validation/primitives.js';
|
|
11
|
+
import { isStoredEventReceipt, matchesPreparedEventReceipt } from './validation/receipts.js';
|
|
12
|
+
const accepted = new WeakMap();
|
|
13
|
+
export function recoveryConfirmationContent(witness) {
|
|
14
|
+
const content = accepted.get(witness);
|
|
15
|
+
if (!content)
|
|
16
|
+
throw new Error('unverified_recovery_confirmation');
|
|
17
|
+
return structuredClone(content);
|
|
18
|
+
}
|
|
19
|
+
const requireEvidence = (value) => { if (!value)
|
|
20
|
+
throw new Error('confirmation_source_conflict'); };
|
|
21
|
+
const time = (value) => BigInt(instant(value));
|
|
22
|
+
const attribution = (r) => ({ eventId: r.id, actorUserId: r.actor_user_id,
|
|
23
|
+
occurredAt: r.occurred_at, receivedAt: r.received_at, sequence: r.sequence });
|
|
24
|
+
const callKeys = ['model', 'role', 'provider', 'lane', 'chunk_index', 'status', 'duration_ms', 'input_tokens',
|
|
25
|
+
'output_tokens', 'reasoning_tokens', 'dropped_findings', 'warnings', 'error', 'async'];
|
|
26
|
+
const headerKeys = ['id', 'command', 'rcl_version', 'config_sha256', 'roster', 'thresholds', 'gating',
|
|
27
|
+
'spec', 'context_files', 'plan', 'runner', 'duration_ms', 'ci_exit_code'];
|
|
28
|
+
function fields(row, keys) {
|
|
29
|
+
return Object.fromEntries(keys.map(key => [key, row[key] ?? null]));
|
|
30
|
+
}
|
|
31
|
+
/**
|
|
32
|
+
* Qualify an actual later review against an authenticated fixed assertion.
|
|
33
|
+
* Both inputs must come from the bounded readers. A witness never retires a
|
|
34
|
+
* carrier, selects the latest disposition, clears a re-gating sighting, or
|
|
35
|
+
* approves a head: those require the complete current obligation projection.
|
|
36
|
+
* A supplied receipt cutoff applies to every receipt used by this witness.
|
|
37
|
+
*/
|
|
38
|
+
export function qualifyRecoveryConfirmation(proof, inventory, receipts, receiptCutoff) {
|
|
39
|
+
try {
|
|
40
|
+
const content = replayRecoveryConfirmation(proof, carrierInventoryContent(inventory), authenticatedReceiptContent(receipts), receiptCutoff);
|
|
41
|
+
if (!content)
|
|
42
|
+
return { kind: 'ineligible', reason: 'confirmation_source_conflict' };
|
|
43
|
+
const value = Object.freeze({ qualification: 'authenticated-confirmation-source' });
|
|
44
|
+
accepted.set(value, content);
|
|
45
|
+
return { kind: 'eligible', value };
|
|
46
|
+
}
|
|
47
|
+
catch {
|
|
48
|
+
return { kind: 'ineligible', reason: 'confirmation_source_conflict' };
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
/** Content replay used when validating retained proof; this function does not
|
|
52
|
+
* authenticate transport or grant native mutation authority. */
|
|
53
|
+
export function replayRecoveryConfirmation(proof, candidates, reads, receiptCutoff) {
|
|
54
|
+
try {
|
|
55
|
+
proof = structuredClone(proof);
|
|
56
|
+
const p = proof.preparation;
|
|
57
|
+
const prepared = prepareClaimDisposition(p);
|
|
58
|
+
requireEvidence(p.verdict === 'fixed' && proof.actorUserId === p.actorUserId &&
|
|
59
|
+
reads.actorUserId === candidates.actorUserId && candidates.inventory.inventoryStatus === 'complete');
|
|
60
|
+
const cutoff = receiptCutoff === undefined ? undefined : time(receiptCutoff);
|
|
61
|
+
const beforeCutoff = (received) => requireEvidence(cutoff === undefined || time(received) <= cutoff);
|
|
62
|
+
const verified = new Map(reads.selections.flatMap(s => s.receipts.map(r => [r.id, r])));
|
|
63
|
+
const requireReceipt = (r) => {
|
|
64
|
+
requireEvidence(isDeepStrictEqual(verified.get(r.id), r));
|
|
65
|
+
beforeCutoff(r.received_at);
|
|
66
|
+
};
|
|
67
|
+
const sources = [p.split.source, ...p.laterSources ?? []];
|
|
68
|
+
for (const source of sources) {
|
|
69
|
+
const bound = validateOccurrenceSource(source);
|
|
70
|
+
const selected = reads.selections.find(s => s.selection.scope.run_id === source.scope.run_id);
|
|
71
|
+
requireEvidence(selected && isDeepStrictEqual(fields(selected.selection, ['scope', 'target', 'round', 'reportSha256', 'headSha']), { scope: source.scope,
|
|
72
|
+
target: bound.target, round: bound.round, reportSha256: bound.digest, headSha: bound.head }));
|
|
73
|
+
for (const r of [source.classification, ...source.corrections])
|
|
74
|
+
requireReceipt(r);
|
|
75
|
+
}
|
|
76
|
+
for (const r of [proof.receipt, p.split.receipt, ...(p.originalVerdict ? [p.originalVerdict] : []),
|
|
77
|
+
...(p.previousDisposition ? [p.previousDisposition] : [])])
|
|
78
|
+
requireReceipt(r);
|
|
79
|
+
requireEvidence(isStoredEventReceipt(proof.receipt, p.sourceContext.scope) &&
|
|
80
|
+
matchesPreparedEventReceipt(proof.receipt, JSON.stringify(prepared.event), p.sourceContext.scope, proof.actorUserId) &&
|
|
81
|
+
proof.receipt.sequence > p.sourceContext.eventSequence &&
|
|
82
|
+
time(proof.receipt.received_at) >= time(p.split.receipt.received_at) &&
|
|
83
|
+
sources.flatMap(s => [s.classification, ...s.corrections]).every(r => time(r.received_at) <= time(proof.receipt.received_at)));
|
|
84
|
+
const assertion = prepared.assertionReceipt.kind === 'preserved' ? prepared.assertionReceipt.receipt : attribution(proof.receipt);
|
|
85
|
+
const candidate = replayEligibleConfirmationCandidate(p.sourceContext, p.split.selection.identity, assertion, candidates, receiptCutoff);
|
|
86
|
+
return candidate ? { ...candidate, disposition: proof } : null;
|
|
87
|
+
}
|
|
88
|
+
catch {
|
|
89
|
+
return null;
|
|
90
|
+
}
|
|
91
|
+
}
|
|
92
|
+
/** Replay one candidate against an already attributed assertion. Pure content
|
|
93
|
+
* checking only: callers must authenticate the complete source and receipt view. */
|
|
94
|
+
export function replayEligibleConfirmationCandidate(context, claimIdentity, assertion, candidates, receiptCutoff) {
|
|
95
|
+
try {
|
|
96
|
+
const cutoff = receiptCutoff === undefined ? undefined : time(receiptCutoff);
|
|
97
|
+
const beforeCutoff = (received) => requireEvidence(cutoff === undefined || time(received) <= cutoff);
|
|
98
|
+
beforeCutoff(assertion.receivedAt);
|
|
99
|
+
const floor = time(assertion.receivedAt);
|
|
100
|
+
const own = candidates.inventory;
|
|
101
|
+
requireEvidence(own.carrier.kind === 'classified_group' && own.sources.length === 1);
|
|
102
|
+
const source = own.sources[0];
|
|
103
|
+
const selection = source.selector;
|
|
104
|
+
requireEvidence(selection.scope.base_url === context.scope.base_url && selection.scope.org_id === context.scope.org_id &&
|
|
105
|
+
selection.scope.repo.toLowerCase() === context.scope.repo.toLowerCase() &&
|
|
106
|
+
selection.scope.pr_number === context.scope.pr_number && selection.target === context.target &&
|
|
107
|
+
selection.round > context.round && selection.scope.run_id !== context.scope.run_id &&
|
|
108
|
+
typeof source.reportJson === 'string' && source.storedRun && source.classifications?.length === 1 && source.corrections &&
|
|
109
|
+
source.correctionIds && isDeepStrictEqual([...source.correctionIds].sort(), source.corrections.map(r => r.id).sort()));
|
|
110
|
+
const classification = source.classifications[0];
|
|
111
|
+
requireEvidence(classification.id === own.carrier.classificationId && classification.payload.classification_version === 1);
|
|
112
|
+
const bound = validateOccurrenceSource({ scope: selection.scope, reportJson: source.reportJson, storedRun: source.storedRun,
|
|
113
|
+
classification, corrections: source.corrections });
|
|
114
|
+
requireEvidence(bound.digest === selection.reportSha256 && bound.head === selection.headSha &&
|
|
115
|
+
bound.target === selection.target && bound.round === selection.round);
|
|
116
|
+
const raw = decodeOriginalReport(source.reportJson, { exactNumbers: true, originalProse: 'control-code-units-v1' });
|
|
117
|
+
requireEvidence(originalRunReportSchema.safeParse(raw.value).success);
|
|
118
|
+
const report = raw.value;
|
|
119
|
+
const run = source.storedRun;
|
|
120
|
+
const envelope = buildRunEnvelope(report, { report_json: source.reportJson }, { level: 'full', delivery: { mode: 'direct' } });
|
|
121
|
+
requireEvidence(isDeepStrictEqual(envelope.run, report.run) &&
|
|
122
|
+
isDeepStrictEqual(fields(run, headerKeys), fields(report.run, headerKeys)) &&
|
|
123
|
+
run.repo_verified === true && run.is_cross_repository === false && run.provenance === 'live' &&
|
|
124
|
+
(report.run.provenance === undefined || report.run.provenance === 'live') &&
|
|
125
|
+
time(run.started_at) === time(report.run.started_at) && time(run.finished_at) === time(report.run.finished_at) &&
|
|
126
|
+
time(run.started_at) > floor && time(run.finished_at) >= time(run.started_at) &&
|
|
127
|
+
time(run.received_at) >= time(run.finished_at) && time(run.received_at) > floor &&
|
|
128
|
+
time(classification.received_at) >= time(run.received_at) && time(classification.received_at) > floor);
|
|
129
|
+
beforeCutoff(run.received_at);
|
|
130
|
+
for (const r of [classification, ...source.corrections])
|
|
131
|
+
beforeCutoff(r.received_at);
|
|
132
|
+
requireEvidence(Array.isArray(run.calls) && run.calls.every(c => object(c) && callKeys.every(k => Object.hasOwn(c, k))));
|
|
133
|
+
const storedCalls = run.calls;
|
|
134
|
+
const canonical = (rows) => rows.map(r => stableStringify(fields(r, callKeys))).sort();
|
|
135
|
+
requireEvidence(isDeepStrictEqual(canonical(storedCalls), canonical(envelope.calls)));
|
|
136
|
+
const blocking = envelope.calls.filter(c => c.lane === 'blocking');
|
|
137
|
+
const successful = blocking.filter(c => c.status === 'success').length;
|
|
138
|
+
const required = Math.max(2, Math.ceil(2 * blocking.length / 3));
|
|
139
|
+
requireEvidence(blocking.length >= 2 && successful >= required && hash(source.reportJson) === selection.reportSha256);
|
|
140
|
+
return structuredClone({ actorUserId: candidates.actorUserId, claimIdentity: claimIdentity,
|
|
141
|
+
assertion, source, sourceEventSequence: candidates.runSequences.find(r => r.runId === selection.scope.run_id).eventSequence,
|
|
142
|
+
health: { blocking: blocking.length, successful, required }, claimStanding: 'not-evaluated',
|
|
143
|
+
sightings: bound.members.filter(m => m.identity === claimIdentity || m.mapping?.matched_identity === claimIdentity).map(m => ({ findingRef: m.ref,
|
|
144
|
+
severity: m.severity, gating: m.gating, status: m.mapping.status, pendingRound: m.mapping.pending_round })),
|
|
145
|
+
receiptCutoff: receiptCutoff ?? null });
|
|
146
|
+
}
|
|
147
|
+
catch {
|
|
148
|
+
return null;
|
|
149
|
+
}
|
|
150
|
+
}
|
|
151
|
+
//# sourceMappingURL=confirmation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"confirmation.js","sourceRoot":"","sources":["../../../src/evidence/claim-recovery/confirmation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,sBAAsB,IAAI,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC/F,OAAO,EAAE,2BAA2B,EAAwE,MAAM,6BAA6B,CAAC;AAChJ,OAAO,EAAE,uBAAuB,EAAoE,MAAM,wBAAwB,CAAC;AACnI,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AACnF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAA2B,MAAM,0BAA0B,CAAC;AAoBtH,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAqD,CAAC;AAClF,MAAM,UAAU,2BAA2B,CAAC,OAA6B;IACvE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAClE,OAAO,eAAe,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AACD,MAAM,eAAe,GAAG,CAAC,KAAc,EAAQ,EAAE,GAAG,IAAI,CAAC,KAAK;IAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC,CAAC;AACnH,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAChE,MAAM,WAAW,GAAG,CAAC,CAAqB,EAAsB,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,aAAa;IAC/G,UAAU,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AAChF,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,cAAc;IAC3G,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACzF,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ;IACnG,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;AAC5E,SAAS,MAAM,CAAC,GAAW,EAAE,IAAc;IACzC,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAA+B,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;AACnG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAA+B,EAAE,SAAwC,EACnH,QAAuC,EAAE,aAAsB;IAE/D,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,0BAA0B,CAAC,KAAK,EAAE,uBAAuB,CAAC,SAAS,CAAC,EAAE,2BAA2B,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,CAAC;QAC5I,IAAI,CAAC,OAAO;YAAE,OAAO,EAAC,IAAI,EAAC,YAAY,EAAC,MAAM,EAAC,8BAA8B,EAAC,CAAC;QAC/E,MAAM,KAAK,GAAC,MAAM,CAAC,MAAM,CAAC,EAAC,aAAa,EAAC,mCAA4C,EAAC,CAAC,CAAC;QAAA,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAC,OAAO,CAAC,CAAC;QACpH,OAAO,EAAC,IAAI,EAAC,UAAU,EAAC,KAAK,EAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QAAA,OAAO,EAAC,IAAI,EAAC,YAAY,EAAC,MAAM,EAAC,8BAA8B,EAAC,CAAC;IAAA,CAAC;AAC7E,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,0BAA0B,CAAC,KAA8B,EAAC,UAAkC,EAC1G,KAAiC,EAAC,aAAqB;IACvD,IAAI,CAAC;QACH,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QAC5B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;QAC5C,eAAe,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW;YAC1E,KAAK,CAAC,WAAW,KAAK,UAAU,CAAC,WAAW,IAAI,UAAU,CAAC,SAAS,CAAC,eAAe,KAAK,UAAU,CAAC,CAAC;QACvG,MAAM,MAAM,GAAG,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7E,MAAM,YAAY,GAAG,CAAC,QAAiB,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC;QAC9G,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC,CAAC;QACjG,MAAM,cAAc,GAAG,CAAC,CAAqB,EAAE,EAAE;YAC/C,eAAe,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACzF,CAAC,CAAC;QACF,MAAM,OAAO,GAAuB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QAC9E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9F,eAAe,CAAC,QAAQ,IAAI,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK;gBACtJ,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAChG,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;gBAAE,cAAc,CAAC,CAAC,CAAC,CAAC;QACpF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChG,GAAG,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,cAAc,CAAC,CAAC,CAAC,CAAC;QAChF,eAAe,CAAC,oBAAoB,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC;YACxE,2BAA2B,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC;YACpH,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC,aAAa,CAAC,aAAa;YACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;YACpE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACjI,MAAM,SAAS,GAAG,QAAQ,CAAC,gBAAgB,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAClI,MAAM,SAAS,GAAC,mCAAmC,CAAC,CAAC,CAAC,aAAa,EAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAC,SAAS,EAAC,UAAU,EAAC,aAAa,CAAC,CAAC;QACnI,OAAO,SAAS,CAAA,CAAC,CAAA,EAAC,GAAG,SAAS,EAAC,WAAW,EAAC,KAAK,EAAC,CAAA,CAAC,CAAA,IAAI,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC;AAED;oFACoF;AACpF,MAAM,UAAU,mCAAmC,CAAC,OAAyB,EAAC,aAAoB,EAAC,SAA4B,EAC7H,UAAkC,EAAC,aAAqB;IACxD,IAAI,CAAC;QACH,MAAM,MAAM,GAAC,aAAa,KAAG,SAAS,CAAA,CAAC,CAAA,SAAS,CAAA,CAAC,CAAA,IAAI,CAAC,aAAa,CAAC,CAAC;QACrE,MAAM,YAAY,GAAC,CAAC,QAAgB,EAAC,EAAE,CAAA,eAAe,CAAC,MAAM,KAAG,SAAS,IAAE,IAAI,CAAC,QAAQ,CAAC,IAAE,MAAM,CAAC,CAAC;QACnG,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC;QACjC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,kBAAkB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;QAClC,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,KAAK,CAAC,QAAQ,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM;YACpH,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE;YACvE,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;YAC5F,SAAS,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM;YAClF,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,eAAe,EAAE,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,WAAW;YACvH,MAAM,CAAC,aAAa,IAAI,iBAAiB,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzH,MAAM,cAAc,GAAG,MAAM,CAAC,eAAgB,CAAC,CAAC,CAAE,CAAC;QACnD,eAAe,CAAC,cAAc,CAAC,EAAE,KAAK,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,cAAc,CAAC,OAAO,CAAC,sBAAsB,KAAK,CAAC,CAAC,CAAC;QAC3H,MAAM,KAAK,GAAG,wBAAwB,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,UAAW,EAAE,SAAS,EAAE,MAAM,CAAC,SAAU;YAC3H,cAAc,EAAE,WAAW,EAAE,MAAM,CAAC,WAAY,EAAE,CAAC,CAAC;QACtD,eAAe,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO;YACzF,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,uBAAuB,EAAE,CAAC,CAAC;QACrH,eAAe,CAAC,uBAAuB,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,GAAG,CAAC,KAAiE,CAAC;QACrF,MAAM,GAAG,GAAG,MAAM,CAAC,SAAU,CAAC;QAC9B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,UAAW,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChI,eAAe,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC;YACzD,iBAAiB,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC1E,GAAG,CAAC,aAAa,KAAK,IAAI,IAAI,GAAG,CAAC,mBAAmB,KAAK,KAAK,IAAI,GAAG,CAAC,UAAU,KAAK,MAAM;YAC5F,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,KAAK,MAAM,CAAC;YACzE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC;YAC9G,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAC7E,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,KAAK;YAC/E,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC;QACzG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,MAAM,CAAC,WAAY,CAAC;YAAE,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACtF,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzH,MAAM,WAAW,GAAG,GAAG,CAAC,KAAkC,CAAC;QAC3D,MAAM,SAAS,GAAG,CAAC,IAAc,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjG,eAAe,CAAC,iBAAiB,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;QACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,eAAe,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,IAAI,UAAU,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,UAAW,CAAC,KAAK,SAAS,CAAC,YAAY,CAAC,CAAC;QACvH,OAAO,eAAe,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,aAAa,EAAE,aAAa;YACxF,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,CAAE,CAAC,aAAa;YAC5H,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,aAAa,EAAE,eAAwB;YACpG,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,aAAa,IAAI,CAAC,CAAC,OAAO,EAAE,gBAAgB,KAAK,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,GAAG;gBAC/I,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,OAAQ,CAAC,MAAgB,EAAE,YAAY,EAAE,CAAC,CAAC,OAAQ,CAAC,aAA8B,EAAE,CAAC,CAAC;YAC1I,aAAa,EAAE,aAAa,IAAI,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import type { HarnessSink, SinkOutcome } from '../../telemetry/sink.js';
|
|
2
|
+
import type { EventReceiptScope } from '../event-receipts.js';
|
|
3
|
+
export interface ClaimRecoverySelection {
|
|
4
|
+
scope: EventReceiptScope;
|
|
5
|
+
target: string;
|
|
6
|
+
round: number;
|
|
7
|
+
reportSha256: string;
|
|
8
|
+
headSha: string;
|
|
9
|
+
}
|
|
10
|
+
export interface ClaimRecoveryContext {
|
|
11
|
+
actorUserId: string;
|
|
12
|
+
eventSequence: number;
|
|
13
|
+
}
|
|
14
|
+
/** Read the current operator and recovery capability against one exact source. */
|
|
15
|
+
export declare function readClaimRecoveryContext(sink: HarnessSink, selection: ClaimRecoverySelection, expectedActor?: string): Promise<SinkOutcome<ClaimRecoveryContext>>;
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import { object, uuidSchema } from './validation/primitives.js';
|
|
2
|
+
import { isEventReceiptScope } from './validation/receipts.js';
|
|
3
|
+
/** Read the current operator and recovery capability against one exact source. */
|
|
4
|
+
export async function readClaimRecoveryContext(sink, selection, expectedActor) {
|
|
5
|
+
const cloned = structuredClone(selection);
|
|
6
|
+
if (!object(cloned) || !isEventReceiptScope(cloned.scope))
|
|
7
|
+
throw new Error('invalid_claim_recovery_selection');
|
|
8
|
+
const { scope, target, round, reportSha256, headSha } = cloned;
|
|
9
|
+
if (typeof target !== 'string' ||
|
|
10
|
+
typeof round !== 'number' || !Number.isSafeInteger(round) || round <= 0 ||
|
|
11
|
+
typeof reportSha256 !== 'string' || typeof headSha !== 'string' ||
|
|
12
|
+
!uuidSchema.safeParse(scope.org_id).success || !uuidSchema.safeParse(scope.run_id).success ||
|
|
13
|
+
!target || target.trim() !== target ||
|
|
14
|
+
!/^[a-f0-9]{64}$/.test(reportSha256) || !/^[a-f0-9]{40}(?:[a-f0-9]{24})?$/.test(headSha) ||
|
|
15
|
+
expectedActor !== undefined && !uuidSchema.safeParse(expectedActor).success) {
|
|
16
|
+
throw new Error('invalid_claim_recovery_selection');
|
|
17
|
+
}
|
|
18
|
+
if (sink.credentialSource === 'attest')
|
|
19
|
+
throw new Error('unsupported_attested_recovery');
|
|
20
|
+
if (sink.baseUrl !== scope.base_url)
|
|
21
|
+
throw new Error('claim_recovery_destination_conflict');
|
|
22
|
+
return sink.getJson(`/api/v1/reviews/runs/${scope.run_id}`, (data, meta) => {
|
|
23
|
+
if (!object(meta) || meta.org_id !== scope.org_id || meta.evidence_protocol_version !== 2 ||
|
|
24
|
+
meta.claim_recovery_version !== 1 || !uuidSchema.safeParse(meta.actor_user_id).success ||
|
|
25
|
+
expectedActor !== undefined && meta.actor_user_id !== expectedActor ||
|
|
26
|
+
!object(meta.recovery) || meta.recovery.truncated !== false ||
|
|
27
|
+
!Number.isSafeInteger(meta.recovery.event_sequence) || meta.recovery.event_sequence < 0 ||
|
|
28
|
+
!object(data) || data.id !== scope.run_id || !object(data.target) ||
|
|
29
|
+
!['pr', 'patch'].includes(data.target.kind) || data.target.repo !== scope.repo ||
|
|
30
|
+
data.target.pr_number !== scope.pr_number || data.target.head_sha !== headSha ||
|
|
31
|
+
!object(data.converge) || data.converge.target !== target || data.converge.round !== round ||
|
|
32
|
+
!Array.isArray(data.artifacts))
|
|
33
|
+
return null;
|
|
34
|
+
const originals = data.artifacts.filter(a => object(a) && a.kind === 'report_json');
|
|
35
|
+
if (originals.length !== 1 || originals[0].declared_sha256 !== reportSha256 || originals[0].stored !== true)
|
|
36
|
+
return null;
|
|
37
|
+
return { actorUserId: meta.actor_user_id, eventSequence: meta.recovery.event_sequence };
|
|
38
|
+
}, { requireCompleteRead: true });
|
|
39
|
+
}
|
|
40
|
+
//# sourceMappingURL=context.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/evidence/claim-recovery/context.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAY/D,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,IAAiB,EAAE,SAAiC,EACjG,aAAsB;IACtB,MAAM,MAAM,GAAY,eAAe,CAAC,SAAS,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC/G,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC/D,IAAI,OAAO,MAAM,KAAK,QAAQ;QAC1B,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QACvE,OAAO,YAAY,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ;QAC/D,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO;QAC1F,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,MAAM;QACnC,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,OAAO,CAAC;QACxF,aAAa,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACzF,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAC5F,OAAO,IAAI,CAAC,OAAO,CAAC,wBAAwB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;QACzE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,yBAAyB,KAAK,CAAC;YACrF,IAAI,CAAC,sBAAsB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO;YACtF,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,aAAa;YACnE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,KAAK,KAAK;YAC3D,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAK,IAAI,CAAC,QAAQ,CAAC,cAAyB,GAAG,CAAC;YACnG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;YACjE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAc,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YACxF,IAAI,CAAC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,OAAO;YAC7E,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,KAAK;YAC1F,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QACpF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,eAAe,KAAK,YAAY,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACzH,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,aAAuB,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAwB,EAAE,CAAC;IAC9G,CAAC,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC;AACpC,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
/** Immutable document roots share exact content-addressed bytes in this one
|
|
2
|
+
* operation. UUID/payload journals remain separate; a root is not authority. */
|
|
3
|
+
export declare function writeClaimProof(path: string, pool: string, value: unknown): Promise<void>;
|
|
4
|
+
/** All references are re-read and hashed; missing or mutated bytes refuse even
|
|
5
|
+
* when the small root and its manifest digest still match. */
|
|
6
|
+
export declare function readClaimProof(path: string, pool: string): Promise<unknown>;
|
|
@@ -0,0 +1,97 @@
|
|
|
1
|
+
import { mkdir, lstat, link, unlink } from 'node:fs/promises';
|
|
2
|
+
import { randomUUID } from 'node:crypto';
|
|
3
|
+
import { dirname, join } from 'node:path';
|
|
4
|
+
import { isDeepStrictEqual } from 'node:util';
|
|
5
|
+
import { decodeRecoveryDocument } from '../original-run/decode.js';
|
|
6
|
+
import { inspectRecoveryDirectory } from '../original-run/lock-path.js';
|
|
7
|
+
import { serializeRecoveryDocument, writeExclusiveBytes, syncDirectory, MAX_RECOVERY_DOCUMENT_BYTES } from '../original-run/journal.js';
|
|
8
|
+
import { readStable, writeRecoveryArtifact } from '../../telemetry/recovery/files.js';
|
|
9
|
+
import { packRecoveryMaterial, unpackRecoveryMaterial } from './validation/materials.js';
|
|
10
|
+
const MAX = 64 * 1024 * 1024;
|
|
11
|
+
/** Immutable document roots share exact content-addressed bytes in this one
|
|
12
|
+
* operation. UUID/payload journals remain separate; a root is not authority. */
|
|
13
|
+
export async function writeClaimProof(path, pool, value) {
|
|
14
|
+
await inspectRecoveryDirectory(dirname(pool), true);
|
|
15
|
+
try {
|
|
16
|
+
await mkdir(pool, { mode: 0o700 });
|
|
17
|
+
await syncDirectory(dirname(pool));
|
|
18
|
+
}
|
|
19
|
+
catch (e) {
|
|
20
|
+
if (e.code !== 'EEXIST')
|
|
21
|
+
throw e;
|
|
22
|
+
}
|
|
23
|
+
await inspectRecoveryDirectory(pool, true);
|
|
24
|
+
const packed = packRecoveryMaterial(value);
|
|
25
|
+
for (const row of packed.materials) {
|
|
26
|
+
const destination = join(pool, row.sha256);
|
|
27
|
+
let exists = false;
|
|
28
|
+
try {
|
|
29
|
+
await lstat(destination);
|
|
30
|
+
exists = true;
|
|
31
|
+
}
|
|
32
|
+
catch (e) {
|
|
33
|
+
if (e.code !== 'ENOENT')
|
|
34
|
+
throw e;
|
|
35
|
+
}
|
|
36
|
+
if (exists) {
|
|
37
|
+
const current = await readStable(destination, MAX);
|
|
38
|
+
if (current.sha256 !== row.sha256 || current.text !== row.text)
|
|
39
|
+
throw new Error('claim_proof_material_conflict');
|
|
40
|
+
}
|
|
41
|
+
else {
|
|
42
|
+
const temporary = join(pool, randomUUID() + '.tmp');
|
|
43
|
+
try {
|
|
44
|
+
await writeExclusiveBytes(temporary, Buffer.from(row.text, 'utf8'));
|
|
45
|
+
try {
|
|
46
|
+
await link(temporary, destination);
|
|
47
|
+
}
|
|
48
|
+
catch (e) {
|
|
49
|
+
if (e.code !== 'EEXIST')
|
|
50
|
+
throw e;
|
|
51
|
+
const current = await readStable(destination, MAX);
|
|
52
|
+
if (current.sha256 !== row.sha256 || current.text !== row.text)
|
|
53
|
+
throw new Error('claim_proof_material_conflict');
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
finally {
|
|
57
|
+
try {
|
|
58
|
+
await unlink(temporary);
|
|
59
|
+
}
|
|
60
|
+
catch (e) {
|
|
61
|
+
if (e.code !== 'ENOENT')
|
|
62
|
+
throw e;
|
|
63
|
+
}
|
|
64
|
+
}
|
|
65
|
+
}
|
|
66
|
+
}
|
|
67
|
+
await syncDirectory(pool);
|
|
68
|
+
const root = { kind: 'rcl-claim-proof', version: 1, rootSha256: packed.rootSha256, sha256s: packed.materials.map(m => m.sha256).sort() };
|
|
69
|
+
serializeRecoveryDocument(root, MAX_RECOVERY_DOCUMENT_BYTES);
|
|
70
|
+
await inspectRecoveryDirectory(dirname(path), true);
|
|
71
|
+
await writeRecoveryArtifact(path, root);
|
|
72
|
+
await syncDirectory(dirname(path));
|
|
73
|
+
}
|
|
74
|
+
/** All references are re-read and hashed; missing or mutated bytes refuse even
|
|
75
|
+
* when the small root and its manifest digest still match. */
|
|
76
|
+
export async function readClaimProof(path, pool) {
|
|
77
|
+
await inspectRecoveryDirectory(dirname(path), true);
|
|
78
|
+
await inspectRecoveryDirectory(pool, true);
|
|
79
|
+
const root = decodeRecoveryDocument((await readStable(path, MAX_RECOVERY_DOCUMENT_BYTES)).text);
|
|
80
|
+
if (!root || root.kind !== 'rcl-claim-proof' || root.version !== 1 || typeof root.rootSha256 !== 'string' || !Array.isArray(root.sha256s) ||
|
|
81
|
+
root.sha256s.length > 20000 || !root.sha256s.includes(root.rootSha256) || !isDeepStrictEqual(root.sha256s, [...new Set(root.sha256s)].sort()) ||
|
|
82
|
+
!isDeepStrictEqual(Object.keys(root).sort(), ['kind', 'rootSha256', 'sha256s', 'version']))
|
|
83
|
+
throw new Error('claim_proof_reference_conflict');
|
|
84
|
+
let bytes = 0;
|
|
85
|
+
const rows = [];
|
|
86
|
+
for (const sha of root.sha256s) {
|
|
87
|
+
if (typeof sha !== 'string' || !/^[a-f0-9]{64}$/.test(sha))
|
|
88
|
+
throw new Error('claim_proof_reference_conflict');
|
|
89
|
+
const raw = await readStable(join(pool, sha), MAX);
|
|
90
|
+
bytes += Buffer.byteLength(raw.text);
|
|
91
|
+
if (raw.sha256 !== sha || bytes > MAX)
|
|
92
|
+
throw new Error('claim_proof_material_conflict');
|
|
93
|
+
rows.push({ sha256: sha, text: raw.text });
|
|
94
|
+
}
|
|
95
|
+
return unpackRecoveryMaterial(root.rootSha256, rows);
|
|
96
|
+
}
|
|
97
|
+
//# sourceMappingURL=proof-storage.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"proof-storage.js","sourceRoot":"","sources":["../../../src/evidence/claim-recovery/proof-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAC,KAAK,EAAC,IAAI,EAAC,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAC,IAAI,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,yBAAyB,EAAC,mBAAmB,EAAC,aAAa,EAAC,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACrI,OAAO,EAAE,UAAU,EAAC,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAC,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACxF,MAAM,GAAG,GAAC,EAAE,GAAC,IAAI,GAAC,IAAI,CAAC;AACvB;gFACgF;AAChF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY,EAAC,IAAY,EAAC,KAAc;IAC5E,MAAM,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAC,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,IAAI,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAClC,MAAM,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,OAAM,CAAC,EAAE,CAAC;QACR,IAAI,CAA2B,CAAC,IAAI,KAAG,QAAQ;YAC7C,MAAM,CAAC,CAAC;IACZ,CAAC;IACD,MAAM,wBAAwB,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,KAAI,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QAClC,MAAM,WAAW,GAAC,IAAI,CAAC,IAAI,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,MAAM,GAAC,KAAK,CAAC;QACjB,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,WAAW,CAAC,CAAC;YACzB,MAAM,GAAC,IAAI,CAAC;QACd,CAAC;QACD,OAAM,CAAC,EAAE,CAAC;YACR,IAAI,CAA2B,CAAC,IAAI,KAAG,QAAQ;gBAC7C,MAAM,CAAC,CAAC;QACZ,CAAC;QACD,IAAG,MAAM,EAAE,CAAC;YACV,MAAM,OAAO,GAAC,MAAM,UAAU,CAAC,WAAW,EAAC,GAAG,CAAC,CAAC;YAChD,IAAG,OAAO,CAAC,MAAM,KAAG,GAAG,CAAC,MAAM,IAAE,OAAO,CAAC,IAAI,KAAG,GAAG,CAAC,IAAI;gBACrD,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACrD,CAAC;aACI,CAAC;YACJ,MAAM,SAAS,GAAC,IAAI,CAAC,IAAI,EAAC,UAAU,EAAE,GAAC,MAAM,CAAC,CAAC;YAC/C,IAAI,CAAC;gBACH,MAAM,mBAAmB,CAAC,SAAS,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAC,MAAM,CAAC,CAAC,CAAC;gBAClE,IAAI,CAAC;oBACH,MAAM,IAAI,CAAC,SAAS,EAAC,WAAW,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAM,CAAC,EAAE,CAAC;oBACR,IAAI,CAA2B,CAAC,IAAI,KAAG,QAAQ;wBAC7C,MAAM,CAAC,CAAC;oBACV,MAAM,OAAO,GAAC,MAAM,UAAU,CAAC,WAAW,EAAC,GAAG,CAAC,CAAC;oBAChD,IAAG,OAAO,CAAC,MAAM,KAAG,GAAG,CAAC,MAAM,IAAE,OAAO,CAAC,IAAI,KAAG,GAAG,CAAC,IAAI;wBACrD,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;oBACO,CAAC;gBACP,IAAI,CAAC;oBACH,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC1B,CAAC;gBACD,OAAM,CAAC,EAAE,CAAC;oBACR,IAAI,CAA2B,CAAC,IAAI,KAAG,QAAQ;wBAC7C,MAAM,CAAC,CAAC;gBACZ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAC,EAAE,IAAI,EAAE,iBAAiB,EAAC,OAAO,EAAE,CAAC,EAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACpI,yBAAyB,CAAC,IAAI,EAAC,2BAA2B,CAAC,CAAC;IAC5D,MAAM,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAC,IAAI,CAAC,CAAC;IACnD,MAAM,qBAAqB,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC;IACvC,MAAM,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;AACrC,CAAC;AACD;8DAC8D;AAC9D,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY,EAAC,IAAY;IAC5D,MAAM,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAC,IAAI,CAAC,CAAC;IACnD,MAAM,wBAAwB,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAC,sBAAsB,CAAC,CAAC,MAAM,UAAU,CAAC,IAAI,EAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAA2B,CAAC;IACvH,IAAG,CAAC,IAAI,IAAE,IAAI,CAAC,IAAI,KAAG,iBAAiB,IAAE,IAAI,CAAC,OAAO,KAAG,CAAC,IAAE,OAAO,IAAI,CAAC,UAAU,KAAG,QAAQ,IAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QACxH,IAAI,CAAC,OAAO,CAAC,MAAM,GAAC,KAAK,IAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAC,CAAC,MAAM,EAAC,YAAY,EAAC,SAAS,EAAC,SAAS,CAAC,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,IAAI,KAAK,GAAC,CAAC,CAAC;IACZ,MAAM,IAAI,GAAC,EAAE,CAAC;IACd,KAAI,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAG,OAAO,GAAG,KAAG,QAAQ,IAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAC,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,EAAC,GAAG,CAAC,EAAC,GAAG,CAAC,CAAC;QAC/C,KAAK,IAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAG,GAAG,CAAC,MAAM,KAAG,GAAG,IAAE,KAAK,GAAC,GAAG;YAC5B,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAC,IAAI,CAAC,CAAC;AACtD,CAAC"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import type { ClaimDescriptor } from './claims.js';
|
|
2
|
+
import { type ClaimSplitInput, type PreparedClaimSplit } from './claim-split.js';
|
|
3
|
+
import { type EventReceipt, type EventReceiptScope } from './receipts.js';
|
|
4
|
+
export interface NativeCorrectionAnchor {
|
|
5
|
+
version: 1;
|
|
6
|
+
operationId: string;
|
|
7
|
+
destination: EventReceiptScope;
|
|
8
|
+
identity: string;
|
|
9
|
+
descriptor: ClaimDescriptor;
|
|
10
|
+
source: PreparedClaimSplit['source'];
|
|
11
|
+
nativeSource: {
|
|
12
|
+
version: 1 | 2 | 3;
|
|
13
|
+
sha256: string;
|
|
14
|
+
};
|
|
15
|
+
/** Preserve exact prepared bytes separately from normalized stored fields. */
|
|
16
|
+
eventJson: string;
|
|
17
|
+
receipt: EventReceipt;
|
|
18
|
+
}
|
|
19
|
+
/** Receipt-backed recovery metadata is separate from original producer history. */
|
|
20
|
+
export declare function correctionAnchor(input: ClaimSplitInput, receipt: EventReceipt, actor: string, operationId: string): NativeCorrectionAnchor;
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
import { prepareClaimSplit } from './claim-split.js';
|
|
2
|
+
import { matchesPreparedEventReceipt } from './receipts.js';
|
|
3
|
+
import { uuidSchema } from './primitives.js';
|
|
4
|
+
/** Receipt-backed recovery metadata is separate from original producer history. */
|
|
5
|
+
export function correctionAnchor(input, receipt, actor, operationId) {
|
|
6
|
+
try {
|
|
7
|
+
if (!uuidSchema.safeParse(operationId).success)
|
|
8
|
+
throw new Error('invalid_operation');
|
|
9
|
+
const prepared = prepareClaimSplit(input);
|
|
10
|
+
const eventJson = JSON.stringify(prepared.event);
|
|
11
|
+
if (!matchesPreparedEventReceipt(receipt, eventJson, input.scope, actor))
|
|
12
|
+
throw new Error('receipt_mismatch');
|
|
13
|
+
const evidence = prepared.event.payload.native_evidence;
|
|
14
|
+
return structuredClone({ version: 1, operationId, destination: input.scope, identity: input.identity, descriptor: input.descriptor,
|
|
15
|
+
source: prepared.source, nativeSource: { version: evidence.state_version, sha256: evidence.state_sha256 },
|
|
16
|
+
eventJson, receipt });
|
|
17
|
+
}
|
|
18
|
+
catch {
|
|
19
|
+
throw new Error('correction_anchor_source_conflict');
|
|
20
|
+
}
|
|
21
|
+
}
|
|
22
|
+
//# sourceMappingURL=anchors.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"anchors.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/anchors.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAiD,MAAM,kBAAkB,CAAC;AACpG,OAAO,EAAE,2BAA2B,EAA6C,MAAM,eAAe,CAAC;AACvG,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAe7C,mFAAmF;AACnF,MAAM,UAAU,gBAAgB,CAAC,KAAsB,EAAE,OAAqB,EAAE,KAAa,EAAE,WAAmB;IAChH,IAAI,CAAC;QACH,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,2BAA2B,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC9G,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,eAAqE,CAAC;QAC9G,OAAO,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU;YAChI,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,YAAY,EAAE;YACzG,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAAC,CAAC;AACnE,CAAC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import type { CarrierProjectionInput, OccurrenceCarrierProjection } from './carrier-types.js';
|
|
2
|
+
export declare const MAX_CARRIER_INVENTORY = 2000;
|
|
3
|
+
export declare const MAX_CARRIER_PREFIX_ROUNDS = 1000;
|
|
4
|
+
/**
|
|
5
|
+
* Project only the supplied inventory's content. Even a residual-free result is
|
|
6
|
+
* neither authenticated prefix completeness nor native/server closure, claim
|
|
7
|
+
* disposition, gate standing or permission to write. No accounting is changed.
|
|
8
|
+
*/
|
|
9
|
+
export declare function projectOccurrenceCarrier(input: CarrierProjectionInput): OccurrenceCarrierProjection;
|