TokenLedger
zh667
Relay-site attributed token usage for DeepSeek Harness — zero config, no credentials
PROJECT TOPICS
INSTALL REFERENCE
dsh plugin --profile web add github:Wang-Lin-Chang/dsh-schedule
该命令指向仓库当前默认分支;尚无绑定当前 commit 的完整验证结果。
PROJECT README
Part of the DSH plugin suite — six Apache-2.0 plugins for DeepSeek Harness. · DSH 插件套件之一:六个 Apache-2.0 插件。
Persistent scheduler for DeepSeek Harness: reminders and scheduled jobs that survive session restarts — SQLite archive, cross-session lease claiming, dual remind/job actions, full clock discipline. Built on schedule-core. Every claim carries an experiment number.
给 DeepSeek Harness 的持久调度:跨会话跨重启存活的提醒与定时任务——SQLite 档案馆、跨会话租约认领、remind/job 双模、完整时钟纪律。基于 schedule-core。每个能力声明都带实验编号。
官方 dsh-schedule 是会话内提醒器:状态存在会话事件日志里,会话一死,调度跟着死。本插件把调度状态搬进 SQLite 档案馆:
| 维度 | 官方 dsh-schedule | dsh-schedule |
|---|---|---|
| 状态存放 | 会话事件日志(会话死调度死) | SQLite 档案馆 + append-only 事件日志(跨会话) |
| 到期产物 | [SCHEDULE REMINDER] follow-up | 双模:remind(兼容)/ job(定时执行命令,落任务档案) |
| 派发主体 | 唯一 live owner | 多会话租约认领(原子抢占 + 60s 租约过期重认领) |
| 时间纪律 | RFC3339 / IANA / DST | 全盘继承,一字不改 |
| 跨重启 | 无 | 冷启动租约释放 + 到期翻转统一 sweep(EXP-1) |
action: 'job' 到点 spawn 可恢复执行任务(detach-runner 托管 + exit 协议 + pid 收养),输出并入 jobs 档案,任何会话可读。action: 'remind' 到点给创建会话发 [SCHEDULE REMINDER] follow-up;会话不 live 时保持 overdue 下周期重试(不丢提醒)。dsh plugin --profile <name> add "github:Wang-Lin-Chang/dsh-schedule#v0.1.0"
工具三件(协议对齐官方名字):
schedule_create { after_seconds | at | every_seconds, prompt, action?, job_spec?, time_zone? }
schedule_list
schedule_delete { id }
示例:5 分钟后提醒 / 每天 03:00(IANA 时区)跑备份 / 300 秒周期探测。
| 层 | 证据 |
|---|---|
| schedule-core | 单元 37 断言 + 时钟乱序 fuzz 200 种子/0 违反 + 实装×模型差分 644 断言/0 失败(见 core 的 EXPERIMENTS.md) |
| 本壳 | 集成 9 断言(job 桥真实 spawn + exit 协议 + remind live/ghost + 三工具 + DST 拒绝) |
| 真机 | 离线写入 → 重启自动认领派发 → 任务归档 completed(全链路闭环,真机日志) |
every_seconds ≥ 300——官方同款。npm test # 壳层集成验收(node --experimental-strip-types)
Apache-2.0
CLASSIFICATION EVIDENCE
系统优先读取 GitHub Topics,再与站内分类词典和词根规则比对。当前命中: cron-alternative、scheduler、sqlite。