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,261 @@
|
|
|
1
|
+
/** Opt-in work-v4 wire identities; none of these declarations grants authority. */
|
|
2
|
+
export type WorkFrozen<T> = T extends ReadonlyArray<infer E> ? ReadonlyArray<WorkFrozen<E>> : T extends object ? {
|
|
3
|
+
readonly [K in keyof T]: WorkFrozen<T[K]>;
|
|
4
|
+
} : T;
|
|
5
|
+
export type WorkInputCode = "WORK_JSON_INVALID" | "WORK_DUPLICATE_MEMBER" | "WORK_LIMIT_EXCEEDED" | "WORK_VERSION_UNSUPPORTED" | "WORK_SCHEMA_INVALID" | "WORK_DIGEST_MISMATCH" | "WORK_CONTEXT_INVALID";
|
|
6
|
+
export declare class WorkInputError extends TypeError {
|
|
7
|
+
readonly code: WorkInputCode;
|
|
8
|
+
constructor(code: WorkInputCode);
|
|
9
|
+
}
|
|
10
|
+
export type WorkWriteCode = "WORK_DESTINATION_INVALID" | "WORK_DESTINATION_ALIAS" | "WORK_LEDGER_WRITE_FAILED";
|
|
11
|
+
export declare class WorkLedgerWriteError extends Error {
|
|
12
|
+
readonly code: WorkWriteCode;
|
|
13
|
+
constructor(code: WorkWriteCode);
|
|
14
|
+
}
|
|
15
|
+
export type WorkInspectionCode = "WORK_INSPECTION_PATH_INVALID" | "WORK_INSPECTION_NOT_REGULAR" | "WORK_INSPECTION_READ_FAILED";
|
|
16
|
+
export interface WorkInspectionDiagnostic {
|
|
17
|
+
readonly line: null;
|
|
18
|
+
readonly code: WorkInputCode | WorkInspectionCode;
|
|
19
|
+
}
|
|
20
|
+
export interface WorkLedgerInspection {
|
|
21
|
+
readonly version: 4;
|
|
22
|
+
readonly status: "read" | "missing" | "error";
|
|
23
|
+
readonly exists: boolean | null;
|
|
24
|
+
readonly ingestion: WorkIngestion | null;
|
|
25
|
+
readonly projection: WorkProjection | null;
|
|
26
|
+
readonly errors: ReadonlyArray<WorkInspectionDiagnostic>;
|
|
27
|
+
}
|
|
28
|
+
export type RevisionKind = "scope" | "goal" | "node" | "obligation" | "artifact" | "policy";
|
|
29
|
+
export type WorkEventKind = "work_revision" | "work_snapshot" | "work_occurrence" | "work_acceptance";
|
|
30
|
+
export interface RevisionRef {
|
|
31
|
+
kind: RevisionKind;
|
|
32
|
+
id: string;
|
|
33
|
+
revision: number;
|
|
34
|
+
digest: string;
|
|
35
|
+
}
|
|
36
|
+
export interface EventRef {
|
|
37
|
+
eventId: string;
|
|
38
|
+
digest: string;
|
|
39
|
+
}
|
|
40
|
+
export interface Identity {
|
|
41
|
+
id: string;
|
|
42
|
+
digest: string;
|
|
43
|
+
}
|
|
44
|
+
export interface WorkRevision {
|
|
45
|
+
kind: RevisionKind;
|
|
46
|
+
id: string;
|
|
47
|
+
revision: number;
|
|
48
|
+
scopeId: string;
|
|
49
|
+
predecessor: RevisionRef | null;
|
|
50
|
+
contentDigest: string;
|
|
51
|
+
parent: RevisionRef | null;
|
|
52
|
+
dependencies: RevisionRef[];
|
|
53
|
+
ownerId: string;
|
|
54
|
+
permittedEffects: string[];
|
|
55
|
+
policy: RevisionRef | null;
|
|
56
|
+
digest: string;
|
|
57
|
+
}
|
|
58
|
+
export interface ObligationBinding {
|
|
59
|
+
intent: RevisionRef;
|
|
60
|
+
obligation: RevisionRef;
|
|
61
|
+
artifact: RevisionRef | null;
|
|
62
|
+
policy: RevisionRef;
|
|
63
|
+
}
|
|
64
|
+
export interface WorkSnapshot {
|
|
65
|
+
snapshotId: string;
|
|
66
|
+
scope: RevisionRef;
|
|
67
|
+
revisions: RevisionRef[];
|
|
68
|
+
bindings: ObligationBinding[];
|
|
69
|
+
digest: string;
|
|
70
|
+
}
|
|
71
|
+
export interface WorkOccurrencePayload {
|
|
72
|
+
scope: RevisionRef;
|
|
73
|
+
obligation: RevisionRef;
|
|
74
|
+
executionId: string;
|
|
75
|
+
parentExecutionId: string | null;
|
|
76
|
+
childId: string | null;
|
|
77
|
+
variantId: string | null;
|
|
78
|
+
artifact: RevisionRef | null;
|
|
79
|
+
provenance: "declared" | "observed";
|
|
80
|
+
state: "unknown" | "starting" | "running" | "completed" | "failed";
|
|
81
|
+
labels: {
|
|
82
|
+
sessionId: string | null;
|
|
83
|
+
branchLeafId: string | null;
|
|
84
|
+
toolCallId: string | null;
|
|
85
|
+
taskId: string | null;
|
|
86
|
+
workspaceId: string | null;
|
|
87
|
+
definitionDigest: string | null;
|
|
88
|
+
configurationDigest: string | null;
|
|
89
|
+
modelId: string | null;
|
|
90
|
+
effortId: string | null;
|
|
91
|
+
};
|
|
92
|
+
}
|
|
93
|
+
export interface EvidenceRef {
|
|
94
|
+
id: string;
|
|
95
|
+
digest: string;
|
|
96
|
+
event: EventRef | null;
|
|
97
|
+
}
|
|
98
|
+
export interface AcceptanceBinding {
|
|
99
|
+
snapshot: Identity;
|
|
100
|
+
scope: RevisionRef;
|
|
101
|
+
intent: RevisionRef;
|
|
102
|
+
obligation: RevisionRef;
|
|
103
|
+
artifact: RevisionRef;
|
|
104
|
+
artifactDigest: string;
|
|
105
|
+
policy: RevisionRef;
|
|
106
|
+
evidence: EvidenceRef[];
|
|
107
|
+
}
|
|
108
|
+
export interface WorkAcceptancePayload {
|
|
109
|
+
authorityId: string;
|
|
110
|
+
binding: AcceptanceBinding;
|
|
111
|
+
}
|
|
112
|
+
interface WorkEvent<K extends WorkEventKind, P> {
|
|
113
|
+
ledgerVersion: 4;
|
|
114
|
+
event: K;
|
|
115
|
+
eventId: string;
|
|
116
|
+
ts: string;
|
|
117
|
+
payload: P;
|
|
118
|
+
digest: string;
|
|
119
|
+
}
|
|
120
|
+
export type WorkRevisionEvent = WorkEvent<"work_revision", {
|
|
121
|
+
revision: WorkRevision;
|
|
122
|
+
}>;
|
|
123
|
+
export type WorkSnapshotEvent = WorkEvent<"work_snapshot", {
|
|
124
|
+
snapshot: WorkSnapshot;
|
|
125
|
+
}>;
|
|
126
|
+
export type WorkOccurrenceEvent = WorkEvent<"work_occurrence", WorkOccurrencePayload>;
|
|
127
|
+
export type WorkAcceptanceEvent = WorkEvent<"work_acceptance", WorkAcceptancePayload>;
|
|
128
|
+
export type WorkLedgerEvent = WorkRevisionEvent | WorkSnapshotEvent | WorkOccurrenceEvent | WorkAcceptanceEvent;
|
|
129
|
+
export interface WorkDiagnostic {
|
|
130
|
+
readonly line: number | null;
|
|
131
|
+
readonly code: WorkInputCode;
|
|
132
|
+
}
|
|
133
|
+
export interface WorkIngestion {
|
|
134
|
+
readonly events: ReadonlyArray<WorkLedgerEvent>;
|
|
135
|
+
readonly errors: ReadonlyArray<WorkDiagnostic>;
|
|
136
|
+
readonly complete: boolean;
|
|
137
|
+
}
|
|
138
|
+
export type WorkResolutionCode = "INPUT_INCOMPLETE" | "NO_SELECTION" | "REFERENCE_MISSING" | "SCOPE_INVALID" | "REVISION_INVALID" | "CYCLE" | "DEPENDENCY_INVALID" | "EVENT_CONFLICT" | "ARTIFACT_UNSELECTED" | "ARTIFACT_DIGEST_MISMATCH" | "NO_CLAIM" | "SUPERSEDED_BINDING" | "AUTHORITY_MISSING" | "RECEIPT_MISSING" | "RECEIPT_MISMATCH" | "RECEIPT_CONFLICT" | "DECISION_CONFLICT" | "TRUSTED_REJECTION" | "AVAILABILITY_MISSING" | "BYTES_UNAVAILABLE" | "AVAILABILITY_CONFLICT" | "OCCURRENCE_CONFLICT" | "PARENT_MISSING" | "PARENT_CYCLE" | "OBSERVATION_CONFLICT" | "BRANCH_UNKNOWN";
|
|
139
|
+
export type WorkReference = {
|
|
140
|
+
readonly type: "revision";
|
|
141
|
+
readonly ref: RevisionRef;
|
|
142
|
+
} | {
|
|
143
|
+
readonly type: "event";
|
|
144
|
+
readonly ref: EventRef;
|
|
145
|
+
} | {
|
|
146
|
+
readonly type: "snapshot" | "authority" | "artifact-bytes" | "evidence-bytes";
|
|
147
|
+
readonly ref: Identity;
|
|
148
|
+
} | {
|
|
149
|
+
readonly type: "execution";
|
|
150
|
+
readonly id: string;
|
|
151
|
+
};
|
|
152
|
+
export interface WorkProblem {
|
|
153
|
+
readonly code: WorkResolutionCode;
|
|
154
|
+
readonly reference: WorkReference | null;
|
|
155
|
+
readonly affectedObligations: ReadonlyArray<RevisionRef>;
|
|
156
|
+
}
|
|
157
|
+
export interface WorkConflict {
|
|
158
|
+
readonly kind: "event" | "receipt";
|
|
159
|
+
readonly id: string;
|
|
160
|
+
readonly digests: ReadonlyArray<string>;
|
|
161
|
+
readonly affectedObligations: ReadonlyArray<RevisionRef>;
|
|
162
|
+
}
|
|
163
|
+
/** Explicit trusted-host declarations, never constructed from wire evidence by production code. */
|
|
164
|
+
export interface WorkProjectionContext {
|
|
165
|
+
selectedSnapshot: {
|
|
166
|
+
snapshot: Identity;
|
|
167
|
+
event: EventRef;
|
|
168
|
+
} | null;
|
|
169
|
+
authority: {
|
|
170
|
+
snapshot: Identity;
|
|
171
|
+
decisions: Array<{
|
|
172
|
+
receiptId: string;
|
|
173
|
+
authorityId: string;
|
|
174
|
+
claim: EventRef;
|
|
175
|
+
binding: AcceptanceBinding;
|
|
176
|
+
decision: "accept" | "reject";
|
|
177
|
+
}>;
|
|
178
|
+
availability: Array<{
|
|
179
|
+
kind: "artifact" | "evidence";
|
|
180
|
+
id: string;
|
|
181
|
+
digest: string;
|
|
182
|
+
available: boolean;
|
|
183
|
+
}>;
|
|
184
|
+
} | null;
|
|
185
|
+
}
|
|
186
|
+
export type WorkAvailability = "available" | "unavailable" | "unknown" | "conflicted";
|
|
187
|
+
export interface WorkCoverageItem {
|
|
188
|
+
readonly kind: "artifact" | "evidence";
|
|
189
|
+
readonly identity: Identity;
|
|
190
|
+
readonly state: WorkAvailability;
|
|
191
|
+
}
|
|
192
|
+
export interface WorkCoverage {
|
|
193
|
+
readonly state: WorkAvailability | "unselected";
|
|
194
|
+
readonly items: ReadonlyArray<WorkCoverageItem>;
|
|
195
|
+
}
|
|
196
|
+
export type WorkAcceptanceState = "accepted-under-supplied-authority" | "unaccepted" | "unresolved";
|
|
197
|
+
export interface WorkClaimResult {
|
|
198
|
+
readonly claim: EventRef;
|
|
199
|
+
readonly obligation: RevisionRef;
|
|
200
|
+
readonly applicability: WorkAcceptanceState | "superseded";
|
|
201
|
+
readonly matchedReceiptIds: ReadonlyArray<string>;
|
|
202
|
+
readonly problems: ReadonlyArray<WorkProblem>;
|
|
203
|
+
}
|
|
204
|
+
export interface WorkObligationResult {
|
|
205
|
+
readonly binding: ObligationBinding;
|
|
206
|
+
readonly acceptance: WorkAcceptanceState;
|
|
207
|
+
readonly artifactCoverage: WorkCoverage;
|
|
208
|
+
readonly evidenceCoverage: WorkCoverage;
|
|
209
|
+
readonly claims: ReadonlyArray<EventRef>;
|
|
210
|
+
readonly problems: ReadonlyArray<WorkProblem>;
|
|
211
|
+
}
|
|
212
|
+
export interface WorkOccurrenceView {
|
|
213
|
+
readonly event: EventRef;
|
|
214
|
+
readonly payload: WorkOccurrencePayload;
|
|
215
|
+
}
|
|
216
|
+
export interface WorkAttemptBinding {
|
|
217
|
+
readonly scope: RevisionRef;
|
|
218
|
+
readonly obligation: RevisionRef;
|
|
219
|
+
readonly variantIds: ReadonlyArray<string>;
|
|
220
|
+
readonly artifacts: ReadonlyArray<RevisionRef>;
|
|
221
|
+
}
|
|
222
|
+
export interface WorkAttempt {
|
|
223
|
+
readonly executionId: string;
|
|
224
|
+
readonly bindings: ReadonlyArray<WorkAttemptBinding>;
|
|
225
|
+
readonly parentExecutionId: string | null;
|
|
226
|
+
readonly childId: string | null;
|
|
227
|
+
readonly declaredLabels: ReadonlyArray<WorkOccurrencePayload["labels"]>;
|
|
228
|
+
readonly observedLabels: ReadonlyArray<WorkOccurrencePayload["labels"]>;
|
|
229
|
+
readonly effectiveLabels: WorkOccurrencePayload["labels"];
|
|
230
|
+
readonly state: WorkOccurrencePayload["state"] | "conflicted";
|
|
231
|
+
readonly resolution: "resolved" | "unresolved";
|
|
232
|
+
readonly problems: ReadonlyArray<WorkProblem>;
|
|
233
|
+
}
|
|
234
|
+
export interface WorkRuntimeCounts {
|
|
235
|
+
readonly attempts: number;
|
|
236
|
+
readonly variants: number;
|
|
237
|
+
readonly observedCompletedAttempts: number;
|
|
238
|
+
}
|
|
239
|
+
export interface WorkRuntime {
|
|
240
|
+
readonly counts: WorkRuntimeCounts;
|
|
241
|
+
readonly occurrences: ReadonlyArray<WorkOccurrenceView>;
|
|
242
|
+
readonly attempts: ReadonlyArray<WorkAttempt>;
|
|
243
|
+
}
|
|
244
|
+
export interface WorkProjection {
|
|
245
|
+
readonly selectedSnapshot: Identity | null;
|
|
246
|
+
readonly authoritySnapshot: Identity | null;
|
|
247
|
+
readonly scopeState: "unselected" | "valid" | "unresolved" | "invalid";
|
|
248
|
+
readonly progress: Readonly<{
|
|
249
|
+
accepted: number;
|
|
250
|
+
total: number;
|
|
251
|
+
}> | null;
|
|
252
|
+
readonly obligations: ReadonlyArray<WorkObligationResult>;
|
|
253
|
+
readonly claims: ReadonlyArray<WorkClaimResult>;
|
|
254
|
+
readonly supersededClaims: number;
|
|
255
|
+
readonly conflicts: ReadonlyArray<WorkConflict>;
|
|
256
|
+
readonly problems: ReadonlyArray<WorkProblem>;
|
|
257
|
+
readonly errors: ReadonlyArray<WorkDiagnostic>;
|
|
258
|
+
readonly runtime: WorkRuntime | null;
|
|
259
|
+
}
|
|
260
|
+
export {};
|
|
261
|
+
//# sourceMappingURL=work-ledger-types.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-types.d.ts","sourceRoot":"","sources":["../src/work-ledger-types.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GACxD,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,SAAS,MAAM,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,CAAC,CAAC;AACzE,MAAM,MAAM,aAAa,GACrB,mBAAmB,GAAG,uBAAuB,GAAG,qBAAqB,GACrE,0BAA0B,GAAG,qBAAqB,GAClD,sBAAsB,GAAG,sBAAsB,CAAC;AAEpD,qBAAa,cAAe,SAAQ,SAAS;IAC3C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;gBACjB,IAAI,EAAE,aAAa;CAKhC;AAED,MAAM,MAAM,aAAa,GAAG,0BAA0B,GAAG,wBAAwB,GAAG,0BAA0B,CAAC;AAC/G,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;gBACjB,IAAI,EAAE,aAAa;CAChC;AACD,MAAM,MAAM,kBAAkB,GAAG,8BAA8B,GAAG,6BAA6B,GAAG,6BAA6B,CAAC;AAChI,MAAM,WAAW,wBAAwB;IAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,kBAAkB,CAAA;CAAE;AACpH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,wBAAwB,CAAC,CAAC;CAC1D;AAED,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,GAAG,UAAU,GAAG,QAAQ,CAAC;AAC5F,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG,eAAe,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;AACtG,MAAM,WAAW,WAAW;IAAG,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACjG,MAAM,WAAW,QAAQ;IAAG,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAC7D,MAAM,WAAW,QAAQ;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACxD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,YAAY,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3B,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,WAAW,CAAC;IACpB,UAAU,EAAE,WAAW,CAAC;IACxB,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;IAC7B,MAAM,EAAE,WAAW,CAAC;CACrB;AACD,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,WAAW,CAAC;IACnB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,WAAW,CAAC;IACnB,UAAU,EAAE,WAAW,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IACpC,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IACnE,MAAM,EAAE;QACN,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;QAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QAC3B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QAChC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;QACnC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;KACzB,CAAC;CACH;AACD,MAAM,WAAW,WAAW;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;CAAE;AACnF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;IACpB,UAAU,EAAE,WAAW,CAAC;IACxB,QAAQ,EAAE,WAAW,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AACD,MAAM,WAAW,qBAAqB;IAAG,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE;AAC1F,UAAU,SAAS,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC;IAC5C,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,CAAC,CAAC;IACT,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,CAAC,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,MAAM,MAAM,iBAAiB,GAAG,SAAS,CAAC,eAAe,EAAE;IAAE,QAAQ,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AACvF,MAAM,MAAM,iBAAiB,GAAG,SAAS,CAAC,eAAe,EAAE;IAAE,QAAQ,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AACvF,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,CAAC;AACtF,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,CAAC;AACtF,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAChH,MAAM,WAAW,cAAc;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE;AAC9F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,kBAAkB,GAC1B,kBAAkB,GAAG,cAAc,GAAG,mBAAmB,GACzD,eAAe,GAAG,kBAAkB,GAAG,OAAO,GAAG,oBAAoB,GACrE,gBAAgB,GAAG,qBAAqB,GAAG,0BAA0B,GACrE,UAAU,GAAG,oBAAoB,GAAG,mBAAmB,GACvD,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,mBAAmB,GACjF,mBAAmB,GAAG,sBAAsB,GAAG,mBAAmB,GAClE,uBAAuB,GAAG,qBAAqB,GAC/C,gBAAgB,GAAG,cAAc,GAAG,sBAAsB,GAAG,gBAAgB,CAAC;AAClF,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACzG;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AACxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC1D;AACD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC1D;AAED,mGAAmG;AACnG,MAAM,WAAW,qBAAqB;IACpC,gBAAgB,EAAE;QAAE,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,QAAQ,CAAA;KAAE,GAAG,IAAI,CAAC;IACjE,SAAS,EAAE;QACT,QAAQ,EAAE,QAAQ,CAAC;QACnB,SAAS,EAAE,KAAK,CAAC;YACf,SAAS,EAAE,MAAM,CAAC;YAClB,WAAW,EAAE,MAAM,CAAC;YACpB,KAAK,EAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,iBAAiB,CAAC;YAC3B,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC;SAC/B,CAAC,CAAC;QACH,YAAY,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;KACxG,GAAG,IAAI,CAAC;CACV;AACD,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,YAAY,CAAC;AACtF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AACD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,YAAY,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CACjD;AACD,MAAM,MAAM,mBAAmB,GAAG,mCAAmC,GAAG,YAAY,GAAG,YAAY,CAAC;AACpG,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,GAAG,YAAY,CAAC;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,kBAAkB;IAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAA;CAAE;AACzG,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAChD;AACD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC;IAC9D,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,YAAY,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;CAC5C;AACD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,YAAY,GAAG,OAAO,GAAG,YAAY,GAAG,SAAS,CAAC;IACvE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC;IACxE,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAChD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;CACtC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
export class WorkInputError extends TypeError {
|
|
2
|
+
code;
|
|
3
|
+
constructor(code) {
|
|
4
|
+
super(code);
|
|
5
|
+
this.name = "WorkInputError";
|
|
6
|
+
this.code = code;
|
|
7
|
+
}
|
|
8
|
+
}
|
|
9
|
+
export class WorkLedgerWriteError extends Error {
|
|
10
|
+
code;
|
|
11
|
+
constructor(code) { super(code); this.name = "WorkLedgerWriteError"; this.code = code; }
|
|
12
|
+
}
|
|
13
|
+
//# sourceMappingURL=work-ledger-types.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-types.js","sourceRoot":"","sources":["../src/work-ledger-types.ts"],"names":[],"mappings":"AASA,MAAM,OAAO,cAAe,SAAQ,SAAS;IAClC,IAAI,CAAgB;IAC7B,YAAY,IAAmB;QAC7B,KAAK,CAAC,IAAI,CAAC,CAAC;QACZ,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAGD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACpC,IAAI,CAAgB;IAC7B,YAAY,IAAmB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;CACxG"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import { type WorkJson } from "./work-ledger-json.ts";
|
|
2
|
+
import { type WorkLedgerEvent } from "./work-ledger-types.ts";
|
|
3
|
+
type ObjectValue = {
|
|
4
|
+
[key: string]: WorkJson;
|
|
5
|
+
};
|
|
6
|
+
export declare function workObject(value: WorkJson): ObjectValue;
|
|
7
|
+
/** Internal validation for the exact out-of-band selectedSnapshot shape; no authority is constructed. */
|
|
8
|
+
export declare function validateWorkSelection(value: WorkJson): void;
|
|
9
|
+
/** Validate a detached host context. Receipt/availability order and duplicate deliveries have no priority. */
|
|
10
|
+
export declare function validateWorkContext(value: WorkJson): void;
|
|
11
|
+
/** All closed shapes/domain checks finish before any own digest is computed or verified. */
|
|
12
|
+
export declare function validateWorkEvent(value: WorkJson, building?: boolean): WorkLedgerEvent;
|
|
13
|
+
export {};
|
|
14
|
+
//# sourceMappingURL=work-ledger-validation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"work-ledger-validation.d.ts","sourceRoot":"","sources":["../src/work-ledger-validation.ts"],"names":[],"mappings":"AACA,OAAO,EAAiC,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9E,KAAK,WAAW,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,CAAC;AAI/C,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,GAAG,WAAW,CAGvD;AAqBD,yGAAyG;AACzG,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAI3D;AA2FD,8GAA8G;AAC9G,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAiBzD;AASD,4FAA4F;AAC5F,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,UAAQ,GAAG,eAAe,CAiBpF"}
|
|
@@ -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"}
|