@astrosheep/keiyaku 2.9.13 → 4.0.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/README.md +10 -130
- 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 +34 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-akuma/SKILL.md +50 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-task/SKILL.md +62 -0
- package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-workflow/SKILL.md +72 -0
- package/build/src/akuma/activity.d.ts +66 -0
- package/build/src/akuma/activity.js +139 -0
- package/build/src/akuma/akuma.d.ts +116 -0
- package/build/src/akuma/akuma.js +382 -0
- package/build/src/akuma/archetype.d.ts +31 -0
- package/build/src/akuma/archetype.js +188 -0
- package/build/src/akuma/body.d.ts +20 -0
- package/build/src/akuma/body.js +305 -0
- package/build/src/akuma/heart/facts.d.ts +150 -0
- package/build/src/akuma/heart/facts.js +9 -0
- package/build/src/akuma/heart/index.d.ts +78 -0
- package/build/src/akuma/heart/index.js +361 -0
- package/build/src/akuma/heart/rows.d.ts +189 -0
- package/build/src/akuma/heart/rows.js +319 -0
- package/build/src/akuma/heart/schema.d.ts +5 -0
- package/build/src/akuma/heart/schema.js +113 -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 +7 -0
- package/build/src/akuma/index.js +3 -0
- package/build/src/akuma/provider.d.ts +123 -0
- package/build/src/akuma/provider.js +235 -0
- package/build/src/akuma/providers/claude.d.ts +84 -0
- package/build/src/akuma/providers/claude.js +305 -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 +27 -0
- package/build/src/akuma/providers/codex-app-server/index.js +162 -0
- package/build/src/akuma/providers/index.d.ts +4 -0
- package/build/src/akuma/providers/index.js +71 -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 +46 -0
- package/build/src/akuma/requests.js +388 -0
- package/build/src/alias/index.d.ts +17 -0
- package/build/src/alias/index.js +104 -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 +73 -0
- package/build/src/body/shape.d.ts +29 -0
- package/build/src/body/shape.js +16 -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 +25 -0
- package/build/src/cli/accepted.d.ts +16 -0
- package/build/src/cli/accepted.js +65 -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 +53 -0
- package/build/src/cli/commands/akuma-invoke.js +68 -0
- package/build/src/cli/commands/akuma.d.ts +42 -0
- package/build/src/cli/commands/akuma.js +224 -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/install.d.ts +25 -0
- package/build/src/cli/commands/install.js +103 -0
- package/build/src/cli/commands/task-invoke.d.ts +9 -0
- package/build/src/cli/commands/task-invoke.js +92 -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 +17 -0
- package/build/src/cli/invoke.js +265 -0
- package/build/src/cli/main.d.ts +1 -0
- package/build/src/cli/main.js +79 -0
- package/build/src/cli/parse.d.ts +210 -0
- package/build/src/cli/parse.js +375 -0
- package/build/src/cli/render/akuma-tool.d.ts +11 -0
- package/build/src/cli/render/akuma-tool.js +68 -0
- package/build/src/cli/render/akuma.d.ts +6 -0
- package/build/src/cli/render/akuma.js +254 -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/contract.d.ts +4 -0
- package/build/src/cli/render/contract.js +69 -0
- package/build/src/cli/render/kanshi.d.ts +3 -0
- package/build/src/cli/render/kanshi.js +204 -0
- package/build/src/cli/render/refusal.d.ts +2 -0
- package/build/src/cli/render/refusal.js +4 -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 +10 -0
- package/build/src/cli/render/terminal.js +76 -0
- package/build/src/cli/render/text.d.ts +3 -0
- package/build/src/cli/render/text.js +15 -0
- package/build/src/cli/result.d.ts +55 -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/context-root.d.ts +4 -0
- package/build/src/context-root.js +15 -0
- package/build/src/coordination/durable-file.d.ts +1 -0
- package/build/src/coordination/durable-file.js +36 -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 +258 -0
- package/build/src/core/facts/eligibility.d.ts +16 -0
- package/build/src/core/facts/eligibility.js +75 -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 +12 -0
- package/build/src/core/facts/observation.js +23 -0
- package/build/src/core/facts/offer.d.ts +21 -0
- package/build/src/core/facts/types.d.ts +130 -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 +56 -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 +40 -0
- package/build/src/core/verbs/deliver.d.ts +13 -0
- package/build/src/core/verbs/deliver.js +26 -0
- package/build/src/core/verbs/placement.d.ts +13 -0
- package/build/src/core/verbs/placement.js +42 -0
- package/build/src/dispatch/index.d.ts +31 -0
- package/build/src/dispatch/index.js +159 -0
- package/build/src/git/admission.d.ts +18 -0
- package/build/src/git/admission.js +116 -0
- package/build/src/git/delivery.d.ts +20 -0
- package/build/src/git/delivery.js +109 -0
- package/build/src/git/hooks.d.ts +34 -0
- package/build/src/git/hooks.js +258 -0
- package/build/src/git/identity.d.ts +13 -0
- package/build/src/git/identity.js +28 -0
- package/build/src/git/observe.d.ts +38 -0
- package/build/src/git/observe.js +227 -0
- package/build/src/git/reconcile.d.ts +49 -0
- package/build/src/git/reconcile.js +223 -0
- package/build/src/git/repository.d.ts +80 -0
- package/build/src/git/repository.js +456 -0
- package/build/src/git/tree.d.ts +34 -0
- package/build/src/git/tree.js +112 -0
- package/build/src/git/verification.d.ts +14 -0
- package/build/src/git/verification.js +56 -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 +6 -0
- package/build/src/identity/selector.js +7 -0
- package/build/src/index.d.ts +4 -0
- package/build/src/index.js +2 -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 +5 -0
- package/build/src/kanshi/read.js +100 -0
- package/build/src/kanshi/report.d.ts +35 -0
- package/build/src/kanshi/select.d.ts +8 -0
- package/build/src/kanshi/select.js +21 -0
- package/build/src/library/akuma-creation.d.ts +79 -0
- package/build/src/library/akuma-creation.js +151 -0
- package/build/src/library/configuration.d.ts +26 -0
- package/build/src/library/configuration.js +100 -0
- package/build/src/library/contract.d.ts +145 -0
- package/build/src/library/contract.js +325 -0
- package/build/src/library/input.d.ts +13 -0
- package/build/src/library/input.js +82 -0
- package/build/src/library/keiyaku.d.ts +28 -0
- package/build/src/library/keiyaku.js +16 -0
- package/build/src/library/region.d.ts +17 -0
- package/build/src/library/region.js +30 -0
- package/build/src/library/repo.d.ts +33 -0
- package/build/src/library/repo.js +61 -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 +36 -0
- package/build/src/protocol/attempt.js +119 -0
- package/build/src/protocol/bind.d.ts +25 -0
- package/build/src/protocol/bind.js +62 -0
- package/build/src/protocol/intent.d.ts +52 -0
- package/build/src/protocol/intent.js +129 -0
- package/build/src/protocol/operations.d.ts +140 -0
- package/build/src/protocol/operations.js +373 -0
- package/build/src/protocol/outcome.d.ts +18 -0
- package/build/src/protocol/outcome.js +15 -0
- package/build/src/protocol/read/audit.d.ts +25 -0
- package/build/src/protocol/read/audit.js +39 -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 +38 -0
- package/build/src/protocol/read/status.js +47 -0
- package/build/src/protocol/run.d.ts +39 -0
- package/build/src/protocol/run.js +36 -0
- package/build/src/runtime/proc/line-rpc.d.ts +37 -0
- package/build/src/runtime/proc/line-rpc.js +124 -0
- package/build/src/runtime/proc/run.d.ts +54 -0
- package/build/src/runtime/proc/run.js +200 -0
- package/build/src/settings.d.ts +45 -0
- package/build/src/settings.js +99 -0
- package/build/src/settlement/holder.d.ts +15 -0
- package/build/src/settlement/holder.js +113 -0
- package/build/src/settlement/settle.d.ts +36 -0
- package/build/src/settlement/settle.js +91 -0
- package/build/src/task/board.d.ts +65 -0
- package/build/src/task/board.js +155 -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 +56 -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 +179 -0
- package/build/src/task/operations.d.ts +115 -0
- package/build/src/task/operations.js +194 -0
- package/build/src/task/store.d.ts +22 -0
- package/build/src/task/store.js +114 -0
- package/build/src/verification/declaration.d.ts +22 -0
- package/build/src/verification/declaration.js +14 -0
- package/build/src/verification/producer.d.ts +23 -0
- package/build/src/verification/producer.js +54 -0
- package/package.json +62 -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
|
@@ -1,512 +0,0 @@
|
|
|
1
|
-
import * as fs from "node:fs/promises";
|
|
2
|
-
import * as path from "node:path";
|
|
3
|
-
import { FlowError } from "../flow-error.js";
|
|
4
|
-
import { isCommitAncestor, readCommitCoordinate } from "../git/commits.js";
|
|
5
|
-
import { runGitProcess } from "../git/core.js";
|
|
6
|
-
import { replayCommittedDerivedState } from "./derived-replay.js";
|
|
7
|
-
import { EffectJournal } from "./outcome-base.js";
|
|
8
|
-
import { resolveAcceptedLifecycleTransaction } from "./repository-ledger/accepted-tail.js";
|
|
9
|
-
import { publishAuthoritativeTransaction } from "./repository-ledger/write-transaction.js";
|
|
10
|
-
import { cleanupContractWorkspace, contractWorktreePathFromStableRoot, observeTerminalDeliveryRef, resolveContractCarrierTarget, stableRepoRoot } from "./worktree-path.js";
|
|
11
|
-
import { defaultCreateWorktree } from "./bind-workspace.js";
|
|
12
|
-
import { replayClaimTargetWorktree } from "./settlement/claim-delivery.js";
|
|
13
|
-
import { lifecycleTransactionId } from "./repository-ledger/identity.js";
|
|
14
|
-
let acceptedBind, acquireGate, carrierMatches, checkCancellation;
|
|
15
|
-
let expectedCarrierIdentity, observe, observedLedgerHead, publishCarrier;
|
|
16
|
-
let verifyCarrier, reconcileFoldedDeliveryWorktree, releaseGate, retireTerminalHereCarrier;
|
|
17
|
-
export function installCarrierRuntimePorts(ports) {
|
|
18
|
-
({ acceptedBind, acquireGate, carrierMatches, checkCancellation, expectedCarrierIdentity, observe, observedLedgerHead,
|
|
19
|
-
publishCarrier, verifyCarrier, reconcileFoldedDeliveryWorktree,
|
|
20
|
-
releaseGate, retireTerminalHereCarrier } = ports);
|
|
21
|
-
}
|
|
22
|
-
export async function withContractCarrierSession(input, action) {
|
|
23
|
-
const stableRoot = await stableRepoRoot(input.cwd);
|
|
24
|
-
if (input.mode === "observe-only") {
|
|
25
|
-
checkCancellation(input.signal);
|
|
26
|
-
const { repository, lifecycle, target, pins } = await observe(stableRoot, input.contractId);
|
|
27
|
-
const projectedCarrier = target.status === "available" ? await verifyCarrier({ target: target.path, lifecycle }) : undefined;
|
|
28
|
-
const initialCarrier = target.status === "available"
|
|
29
|
-
? { status: projectedCarrier && carrierMatches(projectedCarrier) ? "current" : "stale", contractHead: lifecycle.contractHead, target: target.path }
|
|
30
|
-
: { status: "target-unavailable", contractHead: lifecycle.contractHead, reason: target.reason };
|
|
31
|
-
return action(createSession(input.mode, stableRoot, input.contractId, repository, lifecycle, target, pins, initialCarrier, input.signal, input.contractViewWriter, input.renewDeliveryProjector, input.terminalWorkspaceCleanup, input.transactionRunner));
|
|
32
|
-
}
|
|
33
|
-
// Publication coordination is scoped to the contract's proven physical target.
|
|
34
|
-
const preGateObserved = await observe(stableRoot, input.contractId);
|
|
35
|
-
const gate = await acquireGate(stableRoot, input.contractId, preGateObserved.target.status === "available" ? preGateObserved.target.path : `unavailable:${input.contractId}`, input.signal);
|
|
36
|
-
try {
|
|
37
|
-
checkCancellation(input.signal);
|
|
38
|
-
const { repository, lifecycle, target, pins } = preGateObserved;
|
|
39
|
-
const projectedCarrier = target.status === "available" ? await verifyCarrier({ target: target.path, lifecycle }) : undefined;
|
|
40
|
-
const initialCarrier = target.status === "available"
|
|
41
|
-
? { status: projectedCarrier && carrierMatches(projectedCarrier) ? "current" : "stale", contractHead: lifecycle.contractHead, target: target.path }
|
|
42
|
-
: { status: "target-unavailable", contractHead: lifecycle.contractHead, reason: target.reason };
|
|
43
|
-
checkCancellation(input.signal);
|
|
44
|
-
const session = createSession(input.mode, stableRoot, input.contractId, repository, lifecycle, target, pins, initialCarrier, input.signal, input.contractViewWriter, input.renewDeliveryProjector, input.terminalWorkspaceCleanup, input.transactionRunner);
|
|
45
|
-
return await action(session);
|
|
46
|
-
}
|
|
47
|
-
finally {
|
|
48
|
-
releaseGate(gate);
|
|
49
|
-
}
|
|
50
|
-
}
|
|
51
|
-
/** Bind-only carrier admission from the immutable Observe snapshot. */
|
|
52
|
-
export async function withObservedContractCarrierSession(input, action) {
|
|
53
|
-
checkCancellation(input.signal);
|
|
54
|
-
const gate = await acquireGate(input.stableRoot, input.contractId, input.observation.target.status === "available" ? input.observation.target.path : `unavailable:${input.contractId}`, input.signal);
|
|
55
|
-
try {
|
|
56
|
-
const { repository, lifecycle, target, pins } = input.observation;
|
|
57
|
-
const projectedCarrier = target.status === "available" ? await verifyCarrier({ target: target.path, lifecycle }) : undefined;
|
|
58
|
-
const initialCarrier = target.status === "available"
|
|
59
|
-
? { status: projectedCarrier && carrierMatches(projectedCarrier) ? "current" : "stale", contractHead: lifecycle.contractHead, target: target.path }
|
|
60
|
-
: { status: "target-unavailable", contractHead: lifecycle.contractHead, reason: target.reason };
|
|
61
|
-
return await action(createSession("mutation", input.stableRoot, input.contractId, repository, lifecycle, target, pins, initialCarrier, input.signal, input.contractViewWriter, undefined, input.terminalWorkspaceCleanup, undefined));
|
|
62
|
-
}
|
|
63
|
-
finally {
|
|
64
|
-
releaseGate(gate);
|
|
65
|
-
}
|
|
66
|
-
}
|
|
67
|
-
function createSession(mode, stableRoot, contractId, repository, lifecycle, target, pins, initialCarrier, signal, contractViewWriter, renewDeliveryProjector, terminalWorkspaceCleanup, transactionRunner) {
|
|
68
|
-
const admittedLedgerHead = pins.repositoryLedgerHead;
|
|
69
|
-
const admittedLifecycleTail = lifecycle.contractHead;
|
|
70
|
-
let currentLifecycle = lifecycle;
|
|
71
|
-
let currentObservation = { repository, lifecycle, target, pins };
|
|
72
|
-
let authoritativeTransactionSelected = false;
|
|
73
|
-
let effectsStarted = false;
|
|
74
|
-
let committedResult;
|
|
75
|
-
const journal = new EffectJournal(`${contractId}:${lifecycle.contractHead}`);
|
|
76
|
-
async function finalizeCommitted(input) {
|
|
77
|
-
effectsStarted = true;
|
|
78
|
-
let resolvedTransaction;
|
|
79
|
-
await journal.run({
|
|
80
|
-
effect: "committed-ledger-reread",
|
|
81
|
-
idempotencyKey: `${contractId}:${input.head}:ledger-reread`,
|
|
82
|
-
run: async () => {
|
|
83
|
-
const observed = await observe(stableRoot, contractId);
|
|
84
|
-
currentLifecycle = observed.lifecycle;
|
|
85
|
-
const accepted = resolveAcceptedLifecycleTransaction({ read: observed.repository, transactionObjectId: input.head, expectedContract: contractId });
|
|
86
|
-
if (accepted.status !== "accepted")
|
|
87
|
-
throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `accepted ledger transaction ${input.head} could not be reread (${accepted.reason})`);
|
|
88
|
-
resolvedTransaction = accepted;
|
|
89
|
-
return { head: observed.lifecycle.contractHead };
|
|
90
|
-
},
|
|
91
|
-
});
|
|
92
|
-
journal.beginDerivedReplay();
|
|
93
|
-
const carrier = input.carrier === "retire"
|
|
94
|
-
? { status: "retired", contractHead: currentLifecycle.contractHead, reason: "terminal" }
|
|
95
|
-
: target.status === "available"
|
|
96
|
-
? { status: "stale", contractHead: currentLifecycle.contractHead, target: target.path }
|
|
97
|
-
: { status: "target-unavailable", contractHead: currentLifecycle.contractHead, reason: target.reason };
|
|
98
|
-
committedResult = {
|
|
99
|
-
status: "committed",
|
|
100
|
-
head: input.head,
|
|
101
|
-
transaction: resolvedTransaction ?? (() => { throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `accepted ledger transaction ${input.head} was not reread`); })(),
|
|
102
|
-
carrier,
|
|
103
|
-
effects: journal.all(),
|
|
104
|
-
cancellationObserved: effectsStarted && (signal?.aborted ?? false),
|
|
105
|
-
};
|
|
106
|
-
return committedResult;
|
|
107
|
-
}
|
|
108
|
-
async function publishRepository(transaction) {
|
|
109
|
-
if (mode !== "mutation")
|
|
110
|
-
throw new FlowError("INTERNAL_STATE", `carrier ${mode} session cannot publish repository ledger facts`);
|
|
111
|
-
if (!effectsStarted)
|
|
112
|
-
checkCancellation(signal);
|
|
113
|
-
let replayed;
|
|
114
|
-
let carrier = target.status === "available"
|
|
115
|
-
? { status: "stale", contractHead: currentLifecycle.contractHead, target: target.path }
|
|
116
|
-
: { status: "target-unavailable", contractHead: currentLifecycle.contractHead, reason: target.reason };
|
|
117
|
-
const replayPlan = {
|
|
118
|
-
steps: [
|
|
119
|
-
{
|
|
120
|
-
effect: "committed-ledger-reread",
|
|
121
|
-
dependencies: [],
|
|
122
|
-
run: async ({ ledgerHead }) => {
|
|
123
|
-
replayed = await observe(stableRoot, contractId);
|
|
124
|
-
if (replayed.repository.observedLedgerHead !== ledgerHead) {
|
|
125
|
-
throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `committed ledger head ${ledgerHead} could not be reread (observed ${replayed.repository.observedLedgerHead})`);
|
|
126
|
-
}
|
|
127
|
-
currentLifecycle = replayed.lifecycle;
|
|
128
|
-
currentObservation = replayed;
|
|
129
|
-
},
|
|
130
|
-
},
|
|
131
|
-
],
|
|
132
|
-
};
|
|
133
|
-
const publication = await publishAuthoritativeTransaction(stableRoot, transaction, {
|
|
134
|
-
replayPlan,
|
|
135
|
-
...(transactionRunner ? { transactionRunner } : {}),
|
|
136
|
-
});
|
|
137
|
-
const result = publication.write;
|
|
138
|
-
if (result.family === "refused-before-effects") {
|
|
139
|
-
return {
|
|
140
|
-
status: "refused-before-effects",
|
|
141
|
-
reason: "conflict",
|
|
142
|
-
currentHead: observedLedgerHead(result.observations),
|
|
143
|
-
code: result.code,
|
|
144
|
-
cause: result.cause,
|
|
145
|
-
observations: result.observations,
|
|
146
|
-
effects: [],
|
|
147
|
-
};
|
|
148
|
-
}
|
|
149
|
-
if (result.family === "indeterminate") {
|
|
150
|
-
effectsStarted = true;
|
|
151
|
-
const currentHead = observedLedgerHead(result.observations);
|
|
152
|
-
journal.record({
|
|
153
|
-
effect: "ledger-cas",
|
|
154
|
-
idempotencyKey: `${contractId}:${result.builtLedgerHead}:ledger-cas`,
|
|
155
|
-
status: "failed",
|
|
156
|
-
cause: {
|
|
157
|
-
code: result.code,
|
|
158
|
-
message: result.cause,
|
|
159
|
-
facts: { builtHead: result.builtLedgerHead, currentHead },
|
|
160
|
-
},
|
|
161
|
-
});
|
|
162
|
-
return { status: "indeterminate", builtHead: result.builtLedgerHead, currentHead, effects: journal.all() };
|
|
163
|
-
}
|
|
164
|
-
effectsStarted = true;
|
|
165
|
-
const accepted = publication.builtTail.entries.at(-1);
|
|
166
|
-
const ledgerCasKey = `${contractId}:${result.ledgerHead}:ledger-cas`;
|
|
167
|
-
journal.record({
|
|
168
|
-
effect: "ledger-cas",
|
|
169
|
-
idempotencyKey: ledgerCasKey,
|
|
170
|
-
status: "succeeded",
|
|
171
|
-
receipt: {
|
|
172
|
-
head: result.ledgerHead,
|
|
173
|
-
entryKind: accepted.entry.kind,
|
|
174
|
-
authorityProof: result.authorityProof,
|
|
175
|
-
},
|
|
176
|
-
});
|
|
177
|
-
const replayDependencyEffects = { "committed-ledger-reread": ledgerCasKey };
|
|
178
|
-
const replayKeys = new Map();
|
|
179
|
-
for (const effect of result.replay.effects) {
|
|
180
|
-
const idempotencyKey = `${contractId}:${result.ledgerHead}:${effect.effect}`;
|
|
181
|
-
replayKeys.set(effect.effect, idempotencyKey);
|
|
182
|
-
const dependencyEffect = replayDependencyEffects[effect.effect];
|
|
183
|
-
const dependency = dependencyEffect === ledgerCasKey ? ledgerCasKey : dependencyEffect ? replayKeys.get(dependencyEffect) : undefined;
|
|
184
|
-
const row = effect.status === "succeeded"
|
|
185
|
-
? { effect: effect.effect, idempotencyKey, ...(dependency ? { dependency } : {}), status: "succeeded" }
|
|
186
|
-
: effect.status === "failed"
|
|
187
|
-
? { effect: effect.effect, idempotencyKey, ...(dependency ? { dependency } : {}), status: "failed", cause: effect.cause }
|
|
188
|
-
: {
|
|
189
|
-
effect: effect.effect,
|
|
190
|
-
idempotencyKey,
|
|
191
|
-
dependency: replayKeys.get(effect.dependency) ?? effect.dependency,
|
|
192
|
-
status: "not-attempted",
|
|
193
|
-
cause: { code: "DEPENDENCY_FAILED", message: `dependency ${effect.dependency} did not succeed` },
|
|
194
|
-
};
|
|
195
|
-
journal.record(row);
|
|
196
|
-
}
|
|
197
|
-
const observedTransaction = resolveAcceptedLifecycleTransaction({
|
|
198
|
-
read: replayed?.repository ?? (await observe(stableRoot, contractId)).repository,
|
|
199
|
-
transactionObjectId: lifecycleTransactionId(result.ledgerHead),
|
|
200
|
-
expectedContract: contractId,
|
|
201
|
-
});
|
|
202
|
-
if (observedTransaction.status !== "accepted") {
|
|
203
|
-
throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `accepted ledger transaction ${result.ledgerHead} could not be reread (${observedTransaction.reason})`);
|
|
204
|
-
}
|
|
205
|
-
committedResult = {
|
|
206
|
-
status: "committed",
|
|
207
|
-
head: lifecycleTransactionId(result.ledgerHead),
|
|
208
|
-
transaction: observedTransaction,
|
|
209
|
-
carrier,
|
|
210
|
-
effects: journal.all(),
|
|
211
|
-
cancellationObserved: signal?.aborted ?? false,
|
|
212
|
-
};
|
|
213
|
-
return committedResult;
|
|
214
|
-
}
|
|
215
|
-
async function replayDerivedState() {
|
|
216
|
-
const observed = currentObservation.lifecycle.contractHead === currentLifecycle.contractHead
|
|
217
|
-
? currentObservation
|
|
218
|
-
: await observe(stableRoot, contractId);
|
|
219
|
-
currentObservation = observed;
|
|
220
|
-
currentLifecycle = observed.lifecycle;
|
|
221
|
-
const bind = acceptedBind(observed.lifecycle);
|
|
222
|
-
let committedTarget = observed.target;
|
|
223
|
-
let materialized = {
|
|
224
|
-
status: "failed",
|
|
225
|
-
contractHead: observed.lifecycle.contractHead,
|
|
226
|
-
cause: "carrier projection was not attempted",
|
|
227
|
-
};
|
|
228
|
-
await replayCommittedDerivedState({
|
|
229
|
-
cwd: stableRoot,
|
|
230
|
-
repository: observed.repository,
|
|
231
|
-
lifecycle: observed.lifecycle,
|
|
232
|
-
target: committedTarget,
|
|
233
|
-
journal,
|
|
234
|
-
adapters: {
|
|
235
|
-
reconcileActiveWorktree: async () => {
|
|
236
|
-
committedTarget = await resolveContractCarrierTarget(stableRoot, contractId, bind);
|
|
237
|
-
let created = false;
|
|
238
|
-
if (committedTarget.status !== "available" && bind.data.workspace === "worktree") {
|
|
239
|
-
const worktreePath = contractWorktreePathFromStableRoot(stableRoot, contractId, bind);
|
|
240
|
-
try {
|
|
241
|
-
await fs.access(worktreePath);
|
|
242
|
-
throw Object.assign(new Error(`worktree path ${worktreePath} is occupied by an unowned filesystem entry`), { code: "BIND_WORKTREE_PATH_OCCUPIED", facts: { path: worktreePath, occupant: "unowned-filesystem-entry" } });
|
|
243
|
-
}
|
|
244
|
-
catch (error) {
|
|
245
|
-
if (!(error instanceof Error) || !("code" in error) || error.code !== "ENOENT")
|
|
246
|
-
throw error;
|
|
247
|
-
}
|
|
248
|
-
await defaultCreateWorktree({
|
|
249
|
-
cwd: stableRoot,
|
|
250
|
-
id: contractId,
|
|
251
|
-
branch: `keiyaku/${contractId}`,
|
|
252
|
-
base: bind.data.base,
|
|
253
|
-
worktreePath,
|
|
254
|
-
});
|
|
255
|
-
committedTarget = await resolveContractCarrierTarget(stableRoot, contractId, bind);
|
|
256
|
-
created = true;
|
|
257
|
-
}
|
|
258
|
-
if (committedTarget.status !== "available")
|
|
259
|
-
throw new FlowError("CARRIER_TARGET_UNAVAILABLE", committedTarget.reason);
|
|
260
|
-
return { status: created ? "created" : "already-present", target: committedTarget };
|
|
261
|
-
},
|
|
262
|
-
reconcileRenewDelivery: async ({ lifecycle: accepted, target: acceptedTarget, transaction }) => {
|
|
263
|
-
if (acceptedTarget.status !== "available")
|
|
264
|
-
throw new FlowError("CARRIER_TARGET_UNAVAILABLE", acceptedTarget.reason);
|
|
265
|
-
const renew = transaction.entries.find((entry) => entry.kind === "renew");
|
|
266
|
-
if (!renew || renew.kind !== "renew") {
|
|
267
|
-
throw new FlowError("INTERNAL_STATE", `accepted renew transaction ${transaction.transactionObjectId} has no renew entry`);
|
|
268
|
-
}
|
|
269
|
-
if (renewDeliveryProjector) {
|
|
270
|
-
await renewDeliveryProjector(acceptedTarget, renew.data.oldHead, renew.data.newHead);
|
|
271
|
-
return "created";
|
|
272
|
-
}
|
|
273
|
-
return reconcileFoldedDeliveryWorktree({ targetRoot: acceptedTarget.root, lifecycle: accepted });
|
|
274
|
-
},
|
|
275
|
-
materializeContractView: async ({ lifecycle: accepted, target: acceptedTarget }) => {
|
|
276
|
-
const projected = await convergeCarrier(stableRoot, contractId, accepted, acceptedTarget, contractViewWriter);
|
|
277
|
-
materialized = projected;
|
|
278
|
-
if (projected.status === "failed")
|
|
279
|
-
throw new FlowError("CARRIER_MATERIALIZATION_FAILED", projected.cause);
|
|
280
|
-
if (projected.status === "target-unavailable")
|
|
281
|
-
throw new FlowError("CARRIER_TARGET_UNAVAILABLE", projected.reason);
|
|
282
|
-
return projected.status === "current" ? "already-present" : "created";
|
|
283
|
-
},
|
|
284
|
-
retireContractView: async ({ lifecycle: accepted, target: acceptedTarget }) => {
|
|
285
|
-
return retireTerminalHereCarrier(accepted, acceptedTarget);
|
|
286
|
-
},
|
|
287
|
-
expectedCarrierIdentity,
|
|
288
|
-
inspectSurface: async ({ obligation }) => {
|
|
289
|
-
switch (obligation.surface) {
|
|
290
|
-
case "carrier": {
|
|
291
|
-
if (committedTarget.status !== "available")
|
|
292
|
-
return null;
|
|
293
|
-
const verification = await verifyCarrier({ target: committedTarget.path, lifecycle: observed.lifecycle });
|
|
294
|
-
return verification.status === "current" ? verification.actual : null;
|
|
295
|
-
}
|
|
296
|
-
case "carrier-retirement": {
|
|
297
|
-
if (committedTarget.status !== "available")
|
|
298
|
-
return obligation.expected;
|
|
299
|
-
try {
|
|
300
|
-
await fs.access(committedTarget.path);
|
|
301
|
-
return null;
|
|
302
|
-
}
|
|
303
|
-
catch (error) {
|
|
304
|
-
return error instanceof Error && "code" in error && error.code === "ENOENT" ? obligation.expected : null;
|
|
305
|
-
}
|
|
306
|
-
}
|
|
307
|
-
case "narrow-ignore": {
|
|
308
|
-
if (committedTarget.status !== "available")
|
|
309
|
-
return null;
|
|
310
|
-
const expected = JSON.parse(obligation.expected.inventory);
|
|
311
|
-
const bytes = expected.length === 0 ? "" : `${expected.join("\n")}\n`;
|
|
312
|
-
try {
|
|
313
|
-
return await fs.readFile(path.join(committedTarget.root, ".gitignore"), "utf8") === bytes ? obligation.expected : null;
|
|
314
|
-
}
|
|
315
|
-
catch {
|
|
316
|
-
return null;
|
|
317
|
-
}
|
|
318
|
-
}
|
|
319
|
-
case "worktree": {
|
|
320
|
-
if (observed.lifecycle.phase === "claimed" || observed.lifecycle.phase === "forfeited") {
|
|
321
|
-
return committedTarget.workspace === "here" || committedTarget.status === "unavailable"
|
|
322
|
-
? obligation.expected
|
|
323
|
-
: null;
|
|
324
|
-
}
|
|
325
|
-
if (committedTarget.status !== "available")
|
|
326
|
-
return null;
|
|
327
|
-
const [head, clean] = await Promise.all([
|
|
328
|
-
readCommitCoordinate(committedTarget.root, "HEAD"),
|
|
329
|
-
runGitProcess(committedTarget.root, ["status", "--porcelain=v1", "--untracked-files=no"]),
|
|
330
|
-
]);
|
|
331
|
-
const expectedHead = obligation.expected.deliveryHead;
|
|
332
|
-
return head.status === "ok" && clean.status === 0 && !clean.error && head.coordinate.commit === expectedHead && clean.stdout === ""
|
|
333
|
-
? obligation.expected
|
|
334
|
-
: null;
|
|
335
|
-
}
|
|
336
|
-
case "renew-delivery": {
|
|
337
|
-
if (committedTarget.status !== "available")
|
|
338
|
-
return null;
|
|
339
|
-
const [head, clean] = await Promise.all([
|
|
340
|
-
readCommitCoordinate(committedTarget.root, "HEAD"),
|
|
341
|
-
runGitProcess(committedTarget.root, ["status", "--porcelain=v1", "--untracked-files=no"]),
|
|
342
|
-
]);
|
|
343
|
-
const expectedHead = obligation.expected.newHead;
|
|
344
|
-
return head.status === "ok" && clean.status === 0 && !clean.error && head.coordinate.commit === expectedHead && clean.stdout === ""
|
|
345
|
-
? obligation.expected
|
|
346
|
-
: null;
|
|
347
|
-
}
|
|
348
|
-
case "delivery-ref": {
|
|
349
|
-
const projection = await observeTerminalDeliveryRef(stableRoot, contractId);
|
|
350
|
-
return projection.status === "aligned" ? obligation.expected : null;
|
|
351
|
-
}
|
|
352
|
-
case "target-worktree": {
|
|
353
|
-
const expected = obligation.expected;
|
|
354
|
-
const listed = await runGitProcess(stableRoot, ["worktree", "list", "--porcelain", "-z"]);
|
|
355
|
-
if (listed.error || listed.status !== 0)
|
|
356
|
-
return null;
|
|
357
|
-
let worktree;
|
|
358
|
-
for (const field of listed.stdout.split("\0")) {
|
|
359
|
-
if (field.startsWith("worktree "))
|
|
360
|
-
worktree = field.slice("worktree ".length);
|
|
361
|
-
if (field === `branch ${expected.target}` && worktree) {
|
|
362
|
-
const [head, clean, target] = await Promise.all([
|
|
363
|
-
readCommitCoordinate(worktree, "HEAD"),
|
|
364
|
-
runGitProcess(worktree, ["status", "--porcelain=v1", "--untracked-files=no"]),
|
|
365
|
-
readCommitCoordinate(stableRoot, expected.target),
|
|
366
|
-
]);
|
|
367
|
-
return head.status === "ok"
|
|
368
|
-
&& clean.status === 0 && !clean.error && clean.stdout === ""
|
|
369
|
-
&& target.status === "ok" && head.coordinate.commit === target.coordinate.commit
|
|
370
|
-
? obligation.expected
|
|
371
|
-
: null;
|
|
372
|
-
}
|
|
373
|
-
}
|
|
374
|
-
return obligation.expected;
|
|
375
|
-
}
|
|
376
|
-
case "task-board": {
|
|
377
|
-
// An open bind projects the exact bind-base task bytes into the
|
|
378
|
-
// index and working tree. Terminal task settlement has distinct
|
|
379
|
-
// target/ref semantics and is deliberately reconciled below.
|
|
380
|
-
if (observed.lifecycle.phase === "claimed" || observed.lifecycle.phase === "forfeited")
|
|
381
|
-
return null;
|
|
382
|
-
const bind = acceptedBind(observed.lifecycle);
|
|
383
|
-
const taskIds = obligation.expected.taskIds;
|
|
384
|
-
const paths = taskIds.map((taskId) => `.keiyaku/tasks/${taskId}.md`);
|
|
385
|
-
const [cached, worktree] = await Promise.all([
|
|
386
|
-
runGitProcess(stableRoot, ["diff", "--quiet", "--cached", bind.data.base, "--", ...paths]),
|
|
387
|
-
runGitProcess(stableRoot, ["diff", "--quiet", "--", ...paths]),
|
|
388
|
-
]);
|
|
389
|
-
return cached.status === 0 && !cached.error && worktree.status === 0 && !worktree.error
|
|
390
|
-
? obligation.expected
|
|
391
|
-
: null;
|
|
392
|
-
}
|
|
393
|
-
}
|
|
394
|
-
},
|
|
395
|
-
replayClaimTarget: (landing) => replayClaimTargetWorktree(stableRoot, landing),
|
|
396
|
-
cleanupWorkspace: terminalWorkspaceCleanup ?? cleanupContractWorkspace,
|
|
397
|
-
observeDeliveryRef: observeTerminalDeliveryRef,
|
|
398
|
-
},
|
|
399
|
-
});
|
|
400
|
-
const carrierProjection = journal.all().find((row) => row.effect === "carrier-retirement-projection");
|
|
401
|
-
if (["claimed", "forfeited"].includes(observed.lifecycle.phase) && carrierProjection?.status === "succeeded") {
|
|
402
|
-
materialized = { status: "retired", contractHead: observed.lifecycle.contractHead, reason: "terminal" };
|
|
403
|
-
}
|
|
404
|
-
return materialized;
|
|
405
|
-
}
|
|
406
|
-
return {
|
|
407
|
-
mode,
|
|
408
|
-
stableRoot,
|
|
409
|
-
contractId,
|
|
410
|
-
lifecycle,
|
|
411
|
-
repository,
|
|
412
|
-
target,
|
|
413
|
-
initialCarrier,
|
|
414
|
-
pins,
|
|
415
|
-
journal,
|
|
416
|
-
async completeReplay(_carrierMode = "project") {
|
|
417
|
-
if (!committedResult)
|
|
418
|
-
throw new FlowError("INTERNAL_STATE", `contract ${contractId} has no committed mutation to replay`);
|
|
419
|
-
const materialized = await replayDerivedState();
|
|
420
|
-
committedResult = {
|
|
421
|
-
...committedResult,
|
|
422
|
-
carrier: materialized,
|
|
423
|
-
effects: journal.all(),
|
|
424
|
-
cancellationObserved: effectsStarted && (signal?.aborted ?? false),
|
|
425
|
-
};
|
|
426
|
-
return materialized;
|
|
427
|
-
},
|
|
428
|
-
replayDerivedState,
|
|
429
|
-
async reread() {
|
|
430
|
-
if (!effectsStarted)
|
|
431
|
-
checkCancellation(signal);
|
|
432
|
-
const observed = await observe(stableRoot, contractId);
|
|
433
|
-
currentLifecycle = observed.lifecycle;
|
|
434
|
-
currentObservation = observed;
|
|
435
|
-
if (!effectsStarted)
|
|
436
|
-
checkCancellation(signal);
|
|
437
|
-
return { lifecycle: observed.lifecycle, repository: observed.repository, target: observed.target, pins: observed.pins };
|
|
438
|
-
},
|
|
439
|
-
async revalidate() {
|
|
440
|
-
if (!effectsStarted)
|
|
441
|
-
checkCancellation(signal);
|
|
442
|
-
const observed = await observe(stableRoot, contractId);
|
|
443
|
-
currentLifecycle = observed.lifecycle;
|
|
444
|
-
currentObservation = observed;
|
|
445
|
-
if (!effectsStarted)
|
|
446
|
-
checkCancellation(signal);
|
|
447
|
-
return { lifecycle: observed.lifecycle, repository: observed.repository, target: observed.target, pins: observed.pins };
|
|
448
|
-
},
|
|
449
|
-
beginEffects() {
|
|
450
|
-
if (!effectsStarted)
|
|
451
|
-
checkCancellation(signal);
|
|
452
|
-
effectsStarted = true;
|
|
453
|
-
},
|
|
454
|
-
effectsStarted() {
|
|
455
|
-
return effectsStarted;
|
|
456
|
-
},
|
|
457
|
-
cancellationObserved() {
|
|
458
|
-
return effectsStarted && (signal?.aborted ?? false);
|
|
459
|
-
},
|
|
460
|
-
committedResult() {
|
|
461
|
-
return committedResult;
|
|
462
|
-
},
|
|
463
|
-
async publishAuthoritative(transaction) {
|
|
464
|
-
if (authoritativeTransactionSelected)
|
|
465
|
-
throw new FlowError("INTERNAL_STATE", `carrier session ${contractId} already selected an authoritative transaction`);
|
|
466
|
-
authoritativeTransactionSelected = true;
|
|
467
|
-
if (transaction.entries.some((entry) => entry.contract !== contractId))
|
|
468
|
-
throw new FlowError("INTERNAL_STATE", `authoritative transaction does not belong to carrier session ${contractId}`);
|
|
469
|
-
if (transaction.admittedLedgerHead !== admittedLedgerHead)
|
|
470
|
-
throw new FlowError("CONCURRENT_MODIFICATION", `authoritative transaction ledger CAS does not match immutable carrier admission ${contractId}`);
|
|
471
|
-
if (transaction.acceptedLifecycleTail !== admittedLifecycleTail)
|
|
472
|
-
throw new FlowError("CONCURRENT_MODIFICATION", `authoritative transaction lifecycle tail does not match immutable carrier admission ${contractId}`);
|
|
473
|
-
return publishRepository(transaction);
|
|
474
|
-
},
|
|
475
|
-
async replayCommitted(input) {
|
|
476
|
-
if (mode !== "mutation")
|
|
477
|
-
throw new FlowError("INTERNAL_STATE", `carrier ${mode} session cannot replay committed ledger facts`);
|
|
478
|
-
const observed = await observe(stableRoot, contractId);
|
|
479
|
-
const accepted = resolveAcceptedLifecycleTransaction({ read: observed.repository, transactionObjectId: input.transactionObjectId, expectedContract: contractId });
|
|
480
|
-
if (accepted.status !== "accepted")
|
|
481
|
-
throw new FlowError("CONCURRENT_MODIFICATION", `cannot replay unproved transaction ${input.transactionObjectId}`);
|
|
482
|
-
const renew = accepted.entries.find((entry) => entry.kind === "renew");
|
|
483
|
-
const deliveryDescendsFromRenew = renew && observed.pins.delivery.head
|
|
484
|
-
? await isCommitAncestor(stableRoot, renew.data.newHead, observed.pins.delivery.head)
|
|
485
|
-
: false;
|
|
486
|
-
if (renew && (observed.lifecycle.pins.base !== renew.data.newBase
|
|
487
|
-
|| observed.lifecycle.pins.delivery !== renew.data.newHead
|
|
488
|
-
|| !deliveryDescendsFromRenew)) {
|
|
489
|
-
throw new FlowError("CONCURRENT_MODIFICATION", `accepted renew transaction ${input.transactionObjectId} no longer matches current coordinates`);
|
|
490
|
-
}
|
|
491
|
-
currentLifecycle = observed.lifecycle;
|
|
492
|
-
return finalizeCommitted({ head: input.transactionObjectId, carrier: input.carrier });
|
|
493
|
-
},
|
|
494
|
-
};
|
|
495
|
-
}
|
|
496
|
-
async function convergeCarrier(stableRoot, contractId, lifecycle, target, contractViewWriter) {
|
|
497
|
-
return publishCarrier({ stableRoot, contractId, lifecycle, target, contractViewWriter });
|
|
498
|
-
}
|
|
499
|
-
export async function convergeContractCarrier(input) {
|
|
500
|
-
return withContractCarrierSession({ ...input, mode: "observe-only" }, async (session) => ({ lifecycle: session.lifecycle, repository: session.repository, target: session.target, carrier: session.initialCarrier }));
|
|
501
|
-
}
|
|
502
|
-
/** Carrier surface step for the shared reconciler while it owns the carrier gate. */
|
|
503
|
-
export async function reconcileContractCarrierProjection(input) {
|
|
504
|
-
checkCancellation(input.signal);
|
|
505
|
-
const stableRoot = await stableRepoRoot(input.cwd);
|
|
506
|
-
return withContractCarrierSession({ cwd: stableRoot, contractId: input.contractId, mode: "mutation", signal: input.signal, contractViewWriter: input.contractViewWriter }, async (session) => ({
|
|
507
|
-
lifecycle: session.lifecycle,
|
|
508
|
-
repository: session.repository,
|
|
509
|
-
target: session.target,
|
|
510
|
-
carrier: await convergeCarrier(stableRoot, input.contractId, session.lifecycle, session.target, input.contractViewWriter),
|
|
511
|
-
}));
|
|
512
|
-
}
|