pi-daddy 0.22.0 → 0.23.0
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/CHANGELOG.md +30 -0
- package/contracts/daily-view/v1/README.md +114 -0
- package/contracts/daily-view/v1/fixtures/view.json +525 -0
- package/contracts/daily-view/v1/fixtures/view.txt +75 -0
- package/contracts/daily-view/v1/fixtures/work.jsonl +17 -0
- package/contracts/daily-view/v1/p03/README.md +26 -0
- package/contracts/daily-view/v1/p03/fixtures/retained-executions.json +241 -0
- package/contracts/daily-view/v1/p03/projection.schema.json +194 -0
- package/contracts/daily-view/v1/p03/provenance.json +21 -0
- package/contracts/dashboard-host/v1/README.md +176 -0
- package/contracts/debrief/v1/README.md +146 -0
- package/contracts/debrief/v1/intervention/README.md +32 -0
- package/contracts/debrief/v1/intervention/fixtures/artifact-3ee11136beb864f518252e5024dae9197421fbf97b6e981d3243c782b5c44bd0.txt +1 -0
- package/contracts/debrief/v1/intervention/fixtures/artifact-58905d872dd3c54a9705f67b05fa82edbad7af6476ae8993faf1a7b9fadfb905.txt +1 -0
- package/contracts/debrief/v1/intervention/fixtures/assessment.json +29 -0
- package/contracts/debrief/v1/intervention/fixtures/blind-view.json +20 -0
- package/contracts/debrief/v1/intervention/fixtures/choice.json +7 -0
- package/contracts/debrief/v1/intervention/fixtures/manifest.json +57 -0
- package/contracts/debrief/v1/intervention/fixtures/reveal.json +39 -0
- package/contracts/debrief/v1/provenance.json +89 -0
- package/contracts/debrief/v1/work-capture/README.md +38 -0
- package/contracts/debrief/v1/work-capture/fixtures/batch.json +17 -0
- package/contracts/debrief/v1/work-capture/fixtures/cases.json +184 -0
- package/contracts/debrief/v1/work-capture/fixtures/review.json +184 -0
- package/contracts/debrief/v1/work-capture/review-request.schema.json +41 -0
- package/contracts/debrief/v1/work-capture/work-case.schema.json +190 -0
- package/contracts/debrief/v2/README.md +71 -0
- package/contracts/debrief/v2/input-pin.json +66 -0
- package/contracts/debrief/v2/intervention-upstream.md +40 -0
- package/contracts/debrief/v2/work-signals-upstream.md +22 -0
- package/contracts/dispatch-control/v1/README.md +109 -0
- package/contracts/dispatch-control/v1/request.schema.json +19 -0
- package/contracts/effect-profile/v1/README.md +124 -0
- package/contracts/execution-retention/v1/README.md +109 -0
- package/contracts/execution-retention/v2/README.md +148 -0
- package/contracts/execution-retention/v2/fixtures/interrupted-native-bytes.json +91 -0
- package/contracts/execution-retention/v2/fixtures/missing-native-session.json +91 -0
- package/contracts/execution-retention/v2/fixtures/native-file-unknown-branch.json +91 -0
- package/contracts/execution-retention/v2/fixtures/native-id-without-bytes.json +91 -0
- package/contracts/execution-retention/v2/fixtures/native-live-branch.json +90 -0
- package/contracts/execution-retention/v2/fixtures/replaced-native-session.json +92 -0
- package/contracts/execution-retention/v2/fixtures/result-82c620cdfeb8ca6b858cf653d7f5e2eedca5315d6244216d60e8b36f03223d6a.bin +1 -0
- package/contracts/execution-retention/v2/fixtures/session-2ec1f134bc739984434f7fca689e1c3d1c39fce2dcadae709e9b6faedfcc4ac7.bin +3 -0
- package/contracts/execution-retention/v2/fixtures/session-9bdb4bd16a901da31580acf056bda525225259e15ec409e0410480109011772f.bin +3 -0
- package/contracts/execution-retention/v2/manifest.schema.json +858 -0
- package/contracts/experiment/v1/README.md +164 -0
- package/contracts/factory-order/v1/README.md +151 -0
- package/contracts/factory-order/v1/adoption-pin.json +8 -0
- package/contracts/intent-control/v1/README.md +135 -0
- package/contracts/intent-control/v1/request.schema.json +1096 -0
- package/contracts/intent-control/v2/README.md +34 -0
- package/contracts/intent-control/v2/request.schema.json +1070 -0
- package/contracts/ledger/v4/README.md +241 -0
- package/contracts/ledger/v4/fixtures/layout-options.json +428 -0
- package/contracts/ledger/v4/fixtures/work-acceptance.json +57 -0
- package/contracts/ledger/v4/fixtures/work-occurrence.json +44 -0
- package/contracts/ledger/v4/fixtures/work-revision.json +26 -0
- package/contracts/ledger/v4/fixtures/work-snapshot.json +73 -0
- package/contracts/ledger/v4/ledger-event.schema.json +162 -0
- package/contracts/ordinary-control/v1/README.md +59 -0
- package/contracts/producer-ipc/v1/README.md +137 -0
- package/dist/check-runner.d.ts +5 -0
- package/dist/check-runner.d.ts.map +1 -1
- package/dist/check-runner.js +16 -2
- package/dist/check-runner.js.map +1 -1
- package/dist/control-journal.d.ts +20 -0
- package/dist/control-journal.d.ts.map +1 -0
- package/dist/control-journal.js +73 -0
- package/dist/control-journal.js.map +1 -0
- package/dist/daily-view-input.d.ts +44 -0
- package/dist/daily-view-input.d.ts.map +1 -0
- package/dist/daily-view-input.js +68 -0
- package/dist/daily-view-input.js.map +1 -0
- package/dist/daily-view-render.d.ts +4 -0
- package/dist/daily-view-render.d.ts.map +1 -0
- package/dist/daily-view-render.js +41 -0
- package/dist/daily-view-render.js.map +1 -0
- package/dist/daily-view.d.ts +74 -0
- package/dist/daily-view.d.ts.map +1 -0
- package/dist/daily-view.js +170 -0
- package/dist/daily-view.js.map +1 -0
- package/dist/dashboard-cli.d.ts +26 -1
- package/dist/dashboard-cli.d.ts.map +1 -1
- package/dist/dashboard-cli.js +121 -3
- package/dist/dashboard-cli.js.map +1 -1
- package/dist/dashboard-harness.d.ts +19 -0
- package/dist/dashboard-harness.d.ts.map +1 -0
- package/dist/dashboard-harness.js +75 -0
- package/dist/dashboard-harness.js.map +1 -0
- package/dist/dashboard-herdr.d.ts.map +1 -1
- package/dist/dashboard-herdr.js +7 -2
- package/dist/dashboard-herdr.js.map +1 -1
- package/dist/dashboard-host-contract.d.ts +111 -0
- package/dist/dashboard-host-contract.d.ts.map +1 -0
- package/dist/dashboard-host-contract.js +14 -0
- package/dist/dashboard-host-contract.js.map +1 -0
- package/dist/dashboard-host-transport.d.ts +15 -0
- package/dist/dashboard-host-transport.d.ts.map +1 -0
- package/dist/dashboard-host-transport.js +122 -0
- package/dist/dashboard-host-transport.js.map +1 -0
- package/dist/dashboard-host.d.ts +149 -0
- package/dist/dashboard-host.d.ts.map +1 -0
- package/dist/dashboard-host.js +329 -0
- package/dist/dashboard-host.js.map +1 -0
- package/dist/dashboard-observation.d.ts +28 -0
- package/dist/dashboard-observation.d.ts.map +1 -0
- package/dist/dashboard-observation.js +86 -0
- package/dist/dashboard-observation.js.map +1 -0
- package/dist/debrief-contract.d.ts +65 -0
- package/dist/debrief-contract.d.ts.map +1 -0
- package/dist/debrief-contract.js +151 -0
- package/dist/debrief-contract.js.map +1 -0
- package/dist/debrief-fixture.d.ts +16 -0
- package/dist/debrief-fixture.d.ts.map +1 -0
- package/dist/debrief-fixture.js +41 -0
- package/dist/debrief-fixture.js.map +1 -0
- package/dist/debrief-host.d.ts +59 -0
- package/dist/debrief-host.d.ts.map +1 -0
- package/dist/debrief-host.js +49 -0
- package/dist/debrief-host.js.map +1 -0
- package/dist/debrief-render.d.ts +5 -0
- package/dist/debrief-render.d.ts.map +1 -0
- package/dist/debrief-render.js +65 -0
- package/dist/debrief-render.js.map +1 -0
- package/dist/debrief.d.ts +90 -0
- package/dist/debrief.d.ts.map +1 -0
- package/dist/debrief.js +263 -0
- package/dist/debrief.js.map +1 -0
- package/dist/delegate-types.d.ts +2 -0
- package/dist/delegate-types.d.ts.map +1 -1
- package/dist/delegate-types.js.map +1 -1
- package/dist/delegate.d.ts.map +1 -1
- package/dist/delegate.js +1 -0
- package/dist/delegate.js.map +1 -1
- package/dist/dispatch-control.d.ts +45 -0
- package/dist/dispatch-control.d.ts.map +1 -0
- package/dist/dispatch-control.js +76 -0
- package/dist/dispatch-control.js.map +1 -0
- package/dist/effect-profile-runtime.d.ts +40 -0
- package/dist/effect-profile-runtime.d.ts.map +1 -0
- package/dist/effect-profile-runtime.js +51 -0
- package/dist/effect-profile-runtime.js.map +1 -0
- package/dist/effect-profile.d.ts +40 -0
- package/dist/effect-profile.d.ts.map +1 -0
- package/dist/effect-profile.js +152 -0
- package/dist/effect-profile.js.map +1 -0
- package/dist/execution-retention.d.ts +90 -0
- package/dist/execution-retention.d.ts.map +1 -0
- package/dist/execution-retention.js +247 -0
- package/dist/execution-retention.js.map +1 -0
- package/dist/experiment-contract.d.ts +56 -0
- package/dist/experiment-contract.d.ts.map +1 -0
- package/dist/experiment-contract.js +80 -0
- package/dist/experiment-contract.js.map +1 -0
- package/dist/experiment-state.d.ts +22 -0
- package/dist/experiment-state.d.ts.map +1 -0
- package/dist/experiment-state.js +79 -0
- package/dist/experiment-state.js.map +1 -0
- package/dist/experiment-store.d.ts +28 -0
- package/dist/experiment-store.d.ts.map +1 -0
- package/dist/experiment-store.js +130 -0
- package/dist/experiment-store.js.map +1 -0
- package/dist/experiment.d.ts +65 -0
- package/dist/experiment.d.ts.map +1 -0
- package/dist/experiment.js +357 -0
- package/dist/experiment.js.map +1 -0
- package/dist/factory-contract.d.ts +79 -0
- package/dist/factory-contract.d.ts.map +1 -0
- package/dist/factory-contract.js +89 -0
- package/dist/factory-contract.js.map +1 -0
- package/dist/factory-migration.d.ts +20 -0
- package/dist/factory-migration.d.ts.map +1 -0
- package/dist/factory-migration.js +55 -0
- package/dist/factory-migration.js.map +1 -0
- package/dist/factory-order.d.ts +848 -0
- package/dist/factory-order.d.ts.map +1 -0
- package/dist/factory-order.js +83 -0
- package/dist/factory-order.js.map +1 -0
- package/dist/factory-registry.d.ts +121 -0
- package/dist/factory-registry.d.ts.map +1 -0
- package/dist/factory-registry.js +133 -0
- package/dist/factory-registry.js.map +1 -0
- package/dist/file-lock.d.ts +8 -2
- package/dist/file-lock.d.ts.map +1 -1
- package/dist/file-lock.js +78 -19
- package/dist/file-lock.js.map +1 -1
- package/dist/herdr-poll.d.ts +8 -0
- package/dist/herdr-poll.d.ts.map +1 -1
- package/dist/herdr-poll.js +23 -0
- package/dist/herdr-poll.js.map +1 -1
- package/dist/index.d.ts +20 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +20 -0
- package/dist/index.js.map +1 -1
- package/dist/intent-application.d.ts +17 -0
- package/dist/intent-application.d.ts.map +1 -0
- package/dist/intent-application.js +113 -0
- package/dist/intent-application.js.map +1 -0
- package/dist/intent-control.d.ts +201 -0
- package/dist/intent-control.d.ts.map +1 -0
- package/dist/intent-control.js +110 -0
- package/dist/intent-control.js.map +1 -0
- package/dist/intent-scheduling.d.ts +9 -0
- package/dist/intent-scheduling.d.ts.map +1 -0
- package/dist/intent-scheduling.js +15 -0
- package/dist/intent-scheduling.js.map +1 -0
- package/dist/ledger-append.d.ts +15 -0
- package/dist/ledger-append.d.ts.map +1 -0
- package/dist/ledger-append.js +94 -0
- package/dist/ledger-append.js.map +1 -0
- package/dist/ledger.d.ts +11 -0
- package/dist/ledger.d.ts.map +1 -1
- package/dist/ledger.js +3 -7
- package/dist/ledger.js.map +1 -1
- package/dist/native-session-target.d.ts +9 -0
- package/dist/native-session-target.d.ts.map +1 -0
- package/dist/native-session-target.js +29 -0
- package/dist/native-session-target.js.map +1 -0
- package/dist/native-session.d.ts +59 -0
- package/dist/native-session.d.ts.map +1 -0
- package/dist/native-session.js +154 -0
- package/dist/native-session.js.map +1 -0
- package/dist/order-schedule.d.ts +37 -0
- package/dist/order-schedule.d.ts.map +1 -0
- package/dist/order-schedule.js +81 -0
- package/dist/order-schedule.js.map +1 -0
- package/dist/ordinary-children.d.ts +52 -0
- package/dist/ordinary-children.d.ts.map +1 -0
- package/dist/ordinary-children.js +93 -0
- package/dist/ordinary-children.js.map +1 -0
- package/dist/producer-ipc-contract.d.ts +29 -0
- package/dist/producer-ipc-contract.d.ts.map +1 -0
- package/dist/producer-ipc-contract.js +29 -0
- package/dist/producer-ipc-contract.js.map +1 -0
- package/dist/producer-ipc.d.ts +55 -0
- package/dist/producer-ipc.d.ts.map +1 -0
- package/dist/producer-ipc.js +143 -0
- package/dist/producer-ipc.js.map +1 -0
- package/dist/resource-budget.d.ts +334 -0
- package/dist/resource-budget.d.ts.map +1 -0
- package/dist/resource-budget.js +415 -0
- package/dist/resource-budget.js.map +1 -0
- package/dist/retention-contract.d.ts +73 -0
- package/dist/retention-contract.d.ts.map +1 -0
- package/dist/retention-contract.js +104 -0
- package/dist/retention-contract.js.map +1 -0
- package/dist/retention-json.d.ts +3 -0
- package/dist/retention-json.d.ts.map +1 -0
- package/dist/retention-json.js +32 -0
- package/dist/retention-json.js.map +1 -0
- package/dist/run-child.d.ts +4 -0
- package/dist/run-child.d.ts.map +1 -1
- package/dist/run-child.js +16 -2
- package/dist/run-child.js.map +1 -1
- package/dist/run-herdr.d.ts +6 -0
- package/dist/run-herdr.d.ts.map +1 -1
- package/dist/run-herdr.js +19 -6
- package/dist/run-herdr.js.map +1 -1
- package/dist/vendor/adoption.d.ts +129 -0
- package/dist/vendor/adoption.d.ts.map +1 -0
- package/dist/vendor/adoption.js +102 -0
- package/dist/vendor/adoption.js.map +1 -0
- package/dist/work-ledger-destination.d.ts +20 -0
- package/dist/work-ledger-destination.d.ts.map +1 -0
- package/dist/work-ledger-destination.js +131 -0
- package/dist/work-ledger-destination.js.map +1 -0
- package/dist/work-ledger-json.d.ts +25 -0
- package/dist/work-ledger-json.d.ts.map +1 -0
- package/dist/work-ledger-json.js +267 -0
- package/dist/work-ledger-json.js.map +1 -0
- package/dist/work-ledger-occurrences.d.ts +227 -0
- package/dist/work-ledger-occurrences.d.ts.map +1 -0
- package/dist/work-ledger-occurrences.js +115 -0
- package/dist/work-ledger-occurrences.js.map +1 -0
- package/dist/work-ledger-projection.d.ts +295 -0
- package/dist/work-ledger-projection.d.ts.map +1 -0
- package/dist/work-ledger-projection.js +237 -0
- package/dist/work-ledger-projection.js.map +1 -0
- package/dist/work-ledger-snapshot.d.ts +29 -0
- package/dist/work-ledger-snapshot.d.ts.map +1 -0
- package/dist/work-ledger-snapshot.js +267 -0
- package/dist/work-ledger-snapshot.js.map +1 -0
- package/dist/work-ledger-types.d.ts +261 -0
- package/dist/work-ledger-types.d.ts.map +1 -0
- package/dist/work-ledger-types.js +13 -0
- package/dist/work-ledger-types.js.map +1 -0
- package/dist/work-ledger-validation.d.ts +14 -0
- package/dist/work-ledger-validation.d.ts.map +1 -0
- package/dist/work-ledger-validation.js +226 -0
- package/dist/work-ledger-validation.js.map +1 -0
- package/dist/work-ledger.d.ts +43 -0
- package/dist/work-ledger.d.ts.map +1 -0
- package/dist/work-ledger.js +225 -0
- package/dist/work-ledger.js.map +1 -0
- package/extensions/delegate-chain.ts +1 -0
- package/extensions/delegation-native.ts +12 -0
- package/extensions/delegation.ts +4 -3
- package/extensions/execute-child.ts +34 -4
- package/extensions/grants.ts +2 -0
- package/extensions/ordinary-runtime.ts +14 -0
- package/extensions/run-delegation.ts +7 -7
- package/extensions/session.ts +3 -1
- package/package.json +78 -4
- package/src/check-runner.ts +20 -2
- package/src/control-journal.ts +26 -0
- package/src/daily-view-input.ts +59 -0
- package/src/daily-view-render.ts +44 -0
- package/src/daily-view.ts +152 -0
- package/src/dashboard-cli.ts +103 -4
- package/src/dashboard-harness.ts +28 -0
- package/src/dashboard-herdr.ts +7 -2
- package/src/dashboard-host-contract.ts +42 -0
- package/src/dashboard-host-transport.ts +38 -0
- package/src/dashboard-host.ts +168 -0
- package/src/dashboard-observation.ts +44 -0
- package/src/debrief-contract.ts +127 -0
- package/src/debrief-fixture.ts +29 -0
- package/src/debrief-host.ts +53 -0
- package/src/debrief-render.ts +49 -0
- package/src/debrief.ts +198 -0
- package/src/delegate-types.ts +2 -0
- package/src/delegate.ts +1 -0
- package/src/dispatch-control.ts +81 -0
- package/src/effect-profile-runtime.ts +46 -0
- package/src/effect-profile.ts +129 -0
- package/src/execution-retention.ts +230 -0
- package/src/experiment-contract.ts +66 -0
- package/src/experiment-state.ts +44 -0
- package/src/experiment-store.ts +90 -0
- package/src/experiment.ts +231 -0
- package/src/factory-contract.ts +47 -0
- package/src/factory-migration.ts +29 -0
- package/src/factory-order.ts +56 -0
- package/src/factory-registry.ts +60 -0
- package/src/file-lock.ts +47 -11
- package/src/herdr-poll.ts +18 -0
- package/src/index.ts +32 -0
- package/src/intent-application.ts +90 -0
- package/src/intent-control.ts +107 -0
- package/src/intent-scheduling.ts +14 -0
- package/src/ledger-append.ts +72 -0
- package/src/ledger.ts +3 -9
- package/src/native-session-target.ts +23 -0
- package/src/native-session.ts +139 -0
- package/src/order-schedule.ts +42 -0
- package/src/ordinary-children.ts +59 -0
- package/src/producer-ipc-contract.ts +26 -0
- package/src/producer-ipc.ts +107 -0
- package/src/resource-budget.ts +349 -0
- package/src/retention-contract.ts +84 -0
- package/src/retention-json.ts +20 -0
- package/src/run-child.ts +13 -2
- package/src/run-herdr.ts +11 -7
- package/src/vendor/adoption.ts +109 -0
- package/src/work-ledger-destination.ts +113 -0
- package/src/work-ledger-json.ts +228 -0
- package/src/work-ledger-occurrences.ts +99 -0
- package/src/work-ledger-projection.ts +262 -0
- package/src/work-ledger-snapshot.ts +246 -0
- package/src/work-ledger-types.ts +229 -0
- package/src/work-ledger-validation.ts +174 -0
- package/src/work-ledger.ts +186 -0
|
@@ -0,0 +1,102 @@
|
|
|
1
|
+
import { createHash } from "node:crypto";
|
|
2
|
+
const SHA = /^[a-f0-9]{64}$/;
|
|
3
|
+
const text = (x) => typeof x === "string" && x.length > 0 && x.length <= 512 && !/[\u0000-\u001f\u007f]/.test(x);
|
|
4
|
+
const closed = (value, names) => {
|
|
5
|
+
if (!value || ![Object.prototype, null].includes(Object.getPrototypeOf(value)))
|
|
6
|
+
return false;
|
|
7
|
+
const fields = Object.getOwnPropertyDescriptors(value);
|
|
8
|
+
return Reflect.ownKeys(fields).length === names.length && Reflect.ownKeys(fields).every(key => typeof key === "string" && names.includes(key) && fields[key].enumerable && Object.hasOwn(fields[key], "value"));
|
|
9
|
+
};
|
|
10
|
+
const hash = (value) => createHash("sha256").update(JSON.stringify(Object.keys(value).sort().map(k => [k, value[k]]))).digest("hex");
|
|
11
|
+
export function buildAdoptionBinding(input) {
|
|
12
|
+
if (!input || !closed(input, ["hypothesisDigest", "experimentDigest", "candidateDigest", "scopeDigest", "assessmentPolicyDigest", "rollbackCandidateDigest", "activationBoundary", "expiresAt"])
|
|
13
|
+
|| ![input.hypothesisDigest, input.experimentDigest, input.candidateDigest, input.scopeDigest, input.assessmentPolicyDigest, input.rollbackCandidateDigest].every(s => typeof s === "string" && SHA.test(s))
|
|
14
|
+
|| input.activationBoundary !== "next-orders" || !Number.isSafeInteger(input.expiresAt) || input.expiresAt < 0)
|
|
15
|
+
throw new Error("invalid scoped adoption binding");
|
|
16
|
+
const body = { version: "adoption-binding-v1", ...input };
|
|
17
|
+
return Object.freeze({ ...body, id: hash(body) });
|
|
18
|
+
}
|
|
19
|
+
function bindingValid(binding) {
|
|
20
|
+
const { version, id, ...input } = binding;
|
|
21
|
+
if (version !== "adoption-binding-v1" || buildAdoptionBinding(input).id !== id)
|
|
22
|
+
throw new Error("adoption binding changed");
|
|
23
|
+
}
|
|
24
|
+
function authorityValid(authority) {
|
|
25
|
+
return !!authority && text(authority.id) && Array.isArray(authority.adoptions) && Array.isArray(authority.rollbacks)
|
|
26
|
+
&& authority.adoptions.length <= 256 && authority.rollbacks.length <= 256 && [...authority.adoptions, ...authority.rollbacks].every(id => typeof id === "string" && SHA.test(id));
|
|
27
|
+
}
|
|
28
|
+
/** Independent host declarations and independently verified eligible facts are required again at use. */
|
|
29
|
+
export function authorizeAdoption(binding, authority, facts, now) {
|
|
30
|
+
bindingValid(binding);
|
|
31
|
+
if (!authorityValid(authority) || !authority.adoptions.includes(binding.id))
|
|
32
|
+
throw new Error("independent adoption authority required");
|
|
33
|
+
if (!Number.isSafeInteger(now) || now < 0 || now >= binding.expiresAt || !facts || !closed(facts, ["experimentDigest", "candidateDigest", "scopeDigest", "assessmentPolicyDigest", "eligible"]) || facts.eligible !== true
|
|
34
|
+
|| facts.experimentDigest !== binding.experimentDigest || facts.candidateDigest !== binding.candidateDigest
|
|
35
|
+
|| facts.scopeDigest !== binding.scopeDigest || facts.assessmentPolicyDigest !== binding.assessmentPolicyDigest)
|
|
36
|
+
throw new Error("adoption expired, ineligible or outside verified scope");
|
|
37
|
+
const body = { version: "adoption-receipt-v1", bindingId: binding.id, authorityId: authority.id, hypothesisDigest: binding.hypothesisDigest,
|
|
38
|
+
experimentDigest: binding.experimentDigest, candidateDigest: binding.candidateDigest, scopeDigest: binding.scopeDigest,
|
|
39
|
+
assessmentPolicyDigest: binding.assessmentPolicyDigest, rollbackCandidateDigest: binding.rollbackCandidateDigest,
|
|
40
|
+
activationBoundary: "next-orders", grantExpansion: false, expiresAt: binding.expiresAt };
|
|
41
|
+
return Object.freeze({ ...body, id: hash(body) });
|
|
42
|
+
}
|
|
43
|
+
export function validateAdoptionReceipt(receipt, binding, authority, facts, now) {
|
|
44
|
+
if (authorizeAdoption(binding, authority, facts, now).id !== receipt.id)
|
|
45
|
+
throw new Error("adoption receipt does not match current independent authority/facts");
|
|
46
|
+
receiptValid(receipt);
|
|
47
|
+
}
|
|
48
|
+
function receiptValid(receipt) {
|
|
49
|
+
const { id, ...body } = receipt;
|
|
50
|
+
if (!closed(receipt, ["version", "bindingId", "authorityId", "hypothesisDigest", "experimentDigest", "candidateDigest", "scopeDigest", "assessmentPolicyDigest", "rollbackCandidateDigest", "activationBoundary", "grantExpansion", "expiresAt", "id"])
|
|
51
|
+
|| body.version !== "adoption-receipt-v1" || !text(body.authorityId) || body.activationBoundary !== "next-orders" || body.grantExpansion !== false || hash(body) !== id)
|
|
52
|
+
throw new Error("adoption receipt changed");
|
|
53
|
+
const binding = buildAdoptionBinding({ hypothesisDigest: body.hypothesisDigest, experimentDigest: body.experimentDigest, candidateDigest: body.candidateDigest,
|
|
54
|
+
scopeDigest: body.scopeDigest, assessmentPolicyDigest: body.assessmentPolicyDigest, rollbackCandidateDigest: body.rollbackCandidateDigest, activationBoundary: body.activationBoundary, expiresAt: body.expiresAt });
|
|
55
|
+
if (binding.id !== body.bindingId)
|
|
56
|
+
throw new Error("adoption receipt binding mismatch");
|
|
57
|
+
}
|
|
58
|
+
export function classifyProductionObservation(adoption, input) {
|
|
59
|
+
receiptValid(adoption);
|
|
60
|
+
if (!input || !text(input.id) || input.evidence.length > 256 || input.evidence.some(h => !SHA.test(h))
|
|
61
|
+
|| ![input.originalRequirementDigest, input.currentRequirementDigest, input.candidateDigest, input.scopeDigest, input.observedArtifactDigest].every(h => typeof h === "string" && SHA.test(h))
|
|
62
|
+
|| ![input.acceptanceDigest, input.acceptedArtifactDigest].every(h => h === null || (typeof h === "string" && SHA.test(h)))
|
|
63
|
+
|| (input.acceptanceDigest === null) !== (input.acceptedArtifactDigest === null)
|
|
64
|
+
|| !["confirmed-defect", "success", "unknown"].includes(input.outcome))
|
|
65
|
+
throw new Error("invalid production observation");
|
|
66
|
+
const state = input.adoptionId !== adoption.id || input.candidateDigest !== adoption.candidateDigest || input.scopeDigest !== adoption.scopeDigest ? "out-of-scope"
|
|
67
|
+
: input.originalRequirementDigest !== input.currentRequirementDigest ? "changed-requirements"
|
|
68
|
+
: input.acceptedArtifactDigest !== null && input.acceptedArtifactDigest !== input.observedArtifactDigest ? "changed-artifact"
|
|
69
|
+
: input.outcome === "confirmed-defect" && input.evidence.length ? input.acceptanceDigest === null ? "caught-defect" : "escape" : input.outcome === "success" ? "success" : "unknown";
|
|
70
|
+
return Object.freeze({ state, adoptionId: adoption.id, hypothesisDigest: adoption.hypothesisDigest, experimentDigest: adoption.experimentDigest, observationId: input.id, acceptanceDigest: input.acceptanceDigest, acceptedArtifactDigest: input.acceptedArtifactDigest, observedArtifactDigest: input.observedArtifactDigest, automaticRollback: false });
|
|
71
|
+
}
|
|
72
|
+
export function buildRollbackRequest(adoption, reason, evidence, expiresAt = adoption.expiresAt) {
|
|
73
|
+
receiptValid(adoption);
|
|
74
|
+
if (!Number.isSafeInteger(expiresAt) || expiresAt < 0 || !["operator-request", "confirmed-escape"].includes(reason) || !evidence.length || evidence.length > 256 || evidence.some(h => !SHA.test(h)))
|
|
75
|
+
throw new Error("invalid rollback request");
|
|
76
|
+
const body = { version: "rollback-request-v1", adoptionId: adoption.id, scopeDigest: adoption.scopeDigest, restoreCandidateDigest: adoption.rollbackCandidateDigest, reason, expiresAt, evidence: Object.freeze([...new Set(evidence)].sort()) };
|
|
77
|
+
return Object.freeze({ ...body, id: hash(body) });
|
|
78
|
+
}
|
|
79
|
+
/** This validates a recorded choice, not an automatic rollback action or a caller-created authority flag. */
|
|
80
|
+
export function authorizeRollback(adoption, request, authority, now, current) {
|
|
81
|
+
receiptValid(adoption);
|
|
82
|
+
const { id, ...body } = request;
|
|
83
|
+
if (!authorityValid(authority) || authority.id !== adoption.authorityId || !authority.rollbacks.includes(id))
|
|
84
|
+
throw new Error("independent rollback authority required");
|
|
85
|
+
if (hash(body) !== id || request.version !== "rollback-request-v1" || request.adoptionId !== adoption.id || request.scopeDigest !== adoption.scopeDigest
|
|
86
|
+
|| request.restoreCandidateDigest !== adoption.rollbackCandidateDigest || !Number.isSafeInteger(now) || now < 0 || !Number.isSafeInteger(request.expiresAt) || now >= request.expiresAt
|
|
87
|
+
|| !current || current.adoptionId !== adoption.id || current.candidateDigest !== adoption.candidateDigest || current.scopeDigest !== adoption.scopeDigest)
|
|
88
|
+
throw new Error("rollback binding changed or expired");
|
|
89
|
+
return Object.freeze({ requestId: id, adoptionId: adoption.id, restoreCandidateDigest: request.restoreCandidateDigest, scopeDigest: adoption.scopeDigest, grantExpansion: false, application: "not-performed" });
|
|
90
|
+
}
|
|
91
|
+
export function summarizeLeanOutcomes(population, rows) {
|
|
92
|
+
if (!text(population) || rows.length > 10000 || rows.some(r => r.population !== population || typeof r.complete !== "boolean" || typeof r.requirementsChanged !== "boolean"
|
|
93
|
+
|| ![true, false, null].includes(r.accepted) || !["confirmed", "none-observed", "unknown"].includes(r.escape)
|
|
94
|
+
|| [r.repairAttempts, r.decisionWaitMs, r.questions].some(n => n !== null && (!Number.isSafeInteger(n) || n < 0))))
|
|
95
|
+
throw new Error("invalid or incomparable lean population");
|
|
96
|
+
const complete = rows.filter(r => r.complete && r.accepted !== null && r.repairAttempts !== null);
|
|
97
|
+
const observed = (field) => ({ known: rows.reduce((n, r) => n + (r[field] ?? 0), 0), observed: rows.filter(r => r[field] !== null).length, total: rows.length });
|
|
98
|
+
return { population, firstPassAccepted: complete.filter(r => r.accepted && r.repairAttempts === 0).length, firstPassDenominator: complete.length,
|
|
99
|
+
incomplete: rows.length - complete.length, confirmedEscapes: rows.filter(r => r.escape === "confirmed" && !r.requirementsChanged).length,
|
|
100
|
+
changedRequirements: rows.filter(r => r.requirementsChanged).length, recovery: observed("repairAttempts"), decisionWait: observed("decisionWaitMs"), questions: observed("questions"), universalScore: null };
|
|
101
|
+
}
|
|
102
|
+
//# sourceMappingURL=adoption.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"adoption.js","sourceRoot":"","sources":["../../src/vendor/adoption.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,MAAM,GAAG,GAAG,gBAAgB,CAAC;AAC7B,MAAM,IAAI,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvI,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAAe,EAAE,EAAE;IAChD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7F,MAAM,MAAM,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AAClN,CAAC,CAAC;AACF,MAAM,IAAI,GAAG,CAAC,KAA8B,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAQ9J,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,WAAW,CAAC,CAAC;WAC3L,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAC,KAAK,CAAC,gBAAgB,EAAC,KAAK,CAAC,eAAe,EAAC,KAAK,CAAC,WAAW,EAAC,KAAK,CAAC,sBAAsB,EAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;WACpM,KAAK,CAAC,kBAAkB,KAAK,aAAa,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrK,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,qBAA8B,EAAE,GAAG,KAAK,EAAE,CAAC;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpD,CAAC;AACD,SAAS,YAAY,CAAC,OAAwB;IAC5C,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1C,IAAI,OAAO,KAAK,qBAAqB,IAAI,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;AAC9H,CAAC;AACD,SAAS,cAAc,CAAC,SAAmC;IACzD,OAAO,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;WAC/G,SAAS,CAAC,SAAS,CAAC,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AACtL,CAAC;AACD,yGAAyG;AACzG,MAAM,UAAU,iBAAiB,CAAC,OAAwB,EAAE,SAAmC,EAAE,KAAoB,EAAE,GAAW;IAChI,YAAY,CAAC,OAAO,CAAC,CAAC;IACtB,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACxI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,EAAE,wBAAwB,EAAE,UAAU,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;WACrN,KAAK,CAAC,gBAAgB,KAAK,OAAO,CAAC,gBAAgB,IAAI,KAAK,CAAC,eAAe,KAAK,OAAO,CAAC,eAAe;WACxG,KAAK,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,IAAI,KAAK,CAAC,sBAAsB,KAAK,OAAO,CAAC,sBAAsB;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC7L,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,qBAA8B,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAClJ,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW;QACtH,sBAAsB,EAAE,OAAO,CAAC,sBAAsB,EAAE,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;QAChH,kBAAkB,EAAE,aAAsB,EAAE,cAAc,EAAE,KAAc,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;IAC7G,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAwB,EAAE,OAAwB,EAAE,SAAmC,EAAE,KAAoB,EAAE,GAAW;IAChK,IAAI,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IAChK,YAAY,CAAC,OAAO,CAAC,CAAC;AACxB,CAAC;AACD,SAAS,YAAY,CAAC,OAAwB;IAC5C,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;WAClP,IAAI,CAAC,OAAO,KAAK,qBAAqB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,kBAAkB,KAAK,aAAa,IAAI,IAAI,CAAC,cAAc,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACvN,MAAM,OAAO,GAAG,oBAAoB,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe;QAC5J,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,sBAAsB,EAAE,IAAI,CAAC,sBAAsB,EAAE,uBAAuB,EAAE,IAAI,CAAC,uBAAuB,EAAE,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACvN,IAAI,OAAO,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;AAC1F,CAAC;AASD,MAAM,UAAU,6BAA6B,CAAC,QAAyB,EAAE,KAA4B;IACnG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACvB,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;WACjG,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAC,KAAK,CAAC,wBAAwB,EAAC,KAAK,CAAC,eAAe,EAAC,KAAK,CAAC,WAAW,EAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;WACvL,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;WACvH,CAAC,KAAK,CAAC,gBAAgB,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,sBAAsB,KAAK,IAAI,CAAC;WAC7E,CAAC,CAAC,kBAAkB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAC5H,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,IAAI,KAAK,CAAC,eAAe,KAAK,QAAQ,CAAC,eAAe,IAAI,KAAK,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc;QACjK,CAAC,CAAC,KAAK,CAAC,yBAAyB,KAAK,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAC,sBAAsB;YAC3F,CAAC,CAAC,KAAK,CAAC,sBAAsB,KAAK,IAAI,IAAI,KAAK,CAAC,sBAAsB,KAAK,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC,kBAAkB;gBAC3H,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,kBAAkB,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3L,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,sBAAsB,EAAE,KAAK,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,KAAK,CAAC,sBAAsB,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9V,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAAyB,EAAE,MAAiC,EAAE,QAAkB,EAAE,SAAS,GAAG,QAAQ,CAAC,SAAS;IACnJ,YAAY,CAAC,QAAQ,CAAC,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAClP,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,qBAA8B,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,sBAAsB,EAAE,QAAQ,CAAC,uBAAuB,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;IAC1P,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpD,CAAC;AACD,6GAA6G;AAC7G,MAAM,UAAU,iBAAiB,CAAC,QAAyB,EAAE,OAAwB,EAAE,SAAmC,EAAE,GAAW,EACrI,OAA6E;IAC7E,YAAY,CAAC,QAAQ,CAAC,CAAC;IAAC,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IACxD,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,QAAQ,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACzK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,OAAO,CAAC,OAAO,KAAK,qBAAqB,IAAI,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,IAAI,OAAO,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;WACnJ,OAAO,CAAC,sBAAsB,KAAK,QAAQ,CAAC,uBAAuB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,IAAI,OAAO,CAAC,SAAS;WACpL,CAAC,OAAO,IAAI,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,IAAI,OAAO,CAAC,eAAe,KAAK,QAAQ,CAAC,eAAe,IAAI,OAAO,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACpN,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,sBAAsB,EAAE,OAAO,CAAC,sBAAsB,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,cAAc,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC,CAAC;AACnN,CAAC;AAKD,MAAM,UAAU,qBAAqB,CAAC,UAAkB,EAAE,IAA4B;IACpF,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,mBAAmB,KAAK,SAAS;WACtK,CAAC,CAAC,IAAI,EAAC,KAAK,EAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAC,eAAe,EAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;WACtG,CAAC,CAAC,CAAC,cAAc,EAAC,CAAC,CAAC,cAAc,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC/K,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;IAClG,MAAM,QAAQ,GAAG,CAAC,KAAwD,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACpN,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,EAAE,QAAQ,CAAC,MAAM;QAC9I,UAAU,EAAE,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM;QACxI,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AAClN,CAAC"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import type { FileHandle } from "node:fs/promises";
|
|
2
|
+
import type { BigIntStats } from "node:fs";
|
|
3
|
+
/** Only actual errno-class failures cross the content-free filesystem error boundary. */
|
|
4
|
+
export declare function workFsError(error: unknown): error is NodeJS.ErrnoException;
|
|
5
|
+
export declare const validWorkPath: (path: string) => boolean;
|
|
6
|
+
/** Internal descriptor/topology facts, never a public result, ambient grant lookup or authority input. */
|
|
7
|
+
export interface WorkDestination {
|
|
8
|
+
readonly requestedPath: string;
|
|
9
|
+
readonly grantLedgerPath: string | null;
|
|
10
|
+
readonly path: string;
|
|
11
|
+
readonly existing: BigIntStats | null;
|
|
12
|
+
readonly protectedInodes: readonly BigIntStats[];
|
|
13
|
+
}
|
|
14
|
+
/** Read-only, complete preflight. A protected filename reserves its entire directory namespace too.
|
|
15
|
+
* Compare lexical paths, canonical paths and exact dev/ino identities; aliases outrank failed facts,
|
|
16
|
+
* which outrank unsafe topology. This is cooperative misrouting protection, NOT host containment. */
|
|
17
|
+
export declare function workDestination(requestedPath: string, grantLedgerPath: string | null): Promise<WorkDestination>;
|
|
18
|
+
/** Repeat classification after mkdir/acquisition/open. Never write through a freshly resolved handle. */
|
|
19
|
+
export declare function recheckWorkDestination(original: WorkDestination, handle?: FileHandle): Promise<void>;
|
|
20
|
+
//# sourceMappingURL=work-ledger-destination.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-destination.d.ts","sourceRoot":"","sources":["../src/work-ledger-destination.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAK3C,yFAAyF;AACzF,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,cAAc,CAE1E;AACD,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,YAAgE,CAAC;AAoB3G,0GAA0G;AAC1G,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,WAAW,EAAE,CAAC;CAClD;AAED;;qGAEqG;AACrG,wBAAsB,eAAe,CAAC,aAAa,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,CA0DrH;AAED,yGAAyG;AACzG,wBAAsB,sBAAsB,CAAC,QAAQ,EAAE,eAAe,EAAE,MAAM,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ1G"}
|
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
import { lstat, realpath, stat } from "node:fs/promises";
|
|
2
|
+
import { constants } from "node:os";
|
|
3
|
+
import { basename, dirname, isAbsolute, join, resolve } from "node:path";
|
|
4
|
+
import { WorkLedgerWriteError } from "./work-ledger-types.js";
|
|
5
|
+
/** Only actual errno-class failures cross the content-free filesystem error boundary. */
|
|
6
|
+
export function workFsError(error) {
|
|
7
|
+
return error instanceof Error && "code" in error && typeof error.code === "string" && Object.hasOwn(constants.errno, error.code);
|
|
8
|
+
}
|
|
9
|
+
export const validWorkPath = (path) => path.length > 0 && isAbsolute(path) && !path.includes("\0");
|
|
10
|
+
// Node encodes string filesystem paths as UTF-8: lone UTF-16 surrogates become U+FFFD.
|
|
11
|
+
// Compare that exact spelling even for absent leaves/ancestors, before mkdir or lock acquisition.
|
|
12
|
+
// This preserves valid Unicode verbatim; it is not Unicode normalization or case folding.
|
|
13
|
+
const filesystemPath = (path) => Buffer.from(resolve(path), "utf8").toString("utf8");
|
|
14
|
+
const invalid = () => { throw new WorkLedgerWriteError("WORK_DESTINATION_INVALID"); };
|
|
15
|
+
const alias = () => { throw new WorkLedgerWriteError("WORK_DESTINATION_ALIAS"); };
|
|
16
|
+
const same = (a, b) => a !== null && b !== null && a.dev === b.dev && a.ino === b.ino;
|
|
17
|
+
function ancestors(path) {
|
|
18
|
+
const result = [];
|
|
19
|
+
for (let p = dirname(path);; p = dirname(p)) {
|
|
20
|
+
result.push(p);
|
|
21
|
+
if (dirname(p) === p)
|
|
22
|
+
return result;
|
|
23
|
+
}
|
|
24
|
+
}
|
|
25
|
+
/** Read-only, complete preflight. A protected filename reserves its entire directory namespace too.
|
|
26
|
+
* Compare lexical paths, canonical paths and exact dev/ino identities; aliases outrank failed facts,
|
|
27
|
+
* which outrank unsafe topology. This is cooperative misrouting protection, NOT host containment. */
|
|
28
|
+
export async function workDestination(requestedPath, grantLedgerPath) {
|
|
29
|
+
if (!validWorkPath(requestedPath) || (grantLedgerPath !== null && !validWorkPath(grantLedgerPath)))
|
|
30
|
+
invalid();
|
|
31
|
+
const path = filesystemPath(requestedPath), leaves = [path, path + ".lock"];
|
|
32
|
+
const protectedPaths = grantLedgerPath === null ? [] : [filesystemPath(grantLedgerPath), filesystemPath(grantLedgerPath) + ".lock"];
|
|
33
|
+
const workPaths = new Set(leaves.flatMap(p => [p, ...ancestors(p)]));
|
|
34
|
+
if (protectedPaths.some(p => workPaths.has(p)))
|
|
35
|
+
alias(); // Proven lexical collision needs no I/O.
|
|
36
|
+
const facts = new Map();
|
|
37
|
+
function probe(path) {
|
|
38
|
+
const prior = facts.get(path);
|
|
39
|
+
if (prior)
|
|
40
|
+
return prior;
|
|
41
|
+
const pending = inspect(path);
|
|
42
|
+
facts.set(path, pending);
|
|
43
|
+
return pending;
|
|
44
|
+
}
|
|
45
|
+
async function inspect(path) {
|
|
46
|
+
const fact = { path, canonical: null, entry: null, target: null, invalid: false, io: false };
|
|
47
|
+
try {
|
|
48
|
+
fact.entry = await lstat(path, { bigint: true });
|
|
49
|
+
}
|
|
50
|
+
catch (error) {
|
|
51
|
+
if (!workFsError(error))
|
|
52
|
+
throw error;
|
|
53
|
+
if (error.code !== "ENOENT") {
|
|
54
|
+
fact.invalid = ["ENOTDIR", "ELOOP"].includes(error.code);
|
|
55
|
+
fact.io = !fact.invalid;
|
|
56
|
+
return fact;
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
if (fact.entry) {
|
|
60
|
+
try {
|
|
61
|
+
fact.canonical = await realpath(path);
|
|
62
|
+
fact.target = fact.entry.isSymbolicLink() ? await stat(path, { bigint: true }) : fact.entry;
|
|
63
|
+
}
|
|
64
|
+
catch (error) {
|
|
65
|
+
if (!workFsError(error))
|
|
66
|
+
throw error;
|
|
67
|
+
fact.invalid = ["ENOENT", "ENOTDIR", "ELOOP"].includes(error.code);
|
|
68
|
+
fact.io = !fact.invalid;
|
|
69
|
+
}
|
|
70
|
+
}
|
|
71
|
+
else {
|
|
72
|
+
const parentPath = dirname(path);
|
|
73
|
+
if (parentPath === path) {
|
|
74
|
+
fact.invalid = true;
|
|
75
|
+
return fact;
|
|
76
|
+
}
|
|
77
|
+
const parent = await probe(parentPath);
|
|
78
|
+
fact.invalid = parent.invalid || (parent.target !== null && !parent.target.isDirectory());
|
|
79
|
+
fact.io = parent.io;
|
|
80
|
+
if (parent.canonical)
|
|
81
|
+
fact.canonical = join(parent.canonical, basename(path));
|
|
82
|
+
}
|
|
83
|
+
return fact;
|
|
84
|
+
}
|
|
85
|
+
const protectedFacts = await Promise.all(protectedPaths.map(probe));
|
|
86
|
+
const initial = await Promise.all([...workPaths].map(probe));
|
|
87
|
+
// A symlink parent can jump INSIDE a reserved directory. Include every canonical ancestor,
|
|
88
|
+
// not just lexical ancestors whose realpath might skip over the protected directory itself.
|
|
89
|
+
for (const fact of initial)
|
|
90
|
+
if (fact.canonical)
|
|
91
|
+
for (const p of [fact.canonical, ...ancestors(fact.canonical)])
|
|
92
|
+
workPaths.add(p);
|
|
93
|
+
const workFacts = await Promise.all([...workPaths].map(probe));
|
|
94
|
+
for (const w of workFacts)
|
|
95
|
+
for (const p of protectedFacts) {
|
|
96
|
+
if (w.path === p.path || (w.canonical !== null && w.canonical === p.canonical) || same(w.target, p.target))
|
|
97
|
+
alias();
|
|
98
|
+
}
|
|
99
|
+
const all = [...workFacts, ...protectedFacts];
|
|
100
|
+
if (all.some(f => f.io))
|
|
101
|
+
throw new WorkLedgerWriteError("WORK_LEDGER_WRITE_FAILED");
|
|
102
|
+
if (all.some(f => f.invalid))
|
|
103
|
+
invalid();
|
|
104
|
+
for (const leaf of leaves) {
|
|
105
|
+
const f = await probe(leaf);
|
|
106
|
+
if (f.entry && (!f.entry.isFile() || f.entry.nlink !== 1n))
|
|
107
|
+
invalid();
|
|
108
|
+
}
|
|
109
|
+
for (const p of [...ancestors(path), ...ancestors((await probe(path)).canonical)]) {
|
|
110
|
+
const f = await probe(p);
|
|
111
|
+
if (f.target && !f.target.isDirectory())
|
|
112
|
+
invalid();
|
|
113
|
+
}
|
|
114
|
+
const file = await probe(path);
|
|
115
|
+
return { requestedPath, grantLedgerPath, path: file.canonical, existing: file.target,
|
|
116
|
+
protectedInodes: protectedFacts.flatMap(f => f.target ? [f.target] : []) };
|
|
117
|
+
}
|
|
118
|
+
/** Repeat classification after mkdir/acquisition/open. Never write through a freshly resolved handle. */
|
|
119
|
+
export async function recheckWorkDestination(original, handle) {
|
|
120
|
+
const current = await workDestination(original.requestedPath, original.grantLedgerPath);
|
|
121
|
+
if (handle) {
|
|
122
|
+
const actual = await handle.stat({ bigint: true });
|
|
123
|
+
if (current.protectedInodes.some(p => same(actual, p)))
|
|
124
|
+
alias();
|
|
125
|
+
if (!actual.isFile() || actual.nlink !== 1n || !same(actual, current.existing))
|
|
126
|
+
invalid();
|
|
127
|
+
}
|
|
128
|
+
if (original.path !== current.path || (original.existing && !same(original.existing, current.existing)))
|
|
129
|
+
invalid();
|
|
130
|
+
}
|
|
131
|
+
//# sourceMappingURL=work-ledger-destination.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-destination.js","sourceRoot":"","sources":["../src/work-ledger-destination.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGzD,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAE9D,yFAAyF;AACzF,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,OAAO,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AACnI,CAAC;AACD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3G,uFAAuF;AACvF,kGAAkG;AAClG,0FAA0F;AAC1F,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC7F,MAAM,OAAO,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,oBAAoB,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7F,MAAM,KAAK,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,oBAAoB,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;AACzF,MAAM,IAAI,GAAG,CAAC,CAAqB,EAAE,CAAqB,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;AAC9H,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;IAAC,CAAC;AACxG,CAAC;AAkBD;;qGAEqG;AACrG,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,aAAqB,EAAE,eAA8B;IACzF,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9G,MAAM,IAAI,GAAG,cAAc,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,EAAE,cAAc,CAAC,eAAe,CAAC,GAAG,OAAO,CAAC,CAAC;IACpI,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,KAAK,EAAE,CAAC,CAAC,yCAAyC;IAClG,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IACnD,SAAS,KAAK,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACvD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAAC,OAAO,OAAO,CAAC;IAC1E,CAAC;IACD,KAAK,UAAU,OAAO,CAAC,IAAY;QACjC,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;QACvG,IAAI,CAAC;YAAC,IAAI,CAAC,KAAK,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QACzD,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;gBAAE,MAAM,KAAK,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAAC,IAAI,CAAC,OAAO,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAK,CAAC,CAAC;gBAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;QACnI,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,IAAI,CAAC;gBACH,IAAI,CAAC,SAAS,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9F,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;oBAAE,MAAM,KAAK,CAAC;gBACrC,IAAI,CAAC,OAAO,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAK,CAAC,CAAC;gBAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;YAC/F,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBAAC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,CAAC;YACvC,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;YAC/G,IAAI,MAAM,CAAC,SAAS;gBAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,2FAA2F;IAC3F,4FAA4F;IAC5F,KAAK,MAAM,IAAI,IAAI,OAAO;QAAE,IAAI,IAAI,CAAC,SAAS;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjI,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;gBAAE,KAAK,EAAE,CAAC;QACtH,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,cAAc,CAAC,CAAC;IAC9C,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,0BAA0B,CAAC,CAAC;IACpF,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC;YAAE,OAAO,EAAE,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAU,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE;YAAE,OAAO,EAAE,CAAC;IACrD,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM;QACnF,eAAe,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED,yGAAyG;AACzG,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,QAAyB,EAAE,MAAmB;IACzF,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC;IACxF,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;QAChE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;AACrH,CAAC"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import { type WorkFrozen, type WorkProblem, type WorkConflict } from "./work-ledger-types.ts";
|
|
2
|
+
export declare const WORK_EVENT_BYTES: number;
|
|
3
|
+
export declare const WORK_TEXT_BYTES: number;
|
|
4
|
+
export declare const WORK_RECORDS = 10000;
|
|
5
|
+
export type WorkJson = null | boolean | number | string | WorkJson[] | {
|
|
6
|
+
[key: string]: WorkJson;
|
|
7
|
+
};
|
|
8
|
+
/** Inspect descriptors rather than serializing: no getters/toJSON or lossy JSON coercion. */
|
|
9
|
+
export declare function ownWorkFields(value: unknown): Record<string, PropertyDescriptor>;
|
|
10
|
+
/** Detach only the approved JSON value profile, before any serialization or validation use. */
|
|
11
|
+
export declare function copyWorkJson(value: unknown): WorkJson;
|
|
12
|
+
/** Bounded syntax tree: syntax, decoded duplicates, then exact numeric/string profile. */
|
|
13
|
+
export declare function parseWorkJson(text: string): WorkJson;
|
|
14
|
+
/** RFC 8785 emission restricted to our validated JSON profile; not an archival-byte identity. */
|
|
15
|
+
export declare function canonicalWorkJson(value: unknown): string;
|
|
16
|
+
export declare function workDigest(value: unknown): string;
|
|
17
|
+
/** @internal ONLY validated constituents / internally constructed plain results. Output collections
|
|
18
|
+
* are not wire records: they may contain >256 claims, problems, labels, or conflict alternatives.
|
|
19
|
+
* Never use this emitter in place of copyWorkJson/strict ingestion at an input boundary. */
|
|
20
|
+
export declare function workResultKey<T>(value: T): string;
|
|
21
|
+
export declare function sortWorkResults<T>(values: Iterable<T>): T[];
|
|
22
|
+
export declare function mergeWorkProblems(values: readonly WorkFrozen<WorkProblem>[]): WorkFrozen<WorkProblem>[];
|
|
23
|
+
export declare function mergeWorkConflicts(values: readonly WorkFrozen<WorkConflict>[]): WorkFrozen<WorkConflict>[];
|
|
24
|
+
export declare function freezeWork<T>(value: T): WorkFrozen<T>;
|
|
25
|
+
//# sourceMappingURL=work-ledger-json.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-json.d.ts","sourceRoot":"","sources":["../src/work-ledger-json.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,KAAK,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE9G,eAAO,MAAM,gBAAgB,QAAY,CAAC;AAC1C,eAAO,MAAM,eAAe,QAAmB,CAAC;AAChD,eAAO,MAAM,YAAY,QAAS,CAAC;AAGnC,MAAM,MAAM,QAAQ,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,CAAC;AAgBnG,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAYhF;AAED,+FAA+F;AAC/F,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAiCrD;AAwCD,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAoEpD;AASD,iGAAiG;AACjG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAsC;AAC/F,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEjD;AACD;;4FAE4F;AAC5F,wBAAgB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAA+C;AACjG,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAG3D;AACD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,UAAU,CAAC,WAAW,CAAC,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,EAAE,CAOvG;AACD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,UAAU,CAAC,YAAY,CAAC,EAAE,GAAG,UAAU,CAAC,YAAY,CAAC,EAAE,CAQ1G;AACD,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAMrD"}
|
|
@@ -0,0 +1,267 @@
|
|
|
1
|
+
import { createHash } from "node:crypto";
|
|
2
|
+
import { WorkInputError } from "./work-ledger-types.js";
|
|
3
|
+
export const WORK_EVENT_BYTES = 64 * 1024;
|
|
4
|
+
export const WORK_TEXT_BYTES = 16 * 1024 * 1024;
|
|
5
|
+
export const WORK_RECORDS = 10_000;
|
|
6
|
+
const MAX_DEPTH = 16;
|
|
7
|
+
const MAX_ARRAY = 256;
|
|
8
|
+
const invalid = () => { throw new WorkInputError("WORK_SCHEMA_INVALID"); };
|
|
9
|
+
const limit = () => { throw new WorkInputError("WORK_LIMIT_EXCEEDED"); };
|
|
10
|
+
function unicode(value) {
|
|
11
|
+
// RFC 8785 refuses lone UTF-16 surrogates, including ones decoded from escapes.
|
|
12
|
+
for (let i = 0; i < value.length; i++) {
|
|
13
|
+
const code = value.charCodeAt(i);
|
|
14
|
+
if (code >= 0xd800 && code <= 0xdbff) {
|
|
15
|
+
const next = value.charCodeAt(++i);
|
|
16
|
+
if (!(next >= 0xdc00 && next <= 0xdfff))
|
|
17
|
+
invalid();
|
|
18
|
+
}
|
|
19
|
+
else if (code >= 0xdc00 && code <= 0xdfff)
|
|
20
|
+
invalid();
|
|
21
|
+
}
|
|
22
|
+
return value;
|
|
23
|
+
}
|
|
24
|
+
/** Inspect descriptors rather than serializing: no getters/toJSON or lossy JSON coercion. */
|
|
25
|
+
export function ownWorkFields(value) {
|
|
26
|
+
if (value === null || typeof value !== "object" || Array.isArray(value))
|
|
27
|
+
invalid();
|
|
28
|
+
const prototype = Object.getPrototypeOf(value);
|
|
29
|
+
if (prototype !== Object.prototype && prototype !== null)
|
|
30
|
+
invalid();
|
|
31
|
+
const descriptors = Object.getOwnPropertyDescriptors(value);
|
|
32
|
+
for (const key of Reflect.ownKeys(descriptors)) {
|
|
33
|
+
if (typeof key !== "string")
|
|
34
|
+
return invalid();
|
|
35
|
+
const descriptor = descriptors[key];
|
|
36
|
+
if (!Object.hasOwn(descriptor, "value") || !descriptor.enumerable)
|
|
37
|
+
invalid();
|
|
38
|
+
unicode(key);
|
|
39
|
+
}
|
|
40
|
+
return descriptors;
|
|
41
|
+
}
|
|
42
|
+
/** Detach only the approved JSON value profile, before any serialization or validation use. */
|
|
43
|
+
export function copyWorkJson(value) {
|
|
44
|
+
const ancestors = new Set();
|
|
45
|
+
function copy(v, depth) {
|
|
46
|
+
if (v === null || typeof v === "boolean")
|
|
47
|
+
return v;
|
|
48
|
+
if (typeof v === "string")
|
|
49
|
+
return unicode(v);
|
|
50
|
+
if (typeof v === "number")
|
|
51
|
+
return Number.isSafeInteger(v) ? v : invalid();
|
|
52
|
+
if (typeof v !== "object")
|
|
53
|
+
return invalid();
|
|
54
|
+
if (depth > MAX_DEPTH)
|
|
55
|
+
limit();
|
|
56
|
+
if (ancestors.has(v))
|
|
57
|
+
invalid();
|
|
58
|
+
ancestors.add(v);
|
|
59
|
+
let result;
|
|
60
|
+
if (Array.isArray(v)) {
|
|
61
|
+
if (Object.getPrototypeOf(v) !== Array.prototype)
|
|
62
|
+
invalid();
|
|
63
|
+
if (v.length > MAX_ARRAY)
|
|
64
|
+
limit();
|
|
65
|
+
const fields = Object.getOwnPropertyDescriptors(v);
|
|
66
|
+
if (Reflect.ownKeys(fields).length !== v.length + 1)
|
|
67
|
+
invalid();
|
|
68
|
+
result = [];
|
|
69
|
+
for (let i = 0; i < v.length; i++) {
|
|
70
|
+
const d = fields[String(i)];
|
|
71
|
+
if (!d || !Object.hasOwn(d, "value") || !d.enumerable)
|
|
72
|
+
invalid();
|
|
73
|
+
result.push(copy(d.value, depth + 1));
|
|
74
|
+
}
|
|
75
|
+
}
|
|
76
|
+
else {
|
|
77
|
+
const fields = ownWorkFields(v);
|
|
78
|
+
result = {};
|
|
79
|
+
for (const key of Object.keys(fields)) {
|
|
80
|
+
Object.defineProperty(result, key, { value: copy(fields[key].value, depth + 1), enumerable: true, writable: true, configurable: true });
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
ancestors.delete(v);
|
|
84
|
+
return result;
|
|
85
|
+
}
|
|
86
|
+
return copy(value, 1);
|
|
87
|
+
}
|
|
88
|
+
/** Exact decimal arithmetic BEFORE Number conversion, without unbounded exponent allocation. */
|
|
89
|
+
function integerToken(token) {
|
|
90
|
+
const match = /^(-?)(\d+)(?:\.(\d+))?(?:[eE]([+-]?\d+))?$/.exec(token);
|
|
91
|
+
let digits = (match[2] + (match[3] ?? "")).replace(/^0+/, "");
|
|
92
|
+
if (!digits)
|
|
93
|
+
return 0;
|
|
94
|
+
let shift = BigInt(match[4] ?? "0") - BigInt((match[3] ?? "").length);
|
|
95
|
+
const trailing = /0*$/.exec(digits)[0].length;
|
|
96
|
+
digits = digits.slice(0, digits.length - trailing);
|
|
97
|
+
shift += BigInt(trailing);
|
|
98
|
+
if (shift < 0n || BigInt(digits.length) + shift > 16n)
|
|
99
|
+
invalid();
|
|
100
|
+
const exact = BigInt(digits) * (10n ** shift);
|
|
101
|
+
if (exact > BigInt(Number.MAX_SAFE_INTEGER))
|
|
102
|
+
invalid();
|
|
103
|
+
return Number(match[1] === "-" ? -exact : exact);
|
|
104
|
+
}
|
|
105
|
+
function checkMembers(node) {
|
|
106
|
+
if (node.type === "object") {
|
|
107
|
+
const names = new Set();
|
|
108
|
+
for (const [key, child] of node.entries) {
|
|
109
|
+
if (names.has(key))
|
|
110
|
+
throw new WorkInputError("WORK_DUPLICATE_MEMBER");
|
|
111
|
+
names.add(key);
|
|
112
|
+
checkMembers(child);
|
|
113
|
+
}
|
|
114
|
+
}
|
|
115
|
+
else if (node.type === "array")
|
|
116
|
+
node.items.forEach(checkMembers);
|
|
117
|
+
}
|
|
118
|
+
function materialize(node) {
|
|
119
|
+
if (node.type === "number")
|
|
120
|
+
return integerToken(node.token);
|
|
121
|
+
if (node.type === "literal")
|
|
122
|
+
return typeof node.value === "string" ? unicode(node.value) : node.value;
|
|
123
|
+
if (node.type === "array")
|
|
124
|
+
return node.items.map(materialize);
|
|
125
|
+
return Object.fromEntries(node.entries.map(([key, child]) => [unicode(key), materialize(child)]));
|
|
126
|
+
}
|
|
127
|
+
/** Bounded syntax tree: syntax, decoded duplicates, then exact numeric/string profile. */
|
|
128
|
+
export function parseWorkJson(text) {
|
|
129
|
+
if (typeof text !== "string")
|
|
130
|
+
invalid();
|
|
131
|
+
if (Buffer.byteLength(text, "utf8") > WORK_EVENT_BYTES)
|
|
132
|
+
limit();
|
|
133
|
+
let at = 0;
|
|
134
|
+
const syntax = () => { throw new WorkInputError("WORK_JSON_INVALID"); };
|
|
135
|
+
const whitespace = () => { while (at < text.length && /[ \t\r\n]/.test(text[at]))
|
|
136
|
+
at++; };
|
|
137
|
+
function string() {
|
|
138
|
+
const start = at++;
|
|
139
|
+
while (at < text.length) {
|
|
140
|
+
const char = text[at++];
|
|
141
|
+
if (char === '"') {
|
|
142
|
+
// JSON.parse is used ONLY for one lexically delimited string token, never an object.
|
|
143
|
+
return JSON.parse(text.slice(start, at));
|
|
144
|
+
}
|
|
145
|
+
if (char.charCodeAt(0) < 0x20)
|
|
146
|
+
syntax();
|
|
147
|
+
if (char === "\\") {
|
|
148
|
+
const escape = text[at++];
|
|
149
|
+
if (escape === "u") {
|
|
150
|
+
if (!/^[0-9a-fA-F]{4}$/.test(text.slice(at, at + 4)))
|
|
151
|
+
syntax();
|
|
152
|
+
at += 4;
|
|
153
|
+
}
|
|
154
|
+
else if (!escape || !'"\\/bfnrt'.includes(escape))
|
|
155
|
+
syntax();
|
|
156
|
+
}
|
|
157
|
+
}
|
|
158
|
+
return syntax();
|
|
159
|
+
}
|
|
160
|
+
function value(depth) {
|
|
161
|
+
whitespace();
|
|
162
|
+
const char = text[at];
|
|
163
|
+
if (char === '"')
|
|
164
|
+
return { type: "literal", value: string() };
|
|
165
|
+
if (char === "{" || char === "[") {
|
|
166
|
+
if (depth > MAX_DEPTH)
|
|
167
|
+
limit();
|
|
168
|
+
at++;
|
|
169
|
+
whitespace();
|
|
170
|
+
const object = char === "{";
|
|
171
|
+
const end = object ? "}" : "]";
|
|
172
|
+
const entries = [];
|
|
173
|
+
const items = [];
|
|
174
|
+
if (text[at] !== end)
|
|
175
|
+
for (;;) {
|
|
176
|
+
whitespace();
|
|
177
|
+
let key = "";
|
|
178
|
+
if (object) {
|
|
179
|
+
if (text[at] !== '"')
|
|
180
|
+
syntax();
|
|
181
|
+
key = string();
|
|
182
|
+
whitespace();
|
|
183
|
+
if (text[at++] !== ":")
|
|
184
|
+
syntax();
|
|
185
|
+
}
|
|
186
|
+
else if (items.length >= MAX_ARRAY)
|
|
187
|
+
limit();
|
|
188
|
+
const child = value(depth + 1);
|
|
189
|
+
if (object)
|
|
190
|
+
entries.push([key, child]);
|
|
191
|
+
else
|
|
192
|
+
items.push(child);
|
|
193
|
+
whitespace();
|
|
194
|
+
if (text[at] === end)
|
|
195
|
+
break;
|
|
196
|
+
if (text[at++] !== ",")
|
|
197
|
+
syntax();
|
|
198
|
+
}
|
|
199
|
+
at++;
|
|
200
|
+
return object ? { type: "object", entries } : { type: "array", items };
|
|
201
|
+
}
|
|
202
|
+
for (const [token, literal] of [["null", null], ["true", true], ["false", false]]) {
|
|
203
|
+
if (text.startsWith(token, at)) {
|
|
204
|
+
at += token.length;
|
|
205
|
+
return { type: "literal", value: literal };
|
|
206
|
+
}
|
|
207
|
+
}
|
|
208
|
+
const token = /^-?(?:0|[1-9]\d*)(?:\.\d+)?(?:[eE][+-]?\d+)?/.exec(text.slice(at));
|
|
209
|
+
if (!token)
|
|
210
|
+
return syntax();
|
|
211
|
+
at += token[0].length;
|
|
212
|
+
return { type: "number", token: token[0] };
|
|
213
|
+
}
|
|
214
|
+
const result = value(1);
|
|
215
|
+
whitespace();
|
|
216
|
+
if (at !== text.length)
|
|
217
|
+
syntax();
|
|
218
|
+
checkMembers(result);
|
|
219
|
+
return materialize(result);
|
|
220
|
+
}
|
|
221
|
+
function emit(value) {
|
|
222
|
+
if (value === null || typeof value !== "object")
|
|
223
|
+
return JSON.stringify(value);
|
|
224
|
+
if (Array.isArray(value))
|
|
225
|
+
return `[${value.map(emit).join(",")}]`;
|
|
226
|
+
// Emit keys directly: reconstructing a JS object would reorder numeric-looking keys.
|
|
227
|
+
return `{${Object.keys(value).sort().map(key => `${JSON.stringify(key)}:${emit(value[key])}`).join(",")}}`;
|
|
228
|
+
}
|
|
229
|
+
/** RFC 8785 emission restricted to our validated JSON profile; not an archival-byte identity. */
|
|
230
|
+
export function canonicalWorkJson(value) { return emit(copyWorkJson(value)); }
|
|
231
|
+
export function workDigest(value) {
|
|
232
|
+
return createHash("sha256").update(canonicalWorkJson(value), "utf8").digest("hex");
|
|
233
|
+
}
|
|
234
|
+
/** @internal ONLY validated constituents / internally constructed plain results. Output collections
|
|
235
|
+
* are not wire records: they may contain >256 claims, problems, labels, or conflict alternatives.
|
|
236
|
+
* Never use this emitter in place of copyWorkJson/strict ingestion at an input boundary. */
|
|
237
|
+
export function workResultKey(value) { return emit(value); }
|
|
238
|
+
export function sortWorkResults(values) {
|
|
239
|
+
const rows = new Map([...values].map(value => [workResultKey(value), value]));
|
|
240
|
+
return [...rows].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0).map(([, value]) => value);
|
|
241
|
+
}
|
|
242
|
+
export function mergeWorkProblems(values) {
|
|
243
|
+
const rows = new Map();
|
|
244
|
+
for (const row of values) {
|
|
245
|
+
const id = workResultKey([row.code, row.reference]), prior = rows.get(id);
|
|
246
|
+
rows.set(id, { ...row, affectedObligations: sortWorkResults([...(prior?.affectedObligations ?? []), ...row.affectedObligations]) });
|
|
247
|
+
}
|
|
248
|
+
return sortWorkResults(rows.values());
|
|
249
|
+
}
|
|
250
|
+
export function mergeWorkConflicts(values) {
|
|
251
|
+
const rows = new Map();
|
|
252
|
+
for (const row of values) {
|
|
253
|
+
const id = workResultKey([row.kind, row.id]), prior = rows.get(id);
|
|
254
|
+
rows.set(id, { ...row, digests: sortWorkResults([...(prior?.digests ?? []), ...row.digests]),
|
|
255
|
+
affectedObligations: sortWorkResults([...(prior?.affectedObligations ?? []), ...row.affectedObligations]) });
|
|
256
|
+
}
|
|
257
|
+
return sortWorkResults(rows.values());
|
|
258
|
+
}
|
|
259
|
+
export function freezeWork(value) {
|
|
260
|
+
if (value !== null && typeof value === "object") {
|
|
261
|
+
for (const child of Object.values(value))
|
|
262
|
+
freezeWork(child);
|
|
263
|
+
Object.freeze(value);
|
|
264
|
+
}
|
|
265
|
+
return value;
|
|
266
|
+
}
|
|
267
|
+
//# sourceMappingURL=work-ledger-json.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-json.js","sourceRoot":"","sources":["../src/work-ledger-json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,cAAc,EAAwD,MAAM,wBAAwB,CAAC;AAE9G,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,GAAG,IAAI,CAAC;AAC1C,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAChD,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC;AACnC,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,MAAM,OAAO,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAClF,MAAM,KAAK,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhF,SAAS,OAAO,CAAC,KAAa;IAC5B,gFAAgF;IAChF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC;gBAAE,OAAO,EAAE,CAAC;QACrD,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM;YAAE,OAAO,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnF,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACpE,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC5D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/C,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAC7E,OAAO,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,SAAS,IAAI,CAAC,CAAU,EAAE,KAAa;QACrC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1E,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QAC5C,IAAI,KAAK,GAAG,SAAS;YAAE,KAAK,EAAE,CAAC;QAC/B,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QAChC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,MAAgB,CAAC;QACrB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,SAAS;gBAAE,OAAO,EAAE,CAAC;YAC5D,IAAI,CAAC,CAAC,MAAM,GAAG,SAAS;gBAAE,KAAK,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;YACnD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC/D,MAAM,GAAG,EAAE,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU;oBAAE,OAAO,EAAE,CAAC;gBACjE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,GAAG,EAAE,CAAC;YACZ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1I,CAAC;QACH,CAAC;QACD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,KAAK,GAAG,4CAA4C,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;IACxE,IAAI,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC;IACnD,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1B,IAAI,KAAK,GAAG,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,GAAG,GAAG;QAAE,OAAO,EAAE,CAAC;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAAE,OAAO,EAAE,CAAC;IACvD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC;AAQD,SAAS,YAAY,CAAC,IAAc;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,uBAAuB,CAAC,CAAC;YACtE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,YAAY,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;AACrE,CAAC;AACD,SAAS,WAAW,CAAC,IAAc;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACtG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,gBAAgB;QAAE,KAAK,EAAE,CAAC;IAChE,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,MAAM,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,GAAG,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,SAAS,MAAM;QACb,MAAM,KAAK,GAAG,EAAE,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,qFAAqF;gBACrF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAW,CAAC;YACrD,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI;gBAAE,MAAM,EAAE,CAAC;YACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC1B,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;oBACnB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;wBAAE,MAAM,EAAE,CAAC;oBAC/D,EAAE,IAAI,CAAC,CAAC;gBACV,CAAC;qBAAM,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,MAAM,EAAE,CAAC;YAChE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,EAAE,CAAC;IAClB,CAAC;IACD,SAAS,KAAK,CAAC,KAAa;QAC1B,UAAU,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;QAC9D,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,KAAK,GAAG,SAAS;gBAAE,KAAK,EAAE,CAAC;YAC/B,EAAE,EAAE,CAAC;YACL,UAAU,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,KAAK,GAAG,CAAC;YAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/B,MAAM,OAAO,GAA8B,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAe,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,GAAG;gBAAE,SAAS,CAAC;oBAC9B,UAAU,EAAE,CAAC;oBACb,IAAI,GAAG,GAAG,EAAE,CAAC;oBACb,IAAI,MAAM,EAAE,CAAC;wBACX,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,GAAG;4BAAE,MAAM,EAAE,CAAC;wBAC/B,GAAG,GAAG,MAAM,EAAE,CAAC;wBACf,UAAU,EAAE,CAAC;wBACb,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG;4BAAE,MAAM,EAAE,CAAC;oBACnC,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,IAAI,SAAS;wBAAE,KAAK,EAAE,CAAC;oBAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;oBAC/B,IAAI,MAAM;wBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;;wBAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC/D,UAAU,EAAE,CAAC;oBACb,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,GAAG;wBAAE,MAAM;oBAC5B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG;wBAAE,MAAM,EAAE,CAAC;gBACnC,CAAC;YACD,EAAE,EAAE,CAAC;YACL,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAU,EAAE,CAAC;YAC3F,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;gBAAC,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC;gBAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAAC,CAAC;QACrG,CAAC;QACD,MAAM,KAAK,GAAG,8CAA8C,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAClF,IAAI,CAAC,KAAK;YAAE,OAAO,MAAM,EAAE,CAAC;QAC5B,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACxB,UAAU,EAAE,CAAC;IACb,IAAI,EAAE,KAAK,IAAI,CAAC,MAAM;QAAE,MAAM,EAAE,CAAC;IACjC,YAAY,CAAC,MAAM,CAAC,CAAC;IACrB,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,IAAI,CAAC,KAAe;IAC3B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClE,qFAAqF;IACrF,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC7G,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAAC,KAAc,IAAY,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/F,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrF,CAAC;AACD;;4FAE4F;AAC5F,MAAM,UAAU,aAAa,CAAI,KAAQ,IAAY,OAAO,IAAI,CAAC,KAA4B,CAAC,CAAC,CAAC,CAAC;AACjG,MAAM,UAAU,eAAe,CAAI,MAAmB;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,MAA0C;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmC,CAAC;IACxD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1E,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,GAAG,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,mBAAmB,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC;IACtI,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,MAA2C;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoC,CAAC;IACzD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;YAC1F,mBAAmB,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,mBAAmB,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAsB,CAAC;AAChC,CAAC"}
|