@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,65 +0,0 @@
|
|
|
1
|
-
import { createAuditCandidate, disposeAuditCandidate, prepareAuditCandidate, readAuditCandidateDiff } from "./candidate.js";
|
|
2
|
-
import { completeAuditCoordinates, initialCoordinateRace, pinAuditSnapshot, rereadCoordinateRace } from "./coordinates.js";
|
|
3
|
-
import { collectEvidence, resolveAuditVerificationPlan } from "./evidence.js";
|
|
4
|
-
import { collectFindings, emptyRaceReport } from "./report.js";
|
|
5
|
-
import { readinessFromFacts } from "./readiness.js";
|
|
6
|
-
import { effectiveVerification } from "../lifecycle-history.js";
|
|
7
|
-
export async function auditContract(input) {
|
|
8
|
-
const contractId = input.address.binding.commissionId;
|
|
9
|
-
const frozenSnapshot = await pinAuditSnapshot({ address: input.address });
|
|
10
|
-
const contractVerification = effectiveVerification(frozenSnapshot.lifecycle.history.map(({ entry }) => entry));
|
|
11
|
-
const admission = {
|
|
12
|
-
frozen: frozenSnapshot,
|
|
13
|
-
contractVerification,
|
|
14
|
-
};
|
|
15
|
-
let frozen;
|
|
16
|
-
try {
|
|
17
|
-
frozen = await completeAuditCoordinates({ address: input.address, frozen: admission.frozen });
|
|
18
|
-
}
|
|
19
|
-
catch (error) {
|
|
20
|
-
const fallback = admission.frozen;
|
|
21
|
-
return emptyRaceReport({ contractId, coordinates: fallback.coordinates, terms: { criteria: fallback.criteria, scope: fallback.scope, appendScope: fallback.appendScope }, detail: error instanceof Error ? error.message : String(error), race: initialCoordinateRace({ frozen: fallback, observed: error instanceof Error ? error.message : String(error) }) });
|
|
22
|
-
}
|
|
23
|
-
const candidateResult = await createAuditCandidate({ root: input.address.repo.stableRoot, contractId, frozen });
|
|
24
|
-
let evidence = null;
|
|
25
|
-
let verification;
|
|
26
|
-
let candidatePreparation = { status: "not-required", reason: "candidate_unavailable" };
|
|
27
|
-
try {
|
|
28
|
-
let verificationPlan = [];
|
|
29
|
-
let verificationOverride;
|
|
30
|
-
if (candidateResult.candidate) {
|
|
31
|
-
const planResolution = await resolveAuditVerificationPlan({ cwd: candidateResult.cwd, contract: admission.contractVerification });
|
|
32
|
-
if (planResolution.status === "unknown") {
|
|
33
|
-
candidatePreparation = { status: "not-required", reason: "verification_plan_unavailable" };
|
|
34
|
-
verificationOverride = { status: "unknown", cause: planResolution.cause, results: [] };
|
|
35
|
-
}
|
|
36
|
-
else {
|
|
37
|
-
verificationPlan = planResolution.plan;
|
|
38
|
-
const lifecycleBind = frozen.lifecycle.history.find(({ entry }) => entry.kind === "bind")?.entry;
|
|
39
|
-
candidatePreparation = await prepareAuditCandidate({ candidateResult, verificationRequired: verificationPlan.length > 0, plan: lifecycleBind?.kind === "bind" && lifecycleBind.data.workspace === "worktree" ? lifecycleBind.data.bootstrap : undefined });
|
|
40
|
-
if (candidatePreparation.status === "failed") {
|
|
41
|
-
verificationOverride = { status: "not_evaluated", reason: "candidate_preparation_failed", results: [] };
|
|
42
|
-
}
|
|
43
|
-
}
|
|
44
|
-
}
|
|
45
|
-
const diff = await readAuditCandidateDiff(candidateResult);
|
|
46
|
-
evidence = await collectEvidence({ candidateResult, frozen, diff, diffBudgetBytes: input.diffBudgetBytes ?? 32_000, verificationPlan, signal: input.signal, root: input.address.repo.stableRoot, ...(verificationOverride ? { verificationOverride } : {}) });
|
|
47
|
-
verification = evidence?.verification ?? verificationOverride ?? { status: "not_evaluated", reason: candidateResult.rehearsal.status === "conflict" ? "renew_conflict" : "renew_unknown", results: [] };
|
|
48
|
-
await input.afterEvidence?.();
|
|
49
|
-
}
|
|
50
|
-
finally {
|
|
51
|
-
await disposeAuditCandidate(candidateResult);
|
|
52
|
-
}
|
|
53
|
-
const race = await rereadCoordinateRace({ cwd: input.cwd, address: input.address, frozen });
|
|
54
|
-
if (race) {
|
|
55
|
-
const detail = typeof race.observed === "string"
|
|
56
|
-
? `final coordinate reread failed: ${race.observed}`
|
|
57
|
-
: race.which === "delivery-worktree"
|
|
58
|
-
? "delivery worktree bytes or HEAD changed"
|
|
59
|
-
: `audit coordinates changed while evidence was collected: ${race.which}`;
|
|
60
|
-
return emptyRaceReport({ contractId, coordinates: frozen.coordinates, terms: { criteria: frozen.criteria, scope: frozen.scope, appendScope: frozen.appendScope }, detail, race });
|
|
61
|
-
}
|
|
62
|
-
const readiness = readinessFromFacts(frozen.readiness);
|
|
63
|
-
const findings = collectFindings({ contractId, deliveryCwd: frozen.deliveryCwd, rehearsal: candidateResult.rehearsal, scope: evidence?.scope ?? null, candidatePreparation, verification, readiness });
|
|
64
|
-
return { contract: contractId, coordinates: frozen.coordinates, terms: { criteria: frozen.criteria, scope: frozen.scope, appendScope: frozen.appendScope }, rehearsal: candidateResult.rehearsal, candidate: evidence ? (evidence.candidate.rewritten ? { kind: "renew-rehearsal", base: evidence.candidate.base, head: evidence.candidate.head, tree: evidence.candidate.tree, deliveryHead: frozen.coordinates.delivery.head, targetHead: frozen.coordinates.target.head } : { kind: "delivery", base: evidence.candidate.base, head: evidence.candidate.head, tree: evidence.candidate.tree }) : null, diff: evidence?.diff ?? null, presentation: evidence?.presentation ?? null, files: evidence?.files ?? null, scope: evidence?.scope ?? null, candidatePreparation, verification, readiness, findings, counts: { files: evidence?.files.length ?? 0, selected: evidence?.presentation.selected.length ?? 0, omitted: evidence?.presentation.omissions.length ?? 0, inScope: evidence?.scope.filter((row) => row.class === "in-scope").length ?? 0, downgraded: evidence?.scope.filter((row) => row.class === "downgraded").length ?? 0, violated: evidence?.scope.filter((row) => row.class === "violated").length ?? 0, findings: findings.length } };
|
|
65
|
-
}
|
|
@@ -1,38 +0,0 @@
|
|
|
1
|
-
export function collectFindings(input) {
|
|
2
|
-
const findings = [];
|
|
3
|
-
const selector = `keiyaku @${input.contractId}`;
|
|
4
|
-
if (input.rehearsal.status === "clean")
|
|
5
|
-
findings.push({ code: "BASE_DRIFT", detail: `${input.rehearsal.oldBase} -> ${input.rehearsal.newBase}`, nextCommand: `${selector} renew` });
|
|
6
|
-
if (input.rehearsal.status === "conflict")
|
|
7
|
-
findings.push({ code: "RENEW_CONFLICT", detail: input.rehearsal.paths.join(", "), nextCommand: `${selector} renew` });
|
|
8
|
-
if (input.rehearsal.status === "unknown")
|
|
9
|
-
findings.push({ code: "RENEW_UNKNOWN", detail: `${input.rehearsal.cause.code}: ${input.rehearsal.cause.message}`, nextCommand: `${selector} audit` });
|
|
10
|
-
for (const row of input.scope?.filter((item) => item.class === "violated") ?? [])
|
|
11
|
-
findings.push({ code: "SCOPE_RESIDUE", severity: "warning", detail: `${row.path}: ${row.residue.length} unexplained changes`, nextCommand: `${selector} amend --scope-add ${JSON.stringify(row.path)}` });
|
|
12
|
-
if (input.candidatePreparation.status === "failed")
|
|
13
|
-
findings.push({ code: "CANDIDATE_PREPARATION_FAILED", detail: `${input.candidatePreparation.cause.code}: ${input.candidatePreparation.cause.message}`, nextCommand: `${selector} audit` });
|
|
14
|
-
if (input.verification.status === "evaluated") {
|
|
15
|
-
for (const result of input.verification.results) {
|
|
16
|
-
if (result.status === "executed" && result.exitCode !== 0)
|
|
17
|
-
findings.push({ code: "VERIFICATION_FAILED", detail: `${result.label} exited ${result.exitCode}`, nextCommand: result.command });
|
|
18
|
-
if (result.status === "runner_failed")
|
|
19
|
-
findings.push({ code: "VERIFICATION_UNKNOWN", detail: `${result.source} ${result.label}: ${result.cause.code}: ${result.cause.message}`, nextCommand: result.command });
|
|
20
|
-
}
|
|
21
|
-
}
|
|
22
|
-
const residue = input.readiness.deliveryResidue;
|
|
23
|
-
if (residue.tracked.length + residue.staged.length + residue.unstaged.length + residue.untracked.length > 0)
|
|
24
|
-
findings.push({ code: "DELIVERY_RESIDUE", detail: `registered delivery worktree has uncommitted residue at ${input.deliveryCwd}`, nextCommand: `git -C ${JSON.stringify(input.deliveryCwd)} status --short` });
|
|
25
|
-
if (input.readiness.arc.max > 0 && input.readiness.arc.open === null && input.readiness.arc.looseCommits.length > 0)
|
|
26
|
-
findings.push({ code: "LOOSE_COMMITS", detail: `${input.readiness.arc.looseCommits.length} loose commits after fence`, nextCommand: `printf '# Continue\\n\\n## Objective\\nReceipt loose commits.\\n\\n## Brief\\nContinue delivery.\\n' | ${selector} arc` });
|
|
27
|
-
if (input.readiness.rewriteGuard.liveProjection)
|
|
28
|
-
findings.push({ code: "LIVE_REWRITE_GUARD", detail: "a live projection owns the delivery worktree", nextCommand: "keiyaku status" });
|
|
29
|
-
for (const dependency of input.readiness.dependencies.filter((item) => !item.satisfied))
|
|
30
|
-
findings.push({ code: "DEPENDENCY_OPEN", detail: `dependency ${dependency.id} is ${dependency.state}`, nextCommand: `keiyaku @${dependency.id} log` });
|
|
31
|
-
if (input.readiness.petition.state === "petitioned" && input.readiness.petition.queue?.position !== 1)
|
|
32
|
-
findings.push({ code: "PETITION_QUEUE", detail: `petition queue position ${input.readiness.petition.queue?.position ?? "unknown"}`, nextCommand: "keiyaku status" });
|
|
33
|
-
return findings;
|
|
34
|
-
}
|
|
35
|
-
export function emptyRaceReport(input) {
|
|
36
|
-
const findings = [{ code: "COORDINATE_RACE", detail: input.detail, nextCommand: `keiyaku @${input.contractId} audit`, race: input.race }];
|
|
37
|
-
return { contract: input.contractId, coordinates: input.coordinates, terms: input.terms, rehearsal: { status: "unknown", cause: { code: "COORDINATE_RACE", message: input.detail } }, candidate: null, diff: null, presentation: null, files: null, scope: null, candidatePreparation: { status: "not-required", reason: "coordinate_race" }, verification: { status: "not_evaluated", reason: "coordinate_race", results: [] }, readiness: null, findings, counts: { files: 0, selected: 0, omitted: 0, inScope: 0, downgraded: 0, violated: 0, findings: 1 } };
|
|
38
|
-
}
|
package/build/core/audit.js
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
export { auditContract } from "./audit/facade.js";
|
|
@@ -1,409 +0,0 @@
|
|
|
1
|
-
import { FlowError } from "../flow-error.js";
|
|
2
|
-
import { access } from "node:fs/promises";
|
|
3
|
-
import { lookupCurrentContract, readRepositoryLifecycle, } from "./repository-ledger/read-model.js";
|
|
4
|
-
import { withContractCarrierSession, withObservedContractCarrierSession } from "./contract-carrier.js";
|
|
5
|
-
import { contractWorktreePathFromStableRoot, findRegisteredContractWorktreePathFromModel } from "./worktree-path.js";
|
|
6
|
-
import { defaultCreateWorktree } from "./bind-workspace.js";
|
|
7
|
-
import { isCommissionId } from "./ids.js";
|
|
8
|
-
import { REPOSITORY_LEDGER_REF, repositoryDeliveryRef } from "./repository-ledger/codec.js";
|
|
9
|
-
import { resolveLocalBranchHead } from "../git/refs.js";
|
|
10
|
-
import { runWorktreeBootstrap, bootstrapEntryDataFromObservation, isBootstrapSuccess } from "./worktree-bootstrap.js";
|
|
11
|
-
import { committedLifecycleFacts, containedCommittedLifecycleFacts, EffectJournal } from "./outcome-base.js";
|
|
12
|
-
/**
|
|
13
|
-
* Repository admission can only recover a bind whose authority remains active.
|
|
14
|
-
* A terminal contract may retain its historical bootstrap disposition, but its
|
|
15
|
-
* projection is addressed recovery work and must not be adopted by another bind.
|
|
16
|
-
*/
|
|
17
|
-
export function requiresBindRecovery(lifecycle) {
|
|
18
|
-
if (lifecycle.phase !== "active")
|
|
19
|
-
return false;
|
|
20
|
-
return lifecycle.bootstrapReplay.state === "pending" || lifecycle.bootstrapReplay.state === "failed-interrupted";
|
|
21
|
-
}
|
|
22
|
-
export async function publishBindBootstrap(session, entry, expectedLedgerHead) {
|
|
23
|
-
return await session.publishAuthoritative({ verb: "bootstrap", admittedLedgerHead: expectedLedgerHead, acceptedLifecycleTail: session.lifecycle.contractHead, entries: [entry] });
|
|
24
|
-
}
|
|
25
|
-
export async function publishBindFailedForfeit(session, entry, delivery, expectedLedgerHead) {
|
|
26
|
-
return await session.publishAuthoritative({
|
|
27
|
-
verb: "forfeit",
|
|
28
|
-
admittedLedgerHead: expectedLedgerHead,
|
|
29
|
-
acceptedLifecycleTail: session.lifecycle.contractHead,
|
|
30
|
-
entries: [entry],
|
|
31
|
-
delivery: {
|
|
32
|
-
ref: repositoryDeliveryRef(entry.contract),
|
|
33
|
-
expectedOid: delivery.status === "present" ? delivery.head : null,
|
|
34
|
-
},
|
|
35
|
-
});
|
|
36
|
-
}
|
|
37
|
-
function copyAcceptedBindEntry(entry) {
|
|
38
|
-
const common = {
|
|
39
|
-
title: entry.data.title,
|
|
40
|
-
context: entry.data.context,
|
|
41
|
-
objective: entry.data.objective,
|
|
42
|
-
design: entry.data.design,
|
|
43
|
-
scope: [...entry.data.scope],
|
|
44
|
-
criteria: [...entry.data.criteria],
|
|
45
|
-
verification: [...entry.data.verification],
|
|
46
|
-
extensions: entry.data.extensions.map((extension) => ({ title: extension.title, content: extension.content })),
|
|
47
|
-
base: entry.data.base,
|
|
48
|
-
target: entry.data.target,
|
|
49
|
-
...(entry.data.after ? { after: [...entry.data.after] } : {}),
|
|
50
|
-
...(entry.data.taskIds ? { taskIds: [...entry.data.taskIds] } : {}),
|
|
51
|
-
};
|
|
52
|
-
return {
|
|
53
|
-
v: 3,
|
|
54
|
-
kind: "bind",
|
|
55
|
-
contract: entry.contract,
|
|
56
|
-
at: entry.at,
|
|
57
|
-
actor: entry.actor,
|
|
58
|
-
data: entry.data.workspace === "worktree"
|
|
59
|
-
? {
|
|
60
|
-
...common,
|
|
61
|
-
workspace: "worktree",
|
|
62
|
-
place: entry.data.place,
|
|
63
|
-
...(entry.data.bootstrap ? { bootstrap: { command: [...entry.data.bootstrap.command], timeoutMs: entry.data.bootstrap.timeoutMs } } : {}),
|
|
64
|
-
}
|
|
65
|
-
: { ...common, workspace: "here" },
|
|
66
|
-
};
|
|
67
|
-
}
|
|
68
|
-
function copyAcceptedBootstrapEntry(entry) {
|
|
69
|
-
return {
|
|
70
|
-
v: 1,
|
|
71
|
-
kind: "bootstrap",
|
|
72
|
-
contract: entry.contract,
|
|
73
|
-
at: entry.at,
|
|
74
|
-
actor: entry.actor,
|
|
75
|
-
data: {
|
|
76
|
-
result: { ...entry.data.result },
|
|
77
|
-
durationMs: entry.data.durationMs,
|
|
78
|
-
...(entry.data.stderrTail === undefined ? {} : { stderrTail: entry.data.stderrTail }),
|
|
79
|
-
...(entry.data.stderrTruncated === undefined ? {} : { stderrTruncated: entry.data.stderrTruncated }),
|
|
80
|
-
},
|
|
81
|
-
};
|
|
82
|
-
}
|
|
83
|
-
function bootstrapProgressLine(command) {
|
|
84
|
-
return `bootstrap » ${command.join(" ")}`;
|
|
85
|
-
}
|
|
86
|
-
function workspaceBindView(entry) {
|
|
87
|
-
return entry;
|
|
88
|
-
}
|
|
89
|
-
export function committedOrThrow(result, operation) {
|
|
90
|
-
if (result.family === "committed")
|
|
91
|
-
return result;
|
|
92
|
-
const detail = `${result.code}: ${result.cause}`;
|
|
93
|
-
if (result.family === "indeterminate") {
|
|
94
|
-
throw new FlowError("INTERNAL_STATE", `${operation}_INDETERMINATE: ${detail}`);
|
|
95
|
-
}
|
|
96
|
-
throw new FlowError("CONCURRENT_MODIFICATION", `${operation}_REFUSED: ${detail}`);
|
|
97
|
-
}
|
|
98
|
-
function effectCause(row) {
|
|
99
|
-
return row.status === "succeeded" ? undefined : row.cause;
|
|
100
|
-
}
|
|
101
|
-
function bindResult(input) {
|
|
102
|
-
const ledgerHead = input.heads.bindFailedForfeit ?? input.heads.bootstrap ?? input.heads.bind;
|
|
103
|
-
const reconciliationKey = `${input.coordinates.id}:${input.heads.bind}`;
|
|
104
|
-
if (input.cause) {
|
|
105
|
-
return {
|
|
106
|
-
ledgerHead,
|
|
107
|
-
heads: input.heads,
|
|
108
|
-
reconciliationKey,
|
|
109
|
-
...containedCommittedLifecycleFacts({
|
|
110
|
-
head: ledgerHead,
|
|
111
|
-
entryKind: input.heads.bindFailedForfeit ? "forfeit" : input.heads.bootstrap ? "bootstrap" : "bind",
|
|
112
|
-
contractId: input.coordinates.id,
|
|
113
|
-
carrier: input.carrier,
|
|
114
|
-
cause: input.cause,
|
|
115
|
-
prerequisites: input.journal.rows("prerequisite"),
|
|
116
|
-
downstream: input.journal.rows("downstream"),
|
|
117
|
-
}),
|
|
118
|
-
replay: {
|
|
119
|
-
idempotencyKey: reconciliationKey,
|
|
120
|
-
action: "reconcile",
|
|
121
|
-
reason: "one or more committed-head effects remain",
|
|
122
|
-
},
|
|
123
|
-
};
|
|
124
|
-
}
|
|
125
|
-
const lifecycle = committedLifecycleFacts({
|
|
126
|
-
head: ledgerHead,
|
|
127
|
-
entryKind: input.heads.bootstrap ? "bootstrap" : "bind",
|
|
128
|
-
contractId: input.coordinates.id,
|
|
129
|
-
carrier: input.carrier,
|
|
130
|
-
prerequisites: input.journal.rows("prerequisite"),
|
|
131
|
-
downstream: input.journal.rows("downstream"),
|
|
132
|
-
});
|
|
133
|
-
return {
|
|
134
|
-
...input.coordinates,
|
|
135
|
-
ledgerHead,
|
|
136
|
-
heads: input.heads,
|
|
137
|
-
reconciliationKey,
|
|
138
|
-
surfaces: bindSurfaceReceipts(input.journal),
|
|
139
|
-
...lifecycle,
|
|
140
|
-
replay: { ...lifecycle.replay, idempotencyKey: reconciliationKey },
|
|
141
|
-
};
|
|
142
|
-
}
|
|
143
|
-
function bindSurfaceReceipts(journal) {
|
|
144
|
-
const mapping = new Map([
|
|
145
|
-
["task-board-projection", "task-view"],
|
|
146
|
-
["registry-projection", "registry"],
|
|
147
|
-
["worktree-projection", "worktree"],
|
|
148
|
-
["bootstrap-execution", "bootstrap"],
|
|
149
|
-
["carrier-projection", "carrier"],
|
|
150
|
-
]);
|
|
151
|
-
const receipts = [];
|
|
152
|
-
for (const row of journal.rows("downstream")) {
|
|
153
|
-
const surface = mapping.get(row.effect);
|
|
154
|
-
if (!surface || row.status !== "succeeded")
|
|
155
|
-
continue;
|
|
156
|
-
const raw = row.receipt?.status;
|
|
157
|
-
const status = raw === "current" || raw === "already-present" || raw === "not-applicable"
|
|
158
|
-
? "already-present"
|
|
159
|
-
: "created";
|
|
160
|
-
receipts.push({ surface, status });
|
|
161
|
-
}
|
|
162
|
-
return receipts;
|
|
163
|
-
}
|
|
164
|
-
export async function reconcileCommittedBindFromSnapshot(input, admittedScopeOverlaps, snapshot) {
|
|
165
|
-
const result = await withObservedContractCarrierSession({
|
|
166
|
-
stableRoot: snapshot.stableRoot,
|
|
167
|
-
contractId: input.contractId,
|
|
168
|
-
observation: snapshot.observation,
|
|
169
|
-
signal: input.signal,
|
|
170
|
-
...(input.terminalWorkspaceCleanup ? { terminalWorkspaceCleanup: input.terminalWorkspaceCleanup } : {}),
|
|
171
|
-
}, async (session) => reconcileBindContractLocked({ ...input, cwd: snapshot.stableRoot }, session, admittedScopeOverlaps));
|
|
172
|
-
if (!("continueAfterFailedBootstrap" in result))
|
|
173
|
-
return result;
|
|
174
|
-
return reconcileCommittedBind(input, admittedScopeOverlaps);
|
|
175
|
-
}
|
|
176
|
-
/**
|
|
177
|
-
* Sole replay-only entry for a committed bind. It never allocates identity or
|
|
178
|
-
* reads draft input; every coordinate is reconstructed from the accepted bind.
|
|
179
|
-
*/
|
|
180
|
-
export async function reconcileCommittedBind(input, admittedScopeOverlaps) {
|
|
181
|
-
if (input.signal?.aborted) {
|
|
182
|
-
throw new FlowError("CARRIER_GATE_CANCELLED", "contract replay cancelled before derived effects");
|
|
183
|
-
}
|
|
184
|
-
for (let attempt = 0; attempt < 2; attempt += 1) {
|
|
185
|
-
const result = await withContractCarrierSession({
|
|
186
|
-
cwd: input.cwd,
|
|
187
|
-
contractId: input.contractId,
|
|
188
|
-
mode: "mutation",
|
|
189
|
-
signal: input.signal,
|
|
190
|
-
...(input.terminalWorkspaceCleanup ? { terminalWorkspaceCleanup: input.terminalWorkspaceCleanup } : {}),
|
|
191
|
-
}, async (session) => reconcileBindContractLocked({ ...input, cwd: session.stableRoot }, session, admittedScopeOverlaps));
|
|
192
|
-
if ("continueAfterFailedBootstrap" in result)
|
|
193
|
-
continue;
|
|
194
|
-
return result;
|
|
195
|
-
}
|
|
196
|
-
throw new FlowError("INTERNAL_STATE", `bind-failed finalization for ${input.contractId} did not settle after bootstrap re-admission`);
|
|
197
|
-
}
|
|
198
|
-
async function reconcileBindContractLocked(input, replaySession, admittedScopeOverlaps) {
|
|
199
|
-
const stableRoot = replaySession.stableRoot;
|
|
200
|
-
if (!isCommissionId(input.contractId)) {
|
|
201
|
-
throw new FlowError("INVALID_TARGET", `bind replay requires a full canonical contract id; got ${input.contractId}`);
|
|
202
|
-
}
|
|
203
|
-
const initialRead = replaySession.repository;
|
|
204
|
-
const outcome = lookupCurrentContract(initialRead, input.contractId);
|
|
205
|
-
if (outcome.status === "absent")
|
|
206
|
-
throw new FlowError("CONTRACT_NOT_FOUND", `contract ${input.contractId} not found`);
|
|
207
|
-
if (outcome.status !== "healthy") {
|
|
208
|
-
throw new FlowError("INTERNAL_STATE", `contract ${input.contractId} is unavailable (${outcome.status})`);
|
|
209
|
-
}
|
|
210
|
-
const bindRow = outcome.model.history.find((row) => row.entry.kind === "bind");
|
|
211
|
-
if (!bindRow || bindRow.entry.kind !== "bind")
|
|
212
|
-
throw new FlowError("INTERNAL_STATE", `contract ${input.contractId} has no accepted bind`);
|
|
213
|
-
const bootstrapRow = outcome.model.history.find((row) => row.entry.kind === "bootstrap");
|
|
214
|
-
const forfeitRow = outcome.model.history.find((row) => row.entry.kind === "forfeit");
|
|
215
|
-
const replayingBindFailedTerminal = outcome.model.phase === "forfeited"
|
|
216
|
-
&& bootstrapRow?.entry.kind === "bootstrap"
|
|
217
|
-
&& !isBootstrapSuccess(bootstrapRow.entry.data)
|
|
218
|
-
&& forfeitRow?.entry.kind === "forfeit"
|
|
219
|
-
&& forfeitRow.entry.data.reason === "bind-failed";
|
|
220
|
-
if (["claimed", "forfeited"].includes(outcome.model.phase) && !replayingBindFailedTerminal) {
|
|
221
|
-
throw new FlowError("CONTRACT_TERMINAL", `contract ${input.contractId} is terminal (${outcome.model.phase})`);
|
|
222
|
-
}
|
|
223
|
-
const entry = copyAcceptedBindEntry(bindRow.entry);
|
|
224
|
-
const workspace = entry.data.workspace;
|
|
225
|
-
const branch = `keiyaku/${entry.contract}`;
|
|
226
|
-
const worktreePath = contractWorktreePathFromStableRoot(stableRoot, entry.contract, workspaceBindView(entry));
|
|
227
|
-
const targetRoot = workspace === "here" ? stableRoot : worktreePath;
|
|
228
|
-
const deps = input.dependencies ?? {};
|
|
229
|
-
const heads = {
|
|
230
|
-
bind: bindRow.objectId,
|
|
231
|
-
bootstrap: bootstrapRow?.objectId ?? null,
|
|
232
|
-
bindFailedForfeit: replayingBindFailedTerminal ? forfeitRow.objectId : null,
|
|
233
|
-
};
|
|
234
|
-
const journal = new EffectJournal(`bind:${entry.contract}:${bindRow.objectId}`);
|
|
235
|
-
journal.record({
|
|
236
|
-
effect: "ledger-cas",
|
|
237
|
-
idempotencyKey: `bind:${entry.contract}:${bindRow.objectId}:ledger-cas`,
|
|
238
|
-
status: "succeeded",
|
|
239
|
-
receipt: { bindHead: bindRow.objectId, observed: true },
|
|
240
|
-
});
|
|
241
|
-
let containedCause;
|
|
242
|
-
const rememberFailure = (row) => { containedCause ??= effectCause(row); };
|
|
243
|
-
const scopeOverlaps = [...admittedScopeOverlaps];
|
|
244
|
-
if (input.preparedTask && input.preparedTaskProjectionSucceeded) {
|
|
245
|
-
replaySession.journal.beginDerivedReplay();
|
|
246
|
-
replaySession.journal.record({
|
|
247
|
-
effect: "task-board-projection",
|
|
248
|
-
idempotencyKey: `${entry.contract}:${outcome.model.contractHead}:task-board`,
|
|
249
|
-
status: "succeeded",
|
|
250
|
-
receipt: { surface: "task-board", status: "created", authoritativeHead: outcome.model.contractHead, facts: { taskCount: input.preparedTask.taskIds.length } },
|
|
251
|
-
});
|
|
252
|
-
}
|
|
253
|
-
const bootstrapPlan = entry.data.workspace === "worktree" ? entry.data.bootstrap : undefined;
|
|
254
|
-
if (!replayingBindFailedTerminal && bootstrapPlan) {
|
|
255
|
-
const worktreeReplay = await journal.run({
|
|
256
|
-
effect: "bootstrap-worktree-prerequisite",
|
|
257
|
-
run: async () => {
|
|
258
|
-
const registered = await findRegisteredContractWorktreePathFromModel(stableRoot, outcome.model);
|
|
259
|
-
if (registered === worktreePath)
|
|
260
|
-
return { status: "already-present", path: worktreePath };
|
|
261
|
-
try {
|
|
262
|
-
await access(worktreePath);
|
|
263
|
-
throw Object.assign(new Error(`worktree path ${worktreePath} is occupied by an unowned filesystem entry`), {
|
|
264
|
-
code: "BIND_WORKTREE_PATH_OCCUPIED",
|
|
265
|
-
facts: { path: worktreePath, occupant: "unowned-filesystem-entry" },
|
|
266
|
-
});
|
|
267
|
-
}
|
|
268
|
-
catch (error) {
|
|
269
|
-
if (!(error instanceof Error) || !("code" in error) || error.code !== "ENOENT")
|
|
270
|
-
throw error;
|
|
271
|
-
}
|
|
272
|
-
await (input.createWorktree ?? defaultCreateWorktree)({ cwd: stableRoot, id: entry.contract, branch, base: entry.data.base, worktreePath });
|
|
273
|
-
return { status: "created", path: worktreePath };
|
|
274
|
-
},
|
|
275
|
-
});
|
|
276
|
-
rememberFailure(worktreeReplay);
|
|
277
|
-
}
|
|
278
|
-
let bootstrapData = bootstrapRow?.entry.kind === "bootstrap"
|
|
279
|
-
? copyAcceptedBootstrapEntry(bootstrapRow.entry)
|
|
280
|
-
: undefined;
|
|
281
|
-
let publishedFailedBootstrapThroughSession = false;
|
|
282
|
-
if (bootstrapPlan) {
|
|
283
|
-
const locked = lookupCurrentContract(replaySession.repository, entry.contract);
|
|
284
|
-
if (locked.status !== "healthy")
|
|
285
|
-
throw new FlowError("INTERNAL_STATE", `contract ${entry.contract} became unavailable during bootstrap replay`);
|
|
286
|
-
const existingBootstrap = locked.model.history.find((row) => row.entry.kind === "bootstrap")?.entry;
|
|
287
|
-
bootstrapData = existingBootstrap?.kind === "bootstrap"
|
|
288
|
-
? copyAcceptedBootstrapEntry(existingBootstrap)
|
|
289
|
-
: undefined;
|
|
290
|
-
if (bootstrapData) {
|
|
291
|
-
const row = await journal.run({ effect: "bootstrap-execution", run: async () => ({ status: "already-present" }) });
|
|
292
|
-
rememberFailure(row);
|
|
293
|
-
const publication = await journal.run({
|
|
294
|
-
effect: "bootstrap-ledger-cas",
|
|
295
|
-
dependency: "bootstrap-execution",
|
|
296
|
-
run: async () => ({ head: heads.bootstrap, status: "already-present" }),
|
|
297
|
-
});
|
|
298
|
-
rememberFailure(publication);
|
|
299
|
-
}
|
|
300
|
-
else {
|
|
301
|
-
const execution = await journal.run({
|
|
302
|
-
effect: "bootstrap-execution",
|
|
303
|
-
dependency: "bootstrap-worktree-prerequisite",
|
|
304
|
-
run: async () => {
|
|
305
|
-
input.onProgress?.(bootstrapProgressLine(bootstrapPlan.command));
|
|
306
|
-
const observation = await (input.bootstrapRunner ?? runWorktreeBootstrap)({ cwd: worktreePath, plan: bootstrapPlan }, input.bootstrapDependencies);
|
|
307
|
-
const data = bootstrapEntryDataFromObservation(observation);
|
|
308
|
-
bootstrapData = { v: 1, kind: "bootstrap", contract: entry.contract, at: new Date(input.nowMs).toISOString(), actor: input.actor, data };
|
|
309
|
-
return { status: "created", result: data.result.kind };
|
|
310
|
-
},
|
|
311
|
-
});
|
|
312
|
-
rememberFailure(execution);
|
|
313
|
-
const publication = await journal.run({
|
|
314
|
-
effect: "bootstrap-ledger-cas",
|
|
315
|
-
dependency: "bootstrap-execution",
|
|
316
|
-
run: async () => {
|
|
317
|
-
const current = await readRepositoryLifecycle(stableRoot);
|
|
318
|
-
const written = deps.publishBootstrap
|
|
319
|
-
? await deps.publishBootstrap(bootstrapData, current.observedLedgerHead)
|
|
320
|
-
: await publishBindBootstrap(replaySession, bootstrapData, current.observedLedgerHead);
|
|
321
|
-
if (written.status !== "committed")
|
|
322
|
-
throw new FlowError("CONCURRENT_MODIFICATION", "BIND_BOOTSTRAP_TRANSACTION_REFUSED");
|
|
323
|
-
publishedFailedBootstrapThroughSession = !deps.publishBootstrap && !isBootstrapSuccess(bootstrapData.data);
|
|
324
|
-
heads.bootstrap = written.head;
|
|
325
|
-
return { head: written.head };
|
|
326
|
-
},
|
|
327
|
-
});
|
|
328
|
-
rememberFailure(publication);
|
|
329
|
-
}
|
|
330
|
-
}
|
|
331
|
-
const bootstrapEntry = bootstrapData?.kind === "bootstrap" ? bootstrapData : undefined;
|
|
332
|
-
if (publishedFailedBootstrapThroughSession)
|
|
333
|
-
return { continueAfterFailedBootstrap: true };
|
|
334
|
-
if (bootstrapEntry && !isBootstrapSuccess(bootstrapEntry.data)) {
|
|
335
|
-
const forfeitPublication = await journal.run({
|
|
336
|
-
effect: "bind-failed-forfeit-cas",
|
|
337
|
-
dependency: heads.bootstrap ? "bootstrap-ledger-cas" : undefined,
|
|
338
|
-
run: async () => {
|
|
339
|
-
const current = await readRepositoryLifecycle(stableRoot);
|
|
340
|
-
const currentContract = lookupCurrentContract(current, entry.contract);
|
|
341
|
-
if (currentContract.status === "healthy" && currentContract.model.phase === "forfeited") {
|
|
342
|
-
const existing = currentContract.model.history.find((row) => row.entry.kind === "forfeit");
|
|
343
|
-
if (!existing)
|
|
344
|
-
throw new FlowError("INTERNAL_STATE", `forfeited contract ${entry.contract} has no accepted terminal entry`);
|
|
345
|
-
heads.bindFailedForfeit = existing.objectId;
|
|
346
|
-
return { head: existing.objectId, status: "already-present" };
|
|
347
|
-
}
|
|
348
|
-
const delivery = await resolveLocalBranchHead(stableRoot, repositoryDeliveryRef(entry.contract));
|
|
349
|
-
if (!delivery) {
|
|
350
|
-
throw new FlowError("INTERNAL_STATE", `contract ${entry.contract} delivery ref is absent before bind-failed forfeit`);
|
|
351
|
-
}
|
|
352
|
-
const forfeitEntry = {
|
|
353
|
-
v: 2,
|
|
354
|
-
kind: "forfeit",
|
|
355
|
-
contract: entry.contract,
|
|
356
|
-
at: new Date(input.nowMs).toISOString(),
|
|
357
|
-
actor: input.actor,
|
|
358
|
-
data: { reason: "bind-failed", actor: input.actor, finalHead: delivery.head },
|
|
359
|
-
};
|
|
360
|
-
const deliveryState = { status: "present", head: delivery.head };
|
|
361
|
-
const written = deps.publishBindFailedForfeit
|
|
362
|
-
? await deps.publishBindFailedForfeit(forfeitEntry, deliveryState, current.observedLedgerHead)
|
|
363
|
-
: await publishBindFailedForfeit(replaySession, forfeitEntry, deliveryState, current.observedLedgerHead);
|
|
364
|
-
if (written.status !== "committed")
|
|
365
|
-
throw new FlowError("CONCURRENT_MODIFICATION", "BIND_FAILED_FORFEIT_TRANSACTION_REFUSED");
|
|
366
|
-
heads.bindFailedForfeit = written.head;
|
|
367
|
-
return { head: written.head, status: "created" };
|
|
368
|
-
},
|
|
369
|
-
});
|
|
370
|
-
rememberFailure(forfeitPublication);
|
|
371
|
-
const terminalCarrier = await replaySession.replayDerivedState();
|
|
372
|
-
for (const row of replaySession.journal.all()) {
|
|
373
|
-
journal.record(row);
|
|
374
|
-
rememberFailure(row);
|
|
375
|
-
}
|
|
376
|
-
return bindResult({
|
|
377
|
-
coordinates: {
|
|
378
|
-
id: entry.contract, ref: REPOSITORY_LEDGER_REF, target: entry.data.target,
|
|
379
|
-
place: workspace === "worktree" ? entry.data.place : null,
|
|
380
|
-
...(workspace === "worktree" ? { branch } : {}), worktreePath: targetRoot,
|
|
381
|
-
workspace, scopeOverlaps,
|
|
382
|
-
},
|
|
383
|
-
heads,
|
|
384
|
-
journal,
|
|
385
|
-
carrier: terminalCarrier,
|
|
386
|
-
cause: { code: "BIND_BOOTSTRAP_FAILED", message: `worktree bootstrap failed with ${bootstrapEntry.data.result.kind}` },
|
|
387
|
-
});
|
|
388
|
-
}
|
|
389
|
-
const carrier = await replaySession.replayDerivedState();
|
|
390
|
-
for (const row of replaySession.journal.all()) {
|
|
391
|
-
journal.record(row);
|
|
392
|
-
rememberFailure(row);
|
|
393
|
-
}
|
|
394
|
-
return bindResult({
|
|
395
|
-
coordinates: {
|
|
396
|
-
id: entry.contract, ref: REPOSITORY_LEDGER_REF, target: entry.data.target,
|
|
397
|
-
place: workspace === "worktree" ? entry.data.place : null,
|
|
398
|
-
...(workspace === "worktree" ? { branch } : {}), worktreePath: targetRoot,
|
|
399
|
-
workspace, scopeOverlaps,
|
|
400
|
-
},
|
|
401
|
-
heads,
|
|
402
|
-
journal,
|
|
403
|
-
carrier,
|
|
404
|
-
...(containedCause ? { cause: containedCause } : {}),
|
|
405
|
-
});
|
|
406
|
-
}
|
|
407
|
-
export async function reconcileBindContract(input) {
|
|
408
|
-
return await reconcileCommittedBind(input, []);
|
|
409
|
-
}
|
|
@@ -1,115 +0,0 @@
|
|
|
1
|
-
import * as fs from "node:fs/promises";
|
|
2
|
-
import { createGit, wrapGitError } from "../git/core.js";
|
|
3
|
-
import { CONTRACT_PLACES } from "./places.js";
|
|
4
|
-
import { lookupCurrentContract, readRepositoryLifecycle } from "./repository-ledger/read-model.js";
|
|
5
|
-
import { contractWorktreePathFromBind } from "./worktree-path.js";
|
|
6
|
-
export async function createContractBranch(cwd, branch, base) {
|
|
7
|
-
const git = createGit(cwd);
|
|
8
|
-
try {
|
|
9
|
-
await git.raw(["branch", branch, base]);
|
|
10
|
-
}
|
|
11
|
-
catch (error) {
|
|
12
|
-
throw wrapGitError(`branch ${branch} ${base}`, error, cwd);
|
|
13
|
-
}
|
|
14
|
-
}
|
|
15
|
-
export async function defaultCreateWorktree(input) {
|
|
16
|
-
void input.id;
|
|
17
|
-
void input.base;
|
|
18
|
-
const git = createGit(input.cwd);
|
|
19
|
-
try {
|
|
20
|
-
await git.raw(["worktree", "add", input.worktreePath, input.branch]);
|
|
21
|
-
}
|
|
22
|
-
catch (error) {
|
|
23
|
-
throw wrapGitError(`worktree add ${input.worktreePath} ${input.branch}`, error, input.cwd);
|
|
24
|
-
}
|
|
25
|
-
}
|
|
26
|
-
export async function resolveTreeRoot(cwd, workspace, contractId, bind) {
|
|
27
|
-
const repoRoot = await fs.realpath(cwd);
|
|
28
|
-
if (workspace === "here")
|
|
29
|
-
return repoRoot;
|
|
30
|
-
return await contractWorktreePathFromBind(repoRoot, contractId, bind);
|
|
31
|
-
}
|
|
32
|
-
async function removeWorktree(cwd, worktreePath) {
|
|
33
|
-
const git = createGit(cwd);
|
|
34
|
-
try {
|
|
35
|
-
await git.raw(["worktree", "remove", "--force", worktreePath]);
|
|
36
|
-
}
|
|
37
|
-
catch (error) {
|
|
38
|
-
throw wrapGitError(`worktree remove ${worktreePath}`, error, cwd);
|
|
39
|
-
}
|
|
40
|
-
}
|
|
41
|
-
async function deleteBranch(cwd, branch) {
|
|
42
|
-
const git = createGit(cwd);
|
|
43
|
-
try {
|
|
44
|
-
await git.raw(["branch", "-D", branch]);
|
|
45
|
-
}
|
|
46
|
-
catch (error) {
|
|
47
|
-
throw wrapGitError(`branch -D ${branch}`, error, cwd);
|
|
48
|
-
}
|
|
49
|
-
}
|
|
50
|
-
/** Best-effort cleanup of resources created by the current bind attempt. */
|
|
51
|
-
export async function cleanupCreatedBindResources(cwd, resources) {
|
|
52
|
-
const failures = [];
|
|
53
|
-
if (resources.keiyakuPath) {
|
|
54
|
-
try {
|
|
55
|
-
await fs.rm(resources.keiyakuPath, { force: true });
|
|
56
|
-
}
|
|
57
|
-
catch (error) {
|
|
58
|
-
failures.push(`delete ${resources.keiyakuPath}: ${error instanceof Error ? error.message : String(error)}`);
|
|
59
|
-
}
|
|
60
|
-
}
|
|
61
|
-
if (resources.worktreePath) {
|
|
62
|
-
try {
|
|
63
|
-
await removeWorktree(cwd, resources.worktreePath);
|
|
64
|
-
}
|
|
65
|
-
catch (error) {
|
|
66
|
-
failures.push(`remove worktree: ${error instanceof Error ? error.message : String(error)}`);
|
|
67
|
-
}
|
|
68
|
-
}
|
|
69
|
-
if (resources.branch) {
|
|
70
|
-
try {
|
|
71
|
-
await deleteBranch(cwd, resources.branch);
|
|
72
|
-
}
|
|
73
|
-
catch (error) {
|
|
74
|
-
failures.push(`delete branch: ${error instanceof Error ? error.message : String(error)}`);
|
|
75
|
-
}
|
|
76
|
-
}
|
|
77
|
-
return failures;
|
|
78
|
-
}
|
|
79
|
-
function occupiedWorktreePlaces(read) {
|
|
80
|
-
const occupied = new Set();
|
|
81
|
-
for (const model of read.contracts) {
|
|
82
|
-
if (lookupCurrentContract(read, model.contract).status !== "healthy")
|
|
83
|
-
continue;
|
|
84
|
-
const worktree = model.resources.worktree;
|
|
85
|
-
if (worktree?.state === "held")
|
|
86
|
-
occupied.add(worktree.place);
|
|
87
|
-
}
|
|
88
|
-
return occupied;
|
|
89
|
-
}
|
|
90
|
-
function randomIndex(randomBytes, size) {
|
|
91
|
-
let value = 0;
|
|
92
|
-
for (const byte of randomBytes) {
|
|
93
|
-
value = (value * 256 + byte) % size;
|
|
94
|
-
}
|
|
95
|
-
return value;
|
|
96
|
-
}
|
|
97
|
-
function nextGenerationPlace(base, occupied) {
|
|
98
|
-
for (let generation = 2;; generation += 1) {
|
|
99
|
-
const candidate = `${base}${generation}`;
|
|
100
|
-
if (!occupied.has(candidate))
|
|
101
|
-
return candidate;
|
|
102
|
-
}
|
|
103
|
-
}
|
|
104
|
-
export async function allocateWorktreePlace(cwd, randomBytes) {
|
|
105
|
-
return allocateWorktreePlaceFromRead(await readRepositoryLifecycle(cwd), randomBytes);
|
|
106
|
-
}
|
|
107
|
-
export function allocateWorktreePlaceFromRead(read, randomBytes) {
|
|
108
|
-
const occupied = occupiedWorktreePlaces(read);
|
|
109
|
-
const candidates = CONTRACT_PLACES.filter((place) => !occupied.has(place));
|
|
110
|
-
if (candidates.length > 0) {
|
|
111
|
-
return candidates[randomIndex(randomBytes, candidates.length)];
|
|
112
|
-
}
|
|
113
|
-
const base = CONTRACT_PLACES[randomIndex(randomBytes, CONTRACT_PLACES.length)];
|
|
114
|
-
return nextGenerationPlace(base, occupied);
|
|
115
|
-
}
|