@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
|
@@ -0,0 +1,254 @@
|
|
|
1
|
+
import { toolRepr } from "./akuma-tool.js";
|
|
2
|
+
import { safeText } from "./terminal.js";
|
|
3
|
+
const GUTTER_MS = 60_000;
|
|
4
|
+
const LABEL_WIDTH = 8;
|
|
5
|
+
function mark(life) {
|
|
6
|
+
switch (life) {
|
|
7
|
+
case "running": return "●";
|
|
8
|
+
case "dead": return "×";
|
|
9
|
+
case "asleep": return "○";
|
|
10
|
+
case "stranded":
|
|
11
|
+
case "headless": return "!";
|
|
12
|
+
}
|
|
13
|
+
}
|
|
14
|
+
function ruler(parts) {
|
|
15
|
+
const prefix = `── ${parts.join(" ── ")} `;
|
|
16
|
+
return `${prefix}${"─".repeat(Math.max(1, 64 - prefix.length))}`;
|
|
17
|
+
}
|
|
18
|
+
function clock(at) {
|
|
19
|
+
if (at === undefined)
|
|
20
|
+
return "";
|
|
21
|
+
const date = new Date(at);
|
|
22
|
+
if (!Number.isFinite(date.getTime()))
|
|
23
|
+
return "";
|
|
24
|
+
return `${String(date.getHours()).padStart(2, "0")}:${String(date.getMinutes()).padStart(2, "0")}`;
|
|
25
|
+
}
|
|
26
|
+
function renderSpine(items) {
|
|
27
|
+
let lastPrintedAt;
|
|
28
|
+
return items.map((item) => {
|
|
29
|
+
const timestamp = item.at === undefined ? undefined : Date.parse(item.at);
|
|
30
|
+
const printable = timestamp !== undefined && Number.isFinite(timestamp)
|
|
31
|
+
&& (lastPrintedAt === undefined || timestamp - lastPrintedAt >= GUTTER_MS);
|
|
32
|
+
if (printable)
|
|
33
|
+
lastPrintedAt = timestamp;
|
|
34
|
+
const time = printable ? clock(item.at) : "";
|
|
35
|
+
const index = item.index === undefined ? "" : String(item.index).padStart(4, " ");
|
|
36
|
+
const gutter = `${index}${index.length === 0 ? "" : " "}${time.padStart(5, " ")}`;
|
|
37
|
+
return `${gutter} │ ${item.label.padEnd(LABEL_WIDTH, " ")} ${item.text}`.trimEnd();
|
|
38
|
+
});
|
|
39
|
+
}
|
|
40
|
+
function activityItem(row) {
|
|
41
|
+
if (row.kind === "said")
|
|
42
|
+
return { at: row.at, label: "say", text: row.text };
|
|
43
|
+
if (row.kind === "thought")
|
|
44
|
+
return { at: row.at, label: "thought", text: row.text };
|
|
45
|
+
if (row.kind === "note")
|
|
46
|
+
return { at: row.at, label: "note", text: row.text };
|
|
47
|
+
const repr = toolRepr(row);
|
|
48
|
+
return {
|
|
49
|
+
at: row.at,
|
|
50
|
+
label: repr.label,
|
|
51
|
+
text: repr.text,
|
|
52
|
+
};
|
|
53
|
+
}
|
|
54
|
+
function pendingItems(status) {
|
|
55
|
+
return status.activity.pendingTells.map((tell) => ({ label: "⧗ tell", text: JSON.stringify(tell.body) }));
|
|
56
|
+
}
|
|
57
|
+
function outcomeItems(status) {
|
|
58
|
+
if (status.answer !== undefined) {
|
|
59
|
+
return [{
|
|
60
|
+
...(status.outcomeAt === undefined ? {} : { at: status.outcomeAt }),
|
|
61
|
+
label: "✓",
|
|
62
|
+
text: `answered · keiyaku history ${status.answerHistoryId ?? ""} --last`.trim(),
|
|
63
|
+
}];
|
|
64
|
+
}
|
|
65
|
+
if (status.failure !== undefined) {
|
|
66
|
+
return [{
|
|
67
|
+
...(status.outcomeAt === undefined ? {} : { at: status.outcomeAt }),
|
|
68
|
+
label: "!",
|
|
69
|
+
text: `failed · ${status.failure}`,
|
|
70
|
+
}];
|
|
71
|
+
}
|
|
72
|
+
return [];
|
|
73
|
+
}
|
|
74
|
+
function statusItems(status) {
|
|
75
|
+
return [
|
|
76
|
+
...status.activity.rows.map(activityItem),
|
|
77
|
+
...pendingItems(status),
|
|
78
|
+
...outcomeItems(status),
|
|
79
|
+
];
|
|
80
|
+
}
|
|
81
|
+
function omission(status) {
|
|
82
|
+
return status.activity.omitted === 0
|
|
83
|
+
? []
|
|
84
|
+
: [` ⋮ +${status.activity.omitted}`];
|
|
85
|
+
}
|
|
86
|
+
function statusText(status, facts = []) {
|
|
87
|
+
return [
|
|
88
|
+
ruler([`${mark(status.life)} ${status.id}`]),
|
|
89
|
+
...facts,
|
|
90
|
+
...omission(status),
|
|
91
|
+
...renderSpine(statusItems(status)),
|
|
92
|
+
].join("\n");
|
|
93
|
+
}
|
|
94
|
+
function historyItems(history) {
|
|
95
|
+
const activity = history.rows.map((row) => ({ ...activityItem(row), index: row.sequence }));
|
|
96
|
+
const boundaries = history.turns.map((turn) => turn.outcome.kind === "answered"
|
|
97
|
+
? { at: turn.completedAt, label: "✓", text: `answered · keiyaku history ${turn.outcome.historyId} --last` }
|
|
98
|
+
: { at: turn.completedAt, label: "!", text: `failed · ${turn.outcome.diagnostic}` });
|
|
99
|
+
return [...activity, ...boundaries].sort((left, right) => {
|
|
100
|
+
const leftAt = left.at === undefined ? Number.POSITIVE_INFINITY : Date.parse(left.at);
|
|
101
|
+
const rightAt = right.at === undefined ? Number.POSITIVE_INFINITY : Date.parse(right.at);
|
|
102
|
+
return (Number.isFinite(leftAt) ? leftAt : Number.POSITIVE_INFINITY)
|
|
103
|
+
- (Number.isFinite(rightAt) ? rightAt : Number.POSITIVE_INFINITY);
|
|
104
|
+
});
|
|
105
|
+
}
|
|
106
|
+
function historyText(command, result) {
|
|
107
|
+
if (command.last)
|
|
108
|
+
return result.answer ?? "";
|
|
109
|
+
const history = result.history;
|
|
110
|
+
const scope = command.before === undefined && command.since === undefined
|
|
111
|
+
? "history"
|
|
112
|
+
: `history ── ${command.before === undefined ? `since ${command.since}` : `before ${command.before}`}`;
|
|
113
|
+
const lines = [ruler([result.akuma, scope])];
|
|
114
|
+
const first = history.rows[0]?.sequence;
|
|
115
|
+
const last = history.rows.at(-1)?.sequence;
|
|
116
|
+
if (history.hasEarlier && first !== undefined) {
|
|
117
|
+
lines.push(` ⋮ ${history.omitted} earlier · keiyaku history ${result.akuma} --before ${first}`);
|
|
118
|
+
}
|
|
119
|
+
else if (history.historyLost) {
|
|
120
|
+
lines.push(" ⋮ earlier history no longer kept");
|
|
121
|
+
}
|
|
122
|
+
if (history.hasLater && last !== undefined) {
|
|
123
|
+
lines.push(` ⋮ more · keiyaku history ${result.akuma} --since ${last}`);
|
|
124
|
+
}
|
|
125
|
+
if (command.since !== undefined && history.rows.length === 0) {
|
|
126
|
+
lines.push(` ⋮ no activity since ${command.since}`);
|
|
127
|
+
}
|
|
128
|
+
lines.push(...renderSpine(historyItems(history)));
|
|
129
|
+
return lines.join("\n");
|
|
130
|
+
}
|
|
131
|
+
function waitText(status) {
|
|
132
|
+
if (status.life === "running")
|
|
133
|
+
return statusText(status);
|
|
134
|
+
if (status.answer !== undefined)
|
|
135
|
+
return status.answer;
|
|
136
|
+
if (status.failure !== undefined)
|
|
137
|
+
return `failure ${status.failure}`;
|
|
138
|
+
return statusText(status);
|
|
139
|
+
}
|
|
140
|
+
function wakeFailure(receipt) {
|
|
141
|
+
return typeof receipt.wake === "string" ? null : `wake failed: ${safeText(receipt.wake.diagnostic)}`;
|
|
142
|
+
}
|
|
143
|
+
function tellText(status, receipt) {
|
|
144
|
+
const failure = wakeFailure(receipt);
|
|
145
|
+
return failure === null ? statusText(status) : `${statusText(status)}\n${failure}`;
|
|
146
|
+
}
|
|
147
|
+
function dispatchLines(stage) {
|
|
148
|
+
if (stage.kind === "none")
|
|
149
|
+
return [];
|
|
150
|
+
if (stage.kind === "dispatched")
|
|
151
|
+
return [`dispatch ${stage.dispatch.contractId}`];
|
|
152
|
+
const failure = stage.failure;
|
|
153
|
+
if (failure.kind === "conflict") {
|
|
154
|
+
return [`dispatch failed conflict ${failure.current.contractId}`];
|
|
155
|
+
}
|
|
156
|
+
if (failure.kind === "contention")
|
|
157
|
+
return ["dispatch failed contention"];
|
|
158
|
+
return [`dispatch failed ${failure.kind} ${safeText(failure.diagnostic)}`];
|
|
159
|
+
}
|
|
160
|
+
function callText(result) {
|
|
161
|
+
const called = result.result;
|
|
162
|
+
const stages = [...dispatchLines(called.dispatch)];
|
|
163
|
+
if (called.alias.kind === "aliased")
|
|
164
|
+
stages.push(`alias ${called.alias.alias.alias}`);
|
|
165
|
+
else if (called.alias.kind === "failed") {
|
|
166
|
+
stages.push(`alias failed ${called.alias.failure.kind} ${safeText(called.alias.failure.diagnostic)}`);
|
|
167
|
+
}
|
|
168
|
+
if (called.observation.kind === "detached")
|
|
169
|
+
return [called.akuma, ...stages].join("\n");
|
|
170
|
+
if (called.observation.kind === "failed") {
|
|
171
|
+
return [
|
|
172
|
+
called.akuma,
|
|
173
|
+
...stages,
|
|
174
|
+
`wait failed ${called.observation.failure.kind} ${safeText(called.observation.failure.diagnostic)}`,
|
|
175
|
+
].join("\n");
|
|
176
|
+
}
|
|
177
|
+
const status = called.observation.status;
|
|
178
|
+
if (status.answer !== undefined || status.failure !== undefined) {
|
|
179
|
+
return [called.akuma, ...stages, waitText(status)].join("\n");
|
|
180
|
+
}
|
|
181
|
+
return statusText(status, stages);
|
|
182
|
+
}
|
|
183
|
+
export function renderAkumaText(command, result) {
|
|
184
|
+
switch (result.action) {
|
|
185
|
+
case "call": return callText(result);
|
|
186
|
+
case "status": return statusText(result.status);
|
|
187
|
+
case "wait": return waitText(result.status);
|
|
188
|
+
case "tell": return tellText(result.status, result.receipt);
|
|
189
|
+
case "interrupt": {
|
|
190
|
+
const receipt = result.receipt;
|
|
191
|
+
if (receipt.kind === "dead")
|
|
192
|
+
return `${result.akuma} interrupt dead`;
|
|
193
|
+
if (receipt.kind === "unstoppable")
|
|
194
|
+
return `${result.akuma} interrupt unstoppable ${receipt.evidence}`;
|
|
195
|
+
if ("kind" in receipt.tell)
|
|
196
|
+
return `${result.akuma} interrupted ${receipt.putDown} · tell refused: dead`;
|
|
197
|
+
const failure = wakeFailure(receipt.tell);
|
|
198
|
+
return `${result.akuma} interrupted ${receipt.putDown}${failure === null ? "" : ` · ${failure}`}`;
|
|
199
|
+
}
|
|
200
|
+
case "history": return historyText(command, result);
|
|
201
|
+
case "fork": {
|
|
202
|
+
const receipt = result.receipt;
|
|
203
|
+
if (receipt.kind === "forked")
|
|
204
|
+
return [receipt.child, ...dispatchLines(receipt.dispatch)].join("\n");
|
|
205
|
+
if (receipt.kind === "provider-cannot-fork")
|
|
206
|
+
return `${receipt.provider} cannot fork`;
|
|
207
|
+
if (receipt.kind === "unknown-history")
|
|
208
|
+
return `${receipt.at} has no matching retained answered turn`;
|
|
209
|
+
if (receipt.kind === "fork-failed")
|
|
210
|
+
return receipt.diagnostic;
|
|
211
|
+
return `session ${receipt.childSession.sessionId}\n${receipt.diagnostic}`;
|
|
212
|
+
}
|
|
213
|
+
case "kill": return `${result.id} ${result.evidence}`;
|
|
214
|
+
}
|
|
215
|
+
}
|
|
216
|
+
export function akumaExitCode(result) {
|
|
217
|
+
if (result.action === "call"
|
|
218
|
+
&& (result.result.dispatch.kind === "failed"
|
|
219
|
+
|| result.result.alias.kind === "failed"
|
|
220
|
+
|| result.result.observation.kind === "failed"))
|
|
221
|
+
return 2;
|
|
222
|
+
if (result.action === "kill" && (result.evidence === "unavailable" || result.evidence === "alive-after-sigkill"))
|
|
223
|
+
return 1;
|
|
224
|
+
if (result.action === "tell" && typeof result.receipt.wake !== "string")
|
|
225
|
+
return 2;
|
|
226
|
+
if (result.action === "interrupt") {
|
|
227
|
+
if (result.receipt.kind !== "interrupted" || "kind" in result.receipt.tell)
|
|
228
|
+
return 1;
|
|
229
|
+
if (typeof result.receipt.tell.wake !== "string")
|
|
230
|
+
return 2;
|
|
231
|
+
}
|
|
232
|
+
if (result.action === "fork") {
|
|
233
|
+
if (result.receipt.kind === "forked")
|
|
234
|
+
return result.receipt.dispatch.kind === "failed" ? 2 : 0;
|
|
235
|
+
return result.receipt.kind === "upstream-forked" ? 2 : 1;
|
|
236
|
+
}
|
|
237
|
+
return 0;
|
|
238
|
+
}
|
|
239
|
+
export function akumaJsonValue(command, result) {
|
|
240
|
+
if (result.action === "call")
|
|
241
|
+
return result.result;
|
|
242
|
+
if (result.action === "fork")
|
|
243
|
+
return result.receipt;
|
|
244
|
+
if (result.action === "status" || result.action === "wait")
|
|
245
|
+
return result.status;
|
|
246
|
+
if (result.action === "tell")
|
|
247
|
+
return { receipt: result.receipt, status: result.status };
|
|
248
|
+
if (result.action === "history")
|
|
249
|
+
return command.command === "history" && command.last ? result.answer ?? "" : result.history;
|
|
250
|
+
return result;
|
|
251
|
+
}
|
|
252
|
+
export function renderAkumaJson(command, result) {
|
|
253
|
+
return JSON.stringify(akumaJsonValue(command, result));
|
|
254
|
+
}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
import type { AcceptedResult, RetryResult } from "../result.js";
|
|
2
|
+
export declare function obligationLines(value: Pick<AcceptedResult, "verification" | "placement" | "leak">): readonly string[];
|
|
3
|
+
export declare function renderAccepted(result: AcceptedResult): string;
|
|
4
|
+
export declare function renderRetry(result: RetryResult): string;
|
|
@@ -0,0 +1,69 @@
|
|
|
1
|
+
function effectLine(effect) {
|
|
2
|
+
if (effect.kind === "worktree")
|
|
3
|
+
return `effect worktree ${effect.action} ${effect.path}`.trimEnd();
|
|
4
|
+
return `effect ref ${effect.action} ${effect.name} ${effect.before ?? "null"} -> ${effect.after ?? "null"}`;
|
|
5
|
+
}
|
|
6
|
+
function lagLine(lag) {
|
|
7
|
+
if (lag.kind === "worktree-retained")
|
|
8
|
+
return `lag worktree-retained ${lag.path}`;
|
|
9
|
+
if (lag.kind === "worktree-hook-failed") {
|
|
10
|
+
return `lag worktree-hook-failed ${lag.phase} ${lag.path} command=${lag.command} ${JSON.stringify(lag.failure)}`;
|
|
11
|
+
}
|
|
12
|
+
return `lag reconcile-failed ${lag.stage} ${lag.diagnostic}`;
|
|
13
|
+
}
|
|
14
|
+
function leakLine(leak) {
|
|
15
|
+
if (leak === undefined)
|
|
16
|
+
return undefined;
|
|
17
|
+
return `leak worktree ${leak.path} ${leak.diagnostic}`;
|
|
18
|
+
}
|
|
19
|
+
export function obligationLines(value) {
|
|
20
|
+
const lines = [];
|
|
21
|
+
for (const name of ["verification", "placement"]) {
|
|
22
|
+
const stop = value[name];
|
|
23
|
+
if (stop === undefined)
|
|
24
|
+
continue;
|
|
25
|
+
lines.push(`stop ${name} ${JSON.stringify(stop)}`);
|
|
26
|
+
}
|
|
27
|
+
const leak = leakLine(value.leak);
|
|
28
|
+
if (leak !== undefined)
|
|
29
|
+
lines.push(leak);
|
|
30
|
+
return lines;
|
|
31
|
+
}
|
|
32
|
+
export function renderAccepted(result) {
|
|
33
|
+
const lines = [`accepted ${result.verb} ${result.contract} head=${result.head ?? "null"}`];
|
|
34
|
+
if (result.target !== undefined)
|
|
35
|
+
lines.push(`target ${result.target ?? "null"}`);
|
|
36
|
+
for (const fact of result.facts)
|
|
37
|
+
lines.push(`fact ${fact.contract} ${fact.entry} ${fact.kind}`);
|
|
38
|
+
lines.push(...obligationLines(result));
|
|
39
|
+
const reportLeak = leakLine(result.report?.leak);
|
|
40
|
+
if (reportLeak !== undefined)
|
|
41
|
+
lines.push(reportLeak);
|
|
42
|
+
for (const overlap of result.overlaps ?? []) {
|
|
43
|
+
for (const pattern of overlap.patterns) {
|
|
44
|
+
lines.push(`overlap ${overlap.contract} ${pattern.mine} ~ ${pattern.theirs}`);
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
if (result.overlapFailure !== undefined)
|
|
48
|
+
lines.push(`overlap unavailable ${result.overlapFailure}`);
|
|
49
|
+
if (result.report !== undefined)
|
|
50
|
+
lines.push(`report ${JSON.stringify(result.report)}`);
|
|
51
|
+
if (result.diff !== undefined)
|
|
52
|
+
lines.push(typeof result.diff === "string" ? result.diff : JSON.stringify(result.diff));
|
|
53
|
+
for (const effect of result.effects)
|
|
54
|
+
lines.push(effectLine(effect));
|
|
55
|
+
for (const lag of result.lag ?? [])
|
|
56
|
+
lines.push(lagLine(lag));
|
|
57
|
+
for (const action of result.settlement.actions) {
|
|
58
|
+
lines.push(action.kind === "task"
|
|
59
|
+
? `settlement task ${action.action} ${action.taskId}`
|
|
60
|
+
: `settlement namespace-context ${action.action} ${action.path}`);
|
|
61
|
+
}
|
|
62
|
+
for (const lag of result.settlement.lags)
|
|
63
|
+
lines.push(`settlement lag ${JSON.stringify(lag)}`);
|
|
64
|
+
return lines.join("\n");
|
|
65
|
+
}
|
|
66
|
+
export function renderRetry(result) {
|
|
67
|
+
const contract = result.contract === undefined ? "" : ` ${result.contract}`;
|
|
68
|
+
return `retry ${result.verb}${contract} ${JSON.stringify(result.detail)}`;
|
|
69
|
+
}
|
|
@@ -0,0 +1,204 @@
|
|
|
1
|
+
import { displayColumns, renderTextBlock, safeText, tone } from "./terminal.js";
|
|
2
|
+
function contractMark(phase) {
|
|
3
|
+
if (phase === "claimed")
|
|
4
|
+
return "✓";
|
|
5
|
+
if (phase === "abandoned")
|
|
6
|
+
return "×";
|
|
7
|
+
if (phase === "waiting" || phase === "pending-delivery")
|
|
8
|
+
return "⧗";
|
|
9
|
+
return "●";
|
|
10
|
+
}
|
|
11
|
+
function taskMark(row) {
|
|
12
|
+
if (row.disposition === "done")
|
|
13
|
+
return "✓";
|
|
14
|
+
if (row.disposition === "drop")
|
|
15
|
+
return "×";
|
|
16
|
+
if (row.disposition === "on_hold")
|
|
17
|
+
return "‖";
|
|
18
|
+
if (row.disposition === "in_progress")
|
|
19
|
+
return "●";
|
|
20
|
+
return row.disposition === "blocked" ? "⧗" : "○";
|
|
21
|
+
}
|
|
22
|
+
function akumaMark(life) {
|
|
23
|
+
if (life === "running")
|
|
24
|
+
return "●";
|
|
25
|
+
if (life === "stillborn")
|
|
26
|
+
return "!";
|
|
27
|
+
if (life === "asleep" || life === "dead")
|
|
28
|
+
return "○";
|
|
29
|
+
return "?";
|
|
30
|
+
}
|
|
31
|
+
function gateMark(report) {
|
|
32
|
+
if (report.current.kind !== "attested")
|
|
33
|
+
return "?";
|
|
34
|
+
return report.current.verdict === "satisfied" ? "✓" : "!";
|
|
35
|
+
}
|
|
36
|
+
function hotFirst(rows, hot) {
|
|
37
|
+
return [...rows.filter(hot), ...rows.filter((row) => !hot(row))];
|
|
38
|
+
}
|
|
39
|
+
function wrapChain(parts, columns) {
|
|
40
|
+
if (parts.length === 0)
|
|
41
|
+
return [];
|
|
42
|
+
const lines = [];
|
|
43
|
+
let current = " ";
|
|
44
|
+
for (const part of parts.map(safeText)) {
|
|
45
|
+
const candidate = current === " " ? `${current}${part}` : `${current} · ${part}`;
|
|
46
|
+
if (current !== " " && displayColumns(candidate) > columns) {
|
|
47
|
+
lines.push(current);
|
|
48
|
+
current = ` ${part}`;
|
|
49
|
+
}
|
|
50
|
+
else
|
|
51
|
+
current = candidate;
|
|
52
|
+
}
|
|
53
|
+
lines.push(current);
|
|
54
|
+
return lines;
|
|
55
|
+
}
|
|
56
|
+
function wrapHeading(primary, facts, columns) {
|
|
57
|
+
const head = safeText(primary);
|
|
58
|
+
const lines = [];
|
|
59
|
+
let current = head;
|
|
60
|
+
for (const fact of facts.map(safeText)) {
|
|
61
|
+
const candidate = `${current} · ${fact}`;
|
|
62
|
+
if (displayColumns(candidate) > columns) {
|
|
63
|
+
lines.push(current);
|
|
64
|
+
current = ` ${fact}`;
|
|
65
|
+
}
|
|
66
|
+
else
|
|
67
|
+
current = candidate;
|
|
68
|
+
}
|
|
69
|
+
lines.push(current);
|
|
70
|
+
return lines;
|
|
71
|
+
}
|
|
72
|
+
function renderGates(reports, context, includeSummaries) {
|
|
73
|
+
const lines = [...wrapChain(reports.map((report) => `${gateMark(report)} ${safeText(report.gate)}`), context.columns)];
|
|
74
|
+
if (!includeSummaries)
|
|
75
|
+
return lines;
|
|
76
|
+
for (const report of reports) {
|
|
77
|
+
if (report.current.kind !== "attested" || report.current.summary === undefined)
|
|
78
|
+
continue;
|
|
79
|
+
lines.push(...renderTextBlock(`${safeText(report.gate)}: ${report.current.summary}`, " ", context.columns)
|
|
80
|
+
.map((line) => tone(line, "dim", context.color)));
|
|
81
|
+
}
|
|
82
|
+
return lines;
|
|
83
|
+
}
|
|
84
|
+
function failure(name, section, context) {
|
|
85
|
+
return `${name} failed\n${tone(`! ${safeText(section.failure.message)}`, "alert", context.color)}`;
|
|
86
|
+
}
|
|
87
|
+
function renderContracts(report, context, selection) {
|
|
88
|
+
const section = report.contracts;
|
|
89
|
+
if (section.kind === "absent")
|
|
90
|
+
return "keiyaku absent";
|
|
91
|
+
if (section.kind === "failed")
|
|
92
|
+
return failure("keiyaku", section, context);
|
|
93
|
+
const rows = hotFirst(section.value.rows, (row) => row.phase === "waiting" || row.phase === "pending-delivery");
|
|
94
|
+
const lines = [`keiyaku ${rows.length}`];
|
|
95
|
+
for (const row of rows) {
|
|
96
|
+
const facts = [
|
|
97
|
+
row.workspace,
|
|
98
|
+
...(row.candidate === null ? [] : [`candidate ${safeText(row.candidate).slice(0, 8)}`]),
|
|
99
|
+
...(row.target === null ? [] : [`-> ${row.target}`]),
|
|
100
|
+
];
|
|
101
|
+
lines.push(`${contractMark(row.phase)} ${safeText(row.id)} ${row.phase}`);
|
|
102
|
+
lines.push(...wrapChain(facts, context.columns));
|
|
103
|
+
lines.push(...renderGates(row.gates.reports, context, selection === "contract"));
|
|
104
|
+
}
|
|
105
|
+
return lines.join("\n");
|
|
106
|
+
}
|
|
107
|
+
function renderTasks(report, context) {
|
|
108
|
+
const section = report.tasks;
|
|
109
|
+
if (section.kind === "absent")
|
|
110
|
+
return "task absent";
|
|
111
|
+
if (section.kind === "failed")
|
|
112
|
+
return failure("task", section, context);
|
|
113
|
+
const active = section.value.rows.filter((row) => row.disposition !== "done" && row.disposition !== "drop");
|
|
114
|
+
const ready = active.filter((row) => row.disposition === "ready").length;
|
|
115
|
+
const onHold = active.filter((row) => row.disposition === "on_hold").length;
|
|
116
|
+
const visible = hotFirst(active.filter((row) => row.disposition === "in_progress" || row.disposition === "blocked"), (row) => row.disposition === "blocked");
|
|
117
|
+
const lines = [...wrapHeading(`task ${active.length}`, [`${ready} ready`, `${onHold} held`], context.columns)];
|
|
118
|
+
for (const row of visible) {
|
|
119
|
+
const contract = row.contract === undefined ? [] : [`keiyaku ${row.contract.id} (${row.contract.observed})`];
|
|
120
|
+
lines.push(`${taskMark(row)} ${safeText(row.id)} ${row.disposition}`);
|
|
121
|
+
lines.push(...renderTextBlock(row.title, " ", context.columns));
|
|
122
|
+
lines.push(...wrapChain([`P${row.priority}`, ...contract], context.columns));
|
|
123
|
+
}
|
|
124
|
+
return lines.join("\n");
|
|
125
|
+
}
|
|
126
|
+
function isLost(life) {
|
|
127
|
+
return life === "stranded" || life === "headless";
|
|
128
|
+
}
|
|
129
|
+
function akumaPriority(row) {
|
|
130
|
+
if (isLost(row.life) || row.life === "stillborn")
|
|
131
|
+
return 0;
|
|
132
|
+
return row.life === "running" ? 1 : 2;
|
|
133
|
+
}
|
|
134
|
+
function firstLine(value) {
|
|
135
|
+
return value.split(/[\r\n\u2028\u2029]/u, 1)[0] ?? "";
|
|
136
|
+
}
|
|
137
|
+
function truncateDisplay(value, columns) {
|
|
138
|
+
if (displayColumns(value) <= columns)
|
|
139
|
+
return value;
|
|
140
|
+
if (columns <= 0)
|
|
141
|
+
return "";
|
|
142
|
+
const ellipsis = "…";
|
|
143
|
+
if (columns <= displayColumns(ellipsis))
|
|
144
|
+
return ellipsis;
|
|
145
|
+
let result = "";
|
|
146
|
+
let used = 0;
|
|
147
|
+
for (const character of value) {
|
|
148
|
+
const width = displayColumns(character);
|
|
149
|
+
if (used + width + displayColumns(ellipsis) > columns)
|
|
150
|
+
break;
|
|
151
|
+
result += character;
|
|
152
|
+
used += width;
|
|
153
|
+
}
|
|
154
|
+
return `${result}${ellipsis}`;
|
|
155
|
+
}
|
|
156
|
+
function bornFacts(row) {
|
|
157
|
+
if (!("pending" in row) || (row.life !== "running" && !isLost(row.life)))
|
|
158
|
+
return [];
|
|
159
|
+
const confinement = row.confinement.kind === "unconfined"
|
|
160
|
+
? ["unconfined"]
|
|
161
|
+
: row.confinement.writableRoots.map((root, index) => index === 0 ? `writes ${root}` : root);
|
|
162
|
+
return [
|
|
163
|
+
...(row.pending.length === 0 ? [] : [`pending ${row.pending.length}`]),
|
|
164
|
+
...confinement,
|
|
165
|
+
];
|
|
166
|
+
}
|
|
167
|
+
function stillbornEvidence(row, columns) {
|
|
168
|
+
if (row.life !== "stillborn" || !("seal" in row) || row.seal === undefined)
|
|
169
|
+
return null;
|
|
170
|
+
const prefix = " seal ";
|
|
171
|
+
const evidence = safeText(firstLine(row.seal.evidence)).trim();
|
|
172
|
+
if (evidence.length === 0)
|
|
173
|
+
return null;
|
|
174
|
+
return `${prefix}${truncateDisplay(evidence, Math.max(0, columns - displayColumns(prefix)))}`;
|
|
175
|
+
}
|
|
176
|
+
function renderAkuma(report, context) {
|
|
177
|
+
const section = report.akuma;
|
|
178
|
+
if (section.kind === "absent")
|
|
179
|
+
return "akuma absent";
|
|
180
|
+
if (section.kind === "failed")
|
|
181
|
+
return failure("akuma", section, context);
|
|
182
|
+
const rows = [
|
|
183
|
+
...section.value.rows.filter((row) => akumaPriority(row) === 0),
|
|
184
|
+
...section.value.rows.filter((row) => akumaPriority(row) === 1),
|
|
185
|
+
...section.value.rows.filter((row) => akumaPriority(row) === 2),
|
|
186
|
+
];
|
|
187
|
+
const lines = [`akuma ${rows.length}`];
|
|
188
|
+
for (const row of rows) {
|
|
189
|
+
lines.push(`${akumaMark(row.life)} ${safeText(row.id)} ${row.life}`);
|
|
190
|
+
lines.push(...wrapChain(bornFacts(row), context.columns));
|
|
191
|
+
const evidence = stillbornEvidence(row, context.columns);
|
|
192
|
+
if (evidence !== null)
|
|
193
|
+
lines.push(evidence);
|
|
194
|
+
}
|
|
195
|
+
return lines.join("\n");
|
|
196
|
+
}
|
|
197
|
+
export function renderKanshiText(report, context = { columns: 80, color: false }, selection = "world") {
|
|
198
|
+
return [
|
|
199
|
+
`kanshi ${safeText(report.root)}`,
|
|
200
|
+
renderContracts(report, context, selection),
|
|
201
|
+
renderTasks(report, context),
|
|
202
|
+
renderAkuma(report, context),
|
|
203
|
+
].join("\n\n");
|
|
204
|
+
}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
function namespaceNames(value) {
|
|
2
|
+
return [...new Set([value.scopes.user, value.scopes.project].flatMap((scope) => scope.kind === "read" ? scope.namespaces : []))].sort();
|
|
3
|
+
}
|
|
4
|
+
function scope(name, value) {
|
|
5
|
+
const path = value.path === undefined ? "" : ` ${value.path}`;
|
|
6
|
+
return value.kind === "failed"
|
|
7
|
+
? `${name} failed${path} ${value.diagnostic}`
|
|
8
|
+
: `${name} ${value.kind}${path}`;
|
|
9
|
+
}
|
|
10
|
+
export function settingsJsonValue(value) {
|
|
11
|
+
return {
|
|
12
|
+
scopes: value.scopes,
|
|
13
|
+
namespaces: namespaceNames(value).map((name) => value.namespace(name)),
|
|
14
|
+
};
|
|
15
|
+
}
|
|
16
|
+
export function renderSettingsText(value) {
|
|
17
|
+
const lines = [scope("user", value.scopes.user), scope("project", value.scopes.project)];
|
|
18
|
+
for (const name of namespaceNames(value)) {
|
|
19
|
+
const view = value.namespace(name);
|
|
20
|
+
lines.push(`namespace ${name} ${view.kind}`);
|
|
21
|
+
if (view.kind === "failed") {
|
|
22
|
+
for (const failure of view.failures)
|
|
23
|
+
lines.push(`failure ${failure.scope} ${failure.diagnostic}`);
|
|
24
|
+
}
|
|
25
|
+
for (const entry of view.entries) {
|
|
26
|
+
lines.push(`entry ${entry.name} ${entry.source}${entry.shadows ? " shadows user" : ""} ${JSON.stringify(entry.value)}`);
|
|
27
|
+
}
|
|
28
|
+
}
|
|
29
|
+
return lines.join("\n");
|
|
30
|
+
}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import type { TaskCompositionResult } from "../../task/index.js";
|
|
2
|
+
import type { TaskInvocationResult } from "../commands/task-invoke.js";
|
|
3
|
+
import type { ParsedTaskCommand } from "../commands/task.js";
|
|
4
|
+
export declare function renderTaskText(command: ParsedTaskCommand, result: TaskInvocationResult): string;
|
|
5
|
+
export declare function renderTaskIncompleteDiagnostic(result: TaskCompositionResult): string;
|
|
6
|
+
export declare function taskExitCode(result: TaskInvocationResult): number;
|