@astrosheep/keiyaku 2.9.13 → 4.0.1
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/README.md +5 -132
- package/build/integrations/marketplace/.agents/plugins/marketplace.json +12 -0
- package/build/integrations/marketplace/.claude-plugin/marketplace.json +5 -0
- package/build/integrations/marketplace/plugins/keiyaku/.claude-plugin/plugin.json +7 -0
- package/build/integrations/marketplace/plugins/keiyaku/.codex-plugin/plugin.json +18 -0
- package/build/integrations/marketplace/plugins/keiyaku/opencode.js +16 -0
- package/build/integrations/marketplace/plugins/keiyaku/package.json +8 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku/SKILL.md +42 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-akuma/SKILL.md +53 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-bind/SKILL.md +94 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-bind/agents/openai.yaml +4 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-task/SKILL.md +97 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-workflow/SKILL.md +189 -0
- package/build/src/akuma/akuma.d.ts +124 -0
- package/build/src/akuma/akuma.js +414 -0
- package/build/src/akuma/archetype.d.ts +39 -0
- package/build/src/akuma/archetype.js +207 -0
- package/build/src/akuma/body.d.ts +20 -0
- package/build/src/akuma/body.js +417 -0
- package/build/src/akuma/coordinate.d.ts +9 -0
- package/build/src/akuma/coordinate.js +22 -0
- package/build/src/akuma/heart/facts.d.ts +202 -0
- package/build/src/akuma/heart/facts.js +9 -0
- package/build/src/akuma/heart/index.d.ts +90 -0
- package/build/src/akuma/heart/index.js +240 -0
- package/build/src/akuma/heart/rows.d.ts +166 -0
- package/build/src/akuma/heart/rows.js +299 -0
- package/build/src/akuma/heart/schema.d.ts +5 -0
- package/build/src/akuma/heart/schema.js +160 -0
- package/build/src/akuma/heart/storage.d.ts +33 -0
- package/build/src/akuma/heart/storage.js +164 -0
- package/build/src/akuma/heart/tells.d.ts +12 -0
- package/build/src/akuma/heart/tells.js +79 -0
- package/build/src/akuma/heart/timeline.d.ts +15 -0
- package/build/src/akuma/heart/timeline.js +86 -0
- package/build/src/akuma/identity.d.ts +46 -0
- package/build/src/akuma/identity.js +89 -0
- package/build/src/akuma/index.d.ts +9 -0
- package/build/src/akuma/index.js +3 -0
- package/build/src/akuma/projection.d.ts +97 -0
- package/build/src/akuma/projection.js +145 -0
- package/build/src/akuma/provider.d.ts +169 -0
- package/build/src/akuma/provider.js +255 -0
- package/build/src/akuma/providers/claude/events.d.ts +52 -0
- package/build/src/akuma/providers/claude/events.js +185 -0
- package/build/src/akuma/providers/claude/index.d.ts +46 -0
- package/build/src/akuma/providers/claude/index.js +265 -0
- package/build/src/akuma/providers/claude/input.d.ts +13 -0
- package/build/src/akuma/providers/claude/input.js +109 -0
- package/build/src/akuma/providers/codex-app-server/events.d.ts +110 -0
- package/build/src/akuma/providers/codex-app-server/events.js +337 -0
- package/build/src/akuma/providers/codex-app-server/index.d.ts +29 -0
- package/build/src/akuma/providers/codex-app-server/index.js +213 -0
- package/build/src/akuma/providers/index.d.ts +4 -0
- package/build/src/akuma/providers/index.js +85 -0
- package/build/src/akuma/providers/opencode-sdk/events.d.ts +48 -0
- package/build/src/akuma/providers/opencode-sdk/events.js +116 -0
- package/build/src/akuma/providers/opencode-sdk/index.d.ts +32 -0
- package/build/src/akuma/providers/opencode-sdk/index.js +203 -0
- package/build/src/akuma/providers/opencode-sdk/session.d.ts +41 -0
- package/build/src/akuma/providers/opencode-sdk/session.js +62 -0
- package/build/src/akuma/providers/pi/events.d.ts +33 -0
- package/build/src/akuma/providers/pi/events.js +128 -0
- package/build/src/akuma/providers/pi/index.d.ts +11 -0
- package/build/src/akuma/providers/pi/index.js +162 -0
- package/build/src/akuma/publication.d.ts +10 -0
- package/build/src/akuma/publication.js +107 -0
- package/build/src/akuma/requests.d.ts +47 -0
- package/build/src/akuma/requests.js +391 -0
- package/build/src/alias/index.d.ts +18 -0
- package/build/src/alias/index.js +103 -0
- package/build/src/body/amend.d.ts +2 -0
- package/build/src/body/amend.js +289 -0
- package/build/src/body/arc.d.ts +2 -0
- package/build/src/body/arc.js +54 -0
- package/build/src/body/decode.d.ts +4 -0
- package/build/src/body/decode.js +146 -0
- package/build/src/body/keys.d.ts +4 -0
- package/build/src/body/keys.js +11 -0
- package/build/src/body/region.d.ts +6 -0
- package/build/src/body/region.js +139 -0
- package/build/src/body/render.d.ts +4 -0
- package/build/src/body/render.js +74 -0
- package/build/src/body/shape.d.ts +29 -0
- package/build/src/body/shape.js +22 -0
- package/build/src/body/types.d.ts +28 -0
- package/build/src/body/verification.d.ts +7 -0
- package/build/src/body/verification.js +40 -0
- package/build/src/cli/accepted.d.ts +18 -0
- package/build/src/cli/accepted.js +66 -0
- package/build/src/cli/actor.d.ts +8 -0
- package/build/src/cli/actor.js +11 -0
- package/build/src/cli/commands/akuma-invoke.d.ts +77 -0
- package/build/src/cli/commands/akuma-invoke.js +112 -0
- package/build/src/cli/commands/akuma.d.ts +50 -0
- package/build/src/cli/commands/akuma.js +262 -0
- package/build/src/cli/commands/amend.d.ts +13 -0
- package/build/src/cli/commands/amend.js +13 -0
- package/build/src/cli/commands/bind.d.ts +12 -0
- package/build/src/cli/commands/bind.js +17 -0
- package/build/src/cli/commands/contract.d.ts +142 -0
- package/build/src/cli/commands/contract.js +14 -0
- package/build/src/cli/commands/install.d.ts +25 -0
- package/build/src/cli/commands/install.js +105 -0
- package/build/src/cli/commands/task-invoke.d.ts +11 -0
- package/build/src/cli/commands/task-invoke.js +117 -0
- package/build/src/cli/commands/task.d.ts +16 -0
- package/build/src/cli/commands/task.js +144 -0
- package/build/src/cli/index.d.ts +2 -0
- package/build/src/cli/index.js +3 -0
- package/build/src/cli/invoke.d.ts +22 -0
- package/build/src/cli/invoke.js +463 -0
- package/build/src/cli/main.d.ts +1 -0
- package/build/src/cli/main.js +98 -0
- package/build/src/cli/parse.d.ts +107 -0
- package/build/src/cli/parse.js +348 -0
- package/build/src/cli/render/akuma-tool.d.ts +13 -0
- package/build/src/cli/render/akuma-tool.js +72 -0
- package/build/src/cli/render/akuma.d.ts +7 -0
- package/build/src/cli/render/akuma.js +194 -0
- package/build/src/cli/render/board.d.ts +2 -0
- package/build/src/cli/render/board.js +4 -0
- package/build/src/cli/render/catalog.d.ts +2 -0
- package/build/src/cli/render/catalog.js +16 -0
- package/build/src/cli/render/contract.d.ts +4 -0
- package/build/src/cli/render/contract.js +102 -0
- package/build/src/cli/render/kanshi.d.ts +3 -0
- package/build/src/cli/render/kanshi.js +252 -0
- package/build/src/cli/render/refusal.d.ts +2 -0
- package/build/src/cli/render/refusal.js +21 -0
- package/build/src/cli/render/settings.d.ts +3 -0
- package/build/src/cli/render/settings.js +30 -0
- package/build/src/cli/render/task.d.ts +6 -0
- package/build/src/cli/render/task.js +105 -0
- package/build/src/cli/render/terminal.d.ts +23 -0
- package/build/src/cli/render/terminal.js +151 -0
- package/build/src/cli/render/text.d.ts +3 -0
- package/build/src/cli/render/text.js +20 -0
- package/build/src/cli/result.d.ts +67 -0
- package/build/src/cli/selectors.d.ts +9 -0
- package/build/src/cli/selectors.js +66 -0
- package/build/src/cli/usage.d.ts +6 -0
- package/build/src/cli/usage.js +19 -0
- package/build/src/contract-worktree.d.ts +43 -0
- package/build/src/contract-worktree.js +213 -0
- package/build/src/coordination/durable-file.d.ts +4 -0
- package/build/src/coordination/durable-file.js +79 -0
- package/build/src/coordination/sqlite-transaction-lock.d.ts +14 -0
- package/build/src/coordination/sqlite-transaction-lock.js +119 -0
- package/build/src/core/decide.d.ts +45 -0
- package/build/src/core/facts/codec.d.ts +3 -0
- package/build/src/core/facts/codec.js +277 -0
- package/build/src/core/facts/eligibility.d.ts +7 -0
- package/build/src/core/facts/eligibility.js +26 -0
- package/build/src/core/facts/errors.d.ts +3 -0
- package/build/src/core/facts/errors.js +6 -0
- package/build/src/core/facts/fold.d.ts +2 -0
- package/build/src/core/facts/fold.js +97 -0
- package/build/src/core/facts/gate.d.ts +24 -0
- package/build/src/core/facts/gate.js +52 -0
- package/build/src/core/facts/observation.d.ts +15 -0
- package/build/src/core/facts/observation.js +35 -0
- package/build/src/core/facts/offer.d.ts +21 -0
- package/build/src/core/facts/types.d.ts +137 -0
- package/build/src/core/facts/types.js +66 -0
- package/build/src/core/subject.d.ts +21 -0
- package/build/src/core/subject.js +89 -0
- package/build/src/core/verbs/abandon.d.ts +13 -0
- package/build/src/core/verbs/abandon.js +17 -0
- package/build/src/core/verbs/amend.d.ts +14 -0
- package/build/src/core/verbs/amend.js +52 -0
- package/build/src/core/verbs/arc.d.ts +13 -0
- package/build/src/core/verbs/arc.js +25 -0
- package/build/src/core/verbs/attestation.d.ts +13 -0
- package/build/src/core/verbs/attestation.js +21 -0
- package/build/src/core/verbs/bind.d.ts +13 -0
- package/build/src/core/verbs/bind.js +26 -0
- package/build/src/core/verbs/deliver.d.ts +13 -0
- package/build/src/core/verbs/deliver.js +42 -0
- package/build/src/core/verbs/placement.d.ts +13 -0
- package/build/src/core/verbs/placement.js +37 -0
- package/build/src/dispatch/index.d.ts +33 -0
- package/build/src/dispatch/index.js +168 -0
- package/build/src/duration.d.ts +10 -0
- package/build/src/duration.js +22 -0
- package/build/src/git/admission.d.ts +18 -0
- package/build/src/git/admission.js +126 -0
- package/build/src/git/hooks.d.ts +49 -0
- package/build/src/git/hooks.js +310 -0
- package/build/src/git/identity.d.ts +17 -0
- package/build/src/git/identity.js +47 -0
- package/build/src/git/integration.d.ts +49 -0
- package/build/src/git/integration.js +214 -0
- package/build/src/git/observe.d.ts +50 -0
- package/build/src/git/observe.js +330 -0
- package/build/src/git/read-observation.d.ts +41 -0
- package/build/src/git/read-observation.js +361 -0
- package/build/src/git/reconcile.d.ts +59 -0
- package/build/src/git/reconcile.js +376 -0
- package/build/src/git/repository.d.ts +95 -0
- package/build/src/git/repository.js +490 -0
- package/build/src/git/scratch.d.ts +13 -0
- package/build/src/git/scratch.js +66 -0
- package/build/src/git/target-placement.d.ts +56 -0
- package/build/src/git/target-placement.js +255 -0
- package/build/src/git/tender.d.ts +48 -0
- package/build/src/git/tender.js +82 -0
- package/build/src/git/terminal-seal.d.ts +24 -0
- package/build/src/git/terminal-seal.js +87 -0
- package/build/src/git/tree.d.ts +34 -0
- package/build/src/git/tree.js +116 -0
- package/build/src/git/workspace.d.ts +21 -0
- package/build/src/git/workspace.js +104 -0
- package/build/src/identity/coordinates.d.ts +9 -0
- package/build/src/identity/coordinates.js +20 -0
- package/build/src/identity/normalize.d.ts +8 -0
- package/build/src/identity/normalize.js +45 -0
- package/build/src/identity/selector.d.ts +12 -0
- package/build/src/identity/selector.js +26 -0
- package/build/src/index.d.ts +6 -0
- package/build/src/index.js +3 -0
- package/build/src/kanshi/index.d.ts +5 -0
- package/build/src/kanshi/index.js +2 -0
- package/build/src/kanshi/read.d.ts +8 -0
- package/build/src/kanshi/read.js +209 -0
- package/build/src/kanshi/report.d.ts +60 -0
- package/build/src/kanshi/select.d.ts +8 -0
- package/build/src/kanshi/select.js +21 -0
- package/build/src/library/address.d.ts +48 -0
- package/build/src/library/address.js +134 -0
- package/build/src/library/akuma-creation.d.ts +83 -0
- package/build/src/library/akuma-creation.js +152 -0
- package/build/src/library/bind.d.ts +21 -0
- package/build/src/library/bind.js +56 -0
- package/build/src/library/catalog.d.ts +58 -0
- package/build/src/library/catalog.js +72 -0
- package/build/src/library/configuration.d.ts +17 -0
- package/build/src/library/configuration.js +97 -0
- package/build/src/library/contract.d.ts +120 -0
- package/build/src/library/contract.js +335 -0
- package/build/src/library/delivery.d.ts +23 -0
- package/build/src/library/delivery.js +21 -0
- package/build/src/library/fleet.d.ts +65 -0
- package/build/src/library/fleet.js +189 -0
- package/build/src/library/input.d.ts +16 -0
- package/build/src/library/input.js +101 -0
- package/build/src/library/keiyaku.d.ts +42 -0
- package/build/src/library/keiyaku.js +26 -0
- package/build/src/library/mutation.d.ts +38 -0
- package/build/src/library/mutation.js +39 -0
- package/build/src/library/refusal.d.ts +21 -0
- package/build/src/library/refusal.js +29 -0
- package/build/src/library/region.d.ts +18 -0
- package/build/src/library/region.js +30 -0
- package/build/src/library/repo.d.ts +36 -0
- package/build/src/library/repo.js +76 -0
- package/build/src/markdown/diff.d.ts +1 -0
- package/build/src/markdown/diff.js +4 -0
- package/build/src/markdown/lex.d.ts +3 -0
- package/build/src/markdown/lex.js +221 -0
- package/build/src/markdown/parse.d.ts +2 -0
- package/build/src/markdown/parse.js +221 -0
- package/build/src/markdown/query.d.ts +21 -0
- package/build/src/markdown/query.js +51 -0
- package/build/src/markdown/types.d.ts +118 -0
- package/build/src/markdown/types.js +6 -0
- package/build/src/protocol/attempt.d.ts +49 -0
- package/build/src/protocol/attempt.js +150 -0
- package/build/src/protocol/bind.d.ts +32 -0
- package/build/src/protocol/bind.js +70 -0
- package/build/src/protocol/intent.d.ts +76 -0
- package/build/src/protocol/intent.js +90 -0
- package/build/src/protocol/operations.d.ts +198 -0
- package/build/src/protocol/operations.js +485 -0
- package/build/src/protocol/outcome.d.ts +23 -0
- package/build/src/protocol/outcome.js +21 -0
- package/build/src/protocol/placement.d.ts +30 -0
- package/build/src/protocol/placement.js +114 -0
- package/build/src/protocol/read/audit.d.ts +31 -0
- package/build/src/protocol/read/audit.js +55 -0
- package/build/src/protocol/read/documents.d.ts +8 -0
- package/build/src/protocol/read/documents.js +16 -0
- package/build/src/protocol/read/status.d.ts +44 -0
- package/build/src/protocol/read/status.js +60 -0
- package/build/src/protocol/run.d.ts +81 -0
- package/build/src/protocol/run.js +64 -0
- package/build/src/runtime/proc/line-rpc.d.ts +38 -0
- package/build/src/runtime/proc/line-rpc.js +145 -0
- package/build/src/runtime/proc/run.d.ts +70 -0
- package/build/src/runtime/proc/run.js +226 -0
- package/build/src/settings.d.ts +51 -0
- package/build/src/settings.js +114 -0
- package/build/src/settlement/fence.d.ts +9 -0
- package/build/src/settlement/fence.js +23 -0
- package/build/src/settlement/holder.d.ts +36 -0
- package/build/src/settlement/holder.js +187 -0
- package/build/src/settlement/settle.d.ts +44 -0
- package/build/src/settlement/settle.js +165 -0
- package/build/src/task/board.d.ts +83 -0
- package/build/src/task/board.js +165 -0
- package/build/src/task/compose.d.ts +25 -0
- package/build/src/task/compose.js +232 -0
- package/build/src/task/context.d.ts +4 -0
- package/build/src/task/context.js +51 -0
- package/build/src/task/document.d.ts +24 -0
- package/build/src/task/document.js +118 -0
- package/build/src/task/identity.d.ts +12 -0
- package/build/src/task/identity.js +47 -0
- package/build/src/task/index.d.ts +90 -0
- package/build/src/task/index.js +182 -0
- package/build/src/task/operations.d.ts +134 -0
- package/build/src/task/operations.js +198 -0
- package/build/src/task/store.d.ts +20 -0
- package/build/src/task/store.js +114 -0
- package/build/src/verification/declaration.d.ts +23 -0
- package/build/src/verification/declaration.js +14 -0
- package/build/src/verification/execution.d.ts +49 -0
- package/build/src/verification/execution.js +104 -0
- package/build/src/world.d.ts +13 -0
- package/build/src/world.js +103 -0
- package/package.json +65 -44
- package/build/.tsbuildinfo +0 -1
- package/build/agents/call-terms.js +0 -32
- package/build/agents/harness/activity-values.js +0 -70
- package/build/agents/harness/control-types.js +0 -18
- package/build/agents/harness/event-channel.js +0 -213
- package/build/agents/harness/event-persistence.js +0 -220
- package/build/agents/harness/events.js +0 -48
- package/build/agents/harness/execution-handle.js +0 -172
- package/build/agents/harness/index.js +0 -11
- package/build/agents/harness/outcome-error.js +0 -81
- package/build/agents/harness/outcome.js +0 -220
- package/build/agents/harness/projection.js +0 -369
- package/build/agents/harness/provider-adapter.js +0 -58
- package/build/agents/harness/router.js +0 -30
- package/build/agents/harness/runtime.js +0 -85
- package/build/agents/harness/session.js +0 -15
- package/build/agents/launch-snapshot/model.js +0 -127
- package/build/agents/launch-snapshot/parse-helpers.js +0 -114
- package/build/agents/launch-snapshot/resolve.js +0 -46
- package/build/agents/opencode-sdk.js +0 -159
- package/build/agents/providers/claude-agent-sdk/adapter.js +0 -396
- package/build/agents/providers/claude-agent-sdk/events.js +0 -218
- package/build/agents/providers/claude-agent-sdk/registration.js +0 -225
- package/build/agents/providers/claude-agent-sdk/session-schema.js +0 -2
- package/build/agents/providers/claude-agent-sdk/session.js +0 -172
- package/build/agents/providers/codex-app-server/adapter.js +0 -387
- package/build/agents/providers/codex-app-server/events.js +0 -492
- package/build/agents/providers/codex-app-server/identity.js +0 -1
- package/build/agents/providers/codex-app-server/policy.js +0 -29
- package/build/agents/providers/codex-app-server/registration.js +0 -259
- package/build/agents/providers/codex-app-server/session-schema.js +0 -6
- package/build/agents/providers/codex-app-server/session.js +0 -273
- package/build/agents/providers/event-type-tail.js +0 -16
- package/build/agents/providers/opencode-sdk/adapter.js +0 -402
- package/build/agents/providers/opencode-sdk/events.js +0 -380
- package/build/agents/providers/opencode-sdk/registration.js +0 -146
- package/build/agents/providers/opencode-sdk/session-schema.js +0 -2
- package/build/agents/providers/opencode-sdk/session.js +0 -187
- package/build/agents/providers/pi/adapter.js +0 -285
- package/build/agents/providers/pi/checkpoint.js +0 -49
- package/build/agents/providers/pi/events.js +0 -285
- package/build/agents/providers/pi/registration.js +0 -160
- package/build/agents/providers/pi/session-schema.js +0 -6
- package/build/agents/providers/registration.js +0 -7
- package/build/agents/providers/registry.js +0 -76
- package/build/agents/selector.js +0 -120
- package/build/agents/session.js +0 -29
- package/build/agents/string-tail-buffer.js +0 -44
- package/build/agents/types.js +0 -30
- package/build/artifact-directories.js +0 -22
- package/build/cli/commands/akuma/akuma/handler.js +0 -5
- package/build/cli/commands/akuma/akuma/meta.js +0 -17
- package/build/cli/commands/akuma/catalog.js +0 -10
- package/build/cli/commands/akuma/list/handler.js +0 -15
- package/build/cli/commands/akuma/list/meta-list.js +0 -12
- package/build/cli/commands/akuma/list/meta-ls.js +0 -9
- package/build/cli/commands/akuma/show/handler.js +0 -27
- package/build/cli/commands/akuma/show/meta.js +0 -8
- package/build/cli/commands/akuma.js +0 -186
- package/build/cli/commands/contract/amend/handler.js +0 -17
- package/build/cli/commands/contract/amend/meta.js +0 -13
- package/build/cli/commands/contract/arc/handler.js +0 -16
- package/build/cli/commands/contract/arc/meta.js +0 -28
- package/build/cli/commands/contract/audit/handler.js +0 -42
- package/build/cli/commands/contract/audit/meta.js +0 -17
- package/build/cli/commands/contract/bind/handler.js +0 -39
- package/build/cli/commands/contract/bind/meta.js +0 -96
- package/build/cli/commands/contract/catalog.js +0 -18
- package/build/cli/commands/contract/forfeit/handler.js +0 -17
- package/build/cli/commands/contract/forfeit/meta.js +0 -12
- package/build/cli/commands/contract/log/handler.js +0 -12
- package/build/cli/commands/contract/log/meta.js +0 -12
- package/build/cli/commands/contract/petition/handler.js +0 -64
- package/build/cli/commands/contract/petition/meta.js +0 -23
- package/build/cli/commands/contract/renew/handler.js +0 -65
- package/build/cli/commands/contract/renew/meta.js +0 -19
- package/build/cli/commands/metadata.js +0 -68
- package/build/cli/commands/projection/call/handler.js +0 -43
- package/build/cli/commands/projection/call/meta.js +0 -12
- package/build/cli/commands/projection/catalog.js +0 -16
- package/build/cli/commands/projection/fork/handler.js +0 -61
- package/build/cli/commands/projection/fork/meta.js +0 -12
- package/build/cli/commands/projection/history/handler.js +0 -65
- package/build/cli/commands/projection/history/meta.js +0 -9
- package/build/cli/commands/projection/kill/handler.js +0 -20
- package/build/cli/commands/projection/kill/meta.js +0 -11
- package/build/cli/commands/projection/shared.js +0 -27
- package/build/cli/commands/projection/status/handler.js +0 -42
- package/build/cli/commands/projection/status/meta.js +0 -20
- package/build/cli/commands/projection/tell/handler.js +0 -32
- package/build/cli/commands/projection/tell/meta.js +0 -12
- package/build/cli/commands/projection/wait/handler.js +0 -80
- package/build/cli/commands/projection/wait/meta.js +0 -16
- package/build/cli/commands/registry.js +0 -48
- package/build/cli/commands/shared.js +0 -74
- package/build/cli/commands/skills/catalog.js +0 -6
- package/build/cli/commands/skills/install/handler.js +0 -7
- package/build/cli/commands/skills/install/meta.js +0 -9
- package/build/cli/commands/skills/skills/handler.js +0 -4
- package/build/cli/commands/skills/skills/meta.js +0 -10
- package/build/cli/commands/system/catalog.js +0 -10
- package/build/cli/commands/system/completion/handler.js +0 -10
- package/build/cli/commands/system/completion/meta.js +0 -9
- package/build/cli/commands/system/dump-env/handler.js +0 -3
- package/build/cli/commands/system/dump-env/meta.js +0 -10
- package/build/cli/commands/system/guide/handler.js +0 -4
- package/build/cli/commands/system/guide/meta.js +0 -9
- package/build/cli/commands/task/add/handler.js +0 -38
- package/build/cli/commands/task/add/meta.js +0 -31
- package/build/cli/commands/task/catalog.js +0 -32
- package/build/cli/commands/task/compose/handler.js +0 -18
- package/build/cli/commands/task/compose/meta.js +0 -10
- package/build/cli/commands/task/doctor/handler.js +0 -3
- package/build/cli/commands/task/doctor/meta.js +0 -8
- package/build/cli/commands/task/done/handler.js +0 -10
- package/build/cli/commands/task/done/meta.js +0 -8
- package/build/cli/commands/task/drop/handler.js +0 -8
- package/build/cli/commands/task/drop/meta.js +0 -11
- package/build/cli/commands/task/hold/handler.js +0 -3
- package/build/cli/commands/task/hold/meta.js +0 -8
- package/build/cli/commands/task/log/handler.js +0 -12
- package/build/cli/commands/task/log/meta.js +0 -8
- package/build/cli/commands/task/ls/handler.js +0 -17
- package/build/cli/commands/task/ls/meta.js +0 -8
- package/build/cli/commands/task/note/handler.js +0 -6
- package/build/cli/commands/task/note/meta.js +0 -11
- package/build/cli/commands/task/resume/handler.js +0 -3
- package/build/cli/commands/task/resume/meta.js +0 -8
- package/build/cli/commands/task/shared.js +0 -181
- package/build/cli/commands/task/show/handler.js +0 -13
- package/build/cli/commands/task/show/meta.js +0 -8
- package/build/cli/commands/task/start/handler.js +0 -3
- package/build/cli/commands/task/start/meta.js +0 -8
- package/build/cli/commands/task/stop/handler.js +0 -10
- package/build/cli/commands/task/stop/meta.js +0 -8
- package/build/cli/commands/task/task/handler.js +0 -5
- package/build/cli/commands/task/task/meta.js +0 -11
- package/build/cli/commands/task/update/handler.js +0 -21
- package/build/cli/commands/task/update/meta.js +0 -12
- package/build/cli/commands/verification/handler.js +0 -43
- package/build/cli/commands/verification/meta.js +0 -13
- package/build/cli/completion.js +0 -91
- package/build/cli/draft-artifact.js +0 -50
- package/build/cli/flags.js +0 -321
- package/build/cli/help.js +0 -99
- package/build/cli/index.js +0 -333
- package/build/cli/missing-subcommand.js +0 -7
- package/build/cli/output-stream-error-policy.js +0 -31
- package/build/cli/parse-flags.js +0 -301
- package/build/cli/parse-metadata.js +0 -132
- package/build/cli/parse-selectors.js +0 -83
- package/build/cli/parse.js +0 -250
- package/build/cli/projection-address.js +0 -105
- package/build/cli/render/address.js +0 -101
- package/build/cli/render/amendment-warning.js +0 -8
- package/build/cli/render/arc.js +0 -88
- package/build/cli/render/audit.js +0 -440
- package/build/cli/render/call.js +0 -70
- package/build/cli/render/compact-text.js +0 -3
- package/build/cli/render/errors.js +0 -101
- package/build/cli/render/format.js +0 -226
- package/build/cli/render/kanshi.js +0 -300
- package/build/cli/render/kill.js +0 -9
- package/build/cli/render/lifecycle.js +0 -56
- package/build/cli/render/line-width.js +0 -103
- package/build/cli/render/misc.js +0 -84
- package/build/cli/render/path-prefix-compaction.js +0 -131
- package/build/cli/render/petition.js +0 -85
- package/build/cli/render/projection-activity.js +0 -332
- package/build/cli/render/projection-history.js +0 -77
- package/build/cli/render/response-style.js +0 -27
- package/build/cli/render/shared.js +0 -232
- package/build/cli/render/skills.js +0 -10
- package/build/cli/render/status-indicator.js +0 -47
- package/build/cli/render/status.js +0 -243
- package/build/cli/render/success-response.js +0 -95
- package/build/cli/render/task.js +0 -175
- package/build/cli/render/tell.js +0 -11
- package/build/cli/render/terminal-failure.js +0 -65
- package/build/cli/render/tool-command-normalization.js +0 -137
- package/build/cli/render/tool-ledger-rollup.js +0 -74
- package/build/cli/render/tool-presentation.js +0 -98
- package/build/cli/render/types.js +0 -2
- package/build/cli/render/verification.js +0 -23
- package/build/cli/render/wait.js +0 -343
- package/build/cli/skills-install.js +0 -348
- package/build/cli/subagent-guard.js +0 -25
- package/build/cli/types.js +0 -2
- package/build/config/akuma-loader.js +0 -240
- package/build/config/env-keys.js +0 -57
- package/build/config/env.js +0 -304
- package/build/config/provider-policy-ownership.js +0 -10
- package/build/config/settings/disease.js +0 -33
- package/build/config/settings/knobs.js +0 -14
- package/build/config/settings/loader.js +0 -275
- package/build/config/settings/provider-instance-fields.js +0 -51
- package/build/config/settings/schema.js +0 -113
- package/build/core/address-carrier.js +0 -89
- package/build/core/addressing.js +0 -407
- package/build/core/amend.js +0 -321
- package/build/core/amendment-criteria.js +0 -17
- package/build/core/amendment-warning.js +0 -10
- package/build/core/arc.js +0 -293
- package/build/core/atomic-publish.js +0 -64
- package/build/core/audit/candidate.js +0 -141
- package/build/core/audit/coordinates.js +0 -230
- package/build/core/audit/evidence.js +0 -156
- package/build/core/audit/facade.js +0 -65
- package/build/core/audit/readiness.js +0 -4
- package/build/core/audit/report.js +0 -38
- package/build/core/audit.js +0 -1
- package/build/core/bind-reconciliation.js +0 -409
- package/build/core/bind-workspace.js +0 -115
- package/build/core/bind.js +0 -503
- package/build/core/call/call.js +0 -235
- package/build/core/call/context.js +0 -210
- package/build/core/call/execution.js +0 -255
- package/build/core/call/prompt.js +0 -27
- package/build/core/call/reference.js +0 -24
- package/build/core/call-persist.js +0 -76
- package/build/core/command-markdown.js +0 -45
- package/build/core/context.js +0 -104
- package/build/core/contract-carrier-runtime.js +0 -512
- package/build/core/contract-carrier.js +0 -353
- package/build/core/contract-view.js +0 -319
- package/build/core/contract.js +0 -19
- package/build/core/derived-replay.js +0 -340
- package/build/core/draft.js +0 -400
- package/build/core/execution-coordinate.js +0 -46
- package/build/core/execution-pact.js +0 -126
- package/build/core/forfeit.js +0 -132
- package/build/core/hints.js +0 -34
- package/build/core/identifier-slug.js +0 -116
- package/build/core/ids.js +0 -90
- package/build/core/lifecycle-history.js +0 -48
- package/build/core/lifecycle-recovery.js +0 -122
- package/build/core/lifecycle-runner.js +0 -377
- package/build/core/log.js +0 -50
- package/build/core/markdown/lex.js +0 -274
- package/build/core/markdown/parser.js +0 -260
- package/build/core/markdown/render.js +0 -68
- package/build/core/markdown/sections.js +0 -80
- package/build/core/markdown/titles.js +0 -9
- package/build/core/markdown/types.js +0 -6
- package/build/core/outcome-base.js +0 -185
- package/build/core/places.js +0 -175
- package/build/core/projection/akuma-name.js +0 -43
- package/build/core/projection/generation/database.js +0 -473
- package/build/core/projection/generation/identity.js +0 -84
- package/build/core/projection/generation/ledger.js +0 -91
- package/build/core/projection/generation/model.js +0 -261
- package/build/core/projection/generation/projection-generation-continuation.js +0 -84
- package/build/core/projection/generation/projection-generation-doorbell.js +0 -88
- package/build/core/projection/generation/projection-generation-execution.js +0 -241
- package/build/core/projection/generation/projection-generation-identity.js +0 -21
- package/build/core/projection/generation/projection-generation-launcher.js +0 -154
- package/build/core/projection/generation/projection-generation-process.js +0 -47
- package/build/core/projection/generation/projection-generation-runner.js +0 -489
- package/build/core/projection/generation/projection-generation-runtime.js +0 -46
- package/build/core/projection/generation/protocol.js +0 -68
- package/build/core/projection/generation/store.js +0 -108
- package/build/core/projection/generation/transitions.js +0 -463
- package/build/core/projection/heart.js +0 -9
- package/build/core/projection/index.js +0 -28
- package/build/core/projection/projection-activity.js +0 -273
- package/build/core/projection/projection-alias.js +0 -131
- package/build/core/projection/projection-coordinate.js +0 -61
- package/build/core/projection/projection-core.js +0 -127
- package/build/core/projection/projection-execution-observer.js +0 -270
- package/build/core/projection/projection-history.js +0 -474
- package/build/core/projection/projection-identity.js +0 -11
- package/build/core/projection/projection-kill.js +0 -112
- package/build/core/projection/projection-life-observer.js +0 -101
- package/build/core/projection/projection-mint.js +0 -170
- package/build/core/projection/projection-status-observation.js +0 -434
- package/build/core/projection/projection-status.js +0 -442
- package/build/core/projection/projection-terminal-failure.js +0 -111
- package/build/core/projection/projection-wait.js +0 -337
- package/build/core/projection/projection-wake.js +0 -298
- package/build/core/projection/tell/launch-store.js +0 -244
- package/build/core/projection/tell/model.js +0 -98
- package/build/core/projection/tell/store.js +0 -245
- package/build/core/provider-loader-ports.js +0 -4
- package/build/core/registry.js +0 -100
- package/build/core/renew-build.js +0 -554
- package/build/core/renew-plan.js +0 -264
- package/build/core/renew-rewrite.js +0 -118
- package/build/core/renew.js +0 -345
- package/build/core/repository-ledger/accepted-fold-read.js +0 -22
- package/build/core/repository-ledger/accepted-tail.js +0 -116
- package/build/core/repository-ledger/admission.js +0 -38
- package/build/core/repository-ledger/authoritative-transaction.js +0 -1
- package/build/core/repository-ledger/claim-evidence.js +0 -147
- package/build/core/repository-ledger/codec.js +0 -303
- package/build/core/repository-ledger/current-state-store.js +0 -968
- package/build/core/repository-ledger/fold-repository.js +0 -374
- package/build/core/repository-ledger/fold.js +0 -248
- package/build/core/repository-ledger/git-object-store.js +0 -243
- package/build/core/repository-ledger/history-read.js +0 -15
- package/build/core/repository-ledger/identity.js +0 -60
- package/build/core/repository-ledger/incremental-read.js +0 -153
- package/build/core/repository-ledger/index.js +0 -15
- package/build/core/repository-ledger/inventory-plan.js +0 -75
- package/build/core/repository-ledger/inventory.js +0 -310
- package/build/core/repository-ledger/publication-admission.js +0 -125
- package/build/core/repository-ledger/publication.js +0 -353
- package/build/core/repository-ledger/read-model.js +0 -517
- package/build/core/repository-ledger/transaction-membership.js +0 -78
- package/build/core/repository-ledger/traversal.js +0 -404
- package/build/core/repository-ledger/write-transaction.js +0 -346
- package/build/core/response-artifact-catalog-sqlite.js +0 -112
- package/build/core/response-artifact-catalog.js +0 -7
- package/build/core/response-artifact-id.js +0 -5
- package/build/core/run-control/connection-bound-close.js +0 -41
- package/build/core/run-control/detached-lease-bootstrap.js +0 -208
- package/build/core/run-control/detached-process.js +0 -14
- package/build/core/run-control/index.js +0 -6
- package/build/core/run-control/process-tree.js +0 -139
- package/build/core/run-control/runner-lease.js +0 -172
- package/build/core/run-control/sqlite-process-lifetime-lock.js +0 -174
- package/build/core/scope.js +0 -416
- package/build/core/seal.js +0 -364
- package/build/core/settlement/claim-delivery.js +0 -82
- package/build/core/settlement/claim.js +0 -258
- package/build/core/settlement/index.js +0 -19
- package/build/core/settlement/petition-claim-gates.js +0 -247
- package/build/core/settlement/petition-forfeit.js +0 -46
- package/build/core/settlement/petition-head-guard.js +0 -12
- package/build/core/settlement/petition-io.js +0 -1
- package/build/core/settlement/petition-preview.js +0 -125
- package/build/core/settlement/petition-window.js +0 -50
- package/build/core/settlement/petition.js +0 -315
- package/build/core/settlement/queue-read-model.js +0 -120
- package/build/core/settlement/queue-seat-allocation.js +0 -65
- package/build/core/settlement/queue.js +0 -6
- package/build/core/settlement/settlement.js +0 -385
- package/build/core/settlement/verdict.js +0 -126
- package/build/core/settlement/verification.js +0 -554
- package/build/core/status/board.js +0 -455
- package/build/core/status/drift.js +0 -113
- package/build/core/status/lifecycle.js +0 -11
- package/build/core/stored-agent-event.js +0 -129
- package/build/core/structured-query.js +0 -23
- package/build/core/target-ref.js +0 -10
- package/build/core/task/board.js +0 -248
- package/build/core/task/commands.js +0 -401
- package/build/core/task/compose.js +0 -328
- package/build/core/task/coordinate.js +0 -56
- package/build/core/task/document.js +0 -273
- package/build/core/task/index.js +0 -16
- package/build/core/task/model.js +0 -8
- package/build/core/task/query.js +0 -204
- package/build/core/task/settlement-git.js +0 -423
- package/build/core/task/settlement-policy.js +0 -137
- package/build/core/task/source-board.js +0 -104
- package/build/core/task/source-model.js +0 -1
- package/build/core/task/task-bind-preparation.js +0 -243
- package/build/core/task/task-contract.js +0 -371
- package/build/core/task/task-doctor.js +0 -14
- package/build/core/task/task-file-transaction.js +0 -171
- package/build/core/task/task-git-actor.js +0 -33
- package/build/core/task/task-git-runtime.js +0 -97
- package/build/core/task/task-git-store.js +0 -400
- package/build/core/task/task-repository.js +0 -1
- package/build/core/task/task-store-repository.js +0 -97
- package/build/core/task/task-store.js +0 -1
- package/build/core/task/task-worktree.js +0 -25
- package/build/core/task/task.js +0 -7
- package/build/core/task/tree.js +0 -37
- package/build/core/task/validation.js +0 -48
- package/build/core/transcripts.js +0 -485
- package/build/core/validation.js +0 -17
- package/build/core/verification-declaration.js +0 -95
- package/build/core/worktree-bootstrap.js +0 -195
- package/build/core/worktree-path.js +0 -371
- package/build/errno.js +0 -3
- package/build/flow-error.js +0 -191
- package/build/fs/durability.js +0 -27
- package/build/fs/path-coordinate.js +0 -16
- package/build/generated/version.js +0 -3
- package/build/git/branches.js +0 -84
- package/build/git/commits.js +0 -151
- package/build/git/core.js +0 -86
- package/build/git/diff/parsers.js +0 -181
- package/build/git/diff/pathspec.js +0 -3
- package/build/git/diff/preview.js +0 -38
- package/build/git/diff/read.js +0 -105
- package/build/git/diff/structured.js +0 -127
- package/build/git/diff/types.js +0 -1
- package/build/git/path-coordinate.js +0 -17
- package/build/git/process.js +0 -229
- package/build/git/refs.js +0 -250
- package/build/git/staging.js +0 -79
- package/build/git/streaming-batch.js +0 -354
- package/build/git/worktree.js +0 -175
- package/build/index.js +0 -67
- package/build/keiyaku-constants.js +0 -2
- package/build/keiyaku.js +0 -30
- package/build/telemetry/debug-log.js +0 -40
- package/build/telemetry/logger.js +0 -48
- package/skills/keiyaku/SKILL.md +0 -46
- package/skills/keiyaku-akuma/SKILL.md +0 -97
- package/skills/keiyaku-task/SKILL.md +0 -118
- package/skills/keiyaku-workflow/SKILL.md +0 -191
- /package/build/{agents/launch-snapshot → src/body}/types.js +0 -0
- /package/build/{agents/providers/claude-agent-sdk/terms.js → src/cli/result.js} +0 -0
- /package/build/{agents/providers/codex-app-server/terms.js → src/core/decide.js} +0 -0
- /package/build/{agents/providers/opencode-sdk/terms.js → src/core/facts/offer.js} +0 -0
- /package/build/{agents/providers/pi/terms.js → src/kanshi/report.js} +0 -0
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
import { randomBytes } from "node:crypto";
|
|
2
|
+
import { closeSync, fsyncSync, lstatSync, mkdirSync, openSync, readFileSync, renameSync, unlinkSync, writeFileSync, } from "node:fs";
|
|
3
|
+
import { dirname, resolve } from "node:path";
|
|
4
|
+
export function replaceFileDurably(path, bytes) {
|
|
5
|
+
const parent = dirname(path);
|
|
6
|
+
for (;;) {
|
|
7
|
+
const temporary = resolve(parent, `.tmp-${randomBytes(8).toString("hex")}`);
|
|
8
|
+
let descriptor;
|
|
9
|
+
try {
|
|
10
|
+
descriptor = openSync(temporary, "wx", 0o600);
|
|
11
|
+
writeFileSync(descriptor, bytes);
|
|
12
|
+
fsyncSync(descriptor);
|
|
13
|
+
closeSync(descriptor);
|
|
14
|
+
descriptor = undefined;
|
|
15
|
+
renameSync(temporary, path);
|
|
16
|
+
const directory = openSync(parent, "r");
|
|
17
|
+
try {
|
|
18
|
+
fsyncSync(directory);
|
|
19
|
+
}
|
|
20
|
+
finally {
|
|
21
|
+
closeSync(directory);
|
|
22
|
+
}
|
|
23
|
+
return;
|
|
24
|
+
}
|
|
25
|
+
catch (error) {
|
|
26
|
+
if (descriptor !== undefined)
|
|
27
|
+
closeSync(descriptor);
|
|
28
|
+
try {
|
|
29
|
+
unlinkSync(temporary);
|
|
30
|
+
}
|
|
31
|
+
catch { /* renamed, absent, or best-effort cleanup */ }
|
|
32
|
+
if (error.code !== "EEXIST")
|
|
33
|
+
throw error;
|
|
34
|
+
}
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
export function createFileDurablyExclusive(path, bytes, mode = 0o600) {
|
|
38
|
+
const parent = dirname(path);
|
|
39
|
+
mkdirSync(parent, { recursive: true });
|
|
40
|
+
let descriptor;
|
|
41
|
+
try {
|
|
42
|
+
descriptor = openSync(path, "wx", mode);
|
|
43
|
+
writeFileSync(descriptor, bytes);
|
|
44
|
+
fsyncSync(descriptor);
|
|
45
|
+
closeSync(descriptor);
|
|
46
|
+
descriptor = undefined;
|
|
47
|
+
const directory = openSync(parent, "r");
|
|
48
|
+
try {
|
|
49
|
+
fsyncSync(directory);
|
|
50
|
+
}
|
|
51
|
+
finally {
|
|
52
|
+
closeSync(directory);
|
|
53
|
+
}
|
|
54
|
+
return true;
|
|
55
|
+
}
|
|
56
|
+
catch (error) {
|
|
57
|
+
if (descriptor !== undefined)
|
|
58
|
+
closeSync(descriptor);
|
|
59
|
+
if (error.code === "EEXIST")
|
|
60
|
+
return false;
|
|
61
|
+
try {
|
|
62
|
+
unlinkSync(path);
|
|
63
|
+
}
|
|
64
|
+
catch { /* absent or best-effort cleanup */ }
|
|
65
|
+
throw error;
|
|
66
|
+
}
|
|
67
|
+
}
|
|
68
|
+
export function repairDerivedFile(path, bytes) {
|
|
69
|
+
const expected = Buffer.from(bytes);
|
|
70
|
+
mkdirSync(dirname(path), { recursive: true });
|
|
71
|
+
const stat = lstatSync(path, { throwIfNoEntry: false });
|
|
72
|
+
if (stat !== undefined && (!stat.isFile() || stat.isSymbolicLink())) {
|
|
73
|
+
throw new Error(`derived file is not a regular file: ${path}`);
|
|
74
|
+
}
|
|
75
|
+
if (stat !== undefined && readFileSync(path).equals(expected))
|
|
76
|
+
return "unchanged";
|
|
77
|
+
replaceFileDurably(path, expected);
|
|
78
|
+
return stat === undefined ? "created" : "updated";
|
|
79
|
+
}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
export type SqliteTransactionLockMode = "immediate" | "exclusive";
|
|
2
|
+
export declare class SqliteTransactionLockError extends Error {
|
|
3
|
+
readonly reason: "timeout" | "invalid" | "open-failed" | "release-failed";
|
|
4
|
+
constructor(message: string, reason: "timeout" | "invalid" | "open-failed" | "release-failed", options?: ErrorOptions);
|
|
5
|
+
}
|
|
6
|
+
export type HeldSqliteTransactionLock = Readonly<{
|
|
7
|
+
close(): void;
|
|
8
|
+
}>;
|
|
9
|
+
export declare function acquireSqliteTransactionLock(input: {
|
|
10
|
+
path: string;
|
|
11
|
+
mode: SqliteTransactionLockMode;
|
|
12
|
+
timeoutMs?: number;
|
|
13
|
+
signal?: AbortSignal;
|
|
14
|
+
}): Promise<HeldSqliteTransactionLock>;
|
|
@@ -0,0 +1,119 @@
|
|
|
1
|
+
import { randomInt } from "node:crypto";
|
|
2
|
+
import { lstatSync, mkdirSync } from "node:fs";
|
|
3
|
+
import { dirname } from "node:path";
|
|
4
|
+
import { DatabaseSync } from "node:sqlite";
|
|
5
|
+
const SQLITE_BUSY = 5;
|
|
6
|
+
const INITIAL_RETRY_MS = 10;
|
|
7
|
+
const MAX_RETRY_MS = 100;
|
|
8
|
+
export class SqliteTransactionLockError extends Error {
|
|
9
|
+
reason;
|
|
10
|
+
constructor(message, reason, options) {
|
|
11
|
+
super(message, options);
|
|
12
|
+
this.reason = reason;
|
|
13
|
+
this.name = "SqliteTransactionLockError";
|
|
14
|
+
}
|
|
15
|
+
}
|
|
16
|
+
function detail(error) {
|
|
17
|
+
return error instanceof Error ? error.message : String(error);
|
|
18
|
+
}
|
|
19
|
+
function isBusy(error) {
|
|
20
|
+
if (typeof error !== "object" || error === null)
|
|
21
|
+
return false;
|
|
22
|
+
const value = error;
|
|
23
|
+
const message = String(value.message ?? "").toLowerCase();
|
|
24
|
+
return value.errcode === SQLITE_BUSY || value.code === "ERR_SQLITE_BUSY"
|
|
25
|
+
|| value.code === "ERR_SQLITE_LOCKED" || message.includes("database is locked")
|
|
26
|
+
|| message.includes("database is busy");
|
|
27
|
+
}
|
|
28
|
+
function closeDatabase(database) {
|
|
29
|
+
let failure;
|
|
30
|
+
try {
|
|
31
|
+
database.exec("ROLLBACK");
|
|
32
|
+
}
|
|
33
|
+
catch (error) {
|
|
34
|
+
failure = error;
|
|
35
|
+
}
|
|
36
|
+
try {
|
|
37
|
+
database.close();
|
|
38
|
+
}
|
|
39
|
+
catch (error) {
|
|
40
|
+
failure ??= error;
|
|
41
|
+
}
|
|
42
|
+
return failure;
|
|
43
|
+
}
|
|
44
|
+
function openLock(path, mode) {
|
|
45
|
+
try {
|
|
46
|
+
const stat = lstatSync(path, { throwIfNoEntry: false });
|
|
47
|
+
if (stat && (!stat.isFile() || stat.isSymbolicLink())) {
|
|
48
|
+
throw new SqliteTransactionLockError(`SQLite lock is not a regular file: ${path}`, "invalid");
|
|
49
|
+
}
|
|
50
|
+
mkdirSync(dirname(path), { recursive: true });
|
|
51
|
+
}
|
|
52
|
+
catch (error) {
|
|
53
|
+
if (error instanceof SqliteTransactionLockError)
|
|
54
|
+
throw error;
|
|
55
|
+
throw new SqliteTransactionLockError(`cannot prepare SQLite lock: ${detail(error)}`, "open-failed", { cause: error });
|
|
56
|
+
}
|
|
57
|
+
let database;
|
|
58
|
+
try {
|
|
59
|
+
database = new DatabaseSync(path);
|
|
60
|
+
database.exec("PRAGMA busy_timeout=0");
|
|
61
|
+
database.exec("PRAGMA journal_mode=DELETE");
|
|
62
|
+
database.exec("CREATE TABLE IF NOT EXISTS lock_anchor (singleton INTEGER PRIMARY KEY CHECK (singleton = 1))");
|
|
63
|
+
database.exec(`BEGIN ${mode.toUpperCase()}`);
|
|
64
|
+
database.prepare("SELECT singleton FROM lock_anchor LIMIT 1").get();
|
|
65
|
+
}
|
|
66
|
+
catch (error) {
|
|
67
|
+
if (database)
|
|
68
|
+
closeDatabase(database);
|
|
69
|
+
if (isBusy(error))
|
|
70
|
+
throw error;
|
|
71
|
+
throw new SqliteTransactionLockError(`cannot acquire SQLite lock: ${detail(error)}`, "open-failed", { cause: error });
|
|
72
|
+
}
|
|
73
|
+
let closed = false;
|
|
74
|
+
return { close() {
|
|
75
|
+
if (closed)
|
|
76
|
+
return;
|
|
77
|
+
closed = true;
|
|
78
|
+
const failure = closeDatabase(database);
|
|
79
|
+
if (failure !== undefined) {
|
|
80
|
+
throw new SqliteTransactionLockError(`cannot release SQLite lock: ${detail(failure)}`, "release-failed", { cause: failure });
|
|
81
|
+
}
|
|
82
|
+
} };
|
|
83
|
+
}
|
|
84
|
+
function wait(milliseconds, signal) {
|
|
85
|
+
return new Promise((resolve, reject) => {
|
|
86
|
+
const finish = () => { signal?.removeEventListener("abort", abort); resolve(); };
|
|
87
|
+
const timer = setTimeout(finish, milliseconds);
|
|
88
|
+
const abort = () => { clearTimeout(timer); signal?.removeEventListener("abort", abort); reject(signal?.reason); };
|
|
89
|
+
signal?.addEventListener("abort", abort, { once: true });
|
|
90
|
+
if (signal?.aborted)
|
|
91
|
+
abort();
|
|
92
|
+
});
|
|
93
|
+
}
|
|
94
|
+
export async function acquireSqliteTransactionLock(input) {
|
|
95
|
+
if (input.path.length === 0 || (input.timeoutMs !== undefined
|
|
96
|
+
&& (!Number.isSafeInteger(input.timeoutMs) || input.timeoutMs < 0))) {
|
|
97
|
+
throw new SqliteTransactionLockError("SQLite lock path and timeout must be valid", "invalid");
|
|
98
|
+
}
|
|
99
|
+
const started = performance.now();
|
|
100
|
+
let cap = INITIAL_RETRY_MS;
|
|
101
|
+
for (;;) {
|
|
102
|
+
input.signal?.throwIfAborted();
|
|
103
|
+
try {
|
|
104
|
+
return openLock(input.path, input.mode);
|
|
105
|
+
}
|
|
106
|
+
catch (error) {
|
|
107
|
+
if (!isBusy(error))
|
|
108
|
+
throw error;
|
|
109
|
+
const elapsed = performance.now() - started;
|
|
110
|
+
if (input.timeoutMs !== undefined && elapsed >= input.timeoutMs) {
|
|
111
|
+
throw new SqliteTransactionLockError(`SQLite lock timed out after ${input.timeoutMs}ms: ${input.path}`, "timeout", { cause: error });
|
|
112
|
+
}
|
|
113
|
+
const delay = randomInt(Math.ceil(cap / 2), cap + 1);
|
|
114
|
+
const remaining = input.timeoutMs === undefined ? delay : Math.min(delay, input.timeoutMs - elapsed);
|
|
115
|
+
await wait(Math.max(0, remaining), input.signal);
|
|
116
|
+
cap = Math.min(MAX_RETRY_MS, cap * 2);
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
import type { Offer } from "./facts/offer.js";
|
|
2
|
+
import type { ContractsObservation } from "./facts/observation.js";
|
|
3
|
+
import type { DocumentKey, EntryUlid } from "./facts/types.js";
|
|
4
|
+
export type AttemptContext = Readonly<{
|
|
5
|
+
entryUlids: readonly EntryUlid[];
|
|
6
|
+
}>;
|
|
7
|
+
export type DecideInput<Input> = Readonly<{
|
|
8
|
+
input: Input;
|
|
9
|
+
attempt: AttemptContext;
|
|
10
|
+
observation: ContractsObservation;
|
|
11
|
+
}>;
|
|
12
|
+
/** The protocol's mechanical or declaration result supplied to a legal decision. */
|
|
13
|
+
export type Preparation<Data, Refusal> = Readonly<{
|
|
14
|
+
kind: "prepared";
|
|
15
|
+
data: Data;
|
|
16
|
+
refusal?: never;
|
|
17
|
+
} | {
|
|
18
|
+
kind: "refused";
|
|
19
|
+
refusal: Refusal;
|
|
20
|
+
data?: never;
|
|
21
|
+
}>;
|
|
22
|
+
/** A document-derived preparation whose stamp is unavailable only with contract absence. */
|
|
23
|
+
export type StampedPreparation<Data, Refusal> = Readonly<{
|
|
24
|
+
kind: "unavailable";
|
|
25
|
+
document?: never;
|
|
26
|
+
data?: never;
|
|
27
|
+
refusal?: never;
|
|
28
|
+
} | {
|
|
29
|
+
kind: "prepared";
|
|
30
|
+
document: DocumentKey;
|
|
31
|
+
data: Data;
|
|
32
|
+
refusal?: never;
|
|
33
|
+
} | {
|
|
34
|
+
kind: "refused";
|
|
35
|
+
document: DocumentKey;
|
|
36
|
+
refusal: Refusal;
|
|
37
|
+
data?: never;
|
|
38
|
+
}>;
|
|
39
|
+
export type OfferDecision<Refusal> = Readonly<{
|
|
40
|
+
kind: "offer";
|
|
41
|
+
offer: Offer;
|
|
42
|
+
}> | Readonly<{
|
|
43
|
+
kind: "refused";
|
|
44
|
+
refusal: Refusal;
|
|
45
|
+
}>;
|
|
@@ -0,0 +1,277 @@
|
|
|
1
|
+
import { parseDependencyKeySet } from "../subject.js";
|
|
2
|
+
import { AuthorityCorruptionError } from "./errors.js";
|
|
3
|
+
import { changeId, actorId, contractId, documentKey, documentSegmentKey, entryUlid, gate, snapshotId, } from "./types.js";
|
|
4
|
+
const VERSION_BY_KIND = {
|
|
5
|
+
bind: 1,
|
|
6
|
+
amend: 1,
|
|
7
|
+
bound: 1,
|
|
8
|
+
deliver: 1,
|
|
9
|
+
attestation: 1,
|
|
10
|
+
claimed: 1,
|
|
11
|
+
arc: 1,
|
|
12
|
+
abandoned: 1,
|
|
13
|
+
};
|
|
14
|
+
function isRecord(value) {
|
|
15
|
+
return typeof value === "object" && value !== null && !Array.isArray(value);
|
|
16
|
+
}
|
|
17
|
+
function fail(path, message) {
|
|
18
|
+
throw new AuthorityCorruptionError(`${path}: ${message}`);
|
|
19
|
+
}
|
|
20
|
+
function requireRecord(value, path) {
|
|
21
|
+
if (!isRecord(value))
|
|
22
|
+
fail(path, "expected an object");
|
|
23
|
+
return value;
|
|
24
|
+
}
|
|
25
|
+
function requireKeys(value, required, path, optional = []) {
|
|
26
|
+
const expected = new Set([...required, ...optional]);
|
|
27
|
+
for (const key of Object.keys(value)) {
|
|
28
|
+
if (!expected.has(key))
|
|
29
|
+
fail(path, `unknown field '${key}'`);
|
|
30
|
+
}
|
|
31
|
+
for (const key of required) {
|
|
32
|
+
if (!(key in value))
|
|
33
|
+
fail(path, `missing field '${key}'`);
|
|
34
|
+
}
|
|
35
|
+
}
|
|
36
|
+
function stringValue(value, path, nonblank = true) {
|
|
37
|
+
if (typeof value !== "string" || (nonblank && value.trim().length === 0)) {
|
|
38
|
+
fail(path, nonblank ? "expected a nonblank string" : "expected a string");
|
|
39
|
+
}
|
|
40
|
+
return value;
|
|
41
|
+
}
|
|
42
|
+
function booleanValue(value, path) {
|
|
43
|
+
if (typeof value !== "boolean")
|
|
44
|
+
fail(path, "expected a boolean");
|
|
45
|
+
return value;
|
|
46
|
+
}
|
|
47
|
+
function brandedValue(value, path, brand) {
|
|
48
|
+
const text = stringValue(value, path);
|
|
49
|
+
try {
|
|
50
|
+
return brand(text);
|
|
51
|
+
}
|
|
52
|
+
catch (error) {
|
|
53
|
+
fail(path, error instanceof Error ? error.message : "invalid branded value");
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
function dependencyKeySetValue(value, path) {
|
|
57
|
+
if (typeof value !== "string")
|
|
58
|
+
fail(path, "expected a canonical dependency key set");
|
|
59
|
+
try {
|
|
60
|
+
return parseDependencyKeySet(value);
|
|
61
|
+
}
|
|
62
|
+
catch (error) {
|
|
63
|
+
fail(path, error instanceof Error ? error.message : "invalid dependency key set");
|
|
64
|
+
}
|
|
65
|
+
}
|
|
66
|
+
function documentValue(value, path) {
|
|
67
|
+
const object = requireRecord(value, path);
|
|
68
|
+
requireKeys(object, ["bytes", "key"], path);
|
|
69
|
+
return {
|
|
70
|
+
bytes: stringValue(object.bytes, `${path}.bytes`),
|
|
71
|
+
key: brandedValue(object.key, `${path}.key`, documentKey),
|
|
72
|
+
};
|
|
73
|
+
}
|
|
74
|
+
function arrayValue(value, path) {
|
|
75
|
+
if (!Array.isArray(value))
|
|
76
|
+
fail(path, "expected an array");
|
|
77
|
+
return value;
|
|
78
|
+
}
|
|
79
|
+
function brandedArray(value, path, brand) {
|
|
80
|
+
return arrayValue(value, path).map((item, index) => brandedValue(item, `${path}[${index}]`, brand));
|
|
81
|
+
}
|
|
82
|
+
function validateTimestamp(value, path) {
|
|
83
|
+
const text = stringValue(value, path);
|
|
84
|
+
if (!/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d{3})?Z$/.test(text)) {
|
|
85
|
+
fail(path, "expected a UTC RFC-3339 timestamp");
|
|
86
|
+
}
|
|
87
|
+
const milliseconds = Date.parse(text);
|
|
88
|
+
const canonical = Number.isFinite(milliseconds) ? new Date(milliseconds).toISOString() : "";
|
|
89
|
+
if (!Number.isFinite(milliseconds) || (text.includes(".") ? canonical !== text : canonical.replace(".000Z", "Z") !== text)) {
|
|
90
|
+
fail(path, "expected a real canonical UTC timestamp");
|
|
91
|
+
}
|
|
92
|
+
return text;
|
|
93
|
+
}
|
|
94
|
+
function validateCoordinates(value, path) {
|
|
95
|
+
const object = requireRecord(value, path);
|
|
96
|
+
requireKeys(object, ["start", "workspace"], path, ["target"]);
|
|
97
|
+
const workspace = stringValue(object.workspace, `${path}.workspace`);
|
|
98
|
+
if (workspace !== "worktree" && workspace !== "here")
|
|
99
|
+
fail(`${path}.workspace`, "unknown workspace");
|
|
100
|
+
return {
|
|
101
|
+
start: brandedValue(object.start, `${path}.start`, snapshotId),
|
|
102
|
+
workspace,
|
|
103
|
+
...(object.target === undefined ? {} : { target: stringValue(object.target, `${path}.target`) }),
|
|
104
|
+
};
|
|
105
|
+
}
|
|
106
|
+
function termsValue(value, path) {
|
|
107
|
+
const object = requireRecord(value, path);
|
|
108
|
+
requireKeys(object, ["document", "segments", "gates", "after"], path);
|
|
109
|
+
return {
|
|
110
|
+
document: documentValue(object.document, `${path}.document`),
|
|
111
|
+
segments: brandedArray(object.segments, `${path}.segments`, documentSegmentKey),
|
|
112
|
+
gates: brandedArray(object.gates, `${path}.gates`, gate),
|
|
113
|
+
after: brandedArray(object.after, `${path}.after`, contractId),
|
|
114
|
+
};
|
|
115
|
+
}
|
|
116
|
+
function validateAttestation(value, path) {
|
|
117
|
+
const object = requireRecord(value, path);
|
|
118
|
+
requireKeys(object, ["gate", "subject", "verdict"], path, ["summary"]);
|
|
119
|
+
const declaredGate = brandedValue(object.gate, `${path}.gate`, gate);
|
|
120
|
+
const verdict = stringValue(object.verdict, `${path}.verdict`);
|
|
121
|
+
if (verdict !== "satisfied" && verdict !== "unsatisfied")
|
|
122
|
+
fail(`${path}.verdict`, "unknown attestation verdict");
|
|
123
|
+
return {
|
|
124
|
+
gate: declaredGate,
|
|
125
|
+
subject: dependencyKeySetValue(object.subject, `${path}.subject`),
|
|
126
|
+
verdict,
|
|
127
|
+
...(object.summary === undefined ? {} : { summary: stringValue(object.summary, `${path}.summary`) }),
|
|
128
|
+
};
|
|
129
|
+
}
|
|
130
|
+
function validateArc(value, path) {
|
|
131
|
+
const object = requireRecord(value, path);
|
|
132
|
+
requireKeys(object, ["seq", "title", "objective", "brief"], path);
|
|
133
|
+
const seq = object.seq;
|
|
134
|
+
if (typeof seq !== "number" || !Number.isSafeInteger(seq) || seq < 1) {
|
|
135
|
+
fail(`${path}.seq`, "expected a positive safe integer");
|
|
136
|
+
}
|
|
137
|
+
return {
|
|
138
|
+
seq,
|
|
139
|
+
title: stringValue(object.title, `${path}.title`),
|
|
140
|
+
objective: stringValue(object.objective, `${path}.objective`),
|
|
141
|
+
brief: stringValue(object.brief, `${path}.brief`),
|
|
142
|
+
};
|
|
143
|
+
}
|
|
144
|
+
function validateData(kind, value) {
|
|
145
|
+
const path = `data.${kind}`;
|
|
146
|
+
switch (kind) {
|
|
147
|
+
case "bind": {
|
|
148
|
+
const object = requireRecord(value, path);
|
|
149
|
+
requireKeys(object, ["coordinates", "terms"], path);
|
|
150
|
+
return {
|
|
151
|
+
coordinates: validateCoordinates(object.coordinates, `${path}.coordinates`),
|
|
152
|
+
terms: termsValue(object.terms, `${path}.terms`),
|
|
153
|
+
};
|
|
154
|
+
}
|
|
155
|
+
case "amend":
|
|
156
|
+
return termsValue(value, path);
|
|
157
|
+
case "bound": {
|
|
158
|
+
const object = requireRecord(value, path);
|
|
159
|
+
requireKeys(object, [], path);
|
|
160
|
+
return {};
|
|
161
|
+
}
|
|
162
|
+
case "deliver": {
|
|
163
|
+
const object = requireRecord(value, path);
|
|
164
|
+
requireKeys(object, ["tenderSnapshot", "integration", "method", "policy"], path);
|
|
165
|
+
const integration = requireRecord(object.integration, `${path}.integration`);
|
|
166
|
+
requireKeys(integration, ["predecessor", "snapshot", "changeId"], `${path}.integration`);
|
|
167
|
+
const method = stringValue(object.method, `${path}.method`);
|
|
168
|
+
if (method !== "squash")
|
|
169
|
+
fail(`${path}.method`, "unknown merge method");
|
|
170
|
+
const policy = requireRecord(object.policy, `${path}.policy`);
|
|
171
|
+
requireKeys(policy, ["requireBranchesToBeUpToDate"], `${path}.policy`);
|
|
172
|
+
return {
|
|
173
|
+
tenderSnapshot: brandedValue(object.tenderSnapshot, `${path}.tenderSnapshot`, snapshotId),
|
|
174
|
+
integration: {
|
|
175
|
+
predecessor: brandedValue(integration.predecessor, `${path}.integration.predecessor`, snapshotId),
|
|
176
|
+
snapshot: brandedValue(integration.snapshot, `${path}.integration.snapshot`, snapshotId),
|
|
177
|
+
changeId: brandedValue(integration.changeId, `${path}.integration.changeId`, changeId),
|
|
178
|
+
},
|
|
179
|
+
method,
|
|
180
|
+
policy: {
|
|
181
|
+
requireBranchesToBeUpToDate: booleanValue(policy.requireBranchesToBeUpToDate, `${path}.policy.requireBranchesToBeUpToDate`),
|
|
182
|
+
},
|
|
183
|
+
};
|
|
184
|
+
}
|
|
185
|
+
case "attestation":
|
|
186
|
+
return validateAttestation(value, path);
|
|
187
|
+
case "claimed": {
|
|
188
|
+
const object = requireRecord(value, path);
|
|
189
|
+
requireKeys(object, ["delivery"], path);
|
|
190
|
+
return { delivery: brandedValue(object.delivery, `${path}.delivery`, entryUlid) };
|
|
191
|
+
}
|
|
192
|
+
case "arc":
|
|
193
|
+
return validateArc(value, path);
|
|
194
|
+
case "abandoned": {
|
|
195
|
+
const object = requireRecord(value, path);
|
|
196
|
+
requireKeys(object, [], path, ["note"]);
|
|
197
|
+
return {
|
|
198
|
+
...(object.note === undefined ? {} : { note: stringValue(object.note, `${path}.note`) }),
|
|
199
|
+
};
|
|
200
|
+
}
|
|
201
|
+
}
|
|
202
|
+
}
|
|
203
|
+
function validateEntry(value) {
|
|
204
|
+
const object = requireRecord(value, "entry");
|
|
205
|
+
requireKeys(object, ["v", "kind", "contract", "entry", "at", "data"], "entry", ["actor"]);
|
|
206
|
+
const kind = object.kind;
|
|
207
|
+
if (typeof kind !== "string" || !Object.hasOwn(VERSION_BY_KIND, kind)) {
|
|
208
|
+
throw new AuthorityCorruptionError(`unknown journal entry kind: ${String(kind)}`);
|
|
209
|
+
}
|
|
210
|
+
const expectedVersion = VERSION_BY_KIND[kind];
|
|
211
|
+
if (object.v !== expectedVersion)
|
|
212
|
+
fail("entry.v", `expected version ${expectedVersion} for ${kind}`);
|
|
213
|
+
const entry = {
|
|
214
|
+
v: object.v,
|
|
215
|
+
kind,
|
|
216
|
+
contract: brandedValue(object.contract, "entry.contract", contractId),
|
|
217
|
+
entry: brandedValue(object.entry, "entry.entry", entryUlid),
|
|
218
|
+
at: validateTimestamp(object.at, "entry.at"),
|
|
219
|
+
...(object.actor === undefined ? {} : { actor: brandedValue(object.actor, "entry.actor", actorId) }),
|
|
220
|
+
data: validateData(kind, object.data),
|
|
221
|
+
};
|
|
222
|
+
const after = entry.kind === "bind" ? entry.data.terms.after : entry.kind === "amend" ? entry.data.after : undefined;
|
|
223
|
+
if (after?.some((dependency) => dependency === entry.contract)) {
|
|
224
|
+
fail(`entry.data.${entry.kind}.after`, "after cannot reference its own contract");
|
|
225
|
+
}
|
|
226
|
+
return entry;
|
|
227
|
+
}
|
|
228
|
+
function canonicalValue(value) {
|
|
229
|
+
if (value === null)
|
|
230
|
+
return "null";
|
|
231
|
+
if (typeof value === "string" || typeof value === "boolean")
|
|
232
|
+
return JSON.stringify(value);
|
|
233
|
+
if (typeof value === "number") {
|
|
234
|
+
if (!Number.isFinite(value))
|
|
235
|
+
throw new AuthorityCorruptionError("canonical JSON cannot encode a non-finite number");
|
|
236
|
+
return JSON.stringify(value);
|
|
237
|
+
}
|
|
238
|
+
if (Array.isArray(value))
|
|
239
|
+
return `[${value.map(canonicalValue).join(",")}]`;
|
|
240
|
+
if (isRecord(value)) {
|
|
241
|
+
const keys = Object.keys(value).sort((left, right) => Buffer.from(left).compare(Buffer.from(right)));
|
|
242
|
+
return `{${keys.map((key) => `${JSON.stringify(key)}:${canonicalValue(value[key])}`).join(",")}}`;
|
|
243
|
+
}
|
|
244
|
+
throw new AuthorityCorruptionError("canonical JSON accepts only JSON values");
|
|
245
|
+
}
|
|
246
|
+
function canonicalJson(value) {
|
|
247
|
+
return canonicalValue(value);
|
|
248
|
+
}
|
|
249
|
+
export function encodeEntry(entry) {
|
|
250
|
+
const validated = validateEntry(entry);
|
|
251
|
+
return `${canonicalJson(validated)}\n`;
|
|
252
|
+
}
|
|
253
|
+
function decodeEntry(line) {
|
|
254
|
+
if (line.includes("\r") || line.includes("\n\n"))
|
|
255
|
+
throw new AuthorityCorruptionError("journal entry must be one LF-delimited JSON value");
|
|
256
|
+
const body = line.endsWith("\n") ? line.slice(0, -1) : line;
|
|
257
|
+
if (body.length === 0)
|
|
258
|
+
throw new AuthorityCorruptionError("journal entry cannot be empty");
|
|
259
|
+
let value;
|
|
260
|
+
try {
|
|
261
|
+
value = JSON.parse(body);
|
|
262
|
+
}
|
|
263
|
+
catch (error) {
|
|
264
|
+
throw new AuthorityCorruptionError("journal entry is not valid JSON", { cause: error });
|
|
265
|
+
}
|
|
266
|
+
const entry = validateEntry(value);
|
|
267
|
+
if (canonicalJson(entry) !== body)
|
|
268
|
+
throw new AuthorityCorruptionError("journal entry is not canonical");
|
|
269
|
+
return entry;
|
|
270
|
+
}
|
|
271
|
+
export function decodeJournal(journal) {
|
|
272
|
+
if (journal.length === 0)
|
|
273
|
+
return [];
|
|
274
|
+
if (journal.includes("\r") || !journal.endsWith("\n"))
|
|
275
|
+
throw new AuthorityCorruptionError("journal must use LF lines and end with LF");
|
|
276
|
+
return journal.slice(0, -1).split("\n").map((line) => decodeEntry(line));
|
|
277
|
+
}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { type ContractsObservation } from "./observation.js";
|
|
2
|
+
import type { ContractId } from "./types.js";
|
|
3
|
+
type EligibilityObservation = ContractsObservation;
|
|
4
|
+
/** Decide whether resulting prerequisites reach the amended contract. */
|
|
5
|
+
export declare function prerequisitesReach(contract: ContractId, prerequisites: readonly ContractId[], observation: EligibilityObservation): boolean;
|
|
6
|
+
export declare function samePrerequisites(left: readonly ContractId[], right: readonly ContractId[]): boolean;
|
|
7
|
+
export {};
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
import { contractState } from "./observation.js";
|
|
2
|
+
/** Decide whether resulting prerequisites reach the amended contract. */
|
|
3
|
+
export function prerequisitesReach(contract, prerequisites, observation) {
|
|
4
|
+
const pending = [...prerequisites];
|
|
5
|
+
const visited = new Set();
|
|
6
|
+
while (pending.length > 0) {
|
|
7
|
+
const dependency = pending.pop();
|
|
8
|
+
if (dependency === contract)
|
|
9
|
+
return true;
|
|
10
|
+
if (visited.has(dependency))
|
|
11
|
+
continue;
|
|
12
|
+
visited.add(dependency);
|
|
13
|
+
const state = contractState(observation, dependency);
|
|
14
|
+
if (state === null)
|
|
15
|
+
throw new Error(`absent contract in prerequisite closure: ${dependency}`);
|
|
16
|
+
pending.push(...state.terms.after);
|
|
17
|
+
}
|
|
18
|
+
return false;
|
|
19
|
+
}
|
|
20
|
+
export function samePrerequisites(left, right) {
|
|
21
|
+
if (left === right)
|
|
22
|
+
return true;
|
|
23
|
+
if (left.length !== right.length)
|
|
24
|
+
return false;
|
|
25
|
+
return left.every((id, index) => id === right[index]);
|
|
26
|
+
}
|