@needfspeed/skills-library 0.2.0 → 0.3.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CATALOG.md +38 -13
- package/README.md +1 -1
- package/docs/pstack/README.md +27 -14
- package/docs/pstack/agents/comment-sicko.md +32 -0
- package/docs/pstack/agents/poteto-agent.md +9 -0
- package/package.json +1 -1
- package/skills/pstack/architect/SKILL.md +17 -17
- package/skills/pstack/architect/references/design-red-flags.md +57 -0
- package/skills/pstack/architect/references/rationale-template.md +3 -3
- package/skills/pstack/architect/references/runner-prompt.md +7 -6
- package/skills/pstack/arena/SKILL.md +14 -37
- package/skills/pstack/automate-me/SKILL.md +20 -25
- package/skills/pstack/benchmark-checklist/SKILL.md +39 -0
- package/skills/pstack/blast-radius/SKILL.md +50 -0
- package/skills/pstack/bro/SKILL.md +7 -0
- package/skills/pstack/correct/SKILL.md +32 -0
- package/skills/pstack/create-formal-verification-skill/SKILL.md +43 -0
- package/skills/pstack/create-verification-skill/SKILL.md +44 -0
- package/skills/pstack/create-verification-skill/references/feature-map-example/README.md +47 -0
- package/skills/pstack/create-verification-skill/references/feature-map-example/create-note.md +39 -0
- package/skills/pstack/create-verification-skill/references/feature-map-example/search.md +45 -0
- package/skills/pstack/figure-it-out/SKILL.md +14 -17
- package/skills/pstack/how/SKILL.md +17 -115
- package/skills/pstack/how/references/explainer-prompt.md +6 -6
- package/skills/pstack/how/references/explorer-prompt.md +1 -18
- package/skills/pstack/in-your-own-words/SKILL.md +7 -0
- package/skills/pstack/interrogate/SKILL.md +14 -89
- package/skills/pstack/ketchup/SKILL.md +43 -0
- package/skills/pstack/ketchup-video/SKILL.md +29 -0
- package/skills/pstack/maintain-formal-verification-skill/SKILL.md +58 -0
- package/skills/pstack/maintain-verification-skill/SKILL.md +39 -0
- package/skills/pstack/make-bot-ui/SKILL.md +115 -0
- package/skills/pstack/no-comments/SKILL.md +24 -0
- package/skills/pstack/poteto-help/SKILL.md +163 -0
- package/skills/pstack/poteto-help/references/prompting.md +51 -0
- package/skills/pstack/poteto-help/references/recipes.md +51 -0
- package/skills/pstack/poteto-mode/SKILL.md +82 -56
- package/skills/pstack/poteto-mode/playbooks/authoring-a-skill.md +3 -3
- package/skills/pstack/poteto-mode/playbooks/autonomous-run.md +5 -4
- package/skills/pstack/poteto-mode/playbooks/autopilot-full.md +25 -0
- package/skills/pstack/poteto-mode/playbooks/autopilot-stack.md +8 -0
- package/skills/pstack/poteto-mode/playbooks/babysit.md +23 -0
- package/skills/pstack/poteto-mode/playbooks/bug-fix.md +6 -8
- package/skills/pstack/poteto-mode/playbooks/eval.md +6 -8
- package/skills/pstack/poteto-mode/playbooks/feature.md +7 -7
- package/skills/pstack/poteto-mode/playbooks/hillclimb.md +21 -0
- package/skills/pstack/poteto-mode/playbooks/investigation.md +3 -3
- package/skills/pstack/poteto-mode/playbooks/multi-phase-plan.md +153 -1
- package/skills/pstack/poteto-mode/playbooks/opening-a-pr.md +27 -4
- package/skills/pstack/poteto-mode/playbooks/orchestrate.md +25 -0
- package/skills/pstack/poteto-mode/playbooks/pause-safely.md +5 -5
- package/skills/pstack/poteto-mode/playbooks/perf-issue.md +16 -4
- package/skills/pstack/poteto-mode/playbooks/prototype.md +5 -5
- package/skills/pstack/poteto-mode/playbooks/refactoring.md +10 -9
- package/skills/pstack/poteto-mode/playbooks/runtime-forensics.md +3 -3
- package/skills/pstack/poteto-mode/playbooks/session-pickup.md +4 -6
- package/skills/pstack/poteto-mode/playbooks/shipping.md +12 -0
- package/skills/pstack/poteto-mode/playbooks/trace-forensics.md +5 -5
- package/skills/pstack/poteto-mode/playbooks/visual-parity.md +3 -3
- package/skills/pstack/poteto-mode/playbooks/worktree-cleanup.md +12 -0
- package/skills/pstack/poteto-mode/references/bugbot-triage.md +142 -0
- package/skills/pstack/poteto-mode/scripts/bootstrap.ts +62 -0
- package/skills/pstack/poteto-mode/scripts/bun.lock +67 -0
- package/skills/pstack/poteto-mode/scripts/check-plan.mjs +205 -0
- package/skills/pstack/poteto-mode/scripts/check-plan.test.ts +110 -0
- package/skills/pstack/poteto-mode/scripts/package.json +16 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/cli.ts +223 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/github.ts +726 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/policy.ts +842 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/render.ts +169 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/types.ts +414 -0
- package/skills/pstack/poteto-mode/scripts/watch-pr/watch-pr +6 -0
- package/skills/pstack/poteto-mode/scripts/worktree-audit.sh +134 -0
- package/skills/pstack/principle-attack-the-premise/SKILL.md +21 -0
- package/skills/pstack/principle-boundary-discipline/SKILL.md +5 -3
- package/skills/pstack/principle-build-the-lever/SKILL.md +7 -7
- package/skills/pstack/principle-encode-lessons-in-structure/SKILL.md +2 -22
- package/skills/pstack/principle-exhaust-the-design-space/SKILL.md +1 -13
- package/skills/pstack/principle-experience-first/SKILL.md +5 -5
- package/skills/pstack/principle-explain-the-number/SKILL.md +18 -0
- package/skills/pstack/principle-fix-root-causes/SKILL.md +11 -12
- package/skills/pstack/principle-foundational-thinking/SKILL.md +5 -3
- package/skills/pstack/principle-guard-the-context-window/SKILL.md +1 -6
- package/skills/pstack/principle-laziness-protocol/SKILL.md +0 -7
- package/skills/pstack/principle-make-operations-idempotent/SKILL.md +4 -6
- package/skills/pstack/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +0 -8
- package/skills/pstack/principle-minimize-reader-load/SKILL.md +6 -9
- package/skills/pstack/principle-model-the-domain/SKILL.md +24 -0
- package/skills/pstack/principle-never-block-on-the-human/SKILL.md +7 -15
- package/skills/pstack/principle-outcome-oriented-execution/SKILL.md +0 -1
- package/skills/pstack/principle-prove-it-works/SKILL.md +2 -13
- package/skills/pstack/principle-redesign-from-first-principles/SKILL.md +4 -4
- package/skills/pstack/principle-separate-before-serializing-shared-state/SKILL.md +3 -3
- package/skills/pstack/principle-sequence-verifiable-units/SKILL.md +3 -8
- package/skills/pstack/principle-subtract-before-you-add/SKILL.md +3 -5
- package/skills/pstack/principle-test-behavior-not-implementation/SKILL.md +20 -0
- package/skills/pstack/principle-type-system-discipline/SKILL.md +5 -21
- package/skills/pstack/recall/SKILL.md +35 -0
- package/skills/pstack/reflect/SKILL.md +25 -33
- package/skills/pstack/reflect/references/divergent-reviewer.md +8 -13
- package/skills/pstack/reflect/references/judgment-reviewer.md +8 -13
- package/skills/pstack/reflect/references/synthesizer.md +4 -4
- package/skills/pstack/reflect/references/tooling-reviewer.md +9 -18
- package/skills/pstack/setup-pstack/SKILL.md +44 -21
- package/skills/pstack/sharpen/SKILL.md +16 -0
- package/skills/pstack/show-me-your-work/SKILL.md +20 -20
- package/skills/pstack/show-me-your-work/scripts/log.sh +4 -2
- package/skills/pstack/statechart/SKILL.md +82 -0
- package/skills/pstack/statechart/references/render.md +93 -0
- package/skills/pstack/statechart/scripts/backends/cfg.ts +33 -0
- package/skills/pstack/statechart/scripts/backends/mermaid.ts +201 -0
- package/skills/pstack/statechart/scripts/backends/plain-text.ts +72 -0
- package/skills/pstack/statechart/scripts/backends/report.ts +177 -0
- package/skills/pstack/statechart/scripts/frontends/config.ts +276 -0
- package/skills/pstack/statechart/scripts/frontends/dot.ts +74 -0
- package/skills/pstack/statechart/scripts/frontends/marks.ts +93 -0
- package/skills/pstack/statechart/scripts/frontends/messages.ts +52 -0
- package/skills/pstack/statechart/scripts/frontends/spec.ts +114 -0
- package/skills/pstack/statechart/scripts/frontends/trace.ts +24 -0
- package/skills/pstack/statechart/scripts/frontends/value.ts +166 -0
- package/skills/pstack/statechart/scripts/frontends/verdict.ts +40 -0
- package/skills/pstack/statechart/scripts/frontends/view.ts +119 -0
- package/skills/pstack/statechart/scripts/ir.ts +547 -0
- package/skills/pstack/statechart/scripts/package.json +11 -0
- package/skills/pstack/statechart/scripts/passes/annotate.ts +128 -0
- package/skills/pstack/statechart/scripts/passes/label.ts +269 -0
- package/skills/pstack/statechart/scripts/passes/lift.ts +85 -0
- package/skills/pstack/statechart/scripts/passes/loop-check.ts +68 -0
- package/skills/pstack/statechart/scripts/passes/paths.ts +60 -0
- package/skills/pstack/statechart/scripts/passes/reach.ts +135 -0
- package/skills/pstack/statechart/scripts/passes/region-check.ts +97 -0
- package/skills/pstack/statechart/scripts/passes/regions.ts +295 -0
- package/skills/pstack/statechart/scripts/pipeline.ts +76 -0
- package/skills/pstack/statechart/scripts/run.ts +481 -0
- package/skills/pstack/statechart/scripts/statechart +29 -0
- package/skills/pstack/statechart/scripts/statechart.ts +164 -0
- package/skills/pstack/statechart/scripts/test/ConfigOracle.java +63 -0
- package/skills/pstack/statechart/scripts/test/chart.test.ts +1210 -0
- package/skills/pstack/statechart/scripts/test/charts/Braces.mmd +7 -0
- package/skills/pstack/statechart/scripts/test/charts/Escapes.mmd +11 -0
- package/skills/pstack/statechart/scripts/test/charts/Phases.mmd +29 -0
- package/skills/pstack/statechart/scripts/test/cli.test.ts +1314 -0
- package/skills/pstack/statechart/scripts/test/config-fuzz.test.ts +263 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/report.md +7 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/report.md +27 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/report.md +17 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
- package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/Login.tla +62 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/graph.dot +40 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/report.md +7 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
- package/skills/pstack/statechart/scripts/test/corpus/Login/view.mjs +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
- package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
- package/skills/pstack/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/report.md +8 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
- package/skills/pstack/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
- package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
- package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
- package/skills/pstack/statechart/scripts/test/corpus.test.ts +403 -0
- package/skills/pstack/statechart/scripts/test/differential.test.ts +565 -0
- package/skills/pstack/statechart/scripts/test/grid/Grid.cfg +2 -0
- package/skills/pstack/statechart/scripts/test/grid/Grid.tla +9 -0
- package/skills/pstack/statechart/scripts/test/grid/sany.out +2 -0
- package/skills/pstack/statechart/scripts/test/java.ts +63 -0
- package/skills/pstack/statechart/scripts/test/labels.ts +643 -0
- package/skills/pstack/statechart/scripts/test/messages.test.ts +212 -0
- package/skills/pstack/statechart/scripts/test/pipeline.test.ts +270 -0
- package/skills/pstack/statechart/scripts/test/plain-tlc.test.ts +255 -0
- package/skills/pstack/statechart/scripts/test/render.test.ts +81 -0
- package/skills/pstack/statechart/scripts/test/tlc-out.test.ts +90 -0
- package/skills/pstack/statechart/scripts/test/tlc.ts +158 -0
- package/skills/pstack/statechart/scripts/tsconfig.json +11 -0
- package/skills/pstack/statechart/scripts/worker.ts +35 -0
- package/skills/pstack/swarm/SKILL.md +41 -0
- package/skills/pstack/tdd/SKILL.md +2 -4
- package/skills/pstack/teach/SKILL.md +21 -0
- package/skills/pstack/technical-writing/SKILL.md +106 -0
- package/skills/pstack/typescript-best-practices/SKILL.md +11 -4
- package/skills/pstack/typescript-best-practices/references/patterns.md +127 -22
- package/skills/pstack/unslop/SKILL.md +18 -36
- package/skills/pstack/why/SKILL.md +31 -162
- package/skills/pstack/why/references/epistemics.md +22 -95
- package/skills/pstack/why/references/investigator-prompt.md +23 -42
- package/skills/pstack/why/references/source-playbook.md +1 -1
- package/skills/pstack/why/references/sources/code-archaeology.md +6 -43
- package/skills/pstack/why/references/sources/databricks.md +7 -7
- package/skills/pstack/why/references/sources/datadog.md +13 -15
- package/skills/pstack/why/references/sources/incident-postmortem.md +0 -10
- package/skills/pstack/why/references/sources/linear.md +2 -2
- package/skills/pstack/why/references/sources/notion.md +3 -3
- package/skills/pstack/why/references/sources/sentry.md +3 -37
- package/skills/pstack/why/references/sources/slack.md +1 -38
- package/skills/pstack/why/references/synthesizer-prompt.md +35 -41
- package/docs/pstack/poteto-agent.md +0 -8
- package/skills/pstack/how/references/critic-prompt.md +0 -59
- package/skills/pstack/how/references/critique-rubric.md +0 -58
- package/skills/pstack/interrogate/references/code-quality-review.md +0 -47
- package/skills/pstack/interrogate/references/lead-judgment.md +0 -58
- package/skills/pstack/interrogate/references/reviewer-prompt.md +0 -72
- package/skills/pstack/interrogate/references/rubric.md +0 -77
- package/skills/pstack/poteto-mode/references/plan.md +0 -105
|
@@ -1,99 +1,34 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: why
|
|
3
3
|
description: "Use for 'why does X work this way', 'why we picked Y', design rationale, regressions, postmortems, or data-backed thresholds. Discovers available MCPs and queries each evidence category (source control, issue tracker, long-form docs, real-time chat, infrastructure observability, error tracking, product analytics warehouse) in parallel, then returns a cited read on decisions and tradeoffs. Use how for runtime behavior."
|
|
4
|
+
disable-model-invocation: true
|
|
4
5
|
---
|
|
5
6
|
|
|
6
7
|
# Why
|
|
7
8
|
|
|
8
|
-
Investigate the motivation and intent behind code.
|
|
9
|
+
Investigate the motivation and intent behind code. The companion `how` skill answers what the code does and how it works. `why` answers what forces led to its shape.
|
|
9
10
|
|
|
10
|
-
|
|
11
|
+
Each spawn below names a role line in the `pstack-models.mdc` rule and a default. Set `model` to that line's value, or to the default if the rule or the line is missing. Leave `model` unset when the value is `auto` or `inherit-parent`. If the Task tool rejects a slug, use the default and say so. If it rejects the default, use the closest valid slug of the same family from its error message. Pick each subagent's reasoning level and fast or standard speed for the job, per the Subagents section of the **poteto-mode** skill.
|
|
11
12
|
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
Historical context spreads across seven evidence categories: source control history, issue or ticket tracking, long-form documents, real-time team chat, infrastructure observability, error or exception tracking, and product analytics warehouses. You cannot predict from the question alone which one holds the answer, so the skill enumerates available MCPs at run time, maps each to a category, queries all seven in parallel, then synthesizes with explicit confidence calibration. Null results from searched categories are first-class evidence about how the decision was made; report them alongside positive findings. The default is coverage, not minimalism.
|
|
13
|
+
Every spawn is `generalPurpose` with `readonly: false` (agent mode). **Do not use readonly/Ask mode.** It strips MCP access, which disables the MCP-backed investigators and the synthesizer's citation spot-checks. Investigators still shouldn't write anything.
|
|
15
14
|
|
|
16
15
|
## Operating Posture
|
|
17
16
|
|
|
18
|
-
Operate as a careful, cautious, precise investigator
|
|
19
|
-
|
|
20
|
-
Concretely:
|
|
21
|
-
|
|
22
|
-
- **Evidence before narrative.** Collect the pieces first, then see what story they support. Never pick a story and recruit the evidence that fits it.
|
|
23
|
-
- **Precision over polish.** Prefer the exact quote and citation over a smooth paraphrase. A reader should be able to follow any claim back to its source and verify it in under a minute.
|
|
24
|
-
- **Consider what you haven't seen.** The evidence you find is a sample, not the whole truth. Before concluding, ask what you would expect to see if an alternative explanation were true, and whether you looked for it.
|
|
25
|
-
- **Name the gaps.** If a thread goes cold, a source isn't searchable, or a question has no answer, document the gap. Don't paper it over with an authoritative-sounding guess.
|
|
26
|
-
- **Hedge on purpose.** When evidence is indirect, your language should signal it ("appears to", "likely", "suggests"). Confidence-matching phrasing is a feature of the output, not a stylistic choice the synthesizer may override.
|
|
27
|
-
- **No shortcut by code-reading.** The code tells you what it does, rarely why it exists. Resist inferring intent from code shape.
|
|
28
|
-
|
|
29
|
-
This posture is the working method, not a disclaimer.
|
|
30
|
-
|
|
31
|
-
## Core Epistemics
|
|
32
|
-
|
|
33
|
-
This skill builds a **patchwork understanding** from fragmented historical evidence. Tickets go stale. Chat threads get deleted. Commit messages lie. People change their minds between the PR description and the implementation. The original author may have left the company.
|
|
34
|
-
|
|
35
|
-
Be ruthlessly honest about what you know versus what you're inferring. The goal is not a satisfying story; it is to surface evidence, calibrate confidence, and let the user decide.
|
|
36
|
-
|
|
37
|
-
Principles:
|
|
38
|
-
|
|
39
|
-
- **Cite everything.** Every claim about intent should reference a specific commit hash, PR number, ticket ID, doc URL, chat permalink, or code comment. If you can't cite it, it's inference, not fact, and must be labeled as such.
|
|
40
|
-
- **Prefer "appears to" over "because".** Hedge when evidence is indirect. Reserve confident language for direct, explicit evidence.
|
|
41
|
-
- **Surface contradictions.** If two sources disagree, show both. Don't quietly pick the one that fits your narrative.
|
|
42
|
-
- **Acknowledge gaps.** If a question has no answer in any source you searched, say so. An honest "we couldn't find out why" beats a confident guess.
|
|
43
|
-
- **Multiple hypotheses are valid.** When the evidence fits several stories, present them all with the evidence for each. Let the user triangulate.
|
|
44
|
-
- **Beware rationalization.** Code that makes sense today may have been written for reasons that no longer apply, or for no good reason at all. Don't retrofit intent.
|
|
45
|
-
|
|
46
|
-
Read `references/epistemics.md` for the full confidence framework and phrasing guide. The synthesizer must follow it.
|
|
17
|
+
Operate as a **careful, cautious, and precise investigator**. Be honest about what you know vs what you're inferring. Read `references/epistemics.md` for the full confidence framework and phrasing guide. The synthesizer must follow it.
|
|
47
18
|
|
|
48
19
|
## Step 1. Understand the Target and the Question
|
|
49
20
|
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
- "Why was X designed this way?" Design rationale.
|
|
53
|
-
- "Why do we do X instead of Y?" Tradeoff or alternatives.
|
|
54
|
-
- "What edge cases motivated this?" Defensive reasoning.
|
|
55
|
-
- "What business or product constraint led to this?" External forcing function.
|
|
56
|
-
- "Why does this code still exist?" Dead-code territory.
|
|
57
|
-
- "What's the history of X?" Broad archaeological sweep.
|
|
21
|
+
The **target** is usually a chunk of code, a pattern, a feature, or a named design decision. The **question** is usually a design rationale, a tradeoff, a motivating edge case, an external constraint, dead code, or a broad history sweep.
|
|
58
22
|
|
|
59
23
|
If the target is vague ("why do we do it this way?" with no clear referent), make your best guess from conversation context (open files, recent edits, cursor location, what was just discussed). State your interpretation briefly so the user can redirect if you're off, then proceed.
|
|
60
24
|
|
|
61
25
|
## Step 2. Establish the Code Anchor
|
|
62
26
|
|
|
63
|
-
Before spawning investigators,
|
|
27
|
+
Before spawning investigators, build the seed context inline: file paths and line ranges, key symbols (functions, classes, constants), the last few commits touching the target, PR numbers from merge commits (pattern `(#1234)` in the subject line), and any linked ticket IDs. Run `git blame -L <start>,<end> <file>` for last-touch commits, `git log --follow -p -- <file>` for full history with patches through renames, `git log --oneline -20 -- <file>` for recent commits with PR numbers visible, and `git log -1 --format=%B <commit>` to extract PR numbers. Then pull the PR bodies and discussion for any substantive commit: `gh pr view <number> --json title,body,author,createdAt,mergedAt,labels,closingIssuesReferences,comments,reviews`. This anchor goes to every investigator and to the synthesizer.
|
|
64
28
|
|
|
65
|
-
|
|
66
|
-
- The key symbols (function names, class names, constants)
|
|
67
|
-
- An initial commit list. The last few commits touching the target.
|
|
68
|
-
- PR numbers from merge commits (pattern `(#1234)` in the subject line)
|
|
29
|
+
## Step 3. Spawn Parallel Investigators
|
|
69
30
|
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
```bash
|
|
73
|
-
# Blame target lines for last-touch commits
|
|
74
|
-
git blame -L <start>,<end> <file>
|
|
75
|
-
|
|
76
|
-
# Full file history, with patches, through renames
|
|
77
|
-
git log --follow -p -- <file>
|
|
78
|
-
|
|
79
|
-
# Last N commits touching the file, PR numbers visible
|
|
80
|
-
git log --oneline -20 -- <file>
|
|
81
|
-
|
|
82
|
-
# Extract PR numbers from a commit message
|
|
83
|
-
git log -1 --format=%B <commit>
|
|
84
|
-
```
|
|
85
|
-
|
|
86
|
-
Pull PR bodies and discussion via `gh` for any substantive commits:
|
|
87
|
-
|
|
88
|
-
```bash
|
|
89
|
-
gh pr view <number> --json title,body,author,createdAt,mergedAt,labels,closingIssuesReferences,comments,reviews
|
|
90
|
-
```
|
|
91
|
-
|
|
92
|
-
Capture this as seed context (file paths, symbols, commits, PR numbers, linked ticket IDs). Pass it to the investigators so they don't rediscover it.
|
|
93
|
-
|
|
94
|
-
## Step 3. Spawn Parallel Investigators (default posture)
|
|
95
|
-
|
|
96
|
-
**Default to the full parallel investigation.** Each evidence category lives in a different kind of system, and you cannot tell from the question alone which one holds the answer without looking. So look across every available category, in parallel, by default.
|
|
31
|
+
**Default to the full parallel investigation.** The goal is a complete coverage map, not a minimal one. Document the null, don't skip the search.
|
|
97
32
|
|
|
98
33
|
### Discovery
|
|
99
34
|
|
|
@@ -111,119 +46,53 @@ Map each available MCP to one evidence category:
|
|
|
111
46
|
|
|
112
47
|
Source control is always available through git and `gh`. For the other six, classify using the MCP name, server instructions, tool names, and resource descriptors. If an MCP could fit more than one category, choose the one matching its primary evidence. Record ambiguous cases in the coverage map.
|
|
113
48
|
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
Launch all matching investigators in a single message so they run concurrently. One investigator per category lets each specialize in one tool's query vocabulary and result shape. Don't ask one agent to cover multiple MCPs.
|
|
49
|
+
Spawn one investigator per category that has a matching MCP, all in a single message so they run concurrently, each owning exactly one tool or MCP. Don't ask one agent to cover multiple MCPs. `model`: the `why investigators` line, default `grok-4.7-xhigh-fast`.
|
|
117
50
|
|
|
118
|
-
|
|
119
|
-
- `
|
|
120
|
-
- `
|
|
121
|
-
-
|
|
51
|
+
Each investigator's prompt is `references/investigator-prompt.md` filled in, plus:
|
|
52
|
+
- the category playbook `references/sources/<source>.md` for the selected MCP, adapted from the examples in `references/source-playbook.md`
|
|
53
|
+
- `references/sources/incident-postmortem.md` **if the target code looks defensive** (null checks, retry logic, timeout handling, rate limiting, feature flags, egress guards, OOM handlers)
|
|
54
|
+
- the code anchor and the user's original question
|
|
122
55
|
|
|
123
|
-
|
|
124
|
-
1. The base prompt from `references/investigator-prompt.md`
|
|
125
|
-
2. The category playbook `references/sources/<source>.md` for the selected MCP, adapted from the examples in `references/source-playbook.md`
|
|
126
|
-
3. The cross-cutting `references/sources/incident-postmortem.md` **if the target code looks defensive** (null checks, retry logic, timeout handling, rate limiting, feature flags, egress guards, OOM handlers)
|
|
127
|
-
4. The code anchor from Step 2 (file paths, symbols, commit hashes, PR numbers, ticket IDs)
|
|
128
|
-
5. The user's original question
|
|
56
|
+
### Investigator roster, one per available evidence category
|
|
129
57
|
|
|
130
|
-
|
|
58
|
+
Each category below is uniquely positioned to surface one shape of "why", shown after "Best at". Use it to know what to expect back, to name a gap when a category returns empty, and, only in the rare provably-irrelevant case, to justify a skip.
|
|
131
59
|
|
|
132
|
-
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
3. **Long-form documents investigator** (e.g. Notion, Confluence, Google Docs, Coda MCP). PRDs, specs, RFCs, design docs, ADRs, postmortems, team pages, meeting notes. Best at surfacing *long-form design rationale*. Problem statements, explicit "alternatives considered" and "rejected approaches" sections, strategy documents that set priorities, ADRs with finalized decisions, and postmortem action items that tie directly to code. Where the why is written out before it becomes code.
|
|
141
|
-
|
|
142
|
-
4. **Real-time team chat investigator** (e.g. Slack, Discord, Microsoft Teams, Mattermost MCP). Feature-name and symbol searches, PR URL mentions, incident channels (`#sev-*`, `#incident-*`), author-handle activity around the ship date. Best at surfacing *real-time deliberation that never reached a doc*. Fire-drill decisions during incidents, Q&A between the PR author and reviewers, casual "we decided X because Y" threads, and rationale for small changes that didn't warrant a PRD. Especially important when the source control, ticket, and doc paper trail is thin.
|
|
143
|
-
|
|
144
|
-
5. **Infrastructure observability investigator** (e.g. Datadog, New Relic, Honeycomb, Grafana, Splunk MCP). Metrics, monitors, dashboards, logs, APM traces, formal incidents. Infra/runtime view. Best at surfacing *infrastructure and runtime reality that motivated the code*. Monitor thresholds whose numbers match code constants, metric spikes in the window right before a PR merge, dashboards created as postmortem action items, incident timelines that reference the target. Strongest when the target reacts to an infra signal (timeouts, retries, rate limits, circuit breakers).
|
|
145
|
-
|
|
146
|
-
6. **Error / exception tracking investigator** (e.g. Sentry, Rollbar, Bugsnag, Airbrake MCP). Issues, events, stack traces, releases. Best at surfacing *the specific exceptions and error trajectories that motivated defensive or corrective code*. Stack traces that pass through the target function, issues whose first-seen/last-seen windows bracket the PR ship date, release correlations that show an error stopping at a specific version. Strongest for catch blocks, null guards, type checks, retries, and other defenses.
|
|
147
|
-
|
|
148
|
-
7. **Product analytics warehouse investigator** (e.g. Databricks, Snowflake, BigQuery, ClickHouse, dbt, Redshift MCP). Product-analytics events, experiment and feature-flag exposure tables, usage and billing events, query history, warehouse telemetry. Product/data view. Complements infrastructure observability by covering *user behavior and data reality* around the ship date rather than infra metrics. Best at surfacing *product and data reality that shaped the code*. Feature-usage trajectories (a step-function ramp from zero is strong evidence that this PR launched it), experiment/flag exposure data tied to ship decisions, pre-ship distributions that reveal where a threshold constant came from (e.g., `limit = 128 * 1024` matching the p99 of an upload-size column), and data-pipeline scale evidence for migrations/backfills. Strongest for flag-gated code, experiment-driven ships, data migrations, and "where did this number come from" questions.
|
|
60
|
+
1. **Source control** (git history, `gh` for PRs, code comments, tests). Always spawn, the only guaranteed source. Best at *implementation-time rationale captured during review*.
|
|
61
|
+
2. **Issue / ticket tracker** (e.g. Linear, Jira, GitHub Issues, Plane, Shortcut MCP). Best at *the product or business forcing function*. Strongest when the why is external to engineering.
|
|
62
|
+
3. **Long-form documents** (e.g. Notion, Confluence, Google Docs, Coda MCP). Best at *long-form design rationale*, written out before it becomes code.
|
|
63
|
+
4. **Real-time team chat** (e.g. Slack, Discord, Microsoft Teams, Mattermost MCP). Best at *real-time deliberation that never reached a doc*. Especially important when the source control, ticket, and doc paper trail is thin.
|
|
64
|
+
5. **Infrastructure observability** (e.g. Datadog, New Relic, Honeycomb, Grafana, Splunk MCP). Best at *infrastructure and runtime reality that motivated the code*. Strongest when the target reacts to an infra signal (timeouts, retries, rate limits, circuit breakers).
|
|
65
|
+
6. **Error / exception tracking** (e.g. Sentry, Rollbar, Bugsnag, Airbrake MCP). Best at *the specific exceptions and error trajectories that motivated defensive or corrective code*. Strongest for catch blocks, null guards, type checks, retries, and other defenses.
|
|
66
|
+
7. **Product analytics warehouse** (e.g. Databricks, Snowflake, BigQuery, ClickHouse, dbt, Redshift MCP). Best at *product and data reality that shaped the code*. Strongest for flag-gated code, experiment-driven ships, data migrations, and "where did this number come from" questions.
|
|
149
67
|
|
|
150
68
|
### When to skip an investigator
|
|
151
69
|
|
|
152
|
-
Only
|
|
153
|
-
|
|
154
|
-
- **No MCP is available for that category** in this environment. Flag this as a gap, not a choice. Example: "Real-time team chat skipped. No matching MCP available, so the conversational record was not searchable."
|
|
155
|
-
- **The source is provably irrelevant**, not just "probably irrelevant." A high bar. Example: "Error / exception tracking skipped. Target is a build-time script with no runtime code path." Not "probably not in error tracking, it's a feature not an error."
|
|
70
|
+
Only with an **explicit, written justification** that goes in the final Sources Consulted. Two valid reasons:
|
|
156
71
|
|
|
157
|
-
|
|
72
|
+
- **No MCP is available for that category** in this environment. Flag it as a gap, not a choice: "Real-time team chat skipped. No matching MCP available, so the conversational record was not searchable."
|
|
73
|
+
- **The source is provably irrelevant**, not just "probably irrelevant." A high bar: "Error / exception tracking skipped. Target is a build-time script with no runtime code path."
|
|
158
74
|
|
|
159
75
|
If your scope assessment suggests a single-commit trivial target where the PR description already contains the complete answer, you may answer inline **only after** confirming all seven available category searches would be redundant. Say so explicitly. This should be rare.
|
|
160
76
|
|
|
161
77
|
## Step 4. Synthesize
|
|
162
78
|
|
|
163
|
-
Spawn one synthesizer
|
|
164
|
-
|
|
165
|
-
- `subagent_type`: `generalPurpose`
|
|
166
|
-
- `model`: your configured why-synthesizer model (default `claude-opus-4-8-thinking-xhigh`)
|
|
167
|
-
- `readonly`: `false` (agent mode). The synthesizer's quality check spot-verifies citations, which can require MCP access. Readonly/Ask mode strips MCPs and defeats that.
|
|
168
|
-
|
|
169
|
-
The synthesizer gets:
|
|
79
|
+
Spawn one synthesizer. `model`: the `why synthesizer` line, default `claude-opus-5-5-xhigh`. It gets:
|
|
170
80
|
1. The investigator findings, including any null results and any categories skipped with justification
|
|
171
|
-
2. The code anchor
|
|
81
|
+
2. The code anchor
|
|
172
82
|
3. The user's original question
|
|
173
83
|
4. The epistemics framework from `references/epistemics.md`
|
|
174
84
|
5. The synthesizer prompt template from `references/synthesizer-prompt.md`
|
|
175
85
|
|
|
176
|
-
Its job is the final output: a confidence-weighted, evidence-cited narrative with clearly separated "what we know" and "what we're inferring" sections, plus honest acknowledgment of gaps and null-result sources.
|
|
177
|
-
|
|
178
86
|
## Step 5. Present
|
|
179
87
|
|
|
180
|
-
|
|
88
|
+
Present the synthesizer's output to the user. You may lightly edit for clarity or add context from the conversation, but **do not rewrite the confidence language**.
|
|
181
89
|
|
|
182
90
|
## Output Format
|
|
183
91
|
|
|
184
|
-
The
|
|
185
|
-
|
|
186
|
-
**The Question**. Restate what the user asked, concisely.
|
|
187
|
-
|
|
188
|
-
**The Code in Question**. File paths, line ranges, and key symbols. One or two lines so the reader is anchored.
|
|
189
|
-
|
|
190
|
-
**What We Found (direct evidence)**. Claims with explicit citations (PR #, ticket ID, doc URL, chat permalink, commit hash, code comment with file:line). Each bullet is a thing we have textual evidence for. Use present tense and quote or paraphrase the source.
|
|
191
|
-
|
|
192
|
-
**What We Can Reasonably Infer**. Claims well-supported by indirect evidence or combinations of signals, but not explicitly stated anywhere. Each bullet must explain the inference chain: "Given A and B, it's likely that C." Use hedged language ("appears to", "likely", "suggests").
|
|
193
|
-
|
|
194
|
-
**Competing Hypotheses**. If the evidence fits multiple stories, list them. For each, give the hypothesis, the evidence for it, and the evidence against it. Don't force a winner when the record doesn't support one. (Skip this section if there's a clear answer.)
|
|
195
|
-
|
|
196
|
-
**What We Don't Know**. Explicit gaps. Questions the user asked that the evidence didn't answer. Sources we searched and came up empty. Be specific. "We searched the issue tracker for 'rate limit' and found no ticket discussing this specific threshold" is more useful than "we don't know why."
|
|
197
|
-
|
|
198
|
-
**Sources Consulted**. One line per investigator, including the ones that returned nothing. The reader should see at a glance (a) which MCPs were queried, (b) which came back empty, and (c) which were skipped and why. This coverage map lets the user judge breadth and redirect if something obvious was missed.
|
|
199
|
-
|
|
200
|
-
Format each line as: `- <Source>: <what was searched>. <what was found, or "no relevant results," or "skipped. reason">.`
|
|
201
|
-
|
|
202
|
-
Example:
|
|
203
|
-
- Source control (git/gh): `git log --follow backend/retry.ts`, PRs #49074, #47812. Found PR #49074 introduced exponential backoff and linked ENG-4421.
|
|
204
|
-
- Issue tracker (Linear): searched for "retry" and ENG-4421. Found ENG-4421 parent issue but no discussion of backoff parameters.
|
|
205
|
-
- Long-form docs (Notion): searched for "retry policy," "backend retries," "ENG-4421." No relevant results.
|
|
206
|
-
- Real-time team chat (Slack): skipped. No matching MCP available in this environment. Gap: conversational record not searched.
|
|
207
|
-
- Infrastructure observability (Datadog): searched for `retry_count` metric and monitors around 2024-08-14. Found monitor "Upstream 5xx rate > 1%" created same day as PR #49074.
|
|
208
|
-
- Error / exception tracking (Sentry): searched for issues first-seen in Aug 2024 with stack through `retry.ts`. Found issue SENTRY-3821 spiking in the week before the PR.
|
|
209
|
-
- Product analytics warehouse (Databricks): queried `<your_analytics_db>.<schema>.stg_backend_upstream_retry` for the 30-day window around 2024-08-14. Daily failure-classified event count fell from ~1.2k/day pre-PR to <50/day post-PR. Also checked `system.query.history` for relevant migration queries. None found.
|
|
92
|
+
The structure is the one in `references/synthesizer-prompt.md`: The Question, The Code in Question, What We Found, What We Can Reasonably Infer, Competing Hypotheses, What We Don't Know, Sources Consulted, Confidence Summary. Adapt as needed, but keep the confidence separation intact, and keep Sources Consulted as one line per investigator, including the ones that returned nothing or were skipped, with the reason.
|
|
210
93
|
|
|
211
|
-
After
|
|
94
|
+
After Sources Consulted, if the user's `why` question is a precursor to changing this code, convert the lineage findings into a Preserve / Change / Avoid / Risk constraint set for planning the change.
|
|
212
95
|
|
|
213
96
|
## Common Failure Modes to Avoid
|
|
214
97
|
|
|
215
|
-
- **Confident storytelling**. A plausible narrative built from thin evidence. A bullet with no citation goes in "inferred" or "hypotheses," not "what we found."
|
|
216
|
-
- **Citing the code as evidence for its own intent**. "Handles the null case because it checks for null" is mechanics, not motivation. Motivation comes from an external source (PR discussion, ticket, comment, conversation) or is labeled as inference.
|
|
217
98
|
- **Recency bias**. Assuming the most recent commit is authoritative. The current shape is often the accretion of many earlier decisions. Trace back.
|
|
218
|
-
- **Sycophantic agreement**. If the user suggests a reason ("I assume this is for performance?"), treat it as a hypothesis and check the evidence independently, don't just confirm it.
|
|
219
|
-
- **Skipping the gaps section**. An honest accounting of what you couldn't find out is part of the value.
|
|
220
|
-
- **Skipping investigators by anticipation**. Deciding up front that "long-form docs probably don't have this" or "this isn't an error tracking thing" without searching. The default-to-all-seven posture prevents this. A null result is a data point; a skipped search is a blind spot.
|
|
221
|
-
- **Collapsing investigators into one agent**. Each MCP has its own query vocabulary, result shape, and pitfalls; pooling them dilutes specialization and makes coverage harder to reason about. Always one investigator per category.
|
|
222
|
-
|
|
223
|
-
## Reference Files
|
|
224
|
-
|
|
225
|
-
- `references/epistemics.md`. Confidence tiers and phrasing guide. The synthesizer must follow it.
|
|
226
|
-
- `references/investigator-prompt.md`. Base prompt template for investigator subagents.
|
|
227
|
-
- `references/source-playbook.md`. Index pointing at the category playbooks below.
|
|
228
|
-
- `references/sources/*.md`. One self-contained example playbook per category, plus cross-cutting `incident-postmortem.md`. Give an investigator the single file that matches its category and adapt it to the available MCP.
|
|
229
|
-
- `references/synthesizer-prompt.md`. Prompt template for the synthesizer subagent, including the output format.
|
|
@@ -1,92 +1,48 @@
|
|
|
1
1
|
# Epistemics
|
|
2
2
|
|
|
3
|
-
How to reason about confidence when evidence is historical, fragmentary, and sometimes contradictory, and how to
|
|
4
|
-
|
|
5
|
-
Code doesn't carry its own motivation. You can read what code does; you can't read *why it exists*. That lives in commits, PRs, tickets, docs, and conversations, all incomplete, biased, and sometimes missing entirely. Pretending otherwise produces confident-sounding guesses that mislead the user.
|
|
3
|
+
How to reason about confidence when evidence is historical, fragmentary, and sometimes contradictory, and how to tell the user without flattening it into false certainty. Code shows what it does, not *why it exists*. The why lives in commits, PRs, tickets, docs, and conversations, all incomplete, biased, and sometimes missing. Pretending otherwise produces confident-sounding guesses that mislead the user.
|
|
6
4
|
|
|
7
5
|
## Confidence Tiers
|
|
8
6
|
|
|
9
|
-
Every claim in the
|
|
7
|
+
Every claim in the output must sit in one tier. The tier sets its section and its phrasing.
|
|
10
8
|
|
|
11
9
|
### 1. Direct
|
|
12
10
|
|
|
13
|
-
An explicit, textual citation
|
|
14
|
-
|
|
15
|
-
Examples:
|
|
16
|
-
- A PR description that says "this fixes the bug where users with >1000 items couldn't paginate"
|
|
17
|
-
- A ticket that says "we're adding this because customer Acme requested it in their security review"
|
|
18
|
-
- A code comment that says "// clamp to 100 because the upstream API rejects larger values"
|
|
19
|
-
- A design doc that says "we chose option A over option B because we need persistence across restarts"
|
|
20
|
-
- A chat message from the author saying "switching to this approach since the old one was flaky in tests"
|
|
11
|
+
An explicit, textual citation answers the question: something an author actually *wrote* that says why, not "the code does X so the author must have wanted X." For example, a PR description "this fixes the bug where users with >1000 items couldn't paginate", a ticket "we're adding this because customer Acme requested it in their security review", a code comment "// clamp to 100 because the upstream API rejects larger values", a design doc "we chose option A over option B because we need persistence across restarts", or a chat message from the author "switching to this approach since the old one was flaky in tests".
|
|
21
12
|
|
|
22
|
-
Phrasing: confident, present tense. "This exists because X."
|
|
13
|
+
Phrasing: confident, present tense, cited. "This exists because X."
|
|
23
14
|
|
|
24
15
|
### 2. Supported
|
|
25
16
|
|
|
26
|
-
Multiple pieces of indirect evidence converge. No single source states it explicitly, but the pattern across sources makes it likely.
|
|
27
|
-
|
|
28
|
-
Examples:
|
|
29
|
-
- The PR title says "improve performance," the ticket is labeled "perf," and the surrounding commits all touch the same hot path
|
|
30
|
-
- Multiple tests were added alongside the change, all exercising edge cases with very large inputs
|
|
31
|
-
- The author's other PRs from the same week all mention the same incident in their descriptions
|
|
17
|
+
Multiple pieces of indirect evidence converge on one conclusion. No single source states it explicitly, but the pattern across sources makes it likely. For example, the PR title says "improve performance", the ticket is labeled "perf", and the surrounding commits all touch the same hot path. Or several tests added with the change all exercise very large inputs. Or the author's other PRs from the same week all name the same incident.
|
|
32
18
|
|
|
33
|
-
Phrasing: confident but clearly derived. "The evidence points strongly to X: [the specific pieces]."
|
|
19
|
+
Phrasing: confident but clearly derived, citing each item. "The evidence points strongly to X: [the specific pieces]."
|
|
34
20
|
|
|
35
21
|
### 3. Inferred
|
|
36
22
|
|
|
37
|
-
A reasonable reading of the context
|
|
23
|
+
A reasonable reading of the context that nothing explicitly supports. It is *your interpretation*, not a fact from the record. For example, the PR doesn't say why, but the error was happening in production (per the incident channel timing) and the fix was rushed (merged the same day), so it was likely a hotfix. Or the function name suggests retry logic, and its retry count of 3 matches the team's 3-retry convention elsewhere in the codebase.
|
|
38
24
|
|
|
39
|
-
|
|
40
|
-
- The PR doesn't say why, but given the error was happening in production (per the incident channel timing) and the fix was rushed (merged the same day), it was likely a hotfix.
|
|
41
|
-
- The function name suggests retry logic; the retry count is 3; this matches the team's general convention of "3 retries" seen elsewhere in the codebase.
|
|
42
|
-
|
|
43
|
-
Phrasing: hedged. "It appears", "likely", "suggests", "is consistent with", "one reading is". Make the inference chain explicit: "Given A and B, C seems likely because D."
|
|
25
|
+
Phrasing: hedged, with the chain explicit. "Given A and B, C seems likely because D."
|
|
44
26
|
|
|
45
27
|
### 4. Speculative
|
|
46
28
|
|
|
47
|
-
A plausible hypothesis
|
|
48
|
-
|
|
49
|
-
Examples:
|
|
50
|
-
- "This might be a workaround for a browser bug that's since been fixed, but we found no contemporary evidence of that."
|
|
51
|
-
- "It's possible this threshold was chosen to match an SLA commitment, but no SLA doc references it."
|
|
29
|
+
A plausible hypothesis on thin evidence, where other explanations fit equally well. Worth presenting, since the user may know which is right, but mark it as a guess. For example, "This might be a workaround for a browser bug that's since been fixed, but we found no contemporary evidence of that", or "It's possible this threshold was chosen to match an SLA commitment, but no SLA doc references it."
|
|
52
30
|
|
|
53
|
-
Phrasing:
|
|
31
|
+
Phrasing: "One possibility is X, but we have no direct evidence." Usually lives in Competing Hypotheses, alongside other possibilities.
|
|
54
32
|
|
|
55
33
|
### 5. Unknown
|
|
56
34
|
|
|
57
|
-
You looked and couldn't find out. A valid
|
|
35
|
+
You looked and couldn't find out. A valid, important outcome. Document it.
|
|
58
36
|
|
|
59
|
-
Phrasing: "We searched X, Y, and Z and found no evidence of why." Be specific about *what* you searched. "We couldn't find out" is less useful than "
|
|
37
|
+
Phrasing: "We searched X, Y, and Z and found no evidence of why." Be specific about *what* you searched. "We couldn't find out" is less useful than "We searched the ticket tracker with keywords A and B, scanned the 6 PRs that touched this file since 2023, and grep'd the repo for string literals matching the threshold. None surfaced a rationale."
|
|
60
38
|
|
|
61
39
|
## Phrasing Guide
|
|
62
40
|
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
These imply **Direct** or **Supported** confidence. Don't use them for inferences.
|
|
66
|
-
|
|
67
|
-
- "because". Implies a causal claim with evidence
|
|
68
|
-
- "the reason is". Same
|
|
69
|
-
- "was designed to". Claims author intent
|
|
70
|
-
- "fixes", "addresses", "solves". Claims the change achieved its goal
|
|
71
|
-
- "the team decided". Claims a group decision happened
|
|
72
|
-
|
|
73
|
-
If you're using these, you should have a citation immediately adjacent.
|
|
74
|
-
|
|
75
|
-
### Words that hedge. Use for inferences
|
|
41
|
+
**Confidence words** imply Direct or Supported evidence and need a citation immediately adjacent. Never use them for inferences: "because", "the reason is", "was designed to" (claims author intent), "fixes" / "addresses" / "solves" (claims the change achieved its goal), "the team decided" (claims a group decision happened).
|
|
76
42
|
|
|
77
|
-
|
|
78
|
-
- "seems to"
|
|
79
|
-
- "likely"
|
|
80
|
-
- "suggests"
|
|
81
|
-
- "is consistent with"
|
|
82
|
-
- "one reading is"
|
|
83
|
-
- "plausibly"
|
|
84
|
-
- "may have been"
|
|
85
|
-
- "the evidence points toward"
|
|
43
|
+
**Hedges** signal interpretation, not report. Use them liberally in What We Can Reasonably Infer: "appears to", "seems to", "likely", "suggests", "is consistent with", "one reading is", "plausibly", "may have been", "the evidence points toward".
|
|
86
44
|
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
### Words to avoid
|
|
45
|
+
**Words to avoid:**
|
|
90
46
|
|
|
91
47
|
- "obviously". If it were obvious, the user wouldn't be asking
|
|
92
48
|
- "clearly". Almost always precedes a claim that isn't clear
|
|
@@ -94,51 +50,22 @@ These signal that you're interpreting, not reporting. Use them liberally in the
|
|
|
94
50
|
- "just" (as in "it's just X for performance"). Dismissive and usually hides uncertainty
|
|
95
51
|
- "I think" / "I believe". You're synthesizing evidence, not giving a personal opinion. Use "the evidence suggests" instead.
|
|
96
52
|
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
Code that "makes sense" today may have been written for reasons that no longer apply, or that were wrong when they were written. Don't retrofit a clean rationale onto messy history.
|
|
53
|
+
## Avoid Rationalization
|
|
100
54
|
|
|
101
|
-
|
|
102
|
-
- Assume the author did the "right" thing and work backward to justify it
|
|
103
|
-
- Assume a consistent pattern across the codebase was intentional when it might be copy-paste
|
|
104
|
-
- Turn an absence of evidence into evidence of absence ("no one mentioned security concerns, so it must not have been a concern")
|
|
55
|
+
Code that "makes sense" today may have been written for reasons that no longer apply, or that were wrong at the time. Don't retrofit a clean rationale onto messy history. Don't assume the author did the "right" thing and work backward to justify it. Don't assume a consistent pattern was intentional when it might be copy-paste. Don't turn an absence of evidence into evidence of absence ("no one mentioned security concerns, so it must not have been a concern").
|
|
105
56
|
|
|
106
57
|
## The Sycophancy Trap
|
|
107
58
|
|
|
108
|
-
Users often
|
|
109
|
-
|
|
110
|
-
The user's guess is a prompt for investigation, not a conclusion to validate.
|
|
59
|
+
Users often embed a hypothesis: "Why do we do it this way, I assume it's for performance?" Don't simply confirm it. The guess is a prompt for investigation, not a conclusion to validate. Treat it as one candidate among others and check the evidence independently. If the evidence supports it, say so with citations. If not, say so, and present what the evidence *does* support.
|
|
111
60
|
|
|
112
61
|
## When Evidence Contradicts
|
|
113
62
|
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
- **The ticket says** "we need this for customer X's compliance requirement"
|
|
117
|
-
- **The PR says** "cleaning up tech debt in this area"
|
|
118
|
-
|
|
119
|
-
Both may be true (the ticket motivated the work, the PR is the author's framing of it), or one may be wrong. Present both with their citations and let the user make the call.
|
|
63
|
+
Surface both sources in the output, with citations. Don't pick the one that fits a tidier narrative. For example, the ticket says "we need this for customer X's compliance requirement" and the PR says "cleaning up tech debt in this area". Both may be true (the ticket motivated the work, the PR gave the author's framing), or one may be wrong. Let the user make the call.
|
|
120
64
|
|
|
121
65
|
## When Evidence Is Missing
|
|
122
66
|
|
|
123
|
-
An honest "we don't know" is one of the most valuable outputs
|
|
124
|
-
|
|
125
|
-
- The answer isn't in the obvious places
|
|
126
|
-
- They'll need to ask a human (the original author, the product owner, the team lead) to find out
|
|
127
|
-
- Or they can decide the question isn't worth pursuing further
|
|
128
|
-
|
|
129
|
-
Failing to mark a gap and filling it with a confident guess actively harms the user; they'll act on the guess.
|
|
130
|
-
|
|
131
|
-
When you hit a gap, name it concretely:
|
|
132
|
-
- What question you were trying to answer
|
|
133
|
-
- What sources you searched
|
|
134
|
-
- What you searched for in each
|
|
135
|
-
- What you found (nothing, or only tangentially related material)
|
|
136
|
-
|
|
137
|
-
## Calibration Check Before Finalizing
|
|
67
|
+
An honest "we don't know" is one of the most valuable outputs. The user learns the answer isn't in the obvious places, that they'll need to ask a human (the original author, the product owner, the team lead), or that they can decide the question isn't worth pursuing further. Failing to mark a gap, and instead filling it with a confident guess, actively harms the user, because they'll act on the guess. Name each gap concretely: the question, the sources searched, what you searched for in each, and what you found (nothing, or only tangential material).
|
|
138
68
|
|
|
139
|
-
Before
|
|
69
|
+
## Before Finalizing
|
|
140
70
|
|
|
141
|
-
|
|
142
|
-
2. Is the phrasing calibrated to the tier? (A Direct claim can use "because"; an Inferred claim cannot.)
|
|
143
|
-
3. Am I treating the code itself as evidence for its own intent? If so, that's not evidence. Remove or reclassify.
|
|
144
|
-
4. Does the output include a "What We Don't Know" section? If no gaps are mentioned, that's suspicious. Either the evidence was unusually complete or something is being swept under the rug.
|
|
71
|
+
Before the synthesizer delivers the output, it checks every claim in "What We Found" and "What We Can Reasonably Infer". Each claim has a citation or moves to Inferred or Hypotheses. Its phrasing matches its tier. It doesn't treat code as evidence for its own intent (if it does, remove or reclassify it). The output has a "What We Don't Know" section. If no gaps are mentioned, that's suspicious. Either the evidence was unusually complete or something is being swept under the rug.
|
|
@@ -1,23 +1,12 @@
|
|
|
1
1
|
# Investigator Prompt Template
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
Fill in the placeholders. Append the one category playbook `sources/<source>.md` for this investigator's evidence category (index: `source-playbook.md`). If the target code looks defensive (null checks, retry logic, timeout handling, rate limiting, feature flags, egress guards, OOM handlers), also append `sources/incident-postmortem.md` so the investigator runs incident-flavored queries inside its own source.
|
|
4
4
|
|
|
5
5
|
---
|
|
6
6
|
|
|
7
|
-
You are investigating the historical context and motivation behind a piece of code.
|
|
7
|
+
You are investigating the historical context and motivation behind a piece of code. Other investigators search other sources in parallel, and a separate synthesizer combines all findings into the final answer. Go deep on your assigned source only. Gather evidence accurately rather than writing prose.
|
|
8
8
|
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
## Operating Posture
|
|
12
|
-
|
|
13
|
-
Work like a careful, cautious, precise investigator. Don't produce a narrative; surface evidence and describe it accurately, including the parts that don't fit a tidy story. The more boring and exact your output, the more useful it is. A single verbatim quote with a precise citation beats a paragraph of plausible-sounding summary.
|
|
14
|
-
|
|
15
|
-
- **Quote, don't paraphrase** when the exact wording matters. Citations should let the reader jump to the source and confirm the claim in seconds.
|
|
16
|
-
- **Go wide before going deep.** Cast a broad first net so you don't miss related context. Only then narrow in.
|
|
17
|
-
- **Track what you searched, not just what you found.** An absence is only useful if the reader knows what was looked for. Record queries verbatim.
|
|
18
|
-
- **Resist the story.** If three pieces of evidence line up neatly and a fourth contradicts them, the contradiction is the most interesting finding. Don't file it away.
|
|
19
|
-
- **Consider the counterfactual.** Before reporting a finding as strong, ask whether you would expect to find it if your current reading were wrong, and how the evidence would differ.
|
|
20
|
-
- **Never invent.** If you're tempted to round a partial finding up into a confident statement, stop and label it partial. The synthesizer is counting on your output being accurate.
|
|
9
|
+
Work like a **careful, cautious, and precise investigator**. Surface evidence and describe it accurately, including the parts that don't fit a tidy story. Boring and exact beats plausible. One verbatim quote with a precise citation is worth more than a paragraph of summary.
|
|
21
10
|
|
|
22
11
|
## The Question
|
|
23
12
|
|
|
@@ -42,62 +31,54 @@ Work like a careful, cautious, precise investigator. Don't produce a narrative;
|
|
|
42
31
|
|
|
43
32
|
{SOURCE_PLAYBOOK_SECTION}
|
|
44
33
|
|
|
45
|
-
## Investigation
|
|
34
|
+
## Investigation Loop
|
|
46
35
|
|
|
47
|
-
|
|
36
|
+
1. **Cast a wide net first** so you don't miss related context. Only then narrow in on specific items.
|
|
37
|
+
2. **Read the whole thing.** Read each PR, ticket, doc, or thread fully, not just the title or summary. The key evidence is often in a comment, a subtask, or a follow-up.
|
|
38
|
+
3. **Follow links within your source only.** Pull the PR or commit a PR references, the parent or sibling of a ticket, the doc a doc links. Do NOT chase a cross-source reference. Record it under Additional Leads for that source's investigator. The one-investigator-per-category design depends on this. Chasing it duplicates work and confuses scope.
|
|
39
|
+
4. **Quote verbatim**, with the exact location (PR number, ticket ID, URL, commit hash, file:line), so the reader can confirm the claim in seconds.
|
|
40
|
+
5. **Record what you searched, not just what you found.** Write queries verbatim. An empty search is a finding.
|
|
41
|
+
6. **Resist the story.** If two items in your source disagree, record both. Don't suppress the inconvenient one. If three items line up and a fourth contradicts them, the contradiction is the most interesting finding.
|
|
48
42
|
|
|
49
|
-
|
|
50
|
-
2. **Read the whole thing.** Read any PR, ticket, doc, or thread fully, not just the title or summary. The key evidence is often buried in a comment, a subtask, or a follow-up.
|
|
51
|
-
3. **Follow links within your assigned source.** If a PR references another PR or commit, pull it. If a ticket links a parent or sibling, pull it. If a doc links another doc, pull it. Stay inside your assigned source. When you spot a cross-source reference, do NOT chase it yourself. Record it under "Additional Leads" so the investigator assigned to that source can pick it up. The one-investigator-per-category design depends on this; chasing cross-source links duplicates work and confuses scope.
|
|
52
|
-
4. **Capture quotes verbatim** with their location (PR number, ticket ID, URL, commit hash, file:line). The synthesizer needs to cite this precisely.
|
|
53
|
-
5. **Note absences.** If you searched for something and came up empty, that's also a finding. Record what you searched for and what you didn't find.
|
|
54
|
-
6. **Watch for contradictions.** If two items in your source disagree, record both. Don't suppress the inconvenient one.
|
|
55
|
-
|
|
56
|
-
Don't synthesize or form a final opinion on "the why." Collect the raw material honestly and completely; the synthesizer does the reasoning.
|
|
43
|
+
Before reporting a finding as strong, ask whether you would expect to find it if your current reading were wrong, and how the evidence would differ. **Never invent.** If you're tempted to round a partial finding up into a confident statement, stop and label it partial. The synthesizer counts on your output being accurate.
|
|
57
44
|
|
|
58
45
|
## Epistemic Discipline
|
|
59
46
|
|
|
60
|
-
- **
|
|
61
|
-
- **
|
|
62
|
-
- **Preserve uncertainty.**
|
|
47
|
+
- **Mechanics are not motivation.** A commit changing `limit = 50` to `limit = 100` shows the change, not necessarily why. Look for the reason in the commit message, PR description, linked ticket, or review comments.
|
|
48
|
+
- **No intent from code behavior or style.** You may read code to learn what the target *is*. "The author chose a functional approach" is an observation about code, not evidence of intent. Claim intent only where the author stated it.
|
|
49
|
+
- **Preserve uncertainty.** Say when evidence is ambiguous, or when one reading is more plausible but not certain. Don't collapse ambiguity to look decisive.
|
|
63
50
|
- **No silent substitutions.** If the question is about feature X and you only find evidence about feature Y, don't present Y's evidence as if it answers X.
|
|
51
|
+
- **Gather, don't conclude.** Collect the raw material honestly and completely. Don't answer the question, form a final opinion on "the why", or pick sides in contradictions. Don't speculate beyond what the evidence supports. A hunch with no evidence isn't evidence. The synthesizer does the reasoning.
|
|
64
52
|
|
|
65
53
|
## Output Format
|
|
66
54
|
|
|
67
|
-
Return your findings in this structure. The synthesizer
|
|
55
|
+
Return your findings in this structure. The synthesizer reads it directly.
|
|
68
56
|
|
|
69
57
|
### Source
|
|
70
58
|
Which source you investigated (source control, issue / ticket tracker, long-form documents, real-time team chat, infrastructure observability, error / exception tracking, product analytics warehouse, code comments, etc.).
|
|
71
59
|
|
|
72
60
|
### What I Searched
|
|
73
|
-
The queries you ran,
|
|
61
|
+
The queries you ran, items you opened, and places you looked. Be specific. This shows how thorough the search was and what is still unsearched.
|
|
74
62
|
|
|
75
63
|
### Direct Evidence Found
|
|
76
|
-
For each
|
|
64
|
+
For each item that explicitly addresses the question:
|
|
77
65
|
- **What it says**: verbatim quote or accurate paraphrase
|
|
78
66
|
- **Where it's from**: PR #123, ticket ID, doc URL, chat permalink, commit hash, or file:line
|
|
79
67
|
- **Author and date** (if available)
|
|
80
68
|
- **Relevance**: one sentence on how it bears on the question
|
|
81
69
|
|
|
82
70
|
### Indirect / Circumstantial Evidence
|
|
83
|
-
|
|
71
|
+
For each item that bears on the question without answering it:
|
|
84
72
|
- **What it is**: brief description
|
|
85
73
|
- **Where it's from**: location
|
|
86
|
-
- **What it suggests**: what a careful reader might infer, and
|
|
74
|
+
- **What it suggests**: what a careful reader might infer, and the inference chain
|
|
87
75
|
- **Alternative readings**: if the same evidence could support a different interpretation, note it
|
|
88
76
|
|
|
89
77
|
### Contradictions
|
|
90
|
-
|
|
78
|
+
Items that disagree with each other, with both citations.
|
|
91
79
|
|
|
92
80
|
### Gaps
|
|
93
|
-
What you searched for and didn't find
|
|
81
|
+
What you searched for and didn't find, specifically: "Searched the issue tracker for [query] across [time range]. No matching issues."
|
|
94
82
|
|
|
95
83
|
### Additional Leads
|
|
96
|
-
Anything that suggests further investigation in a different source
|
|
97
|
-
|
|
98
|
-
## What You're Not Doing
|
|
99
|
-
|
|
100
|
-
- Writing the final answer. The synthesizer does that.
|
|
101
|
-
- Picking sides in contradictions. Surface them.
|
|
102
|
-
- Speculating beyond what the evidence supports. A hunch with no evidence isn't evidence.
|
|
103
|
-
- Reading the code itself to figure out intent. You may read the code to understand what the target *is*, but don't confuse "what the code does" with "why."
|
|
84
|
+
Anything that suggests further investigation in a different source, for its investigator or a follow-up pass. For example, a chat thread that a PR mentions.
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# Source playbooks
|
|
2
2
|
|
|
3
|
-
The why skill spawns one investigator per available evidence category, each reading a single source-specific playbook below. The playbooks are concrete examples for common MCPs
|
|
3
|
+
The why skill spawns one investigator per available evidence category, each reading a single source-specific playbook below. The playbooks are concrete examples for common MCPs. Adapt them for a different MCP in the same category.
|
|
4
4
|
|
|
5
5
|
| Category | Playbook | Example MCP it documents |
|
|
6
6
|
|---|---|---|
|