pi-daddy 0.22.0 → 0.24.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 +40 -0
- package/README.md +12 -6
- 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/cli.d.ts +3 -1
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +49 -3
- package/dist/cli.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-dashboard-host.d.ts +99 -0
- package/dist/daily-dashboard-host.d.ts.map +1 -0
- package/dist/daily-dashboard-host.js +71 -0
- package/dist/daily-dashboard-host.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 +128 -3
- package/dist/dashboard-cli.js.map +1 -1
- package/dist/dashboard-harness.d.ts +22 -0
- package/dist/dashboard-harness.d.ts.map +1 -0
- package/dist/dashboard-harness.js +89 -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 +116 -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 +16 -0
- package/dist/dashboard-host-transport.d.ts.map +1 -0
- package/dist/dashboard-host-transport.js +124 -0
- package/dist/dashboard-host-transport.js.map +1 -0
- package/dist/dashboard-host.d.ts +203 -0
- package/dist/dashboard-host.d.ts.map +1 -0
- package/dist/dashboard-host.js +376 -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 +30 -0
- package/dist/experiment-store.d.ts.map +1 -0
- package/dist/experiment-store.js +147 -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-command.d.ts +30 -0
- package/dist/work-command.d.ts.map +1 -0
- package/dist/work-command.js +148 -0
- package/dist/work-command.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/daily-dashboard-session.ts +30 -0
- package/extensions/daily-work-session.ts +20 -0
- package/extensions/delegate-chain.ts +1 -0
- package/extensions/delegation-native.ts +12 -0
- package/extensions/delegation.ts +25 -11
- package/extensions/execute-child.ts +44 -5
- package/extensions/executor-session.ts +9 -0
- package/extensions/grants-command.ts +14 -15
- package/extensions/grants-connected-command.ts +19 -0
- package/extensions/grants.ts +26 -2
- package/extensions/ordinary-runtime.ts +14 -0
- package/extensions/primary-shadow.ts +11 -0
- package/extensions/run-delegation.ts +9 -7
- package/extensions/session.ts +10 -20
- package/extensions/work-runtime.ts +44 -0
- package/package.json +78 -4
- package/src/check-runner.ts +20 -2
- package/src/cli.ts +41 -4
- package/src/control-journal.ts +26 -0
- package/src/daily-dashboard-host.ts +49 -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 +108 -4
- package/src/dashboard-harness.ts +37 -0
- package/src/dashboard-herdr.ts +7 -2
- package/src/dashboard-host-contract.ts +45 -0
- package/src/dashboard-host-transport.ts +40 -0
- package/src/dashboard-host.ts +191 -0
- package/src/dashboard-observation.ts +45 -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 +98 -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-command.ts +179 -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,226 @@
|
|
|
1
|
+
import { isExecutionId } from "./execution-id.js";
|
|
2
|
+
import { canonicalWorkJson, workDigest } from "./work-ledger-json.js";
|
|
3
|
+
import { WorkInputError } from "./work-ledger-types.js";
|
|
4
|
+
const kinds = ["scope", "goal", "node", "obligation", "artifact", "policy"];
|
|
5
|
+
const fail = () => { throw new WorkInputError("WORK_SCHEMA_INVALID"); };
|
|
6
|
+
function require(value) { if (!value)
|
|
7
|
+
fail(); }
|
|
8
|
+
export function workObject(value) {
|
|
9
|
+
if (value === null || typeof value !== "object" || Array.isArray(value))
|
|
10
|
+
return fail();
|
|
11
|
+
return value;
|
|
12
|
+
}
|
|
13
|
+
function closed(value, keys) {
|
|
14
|
+
const object = workObject(value);
|
|
15
|
+
require(Object.keys(object).length === keys.length && keys.every(key => Object.hasOwn(object, key)));
|
|
16
|
+
return object;
|
|
17
|
+
}
|
|
18
|
+
function id(value) { require(typeof value === "string" && /^[A-Za-z0-9][A-Za-z0-9._:/@+\-]{0,127}$/.test(value)); }
|
|
19
|
+
function digest(value) { require(typeof value === "string" && /^[0-9a-f]{64}$/.test(value)); }
|
|
20
|
+
function integer(value) { require(typeof value === "number" && Number.isSafeInteger(value) && value >= 1); }
|
|
21
|
+
function member(value, values) { require(typeof value === "string" && values.includes(value)); }
|
|
22
|
+
function nullable(value, validate) { if (value !== null)
|
|
23
|
+
validate(value); }
|
|
24
|
+
function reference(value, allowed = kinds) {
|
|
25
|
+
const ref = closed(value, ["kind", "id", "revision", "digest"]);
|
|
26
|
+
member(ref.kind, allowed);
|
|
27
|
+
id(ref.id);
|
|
28
|
+
integer(ref.revision);
|
|
29
|
+
digest(ref.digest);
|
|
30
|
+
}
|
|
31
|
+
function identity(value) {
|
|
32
|
+
const ref = closed(value, ["id", "digest"]);
|
|
33
|
+
id(ref.id);
|
|
34
|
+
digest(ref.digest);
|
|
35
|
+
}
|
|
36
|
+
function eventRef(value) {
|
|
37
|
+
const ref = closed(value, ["eventId", "digest"]);
|
|
38
|
+
id(ref.eventId);
|
|
39
|
+
digest(ref.digest);
|
|
40
|
+
}
|
|
41
|
+
/** Internal validation for the exact out-of-band selectedSnapshot shape; no authority is constructed. */
|
|
42
|
+
export function validateWorkSelection(value) {
|
|
43
|
+
if (value === null)
|
|
44
|
+
return;
|
|
45
|
+
const selected = closed(value, ["snapshot", "event"]);
|
|
46
|
+
identity(selected.snapshot);
|
|
47
|
+
eventRef(selected.event);
|
|
48
|
+
}
|
|
49
|
+
function timestamp(value) {
|
|
50
|
+
require(typeof value === "string" && /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/.test(value));
|
|
51
|
+
require(!value.startsWith("0000") && Number.isFinite(Date.parse(value)) && new Date(value).toISOString() === value);
|
|
52
|
+
}
|
|
53
|
+
/** Builder sorts detached copies; reader refuses noncanonical sets instead of repairing them. */
|
|
54
|
+
function set(value, validate, building, key = canonicalWorkJson) {
|
|
55
|
+
require(Array.isArray(value));
|
|
56
|
+
value.forEach(validate);
|
|
57
|
+
const keyed = value.map(item => ({ item, key: key(item) }));
|
|
58
|
+
const sorted = [...keyed].sort((a, b) => a.key < b.key ? -1 : a.key > b.key ? 1 : 0);
|
|
59
|
+
for (let i = 1; i < sorted.length; i++)
|
|
60
|
+
require(sorted[i - 1].key !== sorted[i].key);
|
|
61
|
+
if (building)
|
|
62
|
+
value.splice(0, value.length, ...sorted.map(entry => entry.item));
|
|
63
|
+
else
|
|
64
|
+
require(keyed.every((entry, i) => entry.key === sorted[i].key));
|
|
65
|
+
}
|
|
66
|
+
function ownKeys(keys, building) { return building ? keys : [...keys, "digest"]; }
|
|
67
|
+
function revision(value, building) {
|
|
68
|
+
const r = closed(value, ownKeys(["kind", "id", "revision", "scopeId", "predecessor", "contentDigest",
|
|
69
|
+
"parent", "dependencies", "ownerId", "permittedEffects", "policy"], building));
|
|
70
|
+
member(r.kind, kinds);
|
|
71
|
+
id(r.id);
|
|
72
|
+
integer(r.revision);
|
|
73
|
+
id(r.scopeId);
|
|
74
|
+
id(r.ownerId);
|
|
75
|
+
digest(r.contentDigest);
|
|
76
|
+
nullable(r.predecessor, v => reference(v));
|
|
77
|
+
nullable(r.parent, v => reference(v));
|
|
78
|
+
nullable(r.policy, v => reference(v, ["policy"]));
|
|
79
|
+
set(r.dependencies, v => reference(v, ["obligation"]), building);
|
|
80
|
+
set(r.permittedEffects, id, building, v => v);
|
|
81
|
+
if (r.revision === 1)
|
|
82
|
+
require(r.predecessor === null);
|
|
83
|
+
else {
|
|
84
|
+
require(r.predecessor !== null);
|
|
85
|
+
const predecessor = workObject(r.predecessor);
|
|
86
|
+
require(predecessor.kind === r.kind && predecessor.id === r.id &&
|
|
87
|
+
predecessor.revision === r.revision - 1);
|
|
88
|
+
}
|
|
89
|
+
const noDependencies = r.dependencies.length === 0;
|
|
90
|
+
if (r.kind === "scope")
|
|
91
|
+
require(r.scopeId === r.id && r.parent === null && noDependencies && r.policy === null);
|
|
92
|
+
if (r.kind === "artifact" || r.kind === "policy") {
|
|
93
|
+
require(r.parent === null && noDependencies && r.policy === null && r.permittedEffects.length === 0);
|
|
94
|
+
}
|
|
95
|
+
if (r.kind === "goal" || r.kind === "node" || r.kind === "obligation") {
|
|
96
|
+
reference(r.parent, r.kind === "goal" ? ["scope", "goal"] : ["goal", "node"]);
|
|
97
|
+
if (r.kind === "obligation")
|
|
98
|
+
reference(r.policy, ["policy"]);
|
|
99
|
+
else
|
|
100
|
+
require(noDependencies && r.policy === null);
|
|
101
|
+
}
|
|
102
|
+
if (!building)
|
|
103
|
+
digest(r.digest);
|
|
104
|
+
}
|
|
105
|
+
function obligationBinding(value) {
|
|
106
|
+
const b = closed(value, ["intent", "obligation", "artifact", "policy"]);
|
|
107
|
+
reference(b.intent, ["goal", "node"]);
|
|
108
|
+
reference(b.obligation, ["obligation"]);
|
|
109
|
+
nullable(b.artifact, v => reference(v, ["artifact"]));
|
|
110
|
+
reference(b.policy, ["policy"]);
|
|
111
|
+
}
|
|
112
|
+
function snapshot(value, building) {
|
|
113
|
+
const s = closed(value, ownKeys(["snapshotId", "scope", "revisions", "bindings"], building));
|
|
114
|
+
id(s.snapshotId);
|
|
115
|
+
reference(s.scope, ["scope"]);
|
|
116
|
+
set(s.revisions, v => reference(v, kinds.filter(k => k !== "scope")), building);
|
|
117
|
+
set(s.bindings, obligationBinding, building, v => canonicalWorkJson(workObject(v).obligation));
|
|
118
|
+
if (!building)
|
|
119
|
+
digest(s.digest);
|
|
120
|
+
// Inventory/ancestor/predecessor resolution requires the complete event snapshot, not a guessed head.
|
|
121
|
+
}
|
|
122
|
+
function occurrence(value) {
|
|
123
|
+
const p = closed(value, ["scope", "obligation", "executionId", "parentExecutionId", "childId", "variantId",
|
|
124
|
+
"artifact", "provenance", "state", "labels"]);
|
|
125
|
+
reference(p.scope, ["scope"]);
|
|
126
|
+
reference(p.obligation, ["obligation"]);
|
|
127
|
+
require(isExecutionId(p.executionId));
|
|
128
|
+
require(p.parentExecutionId === null || isExecutionId(p.parentExecutionId));
|
|
129
|
+
require(p.executionId !== p.parentExecutionId);
|
|
130
|
+
nullable(p.childId, id);
|
|
131
|
+
nullable(p.variantId, id);
|
|
132
|
+
nullable(p.artifact, v => reference(v, ["artifact"]));
|
|
133
|
+
member(p.provenance, ["declared", "observed"]);
|
|
134
|
+
member(p.state, ["unknown", "starting", "running", "completed", "failed"]);
|
|
135
|
+
const labels = closed(p.labels, ["sessionId", "branchLeafId", "toolCallId", "taskId", "workspaceId",
|
|
136
|
+
"definitionDigest", "configurationDigest", "modelId", "effortId"]);
|
|
137
|
+
for (const [key, value] of Object.entries(labels))
|
|
138
|
+
nullable(value, key.endsWith("Digest") ? digest : id);
|
|
139
|
+
}
|
|
140
|
+
function evidence(value) {
|
|
141
|
+
const e = closed(value, ["id", "digest", "event"]);
|
|
142
|
+
id(e.id);
|
|
143
|
+
digest(e.digest);
|
|
144
|
+
nullable(e.event, eventRef);
|
|
145
|
+
}
|
|
146
|
+
function acceptance(value, building) {
|
|
147
|
+
const p = closed(value, ["authorityId", "binding"]);
|
|
148
|
+
id(p.authorityId);
|
|
149
|
+
acceptanceBinding(p.binding, building);
|
|
150
|
+
}
|
|
151
|
+
function acceptanceBinding(value, building) {
|
|
152
|
+
const b = closed(value, ["snapshot", "scope", "intent", "obligation", "artifact", "artifactDigest", "policy", "evidence"]);
|
|
153
|
+
identity(b.snapshot);
|
|
154
|
+
reference(b.scope, ["scope"]);
|
|
155
|
+
reference(b.intent, ["goal", "node"]);
|
|
156
|
+
reference(b.obligation, ["obligation"]);
|
|
157
|
+
reference(b.artifact, ["artifact"]);
|
|
158
|
+
digest(b.artifactDigest);
|
|
159
|
+
reference(b.policy, ["policy"]);
|
|
160
|
+
set(b.evidence, evidence, building);
|
|
161
|
+
require(b.evidence.length > 0);
|
|
162
|
+
}
|
|
163
|
+
/** Validate a detached host context. Receipt/availability order and duplicate deliveries have no priority. */
|
|
164
|
+
export function validateWorkContext(value) {
|
|
165
|
+
const c = closed(value, ["selectedSnapshot", "authority"]);
|
|
166
|
+
validateWorkSelection(c.selectedSnapshot);
|
|
167
|
+
if (c.authority === null)
|
|
168
|
+
return;
|
|
169
|
+
const a = closed(c.authority, ["snapshot", "decisions", "availability"]);
|
|
170
|
+
identity(a.snapshot);
|
|
171
|
+
require(Array.isArray(a.decisions));
|
|
172
|
+
require(Array.isArray(a.availability));
|
|
173
|
+
for (const value of a.decisions) {
|
|
174
|
+
const d = closed(value, ["receiptId", "authorityId", "claim", "binding", "decision"]);
|
|
175
|
+
id(d.receiptId);
|
|
176
|
+
id(d.authorityId);
|
|
177
|
+
eventRef(d.claim);
|
|
178
|
+
acceptanceBinding(d.binding, false);
|
|
179
|
+
member(d.decision, ["accept", "reject"]);
|
|
180
|
+
}
|
|
181
|
+
for (const value of a.availability) {
|
|
182
|
+
const row = closed(value, ["kind", "id", "digest", "available"]);
|
|
183
|
+
member(row.kind, ["artifact", "evidence"]);
|
|
184
|
+
id(row.id);
|
|
185
|
+
digest(row.digest);
|
|
186
|
+
require(typeof row.available === "boolean");
|
|
187
|
+
}
|
|
188
|
+
}
|
|
189
|
+
function ownDigest(object, building) {
|
|
190
|
+
const { digest: supplied, ...body } = object;
|
|
191
|
+
const computed = workDigest(body);
|
|
192
|
+
if (building)
|
|
193
|
+
object.digest = computed;
|
|
194
|
+
else if (supplied !== computed)
|
|
195
|
+
throw new WorkInputError("WORK_DIGEST_MISMATCH");
|
|
196
|
+
}
|
|
197
|
+
/** All closed shapes/domain checks finish before any own digest is computed or verified. */
|
|
198
|
+
export function validateWorkEvent(value, building = false) {
|
|
199
|
+
const e = workObject(value);
|
|
200
|
+
if (e.ledgerVersion !== 4)
|
|
201
|
+
throw new WorkInputError("WORK_VERSION_UNSUPPORTED");
|
|
202
|
+
closed(e, ownKeys(["ledgerVersion", "event", "eventId", "ts", "payload"], building));
|
|
203
|
+
member(e.event, ["work_revision", "work_snapshot", "work_occurrence", "work_acceptance"]);
|
|
204
|
+
id(e.eventId);
|
|
205
|
+
timestamp(e.ts);
|
|
206
|
+
let nested;
|
|
207
|
+
if (e.event === "work_revision") {
|
|
208
|
+
nested = workObject(closed(e.payload, ["revision"]).revision);
|
|
209
|
+
revision(nested, building);
|
|
210
|
+
}
|
|
211
|
+
else if (e.event === "work_snapshot") {
|
|
212
|
+
nested = workObject(closed(e.payload, ["snapshot"]).snapshot);
|
|
213
|
+
snapshot(nested, building);
|
|
214
|
+
}
|
|
215
|
+
else if (e.event === "work_occurrence")
|
|
216
|
+
occurrence(e.payload);
|
|
217
|
+
else
|
|
218
|
+
acceptance(e.payload, building);
|
|
219
|
+
if (!building)
|
|
220
|
+
digest(e.digest);
|
|
221
|
+
if (nested)
|
|
222
|
+
ownDigest(nested, building);
|
|
223
|
+
ownDigest(e, building);
|
|
224
|
+
return e;
|
|
225
|
+
}
|
|
226
|
+
//# sourceMappingURL=work-ledger-validation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-validation.js","sourceRoot":"","sources":["../src/work-ledger-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAiB,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAwB,MAAM,wBAAwB,CAAC;AAG9E,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AAC5E,MAAM,IAAI,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/E,SAAS,OAAO,CAAC,KAAc,IAAmB,IAAI,CAAC,KAAK;IAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACvE,MAAM,UAAU,UAAU,CAAC,KAAe;IACxC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,EAAE,CAAC;IACvF,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,MAAM,CAAC,KAAe,EAAE,IAAc;IAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACrG,OAAO,MAAM,CAAC;AAChB,CAAC;AACD,SAAS,EAAE,CAAC,KAAe,IAAU,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,yCAAyC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACnI,SAAS,MAAM,CAAC,KAAe,IAAU,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9G,SAAS,OAAO,CAAC,KAAe,IAAU,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5H,SAAS,MAAM,CAAC,KAAe,EAAE,MAAgB,IAAU,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1H,SAAS,QAAQ,CAAC,KAAe,EAAE,QAAmC,IAAU,IAAI,KAAK,KAAK,IAAI;IAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtH,SAAS,SAAS,CAAC,KAAe,EAAE,OAAO,GAAG,KAAK;IACjD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACnF,CAAC;AACD,SAAS,QAAQ,CAAC,KAAe;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC9E,CAAC;AACD,SAAS,QAAQ,CAAC,KAAe;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACxF,CAAC;AACD,yGAAyG;AACzG,MAAM,UAAU,qBAAqB,CAAC,KAAe;IACnD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,SAAS,CAAC,KAAe;IAChC,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,+CAA+C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAClG,OAAO,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;AACtH,CAAC;AAED,iGAAiG;AACjG,SAAS,GAAG,CAAC,KAAe,EAAE,QAAkC,EAAE,QAAiB,EACjF,MAAkC,iBAAiB;IACnD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrF,IAAI,QAAQ;QAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;;QAC3E,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC;AACD,SAAS,OAAO,CAAC,IAAc,EAAE,QAAiB,IAAc,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE/G,SAAS,QAAQ,CAAC,KAAe,EAAE,QAAiB;IAClD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,eAAe;QAClG,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,kBAAkB,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjF,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IAC5G,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClD,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjE,GAAG,CAAC,CAAC,CAAC,gBAAgB,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAW,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;SACjD,CAAC;QACJ,OAAO,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC9C,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YAC3D,WAAW,CAAC,QAAmB,KAAM,CAAC,CAAC,QAAmB,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,cAAc,GAAI,CAAC,CAAC,YAA2B,CAAC,MAAM,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;IAChH,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjD,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAK,CAAC,CAAC,gBAA+B,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACvH,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtE,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;;YACxD,OAAO,CAAC,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAClC,CAAC;AACD,SAAS,iBAAiB,CAAC,KAAe;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;AACzF,CAAC;AACD,SAAS,QAAQ,CAAC,KAAe,EAAE,QAAiB;IAClD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7F,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAChD,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAChF,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,iBAAiB,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/F,IAAI,CAAC,QAAQ;QAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChC,sGAAsG;AACxG,CAAC;AACD,SAAS,UAAU,CAAC,KAAe;IACjC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,mBAAmB,EAAE,SAAS,EAAE,WAAW;QACxG,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChD,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;IACvE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,CAAC,CAAC,iBAAiB,KAAK,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC5E,OAAO,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,iBAAiB,CAAC,CAAC;IAC/C,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/C,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa;QACjG,kBAAkB,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC3G,CAAC;AACD,SAAS,QAAQ,CAAC,KAAe;IAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC1D,CAAC;AACD,SAAS,UAAU,CAAC,KAAe,EAAE,QAAiB;IACpD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;IAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACvE,iBAAiB,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AACzC,CAAC;AACD,SAAS,iBAAiB,CAAC,KAAe,EAAE,QAAiB;IAC3D,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3H,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3F,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1D,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAAC,OAAO,CAAE,CAAC,CAAC,QAAuB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,mBAAmB,CAAC,KAAe;IACjD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC,CAAC;IAC3D,qBAAqB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;IAC1C,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO;IACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACrB,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;QACtF,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC3F,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;QAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3E,OAAO,CAAC,OAAO,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,MAAmB,EAAE,QAAiB;IACvD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;IAC7C,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,QAAQ;QAAE,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC;SAClC,IAAI,QAAQ,KAAK,QAAQ;QAAE,MAAM,IAAI,cAAc,CAAC,sBAAsB,CAAC,CAAC;AACnF,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,iBAAiB,CAAC,KAAe,EAAE,QAAQ,GAAG,KAAK;IACjE,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,0BAA0B,CAAC,CAAC;IAChF,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,eAAe,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC1F,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,MAA+B,CAAC;IACpC,IAAI,CAAC,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QAChC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5F,CAAC;SAAM,IAAI,CAAC,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QACvC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5F,CAAC;SAAM,IAAI,CAAC,CAAC,KAAK,KAAK,iBAAiB;QAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;;QAC3D,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,CAAC,QAAQ;QAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,MAAM;QAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACvB,OAAO,CAA+B,CAAC;AACzC,CAAC"}
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
import { type WorkAcceptanceEvent, type WorkAcceptancePayload, type WorkFrozen, type WorkIngestion, type WorkLedgerEvent, type WorkOccurrenceEvent, type WorkOccurrencePayload, type WorkRevision, type WorkRevisionEvent, type WorkSnapshot, type WorkSnapshotEvent, type WorkProjectionContext, type WorkProjection, type WorkLedgerInspection } from "./work-ledger-types.ts";
|
|
2
|
+
export * from "./work-ledger-types.ts";
|
|
3
|
+
export declare function buildWorkRevisionEvent(args: {
|
|
4
|
+
eventId: string;
|
|
5
|
+
now: Date;
|
|
6
|
+
revision: Omit<WorkRevision, "digest">;
|
|
7
|
+
}): WorkFrozen<WorkRevisionEvent>;
|
|
8
|
+
export declare function buildWorkSnapshotEvent(args: {
|
|
9
|
+
eventId: string;
|
|
10
|
+
now: Date;
|
|
11
|
+
snapshot: Omit<WorkSnapshot, "digest">;
|
|
12
|
+
}): WorkFrozen<WorkSnapshotEvent>;
|
|
13
|
+
export declare function buildWorkOccurrenceEvent(args: {
|
|
14
|
+
eventId: string;
|
|
15
|
+
now: Date;
|
|
16
|
+
payload: WorkOccurrencePayload;
|
|
17
|
+
}): WorkFrozen<WorkOccurrenceEvent>;
|
|
18
|
+
export declare function buildWorkAcceptanceEvent(args: {
|
|
19
|
+
eventId: string;
|
|
20
|
+
now: Date;
|
|
21
|
+
payload: WorkAcceptancePayload;
|
|
22
|
+
}): WorkFrozen<WorkAcceptanceEvent>;
|
|
23
|
+
/** Diagnostic boundary: retain physical valid deliveries, never rewrite, deduplicate or elect a winner. */
|
|
24
|
+
export declare function parseWorkLedgerText(text: string): WorkFrozen<WorkIngestion>;
|
|
25
|
+
/** Public opt-in projection: strict text, detached host context, exact selection, actual runtime,
|
|
26
|
+
* then conditional authority binding. No I/O, authenticator, ambient trust or acceptance callback. */
|
|
27
|
+
export declare function projectWorkLedger(text: string, context?: WorkFrozen<WorkProjectionContext>): WorkFrozen<WorkProjection>;
|
|
28
|
+
/** Always opt-in, strict, and detached before the first filesystem await. No environment defaults. */
|
|
29
|
+
export declare function appendWorkLedgerEvent(options: {
|
|
30
|
+
path: string;
|
|
31
|
+
grantLedgerPath: string | null;
|
|
32
|
+
}, event: WorkFrozen<WorkLedgerEvent>): Promise<void>;
|
|
33
|
+
/** Explicit controller application seam: exact ID/digest redelivery does not append a second event. */
|
|
34
|
+
export declare function appendWorkLedgerEventOnce(options: {
|
|
35
|
+
path: string;
|
|
36
|
+
grantLedgerPath: string | null;
|
|
37
|
+
}, event: WorkFrozen<WorkLedgerEvent>): Promise<void>;
|
|
38
|
+
/** Read-only regular-file inspection; a successful read is not a content-validity or acceptance claim. */
|
|
39
|
+
export declare function inspectWorkLedger(options: {
|
|
40
|
+
version: 4;
|
|
41
|
+
path: string;
|
|
42
|
+
}, context?: WorkFrozen<WorkProjectionContext>): Promise<WorkFrozen<WorkLedgerInspection>>;
|
|
43
|
+
//# sourceMappingURL=work-ledger.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger.d.ts","sourceRoot":"","sources":["../src/work-ledger.ts"],"names":[],"mappings":"AAeA,OAAO,EACW,KAAK,mBAAmB,EAAE,KAAK,qBAAqB,EACpE,KAAK,UAAU,EAAE,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,KAAK,mBAAmB,EACnF,KAAK,qBAAqB,EAAE,KAAK,YAAY,EAAE,KAAK,iBAAiB,EAAE,KAAK,YAAY,EACxF,KAAK,iBAAiB,EAAsB,KAAK,qBAAqB,EAAE,KAAK,cAAc,EAChC,KAAK,oBAAoB,EACrF,MAAM,wBAAwB,CAAC;AAChC,cAAc,wBAAwB,CAAC;AAmBvC,wBAAgB,sBAAsB,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;CAAE,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAElJ;AACD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;CAAE,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAElJ;AACD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,qBAAqB,CAAA;CAAE,GAAG,UAAU,CAAC,mBAAmB,CAAC,CAE9I;AACD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,qBAAqB,CAAA;CAAE,GAAG,UAAU,CAAC,mBAAmB,CAAC,CAE9I;AAaD,2GAA2G;AAC3G,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAAC,aAAa,CAAC,CAgB3E;AAED;sGACsG;AACtG,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,UAAU,CAAC,qBAAqB,CAA+C,GAAG,UAAU,CAAC,cAAc,CAAC,CA4BpK;AAED,sGAAsG;AACtG,wBAAgB,qBAAqB,CAAC,OAAO,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAAE,KAAK,EAAE,UAAU,CAAC,eAAe,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAElJ;AACD,uGAAuG;AACvG,wBAAgB,yBAAyB,CAAC,OAAO,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAAE,KAAK,EAAE,UAAU,CAAC,eAAe,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAEtJ;AAkBD,0GAA0G;AAC1G,wBAAsB,iBAAiB,CAAC,OAAO,EAAE;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAC3E,OAAO,GAAE,UAAU,CAAC,qBAAqB,CAA+C,GAAG,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CA0CrI"}
|
|
@@ -0,0 +1,225 @@
|
|
|
1
|
+
/** Opt-in work-v4 evidence. No default emission or built-in acceptance authority. */
|
|
2
|
+
import { isDate } from "node:util/types";
|
|
3
|
+
import { open, stat } from "node:fs/promises";
|
|
4
|
+
import { constants } from "node:fs";
|
|
5
|
+
import { appendLedgerLine, readWorkBytes, closeWorkHandle } from "./ledger-append.js";
|
|
6
|
+
import { workDestination, workFsError, validWorkPath } from "./work-ledger-destination.js";
|
|
7
|
+
import { LockTimeoutError } from "./file-lock.js";
|
|
8
|
+
import { canonicalWorkJson, copyWorkJson, freezeWork, ownWorkFields, parseWorkJson, WORK_EVENT_BYTES, WORK_TEXT_BYTES, WORK_RECORDS, mergeWorkConflicts, } from "./work-ledger-json.js";
|
|
9
|
+
import { validateWorkEvent, validateWorkContext } from "./work-ledger-validation.js";
|
|
10
|
+
import { indexWorkLedgerText, indexWorkReceipts, projectWorkAcceptance } from "./work-ledger-projection.js";
|
|
11
|
+
import { resolveWorkSnapshotText } from "./work-ledger-snapshot.js";
|
|
12
|
+
import { foldWorkOccurrences } from "./work-ledger-occurrences.js";
|
|
13
|
+
import { WorkInputError, WorkLedgerWriteError, } from "./work-ledger-types.js";
|
|
14
|
+
export * from "./work-ledger-types.js";
|
|
15
|
+
function build(args, kind, field) {
|
|
16
|
+
const fields = ownWorkFields(args);
|
|
17
|
+
const required = ["eventId", "now", field];
|
|
18
|
+
if (Object.keys(fields).length !== required.length || required.some(key => !Object.hasOwn(fields, key))) {
|
|
19
|
+
throw new WorkInputError("WORK_SCHEMA_INVALID");
|
|
20
|
+
}
|
|
21
|
+
const now = fields.now.value;
|
|
22
|
+
if (!isDate(now) || Object.getPrototypeOf(now) !== Date.prototype || Reflect.ownKeys(now).length !== 0 ||
|
|
23
|
+
!Number.isFinite(Date.prototype.getTime.call(now)))
|
|
24
|
+
throw new WorkInputError("WORK_SCHEMA_INVALID");
|
|
25
|
+
const content = copyWorkJson(fields[field].value);
|
|
26
|
+
const candidate = copyWorkJson({ ledgerVersion: 4, event: kind, eventId: fields.eventId.value,
|
|
27
|
+
ts: Date.prototype.toISOString.call(now), payload: field === "payload" ? content : { [field]: content } });
|
|
28
|
+
const event = validateWorkEvent(candidate, true);
|
|
29
|
+
if (Buffer.byteLength(canonicalWorkJson(event), "utf8") > WORK_EVENT_BYTES)
|
|
30
|
+
throw new WorkInputError("WORK_LIMIT_EXCEEDED");
|
|
31
|
+
return freezeWork(event);
|
|
32
|
+
}
|
|
33
|
+
export function buildWorkRevisionEvent(args) {
|
|
34
|
+
return build(args, "work_revision", "revision");
|
|
35
|
+
}
|
|
36
|
+
export function buildWorkSnapshotEvent(args) {
|
|
37
|
+
return build(args, "work_snapshot", "snapshot");
|
|
38
|
+
}
|
|
39
|
+
export function buildWorkOccurrenceEvent(args) {
|
|
40
|
+
return build(args, "work_occurrence", "payload");
|
|
41
|
+
}
|
|
42
|
+
export function buildWorkAcceptanceEvent(args) {
|
|
43
|
+
return build(args, "work_acceptance", "payload");
|
|
44
|
+
}
|
|
45
|
+
function* lines(text) {
|
|
46
|
+
let start = 0, line = 1;
|
|
47
|
+
while (start < text.length) {
|
|
48
|
+
const end = text.indexOf("\n", start);
|
|
49
|
+
yield { text: text.slice(start, end === -1 ? text.length : end), line: line++ };
|
|
50
|
+
if (end === -1)
|
|
51
|
+
return;
|
|
52
|
+
start = end + 1;
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
const blank = (text) => /^[ \t\r]*$/.test(text);
|
|
56
|
+
/** Diagnostic boundary: retain physical valid deliveries, never rewrite, deduplicate or elect a winner. */
|
|
57
|
+
export function parseWorkLedgerText(text) {
|
|
58
|
+
const wholeError = (code) => freezeWork({ events: [], errors: [{ line: null, code }], complete: false });
|
|
59
|
+
if (typeof text !== "string")
|
|
60
|
+
return wholeError("WORK_SCHEMA_INVALID");
|
|
61
|
+
if (Buffer.byteLength(text, "utf8") > WORK_TEXT_BYTES)
|
|
62
|
+
return wholeError("WORK_LIMIT_EXCEEDED");
|
|
63
|
+
let records = 0;
|
|
64
|
+
for (const row of lines(text))
|
|
65
|
+
if (!blank(row.text) && ++records > WORK_RECORDS)
|
|
66
|
+
return wholeError("WORK_LIMIT_EXCEEDED");
|
|
67
|
+
const events = [], errors = [];
|
|
68
|
+
for (const row of lines(text)) {
|
|
69
|
+
if (blank(row.text))
|
|
70
|
+
continue;
|
|
71
|
+
try {
|
|
72
|
+
events.push(validateWorkEvent(parseWorkJson(row.text)));
|
|
73
|
+
}
|
|
74
|
+
catch (error) {
|
|
75
|
+
if (!(error instanceof WorkInputError))
|
|
76
|
+
throw error;
|
|
77
|
+
errors.push({ line: row.line, code: error.code });
|
|
78
|
+
}
|
|
79
|
+
}
|
|
80
|
+
return freezeWork({ events, errors, complete: errors.length === 0 });
|
|
81
|
+
}
|
|
82
|
+
/** Public opt-in projection: strict text, detached host context, exact selection, actual runtime,
|
|
83
|
+
* then conditional authority binding. No I/O, authenticator, ambient trust or acceptance callback. */
|
|
84
|
+
export function projectWorkLedger(text, context = { selectedSnapshot: null, authority: null }) {
|
|
85
|
+
const index = indexWorkLedgerText(text);
|
|
86
|
+
const errors = [...index.ingestion.errors];
|
|
87
|
+
let copied = null;
|
|
88
|
+
try {
|
|
89
|
+
const value = copyWorkJson(context);
|
|
90
|
+
validateWorkContext(value);
|
|
91
|
+
copied = JSON.parse(canonicalWorkJson(value));
|
|
92
|
+
}
|
|
93
|
+
catch (error) {
|
|
94
|
+
if (!(error instanceof WorkInputError))
|
|
95
|
+
throw error;
|
|
96
|
+
errors.push({ line: null, code: "WORK_CONTEXT_INVALID" });
|
|
97
|
+
}
|
|
98
|
+
errors.sort((a, b) => (a.line ?? Infinity) - (b.line ?? Infinity) || (a.code < b.code ? -1 : a.code > b.code ? 1 : 0));
|
|
99
|
+
const conflicts = mergeWorkConflicts([
|
|
100
|
+
...index.conflictingEvents.map(ref => ({ kind: "event", id: ref.eventId, digests: [ref.digest], affectedObligations: [] })),
|
|
101
|
+
...indexWorkReceipts(copied?.authority ?? null).conflicts,
|
|
102
|
+
]);
|
|
103
|
+
const identities = { selectedSnapshot: copied?.selectedSnapshot?.snapshot ?? null, authoritySnapshot: copied?.authority?.snapshot ?? null };
|
|
104
|
+
function empty(scopeState, problems, retained = conflicts) {
|
|
105
|
+
return freezeWork({ ...identities, scopeState, progress: null, obligations: [], claims: [], supersededClaims: 0,
|
|
106
|
+
conflicts: mergeWorkConflicts([...retained, ...conflicts]), problems, errors, runtime: null });
|
|
107
|
+
}
|
|
108
|
+
if (errors.length)
|
|
109
|
+
return empty("unresolved", [{ code: "INPUT_INCOMPLETE", reference: null, affectedObligations: [] }]);
|
|
110
|
+
const structure = resolveWorkSnapshotText(text, copied.selectedSnapshot);
|
|
111
|
+
if (structure.scopeState !== "valid")
|
|
112
|
+
return empty(structure.scopeState, structure.problems, structure.conflicts);
|
|
113
|
+
const runtime = foldWorkOccurrences(index, structure.snapshot);
|
|
114
|
+
const acceptance = projectWorkAcceptance(index, structure, copied.authority, runtime);
|
|
115
|
+
return freezeWork({ ...identities, scopeState: "valid", ...acceptance, errors, runtime: runtime.runtime });
|
|
116
|
+
}
|
|
117
|
+
/** Always opt-in, strict, and detached before the first filesystem await. No environment defaults. */
|
|
118
|
+
export function appendWorkLedgerEvent(options, event) {
|
|
119
|
+
return appendWorkEvent(options, event, false);
|
|
120
|
+
}
|
|
121
|
+
/** Explicit controller application seam: exact ID/digest redelivery does not append a second event. */
|
|
122
|
+
export function appendWorkLedgerEventOnce(options, event) {
|
|
123
|
+
return appendWorkEvent(options, event, true);
|
|
124
|
+
}
|
|
125
|
+
async function appendWorkEvent(options, event, once) {
|
|
126
|
+
const fields = ownWorkFields(options);
|
|
127
|
+
if (Object.keys(fields).length !== 2 || !Object.hasOwn(fields, "path") || !Object.hasOwn(fields, "grantLedgerPath") || typeof fields.path.value !== "string" ||
|
|
128
|
+
(fields.grantLedgerPath.value !== null && typeof fields.grantLedgerPath.value !== "string"))
|
|
129
|
+
throw new WorkInputError("WORK_SCHEMA_INVALID");
|
|
130
|
+
const path = fields.path.value, grant = fields.grantLedgerPath.value;
|
|
131
|
+
const candidate = validateWorkEvent(copyWorkJson(event));
|
|
132
|
+
const canonical = canonicalWorkJson(candidate);
|
|
133
|
+
if (Buffer.byteLength(canonical, "utf8") > WORK_EVENT_BYTES)
|
|
134
|
+
throw new WorkInputError("WORK_LIMIT_EXCEEDED");
|
|
135
|
+
try {
|
|
136
|
+
const destination = await workDestination(path, grant);
|
|
137
|
+
await appendLedgerLine({ path: destination.path }, canonical + "\n", destination, once ? { eventId: candidate.eventId, digest: candidate.digest } : undefined);
|
|
138
|
+
}
|
|
139
|
+
catch (error) {
|
|
140
|
+
if (error instanceof LockTimeoutError || workFsError(error))
|
|
141
|
+
throw new WorkLedgerWriteError("WORK_LEDGER_WRITE_FAILED");
|
|
142
|
+
throw error;
|
|
143
|
+
}
|
|
144
|
+
}
|
|
145
|
+
/** Read-only regular-file inspection; a successful read is not a content-validity or acceptance claim. */
|
|
146
|
+
export async function inspectWorkLedger(options, context = { selectedSnapshot: null, authority: null }) {
|
|
147
|
+
let exists = null;
|
|
148
|
+
const failure = (code) => freezeWork({
|
|
149
|
+
version: 4, status: "error", exists, ingestion: null, projection: null, errors: [{ line: null, code }],
|
|
150
|
+
});
|
|
151
|
+
const missing = () => freezeWork({ version: 4, status: "missing", exists: false,
|
|
152
|
+
ingestion: null, projection: null, errors: [] });
|
|
153
|
+
let path, copied;
|
|
154
|
+
try {
|
|
155
|
+
const fields = ownWorkFields(options);
|
|
156
|
+
if (Object.keys(fields).length !== 2 || !Object.hasOwn(fields, "path") || !Object.hasOwn(fields, "version") || typeof fields.path.value !== "string")
|
|
157
|
+
throw new WorkInputError("WORK_SCHEMA_INVALID");
|
|
158
|
+
if (fields.version.value !== 4)
|
|
159
|
+
throw new WorkInputError("WORK_VERSION_UNSUPPORTED");
|
|
160
|
+
path = fields.path.value;
|
|
161
|
+
try {
|
|
162
|
+
const value = copyWorkJson(context);
|
|
163
|
+
validateWorkContext(value);
|
|
164
|
+
copied = value;
|
|
165
|
+
}
|
|
166
|
+
catch (error) {
|
|
167
|
+
if (error instanceof WorkInputError)
|
|
168
|
+
throw new WorkInputError("WORK_CONTEXT_INVALID");
|
|
169
|
+
throw error;
|
|
170
|
+
}
|
|
171
|
+
}
|
|
172
|
+
catch (error) {
|
|
173
|
+
if (error instanceof WorkInputError)
|
|
174
|
+
return failure(error.code);
|
|
175
|
+
throw error;
|
|
176
|
+
}
|
|
177
|
+
if (!validWorkPath(path))
|
|
178
|
+
return failure("WORK_INSPECTION_PATH_INVALID");
|
|
179
|
+
try {
|
|
180
|
+
let info;
|
|
181
|
+
try {
|
|
182
|
+
info = await stat(path);
|
|
183
|
+
}
|
|
184
|
+
catch (error) {
|
|
185
|
+
if (workFsError(error) && error.code === "ENOENT")
|
|
186
|
+
return missing();
|
|
187
|
+
throw error;
|
|
188
|
+
}
|
|
189
|
+
exists = true;
|
|
190
|
+
if (!info.isFile())
|
|
191
|
+
return failure("WORK_INSPECTION_NOT_REGULAR");
|
|
192
|
+
let handle;
|
|
193
|
+
try {
|
|
194
|
+
handle = await open(path, constants.O_RDONLY | constants.O_NONBLOCK);
|
|
195
|
+
}
|
|
196
|
+
catch (error) {
|
|
197
|
+
if (workFsError(error) && error.code === "ENOENT")
|
|
198
|
+
return missing();
|
|
199
|
+
throw error;
|
|
200
|
+
}
|
|
201
|
+
let failed = false, bytes;
|
|
202
|
+
try {
|
|
203
|
+
if (!(await handle.stat()).isFile())
|
|
204
|
+
return failure("WORK_INSPECTION_NOT_REGULAR");
|
|
205
|
+
bytes = await readWorkBytes(handle);
|
|
206
|
+
}
|
|
207
|
+
catch (error) {
|
|
208
|
+
failed = true;
|
|
209
|
+
throw error;
|
|
210
|
+
}
|
|
211
|
+
finally {
|
|
212
|
+
await closeWorkHandle(handle, failed);
|
|
213
|
+
}
|
|
214
|
+
const text = bytes.toString("utf8");
|
|
215
|
+
return freezeWork({ version: 4, status: "read", exists: true, ingestion: parseWorkLedgerText(text), projection: projectWorkLedger(text, copied), errors: [] });
|
|
216
|
+
}
|
|
217
|
+
catch (error) {
|
|
218
|
+
if (error instanceof WorkInputError)
|
|
219
|
+
return failure(error.code);
|
|
220
|
+
if (workFsError(error))
|
|
221
|
+
return failure("WORK_INSPECTION_READ_FAILED");
|
|
222
|
+
throw error;
|
|
223
|
+
}
|
|
224
|
+
}
|
|
225
|
+
//# sourceMappingURL=work-ledger.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger.js","sourceRoot":"","sources":["../src/work-ledger.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EACL,iBAAiB,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EACzE,gBAAgB,EAAE,eAAe,EAAE,YAAY,EAAE,kBAAkB,GACpE,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAC5G,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EACL,cAAc,EAIuB,oBAAoB,GAC1D,MAAM,wBAAwB,CAAC;AAChC,cAAc,wBAAwB,CAAC;AAEvC,SAAS,KAAK,CAAC,IAAa,EAAE,IAAmB,EAAE,KAA0C;IAC3F,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACxG,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC;QAClG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC;IACxG,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,YAAY,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;QAC3F,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAC7G,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,UAAU,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG,gBAAgB;QAAE,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC;IAC5H,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAA4E;IACjH,OAAO,KAAK,CAAC,IAAI,EAAE,eAAe,EAAE,UAAU,CAAkC,CAAC;AACnF,CAAC;AACD,MAAM,UAAU,sBAAsB,CAAC,IAA4E;IACjH,OAAO,KAAK,CAAC,IAAI,EAAE,eAAe,EAAE,UAAU,CAAkC,CAAC;AACnF,CAAC;AACD,MAAM,UAAU,wBAAwB,CAAC,IAAoE;IAC3G,OAAO,KAAK,CAAC,IAAI,EAAE,iBAAiB,EAAE,SAAS,CAAoC,CAAC;AACtF,CAAC;AACD,MAAM,UAAU,wBAAwB,CAAC,IAAoE;IAC3G,OAAO,KAAK,CAAC,IAAI,EAAE,iBAAiB,EAAE,SAAS,CAAoC,CAAC;AACtF,CAAC;AAED,QAAQ,CAAC,CAAC,KAAK,CAAC,IAAY;IAC1B,IAAI,KAAK,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACxB,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAChF,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO;QACvB,KAAK,GAAG,GAAG,GAAG,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEjE,2GAA2G;AAC3G,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,UAAU,GAAG,CAAC,IAA4B,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACjI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,qBAAqB,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,eAAe;QAAE,OAAO,UAAU,CAAC,qBAAqB,CAAC,CAAC;IAChG,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY;YAAE,OAAO,UAAU,CAAC,qBAAqB,CAAC,CAAC;IAC1H,MAAM,MAAM,GAAsB,EAAE,EAAE,MAAM,GAAqB,EAAE,CAAC;IACpE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;QAChE,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,KAAK,YAAY,cAAc,CAAC;gBAAE,MAAM,KAAK,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC;AAED;sGACsG;AACtG,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,UAA6C,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE;IACtI,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,MAAM,GAAiC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACzE,IAAI,MAAM,GAA6C,IAAI,CAAC;IAC5D,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACpC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAA0B,CAAC;IACzE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,cAAc,CAAC;YAAE,MAAM,KAAK,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvH,MAAM,SAAS,GAAG,kBAAkB,CAAC;QACnC,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,CAAC;QACpI,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,IAAI,IAAI,CAAC,CAAC,SAAS;KAC1D,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,IAAI,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,IAAI,IAAI,EAAE,CAAC;IAC5I,SAAS,KAAK,CAAC,UAAwC,EAAE,QAA4C,EAAE,WAAgD,SAAS;QAC9J,OAAO,UAAU,CAAC,EAAE,GAAG,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC;YAC7G,SAAS,EAAE,kBAAkB,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACxH,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,EAAE,MAAO,CAAC,gBAAgB,CAAC,CAAC;IAC1E,IAAI,SAAS,CAAC,UAAU,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;IAClH,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,QAAS,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,EAAE,SAAS,EAAE,MAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACvF,OAAO,UAAU,CAAC,EAAE,GAAG,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;AAC7G,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,qBAAqB,CAAC,OAAyD,EAAE,KAAkC;IACjI,OAAO,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC;AACD,uGAAuG;AACvG,MAAM,UAAU,yBAAyB,CAAC,OAAyD,EAAE,KAAkC;IACrI,OAAO,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AAC/C,CAAC;AACD,KAAK,UAAU,eAAe,CAAC,OAAyD,EAAE,KAAkC,EAAE,IAAa;IACzI,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ;QACxJ,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,MAAM,CAAC,eAAe,CAAC,KAAK,KAAK,QAAQ,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC;IACjJ,MAAM,IAAI,GAAW,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAkB,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC;IAC5F,MAAM,SAAS,GAAG,iBAAiB,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,gBAAgB;QAAE,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC;IAC7G,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,MAAM,gBAAgB,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,EAAE,SAAS,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACjK,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,gBAAgB,IAAI,WAAW,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,0BAA0B,CAAC,CAAC;QACxH,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAAqC,EAC3E,UAA6C,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE;IACxF,IAAI,MAAM,GAAmB,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAsC,EAAoC,EAAE,CAAC,UAAU,CAAC;QACvG,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;KACvG,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,GAAqC,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK;QAC/G,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACnD,IAAI,IAAY,EAAE,MAAyC,CAAC;IAC5D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,qBAAqB,CAAC,CAAC;QACtM,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,0BAA0B,CAAC,CAAC;QACrF,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC;YAAC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAAC,MAAM,GAAG,KAAqD,CAAC;QAAC,CAAC;QACxI,OAAO,KAAK,EAAE,CAAC;YAAC,IAAI,KAAK,YAAY,cAAc;gBAAE,MAAM,IAAI,cAAc,CAAC,sBAAsB,CAAC,CAAC;YAAC,MAAM,KAAK,CAAC;QAAC,CAAC;IACvH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,IAAI,KAAK,YAAY,cAAc;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,MAAM,KAAK,CAAC;IAAC,CAAC;IACjG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACzE,IAAI,CAAC;QACH,IAAI,IAAI,CAAC;QACT,IAAI,CAAC;YAAC,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAChC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,OAAO,EAAE,CAAC;YACpE,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,GAAG,IAAI,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;YAAE,OAAO,OAAO,CAAC,6BAA6B,CAAC,CAAC;QAClE,IAAI,MAAwC,CAAC;QAC7C,IAAI,CAAC;YAAC,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QAAC,CAAC;QAC7E,OAAO,KAAK,EAAE,CAAC;YAAC,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,OAAO,EAAE,CAAC;YAAC,MAAM,KAAK,CAAC;QAAC,CAAC;QACnG,IAAI,MAAM,GAAG,KAAK,EAAE,KAAa,CAAC;QAClC,IAAI,CAAC;YACH,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;gBAAE,OAAO,OAAO,CAAC,6BAA6B,CAAC,CAAC;YACnF,KAAK,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC;YAAC,MAAM,KAAK,CAAC;QAAC,CAAC;gBACvC,CAAC;YAAC,MAAM,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpC,OAAO,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,mBAAmB,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACjK,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,cAAc;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,WAAW,CAAC,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACtE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
import { createHash } from "node:crypto";
|
|
2
|
+
import { homedir } from "node:os";
|
|
3
|
+
import { mkdir } from "node:fs/promises";
|
|
4
|
+
import { join } from "node:path";
|
|
5
|
+
import { adoptDashboardHarnessBridge } from "../src/dashboard-harness.ts";
|
|
6
|
+
import { ENV_DASHBOARD_HOST_SOCKET } from "../src/dashboard-host-transport.ts";
|
|
7
|
+
import { startDailyDashboardHost } from "../src/daily-dashboard-host.ts";
|
|
8
|
+
import type { DeclaredWorkState } from "../src/work-command.ts";
|
|
9
|
+
import type { OrdinaryChildren } from "../src/ordinary-children.ts";
|
|
10
|
+
|
|
11
|
+
const BRIDGE=Symbol.for("skill-harness.dashboard-host.v1"),idPattern=/^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/;
|
|
12
|
+
export function dailyDashboardPaths(cwd:string,id:string,home=homedir(),uid=process.getuid?.()??0){const key=createHash("sha256").update(`${cwd}\0${id}`).digest("hex");return {directory:join(home,".local","state","pi-daddy","hosts",key.slice(0,16)),socketDirectory:join("/tmp",`pi-daddy-${uid}`),socketPath:join("/tmp",`pi-daddy-${uid}`,`host-${key.slice(0,20)}.sock`)};}
|
|
13
|
+
export function createDailyDashboardSession(input:{ordinary:()=>OrdinaryChildren;declared:()=>DeclaredWorkState|undefined;cwd:()=>string;env:Record<string,string|undefined>;author:string}){
|
|
14
|
+
let current:null|Awaited<ReturnType<typeof startDailyDashboardHost>>=null,publishedSocket:string|undefined;
|
|
15
|
+
return Object.freeze({
|
|
16
|
+
async run(target:string){
|
|
17
|
+
if(target==="stop"){
|
|
18
|
+
if(!current)return "daily host is not running";await current.close();current=null;if(publishedSocket&&input.env[ENV_DASHBOARD_HOST_SOCKET]===publishedSocket)delete input.env[ENV_DASHBOARD_HOST_SOCKET];publishedSocket=undefined;return "daily host stopped; no child was cancelled";
|
|
19
|
+
}
|
|
20
|
+
if(!idPattern.test(target))throw Error("usage — /grants host <fresh-id> | stop");if(current)throw Error("daily host already running in this session; stop it before selecting another fresh id");
|
|
21
|
+
const declared=input.declared();if(!declared)throw Error("declare current work first with pi-daddy work add, then reload");
|
|
22
|
+
const bridge=(globalThis as Record<PropertyKey,unknown>)[BRIDGE];if(!bridge)throw Error("loaded skill-harness extension bridge unavailable; load the candidate skill-harness extension in this Pi session");
|
|
23
|
+
const paths=dailyDashboardPaths(input.cwd(),target);await mkdir(join(homedir(),".local","state","pi-daddy","hosts"),{recursive:true,mode:0o700});await mkdir(paths.socketDirectory,{recursive:true,mode:0o700});
|
|
24
|
+
current=await startDailyDashboardHost({id:target,cwd:input.cwd(),directory:paths.directory,socketPath:paths.socketPath,declared,ordinary:input.ordinary(),harness:adoptDashboardHarnessBridge(bridge) as never,author:input.author});
|
|
25
|
+
publishedSocket=current.socketPath;input.env[ENV_DASHBOARD_HOST_SOCKET]=publishedSocket;
|
|
26
|
+
return `daily host started at ${publishedSocket}; current declared work/facts were captured. Run /grants dashboard, then use only its listed pause/resume/refresh action keys. Runtime remains unaccepted.`;
|
|
27
|
+
},
|
|
28
|
+
async close(){if(current)await current.close();if(publishedSocket&&input.env[ENV_DASHBOARD_HOST_SOCKET]===publishedSocket)delete input.env[ENV_DASHBOARD_HOST_SOCKET];current=null;publishedSocket=undefined;}
|
|
29
|
+
});
|
|
30
|
+
}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import type { DeclaredWorkState } from "../src/work-command.ts";
|
|
2
|
+
import { ENV_DAILY_SELECTION, ENV_DAILY_WORK } from "../src/dashboard-cli.ts";
|
|
3
|
+
|
|
4
|
+
export interface PublishedDailyWork { work?: string; selection?: string }
|
|
5
|
+
|
|
6
|
+
/** Replace only values this extension instance published; an operator override is never deleted. */
|
|
7
|
+
export function replacePublishedDailyWork(
|
|
8
|
+
env: Record<string, string | undefined>,
|
|
9
|
+
published: PublishedDailyWork,
|
|
10
|
+
state: Pick<DeclaredWorkState, "ledgerPath" | "selectedSnapshot"> | undefined,
|
|
11
|
+
): void {
|
|
12
|
+
if (published.work && env[ENV_DAILY_WORK] === published.work) delete env[ENV_DAILY_WORK];
|
|
13
|
+
if (published.selection && env[ENV_DAILY_SELECTION] === published.selection) delete env[ENV_DAILY_SELECTION];
|
|
14
|
+
delete published.work; delete published.selection;
|
|
15
|
+
if (!state) return;
|
|
16
|
+
published.work = state.ledgerPath;
|
|
17
|
+
published.selection = JSON.stringify(state.selectedSnapshot);
|
|
18
|
+
env[ENV_DAILY_WORK] = published.work;
|
|
19
|
+
env[ENV_DAILY_SELECTION] = published.selection;
|
|
20
|
+
}
|
|
@@ -251,6 +251,7 @@ export function registerChainTool(pi: ExtensionAPI, session: GrantsSession): voi
|
|
|
251
251
|
signal,
|
|
252
252
|
{
|
|
253
253
|
preApproved: availableForStep,
|
|
254
|
+
toolCallId: _toolCallId,
|
|
254
255
|
// Only approvals actually offered to this step are attributed or consumed here.
|
|
255
256
|
approvalFacts: chainApprovalFacts(approvalAudit, availableForStep, step.agent ?? DELEGATE_SUBJECT),
|
|
256
257
|
onProgress: (update) => {
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import { allocateNativeSessionTarget } from "../src/native-session-target.ts";
|
|
2
|
+
import type { GrantsSession } from "./session.ts";
|
|
3
|
+
import type { ExecutionOccurrenceIds } from "./execution-occurrence.ts";
|
|
4
|
+
/** Shared delegate/all/chain host setup, before planning/audit; no tool-schema destination parameter. */
|
|
5
|
+
export async function nativeDelegationContext(session:GrantsSession,ids:ExecutionOccurrenceIds,budget:number|undefined,refused:boolean){
|
|
6
|
+
let sessionFile:string|undefined,refusal:string|undefined;
|
|
7
|
+
if(!refused&&session.nativeSessionRoot!==undefined){
|
|
8
|
+
try{sessionFile=await allocateNativeSessionTarget(session.nativeSessionRoot,ids.executionId);}
|
|
9
|
+
catch(error){refusal=`native retention target refused (${String(error)})`;}
|
|
10
|
+
}
|
|
11
|
+
return {extra:{fanoutBudget:budget,spawnId:ids.parentId,childSpawnId:ids.childId,childExecutionId:ids.executionId,sessionFile},refusal};
|
|
12
|
+
}
|