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 @@
|
|
|
1
|
+
{"version":3,"file":"factory-order.d.ts","sourceRoot":"","sources":["../src/factory-order.ts"],"names":[],"mappings":"AAKA,OAAO,EAAyH,KAAK,mBAAmB,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC/M,OAAO,EAA8D,KAAK,sBAAsB,EAAoB,MAAM,uBAAuB,CAAC;AAClJ,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC5G,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,KAAK,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAChH,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,KAAK,mBAAmB,EAAE,KAAK,gBAAgB,EAAE,KAAK,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE5O,wBAAsB,kBAAkB,CAAC,aAAa,EAAC,sBAAsB,EAAC,KAAK,EAAC,mBAAmB,EAAC,IAAI,EAAC,gBAAgB,GAAC,IAAI,8DAiBjI;AACD,wBAAsB,gBAAgB,CAAC,aAAa,EAAC,sBAAsB,EAAC,OAAO,EAAC,MAAM,EAAC,IAAI,EAAC,gBAAgB,GAAC,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAiB3F,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBACd,eAAe,QAAM,gBAAgB,GAAC,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBAC1C,sBAAsB,QAAM,gBAAgB,GAAC,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGzE;AACD,MAAM,MAAM,gBAAgB,GAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,83 @@
|
|
|
1
|
+
import { byteHash, cloneExperiment, experimentCharterDigest, experimentHash } from "./experiment-contract.js";
|
|
2
|
+
import { createExperiment, openExperiment } from "./experiment.js";
|
|
3
|
+
import { experimentBindingDigest, experimentStore } from "./experiment-store.js";
|
|
4
|
+
import { readIntentWork } from "./intent-application.js";
|
|
5
|
+
import { freezeWork } from "./work-ledger-json.js";
|
|
6
|
+
import { compileFactoryOrder, factoryAuthority, factoryCharter, factoryOrderDigest, fixedPolicyDigest, requireFactoryAuthority } from "./factory-contract.js";
|
|
7
|
+
import { factoryRegistryStore, replayRegistry, validateActivePolicy } from "./factory-registry.js";
|
|
8
|
+
export { migrateFactoryOrder, factoryMigrationDigest } from "./factory-migration.js";
|
|
9
|
+
export { createFactoryRegistry, openFactoryRegistry } from "./factory-registry.js";
|
|
10
|
+
export { parseFactoryOrder, factoryOrderDigest, fixedPolicyDigest, factoryDecisionDigest, activationRequestDigest } from "./factory-contract.js";
|
|
11
|
+
function lowerAuthority(p, a) { return a?.orderDigests.includes(factoryOrderDigest(p.charter)) ? { authorityDigest: p.charter.budget.authorityDigest, charterDigests: [p.compiledDigest], cancellationDigests: a.cancellationDigests ?? [] } : null; }
|
|
12
|
+
export async function createFactoryOrder(inputRegistry, input, host) {
|
|
13
|
+
const registry = factoryRegistryStore(inputRegistry).binding;
|
|
14
|
+
const c = factoryCharter(input), a = requireFactoryAuthority(factoryAuthority(host), registry.initial.authorityId), store = factoryRegistryStore(registry);
|
|
15
|
+
if (!a.orderDigests.includes(factoryOrderDigest(c)))
|
|
16
|
+
throw new Error("independent order authority required");
|
|
17
|
+
let pinned, existing = false;
|
|
18
|
+
await store.transaction(async (events, append) => {
|
|
19
|
+
const state = replayRegistry(registry, events), old = state.orders.get(c.orderId);
|
|
20
|
+
if (old) {
|
|
21
|
+
if (factoryOrderDigest(old.charter) !== factoryOrderDigest(c))
|
|
22
|
+
throw new Error("conflicting order identity");
|
|
23
|
+
pinned = old;
|
|
24
|
+
existing = true;
|
|
25
|
+
return;
|
|
26
|
+
}
|
|
27
|
+
if (c.scopeDigest !== registry.initial.scopeDigest)
|
|
28
|
+
throw new Error("changed registry scope");
|
|
29
|
+
if (c.pin.revision !== state.revision || c.pin.candidateDigest !== state.candidateDigest)
|
|
30
|
+
throw new Error("stale order policy pin");
|
|
31
|
+
validateActivePolicy(state, a);
|
|
32
|
+
const compiled = await compileFactoryOrder(c, state.candidate), event = { type: "order-pin", charter: c, candidate: state.candidate, compiledDigest: experimentCharterDigest(compiled), adoptionId: state.activation?.receipt.id ?? null };
|
|
33
|
+
replayRegistry(registry, [...events, event]);
|
|
34
|
+
await append(event);
|
|
35
|
+
pinned = { charter: c, candidate: state.candidate, compiledDigest: event.compiledDigest, adoptionId: event.adoptionId, binding: null };
|
|
36
|
+
});
|
|
37
|
+
if (existing) {
|
|
38
|
+
if (!pinned.binding)
|
|
39
|
+
throw new Error("order materialization pending-or-unknown; no retry effects");
|
|
40
|
+
await experimentStore(pinned.binding).read();
|
|
41
|
+
return pinned.binding;
|
|
42
|
+
}
|
|
43
|
+
const charter = await compileFactoryOrder(c, pinned.candidate);
|
|
44
|
+
const binding = await createExperiment({ directory: c.directory, budget: c.budget, charter, bytes: Buffer.from(c.commonBase64, "base64"), authority: lowerAuthority(pinned, a) });
|
|
45
|
+
await store.transaction(async (events, append) => { const event = { type: "order-materialized", orderId: c.orderId, binding }; replayRegistry(registry, [...events, event]); await append(event); });
|
|
46
|
+
return binding;
|
|
47
|
+
}
|
|
48
|
+
export async function openFactoryOrder(inputRegistry, orderId, host) {
|
|
49
|
+
const registry = factoryRegistryStore(inputRegistry).binding;
|
|
50
|
+
const a = factoryAuthority(host), store = factoryRegistryStore(registry), state = replayRegistry(registry, (await store.read()).events), p = state.orders.get(orderId);
|
|
51
|
+
if (!p?.binding)
|
|
52
|
+
throw new Error("order materialization missing or unknown");
|
|
53
|
+
const binding = p.binding;
|
|
54
|
+
await experimentStore(binding).read();
|
|
55
|
+
if (experimentCharterDigest(binding.charter) !== p.compiledDigest)
|
|
56
|
+
throw new Error("compiled order identity mismatch");
|
|
57
|
+
const admitted = a?.id === registry.initial.authorityId ? lowerAuthority(p, a) : null, controller = openExperiment(binding, admitted);
|
|
58
|
+
const inspect = async () => {
|
|
59
|
+
const result = await controller.orderView();
|
|
60
|
+
let scope = "pinned";
|
|
61
|
+
try {
|
|
62
|
+
if (byteHash(await readIntentWork(p.charter.work)) !== p.charter.workTextDigest)
|
|
63
|
+
scope = "changed-or-unavailable";
|
|
64
|
+
}
|
|
65
|
+
catch {
|
|
66
|
+
scope = "changed-or-unavailable";
|
|
67
|
+
}
|
|
68
|
+
const nodes = result.superseded ? result.nodes.map(n => ({ ...n, state: "superseded", action: "none" })) : scope === "pinned" ? result.nodes : result.nodes.map(n => ({ ...n, state: "unknown", action: "stakeholder" }));
|
|
69
|
+
return freezeWork({ version: "factory-order-view-v1", orderId, scope, policyPin: { revision: p.charter.pin.revision, candidateDigest: fixedPolicyDigest(p.candidate), adoptionId: p.adoptionId }, orderDigest: factoryOrderDigest(p.charter), nodes: nodes.map(n => ({ ...n, obligation: p.charter.nodes.find(o => o.nodeId === n.nodeId).obligation })), resources: result.view.budget, control: result.view.control, diagnostics: result.view.diagnostics, superseded: result.superseded, dispatchAuthorized: Boolean(admitted) && result.view.control === "not-assessed", modelTransport: "not-used-fixed-profile", acceptance: "not-assessed", freshness: "snapshot-unknown" });
|
|
70
|
+
};
|
|
71
|
+
const settledView = async (completed) => {
|
|
72
|
+
const view = await inspect().catch(() => freezeWork({ version: "factory-order-view-v1", orderId, scope: "changed-or-unavailable", policyPin: { revision: p.charter.pin.revision, candidateDigest: fixedPolicyDigest(p.candidate), adoptionId: p.adoptionId }, orderDigest: factoryOrderDigest(p.charter), nodes: p.charter.nodes.map(n => ({ nodeId: n.nodeId, obligation: n.obligation, state: "unknown", action: "stakeholder", executionId: null, evidenceDigest: null })), resources: null, superseded: null, dispatchAuthorized: false, modelTransport: "not-used-fixed-profile", acceptance: "not-assessed", freshness: "snapshot-unknown", control: "unknown" }));
|
|
73
|
+
return completed.control === "not-assessed" ? view : freezeWork({ ...view, control: completed.control, diagnostics: completed.diagnostics, dispatchAuthorized: false, nodes: view.nodes.map(n => ({ ...n, action: "stakeholder" })) });
|
|
74
|
+
};
|
|
75
|
+
return Object.freeze({ bindingDigest: experimentBindingDigest(binding), binding, pin: freezeWork({ revision: p.charter.pin.revision, candidateDigest: fixedPolicyDigest(p.candidate), adoptionId: p.adoptionId }), inspect, reconcile: inspect,
|
|
76
|
+
async advance(profile) { if (!admitted)
|
|
77
|
+
throw new Error("independent order authority required"); const run = await controller.start(profile); return Object.freeze({ boundary: run.boundary.then(settledView), completion: run.completion.then(settledView), started: run.started }); },
|
|
78
|
+
async decide(request, host) { const current = requireFactoryAuthority(factoryAuthority(host), registry.initial.authorityId); if (!current.orderDigests.includes(factoryOrderDigest(p.charter)))
|
|
79
|
+
throw new Error("order authority required"); await controller.decideOrder(request, { id: current.id, digests: current.decisionDigests }); return inspect(); },
|
|
80
|
+
async cancel(request, host) { const current = requireFactoryAuthority(factoryAuthority(host), registry.initial.authorityId); await controller.cancel(request, lowerAuthority(p, current)); return inspect(); },
|
|
81
|
+
readArtifact: controller.readArtifact, });
|
|
82
|
+
}
|
|
83
|
+
//# sourceMappingURL=factory-order.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"factory-order.js","sourceRoot":"","sources":["../src/factory-order.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC9G,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAuB,MAAM,iBAAiB,CAAC;AACxF,OAAO,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,uBAAuB,EAAmD,MAAM,uBAAuB,CAAC;AAC/M,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,oBAAoB,EAAiD,MAAM,uBAAuB,CAAC;AAIlJ,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAyB,MAAM,wBAAwB,CAAC;AAC5G,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAA+B,MAAM,uBAAuB,CAAC;AAChH,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,uBAAuB,EAA6F,MAAM,uBAAuB,CAAC;AAC5O,SAAS,cAAc,CAAC,CAAa,EAAC,CAAuB,IAAE,OAAO,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA,CAAC,CAAA,EAAC,eAAe,EAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,EAAC,cAAc,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,EAAC,mBAAmB,EAAC,CAAC,CAAC,mBAAmB,IAAE,EAAE,EAAC,CAAA,CAAC,CAAA,IAAI,CAAC,CAAA,CAAC;AACvQ,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,aAAoC,EAAC,KAAyB,EAAC,IAA0B;IAChI,MAAM,QAAQ,GAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC;IAC3D,MAAM,CAAC,GAAC,cAAc,CAAC,KAAK,CAAC,EAAC,CAAC,GAAC,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,EAAC,KAAK,GAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAClJ,IAAG,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC3G,IAAI,MAAmB,EAAC,QAAQ,GAAC,KAAK,CAAC;IACvC,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,EAAE;QAC5C,MAAM,KAAK,GAAC,cAAc,CAAC,QAAQ,EAAC,MAAM,CAAC,EAAC,GAAG,GAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC5E,IAAG,GAAG,EAAC,CAAC;YAAA,IAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAG,kBAAkB,CAAC,CAAC,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAAA,MAAM,GAAC,GAAG,CAAC;YAAA,QAAQ,GAAC,IAAI,CAAC;YAAA,OAAO;QAAA,CAAC;QAClJ,IAAG,CAAC,CAAC,WAAW,KAAG,QAAQ,CAAC,OAAO,CAAC,WAAW;YAAC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC1F,IAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAG,KAAK,CAAC,QAAQ,IAAE,CAAC,CAAC,GAAG,CAAC,eAAe,KAAG,KAAK,CAAC,eAAe;YAAC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAAA,oBAAoB,CAAC,KAAK,EAAC,CAAC,CAAC,CAAC;QAC1J,MAAM,QAAQ,GAAC,MAAM,mBAAmB,CAAC,CAAC,EAAC,KAAK,CAAC,SAAS,CAAC,EAAC,KAAK,GAAC,EAAC,IAAI,EAAC,WAAW,EAAC,OAAO,EAAC,CAAC,EAAC,SAAS,EAAC,KAAK,CAAC,SAAS,EAAC,cAAc,EAAC,uBAAuB,CAAC,QAAQ,CAAC,EAAC,UAAU,EAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,IAAE,IAAI,EAAC,CAAC;QACxN,cAAc,CAAC,QAAQ,EAAC,CAAC,GAAG,MAAM,EAAC,KAAK,CAAC,CAAC,CAAC;QAAA,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;QAAA,MAAM,GAAC,EAAC,OAAO,EAAC,CAAC,EAAC,SAAS,EAAC,KAAK,CAAC,SAAS,EAAC,cAAc,EAAC,KAAK,CAAC,cAAc,EAAC,UAAU,EAAC,KAAK,CAAC,UAAU,EAAC,OAAO,EAAC,IAAI,EAAC,CAAC;IAC3L,CAAC,CAAC,CAAC;IACH,IAAG,QAAQ,EAAC,CAAC;QAAA,IAAG,CAAC,MAAM,CAAC,OAAO;YAAC,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAAA,MAAM,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QAAA,OAAO,MAAM,CAAC,OAAO,CAAC;IAAA,CAAC;IAClL,MAAM,OAAO,GAAC,MAAM,mBAAmB,CAAC,CAAC,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAC,MAAM,gBAAgB,CAAC,EAAC,SAAS,EAAC,CAAC,CAAC,SAAS,EAAC,MAAM,EAAC,CAAC,CAAC,MAAM,EAAC,OAAO,EAAC,KAAK,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,EAAC,QAAQ,CAAC,EAAC,SAAS,EAAC,cAAc,CAAC,MAAM,EAAC,CAAC,CAAC,EAAC,CAAC,CAAC;IACpK,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,EAAE,GAAC,MAAM,KAAK,GAAC,EAAC,IAAI,EAAC,oBAAoB,EAAC,OAAO,EAAC,CAAC,CAAC,OAAO,EAAC,OAAO,EAAC,CAAC,CAAA,cAAc,CAAC,QAAQ,EAAC,CAAC,GAAG,MAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAA,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA,CAAC,CAAC,CAAC;IAAA,OAAO,OAAO,CAAC;AACpM,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,aAAoC,EAAC,OAAc,EAAC,IAA0B;IACnH,MAAM,QAAQ,GAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC;IAC3D,MAAM,CAAC,GAAC,gBAAgB,CAAC,IAAI,CAAC,EAAC,KAAK,GAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAC,KAAK,GAAC,cAAc,CAAC,QAAQ,EAAC,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAC,CAAC,GAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3J,IAAG,CAAC,CAAC,EAAE,OAAO;QAAC,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAC,CAAC,CAAC,OAAO,CAAC;IAAA,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,IAAG,uBAAuB,CAAC,OAAO,CAAC,OAAO,CAAC,KAAG,CAAC,CAAC,cAAc;QAAC,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACnH,MAAM,QAAQ,GAAC,CAAC,EAAE,EAAE,KAAG,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAA,CAAC,CAAA,cAAc,CAAC,CAAC,EAAC,CAAC,CAAC,CAAA,CAAC,CAAA,IAAI,EAAC,UAAU,GAAC,cAAc,CAAC,OAAO,EAAC,QAAQ,CAAC,CAAC;IACzH,MAAM,OAAO,GAAC,KAAK,IAAE,EAAE;QACrB,MAAM,MAAM,GAAC,MAAM,UAAU,CAAC,SAAS,EAAE,CAAC;QAAA,IAAI,KAAK,GAAmC,QAAQ,CAAC;QAC/F,IAAG,CAAC;YAAA,IAAG,QAAQ,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAG,CAAC,CAAC,OAAO,CAAC,cAAc;gBAAC,KAAK,GAAC,wBAAwB,CAAC;QAAA,CAAC;QAAA,MAAK,CAAC;YAAA,KAAK,GAAC,wBAAwB,CAAC;QAAA,CAAC;QACvJ,MAAM,KAAK,GAAC,MAAM,CAAC,UAAU,CAAA,CAAC,CAAA,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,GAAG,CAAC,EAAC,KAAK,EAAC,YAAqB,EAAC,MAAM,EAAC,MAAe,EAAC,CAAC,CAAC,CAAA,CAAC,CAAA,KAAK,KAAG,QAAQ,CAAA,CAAC,CAAA,MAAM,CAAC,KAAK,CAAA,CAAC,CAAA,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,GAAG,CAAC,EAAC,KAAK,EAAC,SAAkB,EAAC,MAAM,EAAC,aAAsB,EAAC,CAAC,CAAC,CAAC;QAClO,OAAO,UAAU,CAAC,EAAC,OAAO,EAAC,uBAAuB,EAAC,OAAO,EAAC,KAAK,EAAC,SAAS,EAAC,EAAC,QAAQ,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAC,eAAe,EAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,EAAC,EAAC,WAAW,EAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAC,KAAK,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,GAAG,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,KAAG,CAAC,CAAC,MAAM,CAAE,CAAC,UAAU,EAAC,CAAC,CAAC,EAAC,SAAS,EAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAC,OAAO,EAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAC,WAAW,EAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAC,UAAU,EAAC,MAAM,CAAC,UAAU,EAAC,kBAAkB,EAAC,OAAO,CAAC,QAAQ,CAAC,IAAE,MAAM,CAAC,IAAI,CAAC,OAAO,KAAG,cAAc,EAAC,cAAc,EAAC,wBAAwB,EAAC,UAAU,EAAC,cAAc,EAAC,SAAS,EAAC,kBAAkB,EAAC,CAAC,CAAC;IACvmB,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,KAAK,EAAE,SAAyB,EAAE,EAAE;QAAG,MAAM,IAAI,GAAG,MAAM,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,EAAC,OAAO,EAAC,uBAAuB,EAAC,OAAO,EAAC,KAAK,EAAC,wBAAwB,EAAC,SAAS,EAAC,EAAC,QAAQ,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAC,eAAe,EAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,EAAC,EAAC,WAAW,EAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAC,KAAK,EAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,MAAM,EAAC,CAAC,CAAC,MAAM,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,EAAC,KAAK,EAAC,SAAS,EAAC,MAAM,EAAC,aAAa,EAAC,WAAW,EAAC,IAAI,EAAC,cAAc,EAAC,IAAI,EAAC,CAAC,CAAC,EAAC,SAAS,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,kBAAkB,EAAC,KAAK,EAAC,cAAc,EAAC,wBAAwB,EAAC,UAAU,EAAC,cAAc,EAAC,SAAS,EAAC,kBAAkB,EAAC,OAAO,EAAC,SAAS,EAAC,CAAC,CAAC,CAAC;QAClpB,OAAO,SAAS,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAC,GAAG,IAAI,EAAC,OAAO,EAAC,SAAS,CAAC,OAAO,EAAC,WAAW,EAAC,SAAS,CAAC,WAAW,EAAC,kBAAkB,EAAC,KAAK,EAAC,KAAK,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,EAAC,GAAG,CAAC,EAAC,MAAM,EAAC,aAAsB,EAAC,CAAC,CAAC,EAAC,CAAC,CAAC;IAClO,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAC,aAAa,EAAC,uBAAuB,CAAC,OAAO,CAAC,EAAC,OAAO,EAAC,GAAG,EAAC,UAAU,CAAC,EAAC,QAAQ,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAC,eAAe,EAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,EAAC,CAAC,EAAC,OAAO,EAAC,SAAS,EAAC,OAAO;QAC7N,KAAK,CAAC,OAAO,CAAC,OAAqB,IAAE,IAAG,CAAC,QAAQ;YAAC,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC,CAAA,MAAM,GAAG,GAAC,MAAM,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA,OAAO,MAAM,CAAC,MAAM,CAAC,EAAC,QAAQ,EAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,EAAC,UAAU,EAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,EAAC,OAAO,EAAC,GAAG,CAAC,OAAO,EAAC,CAAC,CAAC,CAAA,CAAC;QACrR,KAAK,CAAC,MAAM,CAAC,OAAuB,EAAC,IAA0B,IAAE,MAAM,OAAO,GAAC,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA,IAAG,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAAC,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAA,MAAM,UAAU,CAAC,WAAW,CAAC,OAAO,EAAC,EAAC,EAAE,EAAC,OAAO,CAAC,EAAE,EAAC,OAAO,EAAC,OAAO,CAAC,eAAe,EAAC,CAAC,CAAC,CAAA,OAAO,OAAO,EAAE,CAAC,CAAA,CAAC;QACjX,KAAK,CAAC,MAAM,CAAC,OAA8B,EAAC,IAA0B,IAAE,MAAM,OAAO,GAAC,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA,MAAM,UAAU,CAAC,MAAM,CAAC,OAAO,EAAC,cAAc,CAAC,CAAC,EAAC,OAAO,CAAC,CAAC,CAAC,CAAA,OAAO,OAAO,EAAE,CAAC,CAAA,CAAC;QAChP,YAAY,EAAC,UAAU,CAAC,YAAY,GACrC,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -0,0 +1,121 @@
|
|
|
1
|
+
import { type ControlBinding } from "./control-journal.ts";
|
|
2
|
+
import { type ExperimentBinding } from "./experiment-store.ts";
|
|
3
|
+
import { type FixedPolicy, type FactoryAuthority, type FactoryOrderCharter, type ActivationRequest } from "./factory-contract.ts";
|
|
4
|
+
import { type RollbackRequest } from "./vendor/adoption.ts";
|
|
5
|
+
export interface RegistryInitial {
|
|
6
|
+
version: "factory-registry-v1";
|
|
7
|
+
authorityId: string;
|
|
8
|
+
scopeDigest: string;
|
|
9
|
+
baseline: FixedPolicy;
|
|
10
|
+
}
|
|
11
|
+
export type FactoryRegistryBinding = ControlBinding<RegistryInitial>;
|
|
12
|
+
export interface PinnedOrder {
|
|
13
|
+
charter: FactoryOrderCharter;
|
|
14
|
+
candidate: FixedPolicy;
|
|
15
|
+
compiledDigest: string;
|
|
16
|
+
adoptionId: string | null;
|
|
17
|
+
binding: ExperimentBinding | null;
|
|
18
|
+
}
|
|
19
|
+
export declare function registryInitial(value: RegistryInitial): RegistryInitial & Record<string, unknown>;
|
|
20
|
+
export declare function replayRegistry(b: FactoryRegistryBinding, events: Record<string, unknown>[]): {
|
|
21
|
+
revision: number;
|
|
22
|
+
candidate: FixedPolicy;
|
|
23
|
+
candidateDigest: string;
|
|
24
|
+
activation: ActivationRequest | null;
|
|
25
|
+
changes: Map<string, string>;
|
|
26
|
+
orders: Map<string, PinnedOrder>;
|
|
27
|
+
migrations: Map<string, {
|
|
28
|
+
digest: string;
|
|
29
|
+
sourceOrderId: string;
|
|
30
|
+
targetOrderId: string;
|
|
31
|
+
application: string;
|
|
32
|
+
}>;
|
|
33
|
+
};
|
|
34
|
+
export declare const factoryRegistryStore: (b: FactoryRegistryBinding) => {
|
|
35
|
+
binding: ControlBinding<RegistryInitial> & Record<string, unknown>;
|
|
36
|
+
read: () => Promise<{
|
|
37
|
+
events: Record<string, unknown>[];
|
|
38
|
+
previous: string;
|
|
39
|
+
size: number;
|
|
40
|
+
}>;
|
|
41
|
+
transaction<R>(fn: (events: Record<string, unknown>[], append: (e: unknown) => Promise<void>) => Promise<R>): Promise<R>;
|
|
42
|
+
};
|
|
43
|
+
export declare function createFactoryRegistry(input: {
|
|
44
|
+
directory: string;
|
|
45
|
+
authorityId: string;
|
|
46
|
+
scopeDigest: string;
|
|
47
|
+
baseline: FixedPolicy;
|
|
48
|
+
}): Promise<FactoryRegistryBinding>;
|
|
49
|
+
export declare function validateActivePolicy(state: ReturnType<typeof replayRegistry>, a: FactoryAuthority): void;
|
|
50
|
+
export declare function openFactoryRegistry(input: FactoryRegistryBinding): {
|
|
51
|
+
inspect: () => Promise<{
|
|
52
|
+
version: "factory-registry-view-v1";
|
|
53
|
+
revision: number;
|
|
54
|
+
candidateDigest: string;
|
|
55
|
+
candidate: FixedPolicy;
|
|
56
|
+
scopeDigest: string;
|
|
57
|
+
migrations: {
|
|
58
|
+
digest: string;
|
|
59
|
+
sourceOrderId: string;
|
|
60
|
+
targetOrderId: string;
|
|
61
|
+
application: string;
|
|
62
|
+
requestId: string;
|
|
63
|
+
}[];
|
|
64
|
+
orders: {
|
|
65
|
+
orderId: string;
|
|
66
|
+
orderDigest: string;
|
|
67
|
+
candidateDigest: string;
|
|
68
|
+
revision: number;
|
|
69
|
+
materialization: string;
|
|
70
|
+
}[];
|
|
71
|
+
acceptance: "not-assessed";
|
|
72
|
+
}>;
|
|
73
|
+
activate(input: ActivationRequest, host: FactoryAuthority | null): Promise<{
|
|
74
|
+
version: "factory-registry-view-v1";
|
|
75
|
+
revision: number;
|
|
76
|
+
candidateDigest: string;
|
|
77
|
+
candidate: FixedPolicy;
|
|
78
|
+
scopeDigest: string;
|
|
79
|
+
migrations: {
|
|
80
|
+
digest: string;
|
|
81
|
+
sourceOrderId: string;
|
|
82
|
+
targetOrderId: string;
|
|
83
|
+
application: string;
|
|
84
|
+
requestId: string;
|
|
85
|
+
}[];
|
|
86
|
+
orders: {
|
|
87
|
+
orderId: string;
|
|
88
|
+
orderDigest: string;
|
|
89
|
+
candidateDigest: string;
|
|
90
|
+
revision: number;
|
|
91
|
+
materialization: string;
|
|
92
|
+
}[];
|
|
93
|
+
acceptance: "not-assessed";
|
|
94
|
+
}>;
|
|
95
|
+
rollback(input: RollbackRequest, host: FactoryAuthority | null): Promise<{
|
|
96
|
+
application: "applied";
|
|
97
|
+
requestId: string;
|
|
98
|
+
grantExpansion: boolean;
|
|
99
|
+
version: "factory-registry-view-v1";
|
|
100
|
+
revision: number;
|
|
101
|
+
candidateDigest: string;
|
|
102
|
+
candidate: FixedPolicy;
|
|
103
|
+
scopeDigest: string;
|
|
104
|
+
migrations: {
|
|
105
|
+
digest: string;
|
|
106
|
+
sourceOrderId: string;
|
|
107
|
+
targetOrderId: string;
|
|
108
|
+
application: string;
|
|
109
|
+
requestId: string;
|
|
110
|
+
}[];
|
|
111
|
+
orders: {
|
|
112
|
+
orderId: string;
|
|
113
|
+
orderDigest: string;
|
|
114
|
+
candidateDigest: string;
|
|
115
|
+
revision: number;
|
|
116
|
+
materialization: string;
|
|
117
|
+
}[];
|
|
118
|
+
acceptance: "not-assessed";
|
|
119
|
+
}>;
|
|
120
|
+
};
|
|
121
|
+
//# sourceMappingURL=factory-registry.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"factory-registry.d.ts","sourceRoot":"","sources":["../src/factory-registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwC,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEjG,OAAO,EAA6B,KAAK,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAA0I,KAAK,WAAW,EAAE,KAAK,gBAAgB,EAAE,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1Q,OAAO,EAA0F,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACpJ,MAAM,WAAW,eAAe;IAAE,OAAO,EAAC,qBAAqB,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,QAAQ,EAAC,WAAW,CAAA;CAAC;AAC3H,MAAM,MAAM,sBAAsB,GAAC,cAAc,CAAC,eAAe,CAAC,CAAC;AACnE,MAAM,WAAW,WAAW;IAAE,OAAO,EAAC,mBAAmB,CAAC;IAAA,SAAS,EAAC,WAAW,CAAC;IAAA,cAAc,EAAC,MAAM,CAAC;IAAA,UAAU,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,OAAO,EAAC,iBAAiB,GAAC,IAAI,CAAA;CAAC;AAC5J,wBAAgB,eAAe,CAAC,KAAK,EAAC,eAAe,6CAA2T;AAChX,wBAAgB,cAAc,CAAC,CAAC,EAAC,sBAAsB,EAAC,MAAM,EAAC,MAAM,CAAC,MAAM,EAAC,OAAO,CAAC,EAAE;;;;;;;;gBAEyB,MAAM;uBAAe,MAAM;uBAAe,MAAM;qBAAa,MAAM;;EA8BlL;AACD,eAAO,MAAM,oBAAoB,GAAE,GAAE,sBAAsB;;;;;;;;CAAyD,CAAC;AACrH,wBAAsB,qBAAqB,CAAC,KAAK,EAAC;IAAC,SAAS,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,QAAQ,EAAC,WAAW,CAAA;CAAC,GAAE,OAAO,CAAC,sBAAsB,CAAC,CAAmJ;AACnT,wBAAgB,oBAAoB,CAAC,KAAK,EAAC,UAAU,CAAC,OAAO,cAAc,CAAC,EAAC,CAAC,EAAC,gBAAgB,QAAgQ;AAC/V,wBAAgB,mBAAmB,CAAC,KAAK,EAAC,sBAAsB;;;;;;;;oBAlCgD,MAAM;2BAAe,MAAM;2BAAe,MAAM;yBAAa,MAAM;;;;;;;;;;;;oBAoC7I,iBAAiB,QAAM,gBAAgB,GAAC,IAAI;;;;;;;oBApC8B,MAAM;2BAAe,MAAM;2BAAe,MAAM;yBAAa,MAAM;;;;;;;;;;;;oBA2C1J,eAAe,QAAM,gBAAgB,GAAC,IAAI;;;;;;;;;;oBA3C6C,MAAM;2BAAe,MAAM;2BAAe,MAAM;yBAAa,MAAM;;;;;;;;;;;;EAgDlL"}
|
|
@@ -0,0 +1,133 @@
|
|
|
1
|
+
import { createControlJournal, controlJournal } from "./control-journal.js";
|
|
2
|
+
import { cloneExperiment, closed, experimentHash, experimentCharterDigest } from "./experiment-contract.js";
|
|
3
|
+
import { validateExperimentBinding } from "./experiment-store.js";
|
|
4
|
+
import { fixedPolicy, fixedPolicyDigest, factoryCharter, factoryOrderDigest, factoryAuthority, requireFactoryAuthority, activationRequestDigest } from "./factory-contract.js";
|
|
5
|
+
import { validateAdoptionReceipt, authorizeRollback, buildRollbackRequest, buildAdoptionBinding } from "./vendor/adoption.js";
|
|
6
|
+
export function registryInitial(value) { const v = cloneExperiment(value); closed(v, ["version", "authorityId", "scopeDigest", "baseline"]); if (v.version !== "factory-registry-v1" || !/^[a-zA-Z0-9:_-]{1,128}$/.test(v.authorityId) || !/^[a-f0-9]{64}$/.test(v.scopeDigest))
|
|
7
|
+
throw new Error("invalid registry initial binding"); v.baseline = fixedPolicy(v.baseline); return v; }
|
|
8
|
+
export function replayRegistry(b, events) {
|
|
9
|
+
const initial = registryInitial(b.initial);
|
|
10
|
+
let revision = 0, candidate = initial.baseline, activation = null;
|
|
11
|
+
const changes = new Map(), orders = new Map(), migrations = new Map();
|
|
12
|
+
const candidates = new Map([[fixedPolicyDigest(candidate), candidate]]), lineage = [];
|
|
13
|
+
for (const e of events) {
|
|
14
|
+
if (e.type === "activate") {
|
|
15
|
+
closed(e, ["type", "request"]);
|
|
16
|
+
const r = cloneExperiment(e.request);
|
|
17
|
+
closed(r, ["version", "requestId", "expectedRevision", "expectedCandidateDigest", "candidate", "binding", "receipt"]);
|
|
18
|
+
const { id, version, ...input } = r.binding;
|
|
19
|
+
if (r.version !== "factory-activation-v1" || typeof r.requestId !== "string" || !/^[a-zA-Z0-9:_-]{1,128}$/.test(r.requestId) || version !== "adoption-binding-v1" || buildAdoptionBinding(input).id !== id || r.expectedRevision !== revision || r.expectedCandidateDigest !== fixedPolicyDigest(candidate) || r.binding.scopeDigest !== initial.scopeDigest || r.binding.rollbackCandidateDigest !== fixedPolicyDigest(candidate) || r.binding.candidateDigest !== fixedPolicyDigest(r.candidate) || r.binding.assessmentPolicyDigest !== r.candidate.acceptancePolicyDigest || changes.has(r.requestId))
|
|
20
|
+
throw new Error("invalid activation sequence");
|
|
21
|
+
changes.set(r.requestId, activationRequestDigest(r));
|
|
22
|
+
lineage.push(activation);
|
|
23
|
+
candidate = fixedPolicy(r.candidate);
|
|
24
|
+
candidates.set(fixedPolicyDigest(candidate), candidate);
|
|
25
|
+
activation = r;
|
|
26
|
+
revision++;
|
|
27
|
+
}
|
|
28
|
+
else if (e.type === "rollback") {
|
|
29
|
+
closed(e, ["type", "request", "fromRevision"]);
|
|
30
|
+
const r = e.request;
|
|
31
|
+
if (!activation || e.fromRevision !== revision || changes.has(r.id) || buildRollbackRequest(activation.receipt, r.reason, [...r.evidence], r.expiresAt).id !== r.id || r.restoreCandidateDigest !== activation.binding.rollbackCandidateDigest)
|
|
32
|
+
throw new Error("invalid rollback sequence");
|
|
33
|
+
const restored = candidates.get(r.restoreCandidateDigest);
|
|
34
|
+
if (!restored)
|
|
35
|
+
throw new Error("rollback bytes not registered");
|
|
36
|
+
changes.set(r.id, experimentHash(r));
|
|
37
|
+
candidate = restored;
|
|
38
|
+
if (!lineage.length)
|
|
39
|
+
throw new Error("missing rollback lineage");
|
|
40
|
+
activation = lineage.pop();
|
|
41
|
+
if ((activation?.binding.candidateDigest ?? fixedPolicyDigest(initial.baseline)) !== r.restoreCandidateDigest)
|
|
42
|
+
throw new Error("rollback lineage mismatch");
|
|
43
|
+
revision++;
|
|
44
|
+
}
|
|
45
|
+
else if (e.type === "order-pin") {
|
|
46
|
+
closed(e, ["type", "charter", "candidate", "compiledDigest", "adoptionId"]);
|
|
47
|
+
const charter = factoryCharter(e.charter), policy = fixedPolicy(e.candidate);
|
|
48
|
+
if (orders.size >= 32 || orders.has(charter.orderId) || charter.scopeDigest !== initial.scopeDigest || charter.pin.revision !== revision || charter.pin.candidateDigest !== fixedPolicyDigest(candidate) || fixedPolicyDigest(policy) !== fixedPolicyDigest(candidate) || e.adoptionId !== (activation?.receipt.id ?? null) || typeof e.compiledDigest !== "string" || !/^[a-f0-9]{64}$/.test(e.compiledDigest))
|
|
49
|
+
throw new Error("invalid order pin sequence");
|
|
50
|
+
orders.set(charter.orderId, { charter, candidate: policy, compiledDigest: e.compiledDigest, adoptionId: e.adoptionId, binding: null });
|
|
51
|
+
}
|
|
52
|
+
else if (e.type === "order-materialized") {
|
|
53
|
+
closed(e, ["type", "orderId", "binding"]);
|
|
54
|
+
const p = orders.get(String(e.orderId)), binding = validateExperimentBinding(e.binding);
|
|
55
|
+
if (!p || p.binding || binding.directory !== p.charter.directory || experimentCharterDigest(binding.charter) !== p.compiledDigest)
|
|
56
|
+
throw new Error("invalid order materialization");
|
|
57
|
+
p.binding = binding;
|
|
58
|
+
}
|
|
59
|
+
else if (e.type === "migration-request") {
|
|
60
|
+
closed(e, ["type", "requestId", "sourceOrderId", "targetOrderId", "requestDigest"]);
|
|
61
|
+
if (typeof e.requestId !== "string" || changes.has(e.requestId) || !orders.has(String(e.sourceOrderId)) || e.sourceOrderId === e.targetOrderId || typeof e.requestDigest !== "string" || !/^[a-f0-9]{64}$/.test(e.requestDigest))
|
|
62
|
+
throw new Error("invalid migration request");
|
|
63
|
+
changes.set(e.requestId, e.requestDigest);
|
|
64
|
+
migrations.set(e.requestId, { digest: e.requestDigest, sourceOrderId: String(e.sourceOrderId), targetOrderId: String(e.targetOrderId), application: "pending-or-unknown" });
|
|
65
|
+
}
|
|
66
|
+
else if (e.type === "migration-receipt") {
|
|
67
|
+
closed(e, ["type", "requestId", "application", "renewedObligations"]);
|
|
68
|
+
const m = migrations.get(String(e.requestId));
|
|
69
|
+
if (!m || m.application !== "pending-or-unknown" || !["applied", "refused-active"].includes(String(e.application)) || !Array.isArray(e.renewedObligations) || e.renewedObligations.length > 16 || e.application === "applied" && !orders.get(m.targetOrderId)?.binding)
|
|
70
|
+
throw new Error("invalid migration receipt");
|
|
71
|
+
m.application = String(e.application);
|
|
72
|
+
}
|
|
73
|
+
else
|
|
74
|
+
throw new Error("unknown factory control event");
|
|
75
|
+
}
|
|
76
|
+
return { revision, candidate, candidateDigest: fixedPolicyDigest(candidate), activation, changes, orders, migrations };
|
|
77
|
+
}
|
|
78
|
+
export const factoryRegistryStore = (b) => { registryInitial(b.initial); return controlJournal(b); };
|
|
79
|
+
export async function createFactoryRegistry(input) { const { directory, ...rest } = cloneExperiment(input); return createControlJournal(directory, registryInitial({ version: "factory-registry-v1", ...rest })); }
|
|
80
|
+
export function validateActivePolicy(state, a) { if (state.activation) {
|
|
81
|
+
const r = state.activation, facts = a.facts.find(f => f.bindingId === r.binding.id)?.facts;
|
|
82
|
+
if (!facts)
|
|
83
|
+
throw new Error("current independent eligibility facts required");
|
|
84
|
+
validateAdoptionReceipt(r.receipt, r.binding, a.adoption, facts, Date.now());
|
|
85
|
+
} }
|
|
86
|
+
export function openFactoryRegistry(input) {
|
|
87
|
+
const store = factoryRegistryStore(input), b = store.binding;
|
|
88
|
+
const inspect = async () => { const s = replayRegistry(b, (await store.read()).events); return { version: "factory-registry-view-v1", revision: s.revision, candidateDigest: s.candidateDigest, candidate: cloneExperiment(s.candidate), scopeDigest: b.initial.scopeDigest, migrations: [...s.migrations].map(([requestId, m]) => ({ requestId, ...m })), orders: [...s.orders].map(([orderId, p]) => ({ orderId, orderDigest: factoryOrderDigest(p.charter), candidateDigest: fixedPolicyDigest(p.candidate), revision: p.charter.pin.revision, materialization: p.binding ? "recorded" : "pending-or-unknown" })), acceptance: "not-assessed" }; };
|
|
89
|
+
return { inspect, async activate(input, host) {
|
|
90
|
+
const r = cloneExperiment(input), a = requireFactoryAuthority(factoryAuthority(host), b.initial.authorityId);
|
|
91
|
+
closed(r, ["version", "requestId", "expectedRevision", "expectedCandidateDigest", "candidate", "binding", "receipt"]);
|
|
92
|
+
if (!a.activationDigests.includes(activationRequestDigest(r)))
|
|
93
|
+
throw new Error("independent activation authority required");
|
|
94
|
+
await store.transaction(async (events, append) => {
|
|
95
|
+
const s = replayRegistry(b, events), old = s.changes.get(r.requestId);
|
|
96
|
+
if (old) {
|
|
97
|
+
if (old !== activationRequestDigest(r))
|
|
98
|
+
throw new Error("conflicting activation ID");
|
|
99
|
+
return;
|
|
100
|
+
}
|
|
101
|
+
if (r.expectedRevision !== s.revision || r.expectedCandidateDigest !== s.candidateDigest)
|
|
102
|
+
throw new Error("stale activation");
|
|
103
|
+
if (r.binding.scopeDigest !== b.initial.scopeDigest || r.binding.candidateDigest !== fixedPolicyDigest(r.candidate) || r.binding.assessmentPolicyDigest !== r.candidate.acceptancePolicyDigest || r.binding.rollbackCandidateDigest !== s.candidateDigest)
|
|
104
|
+
throw new Error("activation scope/candidate/policy mismatch");
|
|
105
|
+
const facts = a.facts.find(f => f.bindingId === r.binding.id)?.facts;
|
|
106
|
+
if (!facts)
|
|
107
|
+
throw new Error("independent eligibility facts required");
|
|
108
|
+
validateAdoptionReceipt(r.receipt, r.binding, a.adoption, facts, Date.now());
|
|
109
|
+
replayRegistry(b, [...events, { type: "activate", request: r }]);
|
|
110
|
+
await append({ type: "activate", request: r });
|
|
111
|
+
});
|
|
112
|
+
return inspect();
|
|
113
|
+
}, async rollback(input, host) {
|
|
114
|
+
const r = cloneExperiment(input), a = requireFactoryAuthority(factoryAuthority(host), b.initial.authorityId);
|
|
115
|
+
closed(r, ["version", "id", "adoptionId", "scopeDigest", "restoreCandidateDigest", "reason", "evidence", "expiresAt"]);
|
|
116
|
+
await store.transaction(async (events, append) => {
|
|
117
|
+
const s = replayRegistry(b, events), old = s.changes.get(r.id);
|
|
118
|
+
if (old) {
|
|
119
|
+
if (old !== experimentHash(r) || !a.adoption?.rollbacks.includes(r.id))
|
|
120
|
+
throw new Error("rollback authority/identity mismatch");
|
|
121
|
+
return;
|
|
122
|
+
}
|
|
123
|
+
if (!s.activation)
|
|
124
|
+
throw new Error("stale rollback");
|
|
125
|
+
authorizeRollback(s.activation.receipt, r, a.adoption, Date.now(), { adoptionId: s.activation.receipt.id, candidateDigest: s.candidateDigest, scopeDigest: b.initial.scopeDigest });
|
|
126
|
+
const event = { type: "rollback", request: r, fromRevision: s.revision };
|
|
127
|
+
replayRegistry(b, [...events, event]);
|
|
128
|
+
await append(event);
|
|
129
|
+
});
|
|
130
|
+
return { ...await inspect(), application: "applied", requestId: r.id, grantExpansion: false };
|
|
131
|
+
} };
|
|
132
|
+
}
|
|
133
|
+
//# sourceMappingURL=factory-registry.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"factory-registry.js","sourceRoot":"","sources":["../src/factory-registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAuB,MAAM,sBAAsB,CAAC;AACjG,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAC5G,OAAO,EAAE,yBAAyB,EAA0B,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,cAAc,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,uBAAuB,EAA6F,MAAM,uBAAuB,CAAC;AAC1Q,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,EAAwB,MAAM,sBAAsB,CAAC;AAIpJ,MAAM,UAAU,eAAe,CAAC,KAAqB,IAAE,MAAM,CAAC,GAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA,MAAM,CAAC,CAAC,EAAC,CAAC,SAAS,EAAC,aAAa,EAAC,aAAa,EAAC,UAAU,CAAC,CAAC,CAAC,CAAA,IAAG,CAAC,CAAC,OAAO,KAAG,qBAAqB,IAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC;IAAC,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC,CAAA,CAAC,CAAC,QAAQ,GAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA,OAAO,CAAC,CAAC,CAAA,CAAC;AAChX,MAAM,UAAU,cAAc,CAAC,CAAwB,EAAC,MAA+B;IACrF,MAAM,OAAO,GAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAAA,IAAI,QAAQ,GAAC,CAAC,EAAC,SAAS,GAAC,OAAO,CAAC,QAAQ,EAAC,UAAU,GAAwB,IAAI,CAAC;IAC1H,MAAM,OAAO,GAAC,IAAI,GAAG,EAAiB,EAAC,MAAM,GAAC,IAAI,GAAG,EAAsB,EAAC,UAAU,GAAC,IAAI,GAAG,EAAuF,CAAC;IACtL,MAAM,UAAU,GAAC,IAAI,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,GAA4B,EAAE,CAAC;IAC5G,KAAI,MAAM,CAAC,IAAI,MAAM,EAAC,CAAC;QACrB,IAAG,CAAC,CAAC,IAAI,KAAG,UAAU,EAAC,CAAC;YACtB,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;YAAA,MAAM,CAAC,GAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAsB,CAAC;YAAA,MAAM,CAAC,CAAC,EAAC,CAAC,SAAS,EAAC,WAAW,EAAC,kBAAkB,EAAC,yBAAyB,EAAC,WAAW,EAAC,SAAS,EAAC,SAAS,CAAC,CAAC,CAAC;YACpM,MAAM,EAAC,EAAE,EAAC,OAAO,EAAC,GAAG,KAAK,EAAC,GAAC,CAAC,CAAC,OAAO,CAAC;YACtC,IAAG,CAAC,CAAC,OAAO,KAAG,uBAAuB,IAAE,OAAO,CAAC,CAAC,SAAS,KAAG,QAAQ,IAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAE,OAAO,KAAG,qBAAqB,IAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,KAAG,EAAE,IAAE,CAAC,CAAC,gBAAgB,KAAG,QAAQ,IAAE,CAAC,CAAC,uBAAuB,KAAG,iBAAiB,CAAC,SAAS,CAAC,IAAE,CAAC,CAAC,OAAO,CAAC,WAAW,KAAG,OAAO,CAAC,WAAW,IAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,KAAG,iBAAiB,CAAC,SAAS,CAAC,IAAE,CAAC,CAAC,OAAO,CAAC,eAAe,KAAG,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,IAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,KAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,IAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAC9kB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC;YAAA,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAAA,SAAS,GAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAAA,UAAU,CAAC,GAAG,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAC,SAAS,CAAC,CAAC;YAAA,UAAU,GAAC,CAAC,CAAC;YAAA,QAAQ,EAAE,CAAC;QACjM,CAAC;aAAK,IAAG,CAAC,CAAC,IAAI,KAAG,UAAU,EAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,SAAS,EAAC,cAAc,CAAC,CAAC,CAAC;YAAA,MAAM,CAAC,GAAC,CAAC,CAAC,OAA0B,CAAC;YACjF,IAAG,CAAC,UAAU,IAAE,CAAC,CAAC,YAAY,KAAG,QAAQ,IAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAE,oBAAoB,CAAC,UAAU,CAAC,OAAO,EAAC,CAAC,CAAC,MAAM,EAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,KAAG,CAAC,CAAC,EAAE,IAAE,CAAC,CAAC,sBAAsB,KAAG,UAAU,CAAC,OAAO,CAAC,uBAAuB;gBAAC,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC1Q,MAAM,QAAQ,GAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAAA,IAAG,CAAC,QAAQ;gBAAC,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YAAA,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAAA,SAAS,GAAC,QAAQ,CAAC;YAAA,IAAG,CAAC,OAAO,CAAC,MAAM;gBAAC,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAAA,UAAU,GAAC,OAAO,CAAC,GAAG,EAAG,CAAC;YACtQ,IAAG,CAAC,UAAU,EAAE,OAAO,CAAC,eAAe,IAAE,iBAAiB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAG,CAAC,CAAC,sBAAsB;gBAAC,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAAA,QAAQ,EAAE,CAAC;QACnK,CAAC;aAAK,IAAG,CAAC,CAAC,IAAI,KAAG,WAAW,EAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,SAAS,EAAC,WAAW,EAAC,gBAAgB,EAAC,YAAY,CAAC,CAAC,CAAC;YAAA,MAAM,OAAO,GAAC,cAAc,CAAC,CAAC,CAAC,OAA8B,CAAC,EAAC,MAAM,GAAC,WAAW,CAAC,CAAC,CAAC,SAAwB,CAAC,CAAC;YACrL,IAAG,MAAM,CAAC,IAAI,IAAE,EAAE,IAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAE,OAAO,CAAC,WAAW,KAAG,OAAO,CAAC,WAAW,IAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAG,QAAQ,IAAE,OAAO,CAAC,GAAG,CAAC,eAAe,KAAG,iBAAiB,CAAC,SAAS,CAAC,IAAE,iBAAiB,CAAC,MAAM,CAAC,KAAG,iBAAiB,CAAC,SAAS,CAAC,IAAE,CAAC,CAAC,UAAU,KAAG,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,IAAE,IAAI,CAAC,IAAE,OAAO,CAAC,CAAC,cAAc,KAAG,QAAQ,IAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAC7Z,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAC,EAAC,OAAO,EAAC,SAAS,EAAC,MAAM,EAAC,cAAc,EAAC,CAAC,CAAC,cAAc,EAAC,UAAU,EAAC,CAAC,CAAC,UAAyB,EAAC,OAAO,EAAC,IAAI,EAAC,CAAC,CAAC;QAC7I,CAAC;aAAK,IAAG,CAAC,CAAC,IAAI,KAAG,oBAAoB,EAAC,CAAC;YACtC,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,SAAS,EAAC,SAAS,CAAC,CAAC,CAAC;YAAA,MAAM,CAAC,GAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAC,OAAO,GAAC,yBAAyB,CAAC,CAAC,CAAC,OAA4B,CAAC,CAAC;YAC/I,IAAG,CAAC,CAAC,IAAE,CAAC,CAAC,OAAO,IAAE,OAAO,CAAC,SAAS,KAAG,CAAC,CAAC,OAAO,CAAC,SAAS,IAAE,uBAAuB,CAAC,OAAO,CAAC,OAAO,CAAC,KAAG,CAAC,CAAC,cAAc;gBAAC,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YAAA,CAAC,CAAC,OAAO,GAAC,OAAO,CAAC;QAC5L,CAAC;aAAK,IAAG,CAAC,CAAC,IAAI,KAAG,mBAAmB,EAAC,CAAC;YACrC,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,WAAW,EAAC,eAAe,EAAC,eAAe,EAAC,eAAe,CAAC,CAAC,CAAC;YAC/E,IAAG,OAAO,CAAC,CAAC,SAAS,KAAG,QAAQ,IAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAE,CAAC,CAAC,aAAa,KAAG,CAAC,CAAC,aAAa,IAAE,OAAO,CAAC,CAAC,aAAa,KAAG,QAAQ,IAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC7P,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YAAA,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAC,EAAC,MAAM,EAAC,CAAC,CAAC,aAAa,EAAC,aAAa,EAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAC,aAAa,EAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAC,WAAW,EAAC,oBAAoB,EAAC,CAAC,CAAC;QAC7M,CAAC;aAAK,IAAG,CAAC,CAAC,IAAI,KAAG,mBAAmB,EAAC,CAAC;YACrC,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,WAAW,EAAC,aAAa,EAAC,oBAAoB,CAAC,CAAC,CAAC;YAAA,MAAM,CAAC,GAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9G,IAAG,CAAC,CAAC,IAAE,CAAC,CAAC,WAAW,KAAG,oBAAoB,IAAE,CAAC,CAAC,SAAS,EAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAE,CAAC,CAAC,kBAAkB,CAAC,MAAM,GAAC,EAAE,IAAE,CAAC,CAAC,WAAW,KAAG,SAAS,IAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO;gBAAC,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAAA,CAAC,CAAC,WAAW,GAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACtU,CAAC;;YAAK,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACzD,CAAC;IACD,OAAM,EAAC,QAAQ,EAAC,SAAS,EAAC,eAAe,EAAC,iBAAiB,CAAC,SAAS,CAAC,EAAC,UAAU,EAAC,OAAO,EAAC,MAAM,EAAC,UAAU,EAAC,CAAC;AAC/G,CAAC;AACD,MAAM,CAAC,MAAM,oBAAoB,GAAC,CAAC,CAAwB,EAAC,EAAE,GAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,CAAC;AACrH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,KAAmF,IAAkC,MAAM,EAAC,SAAS,EAAC,GAAG,IAAI,EAAC,GAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA,OAAO,oBAAoB,CAAC,SAAS,EAAC,eAAe,CAAC,EAAC,OAAO,EAAC,qBAAqB,EAAC,GAAG,IAAI,EAAC,CAAC,CAAC,CAAC,CAAA,CAAC;AACnT,MAAM,UAAU,oBAAoB,CAAC,KAAuC,EAAC,CAAkB,IAAE,IAAG,KAAK,CAAC,UAAU,EAAC,CAAC;IAAA,MAAM,CAAC,GAAC,KAAK,CAAC,UAAU,EAAC,KAAK,GAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,SAAS,KAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;IAAA,IAAG,CAAC,KAAK;QAAC,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAAA,uBAAuB,CAAC,CAAC,CAAC,OAAO,EAAC,CAAC,CAAC,OAAO,EAAC,CAAC,CAAC,QAAQ,EAAC,KAAK,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;AAAA,CAAC,CAAA,CAAC;AAC/V,MAAM,UAAU,mBAAmB,CAAC,KAA4B;IAAE,MAAM,KAAK,GAAC,oBAAoB,CAAC,KAAK,CAAC,EAAC,CAAC,GAAC,KAAK,CAAC,OAAO,CAAC;IACxH,MAAM,OAAO,GAAC,KAAK,IAAE,EAAE,GAAC,MAAM,CAAC,GAAC,cAAc,CAAC,CAAC,EAAC,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA,OAAM,EAAC,OAAO,EAAC,0BAAmC,EAAC,QAAQ,EAAC,CAAC,CAAC,QAAQ,EAAC,eAAe,EAAC,CAAC,CAAC,eAAe,EAAC,SAAS,EAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,EAAC,WAAW,EAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAC,UAAU,EAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAC,CAAC,CAAC,EAAC,EAAE,CAAA,CAAC,EAAC,SAAS,EAAC,GAAG,CAAC,EAAC,CAAC,CAAC,EAAC,MAAM,EAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAC,CAAC,CAAC,EAAC,EAAE,CAAA,CAAC,EAAC,OAAO,EAAC,WAAW,EAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAC,eAAe,EAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAC,QAAQ,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAC,eAAe,EAAC,CAAC,CAAC,OAAO,CAAA,CAAC,CAAA,UAAU,CAAA,CAAC,CAAA,oBAAoB,EAAC,CAAC,CAAC,EAAC,UAAU,EAAC,cAAuB,EAAC,CAAC,CAAA,CAAC,CAAC;IACplB,OAAM,EAAC,OAAO,EAAC,KAAK,CAAC,QAAQ,CAAC,KAAuB,EAAC,IAA0B;YAAE,MAAM,CAAC,GAAC,eAAe,CAAC,KAAK,CAAC,EAAC,CAAC,GAAC,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAAA,MAAM,CAAC,CAAC,EAAC,CAAC,SAAS,EAAC,WAAW,EAAC,kBAAkB,EAAC,yBAAyB,EAAC,WAAW,EAAC,SAAS,EAAC,SAAS,CAAC,CAAC,CAAC;YACtS,IAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YAC1H,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,EAAE;gBAAC,MAAM,CAAC,GAAC,cAAc,CAAC,CAAC,EAAC,MAAM,CAAC,EAAC,GAAG,GAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAAA,IAAG,GAAG,EAAC,CAAC;oBAAA,IAAG,GAAG,KAAG,uBAAuB,CAAC,CAAC,CAAC;wBAAC,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;oBAAA,OAAO;gBAAA,CAAC;gBAC9M,IAAG,CAAC,CAAC,gBAAgB,KAAG,CAAC,CAAC,QAAQ,IAAE,CAAC,CAAC,uBAAuB,KAAG,CAAC,CAAC,eAAe;oBAAC,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;gBACtH,IAAG,CAAC,CAAC,OAAO,CAAC,WAAW,KAAG,CAAC,CAAC,OAAO,CAAC,WAAW,IAAE,CAAC,CAAC,OAAO,CAAC,eAAe,KAAG,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,IAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,KAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,IAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,KAAG,CAAC,CAAC,eAAe;oBAAC,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;gBACzS,MAAM,KAAK,GAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,SAAS,KAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;gBAAA,IAAG,CAAC,KAAK;oBAAC,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;gBAAA,uBAAuB,CAAC,CAAC,CAAC,OAAO,EAAC,CAAC,CAAC,OAAO,EAAC,CAAC,CAAC,QAAQ,EAAC,KAAK,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC5M,cAAc,CAAC,CAAC,EAAC,CAAC,GAAG,MAAM,EAAC,EAAC,IAAI,EAAC,UAAU,EAAC,OAAO,EAAC,CAAC,EAAC,CAAC,CAAC,CAAC;gBAAA,MAAM,MAAM,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,OAAO,EAAC,CAAC,EAAC,CAAC,CAAC;YAAA,CAAC,CAAC,CAAC;YAAA,OAAO,OAAO,EAAE,CAAC;QAC5H,CAAC,EAAC,KAAK,CAAC,QAAQ,CAAC,KAAqB,EAAC,IAA0B;YAAE,MAAM,CAAC,GAAC,eAAe,CAAC,KAAK,CAAC,EAAC,CAAC,GAAC,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAAA,MAAM,CAAC,CAAC,EAAC,CAAC,SAAS,EAAC,IAAI,EAAC,YAAY,EAAC,aAAa,EAAC,wBAAwB,EAAC,QAAQ,EAAC,UAAU,EAAC,WAAW,CAAC,CAAC,CAAC;YACvR,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,EAAE;gBAAC,MAAM,CAAC,GAAC,cAAc,CAAC,CAAC,EAAC,MAAM,CAAC,EAAC,GAAG,GAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAA,IAAG,GAAG,EAAC,CAAC;oBAAA,IAAG,GAAG,KAAG,cAAc,CAAC,CAAC,CAAC,IAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;wBAAC,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;oBAAA,OAAO;gBAAA,CAAC;gBAChP,IAAG,CAAC,CAAC,CAAC,UAAU;oBAAC,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAAA,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAC,CAAC,EAAC,CAAC,CAAC,QAAQ,EAAC,IAAI,CAAC,GAAG,EAAE,EAAC,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAC,eAAe,EAAC,CAAC,CAAC,eAAe,EAAC,WAAW,EAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAC,CAAC,CAAC;gBAC5N,MAAM,KAAK,GAAC,EAAC,IAAI,EAAC,UAAU,EAAC,OAAO,EAAC,CAAC,EAAC,YAAY,EAAC,CAAC,CAAC,QAAQ,EAAC,CAAC;gBAAA,cAAc,CAAC,CAAC,EAAC,CAAC,GAAG,MAAM,EAAC,KAAK,CAAC,CAAC,CAAC;gBAAA,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;YAAA,CAAC,CAAC,CAAC;YAAA,OAAM,EAAC,GAAG,MAAM,OAAO,EAAE,EAAC,WAAW,EAAC,SAAkB,EAAC,SAAS,EAAC,CAAC,CAAC,EAAE,EAAC,cAAc,EAAC,KAAK,EAAC,CAAC;QAC7N,CAAC,EAAC,CAAC;AACL,CAAC"}
|
package/dist/file-lock.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* One cross-process file lock,
|
|
2
|
+
* One cross-process file lock, shared by producer ledgers and the approvals store.
|
|
3
3
|
*
|
|
4
4
|
* **Extracted rather than copied (R-49).** The ledger has had this lock since fan-out made a second writer
|
|
5
5
|
* possible; the approvals store had an unlocked read-modify-write, so session 1 could load, session 2 could
|
|
@@ -27,8 +27,14 @@ export declare const STALE_LOCK_MS = 10000;
|
|
|
27
27
|
export declare class LockTimeoutError extends Error {
|
|
28
28
|
constructor(label: string);
|
|
29
29
|
}
|
|
30
|
+
export interface FileLockOptions {
|
|
31
|
+
readonly staleRecovery?: "age" | "disabled";
|
|
32
|
+
}
|
|
30
33
|
/**
|
|
31
34
|
* Run `work` while holding an exclusive lock beside `path`.
|
|
35
|
+
* Explicit disabled recovery never reclaims by age/liveness. V4 selects it internally; an orphan
|
|
36
|
+
* requires separately authorized quiescent recovery, not a timer or automatic operator action.
|
|
37
|
+
* The age-based behavior described below remains the default for legacy callers.
|
|
32
38
|
*
|
|
33
39
|
* **Why a lock at all.** `O_APPEND` is atomic for one write to a regular file on a POSIX filesystem, and the
|
|
34
40
|
* guarantee does **not** hold on drvfs (`/mnt/c` under WSL2) or NFS — which is exactly where this project
|
|
@@ -50,5 +56,5 @@ export declare class LockTimeoutError extends Error {
|
|
|
50
56
|
* The timeout is short *on purpose*: work refused because a file was busy is recoverable and loud, while
|
|
51
57
|
* work that hangs waiting for a lock is neither.
|
|
52
58
|
*/
|
|
53
|
-
export declare function withFileLock<T>(path: string, label: string, work: () => Promise<T
|
|
59
|
+
export declare function withFileLock<T>(path: string, label: string, work: () => Promise<T>, options?: FileLockOptions): Promise<T>;
|
|
54
60
|
//# sourceMappingURL=file-lock.d.ts.map
|
package/dist/file-lock.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"file-lock.d.ts","sourceRoot":"","sources":["../src/file-lock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,2GAA2G;AAC3G,eAAO,MAAM,eAAe,OAAO,CAAC;AACpC,qFAAqF;AACrF,eAAO,MAAM,aAAa,QAAS,CAAC;AAEpC;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;gBAC7B,KAAK,EAAE,MAAM;CAI1B;AAED
|
|
1
|
+
{"version":3,"file":"file-lock.d.ts","sourceRoot":"","sources":["../src/file-lock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,2GAA2G;AAC3G,eAAO,MAAM,eAAe,OAAO,CAAC;AACpC,qFAAqF;AACrF,eAAO,MAAM,aAAa,QAAS,CAAC;AAEpC;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;gBAC7B,KAAK,EAAE,MAAM;CAI1B;AAED,MAAM,WAAW,eAAe;IAAG,QAAQ,CAAC,aAAa,CAAC,EAAE,KAAK,GAAG,UAAU,CAAA;CAAE;AAchF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC,CAsEhI"}
|
package/dist/file-lock.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* One cross-process file lock,
|
|
2
|
+
* One cross-process file lock, shared by producer ledgers and the approvals store.
|
|
3
3
|
*
|
|
4
4
|
* **Extracted rather than copied (R-49).** The ledger has had this lock since fan-out made a second writer
|
|
5
5
|
* possible; the approvals store had an unlocked read-modify-write, so session 1 could load, session 2 could
|
|
@@ -32,8 +32,28 @@ export class LockTimeoutError extends Error {
|
|
|
32
32
|
this.name = "LockTimeoutError";
|
|
33
33
|
}
|
|
34
34
|
}
|
|
35
|
+
function lockPolicy(options) {
|
|
36
|
+
if (options === undefined)
|
|
37
|
+
return "age";
|
|
38
|
+
const invalid = () => { throw new TypeError("invalid file lock options"); };
|
|
39
|
+
if (options === null || typeof options !== "object" || Array.isArray(options) ||
|
|
40
|
+
![Object.prototype, null].includes(Object.getPrototypeOf(options)))
|
|
41
|
+
return invalid();
|
|
42
|
+
const keys = Reflect.ownKeys(options);
|
|
43
|
+
if (keys.some(key => key !== "staleRecovery"))
|
|
44
|
+
return invalid();
|
|
45
|
+
if (!keys.length)
|
|
46
|
+
return "age";
|
|
47
|
+
const field = Object.getOwnPropertyDescriptor(options, "staleRecovery");
|
|
48
|
+
if (!Object.hasOwn(field, "value") || !field.enumerable || !["age", "disabled"].includes(field.value))
|
|
49
|
+
return invalid();
|
|
50
|
+
return field.value;
|
|
51
|
+
}
|
|
35
52
|
/**
|
|
36
53
|
* Run `work` while holding an exclusive lock beside `path`.
|
|
54
|
+
* Explicit disabled recovery never reclaims by age/liveness. V4 selects it internally; an orphan
|
|
55
|
+
* requires separately authorized quiescent recovery, not a timer or automatic operator action.
|
|
56
|
+
* The age-based behavior described below remains the default for legacy callers.
|
|
37
57
|
*
|
|
38
58
|
* **Why a lock at all.** `O_APPEND` is atomic for one write to a regular file on a POSIX filesystem, and the
|
|
39
59
|
* guarantee does **not** hold on drvfs (`/mnt/c` under WSL2) or NFS — which is exactly where this project
|
|
@@ -55,7 +75,8 @@ export class LockTimeoutError extends Error {
|
|
|
55
75
|
* The timeout is short *on purpose*: work refused because a file was busy is recoverable and loud, while
|
|
56
76
|
* work that hangs waiting for a lock is neither.
|
|
57
77
|
*/
|
|
58
|
-
export async function withFileLock(path, label, work) {
|
|
78
|
+
export async function withFileLock(path, label, work, options) {
|
|
79
|
+
const staleRecovery = lockPolicy(options); // Detached once, before I/O or any wait.
|
|
59
80
|
const lockPath = `${path}.lock`;
|
|
60
81
|
const deadline = Date.now() + LOCK_TIMEOUT_MS;
|
|
61
82
|
for (;;) {
|
|
@@ -94,33 +115,69 @@ export async function withFileLock(path, label, work) {
|
|
|
94
115
|
throw error;
|
|
95
116
|
// Someone else holds it. Break it only if it is old enough to be abandoned — and only the exact file
|
|
96
117
|
// we judged, so a lock created in the gap survives.
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
118
|
+
if (staleRecovery === "age")
|
|
119
|
+
try {
|
|
120
|
+
const held = await stat(lockPath);
|
|
121
|
+
if (Date.now() - held.mtimeMs > STALE_LOCK_MS) {
|
|
122
|
+
const abandoned = await readFile(lockPath, "utf8").catch(() => undefined);
|
|
123
|
+
if (abandoned !== undefined)
|
|
124
|
+
await removeIfOurs(lockPath, abandoned.trim());
|
|
125
|
+
}
|
|
126
|
+
}
|
|
127
|
+
catch {
|
|
128
|
+
/* it vanished between the check and the stat — the next attempt will simply take it */
|
|
103
129
|
}
|
|
104
|
-
}
|
|
105
|
-
catch {
|
|
106
|
-
/* it vanished between the check and the stat — the next attempt will simply take it */
|
|
107
|
-
}
|
|
108
130
|
if (Date.now() >= deadline)
|
|
109
131
|
throw new LockTimeoutError(label);
|
|
110
132
|
await new Promise((r) => setTimeout(r, 25));
|
|
111
133
|
continue;
|
|
112
134
|
}
|
|
135
|
+
let bodyFailed = false;
|
|
113
136
|
try {
|
|
114
137
|
return await work();
|
|
115
138
|
}
|
|
139
|
+
catch (error) {
|
|
140
|
+
bodyFailed = true;
|
|
141
|
+
throw error;
|
|
142
|
+
}
|
|
116
143
|
finally {
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
144
|
+
if (staleRecovery === "disabled") {
|
|
145
|
+
try {
|
|
146
|
+
await releaseDisabledLock(handle, lockPath, token);
|
|
147
|
+
}
|
|
148
|
+
catch (error) {
|
|
149
|
+
if (!bodyFailed)
|
|
150
|
+
throw error;
|
|
151
|
+
} // Preserve even a falsy primary rejection.
|
|
152
|
+
}
|
|
153
|
+
else {
|
|
154
|
+
await handle.close().catch(() => undefined);
|
|
155
|
+
// Legacy age policy remains best effort; never remove a demonstrably different token.
|
|
156
|
+
await removeIfOurs(lockPath, token);
|
|
157
|
+
}
|
|
121
158
|
}
|
|
122
159
|
}
|
|
123
160
|
}
|
|
161
|
+
/** Disabled ownership cannot silently manufacture an indefinite orphan after a successful body.
|
|
162
|
+
* Try token-checked removal even if close failed; report the first failure after both attempts.
|
|
163
|
+
* Appended bytes are not rolled back, and a primary body error takes precedence at the caller. */
|
|
164
|
+
async function releaseDisabledLock(handle, lockPath, token) {
|
|
165
|
+
let failure = null;
|
|
166
|
+
try {
|
|
167
|
+
await handle.close();
|
|
168
|
+
}
|
|
169
|
+
catch (error) {
|
|
170
|
+
failure = { error };
|
|
171
|
+
}
|
|
172
|
+
try {
|
|
173
|
+
await removeIfOurs(lockPath, token, true);
|
|
174
|
+
}
|
|
175
|
+
catch (error) {
|
|
176
|
+
failure ??= { error };
|
|
177
|
+
}
|
|
178
|
+
if (failure)
|
|
179
|
+
throw failure.error;
|
|
180
|
+
}
|
|
124
181
|
/**
|
|
125
182
|
* Delete the lock only if it still holds `token`.
|
|
126
183
|
*
|
|
@@ -128,15 +185,17 @@ export async function withFileLock(path, label, work) {
|
|
|
128
185
|
* "the whole of `work()`" to "between a read and an unlink", and it removes the *systematic* break entirely:
|
|
129
186
|
* a process can no longer delete a lock it demonstrably never owned.
|
|
130
187
|
*/
|
|
131
|
-
async function removeIfOurs(lockPath, token) {
|
|
188
|
+
async function removeIfOurs(lockPath, token, strict = false) {
|
|
132
189
|
try {
|
|
133
190
|
const held = await readFile(lockPath, "utf8");
|
|
134
191
|
if (held.trim() !== token)
|
|
135
192
|
return;
|
|
136
193
|
await rm(lockPath, { force: true });
|
|
137
194
|
}
|
|
138
|
-
catch {
|
|
139
|
-
|
|
195
|
+
catch (error) {
|
|
196
|
+
if (strict)
|
|
197
|
+
throw error; // No ownership inference or force-delete after a failed read.
|
|
198
|
+
/* Legacy: already gone, or unreadable — this process must not force removal. */
|
|
140
199
|
}
|
|
141
200
|
}
|
|
142
201
|
//# sourceMappingURL=file-lock.js.map
|
package/dist/file-lock.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"file-lock.js","sourceRoot":"","sources":["../src/file-lock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,2GAA2G;AAC3G,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC;AACpC,qFAAqF;AACrF,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC;AAEpC;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,KAAa;QACvB,KAAK,CAAC,GAAG,KAAK,wCAAwC,eAAe,KAAK,CAAC,CAAC;QAC5E,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED
|
|
1
|
+
{"version":3,"file":"file-lock.js","sourceRoot":"","sources":["../src/file-lock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,2GAA2G;AAC3G,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC;AACpC,qFAAqF;AACrF,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC;AAEpC;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,KAAa;QACvB,KAAK,CAAC,GAAG,KAAK,wCAAwC,eAAe,KAAK,CAAC,CAAC;QAC5E,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAGD,SAAS,UAAU,CAAC,OAAoC;IACtD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,OAAO,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,SAAS,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACzE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IACzF,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,eAAe,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAChE,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,wBAAwB,CAAC,OAAO,EAAE,eAAe,CAAE,CAAC;IACzE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IACxH,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAI,IAAY,EAAE,KAAa,EAAE,IAAsB,EAAE,OAAyB;IAClH,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,yCAAyC;IACpF,MAAM,QAAQ,GAAG,GAAG,IAAI,OAAO,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,eAAe,CAAC;IAE9C,SAAS,CAAC;QACR,uGAAuG;QACvG,sGAAsG;QACtG,sDAAsD;QACtD,EAAE;QACF,wGAAwG;QACxG,mGAAmG;QACnG,oGAAoG;QACpG,uGAAuG;QACvG,qGAAqG;QACrG,EAAE;QACF,sGAAsG;QACtG,oGAAoG;QACpG,sGAAsG;QACtG,gDAAgD;QAChD,MAAM,KAAK,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,UAAU,EAAE,EAAE,CAAC;QAC/C,IAAI,MAAoD,CAAC;QACzD,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACpC,MAAM,MAAM,CAAC,SAAS,CAAC,GAAG,KAAK,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,iGAAiG;YACjG,kGAAkG;YAClG,kGAAkG;YAClG,mGAAmG;YACnG,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;gBAC5C,MAAM,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACpC,MAAM,GAAG,SAAS,CAAC;YACrB,CAAC;YACD,MAAM,IAAI,GAAI,KAA2B,CAAC,IAAI,CAAC;YAC/C,IAAI,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;YAEnC,qGAAqG;YACrG,oDAAoD;YACpD,IAAI,aAAa,KAAK,KAAK;gBAAE,IAAI,CAAC;oBAChC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAClC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,GAAG,aAAa,EAAE,CAAC;wBAC9C,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;wBAC1E,IAAI,SAAS,KAAK,SAAS;4BAAE,MAAM,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;oBAC9E,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,uFAAuF;gBACzF,CAAC;YAED,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ;gBAAE,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC9D,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAC5C,SAAS;QACX,CAAC;QAED,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,IAAI,CAAC;YACH,OAAO,MAAM,IAAI,EAAE,CAAC;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,UAAU,GAAG,IAAI,CAAC;YAAC,MAAM,KAAK,CAAC;QAAC,CAAC;gBAC3C,CAAC;YACP,IAAI,aAAa,KAAK,UAAU,EAAE,CAAC;gBACjC,IAAI,CAAC;oBAAC,MAAM,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAAC,CAAC;gBAC3D,OAAO,KAAK,EAAE,CAAC;oBAAC,IAAI,CAAC,UAAU;wBAAE,MAAM,KAAK,CAAC;gBAAC,CAAC,CAAC,2CAA2C;YAC7F,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;gBAC5C,sFAAsF;gBACtF,MAAM,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;kGAEkG;AAClG,KAAK,UAAU,mBAAmB,CAAC,MAAwC,EAAE,QAAgB,EAAE,KAAa;IAC1G,IAAI,OAAO,GAA8B,IAAI,CAAC;IAC9C,IAAI,CAAC;QAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IAAC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC;IAAC,CAAC;IACpE,IAAI,CAAC;QAAC,MAAM,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAAC,CAAC;IAClD,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,KAAK,EAAE,KAAK,EAAE,CAAC;IAAC,CAAC;IACxC,IAAI,OAAO;QAAE,MAAM,OAAO,CAAC,KAAK,CAAC;AACnC,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,YAAY,CAAC,QAAgB,EAAE,KAAa,EAAE,MAAM,GAAG,KAAK;IACzE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK;YAAE,OAAO;QAClC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,MAAM;YAAE,MAAM,KAAK,CAAC,CAAC,8DAA8D;QACvF,gFAAgF;IAClF,CAAC;AACH,CAAC"}
|