@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,64 +0,0 @@
|
|
|
1
|
-
import * as crypto from "node:crypto";
|
|
2
|
-
import * as fs from "node:fs";
|
|
3
|
-
import * as path from "node:path";
|
|
4
|
-
import { isErrnoException } from "../errno.js";
|
|
5
|
-
export class ProjectionStateError extends Error {
|
|
6
|
-
code = "PROJECTION_STATE_ERROR";
|
|
7
|
-
constructor(message, options) {
|
|
8
|
-
super(message, options);
|
|
9
|
-
this.name = "ProjectionStateError";
|
|
10
|
-
}
|
|
11
|
-
}
|
|
12
|
-
export function randomHex8() {
|
|
13
|
-
return crypto.randomBytes(4).toString("hex");
|
|
14
|
-
}
|
|
15
|
-
/**
|
|
16
|
-
* Atomic publish: O_EXCL temp write → linkSync temp→target → unlink temp.
|
|
17
|
-
* link EEXIST returns 'taken' (no retry). Temp EEXIST retries up to maxTempRetries.
|
|
18
|
-
* No startup .tmp.* GC; orphan temps are left behind on unlink failure.
|
|
19
|
-
*/
|
|
20
|
-
export function atomicPublishFile(target, content, maxTempRetries = 3, options) {
|
|
21
|
-
if (!Number.isInteger(maxTempRetries) || maxTempRetries < 1) {
|
|
22
|
-
throw new ProjectionStateError("maxTempRetries must be a positive integer");
|
|
23
|
-
}
|
|
24
|
-
const directory = path.dirname(target);
|
|
25
|
-
const randomHex = options?.randomHex ?? randomHex8;
|
|
26
|
-
let tempPath;
|
|
27
|
-
for (let attempt = 0; attempt < maxTempRetries; attempt += 1) {
|
|
28
|
-
const candidate = path.join(directory, `.tmp.${randomHex()}`);
|
|
29
|
-
try {
|
|
30
|
-
fs.writeFileSync(candidate, content, { flag: "wx" });
|
|
31
|
-
tempPath = candidate;
|
|
32
|
-
break;
|
|
33
|
-
}
|
|
34
|
-
catch (error) {
|
|
35
|
-
if (isErrnoException(error) && error.code === "EEXIST") {
|
|
36
|
-
continue;
|
|
37
|
-
}
|
|
38
|
-
throw error;
|
|
39
|
-
}
|
|
40
|
-
}
|
|
41
|
-
if (tempPath === undefined) {
|
|
42
|
-
throw new ProjectionStateError(`failed to create exclusive temp file for ${target} after ${maxTempRetries} retries (PROJECTION_STATE_ERROR)`);
|
|
43
|
-
}
|
|
44
|
-
try {
|
|
45
|
-
try {
|
|
46
|
-
fs.linkSync(tempPath, target);
|
|
47
|
-
return "published";
|
|
48
|
-
}
|
|
49
|
-
catch (error) {
|
|
50
|
-
if (isErrnoException(error) && error.code === "EEXIST") {
|
|
51
|
-
return "taken";
|
|
52
|
-
}
|
|
53
|
-
throw error;
|
|
54
|
-
}
|
|
55
|
-
}
|
|
56
|
-
finally {
|
|
57
|
-
try {
|
|
58
|
-
fs.unlinkSync(tempPath);
|
|
59
|
-
}
|
|
60
|
-
catch {
|
|
61
|
-
// Orphan temp is allowed; no GC.
|
|
62
|
-
}
|
|
63
|
-
}
|
|
64
|
-
}
|
|
@@ -1,141 +0,0 @@
|
|
|
1
|
-
import * as fs from "node:fs/promises";
|
|
2
|
-
import * as os from "node:os";
|
|
3
|
-
import * as path from "node:path";
|
|
4
|
-
import { FlowError, asMessage } from "../../flow-error.js";
|
|
5
|
-
import { requireCommitCoordinate } from "../../git/commits.js";
|
|
6
|
-
import { createGit } from "../../git/core.js";
|
|
7
|
-
import { readStructuredDiff } from "../../git/diff/structured.js";
|
|
8
|
-
import { abortDetachedRenewChain, buildDetachedRenewChain, renewScratchName } from "../renew-rewrite.js";
|
|
9
|
-
import { isBootstrapSuccess, runWorktreeBootstrap } from "../worktree-bootstrap.js";
|
|
10
|
-
export async function createAuditCandidate(input) {
|
|
11
|
-
const cwd = await fs.mkdtemp(path.join(os.tmpdir(), "keiyaku-audit-"));
|
|
12
|
-
const git = createGit(input.root);
|
|
13
|
-
try {
|
|
14
|
-
await git.raw(["clone", "--quiet", "--no-hardlinks", "--no-checkout", input.root, cwd]);
|
|
15
|
-
const candidateGit = createGit(cwd);
|
|
16
|
-
await candidateGit.raw(["config", "user.name", "Keiyaku Audit"]);
|
|
17
|
-
await candidateGit.raw(["config", "user.email", "audit@keiyaku.invalid"]);
|
|
18
|
-
await candidateGit.raw(["checkout", "--quiet", "-B", `keiyaku/${input.contractId}`, input.frozen.coordinates.delivery.head]);
|
|
19
|
-
if (input.frozen.base === input.frozen.coordinates.target.head)
|
|
20
|
-
return { cwd, rehearsal: { status: "fresh" }, candidate: { base: input.frozen.coordinates.target.head, head: input.frozen.coordinates.delivery.head, tree: input.frozen.coordinates.delivery.tree, rewritten: false } };
|
|
21
|
-
const scratchName = renewScratchName(`audit-${input.contractId}-${input.frozen.coordinates.delivery.head}`);
|
|
22
|
-
const deliveryCommits = (await candidateGit.raw(["rev-list", "--reverse", "--ancestry-path", `${input.frozen.base}..${input.frozen.coordinates.delivery.head}`])).split(/\r?\n/).filter(Boolean);
|
|
23
|
-
const rewrite = await buildDetachedRenewChain({
|
|
24
|
-
cwd,
|
|
25
|
-
scratchName,
|
|
26
|
-
observedLedgerHead: input.frozen.repository.observedLedgerHead,
|
|
27
|
-
lifecycleHead: input.frozen.lifecycle.contractHead,
|
|
28
|
-
deliveryRef: input.frozen.coordinates.delivery.ref,
|
|
29
|
-
targetRef: input.frozen.coordinates.target.ref,
|
|
30
|
-
effectiveScope: input.frozen.scope,
|
|
31
|
-
oldBase: input.frozen.base,
|
|
32
|
-
oldHead: input.frozen.coordinates.delivery.head,
|
|
33
|
-
newBase: input.frozen.coordinates.target.head,
|
|
34
|
-
deliveryCommits,
|
|
35
|
-
});
|
|
36
|
-
if (rewrite.status === "conflict") {
|
|
37
|
-
await abortDetachedRenewChain({ cwd, scratchName });
|
|
38
|
-
return { cwd, rehearsal: { status: "conflict", paths: [...rewrite.conflictPaths], pathCapture: "captured" }, candidate: null };
|
|
39
|
-
}
|
|
40
|
-
await candidateGit.raw(["reset", "--hard", rewrite.newHead]);
|
|
41
|
-
const coordinate = await requireCommitCoordinate(cwd, "HEAD");
|
|
42
|
-
return { cwd, rehearsal: { status: "clean", oldBase: input.frozen.base, newBase: input.frozen.coordinates.target.head, oldHead: input.frozen.coordinates.delivery.head }, candidate: { base: input.frozen.coordinates.target.head, head: coordinate.commit, tree: coordinate.tree, rewritten: true } };
|
|
43
|
-
}
|
|
44
|
-
catch (error) {
|
|
45
|
-
return { cwd, rehearsal: { status: "unknown", cause: { code: error instanceof FlowError ? error.code : "INTERNAL_STATE", message: asMessage(error) } }, candidate: null };
|
|
46
|
-
}
|
|
47
|
-
}
|
|
48
|
-
export async function disposeAuditCandidate(candidate) { await fs.rm(candidate.cwd, { recursive: true, force: true }); }
|
|
49
|
-
export async function readAuditCandidateDiff(candidateResult) {
|
|
50
|
-
const candidate = candidateResult.candidate;
|
|
51
|
-
if (!candidate)
|
|
52
|
-
return null;
|
|
53
|
-
return readStructuredDiff(candidateResult.cwd, candidate.base, candidate.head);
|
|
54
|
-
}
|
|
55
|
-
async function readCandidateIntegrity(cwd) {
|
|
56
|
-
const [coordinate, status] = await Promise.all([
|
|
57
|
-
requireCommitCoordinate(cwd, "HEAD"),
|
|
58
|
-
createGit(cwd).raw(["status", "--porcelain=v1", "-z", "--untracked-files=no"]),
|
|
59
|
-
]);
|
|
60
|
-
return { head: coordinate.commit, tree: coordinate.tree, trackedChanges: status.split("\0").filter(Boolean) };
|
|
61
|
-
}
|
|
62
|
-
function preparationPlan(plan) {
|
|
63
|
-
return { command: [...plan.command], timeoutMs: plan.timeoutMs };
|
|
64
|
-
}
|
|
65
|
-
function preparationOutput(observation) {
|
|
66
|
-
return {
|
|
67
|
-
...(observation.stdoutTail !== undefined ? { stdoutTail: observation.stdoutTail } : {}),
|
|
68
|
-
...(observation.stdoutTruncated ? { stdoutTruncated: true } : {}),
|
|
69
|
-
...(observation.stderrTail !== undefined ? { stderrTail: observation.stderrTail } : {}),
|
|
70
|
-
...(observation.stderrTruncated ? { stderrTruncated: true } : {}),
|
|
71
|
-
};
|
|
72
|
-
}
|
|
73
|
-
function bootstrapResultDescription(result) {
|
|
74
|
-
if (result.kind === "exit")
|
|
75
|
-
return `exit ${result.code}`;
|
|
76
|
-
if (result.kind === "signal")
|
|
77
|
-
return `signal ${result.signal}`;
|
|
78
|
-
if (result.kind === "timeout")
|
|
79
|
-
return "timeout";
|
|
80
|
-
return `spawn: ${result.message}`;
|
|
81
|
-
}
|
|
82
|
-
function observationFailure(plan, candidate, observation) {
|
|
83
|
-
return {
|
|
84
|
-
status: "failed",
|
|
85
|
-
plan: preparationPlan(plan),
|
|
86
|
-
candidate: { head: candidate.head, tree: candidate.tree },
|
|
87
|
-
result: observation.result,
|
|
88
|
-
durationMs: observation.durationMs,
|
|
89
|
-
...preparationOutput(observation),
|
|
90
|
-
cause: { code: "CANDIDATE_BOOTSTRAP_FAILED", message: `candidate bootstrap failed with ${bootstrapResultDescription(observation.result)}` },
|
|
91
|
-
};
|
|
92
|
-
}
|
|
93
|
-
export async function prepareAuditCandidate(input, dependencies = {}) {
|
|
94
|
-
const candidate = input.candidateResult.candidate;
|
|
95
|
-
if (!candidate)
|
|
96
|
-
return { status: "not-required", reason: "candidate_unavailable" };
|
|
97
|
-
if (!input.verificationRequired)
|
|
98
|
-
return { status: "not-required", reason: "verification_not_configured" };
|
|
99
|
-
if (!input.plan)
|
|
100
|
-
return { status: "not-configured", candidate: { head: candidate.head, tree: candidate.tree } };
|
|
101
|
-
const runBootstrap = dependencies.runBootstrap ?? runWorktreeBootstrap;
|
|
102
|
-
const observation = await runBootstrap({ cwd: input.candidateResult.cwd, plan: input.plan, captureOutput: true });
|
|
103
|
-
if (!isBootstrapSuccess(observation))
|
|
104
|
-
return observationFailure(input.plan, candidate, observation);
|
|
105
|
-
let integrity;
|
|
106
|
-
try {
|
|
107
|
-
integrity = await (dependencies.readIntegrity ?? readCandidateIntegrity)(input.candidateResult.cwd);
|
|
108
|
-
}
|
|
109
|
-
catch (error) {
|
|
110
|
-
return {
|
|
111
|
-
status: "failed",
|
|
112
|
-
plan: preparationPlan(input.plan),
|
|
113
|
-
candidate: { head: candidate.head, tree: candidate.tree },
|
|
114
|
-
result: observation.result,
|
|
115
|
-
durationMs: observation.durationMs,
|
|
116
|
-
...preparationOutput(observation),
|
|
117
|
-
cause: { code: "CANDIDATE_INTEGRITY_UNKNOWN", message: asMessage(error) },
|
|
118
|
-
};
|
|
119
|
-
}
|
|
120
|
-
if (integrity.head !== candidate.head || integrity.tree !== candidate.tree || integrity.trackedChanges.length > 0) {
|
|
121
|
-
return {
|
|
122
|
-
status: "failed",
|
|
123
|
-
plan: preparationPlan(input.plan),
|
|
124
|
-
candidate: { head: candidate.head, tree: candidate.tree },
|
|
125
|
-
result: observation.result,
|
|
126
|
-
durationMs: observation.durationMs,
|
|
127
|
-
...preparationOutput(observation),
|
|
128
|
-
cause: { code: "CANDIDATE_INTEGRITY_CHANGED", message: "candidate HEAD, tree, or tracked worktree changed during preparation" },
|
|
129
|
-
integrity,
|
|
130
|
-
};
|
|
131
|
-
}
|
|
132
|
-
return {
|
|
133
|
-
status: "succeeded",
|
|
134
|
-
plan: preparationPlan(input.plan),
|
|
135
|
-
candidate: { head: candidate.head, tree: candidate.tree },
|
|
136
|
-
result: { kind: "exit", code: 0 },
|
|
137
|
-
durationMs: observation.durationMs,
|
|
138
|
-
...preparationOutput(observation),
|
|
139
|
-
integrity,
|
|
140
|
-
};
|
|
141
|
-
}
|
|
@@ -1,230 +0,0 @@
|
|
|
1
|
-
import * as fs from "node:fs/promises";
|
|
2
|
-
import * as path from "node:path";
|
|
3
|
-
import { createHash } from "node:crypto";
|
|
4
|
-
import { FlowError, asMessage } from "../../flow-error.js";
|
|
5
|
-
import { requireCommitCoordinate } from "../../git/commits.js";
|
|
6
|
-
import { createGit, wrapGitError } from "../../git/core.js";
|
|
7
|
-
import { effectiveCriteria } from "../amendment-criteria.js";
|
|
8
|
-
import { hasStrandableProjectionGeneration } from "../projection/index.js";
|
|
9
|
-
import { admitRepositoryLifecycleContract, } from "../repository-ledger/admission.js";
|
|
10
|
-
import { lookupCurrentContract, readRepositoryLifecycle, } from "../repository-ledger/read-model.js";
|
|
11
|
-
import { deriveQueueReadModel, queueMembership } from "../settlement/queue.js";
|
|
12
|
-
import { findRegisteredContractWorktreePathFromModel } from "../worktree-path.js";
|
|
13
|
-
import { readRemainingTaskNeedsForSettlement } from "../task/settlement-policy.js";
|
|
14
|
-
export function appendedScopeTerms(model) {
|
|
15
|
-
return model.history.flatMap(({ entry }) => entry.kind === "amend" && entry.data.scopeDelta ? entry.data.scopeDelta.add : []);
|
|
16
|
-
}
|
|
17
|
-
function auditCriteria(model) {
|
|
18
|
-
const bind = model.history.find(({ entry }) => entry.kind === "bind")?.entry;
|
|
19
|
-
if (!bind || bind.kind !== "bind")
|
|
20
|
-
throw new FlowError("INTERNAL_STATE", `contract ${model.contract} is missing folded bind terms`);
|
|
21
|
-
const amendments = model.history.flatMap(({ entry }) => entry.kind === "amend" ? [entry.data.amendment] : []);
|
|
22
|
-
return effectiveCriteria(bind.data.criteria, amendments);
|
|
23
|
-
}
|
|
24
|
-
function repositoryLifecycleDiseaseError(outcome) {
|
|
25
|
-
return new FlowError("INTERNAL_STATE", `contract ${outcome.contract} is unavailable because repository lifecycle evidence is ${outcome.status}`, {
|
|
26
|
-
facts: {
|
|
27
|
-
kind: "repository_lifecycle_disease",
|
|
28
|
-
contractId: outcome.contract,
|
|
29
|
-
status: outcome.status,
|
|
30
|
-
diagnostics: outcome.diagnostics.map((diagnostic) => ({
|
|
31
|
-
objectId: diagnostic.objectId,
|
|
32
|
-
code: diagnostic.code,
|
|
33
|
-
detail: diagnostic.detail,
|
|
34
|
-
...(diagnostic.contract === undefined ? {} : { contract: diagnostic.contract }),
|
|
35
|
-
})),
|
|
36
|
-
},
|
|
37
|
-
});
|
|
38
|
-
}
|
|
39
|
-
async function pinLedgerCoordinates(input) {
|
|
40
|
-
const repository = await readRepositoryLifecycle(input.root);
|
|
41
|
-
const admission = admitRepositoryLifecycleContract(repository, input.contractId);
|
|
42
|
-
let model;
|
|
43
|
-
switch (admission.status) {
|
|
44
|
-
case "healthy":
|
|
45
|
-
model = admission.model;
|
|
46
|
-
break;
|
|
47
|
-
case "diseased":
|
|
48
|
-
case "isolated":
|
|
49
|
-
case "indeterminate":
|
|
50
|
-
throw repositoryLifecycleDiseaseError(admission);
|
|
51
|
-
case "absent":
|
|
52
|
-
throw new FlowError("CONTRACT_NOT_FOUND", `contract ${admission.contract} not found`);
|
|
53
|
-
}
|
|
54
|
-
if (repository.observedLedgerHead === null)
|
|
55
|
-
throw new FlowError("INTERNAL_STATE", "repository lifecycle ledger is absent");
|
|
56
|
-
const bind = model.history.find(({ entry }) => entry.kind === "bind")?.entry;
|
|
57
|
-
if (!bind || bind.kind !== "bind")
|
|
58
|
-
throw new FlowError("INTERNAL_STATE", `contract ${input.contractId} is missing folded bind terms`);
|
|
59
|
-
const [delivery, target] = await Promise.all([
|
|
60
|
-
requireCommitCoordinate(input.root, model.resources.deliveryRef),
|
|
61
|
-
requireCommitCoordinate(input.root, model.pins.target.ref),
|
|
62
|
-
]);
|
|
63
|
-
if (model.pins.target.approvedHead !== null && model.petition.state === "approved" && model.pins.target.approvedHead !== target.commit) {
|
|
64
|
-
throw new FlowError("INTERNAL_STATE", `target ref ${model.pins.target.ref} moved from approved petition pin`);
|
|
65
|
-
}
|
|
66
|
-
return {
|
|
67
|
-
criteria: auditCriteria(model), scope: [...model.effectiveScope], appendScope: appendedScopeTerms(model), base: model.pins.base,
|
|
68
|
-
lifecycle: model, repository,
|
|
69
|
-
coordinates: { ledger: { head: repository.observedLedgerHead }, delivery: { ref: model.resources.deliveryRef, head: delivery.commit, tree: delivery.tree }, target: { ref: model.pins.target.ref, head: target.commit, tree: target.tree } },
|
|
70
|
-
};
|
|
71
|
-
}
|
|
72
|
-
async function deliveryResidue(cwd) {
|
|
73
|
-
const fields = (await createGit(cwd).raw(["status", "--porcelain=v1", "-z", "--untracked-files=all"])).split("\0");
|
|
74
|
-
const staged = new Set();
|
|
75
|
-
const unstaged = new Set();
|
|
76
|
-
const untracked = new Set();
|
|
77
|
-
for (let index = 0; index < fields.length; index += 1) {
|
|
78
|
-
const field = fields[index];
|
|
79
|
-
if (!field)
|
|
80
|
-
continue;
|
|
81
|
-
const xy = field.slice(0, 2);
|
|
82
|
-
const filePath = field.slice(3);
|
|
83
|
-
if (xy === "??")
|
|
84
|
-
untracked.add(filePath);
|
|
85
|
-
else {
|
|
86
|
-
if (xy[0] !== " ")
|
|
87
|
-
staged.add(filePath);
|
|
88
|
-
if (xy[1] !== " ")
|
|
89
|
-
unstaged.add(filePath);
|
|
90
|
-
if (xy[0] === "R" || xy[0] === "C")
|
|
91
|
-
index += 1;
|
|
92
|
-
}
|
|
93
|
-
}
|
|
94
|
-
const tracked = new Set([...staged, ...unstaged]);
|
|
95
|
-
return { tracked: [...tracked], staged: [...staged], unstaged: [...unstaged], untracked: [...untracked] };
|
|
96
|
-
}
|
|
97
|
-
function residueKey(residue) {
|
|
98
|
-
return JSON.stringify({ tracked: [...residue.tracked].sort(), staged: [...residue.staged].sort(), unstaged: [...residue.unstaged].sort(), untracked: [...residue.untracked].sort() });
|
|
99
|
-
}
|
|
100
|
-
async function residueFingerprint(cwd, residue) {
|
|
101
|
-
const git = createGit(cwd);
|
|
102
|
-
const digest = createHash("sha256").update(residueKey(residue));
|
|
103
|
-
const tracked = [...residue.tracked].sort();
|
|
104
|
-
if (tracked.length > 0)
|
|
105
|
-
digest.update(await git.raw(["diff", "--no-color", "--no-ext-diff", "--binary", "HEAD", "--", ...tracked]));
|
|
106
|
-
for (const pathname of [...residue.untracked].sort()) {
|
|
107
|
-
const absolute = path.join(cwd, pathname);
|
|
108
|
-
const stat = await fs.lstat(absolute);
|
|
109
|
-
digest.update(pathname).update("\0").update(String(stat.mode)).update("\0");
|
|
110
|
-
if (stat.isSymbolicLink())
|
|
111
|
-
digest.update(await fs.readlink(absolute));
|
|
112
|
-
else
|
|
113
|
-
digest.update(await fs.readFile(absolute));
|
|
114
|
-
digest.update("\0");
|
|
115
|
-
}
|
|
116
|
-
return digest.digest("hex");
|
|
117
|
-
}
|
|
118
|
-
async function deliveryCoordinate(cwd) {
|
|
119
|
-
const [coordinate, residue] = await Promise.all([requireCommitCoordinate(cwd, "HEAD"), deliveryResidue(cwd)]);
|
|
120
|
-
return { head: coordinate.commit, tree: coordinate.tree, residue, residueFingerprint: await residueFingerprint(cwd, residue) };
|
|
121
|
-
}
|
|
122
|
-
async function checkedOutRef(cwd) {
|
|
123
|
-
try {
|
|
124
|
-
return (await createGit(cwd).raw(["symbolic-ref", "--quiet", "HEAD"])).trim();
|
|
125
|
-
}
|
|
126
|
-
catch {
|
|
127
|
-
return null;
|
|
128
|
-
}
|
|
129
|
-
}
|
|
130
|
-
async function receiptsAfterPinnedFence(input) {
|
|
131
|
-
const fence = input.model.pins.delivery;
|
|
132
|
-
try {
|
|
133
|
-
return (await createGit(input.root).raw(["rev-list", "--reverse", `${fence}..${input.deliveryHead}`]))
|
|
134
|
-
.split(/\r?\n/).filter(Boolean);
|
|
135
|
-
}
|
|
136
|
-
catch (error) {
|
|
137
|
-
throw wrapGitError(`rev-list ${fence}..${input.deliveryHead}`, error, input.root);
|
|
138
|
-
}
|
|
139
|
-
}
|
|
140
|
-
async function readReadiness(input) {
|
|
141
|
-
const model = input.frozen.lifecycle;
|
|
142
|
-
const [residue, looseCommits, queue, liveProjection, afterDependencies, taskNeeds] = await Promise.all([
|
|
143
|
-
deliveryResidue(input.deliveryCwd), receiptsAfterPinnedFence({ root: input.root, model, deliveryHead: input.frozen.coordinates.delivery.head }), Promise.resolve(deriveQueueReadModel(input.frozen.repository)),
|
|
144
|
-
hasStrandableProjectionGeneration({ cwd: input.root, commissionId: input.contractId, deliveryWorktree: input.deliveryCwd, nowMs: Date.now() }),
|
|
145
|
-
Promise.resolve(model.causal.after.map((id) => {
|
|
146
|
-
const outcome = lookupCurrentContract(input.frozen.repository, id);
|
|
147
|
-
const state = outcome.status === "healthy" ? outcome.model.phase : outcome.status;
|
|
148
|
-
return { id, satisfied: outcome.status === "healthy" && (state === "claimed" || state === "forfeited"), state };
|
|
149
|
-
})),
|
|
150
|
-
readRemainingTaskNeedsForSettlement(input.root, model.causal.needs),
|
|
151
|
-
]);
|
|
152
|
-
const dependencies = [...afterDependencies, ...taskNeeds];
|
|
153
|
-
const membership = queueMembership(queue, input.contractId);
|
|
154
|
-
return { deliveryResidue: residue, arc: { open: model.phase === "active" ? model.intent.arc : null, max: model.intent.arc, fence: model.pins.delivery, looseCommits }, rewriteGuard: { liveProjection }, dependencies, petition: { state: model.phase, queue: membership ? { position: membership.position, length: membership.queueLength, head: membership.queueHead, diagnostics: membership.diagnostics.map((item) => item.kind) } : null } };
|
|
155
|
-
}
|
|
156
|
-
export async function pinAuditSnapshot(input) {
|
|
157
|
-
const contractId = input.address.binding.commissionId;
|
|
158
|
-
const root = input.address.repo.stableRoot;
|
|
159
|
-
return pinLedgerCoordinates({ root, contractId });
|
|
160
|
-
}
|
|
161
|
-
export function initialCoordinateRace(input) {
|
|
162
|
-
return { which: "delivery-worktree", pinned: input.frozen.coordinates.delivery, observed: input.observed };
|
|
163
|
-
}
|
|
164
|
-
async function authoritativeDeliveryCwd(root, model) {
|
|
165
|
-
const bind = model.history.find(({ entry }) => entry.kind === "bind")?.entry;
|
|
166
|
-
if (!bind || bind.kind !== "bind")
|
|
167
|
-
throw new FlowError("INTERNAL_STATE", `contract ${model.contract} is missing folded bind terms`);
|
|
168
|
-
if (bind.data.workspace === "here")
|
|
169
|
-
return fs.realpath(root);
|
|
170
|
-
const worktree = model.resources.worktree;
|
|
171
|
-
if (!worktree || worktree.state !== "held" || worktree.place !== bind.data.place) {
|
|
172
|
-
throw new FlowError("INTERNAL_STATE", `contract ${model.contract} has no held worktree matching folded bind place ${bind.data.place}`);
|
|
173
|
-
}
|
|
174
|
-
const registered = await findRegisteredContractWorktreePathFromModel(root, model);
|
|
175
|
-
if (!registered) {
|
|
176
|
-
throw new FlowError("INTERNAL_STATE", `contract ${model.contract} has no Git-registered delivery worktree at folded bind place ${bind.data.place}`);
|
|
177
|
-
}
|
|
178
|
-
return registered;
|
|
179
|
-
}
|
|
180
|
-
export async function pinAuditCoordinates(input) {
|
|
181
|
-
const frozen = await pinAuditSnapshot({ address: input.address });
|
|
182
|
-
return completeAuditCoordinates({ address: input.address, frozen, deliveryCwd: input.deliveryCwd });
|
|
183
|
-
}
|
|
184
|
-
/** Expensive worktree/readiness capture performed after repository admission is released. */
|
|
185
|
-
export async function completeAuditCoordinates(input) {
|
|
186
|
-
const contractId = input.address.binding.commissionId;
|
|
187
|
-
const root = input.address.repo.stableRoot;
|
|
188
|
-
const frozen = input.frozen;
|
|
189
|
-
const deliveryCwd = await authoritativeDeliveryCwd(root, frozen.lifecycle);
|
|
190
|
-
if (input.deliveryCwd && path.resolve(input.deliveryCwd) !== path.resolve(deliveryCwd)) {
|
|
191
|
-
throw new Error(`observed delivery worktree ${deliveryCwd} does not match expected worktree ${input.deliveryCwd}`);
|
|
192
|
-
}
|
|
193
|
-
const coordinate = await deliveryCoordinate(deliveryCwd);
|
|
194
|
-
const branchRef = await checkedOutRef(deliveryCwd);
|
|
195
|
-
if (branchRef !== frozen.coordinates.delivery.ref || coordinate.head !== frozen.coordinates.delivery.head || coordinate.tree !== frozen.coordinates.delivery.tree)
|
|
196
|
-
throw new Error(`registered delivery worktree ${branchRef ?? "detached"} ${coordinate.head}/${coordinate.tree} does not match pinned delivery ref ${frozen.coordinates.delivery.ref} ${frozen.coordinates.delivery.head}/${frozen.coordinates.delivery.tree}`);
|
|
197
|
-
const readiness = await readReadiness({ root, deliveryCwd, contractId, frozen });
|
|
198
|
-
return { ...frozen, deliveryCwd, deliveryCoordinate: coordinate, readiness };
|
|
199
|
-
}
|
|
200
|
-
export async function rereadCoordinateRace(input) {
|
|
201
|
-
const contractId = input.address.binding.commissionId;
|
|
202
|
-
const root = input.address.repo.stableRoot;
|
|
203
|
-
let after;
|
|
204
|
-
try {
|
|
205
|
-
after = await pinLedgerCoordinates({ root, contractId });
|
|
206
|
-
}
|
|
207
|
-
catch (error) {
|
|
208
|
-
return { which: "ledger", pinned: input.frozen.coordinates.ledger, observed: asMessage(error) };
|
|
209
|
-
}
|
|
210
|
-
if (after.coordinates.ledger.head !== input.frozen.coordinates.ledger.head)
|
|
211
|
-
return { which: "ledger", pinned: input.frozen.coordinates.ledger, observed: after.coordinates.ledger };
|
|
212
|
-
if (after.coordinates.delivery.head !== input.frozen.coordinates.delivery.head || after.coordinates.delivery.tree !== input.frozen.coordinates.delivery.tree)
|
|
213
|
-
return { which: "delivery", pinned: input.frozen.coordinates.delivery, observed: after.coordinates.delivery };
|
|
214
|
-
if (after.coordinates.target.head !== input.frozen.coordinates.target.head || after.coordinates.target.tree !== input.frozen.coordinates.target.tree)
|
|
215
|
-
return { which: "target", pinned: input.frozen.coordinates.target, observed: after.coordinates.target };
|
|
216
|
-
try {
|
|
217
|
-
const deliveryCwd = await authoritativeDeliveryCwd(root, after.lifecycle);
|
|
218
|
-
if (input.deliveryCwd && path.resolve(input.deliveryCwd) !== path.resolve(deliveryCwd)) {
|
|
219
|
-
return { which: "delivery-worktree", pinned: { cwd: input.frozen.deliveryCwd, ...input.frozen.deliveryCoordinate }, observed: { cwd: deliveryCwd, expected: input.deliveryCwd } };
|
|
220
|
-
}
|
|
221
|
-
const observed = await deliveryCoordinate(deliveryCwd);
|
|
222
|
-
const branchRef = await checkedOutRef(deliveryCwd);
|
|
223
|
-
if (branchRef !== input.frozen.coordinates.delivery.ref || path.resolve(deliveryCwd) !== path.resolve(input.frozen.deliveryCwd) || observed.head !== input.frozen.deliveryCoordinate.head || observed.tree !== input.frozen.deliveryCoordinate.tree || observed.residueFingerprint !== input.frozen.deliveryCoordinate.residueFingerprint)
|
|
224
|
-
return { which: "delivery-worktree", pinned: { cwd: input.frozen.deliveryCwd, ref: input.frozen.coordinates.delivery.ref, ...input.frozen.deliveryCoordinate }, observed: { cwd: deliveryCwd, ref: branchRef, ...observed } };
|
|
225
|
-
}
|
|
226
|
-
catch (error) {
|
|
227
|
-
return { which: "delivery-worktree", pinned: { cwd: input.frozen.deliveryCwd, ...input.frozen.deliveryCoordinate }, observed: asMessage(error) };
|
|
228
|
-
}
|
|
229
|
-
return null;
|
|
230
|
-
}
|
|
@@ -1,156 +0,0 @@
|
|
|
1
|
-
import { FlowError, asMessage } from "../../flow-error.js";
|
|
2
|
-
import { scopePathEvidence } from "../scope.js";
|
|
3
|
-
import { composeVerificationPlan, runVerificationPlan, resolveVerificationPolicy } from "../settlement/verification.js";
|
|
4
|
-
function importLine(line) {
|
|
5
|
-
return /^(?:import\b|export\s+(?:\*|\{)|(?:const|let|var)\s+[^=]+\s*=\s*require\s*\(|[^=]+\brequire\s*\(|[^=]+\bimport\s*\()/.test(line.content.trim());
|
|
6
|
-
}
|
|
7
|
-
function identifierRename(before, after) {
|
|
8
|
-
const left = before.match(/[A-Za-z_$][\w$]*/g) ?? [];
|
|
9
|
-
const right = after.match(/[A-Za-z_$][\w$]*/g) ?? [];
|
|
10
|
-
if (left.length !== right.length)
|
|
11
|
-
return null;
|
|
12
|
-
const differences = left.flatMap((value, index) => value === right[index] ? [] : [{ from: value, to: right[index] }]);
|
|
13
|
-
if (differences.length !== 1)
|
|
14
|
-
return null;
|
|
15
|
-
const rename = differences[0];
|
|
16
|
-
const expression = new RegExp(`\\b${rename.from.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}\\b`, "g");
|
|
17
|
-
return before.replace(expression, rename.to) === after ? rename : null;
|
|
18
|
-
}
|
|
19
|
-
function explainFile(file, matcher) {
|
|
20
|
-
const explanations = [];
|
|
21
|
-
const explained = new Set();
|
|
22
|
-
if (file.status === "R" && file.oldPath)
|
|
23
|
-
explanations.push({ kind: "file-rename", from: file.oldPath, to: file.path, similarity: file.similarity ?? 0 });
|
|
24
|
-
for (const hunk of file.hunks) {
|
|
25
|
-
const changed = hunk.lines.filter((line) => line.kind !== "context");
|
|
26
|
-
for (const line of changed) {
|
|
27
|
-
if (!importLine(line))
|
|
28
|
-
continue;
|
|
29
|
-
explanations.push({ kind: "import", hunk: hunk.index, oldLine: line.oldLine, newLine: line.newLine });
|
|
30
|
-
explained.add(`${hunk.index}:${line.kind}:${line.oldLine}:${line.newLine}`);
|
|
31
|
-
}
|
|
32
|
-
const deletions = changed.filter((line) => line.kind === "deletion" && !importLine(line));
|
|
33
|
-
const additions = changed.filter((line) => line.kind === "addition" && !importLine(line));
|
|
34
|
-
if (deletions.length === additions.length)
|
|
35
|
-
deletions.forEach((deletion, index) => {
|
|
36
|
-
const addition = additions[index];
|
|
37
|
-
const rename = identifierRename(deletion.content, addition.content);
|
|
38
|
-
if (!rename)
|
|
39
|
-
return;
|
|
40
|
-
explanations.push({ kind: "symbol-rename", ...rename, hunk: hunk.index, oldLine: deletion.oldLine, newLine: addition.newLine });
|
|
41
|
-
explained.add(`${hunk.index}:${deletion.kind}:${deletion.oldLine}:${deletion.newLine}`);
|
|
42
|
-
explained.add(`${hunk.index}:${addition.kind}:${addition.oldLine}:${addition.newLine}`);
|
|
43
|
-
});
|
|
44
|
-
}
|
|
45
|
-
const residue = file.binary ? [{ hunk: -1, oldLine: null, newLine: null, kind: "binary", content: "binary content changed" }] : [];
|
|
46
|
-
for (const hunk of file.hunks)
|
|
47
|
-
for (const line of hunk.lines) {
|
|
48
|
-
if (line.kind === "context")
|
|
49
|
-
continue;
|
|
50
|
-
const key = `${hunk.index}:${line.kind}:${line.oldLine}:${line.newLine}`;
|
|
51
|
-
if (!explained.has(key))
|
|
52
|
-
residue.push({ hunk: hunk.index, oldLine: line.oldLine, newLine: line.newLine, kind: line.kind, content: line.content });
|
|
53
|
-
}
|
|
54
|
-
return { path: file.path, ...(file.oldPath ? { oldPath: file.oldPath } : {}), matcher, explanations, residue, class: matcher.matched ? "in-scope" : residue.length === 0 && explanations.length > 0 ? "downgraded" : "violated" };
|
|
55
|
-
}
|
|
56
|
-
export async function evaluateScope(input) {
|
|
57
|
-
const matchers = await scopePathEvidence(input.cwd, input.frozen.scope, input.diff.files.map((file) => file.path));
|
|
58
|
-
return input.diff.files.map((file, index) => explainFile(file, matchers[index]));
|
|
59
|
-
}
|
|
60
|
-
function rawHunk(file, hunk) {
|
|
61
|
-
return [`${file.status} ${file.oldPath ? `${file.oldPath} -> ` : ""}${file.path} · +${file.insertions} -${file.deletions}`, hunk.header, ...hunk.lines.map((line) => `${line.kind === "addition" ? "+" : line.kind === "deletion" ? "-" : " "}${line.content}`)].join("\n");
|
|
62
|
-
}
|
|
63
|
-
function rawFile(file) { return `${file.status} ${file.oldPath ? `${file.oldPath} -> ` : ""}${file.path} · +${file.insertions} -${file.deletions}`; }
|
|
64
|
-
function moduleFor(pathname) { const segments = pathname.split("/"); return segments.length > 1 ? segments.slice(0, -1).join("/") : "."; }
|
|
65
|
-
function byteLength(content) { return new TextEncoder().encode(content).byteLength; }
|
|
66
|
-
function isAuthorityBoundary(pathname) { return /(^|\/)(auth(?:entication|orization)?|schema|schemas|migrations?|api|config|ci|\.github|permissions?|concurrency)(\/|$)|(^|\/)(package|tsconfig|vite|webpack|eslint|prettier)\.(json|ya?ml|[cm]?[jt]s)$/.test(pathname); }
|
|
67
|
-
function isGeneratedOrLowPriority(pathname, file) { return file.binary || /(^|\/)(vendor|generated|dist|build)(\/|$)|(^|\/)([^/]+\.)?(lock|min)\.(json|ya?ml|js|css)$|(?:^|\/)(package-lock\.json|pnpm-lock\.yaml|yarn\.lock)$/.test(pathname); }
|
|
68
|
-
function isSource(pathname) { return /\.(?:[cm]?[jt]sx?|py|go|rs|java|kt|rb|php|cs|swift)$/.test(pathname) && !/(^|\/)(test|tests|__tests__|spec)(\/|\.)/.test(pathname); }
|
|
69
|
-
function hasRelatedTest(file, all) { const stem = file.path.replace(/\.[^.]+$/, "").replace(/\/index$/, ""); return all.some((candidate) => candidate.path !== file.path && /(test|tests|__tests__|spec)/.test(candidate.path) && candidate.path.replace(/\.(?:[cm]?[jt]sx?|py|go|rs|java|kt|rb|php|cs|swift)$/, "").includes(stem.split("/").at(-1) ?? "")); }
|
|
70
|
-
function portfolioTier(file, scope, all) {
|
|
71
|
-
if (scope.class === "violated")
|
|
72
|
-
return { tier: 0, mandatory: true };
|
|
73
|
-
if (isAuthorityBoundary(file.path))
|
|
74
|
-
return { tier: 1, mandatory: true };
|
|
75
|
-
if (/(^|\/)(package\.json|workspace|pnpm-workspace|turbo|nx)\b/.test(file.path))
|
|
76
|
-
return { tier: 2, mandatory: false };
|
|
77
|
-
if (isGeneratedOrLowPriority(file.path, file))
|
|
78
|
-
return { tier: 6, mandatory: false };
|
|
79
|
-
if (isSource(file.path) && !hasRelatedTest(file, all))
|
|
80
|
-
return { tier: 3, mandatory: false };
|
|
81
|
-
if (file.status === "R" || scope.class === "downgraded")
|
|
82
|
-
return { tier: 5, mandatory: false };
|
|
83
|
-
return { tier: 4, mandatory: false };
|
|
84
|
-
}
|
|
85
|
-
function stablePortfolioOrder(left, right) { if (left.tier !== right.tier)
|
|
86
|
-
return left.tier - right.tier; const ratio = (1000 - right.tier * 100) / Math.max(right.bytes, 1) - (1000 - left.tier * 100) / Math.max(left.bytes, 1); return ratio || left.path.localeCompare(right.path) || (left.hunk ?? -1) - (right.hunk ?? -1); }
|
|
87
|
-
function retrieval(from, to, pathname, hunk) { return { kind: "git-coordinate", from, to, argv: ["git", "diff", "--no-color", "--no-ext-diff", "--unified=3", `${from}..${to}`, "--", pathname], path: pathname, hunk }; }
|
|
88
|
-
export function presentDiff(input) {
|
|
89
|
-
const { diff, scope, budget } = input;
|
|
90
|
-
const candidates = [];
|
|
91
|
-
for (let fileIndex = 0; fileIndex < diff.files.length; fileIndex += 1) {
|
|
92
|
-
const file = diff.files[fileIndex];
|
|
93
|
-
const policy = portfolioTier(file, scope[fileIndex], diff.files);
|
|
94
|
-
const chunks = file.hunks.length === 0 ? [{ hunk: null, content: rawFile(file) }] : file.hunks.map((hunk) => ({ hunk: hunk.index, content: rawHunk(file, hunk) }));
|
|
95
|
-
for (const chunk of chunks) {
|
|
96
|
-
const bytes = byteLength(chunk.content);
|
|
97
|
-
candidates.push({ path: file.path, hunk: chunk.hunk, content: chunk.content, bytes, cost: bytes, tier: policy.tier, mandatory: policy.mandatory, module: moduleFor(file.path) });
|
|
98
|
-
}
|
|
99
|
-
}
|
|
100
|
-
const selected = [];
|
|
101
|
-
const selectedKeys = new Set();
|
|
102
|
-
let used = 0;
|
|
103
|
-
const keyFor = (candidate) => `${candidate.path}\0${candidate.hunk ?? "file"}`;
|
|
104
|
-
const take = (candidate) => { const key = keyFor(candidate); if (selectedKeys.has(key))
|
|
105
|
-
return; selectedKeys.add(key); selected.push(candidate); used += candidate.cost; };
|
|
106
|
-
for (const candidate of [...candidates].filter((item) => item.mandatory).sort(stablePortfolioOrder))
|
|
107
|
-
if (used + candidate.cost <= budget)
|
|
108
|
-
take(candidate);
|
|
109
|
-
for (const module of [...new Set(candidates.map((candidate) => candidate.module))].sort()) {
|
|
110
|
-
const representative = candidates.filter((candidate) => candidate.module === module && !selectedKeys.has(keyFor(candidate))).sort(stablePortfolioOrder)[0];
|
|
111
|
-
if (representative && used + representative.cost <= budget)
|
|
112
|
-
take(representative);
|
|
113
|
-
}
|
|
114
|
-
for (const candidate of [...candidates].sort(stablePortfolioOrder))
|
|
115
|
-
if (!selectedKeys.has(keyFor(candidate)) && used + candidate.cost <= budget)
|
|
116
|
-
take(candidate);
|
|
117
|
-
const omissions = candidates.filter((candidate) => !selectedKeys.has(keyFor(candidate))).sort((left, right) => left.path.localeCompare(right.path) || (left.hunk ?? -1) - (right.hunk ?? -1)).map((candidate) => ({ path: candidate.path, hunk: candidate.hunk, bytes: candidate.bytes, reason: candidate.hunk === null ? "no-raw-hunks" : used + candidate.cost > budget ? "budget" : "not-selected", retrieval: retrieval(input.retrievalCoordinates.from, input.retrievalCoordinates.to, candidate.path, candidate.hunk) }));
|
|
118
|
-
return { budget: { limit: budget, used }, selected: selected.sort((left, right) => left.path.localeCompare(right.path) || (left.hunk ?? -1) - (right.hunk ?? -1)), omissions };
|
|
119
|
-
}
|
|
120
|
-
function fileFacts(diff, scope) { return diff.files.map((file, index) => { const row = scope[index]; return { path: file.path, ...(file.oldPath ? { oldPath: file.oldPath } : {}), status: file.status, stats: { insertions: file.insertions, deletions: file.deletions, binary: file.binary }, matcher: row.matcher, explanations: row.explanations, residue: row.residue, class: row.class }; }); }
|
|
121
|
-
export async function resolveAuditVerificationPlan(input) {
|
|
122
|
-
let policy;
|
|
123
|
-
try {
|
|
124
|
-
policy = await resolveVerificationPolicy(input.cwd);
|
|
125
|
-
}
|
|
126
|
-
catch (error) {
|
|
127
|
-
return { status: "unknown", cause: { code: error instanceof FlowError ? error.code : "INTERNAL_STATE", message: asMessage(error) } };
|
|
128
|
-
}
|
|
129
|
-
const plan = composeVerificationPlan({ contract: input.contract, repositoryGates: policy.commands, timeoutMs: policy.timeoutMs });
|
|
130
|
-
return { status: "resolved", plan };
|
|
131
|
-
}
|
|
132
|
-
export async function evaluateVerification(input) {
|
|
133
|
-
const plan = input.plan;
|
|
134
|
-
if (plan.length === 0)
|
|
135
|
-
return { status: "not_configured", results: [] };
|
|
136
|
-
const invocation = await runVerificationPlan({ cwd: input.cwd, candidate: { head: input.candidate.head, tree: input.candidate.tree }, plan, signal: input.signal, root: input.root });
|
|
137
|
-
// runId is addressable immediately; owner await cancels on abort and observes terminal cleanup.
|
|
138
|
-
const completion = await invocation.awaitTerminal();
|
|
139
|
-
const results = completion.results.map((result) => {
|
|
140
|
-
const common = { source: result.source, declaration: result.declaration, label: result.label, executor: result.executor, command: result.command, argv: [result.command, ...result.args], candidate: result.candidate };
|
|
141
|
-
if (result.execution.status === "runner_failed")
|
|
142
|
-
return { ...common, ...result.execution };
|
|
143
|
-
return { status: "executed", ...common, body: result.shell ? result.command : result.args.at(-1) ?? "", exitCode: result.execution.code, durationMs: result.execution.durationMs, stdout: result.execution.stdout, stderr: result.execution.stderr };
|
|
144
|
-
});
|
|
145
|
-
return { status: "evaluated", runId: completion.runId, results };
|
|
146
|
-
}
|
|
147
|
-
export async function collectEvidence(input) {
|
|
148
|
-
const candidate = input.candidateResult.candidate;
|
|
149
|
-
if (!candidate)
|
|
150
|
-
return null;
|
|
151
|
-
if (!input.diff)
|
|
152
|
-
return null;
|
|
153
|
-
const diff = input.diff;
|
|
154
|
-
const scope = await evaluateScope({ cwd: input.candidateResult.cwd, frozen: input.frozen, diff });
|
|
155
|
-
return { diff, scope, presentation: presentDiff({ diff, scope, budget: input.diffBudgetBytes, retrievalCoordinates: { from: input.frozen.base, to: input.frozen.coordinates.delivery.head } }), files: fileFacts(diff, scope), verification: input.verificationOverride ?? await evaluateVerification({ cwd: input.candidateResult.cwd, root: input.root, candidate, plan: input.verificationPlan, signal: input.signal }), candidate };
|
|
156
|
-
}
|