凯亚库

Keiyaku不是为你设计的 而是为你的前沿模型设计的.

当今世界: 前沿模式非常可畏,而且费用也很高。 便宜 模型很好,但是它们漂移, 它们总是报告成功。 还有 人类的注意力是三者中最稀少的.

故克相克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克.

边境有外骨骼 不是笼子. 它打破目标分开, 作者明确合同,指挥一个舰队平行。 它有限 上下文指决策级别信号——每项合同的状况, 从来没有个人工人。 工人可以漂流、拖延或撒谎;合同 无法.

工人得到合同,而不是信任. 字节前的术语 第一次编辑;每一次发送都对diff进行机械判断. 无论什么漂浮或谎言 都永远不会到达董事会.

你退后点. 在可能时代表——默认情况下,一切都会结束 到边框;动词是其类型。 必要时提供指导—— 顶部从未移交。 轮子还是你的.

债务, 不是待办事宜列表

keiyaku debt 已确认的未决问题和请求。 依赖关系 和产生的 ready 编号 : blocked 执行进展情况和计划 组成没有。 债务是 open, (中文(简体) ), done,或 drop合同接受可以 自动清偿相关债务.

这取代了前者 task CLI 和 Tasks API; 使用 debt 财务报告和审定财务报表 Debts。 。 。 . 对于已有的棋盘, 停止分类账写法, 运行离线升级 源检出 :

node scripts/migrate-task-board.mjs /absolute/path/to/world

动了 .keiyaku/tasks 改为 .keiyaku/debts,重写身份和关系 前缀,并返回旧进度状态 open本地身份证,命名空间, 证词和时间戳不变。 原字节保留在 .keiyaku/tasks.pre-debt; 拒绝现有的目的地或备份。 读取 ,而不是报告空分类账. 如果一个中断的升级只留下备份,则将该目录恢复到 .keiyaku/tasks 在重试之前。 合同日记和现有持有人记录 没有重写或成为孤儿。 不要同时运行新老作家.

合同是什么样子的

# Ship typed Debt query

## Context
Debt reads scan documents ad hoc.

## Objective
One typed query surface over the whole board.

## Design
A single evaluator over persisted facts.

## Region
```
src/debt/**
tests/debt-*.test.ts
```

## Criteria
### Query is typed
The CLI parses a predicate; the evaluator never sees a raw shell string.

### Reads stay Debt-owned
Query reads only Debt facts. No Contract. No Akuma.

## Verification
```bash timeout=2m
npm test
```

交易看起来像

keiyaku bind --gates reviewed,verified - < contract.md # terms written; an isolated worktree appears
keiyaku call worker -                                  # commission names Contract and appointed worktree
keiyaku verify <contract>                              # each declared check executes and attests independently
keiyaku deliver <contract>                             # delivered; existing evidence judges placement
keiyaku review <contract> --satisfied --summary -       # review attested; ready delivery can land

明确核查

仅 verify 执行合同核查申报。 选择 verified (a) 具有约束性或修改性,使其具有放置要求 是惰性的。 与合同选择者一起从指定的工作树上核实 选项:

keiyaku verify <contract>                        # execute all current declarations
keiyaku verify <contract> --index 2              # execute only the current second declaration
keiyaku verify --index 1 --include-dirty         # contextual Contract; explicitly capture local edits
keiyaku deliver <contract> --dry-run             # observe prospective evidence without execution

--index 在本文件中,这是一个基于一的肯定立场。 无效的语法 是一个使用错误;在执行或承认之前,一个异地位置拒绝. 检查使用交付的清洁工作树规则,除非 --include-dirty 授权 捕获。 它准备准确的预期目标整合而不提供 ;一体化冲突拒绝,而没有兑现。 证据 交货前生产,但该交货名称相同 示意图. 改变的目标或候选人需要证据才能获得新的快照.

每一个宣言都会得到自己的干净的划痕,设置,和清理. 盖一栋或 与需要的支票相同或设置中的其他先决条件; 无法共享生成的文件。 正常故障或超时证明 只有这一要求不能令人满意,全面核查仍在继续。 设置,产卵, 未知的退出,或停止取消,对受影响的支票不予裁决; 之前的入院情况依然如此。 失败场景被独立保留 合同和要求,并附有诊断结果.

目前的所有要求都需要目前满意的证词才能满足一个大门. 选定的绿色检查只是一次检查 。 身份跟随犬科的执行者, 脚本,并宣布超时,所以重排顺序保存证据,编辑一个 检查只影响这一要求,而确切的重复则共享一项要求. 取消支票将取消其义务,同时将证词留在历史中. 每次验证引用都会再次执行选择; 相同的证明 可在不跳过执行的情况下重新使用.

交付、审查、预览和依赖性完成从未执行核查. 他们消耗了现有证据,留下了失踪,僵化或不满意 所需经费待定。 核查还可完成已交付的合同 以先入为主,然后,每个城门都经过的时候, 交货前核查记录证据 无需安置。 审查仍然是一项独立的义务.

日记记录的内容

检查可持久的事实及其要求的范围,与现场处决分开:

keiyaku history <contract>
keiyaku history <contract> --json
keiyaku status <contract>
keiyaku deliver <contract> --dry-run --json

每个终端检查记录其大门、稳定要求和准确性的证词 被捕获的快照; 没有汇总的核查证明。 一会儿 不满意的结果仅取而代之 和主题。 审查证明了目前的文件和候选内容. 历史证词即使在声明被删除后仍然可以读取.

状态,预览,历史,收据,和JSON 保存每个要求缺失, 固以相克相克相克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克克 目前的声明可以使用 (b) 取消的要求保持其稳定身份。 校验 收据区分已执行的判决、新的或重新使用的接纳、可操作 停止,保留场景,完成。 现场观察 识别检查和 快照但不能创建日志存储或重放权限 .

