@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
|
@@ -6,10 +6,10 @@
|
|
|
6
6
|
- PR descriptions, review comments, and discussion threads (via `gh`)
|
|
7
7
|
- Inline code comments, TODOs, FIXMEs, deprecation notes
|
|
8
8
|
- ADRs (architectural decision records) if the repo keeps them
|
|
9
|
-
- Tests
|
|
9
|
+
- Tests, whose names and assertions often encode the edge cases that motivated a change
|
|
10
10
|
- Related files modified in the same commits (co-change signal)
|
|
11
|
-
- CHANGELOG entries
|
|
12
|
-
- Issue/ticket IDs
|
|
11
|
+
- CHANGELOG entries and release notes in the repo
|
|
12
|
+
- Issue/ticket IDs in commit messages and PR bodies
|
|
13
13
|
|
|
14
14
|
The most trustworthy source, tied directly to the code, and the most complete. Everything that went through the repo should be here.
|
|
15
15
|
|
|
@@ -18,7 +18,7 @@ The most trustworthy source, tied directly to the code, and the most complete. E
|
|
|
18
18
|
Expand the seed commit list:
|
|
19
19
|
|
|
20
20
|
```bash
|
|
21
|
-
#
|
|
21
|
+
# History through renames
|
|
22
22
|
git log --follow --oneline -- <file>
|
|
23
23
|
|
|
24
24
|
# Pickaxe: commits that added or removed this exact text
|
|
@@ -30,25 +30,13 @@ git log -G '<regex>' -- <file>
|
|
|
30
30
|
# Who wrote each line and when
|
|
31
31
|
git blame -L <start>,<end> <file>
|
|
32
32
|
|
|
33
|
-
#
|
|
33
|
+
# One commit's full diff
|
|
34
34
|
git show <hash>
|
|
35
35
|
|
|
36
36
|
# Commits between two points affecting this file
|
|
37
37
|
git log <old>..<new> -p -- <file>
|
|
38
38
|
```
|
|
39
39
|
|
|
40
|
-
For each substantive commit, pull the PR context:
|
|
41
|
-
|
|
42
|
-
```bash
|
|
43
|
-
# Find the PR number from the merge commit or branch
|
|
44
|
-
git log -1 --format=%B <hash>
|
|
45
|
-
|
|
46
|
-
# Full PR context: body, review comments, linked issues
|
|
47
|
-
gh pr view <number> --json title,body,author,createdAt,mergedAt,labels,closingIssuesReferences,comments,reviews,files
|
|
48
|
-
|
|
49
|
-
# The --json reviews and comments fields are where the real signal is
|
|
50
|
-
```
|
|
51
|
-
|
|
52
40
|
Look for out-of-band docs:
|
|
53
41
|
|
|
54
42
|
```bash
|
|
@@ -58,31 +46,6 @@ rg -l -i 'architecture.decision' --glob '*.md'
|
|
|
58
46
|
# TODOs and FIXMEs near the target
|
|
59
47
|
rg -n -C2 '(TODO|FIXME|HACK|XXX|NOTE)' <target_file>
|
|
60
48
|
|
|
61
|
-
# Related tests
|
|
49
|
+
# Related tests
|
|
62
50
|
rg -l '<symbol>' --glob '*test*'
|
|
63
51
|
```
|
|
64
|
-
|
|
65
|
-
## What good evidence looks like here
|
|
66
|
-
|
|
67
|
-
- A PR description that explains the problem being solved, not just the change ("This fixes the pagination bug that caused X")
|
|
68
|
-
- A long review thread where alternatives were debated
|
|
69
|
-
- An inline comment near the target line that explains a non-obvious constraint
|
|
70
|
-
- A test named `test_handles_edge_case_when_X` that reveals an edge case motivating the code
|
|
71
|
-
- A commit message that references a ticket or incident ID
|
|
72
|
-
- A CHANGELOG entry that summarizes the user-visible rationale
|
|
73
|
-
|
|
74
|
-
## Common pitfalls
|
|
75
|
-
|
|
76
|
-
- **Squash-merge flatlands.** If the repo squashes PRs, individual commits in the branch history are lost. Fall back to PR body and comments.
|
|
77
|
-
- **Misleading commit messages.** "Small refactor" sometimes hides an intentional behavior change. Look at the diff, not the message.
|
|
78
|
-
- **Cargo-culted patterns.** The author may have copied a pattern without understanding why. Check if the pattern originated earlier in the codebase and investigate *that* commit.
|
|
79
|
-
- **Bot commits and auto-merges.** Dependabot, Renovate, and automated backports usually don't carry motivation. Skip them when trying to find intent.
|
|
80
|
-
- **Treating code as evidence of intent.** The code itself isn't evidence for why it exists. Evidence comes from commit messages, PRs, comments, tests, docs. Don't cite "the function is named X" as evidence of intent.
|
|
81
|
-
|
|
82
|
-
## What to return
|
|
83
|
-
|
|
84
|
-
Every commit/PR/comment that bears on the question, with:
|
|
85
|
-
- The exact text (quoted)
|
|
86
|
-
- The hash / PR number / file:line
|
|
87
|
-
- Author and date
|
|
88
|
-
- Whether it's direct (explicitly addresses the question) or circumstantial
|
|
@@ -2,20 +2,20 @@
|
|
|
2
2
|
|
|
3
3
|
## What this source contains
|
|
4
4
|
|
|
5
|
-
Databricks is the product-analytics, data-pipeline, and warehouse-telemetry layer. It complements Datadog
|
|
5
|
+
Databricks is the product-analytics, data-pipeline, and warehouse-telemetry layer. It complements Datadog. Datadog is the *infra/runtime* view, Databricks is the *product/data* view (what users did, which experiments ran, how feature usage evolved, where a threshold constant came from).
|
|
6
6
|
|
|
7
7
|
- **Product analytics events.** `your_warehouse.events.analytics_track_event` (raw) and typed, deduplicated per-event dbt models in `<your_analytics_db>.<schema>.<table>`. User behavior: feature invocations, clicks, accepts/rejects, submissions, client-reported errors.
|
|
8
|
-
- **Usage & billing events.** `your_warehouse.events.usage_event` / `<your_analytics_db>.<schema>.stg_usage_events
|
|
8
|
+
- **Usage & billing events.** `your_warehouse.events.usage_event` / `<your_analytics_db>.<schema>.stg_usage_events`, `your_warehouse.events.raw_model_event` / `<your_analytics_db>.<schema>.stg_raw_model_events`. For cost- or volume-driven decisions.
|
|
9
9
|
- **Experiment / feature-flag data.** Exposure and outcome tables. **Schema is company-specific.** Probe with `SHOW TABLES` before assuming names.
|
|
10
10
|
- **System tables.** `system.query.history`, `system.compute.warehouses`, `system.billing.*`, `system.access.audit`. Answer "was this query expensive?", "how often did anyone run this?", "when did warehouse load spike?"
|
|
11
|
-
- **dbt lineage.** Models in `<your_analytics_db>.<schema>` reveal what pipelines depend on a table/field
|
|
11
|
+
- **dbt lineage.** Models in `<your_analytics_db>.<schema>` reveal what pipelines depend on a table/field. Upstream changes frequently motivate consumer-code changes.
|
|
12
12
|
- **Databricks notebooks.** Exploratory analyses engineers wrote before code changes. **Not queryable via the SQL MCP.** If you suspect the rationale lives in a notebook, name it as a gap.
|
|
13
13
|
|
|
14
14
|
## How to search it
|
|
15
15
|
|
|
16
16
|
Use the Databricks SQL MCP. Primary tool: `execute_sql_read_only`. If it returns a `statement_id`, poll with `poll_sql_result` rather than re-running.
|
|
17
17
|
|
|
18
|
-
**Orient before querying.** Schemas are company-specific
|
|
18
|
+
**Orient before querying.** Schemas are company-specific. Probe before trusting a table name:
|
|
19
19
|
|
|
20
20
|
```sql
|
|
21
21
|
SHOW TABLES IN <your_analytics_db>.<schema> LIKE '*<keyword>*';
|
|
@@ -24,7 +24,7 @@ DESCRIBE TABLE <your_analytics_db>.<schema>.stg_<event>;
|
|
|
24
24
|
|
|
25
25
|
**Time-bound every query.** These tables are huge and unconstrained scans time out. Filter on `_timestamp` (events) or `start_time` (`system.query.history`) with a window bracketing the ship date, typically ~30 days before and after, wider only for strong reason.
|
|
26
26
|
|
|
27
|
-
**Prefer typed dbt models over the raw table.** `<your_analytics_db>.<schema>.<table>` is deduplicated, typed, and liquid-clustered
|
|
27
|
+
**Prefer typed dbt models over the raw table.** `<your_analytics_db>.<schema>.<table>` is deduplicated, typed, and liquid-clustered. `your_warehouse.events.analytics_track_event` has duplicates and untyped `properties_json`. Model-name pattern: `stg_<source>_<event_name_with_underscores>`, where `<source>` is `app`, `backend`, `website`, or `cli`. Confirm the exact model name with `SHOW TABLES` when the pattern alone doesn't resolve it. Drop to the raw table only when there's no dbt model yet, or you need events from inside the dbt refresh lag.
|
|
28
28
|
|
|
29
29
|
**Column conventions on the typed dbt models** (knowing these avoids a `DESCRIBE` round-trip):
|
|
30
30
|
|
|
@@ -53,7 +53,7 @@ Beyond the pattern shapes above:
|
|
|
53
53
|
|
|
54
54
|
- **Instrumented ≠ caused.** An event's existence means someone cared enough to log it, not that the target code exists *because* of it. Pair with a PR/commit citation from the git investigator before claiming causation.
|
|
55
55
|
- **Silent instrumentation changes.** A step function in event volume may mean a new event started being logged, not that user behavior changed. Check for instrumentation PRs in the same window before reading the ramp as a feature-launch signal.
|
|
56
|
-
- **Schema drift.** Event properties evolve
|
|
56
|
+
- **Schema drift.** Event properties evolve. A column on the typed dbt model today may not have existed when the target was written. Older data may carry the property only inside raw `properties_json`.
|
|
57
57
|
- **dbt refresh lag.** `<your_analytics_db>.<schema>.*` is rebuilt on a schedule (often hourly/daily). For events from the last few hours, fall back to `your_warehouse.events.*` and deduplicate by `_id`.
|
|
58
58
|
- **Company-specific tables.** Experiment, feature-flag, billing, and usage tables vary. Reporting a result from a table whose existence you never confirmed is a classic failure mode. Probe with `SHOW TABLES` / `DESCRIBE TABLE` first.
|
|
59
59
|
- **Retention cliff.** If the relevant window predates the table's retention or the dbt model's creation date, that's a *gap*, not a null result. Name it explicitly so the synthesizer doesn't read "no results" as "no activity."
|
|
@@ -66,5 +66,5 @@ For each relevant finding:
|
|
|
66
66
|
- Fully-qualified table name and the exact query you ran
|
|
67
67
|
- Time window queried
|
|
68
68
|
- Compact numeric summary (counts, percentiles, first/last-seen timestamps). **Don't dump raw rows.**
|
|
69
|
-
- Temporal correlation with the target's ship date (e.g., "first row 2024-08-15
|
|
69
|
+
- Temporal correlation with the target's ship date (e.g., "first row 2024-08-15, PR #49074 merged 2024-08-14")
|
|
70
70
|
- Relevance + strength: direct / circumstantial / weak
|
|
@@ -2,17 +2,15 @@
|
|
|
2
2
|
|
|
3
3
|
## What this source contains
|
|
4
4
|
|
|
5
|
-
Datadog holds the runtime record
|
|
5
|
+
Datadog holds the runtime record, what actually happened in production, as opposed to what was planned or discussed.
|
|
6
6
|
|
|
7
|
-
- **Metrics.** Counters, gauges, histograms instrumented by the team. A metric's *presence* is itself evidence
|
|
7
|
+
- **Metrics.** Counters, gauges, histograms instrumented by the team. A metric's *presence* is itself evidence that someone thought the number worth watching.
|
|
8
8
|
- **Monitors & alerts.** Conditions the team decided warranted waking someone up. A monitor firing on `rate_limit_hit > 10/min` is direct evidence the team worried about that threshold.
|
|
9
|
-
- **Dashboards.** Curated views
|
|
10
|
-
- **APM traces & spans.** Request-level runtime data
|
|
11
|
-
- **Logs.** High-volume event records
|
|
9
|
+
- **Dashboards.** Curated views of what the team considers important for a subsystem.
|
|
10
|
+
- **APM traces & spans.** Request-level runtime data, for "why is this slow" / "why is there a timeout here" questions.
|
|
11
|
+
- **Logs.** High-volume event records, often holding the error conditions that motivated defensive code.
|
|
12
12
|
- **Incidents.** Formal incident records with timelines and linked postmortems.
|
|
13
|
-
- **Notebooks.**
|
|
14
|
-
|
|
15
|
-
Datadog answers "what was the production reality around the time this code was written?", which often explains the code's shape.
|
|
13
|
+
- **Notebooks.** The team's exploratory investigations, often with hypotheses and analyses.
|
|
16
14
|
|
|
17
15
|
## How to search it
|
|
18
16
|
|
|
@@ -25,7 +23,7 @@ Use the Datadog MCP. Start broad, then narrow.
|
|
|
25
23
|
search_datadog_service_dependencies (see upstream/downstream)
|
|
26
24
|
```
|
|
27
25
|
|
|
28
|
-
2. **Dashboards and monitors first
|
|
26
|
+
2. **Dashboards and monitors first.**
|
|
29
27
|
|
|
30
28
|
```
|
|
31
29
|
search_datadog_dashboards (query: feature name, service name, symbol)
|
|
@@ -51,7 +49,7 @@ Use the Datadog MCP. Start broad, then narrow.
|
|
|
51
49
|
analyze_datadog_logs (SQL-style aggregations, only when you need counts)
|
|
52
50
|
```
|
|
53
51
|
|
|
54
|
-
Search with symbols, error strings, or feature names. **Strongly prefer time-bounded queries** (e.g., 30 days before/after the change).
|
|
52
|
+
Search with symbols, error strings, or feature names. **Strongly prefer time-bounded queries** (e.g., 30 days before/after the change).
|
|
55
53
|
|
|
56
54
|
5. **APM spans and traces.**
|
|
57
55
|
|
|
@@ -74,7 +72,7 @@ Use the Datadog MCP. Start broad, then narrow.
|
|
|
74
72
|
|
|
75
73
|
## What good evidence looks like here
|
|
76
74
|
|
|
77
|
-
- A monitor whose query and threshold match the constraint the code enforces (code clamps to 100
|
|
75
|
+
- A monitor whose query and threshold match the constraint the code enforces (code clamps to 100, monitor alerts when requests exceed 100/min)
|
|
78
76
|
- A dashboard created by the target's author, with widgets that correspond to what the code measures or guards against
|
|
79
77
|
- A metric showing a production spike immediately before the code was merged, and stable values after
|
|
80
78
|
- An incident record referencing the target code, the same symbols, or the same error strings
|
|
@@ -82,11 +80,11 @@ Use the Datadog MCP. Start broad, then narrow.
|
|
|
82
80
|
|
|
83
81
|
## Common pitfalls
|
|
84
82
|
|
|
85
|
-
- **Correlation is not causation.** A spike before a PR and stabilization after is suggestive, not definitive
|
|
86
|
-
- **Overfitting to the chart you found.**
|
|
83
|
+
- **Correlation is not causation.** A spike before a PR and stabilization after is suggestive, not definitive, since other changes may have landed in the same window. Check neighboring PRs.
|
|
84
|
+
- **Overfitting to the chart you found.** A chart reflects its maker's framing. A chart named "retry success rate" is evidence the team cared about retry success, not that it's why a specific line of code exists.
|
|
87
85
|
- **Vanished telemetry.** Metrics can be renamed, deleted, or have short retention. If you can't find data from the relevant window, that's a gap, not a null result.
|
|
88
|
-
- **Noise at scale.**
|
|
89
|
-
- **Instrumented != caused.** A metric
|
|
86
|
+
- **Noise at scale.** Narrow log searches by service, tag, and time window aggressively. Use `analyze_datadog_logs` to aggregate rather than dumping raw logs.
|
|
87
|
+
- **Instrumented != caused.** A metric shows someone cared enough to measure something, not that the code was added *because* of it. Cross-reference with commit/PR dates.
|
|
90
88
|
|
|
91
89
|
## What to return
|
|
92
90
|
|
|
@@ -1,15 +1,5 @@
|
|
|
1
1
|
# Incident & Postmortem Context
|
|
2
2
|
|
|
3
|
-
Not a separate source, a **cross-cutting angle**. Incidents often motivate defensive code ("we added this check after the X outage"), so if the target looks defensive (null checks, retry logic, timeout handling, rate limiting, feature flags), specifically hunt for incident history across every available source:
|
|
4
|
-
|
|
5
|
-
- **Notion**: search for postmortems mentioning the target file, feature, or error string
|
|
6
3
|
- **Linear**: look for tickets labeled `incident`, `sev-*`, `postmortem-action-item`, `reliability`
|
|
7
4
|
- **Slack**: search `#sev-*` and `#incident-*` channels around the dates the target code was added
|
|
8
5
|
- **Git**: commits with messages like "fix for incident", "add defensive check", "revert" followed by "re-apply with..." are strong signals
|
|
9
|
-
- **Datadog**: `search_datadog_incidents` for formal incident records with timelines; dashboards and monitors created as postmortem action items
|
|
10
|
-
- **Sentry**: issues whose first-seen/last-seen window aligns with the target's PR ship date; stack traces through the target
|
|
11
|
-
- **Databricks**: product-analytics events that classify an error condition (client-reported failures, user-visible retry events, etc.) often spike during an incident window. A drop in that event count after the target PR ships is circumstantial support that the target code resolved the user-visible symptom, even when Datadog/Sentry signal is noisy.
|
|
12
|
-
|
|
13
|
-
If you find an incident link, fetch the full postmortem. Postmortems typically have an "Action Items" section that ties directly to code changes. When multiple sources corroborate (a Datadog incident ID appears in a Linear ticket, which appears in a Notion postmortem, which appears in a Slack thread that links to the target PR, and the Databricks error-event count drops after the fix), the evidence is especially strong.
|
|
14
|
-
|
|
15
|
-
Worth spending time on when the code's defensive character makes an incident-driven origin plausible. Skip it for code that doesn't look defensive.
|
|
@@ -18,7 +18,7 @@ Use the Linear MCP.
|
|
|
18
18
|
|
|
19
19
|
1. **Start with linked tickets.** If the seed commits or PRs reference ticket IDs (e.g., `ENG-1234`, `[BUG-567]`), fetch those first with `get_issue`. Read the full issue including comments.
|
|
20
20
|
2. **List related issues by keyword.** Use `list_issues` with text search for the feature name, key symbol, or business term. Try multiple phrasings.
|
|
21
|
-
3. **Walk the issue tree.** If you land on a sub-issue, fetch its parent. Sub-issues are tactical
|
|
21
|
+
3. **Walk the issue tree.** If you land on a sub-issue, fetch its parent. Sub-issues are tactical. Parents often carry the "why."
|
|
22
22
|
4. **Read project docs.** If the issue belongs to a project, use `get_project` and check attached docs. Project-level documents are where specs and rationale are most often captured.
|
|
23
23
|
5. **Check labels and milestones.** Labels hint at the category of motivation (customer-request, incident-followup, compliance). Milestones tie work to deadlines, which often reveal motivation.
|
|
24
24
|
|
|
@@ -42,7 +42,7 @@ Use the Linear MCP.
|
|
|
42
42
|
|
|
43
43
|
For each relevant ticket:
|
|
44
44
|
- Ticket ID and title
|
|
45
|
-
- The problem/motivation quoted from the description or comments (not paraphrased
|
|
45
|
+
- The problem/motivation quoted from the description or comments (not paraphrased. The synthesizer needs the exact text to cite)
|
|
46
46
|
- Labels, parent issue, project
|
|
47
47
|
- Author, created date, closed date
|
|
48
48
|
- Link to the ticket if available
|
|
@@ -23,7 +23,7 @@ Use the Notion MCP.
|
|
|
23
23
|
- Author handles (design docs are often authored before the code lands)
|
|
24
24
|
- Error strings or user-visible terms
|
|
25
25
|
- Time-bounded queries if you know when the code shipped
|
|
26
|
-
2. **Fetch candidate pages with `notion-fetch`.** Read the full content, not the preview
|
|
26
|
+
2. **Fetch candidate pages with `notion-fetch`.** Read the full content, not the preview. Rationale is often buried mid-document.
|
|
27
27
|
3. **Follow backlinks and child pages.** Design docs often have sub-pages for alternatives considered, appendices, or implementation notes.
|
|
28
28
|
4. **Check related databases.** `notion-query-data-sources` and `notion-query-meeting-notes` can surface meeting notes that discussed the decision.
|
|
29
29
|
5. **Search author-specific spaces.** If the PR author has a personal notebook (common at some companies), it may hold exploratory thinking that preceded the code.
|
|
@@ -38,8 +38,8 @@ Use the Notion MCP.
|
|
|
38
38
|
|
|
39
39
|
## Common pitfalls
|
|
40
40
|
|
|
41
|
-
- **Outdated docs.** Specs are often written before implementation and not updated
|
|
42
|
-
- **Doc vs. reality drift.** A spec may say "we'll do X" but the code actually does Y. Flag the divergence
|
|
41
|
+
- **Outdated docs.** Specs are often written before implementation and not updated. The doc may describe a plan that changed. Cross-check against the actual PR.
|
|
42
|
+
- **Doc vs. reality drift.** A spec may say "we'll do X" but the code actually does Y. Flag the divergence. The synthesizer will surface the contradiction.
|
|
43
43
|
- **Boilerplate templates.** Some orgs require a "Why" section that gets filled with fluff. Look for specificity.
|
|
44
44
|
- **Unlinked docs.** The most relevant doc may not be linked from anywhere. Broad keyword searches help.
|
|
45
45
|
- **Multiple drafts.** If a topic has multiple docs, find the one that was finalized or most recently updated. Check dates.
|
|
@@ -1,18 +1,5 @@
|
|
|
1
1
|
# Sentry Error History
|
|
2
2
|
|
|
3
|
-
## What this source contains
|
|
4
|
-
|
|
5
|
-
Sentry is the archive of things that went wrong. For defensive, corrective, or error-handling code, it often holds the direct motivation: the specific exceptions, stack traces, and frequencies that pushed someone to add a check, catch, retry, or fallback.
|
|
6
|
-
|
|
7
|
-
- **Issues.** Grouped errors with counts, first/last seen timestamps, affected releases, and comments
|
|
8
|
-
- **Events.** Individual error instances within an issue (stack traces, tags, user context)
|
|
9
|
-
- **Releases.** Deployment records with associated issues (useful for "which version fixed this?")
|
|
10
|
-
- **Replays.** Session recordings of user-facing errors (if enabled)
|
|
11
|
-
- **Profiles.** Performance profiling data (less useful for "why"; more for "how slow")
|
|
12
|
-
- **Issue comments & assignments.** Sometimes contain engineer notes on root cause
|
|
13
|
-
|
|
14
|
-
The most valuable thing Sentry provides is **temporal correlation**: "issue X was created 2024-01-02, peaked at 500 events/day, stopped appearing after release v2.14.0 on 2024-01-15, the release that shipped the defensive check."
|
|
15
|
-
|
|
16
3
|
## How to search it
|
|
17
4
|
|
|
18
5
|
Use the Sentry MCP.
|
|
@@ -30,7 +17,7 @@ Use the Sentry MCP.
|
|
|
30
17
|
search_issues (natural language, e.g., "errors in PaymentService timeout", "unhandled exceptions in uploadFile")
|
|
31
18
|
```
|
|
32
19
|
|
|
33
|
-
|
|
20
|
+
Build queries from the exception class names the target handles, its function or class name, the error message strings it checks for, and its file path.
|
|
34
21
|
|
|
35
22
|
3. **Narrow by release and time window.**
|
|
36
23
|
|
|
@@ -39,11 +26,7 @@ Use the Sentry MCP.
|
|
|
39
26
|
get_issue_tag_values (for an issue, see distribution across versions, users, environments)
|
|
40
27
|
```
|
|
41
28
|
|
|
42
|
-
For a suspected issue, check
|
|
43
|
-
- **First seen.** When did the error start appearing?
|
|
44
|
-
- **Last seen.** When did it stop? Does it line up with the target's ship date?
|
|
45
|
-
- **Affected releases.** Which versions saw it? Which was the fix?
|
|
46
|
-
- **Frequency trajectory.** Did it spike, then get resolved?
|
|
29
|
+
For a suspected issue, check **first seen** and **last seen** (does the stop line up with the target's ship date?), the **affected releases** (which saw it, and which was the fix?), and the **frequency trajectory** (did it spike, then get resolved?).
|
|
47
30
|
|
|
48
31
|
4. **Pull the full event for context.**
|
|
49
32
|
|
|
@@ -67,24 +50,7 @@ Use the Sentry MCP.
|
|
|
67
50
|
analyze_issue_with_seer
|
|
68
51
|
```
|
|
69
52
|
|
|
70
|
-
Seer
|
|
71
|
-
|
|
72
|
-
## What good evidence looks like here
|
|
73
|
-
|
|
74
|
-
- An issue whose **first seen** is shortly before the target's PR and **last seen** shortly after, suggesting the target addressed this error
|
|
75
|
-
- Stack traces that pass through or land on the target function, showing the exact failure mode being defended against
|
|
76
|
-
- A comment on the issue from the PR author describing the fix
|
|
77
|
-
- The target's PR description or commit message referencing a Sentry issue URL or ID
|
|
78
|
-
- An issue with high event counts that stops after the release containing the target
|
|
79
|
-
|
|
80
|
-
## Common pitfalls
|
|
81
|
-
|
|
82
|
-
- **Grouping drift.** Sentry groups errors by fingerprint. Refactors or renames can track the "same" error under a new issue ID. If an issue ends abruptly, the error may have just been regrouped. Check for new issues immediately after.
|
|
83
|
-
- **Release correlation is noisy.** A release contains many commits. An issue stopping at v2.14.0 doesn't prove the target fixed it; another change in the same release might have. Cross-reference with the target's exact commit.
|
|
84
|
-
- **Silent fixes.** Sometimes the error stops because upstream changed, not because of the defensive code. The correlation suggests the fix; it doesn't prove authorship.
|
|
85
|
-
- **Resolved != fixed.** Issues can be marked "resolved" manually without any code change. Treat `resolved` as a human marker, not evidence that code fixed it.
|
|
86
|
-
- **Seer hallucinations.** Seer can generate confident-sounding explanations that aren't right. Fall back to the actual events, stack traces, and timestamps when making claims.
|
|
87
|
-
- **Sampling.** Some projects sample events aggressively. A low event count may just mean high sampling, not a rare error. If in doubt, note the gap.
|
|
53
|
+
Seer's AI root-cause analyses are a hypothesis generator. Treat them as inference, not authoritative. The actual events and stack traces are the primary evidence.
|
|
88
54
|
|
|
89
55
|
## What to return
|
|
90
56
|
|
|
@@ -1,54 +1,17 @@
|
|
|
1
1
|
# Slack Conversations
|
|
2
2
|
|
|
3
|
-
## What this source contains
|
|
4
|
-
|
|
5
|
-
- Real-time discussions of problems and decisions
|
|
6
|
-
- Incident channels where fire-drill decisions were made
|
|
7
|
-
- Design discussion threads where tradeoffs were debated
|
|
8
|
-
- Questions answered by senior engineers that didn't make it into docs
|
|
9
|
-
- Post-merge discussions that explain why something was revisited
|
|
10
|
-
- DMs (usually not searchable, scope accordingly)
|
|
11
|
-
|
|
12
|
-
Slack is frequently where the *real* decisions got made, especially for smaller changes that didn't warrant a doc. It's also the most ephemeral source: threads get deleted, channels get archived, and search quality degrades over time.
|
|
13
|
-
|
|
14
3
|
## How to search it
|
|
15
4
|
|
|
16
5
|
Slack MCP tools vary. Check which Slack MCP is available and inspect its tool schema first. It may require `mcp_auth`. If authentication fails, stop and report the gap.
|
|
17
6
|
|
|
18
7
|
1. **Author-bounded search.** Messages from the PR author around the PR merge date. Limits scope dramatically and often hits gold.
|
|
19
|
-
2. **Keyword search for the feature name and key symbols.** Include misspellings and casual phrasings.
|
|
20
8
|
3. **PR URL search.** Slack often links PRs when they're reviewed or discussed. Search for the PR URL (or just `/pull/<number>`).
|
|
21
9
|
4. **Error string search.** If the code handles a specific error, search for the error string. Incident threads often surface.
|
|
22
|
-
5. **Channel-scoped search.** Narrow to likely channels:
|
|
23
|
-
- `#eng-*`. Engineering discussions
|
|
24
|
-
- `#proj-*`. Project channels
|
|
25
|
-
- `#incident-*` / `#sev-*`. Incident channels
|
|
26
|
-
- Team-specific channels for the owning team
|
|
27
|
-
- Design review channels
|
|
28
|
-
6. **Thread traversal.** When you find a relevant message, fetch the whole thread. The decision often lives in the replies.
|
|
29
|
-
|
|
30
|
-
## What good evidence looks like here
|
|
31
|
-
|
|
32
|
-
- A thread where tradeoffs were explicitly debated ("I was going to use A but B is better because...")
|
|
33
|
-
- An incident channel message describing the bug the code prevents
|
|
34
|
-
- A question from a reviewer and an authoritative answer from the author or lead
|
|
35
|
-
- A reference to a meeting where a decision was made
|
|
36
|
-
- A message from a product manager or customer-facing engineer explaining a customer ask
|
|
37
10
|
|
|
38
11
|
## Common pitfalls
|
|
39
12
|
|
|
40
13
|
- **Channel archaeology limits.** Very old messages may be gone due to retention policies. If you can't find anything before a certain date, note the retention cliff.
|
|
41
|
-
- **Unsearched DMs.** Many decisions happen in DMs that aren't searchable. You'll miss them
|
|
14
|
+
- **Unsearched DMs.** Many decisions happen in DMs that aren't searchable. You'll miss them. That's a known limitation.
|
|
42
15
|
- **Speculative jokes as "decisions."** Slack is casual. "Lol just do the thing" isn't a decision, even if it preceded the commit. Look for considered discussion.
|
|
43
16
|
- **Context collapse in single messages.** Without the thread, a single message often reads differently than in context. Always fetch threads.
|
|
44
17
|
- **Auth failures.** If the MCP isn't authenticated, stop. Don't make up findings. Report that Slack wasn't searchable.
|
|
45
|
-
|
|
46
|
-
## What to return
|
|
47
|
-
|
|
48
|
-
For each relevant thread:
|
|
49
|
-
- Channel name
|
|
50
|
-
- Permalink or thread ID
|
|
51
|
-
- Participants
|
|
52
|
-
- Date range of the discussion
|
|
53
|
-
- The key quotes (verbatim) with attribution
|
|
54
|
-
- Context: what thread/incident/discussion this was part of
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
# Synthesizer Prompt Template
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
Fill in the placeholders.
|
|
4
4
|
|
|
5
5
|
---
|
|
6
6
|
|
|
7
|
-
You are answering a "why" question about a piece of code by synthesizing findings from
|
|
7
|
+
You are answering a "why" question about a piece of code by synthesizing findings from investigators who searched different historical sources (source control, issue / ticket tracker, long-form documents, real-time team chat, infrastructure observability, error / exception tracking, product analytics warehouse, and code comments). Produce a confidence-weighted, evidence-cited narrative that says honestly what the evidence supports, and just as honestly what it doesn't.
|
|
8
8
|
|
|
9
9
|
## The Question
|
|
10
10
|
|
|
@@ -26,58 +26,58 @@ You are answering a "why" question about a piece of code by synthesizing finding
|
|
|
26
26
|
|
|
27
27
|
## Epistemics Framework
|
|
28
28
|
|
|
29
|
-
You MUST follow
|
|
29
|
+
You MUST follow `references/epistemics.md`. Read it in full before writing. The key rules:
|
|
30
30
|
|
|
31
|
-
1. Every claim
|
|
31
|
+
1. Every claim must sit in one tier: **Direct**, **Supported**, **Inferred**, **Speculative**, **Unknown**. The tier sets its section and its phrasing.
|
|
32
32
|
2. Every Direct/Supported claim must have a citation (PR #, ticket ID, doc URL, chat permalink, commit hash, or file:line).
|
|
33
33
|
3. Inferred and Speculative claims must use hedged language ("appears to", "likely", "suggests", "one possibility is").
|
|
34
34
|
4. Never cite code as evidence for its own intent.
|
|
35
|
-
5.
|
|
36
|
-
6.
|
|
35
|
+
5. Document gaps. Don't fill them with plausible-sounding guesses.
|
|
36
|
+
6. Treat a hypothesis embedded in the user's question as a candidate, not a conclusion. Check it independently.
|
|
37
37
|
|
|
38
38
|
## Instructions
|
|
39
39
|
|
|
40
|
-
1. **Read all investigator findings
|
|
41
|
-
2. **
|
|
42
|
-
3. **
|
|
43
|
-
4. **Calibrate
|
|
44
|
-
5. **Verify citations by spot-checking.**
|
|
45
|
-
6. **Don't overreach.** The user will act on
|
|
40
|
+
1. **Read all investigator findings** and weigh the evidence yourself. Investigators gathered raw evidence, not conclusions.
|
|
41
|
+
2. **Merge overlaps.** When several investigators cite the same PR, ticket, or doc, give it one authoritative reference.
|
|
42
|
+
3. **Surface contradictions.** When two items disagree, show both. Don't pick one.
|
|
43
|
+
4. **Calibrate each claim.** Find its evidence and tier. Direct: cite it and state it plainly. Inferred: hedge it and show the inference. Speculative: mark it. No evidence: put it in the gaps.
|
|
44
|
+
5. **Verify citations by spot-checking.** If you're uncertain a cited item exists or says what the investigator claims, check it by reading the codebase or calling MCP tools. Don't propagate errors. Do not write files, commit, or modify external state.
|
|
45
|
+
6. **Don't overreach.** The user will act on this. Leave an open question open rather than fill it with a confident guess.
|
|
46
46
|
|
|
47
47
|
## Output Format
|
|
48
48
|
|
|
49
|
-
Write
|
|
49
|
+
Write for the user, in this exact structure:
|
|
50
50
|
|
|
51
51
|
---
|
|
52
52
|
|
|
53
53
|
### The Question
|
|
54
54
|
|
|
55
|
-
Restate the user's question in one or two sentences
|
|
55
|
+
Restate the user's question in one or two sentences.
|
|
56
56
|
|
|
57
57
|
### The Code in Question
|
|
58
58
|
|
|
59
|
-
File paths, line ranges, key symbols. Two or three lines to orient a reader
|
|
59
|
+
File paths, line ranges, key symbols. Two or three lines to orient a cold reader.
|
|
60
60
|
|
|
61
61
|
### What We Found
|
|
62
62
|
|
|
63
|
-
|
|
63
|
+
Claims with textual evidence, each quoted or paraphrased and cited precisely:
|
|
64
64
|
|
|
65
65
|
- **[Direct]** {Claim}. Source: [PR #123](url) / ticket ID / file:line. {Brief quote or paraphrase.}
|
|
66
66
|
- **[Supported]** {Claim}. Evidence: {list of items and what each contributes}.
|
|
67
67
|
|
|
68
|
-
|
|
68
|
+
`[Direct]` is single-source, explicit evidence. `[Supported]` is multiple indirect items converging on a conclusion.
|
|
69
69
|
|
|
70
70
|
### What We Can Reasonably Infer
|
|
71
71
|
|
|
72
|
-
|
|
72
|
+
Claims stated nowhere but well-supported by indirect evidence. Each bullet must make the inference chain visible ("Given A and B, it's likely that C") and must use hedged language ("appears to", "likely", "suggests", "is consistent with"):
|
|
73
73
|
|
|
74
74
|
- **[Inferred]** {Hedged claim}. Reasoning: {the specific evidence and the inference step}.
|
|
75
75
|
|
|
76
|
-
|
|
76
|
+
Skip this section if there's nothing to infer.
|
|
77
77
|
|
|
78
78
|
### Competing Hypotheses
|
|
79
79
|
|
|
80
|
-
|
|
80
|
+
If the evidence fits multiple stories, present each. Don't force a winner the record doesn't support. For each hypothesis:
|
|
81
81
|
|
|
82
82
|
- **Hypothesis:** {one-sentence statement}
|
|
83
83
|
- **Evidence for:** {specific items}
|
|
@@ -87,18 +87,16 @@ Skip this section if there's a single clear answer.
|
|
|
87
87
|
|
|
88
88
|
### What We Don't Know
|
|
89
89
|
|
|
90
|
-
|
|
90
|
+
Specific gaps: "We searched the issue tracker for [query1], [query2], [query3] and found no issue discussing the rate-limit threshold", not "We don't know why." Include:
|
|
91
91
|
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
- Specific questions that went unanswered
|
|
92
|
+
- Questions that went unanswered
|
|
95
93
|
- Searches that returned nothing
|
|
96
|
-
- Sources that were unavailable
|
|
97
|
-
- People who would likely know but
|
|
94
|
+
- Sources that were unavailable, and why (such as a missing real-time team chat MCP)
|
|
95
|
+
- People who would likely know but whom you can't ask
|
|
98
96
|
|
|
99
97
|
### Sources Consulted
|
|
100
98
|
|
|
101
|
-
|
|
99
|
+
What was actually searched, so the user can judge coverage and redirect:
|
|
102
100
|
|
|
103
101
|
- **Source control history**: {file paths}, {number of commits reviewed}, PRs #{numbers}, and code comments searched. Or "Not searched. This should not happen because git and `gh` are always expected."
|
|
104
102
|
- **Issue / ticket tracker**: {ticket IDs and keyword searches}. Or "Not searched. No matching MCP available in this environment."
|
|
@@ -110,7 +108,7 @@ Bulleted list of what was actually searched, so the user can judge coverage and
|
|
|
110
108
|
|
|
111
109
|
### Confidence Summary
|
|
112
110
|
|
|
113
|
-
One or two sentences
|
|
111
|
+
One or two sentences on overall confidence, e.g.:
|
|
114
112
|
|
|
115
113
|
> "The core rationale (A) is well-supported by direct PR and ticket evidence. The specific threshold value (100) is inferred from the surrounding context but not explicitly documented. The question of whether this was driven by a customer request could not be answered. No relevant issue tracker or long-form doc content surfaced, and real-time team chat search was unavailable."
|
|
116
114
|
|
|
@@ -118,18 +116,14 @@ One or two sentences summarizing your overall confidence. E.g.:
|
|
|
118
116
|
|
|
119
117
|
## Quality Check Before Returning
|
|
120
118
|
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
1. Does every claim in "What We Found" have a citation? If not, add one or move the claim to "Inferred" or "Hypotheses."
|
|
124
|
-
2. Is the phrasing tier-appropriate? (Direct claims can use "because"; Inferred claims cannot.)
|
|
125
|
-
3. Did you surface any contradictions you noticed, or did you quietly pick one?
|
|
126
|
-
4. Does the "What We Don't Know" section exist and name specific gaps? If it's empty or missing, be suspicious. Historical investigations almost always have gaps.
|
|
127
|
-
5. If the user embedded a hypothesis in their question, did you check it against the evidence rather than rubber-stamping it?
|
|
128
|
-
6. Did you cite any code as evidence for its own intent? Remove those. Code is mechanics, not motivation.
|
|
129
|
-
7. Is the overall tone calibrated? A confident-sounding answer with weak evidence is the exact failure mode this skill exists to prevent.
|
|
130
|
-
|
|
131
|
-
If any item fails, revise before returning.
|
|
119
|
+
Revise if any item fails:
|
|
132
120
|
|
|
133
|
-
|
|
121
|
+
1. Does every claim in "What We Found" have a citation? If not, add one or move it to "Inferred" or "Hypotheses."
|
|
122
|
+
2. Is the phrasing tier-appropriate? (Direct claims can use "because". Inferred claims cannot.)
|
|
123
|
+
3. Did you surface every contradiction you noticed, or quietly pick one?
|
|
124
|
+
4. Does "What We Don't Know" name specific gaps? If it's empty or missing, be suspicious. Historical investigations almost always have gaps.
|
|
125
|
+
5. Did you check any hypothesis embedded in the question against the evidence rather than rubber-stamp it?
|
|
126
|
+
6. Did you cite code as evidence for its own intent? Remove it. Code is mechanics, not motivation.
|
|
127
|
+
7. Is the tone calibrated? A confident-sounding answer on weak evidence is the exact failure this skill exists to prevent.
|
|
134
128
|
|
|
135
|
-
The value of this output
|
|
129
|
+
The value of this output is its honesty, not its authority. A reader who takes it to the original author, an engineering lead, or a product manager should know what's known, what's inferred, and what's missing, so they can ask the right follow-up questions. Optimize for being useful, not for looking decisive.
|
|
@@ -1,8 +0,0 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: poteto-agent
|
|
3
|
-
description: Routing target for `/poteto-mode` and any request for poteto's style. Resume an existing `poteto-agent` for the conversation rather than spawning a sibling. Reads the `poteto-mode` skill's `SKILL.md` in full before any work, including its inline Principles index. Substituting `generalPurpose` skips that read and drifts.
|
|
4
|
-
---
|
|
5
|
-
|
|
6
|
-
# Poteto subagent
|
|
7
|
-
|
|
8
|
-
You are operating as poteto-mode's full agent style. Read the `poteto-mode` skill's `SKILL.md` in full before doing any work, including its inline Principles index. Navigate to a leaf `principle-*` skill whenever you apply that principle.
|
|
@@ -1,59 +0,0 @@
|
|
|
1
|
-
# Critic Prompt Template
|
|
2
|
-
|
|
3
|
-
Build each critic subagent's prompt from this template. Fill in the placeholders.
|
|
4
|
-
|
|
5
|
-
---
|
|
6
|
-
|
|
7
|
-
You are reviewing the architecture of a codebase subsystem. An explanation of how it works has already been written. Read it to orient yourself, then read the actual code to form your own judgment.
|
|
8
|
-
|
|
9
|
-
## Architectural Explanation
|
|
10
|
-
|
|
11
|
-
{EXPLANATION}
|
|
12
|
-
|
|
13
|
-
## Relevant Files
|
|
14
|
-
|
|
15
|
-
{FILE_PATHS}
|
|
16
|
-
|
|
17
|
-
## Critique Rubric
|
|
18
|
-
|
|
19
|
-
{CRITIQUE_RUBRIC_CONTENTS}
|
|
20
|
-
|
|
21
|
-
## Instructions
|
|
22
|
-
|
|
23
|
-
Read the files listed above. Use the explanation as a map, but form your own opinions from the code itself. The explanation might miss things or frame them charitably.
|
|
24
|
-
|
|
25
|
-
Find architectural problems, not line-level bugs or style issues. Ask whether this subsystem is built well for what it needs to do and how it will need to evolve.
|
|
26
|
-
|
|
27
|
-
For each finding:
|
|
28
|
-
|
|
29
|
-
1. **Severity**: `structural` | `concern` | `observation`
|
|
30
|
-
- `structural`: a fundamental architectural problem. Wrong abstraction boundary, broken data model, coupling that will block future work
|
|
31
|
-
- `concern`: a real issue that makes the system harder to work with or reason about, but not fundamentally broken
|
|
32
|
-
- `observation`: worth noting. A tradeoff that might not age well, a pattern inconsistent with the rest of the codebase, technical debt
|
|
33
|
-
2. **Finding**: the architectural issue. Be specific. Name the components, the boundary, the coupling.
|
|
34
|
-
3. **Evidence**: concrete code that demonstrates the problem. Don't just assert that "this is too coupled". Show the dependency chain.
|
|
35
|
-
4. **Impact**: what the issue costs. Harder to test? Harder to change? Performance cliff at scale? Be concrete about the consequence.
|
|
36
|
-
|
|
37
|
-
## What to Avoid
|
|
38
|
-
|
|
39
|
-
- Line-level code review (not your job here)
|
|
40
|
-
- Suggesting rewrites without demonstrating a problem with the current approach
|
|
41
|
-
- "This could use more abstraction" without showing what the abstraction would actually solve
|
|
42
|
-
- Flagging intentional tradeoffs with clear benefits as issues
|
|
43
|
-
|
|
44
|
-
If the architecture is sound, say so. An empty critique is a valid outcome.
|
|
45
|
-
|
|
46
|
-
## Output
|
|
47
|
-
|
|
48
|
-
```
|
|
49
|
-
## Findings
|
|
50
|
-
|
|
51
|
-
### 1. [Severity] Short title
|
|
52
|
-
**Components**: Which parts of the system are involved
|
|
53
|
-
**Finding**: What's wrong architecturally
|
|
54
|
-
**Evidence**: Concrete code references
|
|
55
|
-
**Impact**: What this costs in practice
|
|
56
|
-
|
|
57
|
-
### 2. [Severity] Short title
|
|
58
|
-
...
|
|
59
|
-
```
|