@justjoshn/pi-pstack 0.0.0-stage → 0.15.36-pi.11
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/CHANGELOG.md +79 -0
- package/LICENSE +21 -0
- package/README.md +100 -2
- package/agents/ci-watcher.md +28 -0
- package/agents/comment-sicko.md +32 -0
- package/agents/poteto-agent.md +9 -0
- package/agents/thermo-nuclear-code-quality-review.md +23 -0
- package/assets/logo.png +0 -0
- package/automations/benny/FOR_AGENTS.md +83 -0
- package/automations/benny/README.md +20 -0
- package/automations/benny/skills/reproduce-and-fix-issues/SKILL.md +310 -0
- package/automations/benny/skills/reproduce-and-fix-issues/references/control-adapter.md +169 -0
- package/automations/benny/skills/reproduce-and-fix-issues/references/feature-map.example.md +205 -0
- package/automations/benny/skills/reproduce-and-fix-issues/references/verify-existing-fix.md +93 -0
- package/automations/benny/skills/setup-benny/SKILL.md +254 -0
- package/automations/benny/skills/triage-issue-reports/SKILL.md +240 -0
- package/automations/benny/skills/triage-issue-reports/references/routing.example.md +61 -0
- package/automations/benny/templates/configuration.example.yaml +113 -0
- package/automations/benny/templates/reproduce-automation-prompt.md +49 -0
- package/automations/benny/templates/triage-automation-prompt.md +53 -0
- package/bin/pstack-routines-supervisor +9 -0
- package/docs/guide/01-setup.md +67 -0
- package/docs/guide/02-poteto-mode.md +139 -0
- package/docs/guide/03-understand.md +79 -0
- package/docs/guide/04-design.md +133 -0
- package/docs/guide/05-build-and-clean.md +83 -0
- package/docs/guide/06-verify-and-ship.md +162 -0
- package/docs/guide/07-overnight.md +122 -0
- package/docs/guide/08-principles.md +72 -0
- package/docs/guide/09-make-it-yours.md +100 -0
- package/docs/guide/10-recipes-and-pitfalls.md +182 -0
- package/docs/guide/README.md +38 -0
- package/docs/guide/images/design.jpg +0 -0
- package/docs/guide/images/overnight.jpg +0 -0
- package/docs/guide/images/recipes.jpg +0 -0
- package/docs/guide/images/router.jpg +0 -0
- package/docs/guide/images/understanding.jpg +0 -0
- package/docs/guide/images/verification.jpg +0 -0
- package/docs/native-gaps.md +73 -0
- package/docs/parity-reverse-engineering.md +94 -0
- package/docs/parity-status.md +113 -0
- package/licenses/cursor-team-kit.LICENSE +21 -0
- package/licenses/pstack.LICENSE +21 -0
- package/package.json +86 -4
- package/packaging/install-supervisor-unit.sh +164 -0
- package/packaging/launchd/com.pstack.routines-supervisor.plist.example +24 -0
- package/packaging/systemd/pstack-routines-supervisor.service.example +15 -0
- package/skills/architect/SKILL.md +79 -0
- package/skills/architect/references/design-red-flags.md +57 -0
- package/skills/architect/references/rationale-template.md +35 -0
- package/skills/architect/references/runner-prompt.md +20 -0
- package/skills/arena/SKILL.md +48 -0
- package/skills/automate-me/SKILL.md +104 -0
- package/skills/benchmark-checklist/SKILL.md +39 -0
- package/skills/blast-radius/SKILL.md +50 -0
- package/skills/bro/SKILL.md +7 -0
- package/skills/check-compiler-errors/SKILL.md +23 -0
- package/skills/control-cli/SKILL.md +109 -0
- package/skills/control-ui/SKILL.md +109 -0
- package/skills/correct/SKILL.md +32 -0
- package/skills/create-formal-verification-skill/SKILL.md +43 -0
- package/skills/create-skill/SKILL.md +548 -0
- package/skills/create-verification-skill/SKILL.md +44 -0
- package/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
- package/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
- package/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
- package/skills/deslop/SKILL.md +22 -0
- package/skills/figure-it-out/SKILL.md +52 -0
- package/skills/fix-ci/SKILL.md +29 -0
- package/skills/fix-merge-conflicts/SKILL.md +32 -0
- package/skills/get-pr-comments/SKILL.md +23 -0
- package/skills/how/SKILL.md +36 -0
- package/skills/how/references/explainer-prompt.md +55 -0
- package/skills/how/references/explorer-prompt.md +35 -0
- package/skills/in-your-own-words/SKILL.md +7 -0
- package/skills/interrogate/SKILL.md +31 -0
- package/skills/ketchup/SKILL.md +43 -0
- package/skills/ketchup-video/SKILL.md +29 -0
- package/skills/loop-on-ci/SKILL.md +50 -0
- package/skills/maintain-formal-verification-skill/SKILL.md +58 -0
- package/skills/maintain-verification-skill/SKILL.md +39 -0
- package/skills/make-bot-ui/SKILL.md +104 -0
- package/skills/make-pr-easy-to-review/SKILL.md +59 -0
- package/skills/new-branch-and-pr/SKILL.md +29 -0
- package/skills/no-comments/SKILL.md +24 -0
- package/skills/no-inline-imports/SKILL.md +12 -0
- package/skills/poteto-help/SKILL.md +161 -0
- package/skills/poteto-help/references/prompting.md +51 -0
- package/skills/poteto-help/references/recipes.md +51 -0
- package/skills/poteto-mode/SKILL.md +151 -0
- package/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
- package/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
- package/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
- package/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
- package/skills/poteto-mode/playbooks/babysit.md +23 -0
- package/skills/poteto-mode/playbooks/bug-fix.md +15 -0
- package/skills/poteto-mode/playbooks/eval.md +25 -0
- package/skills/poteto-mode/playbooks/feature.md +21 -0
- package/skills/poteto-mode/playbooks/hillclimb.md +21 -0
- package/skills/poteto-mode/playbooks/investigation.md +14 -0
- package/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
- package/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
- package/skills/poteto-mode/playbooks/orchestrate.md +25 -0
- package/skills/poteto-mode/playbooks/pause-safely.md +10 -0
- package/skills/poteto-mode/playbooks/perf-issue.md +25 -0
- package/skills/poteto-mode/playbooks/prototype.md +14 -0
- package/skills/poteto-mode/playbooks/refactoring.md +16 -0
- package/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
- package/skills/poteto-mode/playbooks/session-pickup.md +11 -0
- package/skills/poteto-mode/playbooks/shipping.md +12 -0
- package/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
- package/skills/poteto-mode/playbooks/visual-parity.md +11 -0
- package/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
- package/skills/poteto-mode/references/bugbot-triage.md +142 -0
- package/skills/poteto-mode/scripts/bootstrap.ts +62 -0
- package/skills/poteto-mode/scripts/bun.lock +67 -0
- package/skills/poteto-mode/scripts/check-plan.mjs +205 -0
- package/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
- package/skills/poteto-mode/scripts/package.json +16 -0
- package/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
- package/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
- package/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
- package/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
- package/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
- package/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
- package/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
- package/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
- package/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
- package/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
- package/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
- package/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
- package/skills/poteto-mode/scripts/worktree-audit.sh +156 -0
- package/skills/pr-review-canvas/SKILL.md +176 -0
- package/skills/pr-review-canvas/renderer.js +170 -0
- package/skills/pr-review-canvas/styles.css +96 -0
- package/skills/pr-review-canvas/template.html +18 -0
- package/skills/principle-attack-the-premise/SKILL.md +21 -0
- package/skills/principle-boundary-discipline/SKILL.md +34 -0
- package/skills/principle-build-the-lever/SKILL.md +23 -0
- package/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
- package/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
- package/skills/principle-experience-first/SKILL.md +19 -0
- package/skills/principle-explain-the-number/SKILL.md +18 -0
- package/skills/principle-fix-root-causes/SKILL.md +21 -0
- package/skills/principle-foundational-thinking/SKILL.md +21 -0
- package/skills/principle-guard-the-context-window/SKILL.md +12 -0
- package/skills/principle-laziness-protocol/SKILL.md +10 -0
- package/skills/principle-make-operations-idempotent/SKILL.md +22 -0
- package/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
- package/skills/principle-minimize-reader-load/SKILL.md +18 -0
- package/skills/principle-model-the-domain/SKILL.md +24 -0
- package/skills/principle-never-block-on-the-human/SKILL.md +15 -0
- package/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
- package/skills/principle-prove-it-works/SKILL.md +22 -0
- package/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
- package/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
- package/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
- package/skills/principle-subtract-before-you-add/SKILL.md +18 -0
- package/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
- package/skills/principle-type-system-discipline/SKILL.md +13 -0
- package/skills/recall/SKILL.md +35 -0
- package/skills/reflect/SKILL.md +69 -0
- package/skills/reflect/references/divergent-reviewer.md +38 -0
- package/skills/reflect/references/judgment-reviewer.md +37 -0
- package/skills/reflect/references/synthesizer.md +56 -0
- package/skills/reflect/references/tooling-reviewer.md +48 -0
- package/skills/review-and-ship/SKILL.md +41 -0
- package/skills/run-smoke-tests/SKILL.md +42 -0
- package/skills/setup-pstack/SKILL.md +74 -0
- package/skills/sharpen/SKILL.md +16 -0
- package/skills/show-me-your-work/SKILL.md +82 -0
- package/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
- package/skills/show-me-your-work/scripts/log.sh +42 -0
- package/skills/statechart/SKILL.md +82 -0
- package/skills/statechart/references/render.md +93 -0
- package/skills/statechart/scripts/backends/cfg.ts +33 -0
- package/skills/statechart/scripts/backends/mermaid.ts +201 -0
- package/skills/statechart/scripts/backends/plain-text.ts +72 -0
- package/skills/statechart/scripts/backends/report.ts +177 -0
- package/skills/statechart/scripts/frontends/config.ts +276 -0
- package/skills/statechart/scripts/frontends/dot.ts +74 -0
- package/skills/statechart/scripts/frontends/marks.ts +93 -0
- package/skills/statechart/scripts/frontends/messages.ts +52 -0
- package/skills/statechart/scripts/frontends/spec.ts +114 -0
- package/skills/statechart/scripts/frontends/trace.ts +24 -0
- package/skills/statechart/scripts/frontends/value.ts +166 -0
- package/skills/statechart/scripts/frontends/verdict.ts +40 -0
- package/skills/statechart/scripts/frontends/view.ts +119 -0
- package/skills/statechart/scripts/ir.ts +547 -0
- package/skills/statechart/scripts/package.json +11 -0
- package/skills/statechart/scripts/passes/annotate.ts +128 -0
- package/skills/statechart/scripts/passes/label.ts +269 -0
- package/skills/statechart/scripts/passes/lift.ts +85 -0
- package/skills/statechart/scripts/passes/loop-check.ts +68 -0
- package/skills/statechart/scripts/passes/paths.ts +60 -0
- package/skills/statechart/scripts/passes/reach.ts +135 -0
- package/skills/statechart/scripts/passes/region-check.ts +97 -0
- package/skills/statechart/scripts/passes/regions.ts +295 -0
- package/skills/statechart/scripts/pipeline.ts +76 -0
- package/skills/statechart/scripts/run.ts +481 -0
- package/skills/statechart/scripts/statechart +29 -0
- package/skills/statechart/scripts/statechart.ts +164 -0
- package/skills/statechart/scripts/test/ConfigOracle.java +63 -0
- package/skills/statechart/scripts/test/chart.test.ts +1210 -0
- package/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
- package/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
- package/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
- package/skills/statechart/scripts/test/cli.test.ts +1314 -0
- package/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
- package/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
- package/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
- package/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
- package/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
- package/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
- package/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
- package/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
- package/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
- package/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
- package/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
- package/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
- package/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
- package/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
- package/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
- package/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
- package/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
- package/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
- package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
- package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
- package/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
- package/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
- package/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
- package/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
- package/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
- package/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
- package/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
- package/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
- package/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
- package/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
- package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
- package/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
- package/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
- package/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
- package/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
- package/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
- package/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
- package/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
- package/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
- package/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
- package/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
- package/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
- package/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
- package/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
- package/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
- package/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
- package/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
- package/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
- package/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
- package/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
- package/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
- package/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
- package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
- package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
- package/skills/statechart/scripts/test/corpus.test.ts +403 -0
- package/skills/statechart/scripts/test/differential.test.ts +565 -0
- package/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
- package/skills/statechart/scripts/test/grid/Grid.tla +9 -0
- package/skills/statechart/scripts/test/grid/sany.out +2 -0
- package/skills/statechart/scripts/test/java.ts +63 -0
- package/skills/statechart/scripts/test/labels.ts +643 -0
- package/skills/statechart/scripts/test/messages.test.ts +212 -0
- package/skills/statechart/scripts/test/pipeline.test.ts +270 -0
- package/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
- package/skills/statechart/scripts/test/render.test.ts +81 -0
- package/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
- package/skills/statechart/scripts/test/tlc.ts +158 -0
- package/skills/statechart/scripts/tsconfig.json +11 -0
- package/skills/statechart/scripts/worker.ts +35 -0
- package/skills/swarm/SKILL.md +41 -0
- package/skills/tdd/SKILL.md +42 -0
- package/skills/teach/SKILL.md +21 -0
- package/skills/technical-writing/SKILL.md +106 -0
- package/skills/thermo-nuclear-code-quality-review/SKILL.md +192 -0
- package/skills/typescript-best-practices/SKILL.md +32 -0
- package/skills/typescript-best-practices/references/patterns.md +328 -0
- package/skills/typescript-exhaustive-switch/SKILL.md +10 -0
- package/skills/unslop/SKILL.md +62 -0
- package/skills/verify-this/SKILL.md +74 -0
- package/skills/weekly-review/SKILL.md +32 -0
- package/skills/what-did-i-get-done/SKILL.md +31 -0
- package/skills/why/SKILL.md +98 -0
- package/skills/why/references/epistemics.md +71 -0
- package/skills/why/references/investigator-prompt.md +84 -0
- package/skills/why/references/source-playbook.md +17 -0
- package/skills/why/references/sources/code-archaeology.md +51 -0
- package/skills/why/references/sources/databricks.md +70 -0
- package/skills/why/references/sources/datadog.md +97 -0
- package/skills/why/references/sources/incident-postmortem.md +5 -0
- package/skills/why/references/sources/linear.md +48 -0
- package/skills/why/references/sources/notion.md +55 -0
- package/skills/why/references/sources/sentry.md +66 -0
- package/skills/why/references/sources/slack.md +17 -0
- package/skills/why/references/synthesizer-prompt.md +129 -0
- package/skills/workflow-from-chats/SKILL.md +50 -0
- package/src/aliases.ts +64 -0
- package/src/ask.ts +131 -0
- package/src/autocomplete.ts +21 -0
- package/src/child-env.ts +57 -0
- package/src/index.ts +138 -0
- package/src/loop.ts +238 -0
- package/src/mode.ts +180 -0
- package/src/modes.ts +8 -0
- package/src/path-skills.ts +104 -0
- package/src/paths.ts +90 -0
- package/src/pi-command.ts +12 -0
- package/src/plan.ts +226 -0
- package/src/readonly-shell.ts +107 -0
- package/src/rule.ts +56 -0
- package/src/sections.ts +136 -0
- package/src/subscriptions/cron.ts +75 -0
- package/src/subscriptions/durable-store.ts +531 -0
- package/src/subscriptions/durable-types.ts +69 -0
- package/src/subscriptions/ensure-supervisor.ts +67 -0
- package/src/subscriptions/github.ts +149 -0
- package/src/subscriptions/index.ts +575 -0
- package/src/subscriptions/supervisor-main.ts +134 -0
- package/src/subscriptions/supervisor.ts +325 -0
- package/src/subscriptions/webhook.ts +270 -0
- package/src/task/agents.ts +55 -0
- package/src/task/card.ts +61 -0
- package/src/task/format.ts +88 -0
- package/src/task/models.ts +147 -0
- package/src/task/progress.ts +112 -0
- package/src/task/records.ts +230 -0
- package/src/task/registry.ts +81 -0
- package/src/task/runner.ts +459 -0
- package/src/task/status.ts +170 -0
- package/src/task/stop.ts +100 -0
- package/src/task/tool.ts +560 -0
- package/src/task/worktree.ts +69 -0
- package/src/todo.ts +127 -0
- package/src/visualize.ts +244 -0
|
@@ -0,0 +1,156 @@
|
|
|
1
|
+
#!/usr/bin/env bash
|
|
2
|
+
# Read-only worktree prune audit. Classifies every git worktree by size, merge
|
|
3
|
+
# state, uncommitted work, remote/PR state, and the most recent chat that
|
|
4
|
+
# operated in it. Emits a table sorted by size with a suggested bucket. Never
|
|
5
|
+
# deletes anything; deletion stays a human-gated step in the playbook.
|
|
6
|
+
#
|
|
7
|
+
# Usage: worktree-audit.sh [-b|--base <ref>] [repo-path]
|
|
8
|
+
# repo-path defaults to the current repo.
|
|
9
|
+
# -b sets the ref the MERGED column checks against (e.g. origin/integration).
|
|
10
|
+
# Without it the base is origin/HEAD, then origin/main, then origin/master.
|
|
11
|
+
# origin/HEAD is the remote's default branch, not necessarily the branch PRs
|
|
12
|
+
# merge into; pass -b when they differ.
|
|
13
|
+
set -u
|
|
14
|
+
|
|
15
|
+
base=""
|
|
16
|
+
while [ $# -gt 0 ]; do
|
|
17
|
+
case "$1" in
|
|
18
|
+
-b|--base) [ $# -ge 2 ] || { echo "error: $1 needs a ref" >&2; exit 2; }; base="$2"; shift 2 ;;
|
|
19
|
+
-h|--help) sed -n '2,/^set -u/p' "$0" | sed '$d; s/^# \{0,1\}//'; exit 0 ;;
|
|
20
|
+
-*) echo "error: unknown option: $1" >&2; exit 2 ;;
|
|
21
|
+
*) break ;;
|
|
22
|
+
esac
|
|
23
|
+
done
|
|
24
|
+
|
|
25
|
+
repo="${1:-$(git rev-parse --show-toplevel 2>/dev/null)}"
|
|
26
|
+
[ -z "$repo" ] && { echo "not in a git repo; pass a repo path" >&2; exit 1; }
|
|
27
|
+
cd "$repo" || exit 1
|
|
28
|
+
git rev-parse --git-dir >/dev/null 2>&1 || { echo "error: not a git repo: $repo" >&2; exit 1; }
|
|
29
|
+
|
|
30
|
+
# Main worktree is the first entry; everything else is a candidate.
|
|
31
|
+
main_wt=$(git worktree list --porcelain | awk '/^worktree /{print $2; exit}')
|
|
32
|
+
|
|
33
|
+
if [ -z "$base" ]; then
|
|
34
|
+
for cand in "$(git symbolic-ref --short refs/remotes/origin/HEAD 2>/dev/null)" origin/main origin/master; do
|
|
35
|
+
[ -n "$cand" ] && git rev-parse --verify --quiet "$cand^{commit}" >/dev/null && { base="$cand"; break; }
|
|
36
|
+
done
|
|
37
|
+
[ -z "$base" ] && { echo "error: no base ref (origin/HEAD, origin/main, origin/master all missing); pass -b <ref>" >&2; exit 1; }
|
|
38
|
+
echo "warn: no -b given; MERGED checks against $base" >&2
|
|
39
|
+
fi
|
|
40
|
+
|
|
41
|
+
# The base drives the merge check. The fetch is best-effort (stale is fine for
|
|
42
|
+
# a first pass) and runs before the check, since -b may name a branch not
|
|
43
|
+
# fetched yet. The explicit refspec creates it even in a single-branch clone.
|
|
44
|
+
case "$base" in
|
|
45
|
+
origin/*) git fetch origin "+refs/heads/${base#origin/}:refs/remotes/$base" --quiet 2>/dev/null \
|
|
46
|
+
|| echo "warn: could not fetch $base; merged column may be stale" >&2 ;;
|
|
47
|
+
esac
|
|
48
|
+
git rev-parse --verify --quiet "$base^{commit}" >/dev/null 2>&1 || { echo "error: base ref not found: $base" >&2; exit 1; }
|
|
49
|
+
|
|
50
|
+
# GNU coreutils (Linux, Homebrew gnubin) reads `stat -f` as file system status
|
|
51
|
+
# and `date -r` as a file, so pick the stat and date flags once.
|
|
52
|
+
if stat -c %Y / >/dev/null 2>&1; then
|
|
53
|
+
stat_fmt=(-c '%Y %n'); fmt_day() { date -d "@$1" '+%Y-%m-%d'; }
|
|
54
|
+
else
|
|
55
|
+
stat_fmt=(-f '%m %N'); fmt_day() { date -r "$1" '+%Y-%m-%d'; }
|
|
56
|
+
fi
|
|
57
|
+
|
|
58
|
+
# PR state by branch, fetched once as [{number, state, head}] with a lowercase
|
|
59
|
+
# state. Origin when its CLI can read this repo's PRs, otherwise gh. Empty when
|
|
60
|
+
# neither can.
|
|
61
|
+
prs=$(mktemp)
|
|
62
|
+
if command -v origin >/dev/null 2>&1 \
|
|
63
|
+
&& raw=$(origin pr list --author "@me" --state all --limit 1000 \
|
|
64
|
+
--json number,status,headRef 2>/dev/null); then
|
|
65
|
+
printf '%s' "$raw" | jq '[.[] | {number, state: .status, head: .headRef}]' > "$prs" 2>/dev/null
|
|
66
|
+
elif raw=$(gh pr list --author "@me" --state all --limit 1000 \
|
|
67
|
+
--json number,state,headRefName 2>/dev/null); then
|
|
68
|
+
printf '%s' "$raw" | jq '[.[] | {number, state: (.state | ascii_downcase), head: .headRefName}]' > "$prs" 2>/dev/null
|
|
69
|
+
fi
|
|
70
|
+
[ -s "$prs" ] || echo "[]" > "$prs"
|
|
71
|
+
|
|
72
|
+
# Transcripts: Pi session files and pi-pstack subagent transcripts. Pi keeps one session folder per working
|
|
73
|
+
# directory under ${PI_CODING_AGENT_DIR:-~/.pi/agent}/sessions, unless PI_CODING_AGENT_SESSION_DIR or a sessionDir
|
|
74
|
+
# setting (the working directory's .pi/settings.json over the agent's settings.json) names one custom folder, with
|
|
75
|
+
# ~ expanded (also in PI_CODING_AGENT_DIR) and a relative path resolved from that working directory. Subagent transcripts live under
|
|
76
|
+
# <agent dir>/pstack/workspaces/<folder>/subagents.
|
|
77
|
+
pi_expand() { case "$1" in "~") printf '%s' "$HOME" ;; "~/"*) printf '%s' "$HOME/${1#"~/"}" ;; *) printf '%s' "$1" ;; esac; }
|
|
78
|
+
pi_agent_dir=$(pi_expand "${PI_CODING_AGENT_DIR:-$HOME/.pi/agent}")
|
|
79
|
+
pi_slug() { printf -- '--%s--' "$(printf '%s' "$1" | sed 's#^/##; s#[/\\:]#-#g')"; }
|
|
80
|
+
pi_session_dir() {
|
|
81
|
+
local dir="${PI_CODING_AGENT_SESSION_DIR:-}"
|
|
82
|
+
[ -n "$dir" ] || dir=$(jq -r '.sessionDir // empty' "$1/.pi/settings.json" 2>/dev/null)
|
|
83
|
+
[ -n "$dir" ] || dir=$(jq -r '.sessionDir // empty' "$pi_agent_dir/settings.json" 2>/dev/null)
|
|
84
|
+
dir=$(pi_expand "$dir")
|
|
85
|
+
case "$dir" in
|
|
86
|
+
"") printf '%s\n' "$pi_agent_dir/sessions/$(pi_slug "$1")" ;;
|
|
87
|
+
/*) printf '%s\n' "$dir" ;;
|
|
88
|
+
*) printf '%s\n' "$1/$dir" ;;
|
|
89
|
+
esac
|
|
90
|
+
}
|
|
91
|
+
pi_chat_dirs() {
|
|
92
|
+
pi_session_dir "$1"
|
|
93
|
+
printf '%s\n' "$pi_agent_dir/pstack/workspaces/$(pi_slug "$1")/subagents"
|
|
94
|
+
}
|
|
95
|
+
now=$(date +%s)
|
|
96
|
+
|
|
97
|
+
echo "# base: $base"
|
|
98
|
+
printf "SIZE\tAGE\tMERGED\tDIRTY\tREMOTE\tPR\tLAST_CHAT\tBUCKET\tWORKTREE\n"
|
|
99
|
+
|
|
100
|
+
git worktree list --porcelain | awk '/^worktree /{print $2}' | while read -r wt; do
|
|
101
|
+
[ "$wt" = "$main_wt" ] && continue
|
|
102
|
+
|
|
103
|
+
size=$(du -sh "$wt" 2>/dev/null | awk '{print $1}')
|
|
104
|
+
head=$(git -C "$wt" rev-parse HEAD 2>/dev/null)
|
|
105
|
+
head_ts=$(git -C "$wt" log -1 --format='%ct' HEAD 2>/dev/null || echo 0)
|
|
106
|
+
age=$([ "$head_ts" -gt 0 ] 2>/dev/null && echo "$(( (now - head_ts) / 86400 ))d" || echo "?")
|
|
107
|
+
|
|
108
|
+
# Squash-merged branches are not ancestors of the base, so PR state is the
|
|
109
|
+
# real signal; merge-base only catches fast-forward/rebase merges.
|
|
110
|
+
git merge-base --is-ancestor "$head" "$base" 2>/dev/null && merged=YES || merged=no
|
|
111
|
+
|
|
112
|
+
# Distinguish real WIP (tracked edits) from disposable untracked scratch.
|
|
113
|
+
porcelain=$(git -C "$wt" status --porcelain 2>/dev/null)
|
|
114
|
+
if [ -z "$porcelain" ]; then dirty=clean
|
|
115
|
+
elif printf '%s\n' "$porcelain" | grep -qv '^??'; then
|
|
116
|
+
dirty="wip:$(printf '%s\n' "$porcelain" | grep -cv '^??')"
|
|
117
|
+
else dirty="scratch:$(printf '%s\n' "$porcelain" | grep -c '^??')"; fi
|
|
118
|
+
|
|
119
|
+
branch=$(git -C "$wt" symbolic-ref --quiet --short HEAD 2>/dev/null || echo "")
|
|
120
|
+
if [ -z "$branch" ]; then remote=detached
|
|
121
|
+
elif git -C "$wt" show-ref --verify --quiet "refs/remotes/origin/$branch"; then
|
|
122
|
+
[ "$(git -C "$wt" rev-parse "origin/$branch" 2>/dev/null)" = "$head" ] \
|
|
123
|
+
&& remote=pushed \
|
|
124
|
+
|| remote="ahead$(git -C "$wt" rev-list --count "origin/$branch..HEAD" 2>/dev/null)"
|
|
125
|
+
else remote=no-remote; fi
|
|
126
|
+
|
|
127
|
+
pr=$([ -n "$branch" ] && jq -r --arg b "$branch" \
|
|
128
|
+
'.[] | select(.head==$b) | "#\(.number)/\(.state)"' "$prs" 2>/dev/null | head -1)
|
|
129
|
+
[ -z "$pr" ] && pr="-"
|
|
130
|
+
|
|
131
|
+
# Most recent chat whose transcript operated in this worktree. Match path
|
|
132
|
+
# followed by "/" or a quote so glint-482 does not match glint-482-r37.
|
|
133
|
+
last="-"; last_ts=0
|
|
134
|
+
chat_dirs=()
|
|
135
|
+
while IFS= read -r d; do [ -d "$d" ] && chat_dirs+=("$d"); done < <({ pi_chat_dirs "$main_wt"; pi_chat_dirs "$wt"; } | sort -u)
|
|
136
|
+
if [ ${#chat_dirs[@]} -gt 0 ]; then
|
|
137
|
+
f=$(rg -l -e "${wt}/" -e "${wt}\"" "${chat_dirs[@]}" 2>/dev/null \
|
|
138
|
+
| xargs stat "${stat_fmt[@]}" 2>/dev/null | sort -rn | head -1)
|
|
139
|
+
if [ -n "$f" ]; then last_ts=$(echo "$f" | awk '{print $1}')
|
|
140
|
+
last=$(fmt_day "$last_ts" 2>/dev/null); fi
|
|
141
|
+
fi
|
|
142
|
+
recent=$([ "$last_ts" -gt 0 ] 2>/dev/null && [ $(( (now - last_ts) / 86400 )) -le 4 ] && echo yes || echo no)
|
|
143
|
+
|
|
144
|
+
case "$dirty" in wip:*) bucket=hold-wip ;; *)
|
|
145
|
+
case "$pr" in */open|*/draft) bucket=hold-open-pr ;; *)
|
|
146
|
+
if [ "$recent" = yes ]; then bucket=verify-recent-chat
|
|
147
|
+
elif [ "$merged" = YES ] || [ "$pr" != "-" ]; then bucket=safe
|
|
148
|
+
else bucket=review; fi ;;
|
|
149
|
+
esac ;;
|
|
150
|
+
esac
|
|
151
|
+
|
|
152
|
+
printf "%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\t%s\n" \
|
|
153
|
+
"$size" "$age" "$merged" "$dirty" "$remote" "$pr" "$last" "$bucket" "$wt"
|
|
154
|
+
done | sort -t$'\t' -k1,1 -rh
|
|
155
|
+
|
|
156
|
+
rm -f "$prs"
|
|
@@ -0,0 +1,176 @@
|
|
|
1
|
+
---
|
|
2
|
+
name: pr-review-canvas
|
|
3
|
+
disable-model-invocation: true
|
|
4
|
+
description: Generate an interactive PR review walkthrough as an HTML page. Fetches PR data via gh API, categorizes files into core vs mechanical changes, adds reviewer annotations, and renders diffs with moved-code detection. Use when the user pastes a GitHub PR URL and asks for a review, walkthrough, or summary, or says "review this PR".
|
|
5
|
+
---
|
|
6
|
+
|
|
7
|
+
# PR Review Canvas
|
|
8
|
+
|
|
9
|
+
Generate an interactive HTML review of a GitHub PR that reads like a peer walking you through what matters.
|
|
10
|
+
|
|
11
|
+
## Workflow
|
|
12
|
+
|
|
13
|
+
### 1. Fetch PR data
|
|
14
|
+
|
|
15
|
+
Run these `gh api` calls in parallel:
|
|
16
|
+
|
|
17
|
+
```bash
|
|
18
|
+
gh api repos/{owner}/{repo}/pulls/{number} --jq '{title, body, user: .user.login, state, additions, deletions, changed_files, base: .base.ref, head: .head.ref}'
|
|
19
|
+
gh api repos/{owner}/{repo}/pulls/{number}/files --paginate --jq '.[] | {filename, status, additions, deletions, patch}'
|
|
20
|
+
gh api repos/{owner}/{repo}/pulls/{number}/comments --jq '.[] | {user: .user.login, body, path, line}'
|
|
21
|
+
```
|
|
22
|
+
|
|
23
|
+
### 2. Analyze the PR and write the body HTML
|
|
24
|
+
|
|
25
|
+
Read the diffs, understand the PR, and write the `<body>` content directly as HTML. You have full creative freedom -- the goal is to explain the PR clearly to a reviewer. Use whatever structure best fits the PR.
|
|
26
|
+
|
|
27
|
+
**Typical structure** (adapt as needed):
|
|
28
|
+
- Header with title, PR number, author, stats
|
|
29
|
+
- Summary box explaining what the PR does in plain English
|
|
30
|
+
- Core file sections with annotations and diffs
|
|
31
|
+
- Mechanical/boilerplate files collapsed by default
|
|
32
|
+
- Review checklist at the bottom
|
|
33
|
+
|
|
34
|
+
**But you can also add:**
|
|
35
|
+
- **Pseudocode summaries** for verbose code -- show the algorithm in plain English or short pseudocode, with the real diff collapsed below (use a `.bp-section` card labeled "Show full implementation"). Great when 150 lines of retry/backoff/error-handling code is really just "fetch with exponential backoff and circuit breaker."
|
|
36
|
+
- Diagrams (inline SVG, mermaid via CDN, ASCII art in `<pre>`)
|
|
37
|
+
- Flowcharts showing before/after control flow
|
|
38
|
+
- Tables comparing old vs new behavior
|
|
39
|
+
- Callout boxes for warnings, questions, or gotchas
|
|
40
|
+
- Interactive widgets if they help
|
|
41
|
+
- Anything else that makes the review clearer
|
|
42
|
+
|
|
43
|
+
**Pseudocode pattern example:**
|
|
44
|
+
```html
|
|
45
|
+
<div class="file-card">
|
|
46
|
+
<div class="file-hdr" onclick="toggle(this)">
|
|
47
|
+
<span class="fname">retryClient.ts</span>
|
|
48
|
+
<div class="fstats"><span class="pill add">+173</span><span class="pill del">−11</span><span class="chev open">▶</span></div>
|
|
49
|
+
</div>
|
|
50
|
+
<div class="file-body open">
|
|
51
|
+
<div class="file-note">
|
|
52
|
+
<strong>What this does in plain English:</strong>
|
|
53
|
+
<pre style="margin-top:8px;color:var(--text);font-size:12px;line-height:1.6;">
|
|
54
|
+
fetch(url):
|
|
55
|
+
if circuit breaker is open → fail fast
|
|
56
|
+
retry up to N times:
|
|
57
|
+
try fetch with timeout
|
|
58
|
+
on success → close circuit breaker, return
|
|
59
|
+
on retryable error → wait (exponential backoff + jitter)
|
|
60
|
+
on non-retryable error → throw
|
|
61
|
+
circuit breaker records failure</pre>
|
|
62
|
+
</div>
|
|
63
|
+
<div class="bp-section" style="margin:0;border:0;border-radius:0;">
|
|
64
|
+
<div class="bp-hdr" onclick="toggleBP(this)">
|
|
65
|
+
<span>Show full implementation (+173 lines)</span><span class="chev">▶</span>
|
|
66
|
+
</div>
|
|
67
|
+
<div class="bp-body"><div data-diff="retryClient"></div></div>
|
|
68
|
+
</div>
|
|
69
|
+
</div>
|
|
70
|
+
</div>
|
|
71
|
+
```
|
|
72
|
+
|
|
73
|
+
### 3. Available CSS classes and JS utilities
|
|
74
|
+
|
|
75
|
+
Read [styles.css](styles.css) and [renderer.js](renderer.js) from this skill directory. These give you a prebuilt dark-themed toolkit. Inject them into [template.html](template.html) verbatim.
|
|
76
|
+
|
|
77
|
+
**CSS classes you can use:**
|
|
78
|
+
|
|
79
|
+
| Class | Purpose |
|
|
80
|
+
|-------|---------|
|
|
81
|
+
| `.header`, `.header h1`, `.header-meta` | Page header |
|
|
82
|
+
| `.pill.add`, `.pill.del`, `.pill.files` | Stat badges (+N, -N, N files) |
|
|
83
|
+
| `.content` | Centered content wrapper (max 900px) |
|
|
84
|
+
| `.summary` | Summary/TL;DR box |
|
|
85
|
+
| `.section-title` | Section heading with bottom border |
|
|
86
|
+
| `.ic` | Inline code reference (mono, blue, dark bg) |
|
|
87
|
+
| `.file-card`, `.file-hdr`, `.file-body` | Collapsible file card (use `onclick="toggle(this)"` on `.file-hdr`) |
|
|
88
|
+
| `.file-note` | Sticky reviewer annotation inside a file card |
|
|
89
|
+
| `.bp-section`, `.bp-hdr`, `.bp-body` | Collapsed boilerplate card (use `onclick="toggleBP(this)"`) |
|
|
90
|
+
| `.bp-note` | Note inside a boilerplate card |
|
|
91
|
+
| `.verdict` | Review checklist box |
|
|
92
|
+
|
|
93
|
+
**JS functions available:**
|
|
94
|
+
|
|
95
|
+
| Function | Usage |
|
|
96
|
+
|----------|-------|
|
|
97
|
+
| `toggle(hdrElement)` | Toggle a `.file-body` open/closed |
|
|
98
|
+
| `toggleBP(hdrElement)` | Toggle a `.bp-body` open/closed |
|
|
99
|
+
| `renderDiff(target, diffInput)` | Render a unified diff. `target` can be a DOM element, string ID, or CSS selector. `diffInput` can be a raw patch string OR an array of lines -- both work. Automatically filters imports, collapses whitespace-only changes, detects moved code (blue/purple tint). |
|
|
100
|
+
| `esc(string)` | HTML-escape a string |
|
|
101
|
+
|
|
102
|
+
**Rendering diffs -- use `data-diff` attributes with auto-discovery.**
|
|
103
|
+
Put `<div data-diff="KEY"></div>` placeholders in your body HTML wherever you want a diff rendered. The renderer finds them automatically after DOM load and fills them from the `<script id="pr-diffs-json" type="application/json">` element in `template.html`.
|
|
104
|
+
|
|
105
|
+
**CRITICAL: Patch strings can contain `</script>` in addition to newlines, backslashes, and quotes.** Even `json.dumps(...)` is not enough if you paste raw output into executable `<script>` because HTML parsing can terminate the tag early. Never manually embed patch strings in JS/JSON. Instead, use this safe approach:
|
|
106
|
+
|
|
107
|
+
1. During the fetch step, save patches to a JSON file using `jq` (which handles escaping correctly):
|
|
108
|
+
```bash
|
|
109
|
+
gh api repos/{owner}/{repo}/pulls/{number}/files --paginate \
|
|
110
|
+
--jq '[.[] | {key: (.filename | gsub("[^a-zA-Z0-9]"; "_")), value: (.patch // "")}] | from_entries' \
|
|
111
|
+
> /tmp/pr-patches-{number}.json
|
|
112
|
+
```
|
|
113
|
+
|
|
114
|
+
2. During assembly, use Python to safely inject the JSON into `template.html`:
|
|
115
|
+
```bash
|
|
116
|
+
python3 <<'PY'
|
|
117
|
+
import json
|
|
118
|
+
from pathlib import Path
|
|
119
|
+
|
|
120
|
+
patches = json.loads(Path('/tmp/pr-patches-{number}.json').read_text())
|
|
121
|
+
html = Path('/tmp/pr-review-{number}-body.html').read_text()
|
|
122
|
+
css = Path('styles.css').read_text()
|
|
123
|
+
js = Path('renderer.js').read_text()
|
|
124
|
+
tmpl = Path('template.html').read_text()
|
|
125
|
+
|
|
126
|
+
# Prevent literal </script> from terminating HTML script tags early.
|
|
127
|
+
safe_json = json.dumps(patches).replace('<', '\\u003c').replace('>', '\\u003e').replace('&', '\\u0026')
|
|
128
|
+
|
|
129
|
+
out = (
|
|
130
|
+
tmpl.replace('/* INJECT_CSS */', css)
|
|
131
|
+
.replace('/* INJECT_JS */', js)
|
|
132
|
+
.replace('<!-- INJECT_BODY -->', html)
|
|
133
|
+
.replace('{"__PR_DIFFS_PLACEHOLDER__":true}', safe_json)
|
|
134
|
+
)
|
|
135
|
+
|
|
136
|
+
Path('/tmp/pr-review-{number}.html').write_text(out)
|
|
137
|
+
PY
|
|
138
|
+
```
|
|
139
|
+
|
|
140
|
+
This guarantees valid JSON and script-safe HTML embedding. The agent writes body HTML to a temp file, then Python assembles everything safely.
|
|
141
|
+
|
|
142
|
+
The diff data keys should match the `data-diff` attribute values in the HTML:
|
|
143
|
+
```html
|
|
144
|
+
<div data-diff="path_to_file_ts"></div>
|
|
145
|
+
```
|
|
146
|
+
|
|
147
|
+
Since renderer.js loads in `<head>`, you can also call `renderDiff(target, lines)` directly from inline `<script>` tags if needed for custom use cases. The function accepts a DOM element, ID string, or CSS selector as `target`, and a string or array as `lines`.
|
|
148
|
+
|
|
149
|
+
**You're not limited to these.** Add your own inline `<style>` blocks, `<script>` blocks, SVGs, diagrams, or anything else. The prebuilt pieces save time but don't constrain you.
|
|
150
|
+
|
|
151
|
+
### 4. Assemble and serve
|
|
152
|
+
|
|
153
|
+
1. Write your body HTML (everything that goes inside `<body>`) to `/tmp/pr-review-{number}-body.html`
|
|
154
|
+
2. Save patches to `/tmp/pr-patches-{number}.json` using the `jq` command from step 3 above
|
|
155
|
+
3. Run the Python assembly script from step 3 above (reads styles.css, renderer.js, template.html from this skill directory, injects body + patches safely, writes final HTML)
|
|
156
|
+
4. Start a local server on a fixed port:
|
|
157
|
+
```bash
|
|
158
|
+
cd /tmp && python3 -m http.server 8432 --bind 127.0.0.1
|
|
159
|
+
```
|
|
160
|
+
Run this backgrounded, then navigate the in-app browser to `http://127.0.0.1:8432/pr-review-{number}.html`.
|
|
161
|
+
|
|
162
|
+
**Why a fixed port and `cd /tmp`:** Background shells have no TTY, so Python buffers its startup message ("Serving HTTP on...") indefinitely — using port 0 means you can never read which port was chosen. And `--directory /tmp` works but `cd /tmp` is more robust across Python versions. If port 8432 is taken, try 8433, 8434, etc.
|
|
163
|
+
|
|
164
|
+
### Diff features (handled automatically by renderer.js)
|
|
165
|
+
|
|
166
|
+
- Filters out import-only lines
|
|
167
|
+
- Collapses whitespace-only changes into context lines
|
|
168
|
+
- Detects moved code blocks (3+ consecutive lines deleted in one place and added identically elsewhere) -- renders in blue/purple instead of red/green
|
|
169
|
+
- Near-matches (moved + small edit) get a different purple tint
|
|
170
|
+
|
|
171
|
+
### Style notes
|
|
172
|
+
|
|
173
|
+
- Dark theme: `#1a1a1a` background, Inter body font, IBM Plex Mono for code
|
|
174
|
+
- Use `var(--warning)` for orange, `var(--success)` for green, `var(--danger)` for red, `var(--accent)` for blue
|
|
175
|
+
- Sticky file headers (`position: sticky; top: 0`) and notes (`top: 35px`) pin while scrolling
|
|
176
|
+
- Core files expanded by default (`.file-body.open`), mechanical files collapsed
|
|
@@ -0,0 +1,170 @@
|
|
|
1
|
+
function toggle(hdr) {
|
|
2
|
+
var b = hdr.nextElementSibling, c = hdr.querySelector('.chev');
|
|
3
|
+
b.classList.toggle('open'); c.classList.toggle('open');
|
|
4
|
+
}
|
|
5
|
+
function toggleBP(hdr) {
|
|
6
|
+
var b = hdr.nextElementSibling, c = hdr.querySelector('.chev');
|
|
7
|
+
b.classList.toggle('open'); c.classList.toggle('open');
|
|
8
|
+
}
|
|
9
|
+
|
|
10
|
+
function isImport(line) {
|
|
11
|
+
var s = line.replace(/^[+ -]/, '').trim();
|
|
12
|
+
return s.startsWith('import ') || s.startsWith('import{') || s.startsWith('} from ');
|
|
13
|
+
}
|
|
14
|
+
|
|
15
|
+
function isWhitespaceOnly(del, add) {
|
|
16
|
+
return del.replace(/^-/, '').replace(/\s/g, '') === add.replace(/^\+/, '').replace(/\s/g, '');
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
function esc(s) {
|
|
20
|
+
return s.replace(/&/g, '&').replace(/</g, '<').replace(/>/g, '>');
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
function normWs(s) {
|
|
24
|
+
return s.replace(/\s+/g, ' ').trim();
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
function toLines(input) {
|
|
28
|
+
if (!input) return [];
|
|
29
|
+
if (Array.isArray(input)) return input;
|
|
30
|
+
if (typeof input === 'string') return input.split('\n');
|
|
31
|
+
return [];
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
function loadPrDiffs() {
|
|
35
|
+
var el = document.getElementById('pr-diffs-json');
|
|
36
|
+
if (!el) return null;
|
|
37
|
+
try {
|
|
38
|
+
return JSON.parse(el.textContent || '');
|
|
39
|
+
} catch (err) {
|
|
40
|
+
console.error('Failed to parse PR diff JSON payload', err);
|
|
41
|
+
return null;
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
|
|
45
|
+
function detectMoves(dels, adds) {
|
|
46
|
+
var TH = 3;
|
|
47
|
+
var md = {}, ma = {};
|
|
48
|
+
for (var di = 0; di < dels.length; di++) {
|
|
49
|
+
if (md[di]) continue;
|
|
50
|
+
var db = [di];
|
|
51
|
+
for (var d2 = di+1; d2 < dels.length && d2-di < 40; d2++) {
|
|
52
|
+
if (dels[d2].consecutive && !md[d2]) db.push(d2); else break;
|
|
53
|
+
}
|
|
54
|
+
if (db.length < TH) continue;
|
|
55
|
+
var dn = db.map(function(i){ return normWs(dels[i].code); });
|
|
56
|
+
for (var ai = 0; ai < adds.length; ai++) {
|
|
57
|
+
if (ma[ai]) continue;
|
|
58
|
+
var ab = [ai];
|
|
59
|
+
for (var a2 = ai+1; a2 < adds.length && a2-ai < 40; a2++) {
|
|
60
|
+
if (adds[a2].consecutive && !ma[a2]) ab.push(a2); else break;
|
|
61
|
+
}
|
|
62
|
+
if (ab.length < TH) continue;
|
|
63
|
+
var an = ab.map(function(i){ return normWs(adds[i].code); });
|
|
64
|
+
var ml = Math.min(dn.length, an.length), mc = 0;
|
|
65
|
+
for (var m = 0; m < ml; m++) { if (dn[m] === an[m]) mc++; }
|
|
66
|
+
if (mc >= TH && mc >= ml * 0.7) {
|
|
67
|
+
for (var k = 0; k < ml; k++) {
|
|
68
|
+
md[db[k]] = { exact: dn[k] === an[k] };
|
|
69
|
+
ma[ab[k]] = { exact: dn[k] === an[k] };
|
|
70
|
+
}
|
|
71
|
+
break;
|
|
72
|
+
}
|
|
73
|
+
}
|
|
74
|
+
}
|
|
75
|
+
return { movedDels: md, movedAdds: ma };
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
/**
|
|
79
|
+
* renderDiff(target, diffInput)
|
|
80
|
+
* target: DOM element, string ID, or CSS selector
|
|
81
|
+
* diffInput: array of diff lines, OR a single string (will be split on \n)
|
|
82
|
+
*/
|
|
83
|
+
function renderDiff(target, diffInput) {
|
|
84
|
+
var el;
|
|
85
|
+
if (typeof target === 'string') {
|
|
86
|
+
el = document.getElementById(target) || document.querySelector(target);
|
|
87
|
+
} else {
|
|
88
|
+
el = target;
|
|
89
|
+
}
|
|
90
|
+
if (!el) return;
|
|
91
|
+
|
|
92
|
+
var lines = toLines(diffInput);
|
|
93
|
+
if (!lines.length) { el.innerHTML = '<div style="padding:12px;color:#777;font-size:12px;">No diff data</div>'; return; }
|
|
94
|
+
|
|
95
|
+
var filtered = lines.filter(function(l) {
|
|
96
|
+
if (l.startsWith('--- ') || l.startsWith('+++ ') || l.startsWith('@@') || l.startsWith('diff ')) return true;
|
|
97
|
+
return !isImport(l);
|
|
98
|
+
});
|
|
99
|
+
|
|
100
|
+
var wsOut = [];
|
|
101
|
+
for (var wi = 0; wi < filtered.length; wi++) {
|
|
102
|
+
if (filtered[wi].startsWith('-')) {
|
|
103
|
+
var dr = [filtered[wi]], wj = wi+1;
|
|
104
|
+
while (wj < filtered.length && filtered[wj].startsWith('-')) { dr.push(filtered[wj]); wj++; }
|
|
105
|
+
var ar = [], wk = wj;
|
|
106
|
+
while (wk < filtered.length && filtered[wk].startsWith('+')) { ar.push(filtered[wk]); wk++; }
|
|
107
|
+
if (dr.length === ar.length && dr.length > 0) {
|
|
108
|
+
var allWs = true;
|
|
109
|
+
for (var wc = 0; wc < dr.length; wc++) { if (!isWhitespaceOnly(dr[wc], ar[wc])) { allWs = false; break; } }
|
|
110
|
+
if (allWs) { for (var wx = 0; wx < ar.length; wx++) wsOut.push(' ' + ar[wx].slice(1)); wi = wk-1; continue; }
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
wsOut.push(filtered[wi]);
|
|
114
|
+
}
|
|
115
|
+
|
|
116
|
+
var dels = [], adds = [], parsed = [];
|
|
117
|
+
var oL = 0, nL = 0, pD = false, pA = false;
|
|
118
|
+
for (var pi = 0; pi < wsOut.length; pi++) {
|
|
119
|
+
var line = wsOut[pi];
|
|
120
|
+
if (line.startsWith('--- ') || line.startsWith('+++ ') || line.startsWith('diff ')) continue;
|
|
121
|
+
if (line.startsWith('@@')) {
|
|
122
|
+
var hm = line.match(/@@ -(\d+)(?:,\d+)? \+(\d+)/);
|
|
123
|
+
if (hm) { oL = parseInt(hm[1]); nL = parseInt(hm[2]); }
|
|
124
|
+
parsed.push({ type: 'hunk', text: line }); pD = false; pA = false; continue;
|
|
125
|
+
}
|
|
126
|
+
if (line.startsWith('+')) {
|
|
127
|
+
var ae = { type:'add', code:line.slice(1), newLine:nL, consecutive:pA, idx:parsed.length };
|
|
128
|
+
adds.push(ae); parsed.push(ae); nL++; pA = true; pD = false;
|
|
129
|
+
} else if (line.startsWith('-')) {
|
|
130
|
+
var de = { type:'del', code:line.slice(1), oldLine:oL, consecutive:pD, idx:parsed.length };
|
|
131
|
+
dels.push(de); parsed.push(de); oL++; pD = true; pA = false;
|
|
132
|
+
} else {
|
|
133
|
+
var c = line.startsWith(' ') ? line.slice(1) : line;
|
|
134
|
+
parsed.push({ type:'ctx', code:c, oldLine:oL, newLine:nL }); oL++; nL++; pD = false; pA = false;
|
|
135
|
+
}
|
|
136
|
+
}
|
|
137
|
+
|
|
138
|
+
var mv = detectMoves(dels, adds);
|
|
139
|
+
var rows = [];
|
|
140
|
+
for (var ri = 0; ri < parsed.length; ri++) {
|
|
141
|
+
var p = parsed[ri];
|
|
142
|
+
if (p.type === 'hunk') {
|
|
143
|
+
rows.push('<tr class="diff-hunk"><td class="diff-ln"></td><td class="diff-ln"></td><td class="diff-code">' + esc(p.text) + '</td></tr>');
|
|
144
|
+
} else if (p.type === 'add') {
|
|
145
|
+
var ai2 = -1; for (var fa=0;fa<adds.length;fa++) if(adds[fa].idx===p.idx){ai2=fa;break;}
|
|
146
|
+
var cls = (mv.movedAdds[ai2]) ? (mv.movedAdds[ai2].exact ? 'diff-moved-add' : 'diff-moved-add-edited') : 'diff-add';
|
|
147
|
+
rows.push('<tr class="'+cls+'"><td class="diff-ln"></td><td class="diff-ln">'+p.newLine+'</td><td class="diff-code">'+esc(p.code)+'</td></tr>');
|
|
148
|
+
} else if (p.type === 'del') {
|
|
149
|
+
var di2 = -1; for(var fd=0;fd<dels.length;fd++) if(dels[fd].idx===p.idx){di2=fd;break;}
|
|
150
|
+
var cls2 = (mv.movedDels[di2]) ? (mv.movedDels[di2].exact ? 'diff-moved-del' : 'diff-moved-del-edited') : 'diff-del';
|
|
151
|
+
rows.push('<tr class="'+cls2+'"><td class="diff-ln">'+p.oldLine+'</td><td class="diff-ln"></td><td class="diff-code">'+esc(p.code)+'</td></tr>');
|
|
152
|
+
} else {
|
|
153
|
+
rows.push('<tr class="diff-ctx"><td class="diff-ln">'+p.oldLine+'</td><td class="diff-ln">'+p.newLine+'</td><td class="diff-code">'+esc(p.code)+'</td></tr>');
|
|
154
|
+
}
|
|
155
|
+
}
|
|
156
|
+
el.innerHTML = '<table class="diff-table"><tbody>' + rows.join('') + '</tbody></table>';
|
|
157
|
+
}
|
|
158
|
+
|
|
159
|
+
/* Auto-discovery: after DOM loads, find all [data-diff] elements and render diffs from pr-diffs-json. */
|
|
160
|
+
document.addEventListener('DOMContentLoaded', function() {
|
|
161
|
+
var prDiffs = loadPrDiffs();
|
|
162
|
+
if (!prDiffs) return;
|
|
163
|
+
var els = document.querySelectorAll('[data-diff]');
|
|
164
|
+
for (var i = 0; i < els.length; i++) {
|
|
165
|
+
var key = els[i].getAttribute('data-diff');
|
|
166
|
+
if (key && Object.prototype.hasOwnProperty.call(prDiffs, key)) {
|
|
167
|
+
renderDiff(els[i], prDiffs[key]);
|
|
168
|
+
}
|
|
169
|
+
}
|
|
170
|
+
});
|
|
@@ -0,0 +1,96 @@
|
|
|
1
|
+
:root {
|
|
2
|
+
--bg: #1a1a1a;
|
|
3
|
+
--surface: #222;
|
|
4
|
+
--surface-raised: #2a2a2a;
|
|
5
|
+
--border: #333;
|
|
6
|
+
--text: #bbb;
|
|
7
|
+
--text-muted: #777;
|
|
8
|
+
--text-bright: #e5e5e5;
|
|
9
|
+
--accent: #7aa2f7;
|
|
10
|
+
--warning: #e0a458;
|
|
11
|
+
--success: #73b87e;
|
|
12
|
+
--danger: #e06060;
|
|
13
|
+
}
|
|
14
|
+
* { margin: 0; padding: 0; box-sizing: border-box; }
|
|
15
|
+
body {
|
|
16
|
+
background: var(--bg);
|
|
17
|
+
color: var(--text);
|
|
18
|
+
font-family: 'Inter', -apple-system, sans-serif;
|
|
19
|
+
font-size: 13px;
|
|
20
|
+
line-height: 1.5;
|
|
21
|
+
}
|
|
22
|
+
.header {
|
|
23
|
+
border-bottom: 1px solid var(--border);
|
|
24
|
+
padding: 24px 32px 20px;
|
|
25
|
+
}
|
|
26
|
+
.header h1 { font-size: 20px; font-weight: 600; color: var(--text-bright); margin-bottom: 4px; }
|
|
27
|
+
.header-meta { font-size: 12px; color: var(--text-muted); display: flex; gap: 16px; align-items: center; margin-top: 8px; }
|
|
28
|
+
.pill { display: inline-flex; padding: 1px 8px; border-radius: 10px; font-family: 'IBM Plex Mono', monospace; font-size: 11px; font-weight: 500; }
|
|
29
|
+
.pill.add { background: #73b87e22; color: var(--success); }
|
|
30
|
+
.pill.del { background: #e0606022; color: var(--danger); }
|
|
31
|
+
.pill.files { background: #7aa2f722; color: var(--accent); }
|
|
32
|
+
.content { max-width: 900px; margin: 0 auto; padding: 24px 20px 60px; }
|
|
33
|
+
.summary { background: var(--surface); border: 1px solid var(--border); border-radius: 6px; padding: 16px 20px; margin-bottom: 28px; font-size: 13px; line-height: 1.6; }
|
|
34
|
+
.summary strong { color: var(--text-bright); }
|
|
35
|
+
.summary ul { margin-top: 8px; padding-left: 18px; }
|
|
36
|
+
.summary li { margin-bottom: 4px; }
|
|
37
|
+
.section-title { font-size: 14px; font-weight: 600; color: var(--text-bright); margin: 28px 0 12px; padding-bottom: 6px; border-bottom: 1px solid var(--border); }
|
|
38
|
+
.ic { font-family: 'IBM Plex Mono', monospace; font-size: 11px; background: var(--surface-raised); padding: 1px 5px; border-radius: 3px; color: var(--accent); }
|
|
39
|
+
|
|
40
|
+
.file-card { background: var(--surface); border: 1px solid var(--border); border-radius: 6px; margin-bottom: 12px; }
|
|
41
|
+
.file-hdr {
|
|
42
|
+
display: flex; align-items: center; justify-content: space-between;
|
|
43
|
+
padding: 8px 14px; background: var(--surface-raised); border-bottom: 1px solid var(--border);
|
|
44
|
+
cursor: pointer; user-select: none; position: sticky; top: 0; z-index: 12; border-radius: 6px 6px 0 0;
|
|
45
|
+
}
|
|
46
|
+
.file-hdr:hover { background: #303030; }
|
|
47
|
+
.file-hdr .fname { font-family: 'IBM Plex Mono', monospace; font-size: 12px; color: var(--accent); }
|
|
48
|
+
.file-hdr .fstats { display: flex; gap: 6px; align-items: center; }
|
|
49
|
+
.file-hdr .chev { color: var(--text-muted); transition: transform 0.15s; font-size: 11px; margin-left: 10px; }
|
|
50
|
+
.file-hdr .chev.open { transform: rotate(90deg); }
|
|
51
|
+
.file-body { display: none; }
|
|
52
|
+
.file-body.open { display: block; }
|
|
53
|
+
.file-note {
|
|
54
|
+
padding: 10px 14px; font-size: 13px; color: var(--text); line-height: 1.55;
|
|
55
|
+
border-bottom: 1px solid var(--border); background: var(--surface);
|
|
56
|
+
position: sticky; top: 35px; z-index: 11;
|
|
57
|
+
}
|
|
58
|
+
.file-note strong { color: var(--text-bright); }
|
|
59
|
+
.file-note ul { margin-top: 6px; padding-left: 18px; }
|
|
60
|
+
.file-note li { margin-bottom: 3px; }
|
|
61
|
+
|
|
62
|
+
.bp-section { background: var(--surface); border: 1px solid var(--border); border-radius: 6px; margin-bottom: 8px; }
|
|
63
|
+
.bp-hdr { display: flex; align-items: center; justify-content: space-between; padding: 8px 14px; cursor: pointer; user-select: none; font-size: 12px; color: var(--text-muted); }
|
|
64
|
+
.bp-hdr:hover { background: var(--surface-raised); }
|
|
65
|
+
.bp-hdr .chev { color: var(--text-muted); transition: transform 0.15s; font-size: 11px; }
|
|
66
|
+
.bp-hdr .chev.open { transform: rotate(90deg); }
|
|
67
|
+
.bp-body { display: none; border-top: 1px solid var(--border); }
|
|
68
|
+
.bp-body.open { display: block; }
|
|
69
|
+
.bp-note { padding: 8px 14px; font-size: 12px; color: var(--text-muted); line-height: 1.5; border-bottom: 1px solid var(--border); background: var(--bg); }
|
|
70
|
+
|
|
71
|
+
.diff-table { width: 100%; border-collapse: collapse; font-family: 'IBM Plex Mono', monospace; font-size: 12px; line-height: 20px; table-layout: fixed; tab-size: 4; }
|
|
72
|
+
.diff-table td { vertical-align: top; white-space: pre; }
|
|
73
|
+
.diff-ln { width: 40px; min-width: 40px; max-width: 40px; text-align: right; padding: 0 6px 0 0; color: #555; background: var(--surface); user-select: none; }
|
|
74
|
+
.diff-code { padding: 0 12px; color: var(--text); background: var(--bg); overflow-x: auto; }
|
|
75
|
+
tr.diff-add .diff-ln { color: #5a8a5a; background: #1a2a1a; }
|
|
76
|
+
tr.diff-add .diff-code { background: #1a2a1a; color: #c8e6c8; }
|
|
77
|
+
tr.diff-del .diff-ln { color: #8a5a5a; background: #2a1a1a; }
|
|
78
|
+
tr.diff-del .diff-code { background: #2a1a1a; color: #e6c8c8; }
|
|
79
|
+
tr.diff-ctx .diff-ln { background: var(--surface); }
|
|
80
|
+
tr.diff-ctx .diff-code { background: var(--bg); color: var(--text-muted); }
|
|
81
|
+
tr.diff-hunk td { background: var(--surface-raised); color: var(--text-muted); font-size: 11px; padding: 3px 12px; border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); }
|
|
82
|
+
tr.diff-hunk .diff-ln { background: var(--surface-raised); }
|
|
83
|
+
tr.diff-moved-del .diff-ln { color: #6a6a8a; background: #1a1a2a; }
|
|
84
|
+
tr.diff-moved-del .diff-code { background: #1a1a2a; color: #a8a8d0; }
|
|
85
|
+
tr.diff-moved-add .diff-ln { color: #6a6a8a; background: #1a1a2a; }
|
|
86
|
+
tr.diff-moved-add .diff-code { background: #1a1a2a; color: #a8a8d0; }
|
|
87
|
+
tr.diff-moved-del-edited .diff-ln { color: #7a6a8a; background: #221a2a; }
|
|
88
|
+
tr.diff-moved-del-edited .diff-code { background: #221a2a; color: #c0a8d0; }
|
|
89
|
+
tr.diff-moved-add-edited .diff-ln { color: #7a6a8a; background: #221a2a; }
|
|
90
|
+
tr.diff-moved-add-edited .diff-code { background: #221a2a; color: #c0a8d0; }
|
|
91
|
+
|
|
92
|
+
.verdict { background: var(--surface); border: 1px solid var(--border); border-radius: 6px; padding: 16px 20px; margin-top: 28px; }
|
|
93
|
+
.verdict h3 { font-size: 14px; font-weight: 600; color: var(--text-bright); margin-bottom: 8px; }
|
|
94
|
+
.verdict ul { padding-left: 18px; }
|
|
95
|
+
.verdict li { font-size: 13px; margin-bottom: 6px; line-height: 1.5; }
|
|
96
|
+
.verdict li strong { color: var(--text-bright); }
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<!DOCTYPE html>
|
|
2
|
+
<html lang="en">
|
|
3
|
+
<head>
|
|
4
|
+
<meta charset="UTF-8">
|
|
5
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
6
|
+
<link href="https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500;600&family=Inter:wght@400;500;600;700&display=swap" rel="stylesheet">
|
|
7
|
+
<style>
|
|
8
|
+
/* INJECT_CSS */
|
|
9
|
+
</style>
|
|
10
|
+
<script>
|
|
11
|
+
/* INJECT_JS */
|
|
12
|
+
</script>
|
|
13
|
+
</head>
|
|
14
|
+
<body>
|
|
15
|
+
<!-- INJECT_BODY -->
|
|
16
|
+
<script id="pr-diffs-json" type="application/json" data-pr-diffs>{"__PR_DIFFS_PLACEHOLDER__":true}</script>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
---
|
|
2
|
+
name: principle-attack-the-premise
|
|
3
|
+
description: "Apply when two or more fixes that share one premise have failed the same gate. Write the premise down and test it directly before you write another fix that assumes it."
|
|
4
|
+
disable-model-invocation: true
|
|
5
|
+
---
|
|
6
|
+
|
|
7
|
+
# Attack the Premise
|
|
8
|
+
|
|
9
|
+
When two or more fixes that share one premise have failed the same gate, suspect the premise, not the fixes.
|
|
10
|
+
|
|
11
|
+
**Why:** Each failed fix is evidence against the belief it assumed. A third fix on the same premise spends effort where the evidence already says the cause is not.
|
|
12
|
+
|
|
13
|
+
**Pattern:**
|
|
14
|
+
- **Write the premise down.** The premise is the one sentence that every failed fix assumed.
|
|
15
|
+
- **Test the premise before the next fix.** Find an observation that would come out differently if the premise were false, and make it. Look at how the failures are distributed, not only at how large they are. Make the check rerunnable per [Build the Lever](../principle-build-the-lever/SKILL.md).
|
|
16
|
+
- **Follow the evidence.** If it contradicts the premise, the cause is elsewhere. Look for what the failures have in common that the premise did not predict. If it confirms the premise, ask the next "why" per [Fix Root Causes](../principle-fix-root-causes/SKILL.md). The earlier fixes may have treated a consequence instead of the cause.
|
|
17
|
+
- **Remove the condition instead of compensating for it**, per the [Laziness Protocol](../principle-laziness-protocol/SKILL.md). If the evidence shows that one part always lands on the losing side, change what puts it there. A mechanism that cleans up after it leaves the cause in place and adds work on every run.
|
|
18
|
+
|
|
19
|
+
**Stop:** Do not start the next fix before the premise is written down and tested.
|
|
20
|
+
|
|
21
|
+
This principle is distinct from [Redesign from First Principles](../principle-redesign-from-first-principles/SKILL.md), which rebuilds a design around a new requirement. It questions a fact the current design assumes.
|