董事会

keiyaku status 是一个屏幕。 两项合同和两项在逃债务:

CONTRACTS // recent

⧗ kei/ship-typed-debt-query-c898 · 1s · Ship typed Debt query
  [✓] delivery  [ ] review
⧗ kei/tighten-receipt-vocabulary-4a70 · 18s · Tighten receipt vocabulary
  [ ] delivery  [ ] review

DEBTS // recent

○ debt/regenerate-readme-from-real-010b · ready · P1 · Regenerate README from real output
○ debt/align-debt-cli-truth-promises-3af5 · ready · P0 · Align Debt CLI truth promises

标记会加速扫描;词会携带状态.

那个工人

---
provider: pi
model: kimi-coding/k3-256k
description: Repository implementation agent
---
Make scoped changes and run relevant tests.

一个马克登档案,一个工人. keiyaku call worker 传讯.

配置

设置是 JSON 在两个地址: ~/.keiyaku/settings.json 对于用户, .keiyaku/settings.json 在项目。 项目记录 完全隐藏同名用户记录。 没有写入命令; 编辑 文档并直接检查 合并、出处附加说明的视图 keiyaku settings。 。 。 .

命名的门组提供可重复使用的门集 。 捆绑并修改选中的 --gates; 数据 default 组在约束时适用 --gates 省略. 未作修改 --gates 保留现有大门 :

{
  "gates": {
    "default": { "kind": "bundle", "gates": ["reviewed"] },
    "strict": { "kind": "bundle", "gates": ["reviewed", "verified"] }
  }
}

选择接受内置名称 reviewed 财务报告和审定财务报表 verified,或配置 组合名称。 未知名字与已知名字一起被拒绝 。 自定义门 必须在配置的组内宣布;在制作人之前,它们不会满意 证明目前的每一项要求. reviewed 和定制的大门各有一个 要求; verified 其要求来自目前 声明。 没有单独的集合门证明.

核查仅通过明确 verify; 交付和审查消耗 现有证据。 每次检查都以引用过程的 Git 和 程序保管.

当合同管理的工作树被创建或 已销毁 —— 依赖安装是通常的怀疑:

{
  "worktree": {
    "create": [
      { "name": "install", "argv": ["npm", "ci", "--ignore-scripts", "--prefer-offline"], "timeoutMs": 300000 }
    ],
    "destroy": [
      { "name": "teardown", "argv": ["docker", "compose", "down", "-v"], "timeoutMs": 60000 }
    ]
  }
}

虎克在工作树内作为一个订购的相机运行,必须重放安全:a 重试从开始重运行此相 。 创建钩子准备工作树; 销毁 hooks 释放外部资源 工作树删除无法单独删除 . 失败的钩子保留了工作树 而且报告滞后;它永远不会放弃合同. keiyaku settings --help 列出每个识别的命名空间.

Paseo 供应商

在设置中配置一个已经运行的本地 Paseo 服务器. json:

{
  "providers": {
    "paseo": {
      "kind": "paseo",
      "config": { "url": "ws://127.0.0.1:6767/ws", "provider": "claude" }
    }
  }
}

本地提供人的身份是裸体(claude, (中文(简体) ), codex, (中文(简体) ), pi页:1. 在 Akuma 定义中选择 .keiyaku/akumas/paseo-worker.md :

---
provider: paseo
model: <native-model-id>
effort: high
---

当地提供者必须提供模式和努力;努力是本地的 思考选项 ID。 调用 PASEO_PASSWORD=<password> keiyaku call paseo-worker "<prompt>"。 。 。 .

• 在重新装入或重新启动 Paseo 原生程序后, 调用新的 Akuma 而不是恢复 .
• kill 财务报告和审定财务报表 --interrupt 在全局范围内控制当前执行会话,并可能影响 人类同时工作。 正常完成只断开客户端; 它确实 不取消以后的工作或关闭本地运行时间.
• 繁忙的代理商拒绝新的工作,但方向盘仍然可以竞相同时输入.
• 丢弃的连接不能证明取消成功 .

安装

npm install -g @astrosheep/keiyaku

Pi的运出扩展提供了本地 akuma_* 通过公共SDK工具, 加减 /keiyaku 状态叠加。 上面还写着 keiyaku 从 PATH; 本地工具没有. 见 plugins/pi/README.md 给宿主终生和离散的工作.

节点 22.19. 产品法 docs/。 。 。 .

来源构建

东道国融合来源 plugins/pi, (中文(简体) ), plugins/claude, (中文(简体) ), plugins/codex, (中文(简体) ), 财务报告和审定财务报表 plugins/opencode共享技能 skills/; 建筑复制它们 因此,本地设施是自成一体的。 分开 plugins/square 工作空间是Keiyaku的内部Square观察者,不是编码 绳接插件。 安装食谱并使用软件包元数据 资产 build/plugins 财务报告和审定财务报表 build/skills除了皮包元数据, 选择类型脚本扩展并 skills/创建源检出 在装入扩展名之前, 因此其包根 SDK 可用; 已发布 软件包已经包含 SDK 构建 .

从源起的建筑还用Zig 6.14.1来建造了Windows发射装置或更后. 安装 该系统工具单独制作 zig 备查 PATH,或设置 KEIYAKU_ZIG 到选定的可执行文件. npm ci 单靠自己是不够的 窗口启动器: 使用 npm ci --ignore-scripts --prefer-offline 接下来是 npm run build (或 npm test) (中文(简体) ). 在非窗口主机上, 缺少或无法使用 Zig只跳过 Windows 启动器,所以其余部分 npm run build 财务报告和审定财务报表 npm test ; Windows 构建失败,需要可操作的诊断.