{ "commit": "c742dd61706fbacc1b95f1a20b7b988cf096ce6c", "pluginVersion": "0.15.36", "dispositions": { "ported": "已适配；验证强度按 reason 和 audit.scope 记录", "substitute": "必要子集已有替代或已决定路线，完整入口待相应阶段实现", "deferred": "本批不实现；已审阅依赖与归属，不代表兼容或运行验收" }, "entries": [ { "kind": "agents", "source": "pstack/agents/comment-sicko.md", "disposition": "ported", "phase": "P3", "destination": "agents/comment-sicko.md", "reason": "已适配；通过适配层生成只读定义，严格限定工具白名单，见 validation-p3.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P3 ported agent with read-only tool allowlist" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/comment-sicko.md.template" }, "evidence": "validation-p3.md", "dependencies": [] }, { "kind": "agents", "source": "pstack/agents/poteto-agent.md", "disposition": "ported", "phase": "P3", "destination": "agents/poteto-agent.md", "reason": "已适配；通过适配层生成代码编写代理定义，适配包清单发现与单一 writer 约束，见 validation-p3.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P3 ported code-writing subagent" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/poteto-agent.md.template" }, "evidence": "validation-p3.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "skills", "source": "pstack/automations/benny/skills/reproduce-and-fix-issues/SKILL.md", "disposition": "substitute", "phase": "P5", "destination": null, "reason": "Cursor Benny/Slack/Linear 自动化不在 Pi 范围；本地替代为 Bug fix + 手动 issue 复现", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": null, "evidence": null, "dependencies": null }, { "kind": "skills", "source": "pstack/automations/benny/skills/setup-benny/SKILL.md", "disposition": "substitute", "phase": "P5", "destination": null, "reason": "Cursor Benny 安装与 Slack/Linear 配置不在 Pi 范围；本地替代为项目 AGENTS.md 与显式环境配置", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": null, "evidence": null, "dependencies": null }, { "kind": "skills", "source": "pstack/automations/benny/skills/triage-issue-reports/SKILL.md", "disposition": "substitute", "phase": "P5", "destination": null, "reason": "Cursor Benny 报告分流不在 Pi 范围；本地替代为 Investigation + 手动 issue 分类", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": null, "evidence": null, "dependencies": null }, { "kind": "skills", "source": "pstack/skills/architect/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/architect/SKILL.md", "reason": "已适配为 Pi 设计草图流程：本地设计工件、可选 arena、真实约束检查，默认不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [ "references/design-red-flags.md" ], "scope": "P5 resource checks plus semantic override checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/architect/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/arena/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/arena/SKILL.md", "reason": "已适配为 Pi 候选对比流程：受管 worktree 隔离、只读评审、角色模型，默认不合并或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus semantic override checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/arena/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/automate-me/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/automate-me/SKILL.md", "reason": "已适配为 Pi 本地习惯挖掘流程：只读当前 cwd 的会话并按 mtime 排序，结构化提问缺失时改用对话，草稿写入 .pi/skills 或用户技能目录；提交与 PR 需单独授权", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks, semantic override checks, and fixture session-discovery tests" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/automate-me/SKILL.md.template" }, "evidence": "validation-automate-me.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/benchmark-checklist/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/benchmark-checklist/SKILL.md", "reason": "平台工具与 PR 输出未统一；本地替代为 hillclimb/perf-issue 模板内联检查清单", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/benchmark-checklist/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/blast-radius/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/blast-radius/SKILL.md", "reason": "依赖 how/why/arena/unslop 与大范围编排；本地替代为 investigation + 显式范围与依赖清单", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/blast-radius/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/bro/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/bro/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/correct/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/correct/SKILL.md", "reason": "已适配；见 validation-p1.md 的实际审阅历史案例与合成历史回归，主会话执行", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/correct/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": [ "adapters/pi/harness.md" ] }, { "kind": "skills", "source": "pstack/skills/create-formal-verification-skill/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/create-formal-verification-skill/SKILL.md", "reason": "已适配；正文保持上游，追加 Pi 宿主执行与产物落盘约定；见 docs/validation-stage-b-batch-two.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Phase B snapshot pending port" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/create-formal-verification-skill/SKILL.md.template" }, "evidence": "validation-stage-b-batch-two.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/create-verification-skill/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/create-verification-skill/SKILL.md", "reason": "采用自编 Pi 作者流程；本轮由 prove-it-works 的脚本化检查替代", "audit": { "sourceRead": true, "relativeLinks": [ "references/feature-map-example/" ], "scope": "Disposition audit only; no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/create-verification-skill/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/figure-it-out/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/figure-it-out/SKILL.md", "reason": "依赖编排与 PR 流程；本地替代为 multi-phase-plan/feature 的显式计划", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/figure-it-out/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/how/SKILL.md", "disposition": "ported", "phase": "P3", "destination": "skills/how/SKILL.md", "reason": "investigation 流程已内嵌 how 的输出结构；完整版依赖子代理", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/how/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/in-your-own-words/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/in-your-own-words/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/interrogate/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/interrogate/SKILL.md", "reason": "已适配为 Pi 对抗审阅流程：可写独立 worktree adversary 跑复现、角色模型映射、父代理按 Phase F 重跑命令核实发现，不直接改父工作树", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus semantic override checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/interrogate/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/ketchup-video/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/ketchup-video/SKILL.md", "reason": "已适配；复用操作者最后消息起点与只读规则，视频放 scratch，输出本地 MP4 路径；见 validation-upstream-01534-c.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 ketchup-video adaptation and probe" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/ketchup-video/SKILL.md.template" }, "evidence": "validation-upstream-01534-c.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/ketchup/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/ketchup/SKILL.md", "reason": "正文保持上游；description 明确当前会话用 ketchup、历史会话用 recall；见 validation-stage-a.md 整合与路由证据", "audit": { "sourceRead": true, "relativeLinks": [ "../bro/SKILL.md" ], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/ketchup/SKILL.md.template" }, "evidence": "validation-stage-a.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/maintain-formal-verification-skill/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/maintain-formal-verification-skill/SKILL.md", "reason": "已适配；正文保持上游，追加 Pi 宿主执行与产物落盘约定；见 docs/validation-stage-b-batch-two.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Phase B snapshot pending port" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/maintain-formal-verification-skill/SKILL.md.template" }, "evidence": "validation-stage-b-batch-two.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/maintain-verification-skill/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/maintain-verification-skill/SKILL.md", "reason": "采用自编 Pi 作者流程；依赖并行源码读取", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/maintain-verification-skill/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/make-bot-ui/SKILL.md", "disposition": "substitute", "phase": "P5", "destination": null, "reason": "依赖 Cursor 云端 Bot 与 api2.cursor.sh webhook；本地替代为 feature + 操作者浏览器驱动", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": null, "evidence": null, "dependencies": null }, { "kind": "skills", "source": "pstack/skills/no-comments/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/no-comments/SKILL.md", "reason": "已适配为 Pi 注释审阅流程：只读 Comment Sicko、人工核实发现，默认不提交", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus semantic override checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/no-comments/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": [ "adapters/pi/harness.md" ] }, { "kind": "skills", "source": "pstack/skills/poteto-help/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-help/SKILL.md", "reason": "已适配完整技能索引；已同步上游 c742dd61（0.15.36）的 Autopilot-stack 与带字幕 ketchup-video 说明", "audit": { "sourceRead": true, "relativeLinks": [ "../poteto-mode/SKILL.md", "../setup-pstack/SKILL.md", "../../README.md", "../../docs/guide/01-setup.md", "references/prompting.md", "../../docs/guide/02-poteto-mode.md", "../in-your-own-words/SKILL.md", "../sharpen/SKILL.md", "../how/SKILL.md", "../why/SKILL.md", "../teach/SKILL.md", "../recall/SKILL.md", "../ketchup/SKILL.md", "../blast-radius/SKILL.md", "../architect/SKILL.md", "../arena/SKILL.md", "../swarm/SKILL.md", "../interrogate/SKILL.md", "../tdd/SKILL.md", "../typescript-best-practices/SKILL.md", "../no-comments/SKILL.md", "../unslop/SKILL.md", "../technical-writing/SKILL.md", "../bro/SKILL.md", "../create-verification-skill/SKILL.md", "../maintain-verification-skill/SKILL.md", "../benchmark-checklist/SKILL.md", "../figure-it-out/SKILL.md", "../show-me-your-work/SKILL.md", "../automate-me/SKILL.md", "../reflect/SKILL.md", "../correct/SKILL.md", "../make-bot-ui/SKILL.md", "../../docs/guide/06-verify-and-ship.md", "../poteto-mode/playbooks/multi-phase-plan.md", "../../docs/guide/08-principles.md", "../../docs/guide/07-overnight.md", "../../docs/guide/10-recipes-and-pitfalls.md", "../../docs/guide/09-make-it-yours.md", "references/recipes.md" ], "scope": "Disposition audit only; no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-help/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/authoring-a-skill.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/authoring-a-skill.md", "reason": "已适配为 Pi 原生技能编写流程：读取安装包 docs/skills.md，使用 read/edit/write，结构校验覆盖 frontmatter、目录名和相对链接；PR 需显式授权", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks, semantic override checks, and fixture skill-validation tests" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/authoring-a-skill.md.template" }, "evidence": "validation-authoring-a-skill.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/autonomous-run.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/autonomous-run.md", "reason": "已适配为 Pi `/loop run` 有界自治流程：先定停止谓词，迭代结果写本地证据，未授权不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus autonomous-run bounded-loop contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/autonomous-run.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/autopilot-full.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/autopilot-full.md", "reason": "已适配为 Pi PR 队列协调流程：单人 owner、受管 worktree、独立核实与显式落地授权，默认不自动合并", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/autopilot-full.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/autopilot-stack.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/autopilot-stack.md", "reason": "已适配为 Pi 栈式 PR 交付流程：根代理独占拓扑、operator 落地、默认不自动合并", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/autopilot-stack.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/babysit.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/babysit.md", "reason": "已适配为 Pi PR 监视流程：模式声明、单 frontier、有界 /loop 轮询、显式推送/合并授权", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/babysit.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/bug-fix.md", "disposition": "ported", "phase": "P1", "destination": "skills/poteto-mode/playbooks/bug-fix.md", "reason": "已适配；见 validation-p1.md 的对应流程样例（手工执行），调查与修复另有新会话观察", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/bug-fix.md.template" }, "evidence": "validation-playbook-restoration.md", "dependencies": [] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/eval.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/eval.md", "reason": "已适配为 Pi 盲测流程：候选在隔离 cwd 中并行运行并使用配置角色模型，执行链从子代理 sessionFile 或 transcript 读取；默认不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks, semantic override checks, and fixture child-transcript discovery tests" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/eval.md.template" }, "evidence": "validation-eval.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/feature.md", "disposition": "ported", "phase": "P1", "destination": "skills/poteto-mode/playbooks/feature.md", "reason": "已适配；见 validation-p1.md 的对应流程样例（手工执行），调查与修复另有新会话观察", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/feature.md.template" }, "evidence": "validation-playbook-restoration.md", "dependencies": [] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/hillclimb.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/hillclimb.md", "reason": "已适配为 Pi 有界测量循环：绑定 /loop run 预算、冻结 harness 与本地决策证据，默认不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/hillclimb.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/investigation.md", "disposition": "ported", "phase": "P1", "destination": "skills/poteto-mode/playbooks/investigation.md", "reason": "已适配；见 validation-p1.md 的对应流程样例（手工执行），调查与修复另有新会话观察", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/investigation.md.template" }, "evidence": "validation-p1.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/multi-phase-plan.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/multi-phase-plan.md", "reason": "已适配为 Pi 多阶段计划流程：计划为交付物、原型定悬案、执行需显式 go，默认不实现或提交", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/multi-phase-plan.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/opening-a-pr.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/opening-a-pr.md", "reason": "已适配为 Pi PR 创建流程：推送与 PR 需显式授权、禁止 force-push/自动合并", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/opening-a-pr.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "docs/templates/pstack-pr.md", "skills/interrogate/SKILL.md", "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/orchestrate.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/orchestrate.md", "reason": "已适配为 Pi agentic 大型项目协调流程：持久化 tracker、独立 worktree owner、宿主事件与有界监督、显式落地授权", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/orchestrate.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/pause-safely.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/pause-safely.md", "reason": "已适配为 Pi 本地暂停契约：显式暂停、按 run id 停止子代理、补丁与恢复笔记；未授权不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus pause-safely local-evidence workflow checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/pause-safely.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/perf-issue.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/perf-issue.md", "reason": "已适配为 Pi 单次性能修复流程：基线/后测、benchmark checklist、默认不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/perf-issue.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/prototype.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/prototype.md", "reason": "已适配为 Pi 一次性原型流程：隔离 scratch 目录、真实表面验证、默认不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/prototype.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/refactoring.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/refactoring.md", "reason": "已适配为 Pi 行为保持重构流程：先钉 contract、等价验证、默认不提交或推送", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/refactoring.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/runtime-forensics.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/runtime-forensics.md", "reason": "依赖实时控制驱动与诊断采样；本地替代为操作者调试器 + 有界 subagent 归约", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/runtime-forensics.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/session-pickup.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/session-pickup.md", "reason": "已适配为 Pi 会话恢复流程：仅当前会话或操作者提供的会话文件，不扫描 Cursor transcript", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/session-pickup.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/shipping.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/shipping.md", "reason": "已适配为 Pi 已验证 PR 落地流程：逐 PR 独立 verdict、patch-id 复核、显式落地授权", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/shipping.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/trace-forensics.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/trace-forensics.md", "reason": "依赖解析器与 sqlite；本地替代为本地脚本 + 大文件只读子代理", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/trace-forensics.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/visual-parity.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/visual-parity.md", "reason": "无通用视觉驱动与 baseline gate；本地替代为操作者截图/图像 diff harness + 有界 loop", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/visual-parity.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "playbooks", "source": "pstack/skills/poteto-mode/playbooks/worktree-cleanup.md", "disposition": "ported", "phase": "P5", "destination": "skills/poteto-mode/playbooks/worktree-cleanup.md", "reason": "已适配为 Pi 受管清理流程：先审计与确认，删除需逐项授权，不清理活动或脏 worktree", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus playbook contract checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/playbooks/worktree-cleanup.md.template" }, "evidence": "validation-p5-loop.md", "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "kind": "skills", "source": "pstack/skills/poteto-mode/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/poteto-mode/SKILL.md", "reason": "已适配；见 validation-p1.md 两次真实新会话调用及手工功能样例", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/principle-attack-the-premise/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-attack-the-premise/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [ "../principle-build-the-lever/SKILL.md", "../principle-fix-root-causes/SKILL.md", "../principle-laziness-protocol/SKILL.md", "../principle-redesign-from-first-principles/SKILL.md" ], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [ "skills/principle-build-the-lever/SKILL.md", "skills/principle-fix-root-causes/SKILL.md", "skills/principle-laziness-protocol/SKILL.md", "skills/principle-redesign-from-first-principles/SKILL.md" ] }, { "kind": "skills", "source": "pstack/skills/principle-boundary-discipline/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-boundary-discipline/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/principle-boundary-discipline/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-build-the-lever/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-build-the-lever/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [ "../principle-laziness-protocol/SKILL.md", "../principle-encode-lessons-in-structure/SKILL.md", "../principle-prove-it-works/SKILL.md" ], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [ "skills/principle-encode-lessons-in-structure/SKILL.md", "skills/principle-laziness-protocol/SKILL.md", "skills/principle-prove-it-works/SKILL.md" ] }, { "kind": "skills", "source": "pstack/skills/principle-encode-lessons-in-structure/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-encode-lessons-in-structure/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-exhaust-the-design-space/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-exhaust-the-design-space/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-experience-first/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-experience-first/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-explain-the-number/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-explain-the-number/SKILL.md", "reason": "已适配；正文保留，仅将未移植的 benchmark-checklist 链接改为文字引用；见 validation-p1.md", "audit": { "sourceRead": true, "relativeLinks": [ "../benchmark-checklist/SKILL.md", "../principle-prove-it-works/SKILL.md" ], "scope": "P5 resource checks plus override-level link closure checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/principle-explain-the-number/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/principle-fix-root-causes/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-fix-root-causes/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-foundational-thinking/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-foundational-thinking/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-guard-the-context-window/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-guard-the-context-window/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-laziness-protocol/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-laziness-protocol/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-make-operations-idempotent/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-make-operations-idempotent/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-minimize-reader-load/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-minimize-reader-load/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [ "../principle-guard-the-context-window/SKILL.md" ], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [ "skills/principle-guard-the-context-window/SKILL.md" ] }, { "kind": "skills", "source": "pstack/skills/principle-model-the-domain/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-model-the-domain/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-never-block-on-the-human/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-never-block-on-the-human/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-outcome-oriented-execution/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-outcome-oriented-execution/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-prove-it-works/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-prove-it-works/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/principle-prove-it-works/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-redesign-from-first-principles/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-redesign-from-first-principles/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-separate-before-serializing-shared-state/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-separate-before-serializing-shared-state/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-sequence-verifiable-units/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-sequence-verifiable-units/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/principle-sequence-verifiable-units/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": [ "skills/principle-prove-it-works/SKILL.md" ] }, { "kind": "skills", "source": "pstack/skills/principle-subtract-before-you-add/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-subtract-before-you-add/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-test-behavior-not-implementation/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/principle-test-behavior-not-implementation/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/principle-type-system-discipline/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/principle-type-system-discipline/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/recall/SKILL.md", "disposition": "ported", "phase": "P3", "destination": "skills/recall/SKILL.md", "reason": "已适配为 Pi 会话回顾流程：只读当前 cwd 的 session JSONL 并按 mtime 排序，排除当前会话，共享记录交给已移植的 why 技能；缺失数据源明确跳过", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P3 resource checks, semantic override checks, and fixture session-scope/order tests" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/recall/SKILL.md.template" }, "evidence": "validation-recall.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/reflect/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/reflect/SKILL.md", "reason": "已适配为 Pi 会话反思流程：只读当前会话证据、结构化编码，默认不提交", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus semantic override checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/reflect/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/setup-pstack/SKILL.md", "disposition": "substitute", "phase": "P2", "destination": null, "reason": "P2 已用 /setup-pstack 扩展命令替代：独立 JSON、实际模型目录与 thinking 校验，不沿用 .mdc；见 validation-p2.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; no implementation/runtime acceptance" }, "adaptation": { "strategy": "extension-command", "override": null }, "evidence": "validation-p2.md", "dependencies": null }, { "kind": "skills", "source": "pstack/skills/sharpen/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/sharpen/SKILL.md", "reason": "已适配；上游正文逐字保留，追加 Pi 只返回重写 prompt 的输出约束；见 validation-stage-b-batch-one.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus live sharpen output acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/sharpen/SKILL.md.template" }, "evidence": "validation-stage-b-batch-one.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/show-me-your-work/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/show-me-your-work/SKILL.md", "reason": "principle-prove-it-works 现保留本地证据记录；TSV 决策轨迹依赖会话 transcript", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/show-me-your-work/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/statechart/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/statechart/SKILL.md", "reason": "已统一固定到 c742dd61（0.15.36）；保留 0.15.34 TypeScript 编译器与 Pi 执行边界；见 docs/validation-statechart-ci.md", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Phase B snapshot pending port" }, "adaptation": { "strategy": "inherit-body", "override": null, "append": "adapters/pi/statechart/skill-tail.md", "replacements": "adapters/pi/statechart/skill-replacements.json" }, "evidence": "validation-statechart-sync.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/swarm/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/swarm/SKILL.md", "reason": "已适配为 Pi 并行工作流：覆盖矩阵、受管 worktree、单 writer、原生完成通知，默认不合并", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus semantic override checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/swarm/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/tdd/SKILL.md", "disposition": "ported", "phase": "P1", "destination": "skills/tdd/SKILL.md", "reason": "已适配并经过加载/链接/来源检查；流程内按需读取，不代表该叶子独立行为评测", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P1 resource checks plus workflow-level observations" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/teach/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/teach/SKILL.md", "reason": "依赖 how/why/unslop 与图像生成；本地替代为 investigation + 操作者图像工具", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; local substitution route recorded, no implementation/runtime acceptance" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/teach/SKILL.md.template" }, "evidence": "validation-next.md", "dependencies": "from-template" }, { "kind": "skills", "source": "pstack/skills/technical-writing/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/technical-writing/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/typescript-best-practices/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/typescript-best-practices/SKILL.md", "reason": "已适配；正文保持上游，移除 Pi 不支持的 paths frontmatter，随包保留 references/patterns.md；见 validation-p1.md 与 validation-fidelity.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus override-level body and frontmatter checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/typescript-best-practices/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": [ "skills/typescript-best-practices/references/patterns.md" ] }, { "kind": "skills", "source": "pstack/skills/unslop/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/unslop/SKILL.md", "reason": "已适配；正文保持上游，仅补 MIT frontmatter；见 validation-p1.md 资源检查", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus generation and body-integrity checks" }, "adaptation": { "strategy": "inherit-body", "override": null }, "evidence": "validation-p1.md", "dependencies": [] }, { "kind": "skills", "source": "pstack/skills/why/SKILL.md", "disposition": "ported", "phase": "P5", "destination": "skills/why/SKILL.md", "reason": "已适配为 Pi 决策溯源流程：本地 git/gh 与可用证据源、显式置信度，默认只读", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "P5 resource checks plus semantic override checks" }, "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/SKILL.md.template" }, "evidence": "validation-p1.md", "dependencies": "from-template" } ], "generator": "scripts/generate-pi-resources.mjs", "harness": "adapters/pi/harness.md", "sourceOverrides": [], "preparedResources": [ { "source": "pstack/skills/architect/references/design-red-flags.md", "destination": "skills/architect/references/design-red-flags.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/architect/references/design-red-flags.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/architect/references/rationale-template.md", "destination": "skills/architect/references/rationale-template.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/architect/references/rationale-template.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/architect/references/runner-prompt.md", "destination": "skills/architect/references/runner-prompt.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/architect/references/runner-prompt.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/create-verification-skill/references/feature-map-example/create-note.md", "destination": "skills/create-verification-skill/references/feature-map-example/create-note.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/create-verification-skill/references/feature-map-example/create-note.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/create-verification-skill/references/feature-map-example/README.md", "destination": "skills/create-verification-skill/references/feature-map-example/README.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/create-verification-skill/references/feature-map-example/README.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/create-verification-skill/references/feature-map-example/search.md", "destination": "skills/create-verification-skill/references/feature-map-example/search.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/create-verification-skill/references/feature-map-example/search.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/how/references/explainer-prompt.md", "destination": "skills/how/references/explainer-prompt.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/how/references/explainer-prompt.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/how/references/explorer-prompt.md", "destination": "skills/how/references/explorer-prompt.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/how/references/explorer-prompt.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/poteto-help/references/prompting.md", "destination": "skills/poteto-help/references/prompting.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-help/references/prompting.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/poteto-help/references/recipes.md", "destination": "skills/poteto-help/references/recipes.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-help/references/recipes.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/poteto-mode/references/bugbot-triage.md", "destination": "skills/poteto-mode/references/bugbot-triage.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/poteto-mode/references/bugbot-triage.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/reflect/references/divergent-reviewer.md", "destination": "skills/reflect/references/divergent-reviewer.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/reflect/references/divergent-reviewer.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/reflect/references/judgment-reviewer.md", "destination": "skills/reflect/references/judgment-reviewer.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/reflect/references/judgment-reviewer.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/reflect/references/synthesizer.md", "destination": "skills/reflect/references/synthesizer.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/reflect/references/synthesizer.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/reflect/references/tooling-reviewer.md", "destination": "skills/reflect/references/tooling-reviewer.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/reflect/references/tooling-reviewer.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/show-me-your-work/references/decision-log-template.tsv", "destination": "skills/show-me-your-work/references/decision-log-template.tsv", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/show-me-your-work/references/decision-log-template.tsv.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/statechart/references/render.md", "destination": "skills/statechart/references/render.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/backends/cfg.ts", "destination": "skills/statechart/scripts/backends/cfg.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/backends/mermaid.ts", "destination": "skills/statechart/scripts/backends/mermaid.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/backends/plain-text.ts", "destination": "skills/statechart/scripts/backends/plain-text.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/backends/report.ts", "destination": "skills/statechart/scripts/backends/report.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/config.ts", "destination": "skills/statechart/scripts/frontends/config.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/dot.ts", "destination": "skills/statechart/scripts/frontends/dot.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/marks.ts", "destination": "skills/statechart/scripts/frontends/marks.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/messages.ts", "destination": "skills/statechart/scripts/frontends/messages.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/spec.ts", "destination": "skills/statechart/scripts/frontends/spec.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/trace.ts", "destination": "skills/statechart/scripts/frontends/trace.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/value.ts", "destination": "skills/statechart/scripts/frontends/value.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/verdict.ts", "destination": "skills/statechart/scripts/frontends/verdict.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/frontends/view.ts", "destination": "skills/statechart/scripts/frontends/view.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/ir.ts", "destination": "skills/statechart/scripts/ir.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/package.json", "destination": "skills/statechart/scripts/package.json", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/annotate.ts", "destination": "skills/statechart/scripts/passes/annotate.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/label.ts", "destination": "skills/statechart/scripts/passes/label.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/lift.ts", "destination": "skills/statechart/scripts/passes/lift.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/loop-check.ts", "destination": "skills/statechart/scripts/passes/loop-check.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/paths.ts", "destination": "skills/statechart/scripts/passes/paths.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/reach.ts", "destination": "skills/statechart/scripts/passes/reach.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/region-check.ts", "destination": "skills/statechart/scripts/passes/region-check.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/passes/regions.ts", "destination": "skills/statechart/scripts/passes/regions.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/pipeline.ts", "destination": "skills/statechart/scripts/pipeline.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/run.ts", "destination": "skills/statechart/scripts/run.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/statechart", "destination": "skills/statechart/scripts/statechart", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/statechart.ts", "destination": "skills/statechart/scripts/statechart.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/chart.test.ts", "destination": "skills/statechart/scripts/test/chart.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/charts/Braces.mmd", "destination": "skills/statechart/scripts/test/charts/Braces.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/charts/Escapes.mmd", "destination": "skills/statechart/scripts/test/charts/Escapes.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/charts/Phases.mmd", "destination": "skills/statechart/scripts/test/charts/Phases.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/cli.test.ts", "destination": "skills/statechart/scripts/test/cli.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/config-fuzz.test.ts", "destination": "skills/statechart/scripts/test/config-fuzz.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/ConfigOracle.java", "destination": "skills/statechart/scripts/test/ConfigOracle.java", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus.test.ts", "destination": "skills/statechart/scripts/test/corpus.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/Counter/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/Counter/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/Counter.cfg", "destination": "skills/statechart/scripts/test/corpus/Counter/Counter.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/Counter.tla", "destination": "skills/statechart/scripts/test/corpus/Counter/Counter.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/graph.dot", "destination": "skills/statechart/scripts/test/corpus/Counter/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/report.md", "destination": "skills/statechart/scripts/test/corpus/Counter/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/sany.out", "destination": "skills/statechart/scripts/test/corpus/Counter/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Counter/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/Counter/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterAction/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla", "destination": "skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterAction/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterAction/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterAction/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out", "destination": "skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterFan/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla", "destination": "skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterFan/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterFan/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterFan/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterJump/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla", "destination": "skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterJump/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterJump/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterJump/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterRules/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla", "destination": "skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterRules/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla", "destination": "skills/statechart/scripts/test/corpus/CounterRules/Moves.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterRules/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterRules/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit", "destination": "skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out", "destination": "skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out", "destination": "skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterStart/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla", "destination": "skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterStart/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterStart/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterStart/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterStop/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla", "destination": "skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterStop/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterStop/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterStop/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterTie/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla", "destination": "skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterTie/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterTie/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterTie/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit", "destination": "skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out", "destination": "skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out", "destination": "skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/CounterView/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/CounterView/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg", "destination": "skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla", "destination": "skills/statechart/scripts/test/corpus/CounterView/CounterView.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/graph.dot", "destination": "skills/statechart/scripts/test/corpus/CounterView/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/report.md", "destination": "skills/statechart/scripts/test/corpus/CounterView/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/sany.out", "destination": "skills/statechart/scripts/test/corpus/CounterView/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/CounterView/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/CounterView/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit", "destination": "skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out", "destination": "skills/statechart/scripts/test/corpus/CounterView/verdict-3.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out", "destination": "skills/statechart/scripts/test/corpus/CounterView/verdict-4.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/CounterView/view.mjs", "destination": "skills/statechart/scripts/test/corpus/CounterView/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/DieHard/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/DieHard/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg", "destination": "skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla", "destination": "skills/statechart/scripts/test/corpus/DieHard/DieHard.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/graph.dot", "destination": "skills/statechart/scripts/test/corpus/DieHard/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/report.md", "destination": "skills/statechart/scripts/test/corpus/DieHard/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/sany.out", "destination": "skills/statechart/scripts/test/corpus/DieHard/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/DieHard/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/DieHard/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/FirstRule/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg", "destination": "skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla", "destination": "skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/graph.dot", "destination": "skills/statechart/scripts/test/corpus/FirstRule/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/report.md", "destination": "skills/statechart/scripts/test/corpus/FirstRule/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/sany.out", "destination": "skills/statechart/scripts/test/corpus/FirstRule/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out", "destination": "skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/report.md", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/sany.out", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/Login/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/Login/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/graph.dot", "destination": "skills/statechart/scripts/test/corpus/Login/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/Login.cfg", "destination": "skills/statechart/scripts/test/corpus/Login/Login.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/Login.tla", "destination": "skills/statechart/scripts/test/corpus/Login/Login.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/report.md", "destination": "skills/statechart/scripts/test/corpus/Login/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/sany.out", "destination": "skills/statechart/scripts/test/corpus/Login/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/Login/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Login/view.mjs", "destination": "skills/statechart/scripts/test/corpus/Login/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/report.md", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs", "destination": "skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/report.md", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/sany.out", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs", "destination": "skills/statechart/scripts/test/corpus/LoginParallel/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/report.md", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs", "destination": "skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs", "destination": "skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/PickWorker/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/graph.dot", "destination": "skills/statechart/scripts/test/corpus/PickWorker/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg", "destination": "skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla", "destination": "skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/report.md", "destination": "skills/statechart/scripts/test/corpus/PickWorker/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/sany.out", "destination": "skills/statechart/scripts/test/corpus/PickWorker/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/Shadow/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/Shadow/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/graph.dot", "destination": "skills/statechart/scripts/test/corpus/Shadow/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/report.md", "destination": "skills/statechart/scripts/test/corpus/Shadow/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/sany.out", "destination": "skills/statechart/scripts/test/corpus/Shadow/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg", "destination": "skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla", "destination": "skills/statechart/scripts/test/corpus/Shadow/Shadow.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla", "destination": "skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla", "destination": "skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/Shadow/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/report.md", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/sany.out", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/report.md", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/sany.out", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs", "destination": "skills/statechart/scripts/test/corpus/TwoPhase/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs", "destination": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/report.md", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/sany.out", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out", "destination": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/differential.test.ts", "destination": "skills/statechart/scripts/test/differential.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/grid/Grid.cfg", "destination": "skills/statechart/scripts/test/grid/Grid.cfg", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/grid/Grid.tla", "destination": "skills/statechart/scripts/test/grid/Grid.tla", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/grid/sany.out", "destination": "skills/statechart/scripts/test/grid/sany.out", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/java.ts", "destination": "skills/statechart/scripts/test/java.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/labels.ts", "destination": "skills/statechart/scripts/test/labels.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/messages.test.ts", "destination": "skills/statechart/scripts/test/messages.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/pipeline.test.ts", "destination": "skills/statechart/scripts/test/pipeline.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/plain-tlc.test.ts", "destination": "skills/statechart/scripts/test/plain-tlc.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/render.test.ts", "destination": "skills/statechart/scripts/test/render.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/tlc-out.test.ts", "destination": "skills/statechart/scripts/test/tlc-out.test.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/test/tlc.ts", "destination": "skills/statechart/scripts/test/tlc.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/tsconfig.json", "destination": "skills/statechart/scripts/tsconfig.json", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/statechart/scripts/worker.ts", "destination": "skills/statechart/scripts/worker.ts", "status": "accepted", "adaptation": { "strategy": "verbatim", "override": null }, "dependencies": [] }, { "source": "pstack/skills/typescript-best-practices/references/patterns.md", "destination": "skills/typescript-best-practices/references/patterns.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/typescript-best-practices/references/patterns.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/epistemics.md", "destination": "skills/why/references/epistemics.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/epistemics.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/investigator-prompt.md", "destination": "skills/why/references/investigator-prompt.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/investigator-prompt.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/source-playbook.md", "destination": "skills/why/references/source-playbook.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/source-playbook.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/code-archaeology.md", "destination": "skills/why/references/sources/code-archaeology.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/code-archaeology.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/databricks.md", "destination": "skills/why/references/sources/databricks.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/databricks.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/datadog.md", "destination": "skills/why/references/sources/datadog.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/datadog.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/incident-postmortem.md", "destination": "skills/why/references/sources/incident-postmortem.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/incident-postmortem.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/linear.md", "destination": "skills/why/references/sources/linear.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/linear.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/notion.md", "destination": "skills/why/references/sources/notion.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/notion.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/sentry.md", "destination": "skills/why/references/sources/sentry.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/sentry.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/sources/slack.md", "destination": "skills/why/references/sources/slack.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/sources/slack.md.template" }, "dependencies": "from-template" }, { "source": "pstack/skills/why/references/synthesizer-prompt.md", "destination": "skills/why/references/synthesizer-prompt.md", "status": "accepted", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/skills/why/references/synthesizer-prompt.md.template" }, "dependencies": "from-template" } ], "nativeResources": [ { "source": "pi/agents/bug-fix-agent.md", "destination": "agents/bug-fix-agent.md", "origin": "pi-specific-role", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/bug-fix-agent.md.template" }, "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "source": "pi/agents/perf-agent.md", "destination": "agents/perf-agent.md", "origin": "pi-specific-role", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/perf-agent.md.template" }, "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "source": "pi/agents/hillclimb-agent.md", "destination": "agents/hillclimb-agent.md", "origin": "pi-specific-role", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/hillclimb-agent.md.template" }, "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "source": "pi/agents/judgment-agent.md", "destination": "agents/judgment-agent.md", "origin": "pi-specific-role", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/judgment-agent.md.template" }, "dependencies": [] }, { "source": "pi/agents/strongest-agent.md", "destination": "agents/strongest-agent.md", "origin": "pi-specific-role", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/strongest-agent.md.template" }, "dependencies": [ "skills/poteto-mode/SKILL.md" ] }, { "source": "pi/agents/verifier.md", "destination": "agents/verifier.md", "origin": "pi-specific-role", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/verifier.md.template" }, "dependencies": [] }, { "source": "pi/agents/prose-writer.md", "destination": "agents/prose-writer.md", "origin": "pi-specific-role", "adaptation": { "strategy": "override", "override": "adapters/pi/overrides/agents/prose-writer.md.template" }, "dependencies": [ "skills/technical-writing/SKILL.md", "skills/unslop/SKILL.md" ] } ], "deferredResources": [ { "kind": "docs", "source": "pstack/docs/harness/claude-code.md", "disposition": "deferred", "phase": "P5", "destination": null, "reason": "Claude Code 安装树（harness/pstack/claude-code，#637、#705）专用于 Claude 宿主，Pi 使用自身包机制，不移植", "audit": { "sourceRead": true, "relativeLinks": [], "scope": "Disposition audit only; Claude Code harness deferred" } } ], "removedResources": [] }