dsh-super-code 0.3.10 → 0.4.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/LICENSE +1 -1
- package/README.en.md +51 -19
- package/README.md +51 -19
- package/builtin/README.md +22 -0
- package/builtin/skills/mattpocock/LICENSE +21 -0
- package/builtin/skills/mattpocock/UPSTREAM.md +11 -0
- package/builtin/skills/mattpocock/distribution.json +352 -0
- package/builtin/skills/mattpocock/skills/ask-matt/PHASE-BOUNDARIES.md +55 -0
- package/builtin/skills/mattpocock/skills/ask-matt/SKILL.md +97 -0
- package/builtin/skills/mattpocock/skills/ask-matt/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/code-review/SKILL.md +89 -0
- package/builtin/skills/mattpocock/skills/code-review/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/codebase-design/DEEPENING.md +37 -0
- package/builtin/skills/mattpocock/skills/codebase-design/DESIGN-IT-TWICE.md +44 -0
- package/builtin/skills/mattpocock/skills/codebase-design/SKILL.md +114 -0
- package/builtin/skills/mattpocock/skills/codebase-design/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/diagnosing-bugs/SKILL.md +138 -0
- package/builtin/skills/mattpocock/skills/diagnosing-bugs/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/diagnosing-bugs/scripts/hitl-loop.template.sh +44 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/ADR-FORMAT.md +47 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/GLOSSARY-FORMAT.md +60 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/SKILL.md +74 -0
- package/builtin/skills/mattpocock/skills/domain-modeling/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/grill-me/SKILL.md +7 -0
- package/builtin/skills/mattpocock/skills/grill-me/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/grill-with-docs/SKILL.md +7 -0
- package/builtin/skills/mattpocock/skills/grill-with-docs/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/grilling/SKILL.md +30 -0
- package/builtin/skills/mattpocock/skills/grilling/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/handoff/SKILL.md +16 -0
- package/builtin/skills/mattpocock/skills/handoff/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/implement/SKILL.md +17 -0
- package/builtin/skills/mattpocock/skills/implement/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/implement-spec/SKILL.md +42 -0
- package/builtin/skills/mattpocock/skills/implement-spec/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/improve-codebase-architecture/HTML-REPORT.md +123 -0
- package/builtin/skills/mattpocock/skills/improve-codebase-architecture/SKILL.md +71 -0
- package/builtin/skills/mattpocock/skills/improve-codebase-architecture/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/pr/CREDITS.md +3 -0
- package/builtin/skills/mattpocock/skills/pr/SKILL.md +170 -0
- package/builtin/skills/mattpocock/skills/pr/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/prototype/LOGIC.md +67 -0
- package/builtin/skills/mattpocock/skills/prototype/SKILL.md +26 -0
- package/builtin/skills/mattpocock/skills/prototype/UI.md +112 -0
- package/builtin/skills/mattpocock/skills/prototype/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/research/SKILL.md +12 -0
- package/builtin/skills/mattpocock/skills/research/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/retro/SKILL.md +44 -0
- package/builtin/skills/mattpocock/skills/retro/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/SKILL.md +120 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/domain.md +51 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-github.md +50 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-gitlab.md +46 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-local.md +30 -0
- package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/triage-labels.md +15 -0
- package/builtin/skills/mattpocock/skills/tdd/SKILL.md +38 -0
- package/builtin/skills/mattpocock/skills/tdd/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/tdd/mocking.md +59 -0
- package/builtin/skills/mattpocock/skills/tdd/tests.md +77 -0
- package/builtin/skills/mattpocock/skills/teach/GLOSSARY-FORMAT.md +35 -0
- package/builtin/skills/mattpocock/skills/teach/LEARNING-RECORD-FORMAT.md +46 -0
- package/builtin/skills/mattpocock/skills/teach/MISSION-FORMAT.md +31 -0
- package/builtin/skills/mattpocock/skills/teach/RESOURCES-FORMAT.md +32 -0
- package/builtin/skills/mattpocock/skills/teach/SKILL.md +140 -0
- package/builtin/skills/mattpocock/skills/teach/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/to-questionnaire/SKILL.md +54 -0
- package/builtin/skills/mattpocock/skills/to-questionnaire/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/to-spec/SKILL.md +75 -0
- package/builtin/skills/mattpocock/skills/to-spec/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/to-tickets/SKILL.md +105 -0
- package/builtin/skills/mattpocock/skills/to-tickets/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/triage/AGENT-BRIEF.md +207 -0
- package/builtin/skills/mattpocock/skills/triage/OUT-OF-SCOPE.md +105 -0
- package/builtin/skills/mattpocock/skills/triage/SKILL.md +112 -0
- package/builtin/skills/mattpocock/skills/triage/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/wait-what/SKILL.md +7 -0
- package/builtin/skills/mattpocock/skills/wait-what/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/wayfinder/SKILL.md +128 -0
- package/builtin/skills/mattpocock/skills/wayfinder/agents/openai.yaml +5 -0
- package/builtin/skills/mattpocock/skills/wizard/SKILL.md +44 -0
- package/builtin/skills/mattpocock/skills/wizard/agents/openai.yaml +3 -0
- package/builtin/skills/mattpocock/skills/wizard/template.sh +223 -0
- package/builtin/skills/mattpocock/skills/writing-for-agents/SKILL-MECHANICS.md +22 -0
- package/builtin/skills/mattpocock/skills/writing-for-agents/SKILL.md +81 -0
- package/builtin/skills/mattpocock/skills/writing-for-agents/agents/openai.yaml +3 -0
- package/builtin/skills/oil-ui/LICENSE +21 -0
- package/builtin/skills/oil-ui/SKILL.md +163 -0
- package/builtin/skills/oil-ui/UPSTREAM.md +14 -0
- package/builtin/skills/oil-ui/assets/fonts/instrument-serif/InstrumentSerif-Regular.ttf +0 -0
- package/builtin/skills/oil-ui/assets/fonts/instrument-serif/OFL.txt +93 -0
- package/builtin/skills/oil-ui/assets/logo.png +0 -0
- package/builtin/skills/oil-ui/assets/style-explorer.html +433 -0
- package/builtin/skills/oil-ui/distribution.json +5 -0
- package/builtin/skills/oil-ui/references/design-direction.md +233 -0
- package/builtin/skills/oil-ui/references/direction-persuasion.md +25 -0
- package/builtin/skills/oil-ui/references/image-ideation.md +130 -0
- package/builtin/skills/oil-ui/references/layout-and-viewport.md +24 -0
- package/builtin/skills/oil-ui/references/media.md +158 -0
- package/builtin/skills/oil-ui/references/motion.md +123 -0
- package/builtin/skills/oil-ui/references/play.md +29 -0
- package/builtin/skills/oil-ui/references/reviewer-manual.md +73 -0
- package/builtin/skills/oil-ui/references/scroll-narrative.md +97 -0
- package/builtin/skills/oil-ui/references/style-explorer.md +48 -0
- package/builtin/skills/oil-ui/references/task-explore.md +28 -0
- package/builtin/skills/oil-ui/references/task-review.md +8 -0
- package/builtin/skills/oil-ui/references/tools.md +75 -0
- package/builtin/skills/oil-ui/references/ux-review.md +23 -0
- package/builtin/skills/oil-ui/references/ux-reviewer.md +10 -0
- package/builtin/skills/oil-ui/references/visual-language.md +103 -0
- package/builtin/skills/oil-ui/references/visual-review.md +35 -0
- package/builtin/skills/oil-ui/references/workdir.md +64 -0
- package/builtin/skills/oil-ui/scripts/build_explorer.py +958 -0
- package/builtin/skills/oil-ui/scripts/chrome.mjs +115 -0
- package/builtin/skills/oil-ui/scripts/curate-media.mjs +726 -0
- package/builtin/skills/oil-ui/scripts/measure_reference.py +543 -0
- package/builtin/skills/oil-ui/scripts/oiloil-image.mjs +388 -0
- package/builtin/skills/oil-ui/scripts/prep-image.mjs +287 -0
- package/builtin/skills/oil-ui/scripts/recommend_once.py +65 -0
- package/builtin/skills/oil-ui/scripts/shoot.mjs +2067 -0
- package/builtin/skills/openspec/LICENSE +22 -0
- package/builtin/skills/openspec/UPSTREAM.md +11 -0
- package/builtin/skills/openspec/distribution.json +73 -0
- package/builtin/skills/openspec/skills/README.md +19 -0
- package/builtin/skills/openspec/skills/openspec-apply-change/SKILL.md +205 -0
- package/builtin/skills/openspec/skills/openspec-archive-change/SKILL.md +220 -0
- package/builtin/skills/openspec/skills/openspec-bulk-archive-change/SKILL.md +376 -0
- package/builtin/skills/openspec/skills/openspec-continue-change/SKILL.md +137 -0
- package/builtin/skills/openspec/skills/openspec-explore/SKILL.md +355 -0
- package/builtin/skills/openspec/skills/openspec-ff-change/SKILL.md +128 -0
- package/builtin/skills/openspec/skills/openspec-new-change/SKILL.md +87 -0
- package/builtin/skills/openspec/skills/openspec-onboard/SKILL.md +574 -0
- package/builtin/skills/openspec/skills/openspec-propose/SKILL.md +174 -0
- package/builtin/skills/openspec/skills/openspec-sync-specs/SKILL.md +289 -0
- package/builtin/skills/openspec/skills/openspec-update-change/SKILL.md +108 -0
- package/builtin/skills/openspec/skills/openspec-verify-change/SKILL.md +222 -0
- package/builtin/skills/pstack/LICENSE +21 -0
- package/builtin/skills/pstack/UPSTREAM.md +17 -0
- package/builtin/skills/pstack/distribution.json +2299 -0
- package/builtin/skills/pstack/dsh/DSH.md +59 -0
- package/builtin/skills/pstack/dsh/LICENSE +21 -0
- package/builtin/skills/pstack/dsh/README.md +9 -0
- package/builtin/skills/pstack/dsh/adaptation.json +2930 -0
- package/builtin/skills/pstack/dsh/agents/comment-sicko.md +32 -0
- package/builtin/skills/pstack/dsh/agents/poteto-agent.md +5 -0
- package/builtin/skills/pstack/dsh/assets/logo.png +0 -0
- package/builtin/skills/pstack/dsh/authoring.md +7 -0
- package/builtin/skills/pstack/dsh/docs/guide/01-setup.md +68 -0
- package/builtin/skills/pstack/dsh/docs/guide/02-poteto-mode.md +141 -0
- package/builtin/skills/pstack/dsh/docs/guide/03-understand.md +81 -0
- package/builtin/skills/pstack/dsh/docs/guide/04-design.md +135 -0
- package/builtin/skills/pstack/dsh/docs/guide/05-build-and-clean.md +85 -0
- package/builtin/skills/pstack/dsh/docs/guide/06-verify-and-ship.md +164 -0
- package/builtin/skills/pstack/dsh/docs/guide/07-overnight.md +124 -0
- package/builtin/skills/pstack/dsh/docs/guide/08-principles.md +74 -0
- package/builtin/skills/pstack/dsh/docs/guide/09-make-it-yours.md +102 -0
- package/builtin/skills/pstack/dsh/docs/guide/10-recipes-and-pitfalls.md +184 -0
- package/builtin/skills/pstack/dsh/docs/guide/README.md +40 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/design.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/overnight.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/recipes.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/router.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/understanding.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/guide/images/verification.jpg +0 -0
- package/builtin/skills/pstack/dsh/docs/harness/claude-code.md +69 -0
- package/builtin/skills/pstack/dsh/scripts/capture.mjs +80 -0
- package/builtin/skills/pstack/dsh/skills/architect/SKILL.md +82 -0
- package/builtin/skills/pstack/dsh/skills/architect/references/design-red-flags.md +57 -0
- package/builtin/skills/pstack/dsh/skills/architect/references/rationale-template.md +35 -0
- package/builtin/skills/pstack/dsh/skills/architect/references/runner-prompt.md +20 -0
- package/builtin/skills/pstack/dsh/skills/arena/SKILL.md +51 -0
- package/builtin/skills/pstack/dsh/skills/automate-me/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/benchmark-checklist/SKILL.md +42 -0
- package/builtin/skills/pstack/dsh/skills/blast-radius/SKILL.md +53 -0
- package/builtin/skills/pstack/dsh/skills/bro/SKILL.md +10 -0
- package/builtin/skills/pstack/dsh/skills/correct/SKILL.md +35 -0
- package/builtin/skills/pstack/dsh/skills/create-formal-verification-skill/SKILL.md +46 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/SKILL.md +47 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
- package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
- package/builtin/skills/pstack/dsh/skills/figure-it-out/SKILL.md +55 -0
- package/builtin/skills/pstack/dsh/skills/how/SKILL.md +39 -0
- package/builtin/skills/pstack/dsh/skills/how/references/explainer-prompt.md +55 -0
- package/builtin/skills/pstack/dsh/skills/how/references/explorer-prompt.md +35 -0
- package/builtin/skills/pstack/dsh/skills/in-your-own-words/SKILL.md +10 -0
- package/builtin/skills/pstack/dsh/skills/interrogate/SKILL.md +34 -0
- package/builtin/skills/pstack/dsh/skills/ketchup/SKILL.md +46 -0
- package/builtin/skills/pstack/dsh/skills/ketchup-video/SKILL.md +32 -0
- package/builtin/skills/pstack/dsh/skills/maintain-formal-verification-skill/SKILL.md +61 -0
- package/builtin/skills/pstack/dsh/skills/maintain-verification-skill/SKILL.md +42 -0
- package/builtin/skills/pstack/dsh/skills/make-bot-ui/SKILL.md +22 -0
- package/builtin/skills/pstack/dsh/skills/make-bot-ui/references/submissions.md +44 -0
- package/builtin/skills/pstack/dsh/skills/make-bot-ui/scripts/submissions.mjs +86 -0
- package/builtin/skills/pstack/dsh/skills/no-comments/SKILL.md +27 -0
- package/builtin/skills/pstack/dsh/skills/poteto-help/SKILL.md +42 -0
- package/builtin/skills/pstack/dsh/skills/poteto-help/references/prompting.md +51 -0
- package/builtin/skills/pstack/dsh/skills/poteto-help/references/recipes.md +51 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/SKILL.md +153 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/authoring-a-skill.md +8 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autonomous-run.md +12 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/babysit.md +23 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/bug-fix.md +15 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/eval.md +25 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/feature.md +21 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/hillclimb.md +21 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/investigation.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/orchestrate.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/pause-safely.md +8 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/perf-issue.md +25 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/prototype.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/refactoring.md +16 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/session-pickup.md +9 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/shipping.md +12 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/visual-parity.md +11 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/worktree-cleanup.md +9 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/references/bugbot-triage.md +142 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/bootstrap.ts +62 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/bun.lock +67 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/check-plan.mjs +205 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/package.json +16 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/worktree-audit.mjs +52 -0
- package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/worktree-audit.sh +4 -0
- package/builtin/skills/pstack/dsh/skills/principle-attack-the-premise/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-boundary-discipline/SKILL.md +37 -0
- package/builtin/skills/pstack/dsh/skills/principle-build-the-lever/SKILL.md +26 -0
- package/builtin/skills/pstack/dsh/skills/principle-encode-lessons-in-structure/SKILL.md +14 -0
- package/builtin/skills/pstack/dsh/skills/principle-exhaust-the-design-space/SKILL.md +12 -0
- package/builtin/skills/pstack/dsh/skills/principle-experience-first/SKILL.md +22 -0
- package/builtin/skills/pstack/dsh/skills/principle-explain-the-number/SKILL.md +21 -0
- package/builtin/skills/pstack/dsh/skills/principle-fix-root-causes/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-foundational-thinking/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-guard-the-context-window/SKILL.md +15 -0
- package/builtin/skills/pstack/dsh/skills/principle-laziness-protocol/SKILL.md +13 -0
- package/builtin/skills/pstack/dsh/skills/principle-make-operations-idempotent/SKILL.md +25 -0
- package/builtin/skills/pstack/dsh/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +17 -0
- package/builtin/skills/pstack/dsh/skills/principle-minimize-reader-load/SKILL.md +21 -0
- package/builtin/skills/pstack/dsh/skills/principle-model-the-domain/SKILL.md +27 -0
- package/builtin/skills/pstack/dsh/skills/principle-never-block-on-the-human/SKILL.md +18 -0
- package/builtin/skills/pstack/dsh/skills/principle-outcome-oriented-execution/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/principle-prove-it-works/SKILL.md +25 -0
- package/builtin/skills/pstack/dsh/skills/principle-redesign-from-first-principles/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/principle-separate-before-serializing-shared-state/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/principle-sequence-verifiable-units/SKILL.md +20 -0
- package/builtin/skills/pstack/dsh/skills/principle-subtract-before-you-add/SKILL.md +21 -0
- package/builtin/skills/pstack/dsh/skills/principle-test-behavior-not-implementation/SKILL.md +23 -0
- package/builtin/skills/pstack/dsh/skills/principle-type-system-discipline/SKILL.md +16 -0
- package/builtin/skills/pstack/dsh/skills/recall/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/reflect/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/divergent-reviewer.md +38 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/judgment-reviewer.md +37 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/synthesizer.md +56 -0
- package/builtin/skills/pstack/dsh/skills/reflect/references/tooling-reviewer.md +48 -0
- package/builtin/skills/pstack/dsh/skills/setup-pstack/SKILL.md +80 -0
- package/builtin/skills/pstack/dsh/skills/sharpen/SKILL.md +19 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/SKILL.md +85 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/scripts/audit-log.mjs +43 -0
- package/builtin/skills/pstack/dsh/skills/show-me-your-work/scripts/log.sh +42 -0
- package/builtin/skills/pstack/dsh/skills/statechart/SKILL.md +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/references/render.md +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/cfg.mjs +31 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/cfg.ts +33 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/mermaid.mjs +223 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/mermaid.ts +201 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/plain-text.mjs +68 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/plain-text.ts +72 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/report.mjs +123 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/report.ts +177 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/config.mjs +258 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/config.ts +276 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/dot.mjs +68 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/dot.ts +74 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/marks.mjs +102 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/marks.ts +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/messages.mjs +53 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/messages.ts +52 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/spec.mjs +89 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/spec.ts +114 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/trace.mjs +24 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/trace.ts +24 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/value.mjs +181 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/value.ts +166 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/verdict.mjs +38 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/verdict.ts +40 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/view.mjs +107 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/view.ts +119 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/ir.mjs +317 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/ir.ts +547 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/package.json +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/annotate.mjs +102 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/annotate.ts +128 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/label.mjs +217 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/label.ts +269 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/lift.mjs +89 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/lift.ts +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/loop-check.mjs +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/loop-check.ts +68 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/paths.mjs +50 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/paths.ts +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/reach.mjs +134 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/reach.ts +135 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/region-check.mjs +94 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/region-check.ts +97 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/regions.mjs +296 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/regions.ts +295 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/pipeline.mjs +63 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/pipeline.ts +76 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/run.mjs +432 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/run.ts +481 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart +29 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart.mjs +149 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart.ts +164 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/ConfigOracle.java +63 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/chart.test.ts +1210 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/cli.test.ts +1314 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus.test.ts +403 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/differential.test.ts +565 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/Grid.tla +9 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/sany.out +2 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/java.ts +63 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/labels.ts +643 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/messages.test.ts +212 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/pipeline.test.ts +270 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/render.test.ts +81 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/tlc.ts +158 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/tsconfig.json +11 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/worker.mjs +32 -0
- package/builtin/skills/pstack/dsh/skills/statechart/scripts/worker.ts +35 -0
- package/builtin/skills/pstack/dsh/skills/swarm/SKILL.md +44 -0
- package/builtin/skills/pstack/dsh/skills/tdd/SKILL.md +45 -0
- package/builtin/skills/pstack/dsh/skills/teach/SKILL.md +24 -0
- package/builtin/skills/pstack/dsh/skills/technical-writing/SKILL.md +109 -0
- package/builtin/skills/pstack/dsh/skills/typescript-best-practices/SKILL.md +34 -0
- package/builtin/skills/pstack/dsh/skills/typescript-best-practices/references/patterns.md +328 -0
- package/builtin/skills/pstack/dsh/skills/unslop/SKILL.md +65 -0
- package/builtin/skills/pstack/dsh/skills/why/SKILL.md +99 -0
- package/builtin/skills/pstack/dsh/skills/why/references/epistemics.md +71 -0
- package/builtin/skills/pstack/dsh/skills/why/references/investigator-prompt.md +84 -0
- package/builtin/skills/pstack/dsh/skills/why/references/source-playbook.md +17 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/code-archaeology.md +51 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/databricks.md +70 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/datadog.md +97 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/incident-postmortem.md +5 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/linear.md +48 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/notion.md +55 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/sentry.md +66 -0
- package/builtin/skills/pstack/dsh/skills/why/references/sources/slack.md +17 -0
- package/builtin/skills/pstack/dsh/skills/why/references/synthesizer-prompt.md +129 -0
- package/client/index.js +453 -129
- package/cordis.patch.yml +5 -13
- package/docs/Acknowledgements.md +24 -12
- package/docs/Changelog.md +70 -0
- package/docs/Compatibility.md +78 -2
- package/docs/EvaluationResults.md +8 -6
- package/docs/UsageGuide.md +91 -15
- package/docs/en/Acknowledgements.md +24 -12
- package/docs/en/Changelog.md +70 -0
- package/docs/en/Compatibility.md +78 -2
- package/docs/en/EvaluationResults.md +8 -6
- package/docs/en/UsageGuide.md +91 -15
- package/docs/images/agent-tree-preview.png +0 -0
- package/docs/images/agent-tree.png +0 -0
- package/docs/images/install-tgz-preview.png +0 -0
- package/docs/images/install-tgz.png +0 -0
- package/docs/images/npm-downloads-dark.svg +22 -0
- package/docs/images/npm-downloads.svg +22 -0
- package/docs/images/preset-settings-preview.png +0 -0
- package/docs/images/star-history-dark.svg +22 -0
- package/docs/images/star-history.svg +22 -0
- package/docs/images/task-status-preview.png +0 -0
- package/docs/images/task-status.png +0 -0
- package/lib/connection/approvals.d.ts +4 -0
- package/lib/connection/approvals.d.ts.map +1 -1
- package/lib/connection/approvals.js.map +1 -1
- package/lib/connection/client.d.ts.map +1 -1
- package/lib/connection/client.js +20 -3
- package/lib/connection/client.js.map +1 -1
- package/lib/connection/directories.d.ts.map +1 -1
- package/lib/connection/directories.js +14 -5
- package/lib/connection/directories.js.map +1 -1
- package/lib/connection/git.d.ts.map +1 -1
- package/lib/connection/git.js +17 -12
- package/lib/connection/git.js.map +1 -1
- package/lib/connection/guidance.d.ts.map +1 -1
- package/lib/connection/guidance.js +7 -0
- package/lib/connection/guidance.js.map +1 -1
- package/lib/connection/http.d.ts.map +1 -1
- package/lib/connection/http.js +79 -31
- package/lib/connection/http.js.map +1 -1
- package/lib/connection/service.d.ts +6 -2
- package/lib/connection/service.d.ts.map +1 -1
- package/lib/connection/service.js +87 -33
- package/lib/connection/service.js.map +1 -1
- package/lib/connection/store.d.ts +3 -0
- package/lib/connection/store.d.ts.map +1 -1
- package/lib/connection/store.js +151 -37
- package/lib/connection/store.js.map +1 -1
- package/lib/connection/tasks.d.ts +10 -5
- package/lib/connection/tasks.d.ts.map +1 -1
- package/lib/connection/tasks.js +158 -81
- package/lib/connection/tasks.js.map +1 -1
- package/lib/connection/types.d.ts +2 -0
- package/lib/connection/types.d.ts.map +1 -1
- package/lib/connection/types.js.map +1 -1
- package/lib/core/batch-policy.js +2 -2
- package/lib/core/batch-policy.js.map +1 -1
- package/lib/core/delegation.d.ts +3 -0
- package/lib/core/delegation.d.ts.map +1 -1
- package/lib/core/delegation.js +2 -2
- package/lib/core/delegation.js.map +1 -1
- package/lib/core/deletion-command.d.ts.map +1 -1
- package/lib/core/deletion-command.js +271 -38
- package/lib/core/deletion-command.js.map +1 -1
- package/lib/core/tool-evidence.d.ts.map +1 -1
- package/lib/core/tool-evidence.js +9 -2
- package/lib/core/tool-evidence.js.map +1 -1
- package/lib/dsh/budget-settings.d.ts +11 -0
- package/lib/dsh/budget-settings.d.ts.map +1 -1
- package/lib/dsh/budget-settings.js +43 -9
- package/lib/dsh/budget-settings.js.map +1 -1
- package/lib/dsh/budgets.d.ts +5 -0
- package/lib/dsh/budgets.d.ts.map +1 -1
- package/lib/dsh/budgets.js +15 -0
- package/lib/dsh/budgets.js.map +1 -1
- package/lib/dsh/bundled-skills.d.ts +17 -0
- package/lib/dsh/bundled-skills.d.ts.map +1 -0
- package/lib/dsh/bundled-skills.js +94 -0
- package/lib/dsh/bundled-skills.js.map +1 -0
- package/lib/dsh/compaction.d.ts.map +1 -1
- package/lib/dsh/compaction.js +1 -0
- package/lib/dsh/compaction.js.map +1 -1
- package/lib/dsh/connection-approval.d.ts.map +1 -1
- package/lib/dsh/connection-approval.js +24 -2
- package/lib/dsh/connection-approval.js.map +1 -1
- package/lib/dsh/connection-history.d.ts +2 -1
- package/lib/dsh/connection-history.d.ts.map +1 -1
- package/lib/dsh/connection-history.js +25 -4
- package/lib/dsh/connection-history.js.map +1 -1
- package/lib/dsh/connection-host.d.ts +0 -1
- package/lib/dsh/connection-host.d.ts.map +1 -1
- package/lib/dsh/connection-host.js +59 -26
- package/lib/dsh/connection-host.js.map +1 -1
- package/lib/dsh/connection.d.ts.map +1 -1
- package/lib/dsh/connection.js +34 -8
- package/lib/dsh/connection.js.map +1 -1
- package/lib/dsh/deletion-protection.d.ts.map +1 -1
- package/lib/dsh/deletion-protection.js +18 -10
- package/lib/dsh/deletion-protection.js.map +1 -1
- package/lib/dsh/directory-metadata.d.ts +4 -0
- package/lib/dsh/directory-metadata.d.ts.map +1 -0
- package/lib/dsh/directory-metadata.js +4 -0
- package/lib/dsh/directory-metadata.js.map +1 -0
- package/lib/dsh/index.d.ts.map +1 -1
- package/lib/dsh/index.js +4 -0
- package/lib/dsh/index.js.map +1 -1
- package/lib/dsh/memory-library.d.ts.map +1 -1
- package/lib/dsh/memory-library.js +8 -4
- package/lib/dsh/memory-library.js.map +1 -1
- package/lib/dsh/official-budgets.d.ts.map +1 -1
- package/lib/dsh/official-budgets.js +16 -3
- package/lib/dsh/official-budgets.js.map +1 -1
- package/lib/dsh/openspec-shell.d.ts +3 -0
- package/lib/dsh/openspec-shell.d.ts.map +1 -0
- package/lib/dsh/openspec-shell.js +25 -0
- package/lib/dsh/openspec-shell.js.map +1 -0
- package/lib/dsh/preset-declaration.d.ts +6 -0
- package/lib/dsh/preset-declaration.d.ts.map +1 -1
- package/lib/dsh/preset-declaration.js +91 -65
- package/lib/dsh/preset-declaration.js.map +1 -1
- package/lib/dsh/preset-files.d.ts.map +1 -1
- package/lib/dsh/preset-files.js +16 -1
- package/lib/dsh/preset-files.js.map +1 -1
- package/lib/dsh/preset-installation.d.ts +11 -7
- package/lib/dsh/preset-installation.d.ts.map +1 -1
- package/lib/dsh/preset-installation.js +71 -33
- package/lib/dsh/preset-installation.js.map +1 -1
- package/lib/dsh/preset-metadata.d.ts.map +1 -1
- package/lib/dsh/preset-metadata.js +20 -7
- package/lib/dsh/preset-metadata.js.map +1 -1
- package/lib/dsh/preset-recovery-runtime.d.ts +76 -0
- package/lib/dsh/preset-recovery-runtime.d.ts.map +1 -0
- package/lib/dsh/preset-recovery-runtime.js +344 -0
- package/lib/dsh/preset-recovery-runtime.js.map +1 -0
- package/lib/dsh/preset-recovery.d.ts +14 -0
- package/lib/dsh/preset-recovery.d.ts.map +1 -0
- package/lib/dsh/preset-recovery.js +206 -0
- package/lib/dsh/preset-recovery.js.map +1 -0
- package/lib/dsh/preset-version.d.ts +1 -0
- package/lib/dsh/preset-version.d.ts.map +1 -1
- package/lib/dsh/preset-version.js +1 -1
- package/lib/dsh/preset-version.js.map +1 -1
- package/lib/dsh/ptc-budget.d.ts.map +1 -1
- package/lib/dsh/ptc-budget.js +24 -12
- package/lib/dsh/ptc-budget.js.map +1 -1
- package/lib/dsh/skill-directory.d.ts +45 -0
- package/lib/dsh/skill-directory.d.ts.map +1 -0
- package/lib/dsh/skill-directory.js +113 -0
- package/lib/dsh/skill-directory.js.map +1 -0
- package/lib/dsh/skill-installation.d.ts +8 -0
- package/lib/dsh/skill-installation.d.ts.map +1 -0
- package/lib/dsh/skill-installation.js +131 -0
- package/lib/dsh/skill-installation.js.map +1 -0
- package/lib/dsh/skill-packages.d.ts +6 -0
- package/lib/dsh/skill-packages.d.ts.map +1 -0
- package/lib/dsh/skill-packages.js +8 -0
- package/lib/dsh/skill-packages.js.map +1 -0
- package/lib/dsh/super-code.d.ts.map +1 -1
- package/lib/dsh/super-code.js +143 -166
- package/lib/dsh/super-code.js.map +1 -1
- package/lib/dsh/tool-contracts.d.ts +53 -0
- package/lib/dsh/tool-contracts.d.ts.map +1 -0
- package/lib/dsh/tool-contracts.js +129 -0
- package/lib/dsh/tool-contracts.js.map +1 -0
- package/lib/dsh/windows-shell.d.ts +2 -2
- package/lib/dsh/windows-shell.d.ts.map +1 -1
- package/lib/dsh/windows-shell.js +29 -5
- package/lib/dsh/windows-shell.js.map +1 -1
- package/lib/long-memory.d.ts +2 -2
- package/lib/long-memory.d.ts.map +1 -1
- package/lib/long-memory.js +19 -11
- package/lib/long-memory.js.map +1 -1
- package/lib/memory-usage-projection.d.ts.map +1 -1
- package/lib/memory-usage-projection.js +13 -9
- package/lib/memory-usage-projection.js.map +1 -1
- package/lib/super-agent-usage.d.ts +2 -0
- package/lib/super-agent-usage.d.ts.map +1 -1
- package/lib/super-agent-usage.js +16 -11
- package/lib/super-agent-usage.js.map +1 -1
- package/lib/task-feedback-projection.d.ts +12 -0
- package/lib/task-feedback-projection.d.ts.map +1 -1
- package/lib/task-feedback-projection.js +96 -27
- package/lib/task-feedback-projection.js.map +1 -1
- package/lib/task-memory-store.d.ts.map +1 -1
- package/lib/task-memory-store.js +7 -1
- package/lib/task-memory-store.js.map +1 -1
- package/package.json +24 -4
- package/presets/super-code/agent.cordis.yml +4 -6
- package/runtime/skills/openspec/bin/openspec +2 -0
- package/runtime/skills/openspec/bin/openspec.cmd +6 -0
- package/presets/super-code/skills/super-code-frontend/SKILL.md +0 -33
- package/presets/super-code/skills/super-code-frontend/references/browser-validation.md +0 -59
- package/presets/super-code/skills/super-code-frontend/references/interaction-states.md +0 -51
- package/presets/super-code/skills/super-code-frontend/references/visual-design.md +0 -43
|
@@ -0,0 +1,958 @@
|
|
|
1
|
+
#!/usr/bin/env python3
|
|
2
|
+
"""Build a portable, offline design comparison from a local manifest."""
|
|
3
|
+
|
|
4
|
+
from __future__ import annotations
|
|
5
|
+
|
|
6
|
+
import argparse
|
|
7
|
+
import base64
|
|
8
|
+
import hashlib
|
|
9
|
+
from html import escape, unescape
|
|
10
|
+
from html.parser import HTMLParser
|
|
11
|
+
import json
|
|
12
|
+
import mimetypes
|
|
13
|
+
from pathlib import Path
|
|
14
|
+
import re
|
|
15
|
+
import shlex
|
|
16
|
+
import sys
|
|
17
|
+
import tempfile
|
|
18
|
+
from urllib.parse import unquote, urlsplit
|
|
19
|
+
from urllib.request import url2pathname
|
|
20
|
+
|
|
21
|
+
|
|
22
|
+
SKILL_ROOT = Path(__file__).resolve().parents[1]
|
|
23
|
+
TEMPLATE = SKILL_ROOT / "assets" / "style-explorer.html"
|
|
24
|
+
MARKER = "/*__OIL_UI_DATA__*/ null"
|
|
25
|
+
CONNECT_CSP = "connect-src 'none'"
|
|
26
|
+
PREVIEW_CSP = (
|
|
27
|
+
"default-src 'none'; style-src 'unsafe-inline'; img-src data:; "
|
|
28
|
+
"font-src data:; media-src data:; script-src 'none'; "
|
|
29
|
+
"form-action 'none'; base-uri 'none'; object-src 'none'"
|
|
30
|
+
)
|
|
31
|
+
MAX_RESOURCE_BYTES = 20 * 1024 * 1024
|
|
32
|
+
MAX_TOTAL_RESOURCE_BYTES = 100 * 1024 * 1024
|
|
33
|
+
|
|
34
|
+
|
|
35
|
+
class ManifestError(ValueError):
|
|
36
|
+
"""Every problem found in one pass, so the manifest can be fixed in one edit."""
|
|
37
|
+
|
|
38
|
+
def __init__(self, problems: list[str]):
|
|
39
|
+
self.problems = problems
|
|
40
|
+
if len(problems) == 1:
|
|
41
|
+
super().__init__(problems[0])
|
|
42
|
+
else:
|
|
43
|
+
super().__init__(f"manifest 有 {len(problems)} 处要改:\n" + "\n".join(f" {i}. {p}" for i, p in enumerate(problems, 1)))
|
|
44
|
+
|
|
45
|
+
|
|
46
|
+
def text_field(obj: dict, name: str, *, default: str | None = None, where: str = "") -> str:
|
|
47
|
+
value = obj.get(name, default)
|
|
48
|
+
if not isinstance(value, str) or not value.strip():
|
|
49
|
+
raise ValueError(f"{where}{name} 必须是非空字符串")
|
|
50
|
+
return value.strip()
|
|
51
|
+
|
|
52
|
+
|
|
53
|
+
def text_list(obj: dict, name: str, *, where: str = "") -> list[str]:
|
|
54
|
+
values = obj.get(name)
|
|
55
|
+
if not isinstance(values, list) or not values:
|
|
56
|
+
raise ValueError(f"{where}{name} 必须是非空字符串数组")
|
|
57
|
+
if any(not isinstance(v, str) or not v.strip() for v in values):
|
|
58
|
+
raise ValueError(f"{where}{name} 的每项必须是非空字符串")
|
|
59
|
+
return [v.strip() for v in values]
|
|
60
|
+
|
|
61
|
+
|
|
62
|
+
class AssetCheck(HTMLParser):
|
|
63
|
+
"""Reject resource dependencies; the browser sandbox disables behavior."""
|
|
64
|
+
|
|
65
|
+
def __init__(self):
|
|
66
|
+
super().__init__()
|
|
67
|
+
self.styles = []
|
|
68
|
+
self.in_style = False
|
|
69
|
+
self.head_position = None
|
|
70
|
+
|
|
71
|
+
def handle_starttag(self, tag: str, attrs: list) -> None:
|
|
72
|
+
attrs = dict(attrs)
|
|
73
|
+
if tag == "head" and self.head_position is None:
|
|
74
|
+
self.head_position = (self.getpos(), self.get_starttag_text())
|
|
75
|
+
if tag in ("iframe", "frame", "object", "embed"):
|
|
76
|
+
raise ValueError("候选 HTML 不支持嵌套文档;请提供静态内容或截图")
|
|
77
|
+
if tag == "style":
|
|
78
|
+
self.in_style = True
|
|
79
|
+
if attrs.get("style"):
|
|
80
|
+
self.styles.append(attrs["style"])
|
|
81
|
+
if tag == "base":
|
|
82
|
+
raise ValueError("候选 HTML 不应包含 base;资源需要内嵌")
|
|
83
|
+
if tag == "meta" and attrs.get("http-equiv", "").lower() == "refresh":
|
|
84
|
+
raise ValueError("候选 HTML 不应自动跳转")
|
|
85
|
+
for key in ("src", "poster", "data", "href", "xlink:href"):
|
|
86
|
+
value = attrs.get(key, "") or ""
|
|
87
|
+
if not value or value.lower().startswith(("#", "data:")):
|
|
88
|
+
continue
|
|
89
|
+
raise ValueError(f"候选 HTML 含未内嵌资源 {tag}.{key}: {value}")
|
|
90
|
+
if attrs.get("srcset"):
|
|
91
|
+
raise ValueError("候选 HTML 请用内嵌 src 代替 srcset")
|
|
92
|
+
|
|
93
|
+
def handle_endtag(self, tag: str) -> None:
|
|
94
|
+
if tag == "style":
|
|
95
|
+
self.in_style = False
|
|
96
|
+
|
|
97
|
+
def handle_data(self, data: str) -> None:
|
|
98
|
+
if self.in_style:
|
|
99
|
+
self.styles.append(data)
|
|
100
|
+
|
|
101
|
+
|
|
102
|
+
CSS_TOKEN = re.compile(
|
|
103
|
+
r"(?P<comment>/\*.*?\*/)|(?P<string>\"(?:\\.|[^\"\\])*\"|'(?:\\.|[^'\\])*')"
|
|
104
|
+
r"|(?P<ident>(?:[-_a-zA-Z]|\\(?:[0-9a-fA-F]{1,6}\s?|[^\r\n]))"
|
|
105
|
+
r"(?:[-_a-zA-Z0-9]|\\(?:[0-9a-fA-F]{1,6}\s?|[^\r\n]))*)"
|
|
106
|
+
r"|(?P<space>\s+)|(?P<symbol>.)", re.S,
|
|
107
|
+
)
|
|
108
|
+
|
|
109
|
+
|
|
110
|
+
def css_unescape(value: str) -> str:
|
|
111
|
+
def replacement(match):
|
|
112
|
+
if match.group(1):
|
|
113
|
+
codepoint = int(match.group(1), 16)
|
|
114
|
+
return chr(codepoint) if 0 < codepoint <= 0x10FFFF else "\ufffd"
|
|
115
|
+
return match.group(2)
|
|
116
|
+
return re.sub(r"\\([0-9a-fA-F]{1,6})(?:\s)?|\\([^\r\n])", replacement, value)
|
|
117
|
+
|
|
118
|
+
|
|
119
|
+
def check_css(css: str, label: str) -> None:
|
|
120
|
+
tokens = [(m.lastgroup, m.group()) for m in CSS_TOKEN.finditer(css)
|
|
121
|
+
if m.lastgroup not in ("comment", "space")]
|
|
122
|
+
|
|
123
|
+
def check_resource(value: str):
|
|
124
|
+
if not css_unescape(value).strip().lower().startswith(("data:", "#")):
|
|
125
|
+
raise ValueError(f"{label}: CSS 含未内嵌资源")
|
|
126
|
+
|
|
127
|
+
for index, (kind, value) in enumerate(tokens):
|
|
128
|
+
if value == "@" and index + 1 < len(tokens) and tokens[index + 1][0] == "ident" and css_unescape(tokens[index + 1][1]).lower() == "import":
|
|
129
|
+
raise ValueError(f"{label}: 请内嵌 CSS,不使用 @import")
|
|
130
|
+
name = css_unescape(value).lower() if kind == "ident" else ""
|
|
131
|
+
if name not in ("url", "image-set", "-webkit-image-set", "image", "src"):
|
|
132
|
+
continue
|
|
133
|
+
if index + 1 >= len(tokens) or tokens[index + 1][1] != "(":
|
|
134
|
+
continue
|
|
135
|
+
depth, body = 1, []
|
|
136
|
+
for inner_kind, inner_value in tokens[index + 2:]:
|
|
137
|
+
if inner_kind == "symbol" and inner_value == "(":
|
|
138
|
+
depth += 1
|
|
139
|
+
elif inner_kind == "symbol" and inner_value == ")":
|
|
140
|
+
depth -= 1
|
|
141
|
+
if depth == 0:
|
|
142
|
+
break
|
|
143
|
+
if name == "url":
|
|
144
|
+
body.append(inner_value[1:-1] if inner_kind == "string" else inner_value)
|
|
145
|
+
elif depth == 1 and inner_kind == "string":
|
|
146
|
+
check_resource(inner_value[1:-1])
|
|
147
|
+
if name == "url":
|
|
148
|
+
check_resource("".join(body))
|
|
149
|
+
|
|
150
|
+
|
|
151
|
+
# Sandboxed previews have no storage; give prototypes an in-memory stand-in so their scripts keep running.
|
|
152
|
+
STORAGE_SHIM = (
|
|
153
|
+
"<script>(()=>{const mem=()=>{const m=new Map();return{get length(){return m.size},"
|
|
154
|
+
"key:i=>[...m.keys()][i]??null,getItem:k=>m.has(String(k))?m.get(String(k)):null,"
|
|
155
|
+
"setItem:(k,v)=>{m.set(String(k),String(v))},removeItem:k=>{m.delete(String(k))},clear:()=>m.clear()}};"
|
|
156
|
+
"for(const n of['localStorage','sessionStorage']){try{window[n].length}catch{"
|
|
157
|
+
"Object.defineProperty(window,n,{value:mem(),configurable:true})}}})();</script>"
|
|
158
|
+
)
|
|
159
|
+
|
|
160
|
+
|
|
161
|
+
def preview_csp(interactive: bool) -> str:
|
|
162
|
+
# Interactive prototypes may run their own inline scripts, still with no network or external files.
|
|
163
|
+
# 'unsafe-eval' lets declarative libraries such as Alpine.js evaluate their attribute expressions.
|
|
164
|
+
return PREVIEW_CSP.replace("script-src 'none'", "script-src 'unsafe-inline' 'unsafe-eval'") if interactive else PREVIEW_CSP
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
EMBEDDABLE = {
|
|
168
|
+
".png": "image/png", ".jpg": "image/jpeg", ".jpeg": "image/jpeg", ".webp": "image/webp",
|
|
169
|
+
".gif": "image/gif", ".avif": "image/avif", ".svg": "image/svg+xml",
|
|
170
|
+
".woff2": "font/woff2", ".woff": "font/woff", ".ttf": "font/ttf", ".otf": "font/otf",
|
|
171
|
+
".mp4": "video/mp4", ".webm": "video/webm",
|
|
172
|
+
}
|
|
173
|
+
|
|
174
|
+
|
|
175
|
+
def read_asset(path: Path, used: set[Path]) -> bytes:
|
|
176
|
+
"""Bound input size before reading; keep every dependency protected from output overwrites."""
|
|
177
|
+
size = path.stat().st_size
|
|
178
|
+
if size > MAX_RESOURCE_BYTES:
|
|
179
|
+
raise ValueError(f"本地资源 {path} 为 {size} 字节,超过单文件上限 {MAX_RESOURCE_BYTES} 字节;"
|
|
180
|
+
f"请压缩或裁剪此文件至 {MAX_RESOURCE_BYTES} 字节以内,保留原路径后重新运行")
|
|
181
|
+
total = sum(p.stat().st_size for p in used | {path})
|
|
182
|
+
if total > MAX_TOTAL_RESOURCE_BYTES:
|
|
183
|
+
raise ValueError(f"内嵌资源累计 {total} 字节,超过总上限 {MAX_TOTAL_RESOURCE_BYTES} 字节;"
|
|
184
|
+
f"请压缩候选引用的图片、字体或视频,使输入文件总量不超过 {MAX_TOTAL_RESOURCE_BYTES} 字节后重新运行")
|
|
185
|
+
used.add(path)
|
|
186
|
+
return path.read_bytes()
|
|
187
|
+
|
|
188
|
+
|
|
189
|
+
def read_text_asset(path: Path, used: set[Path]) -> str:
|
|
190
|
+
# Match Path.read_text's universal newline handling used by earlier versions.
|
|
191
|
+
return read_asset(path, used).decode("utf-8").replace("\r\n", "\n").replace("\r", "\n")
|
|
192
|
+
|
|
193
|
+
|
|
194
|
+
def resource_parts(ref: str):
|
|
195
|
+
path = Path(ref)
|
|
196
|
+
if path.drive and path.is_absolute():
|
|
197
|
+
ref = path.as_uri()
|
|
198
|
+
return urlsplit(ref)
|
|
199
|
+
|
|
200
|
+
|
|
201
|
+
def local_file(ref: str, base: Path, root: Path) -> Path | None:
|
|
202
|
+
"""Resolve files anywhere on disk; root is retained for compatibility with existing callers."""
|
|
203
|
+
ref = ref.strip()
|
|
204
|
+
if not ref or ref.startswith("#") or ref.lower().startswith("data:"):
|
|
205
|
+
return None
|
|
206
|
+
try:
|
|
207
|
+
parts = resource_parts(ref)
|
|
208
|
+
except ValueError:
|
|
209
|
+
raise ValueError(f"资源地址无效:{ref};请把引用替换为已有文件的绝对路径后重新生成") from None
|
|
210
|
+
if (parts.scheme and parts.scheme.lower() != "file") or parts.netloc not in ("", "localhost") or ref.startswith("//"):
|
|
211
|
+
destination = base / (Path(unquote(parts.path)).name or "resource.bin")
|
|
212
|
+
command = f"curl -L --fail --output {shlex.quote(str(destination))} -- {shlex.quote(ref)}"
|
|
213
|
+
raise ValueError(f"远程资源 {ref} 不能离线使用;先运行 `{command}`,"
|
|
214
|
+
f"再把引用 {json.dumps(ref, ensure_ascii=False)} 替换为 {json.dumps(str(destination), ensure_ascii=False)} 后重新生成")
|
|
215
|
+
# A file URL's /C:/... is not a Windows filesystem path. Decode it with
|
|
216
|
+
# the platform converter, which also handles percent-escaped filenames.
|
|
217
|
+
target = (base / url2pathname(parts.path)).resolve()
|
|
218
|
+
if not target.is_file():
|
|
219
|
+
raise ValueError(f"找不到本地资源 {ref}(解析为 {target});"
|
|
220
|
+
f"请将该文件保存到 {json.dumps(str(target), ensure_ascii=False)},或把引用替换为已有文件的绝对路径后重新生成")
|
|
221
|
+
return target
|
|
222
|
+
|
|
223
|
+
|
|
224
|
+
def resource_url(ref: str, base: Path, root: Path, used: set[Path]) -> str:
|
|
225
|
+
target = local_file(ref, base, root)
|
|
226
|
+
if target is None:
|
|
227
|
+
return ref
|
|
228
|
+
mime = EMBEDDABLE.get(target.suffix.lower()) or mimetypes.guess_type(target.name)[0] or "application/octet-stream"
|
|
229
|
+
fragment = resource_parts(ref).fragment
|
|
230
|
+
return f"data:{mime};base64," + base64.b64encode(read_asset(target, used)).decode("ascii") + ("#" + fragment if fragment else "")
|
|
231
|
+
|
|
232
|
+
|
|
233
|
+
def apply_edits(content: str, edits: list[tuple[int, int, str]]) -> str:
|
|
234
|
+
for start, end, replacement in sorted(edits, reverse=True):
|
|
235
|
+
content = content[:start] + replacement + content[end:]
|
|
236
|
+
return content
|
|
237
|
+
|
|
238
|
+
|
|
239
|
+
def embed_css(css: str, base: Path, root: Path, used: set[Path], stack: tuple[Path, ...] = ()) -> str:
|
|
240
|
+
"""Rewrite actual CSS tokens only, including escaped url names and nested local imports."""
|
|
241
|
+
tokens = [m for m in CSS_TOKEN.finditer(css) if m.lastgroup not in ("comment", "space")]
|
|
242
|
+
edits = []
|
|
243
|
+
|
|
244
|
+
def closing(index):
|
|
245
|
+
depth = 0
|
|
246
|
+
for end in range(index, len(tokens)):
|
|
247
|
+
if tokens[end].lastgroup == "symbol":
|
|
248
|
+
if tokens[end].group() == "(":
|
|
249
|
+
depth += 1
|
|
250
|
+
elif tokens[end].group() == ")":
|
|
251
|
+
depth -= 1
|
|
252
|
+
if depth == 0:
|
|
253
|
+
return end
|
|
254
|
+
return len(tokens) - 1
|
|
255
|
+
|
|
256
|
+
def value(start, end):
|
|
257
|
+
raw = "".join(m.group() for m in CSS_TOKEN.finditer(css[start:end]) if m.lastgroup != "comment").strip()
|
|
258
|
+
if raw[:1] in ("'", '"') and raw[-1:] == raw[:1]:
|
|
259
|
+
raw = raw[1:-1]
|
|
260
|
+
return css_unescape(raw)
|
|
261
|
+
|
|
262
|
+
i = 0
|
|
263
|
+
while i < len(tokens):
|
|
264
|
+
token = tokens[i]
|
|
265
|
+
name = css_unescape(token.group()).lower() if token.lastgroup == "ident" else ""
|
|
266
|
+
if token.group() == "@" and i + 2 < len(tokens) and css_unescape(tokens[i + 1].group()).lower() == "import":
|
|
267
|
+
first = i + 2
|
|
268
|
+
last = first
|
|
269
|
+
if tokens[first].lastgroup == "string":
|
|
270
|
+
ref = value(tokens[first].start(), tokens[first].end())
|
|
271
|
+
elif css_unescape(tokens[first].group()).lower() == "url" and first + 1 < len(tokens) and tokens[first + 1].group() == "(":
|
|
272
|
+
last = closing(first + 1)
|
|
273
|
+
ref = value(tokens[first + 1].end(), tokens[last].start())
|
|
274
|
+
else:
|
|
275
|
+
raise ValueError('CSS @import 无法解析;请改为 @import "已有文件的绝对路径.css";')
|
|
276
|
+
end = last + 1
|
|
277
|
+
while end < len(tokens) and tokens[end].group() != ";":
|
|
278
|
+
if tokens[end].group() == "(":
|
|
279
|
+
end = closing(end)
|
|
280
|
+
end += 1
|
|
281
|
+
condition = css[tokens[last].end():tokens[end].start() if end < len(tokens) else len(css)].strip()
|
|
282
|
+
target = local_file(ref, base, root)
|
|
283
|
+
if target is None:
|
|
284
|
+
# Embedded imports have no local base; decode and check them as well.
|
|
285
|
+
if not ref.lower().startswith("data:text/css"):
|
|
286
|
+
raise ValueError('CSS @import 请使用本地 CSS 文件,例如 @import "./style.css";')
|
|
287
|
+
header, payload = ref.split(",", 1)
|
|
288
|
+
imported = (base64.b64decode(payload).decode("utf-8") if ";base64" in header.lower() else unquote(payload))
|
|
289
|
+
imported = embed_css(imported, base, root, used, stack)
|
|
290
|
+
elif target in stack:
|
|
291
|
+
imported = "" # Browsers ignore cyclic imports too.
|
|
292
|
+
else:
|
|
293
|
+
imported = embed_css(read_text_asset(target, used), target.parent, root, used, stack + (target,))
|
|
294
|
+
# Preserve import layer/supports/media conditions when moving the CSS inline.
|
|
295
|
+
wrappers = []
|
|
296
|
+
for keyword in ("layer", "supports"):
|
|
297
|
+
match = re.match(r"^" + keyword + r"\b", condition, re.I)
|
|
298
|
+
if not match:
|
|
299
|
+
continue
|
|
300
|
+
rest = condition[match.end():].lstrip()
|
|
301
|
+
argument = ""
|
|
302
|
+
if rest.startswith("("):
|
|
303
|
+
depth = 0
|
|
304
|
+
for pos, char in enumerate(rest):
|
|
305
|
+
depth += (char == "(") - (char == ")")
|
|
306
|
+
if depth == 0:
|
|
307
|
+
argument, rest = rest[1:pos], rest[pos + 1:].lstrip()
|
|
308
|
+
break
|
|
309
|
+
wrappers.append("@layer " + argument if keyword == "layer" else "@supports (" + argument + ")")
|
|
310
|
+
condition = rest
|
|
311
|
+
if condition:
|
|
312
|
+
wrappers.append("@media " + condition)
|
|
313
|
+
for wrapper in reversed(wrappers):
|
|
314
|
+
imported = wrapper + "{" + imported + "}"
|
|
315
|
+
edits.append((token.start(), tokens[end].end() if end < len(tokens) else len(css), imported))
|
|
316
|
+
i = end + 1
|
|
317
|
+
continue
|
|
318
|
+
if name in ("url", "image-set", "-webkit-image-set", "image", "src") and i + 1 < len(tokens) and tokens[i + 1].group() == "(":
|
|
319
|
+
end = closing(i + 1)
|
|
320
|
+
if name == "url":
|
|
321
|
+
ref = value(tokens[i + 1].end(), tokens[end].start())
|
|
322
|
+
url = resource_url(ref, base, root, used)
|
|
323
|
+
if url != ref:
|
|
324
|
+
edits.append((token.start(), tokens[end].end(), 'url("' + url + '")'))
|
|
325
|
+
i = end + 1
|
|
326
|
+
continue
|
|
327
|
+
depth = 0
|
|
328
|
+
for inner in tokens[i + 2:end]:
|
|
329
|
+
if inner.lastgroup == "symbol":
|
|
330
|
+
depth += (inner.group() == "(") - (inner.group() == ")")
|
|
331
|
+
if depth == 0 and inner.lastgroup == "string":
|
|
332
|
+
ref = value(inner.start(), inner.end())
|
|
333
|
+
url = resource_url(ref, base, root, used)
|
|
334
|
+
if url != ref:
|
|
335
|
+
edits.append((inner.start(), inner.end(), '"' + url + '"'))
|
|
336
|
+
i += 1
|
|
337
|
+
return apply_edits(css, edits)
|
|
338
|
+
|
|
339
|
+
|
|
340
|
+
def widest_candidate(srcset: str) -> str | None:
|
|
341
|
+
"""Largest "url 1200w" / "url 2x" entry of a srcset; an entry without a descriptor counts as 1x.
|
|
342
|
+
|
|
343
|
+
Parsed as the HTML spec does: a URL runs to the next whitespace, so data URLs keep their commas.
|
|
344
|
+
"""
|
|
345
|
+
best, best_size, i, n = None, -1.0, 0, len(srcset)
|
|
346
|
+
while i < n:
|
|
347
|
+
while i < n and (srcset[i].isspace() or srcset[i] == ","):
|
|
348
|
+
i += 1
|
|
349
|
+
start = i
|
|
350
|
+
while i < n and not srcset[i].isspace():
|
|
351
|
+
i += 1
|
|
352
|
+
url, descriptor = srcset[start:i], ""
|
|
353
|
+
if url.endswith(","):
|
|
354
|
+
url = url.rstrip(",")
|
|
355
|
+
else:
|
|
356
|
+
start = i
|
|
357
|
+
while i < n and srcset[i] != ",":
|
|
358
|
+
i += 1
|
|
359
|
+
descriptor = srcset[start:i].strip()
|
|
360
|
+
try:
|
|
361
|
+
size = float(descriptor[:-1]) if descriptor[-1:] in ("w", "x") else 1.0
|
|
362
|
+
except ValueError:
|
|
363
|
+
size = 1.0
|
|
364
|
+
if url and size > best_size:
|
|
365
|
+
best, best_size = url, size
|
|
366
|
+
return best
|
|
367
|
+
|
|
368
|
+
|
|
369
|
+
HTML_ATTR = re.compile(r"""(?P<lead>\s+(?P<name>[^\s=/>]+)\s*=\s*)(?:"(?P<double>[^"]*)"|'(?P<single>[^']*)'|(?P<bare>[^\s>]+))""")
|
|
370
|
+
|
|
371
|
+
|
|
372
|
+
class LocalAssets(HTMLParser):
|
|
373
|
+
"""Edit only real tags and styles, preserving comments, text and inline script bodies."""
|
|
374
|
+
|
|
375
|
+
def __init__(self, content: str, base: Path, root: Path, used: set[Path], interactive: bool, *, shell: bool = False):
|
|
376
|
+
super().__init__(convert_charrefs=False)
|
|
377
|
+
self.content, self.base, self.root, self.used = content, base, root, used
|
|
378
|
+
self.interactive = interactive
|
|
379
|
+
self.shell = shell
|
|
380
|
+
self.lines = content.split("\n")
|
|
381
|
+
self.edits = []
|
|
382
|
+
self.in_style = False
|
|
383
|
+
self.script = None
|
|
384
|
+
self.deferred = []
|
|
385
|
+
|
|
386
|
+
def char_index(self):
|
|
387
|
+
line, col = self.getpos()
|
|
388
|
+
return sum(len(part) + 1 for part in self.lines[:line - 1]) + col
|
|
389
|
+
|
|
390
|
+
def handle_starttag(self, tag, attrs):
|
|
391
|
+
attrs = dict(attrs)
|
|
392
|
+
raw = self.get_starttag_text()
|
|
393
|
+
start = self.char_index()
|
|
394
|
+
if tag == "link" and "stylesheet" in (attrs.get("rel") or "").lower().split() and attrs.get("href"):
|
|
395
|
+
target = local_file(attrs["href"], self.base, self.root)
|
|
396
|
+
if target is not None:
|
|
397
|
+
css = embed_css(read_text_asset(target, self.used), target.parent, self.root, self.used, (target,))
|
|
398
|
+
if attrs.get("media"):
|
|
399
|
+
css = "@media " + attrs["media"] + "{" + css + "}"
|
|
400
|
+
self.edits.append((start, start + len(raw), "<style>" + re.sub(r"</style", r"<\\/style", css, flags=re.I) + "</style>"))
|
|
401
|
+
return
|
|
402
|
+
if tag == "script" and attrs.get("src"):
|
|
403
|
+
target = local_file(attrs["src"], self.base, self.root)
|
|
404
|
+
if target is not None:
|
|
405
|
+
if self.interactive:
|
|
406
|
+
code = read_text_asset(target, self.used)
|
|
407
|
+
else:
|
|
408
|
+
read_asset(target, self.used)
|
|
409
|
+
code = ""
|
|
410
|
+
code = re.sub(r"</script", r"<\\/script", code, flags=re.I)
|
|
411
|
+
module = (attrs.get("type") or "").lower() == "module"
|
|
412
|
+
replacement = (('<script type="module">' if module else "<script>") + code + "</script>") if self.interactive else ""
|
|
413
|
+
if "defer" in attrs and not module:
|
|
414
|
+
# Inline scripts ignore defer; keep their original execution after the DOM.
|
|
415
|
+
self.deferred.append(replacement)
|
|
416
|
+
replacement = ""
|
|
417
|
+
self.script = (start, replacement)
|
|
418
|
+
return
|
|
419
|
+
if tag == "style":
|
|
420
|
+
self.in_style = True
|
|
421
|
+
|
|
422
|
+
def attribute(match):
|
|
423
|
+
name = match["name"].lower()
|
|
424
|
+
if self.shell and tag == "a" and name == "href":
|
|
425
|
+
return match.group() # Template navigation is not an offline resource dependency.
|
|
426
|
+
ref = unescape(next(match[group] for group in ("double", "single", "bare") if match[group] is not None))
|
|
427
|
+
has_src = bool((attrs.get("src") or "").strip())
|
|
428
|
+
if name == "src" and tag == "img" and not has_src and widest_candidate(attrs.get("srcset") or ""):
|
|
429
|
+
return "" # An empty src gives way to the srcset candidate below, so the tag keeps one src.
|
|
430
|
+
if name == "srcset" and tag == "img":
|
|
431
|
+
# The page shows one fixed size, so one file is enough: keep src, or take the widest candidate.
|
|
432
|
+
if has_src or not widest_candidate(ref):
|
|
433
|
+
return ""
|
|
434
|
+
return match["lead"].replace(match["name"], "src") + '"' + escape(resource_url(widest_candidate(ref), self.base, self.root, self.used), quote=True) + '"'
|
|
435
|
+
if name == "style":
|
|
436
|
+
result = embed_css(ref, self.base, self.root, self.used)
|
|
437
|
+
elif name in ("src", "poster", "data", "href", "xlink:href"):
|
|
438
|
+
result = resource_url(ref, self.base, self.root, self.used)
|
|
439
|
+
else:
|
|
440
|
+
return match.group()
|
|
441
|
+
return match.group() if result == ref else match["lead"] + '"' + escape(result, quote=True) + '"'
|
|
442
|
+
|
|
443
|
+
replacement = HTML_ATTR.sub(attribute, raw)
|
|
444
|
+
if replacement != raw:
|
|
445
|
+
self.edits.append((start, start + len(raw), replacement))
|
|
446
|
+
|
|
447
|
+
def handle_endtag(self, tag):
|
|
448
|
+
if tag == "style":
|
|
449
|
+
self.in_style = False
|
|
450
|
+
if tag == "script" and self.script is not None:
|
|
451
|
+
start, replacement = self.script
|
|
452
|
+
end = self.content.find(">", self.char_index()) + 1
|
|
453
|
+
self.edits.append((start, end, replacement))
|
|
454
|
+
self.script = None
|
|
455
|
+
|
|
456
|
+
def handle_data(self, data):
|
|
457
|
+
if self.in_style:
|
|
458
|
+
replacement = embed_css(data, self.base, self.root, self.used)
|
|
459
|
+
if replacement != data:
|
|
460
|
+
self.edits.append((self.char_index(), self.char_index() + len(data), replacement))
|
|
461
|
+
|
|
462
|
+
def result(self):
|
|
463
|
+
self.feed(self.content)
|
|
464
|
+
self.close()
|
|
465
|
+
if self.script is not None:
|
|
466
|
+
start, replacement = self.script
|
|
467
|
+
self.edits.append((start, len(self.content), replacement))
|
|
468
|
+
content = apply_edits(self.content, self.edits)
|
|
469
|
+
if self.deferred:
|
|
470
|
+
close = content.lower().rfind("</body>")
|
|
471
|
+
close = len(content) if close < 0 else close
|
|
472
|
+
content = content[:close] + "".join(self.deferred) + content[close:]
|
|
473
|
+
return content
|
|
474
|
+
|
|
475
|
+
|
|
476
|
+
def embed_local_files(content: str, base: Path, root: Path, used: set[Path]) -> str:
|
|
477
|
+
return LocalAssets(content, base, root, used, False, shell=True).result()
|
|
478
|
+
|
|
479
|
+
|
|
480
|
+
def ensure_head(content: str) -> str:
|
|
481
|
+
class Structure(HTMLParser):
|
|
482
|
+
def __init__(self):
|
|
483
|
+
super().__init__()
|
|
484
|
+
self.head = self.html = self.body = self.html_end = self.declaration = None
|
|
485
|
+
self.head_closed = False
|
|
486
|
+
|
|
487
|
+
def char_index(self):
|
|
488
|
+
line, col = self.getpos()
|
|
489
|
+
return sum(len(part) + 1 for part in content.split("\n")[:line - 1]) + col
|
|
490
|
+
|
|
491
|
+
def handle_starttag(self, tag, attrs):
|
|
492
|
+
if tag == "head" and self.head is None:
|
|
493
|
+
self.head = self.char_index() + len(self.get_starttag_text())
|
|
494
|
+
if tag == "html" and self.html is None:
|
|
495
|
+
self.html = self.char_index() + len(self.get_starttag_text())
|
|
496
|
+
if tag == "body" and self.body is None:
|
|
497
|
+
self.body = self.char_index()
|
|
498
|
+
|
|
499
|
+
def handle_endtag(self, tag):
|
|
500
|
+
if tag == "head":
|
|
501
|
+
self.head_closed = True
|
|
502
|
+
if tag == "html":
|
|
503
|
+
self.html_end = self.char_index()
|
|
504
|
+
|
|
505
|
+
def handle_startendtag(self, tag, attrs):
|
|
506
|
+
self.handle_starttag(tag, attrs)
|
|
507
|
+
if tag != "head": # HTML does not allow a self-closing head.
|
|
508
|
+
self.handle_endtag(tag)
|
|
509
|
+
|
|
510
|
+
def handle_decl(self, decl):
|
|
511
|
+
self.declaration = self.char_index() + len(decl) + 3
|
|
512
|
+
|
|
513
|
+
parser = Structure()
|
|
514
|
+
parser.feed(content)
|
|
515
|
+
if parser.head is None:
|
|
516
|
+
at = parser.html if parser.html is not None else parser.declaration or 0
|
|
517
|
+
return content[:at] + "<head></head>" + content[at:]
|
|
518
|
+
if not parser.head_closed:
|
|
519
|
+
at = next((pos for pos in (parser.body, parser.html_end) if pos is not None and pos >= parser.head), len(content))
|
|
520
|
+
return content[:at] + "</head>" + content[at:]
|
|
521
|
+
return content
|
|
522
|
+
|
|
523
|
+
|
|
524
|
+
def prepare_html(path: Path, interactive: bool = False, root: Path | None = None, used: set[Path] | None = None) -> str:
|
|
525
|
+
path = path.resolve()
|
|
526
|
+
used = used if used is not None else set()
|
|
527
|
+
content = read_text_asset(path, used)
|
|
528
|
+
content = ensure_head(content)
|
|
529
|
+
content = LocalAssets(content, path.parent, root or path.parent, used, interactive).result()
|
|
530
|
+
parser = AssetCheck()
|
|
531
|
+
parser.feed(content)
|
|
532
|
+
for style in parser.styles:
|
|
533
|
+
check_css(style, path.name)
|
|
534
|
+
(line, column), start_tag = parser.head_position
|
|
535
|
+
head_end = sum(len(part) + 1 for part in content.split('\n')[:line - 1]) + column + len(start_tag)
|
|
536
|
+
meta = f'<meta http-equiv="Content-Security-Policy" content="{preview_csp(interactive)}">'
|
|
537
|
+
return content[:head_end] + meta + (STORAGE_SHIM if interactive else "") + content[head_end:]
|
|
538
|
+
|
|
539
|
+
|
|
540
|
+
def prepare_image(path: Path, used: set[Path] | None = None) -> str:
|
|
541
|
+
data = read_asset(path, used if used is not None else set())
|
|
542
|
+
if data.startswith(b"\x89PNG\r\n\x1a\n"):
|
|
543
|
+
mime = "image/png"
|
|
544
|
+
elif data.startswith(b"\xff\xd8\xff"):
|
|
545
|
+
mime = "image/jpeg"
|
|
546
|
+
elif data.startswith(b"RIFF") and data[8:12] == b"WEBP":
|
|
547
|
+
mime = "image/webp"
|
|
548
|
+
else:
|
|
549
|
+
raise ValueError(f"{path.name}: 静态预览支持 PNG、JPEG 和 WebP")
|
|
550
|
+
return f"data:{mime};base64," + base64.b64encode(data).decode("ascii")
|
|
551
|
+
|
|
552
|
+
|
|
553
|
+
LOOPBACK = {"localhost", "127.0.0.1", "::1"}
|
|
554
|
+
|
|
555
|
+
|
|
556
|
+
def local_url(value: str, label: str) -> str:
|
|
557
|
+
"""Live candidates only point at a dev server on this machine."""
|
|
558
|
+
try:
|
|
559
|
+
parts = urlsplit(value)
|
|
560
|
+
parts.port # Reject malformed ports before generating CSP origins.
|
|
561
|
+
except ValueError:
|
|
562
|
+
raise ValueError(f"{label}必须是有效的本机 http(s) 地址,收到的是 {value}") from None
|
|
563
|
+
if parts.scheme not in ("http", "https") or (parts.hostname or "").lower() not in LOOPBACK or parts.username or parts.password:
|
|
564
|
+
raise ValueError(f"{label}只能是本机开发服务器地址,例如 http://localhost:5173/orders;收到的是 {value}")
|
|
565
|
+
return value
|
|
566
|
+
|
|
567
|
+
|
|
568
|
+
HEX_COLOR = re.compile(r"#(?:[0-9a-fA-F]{8}|[0-9a-fA-F]{6}|[0-9a-fA-F]{4}|[0-9a-fA-F]{3})(?![0-9a-zA-Z_])")
|
|
569
|
+
|
|
570
|
+
|
|
571
|
+
def palette(value, where: str) -> list[str]:
|
|
572
|
+
colors = HEX_COLOR.findall(json.dumps(value, ensure_ascii=False))
|
|
573
|
+
if not colors:
|
|
574
|
+
raise ValueError(f'{where}palette 没有可用的十六进制颜色,收到的是 {json.dumps(value, ensure_ascii=False)};'
|
|
575
|
+
'请改为 "palette": ["#1a2b3c", "#ffffff"]')
|
|
576
|
+
return colors
|
|
577
|
+
|
|
578
|
+
|
|
579
|
+
def native_viewport(value, where: str) -> dict:
|
|
580
|
+
"""Normalize a fixed canvas without changing manifests that omit it."""
|
|
581
|
+
dimensions = None
|
|
582
|
+
if isinstance(value, str):
|
|
583
|
+
match = re.fullmatch(r"\s*(\d+)\s*[xX×]\s*(\d+)\s*", value)
|
|
584
|
+
if match:
|
|
585
|
+
dimensions = [int(part) for part in match.groups()]
|
|
586
|
+
elif isinstance(value, dict):
|
|
587
|
+
dimensions = [value.get("width"), value.get("height")]
|
|
588
|
+
if dimensions and all(isinstance(n, (int, float)) and not isinstance(n, bool)
|
|
589
|
+
and 0 < n <= 2**53 - 1 and n == int(n) for n in dimensions):
|
|
590
|
+
return dict(zip(("width", "height"), map(int, dimensions)))
|
|
591
|
+
raise ValueError(f'{where}nativeViewport 必须是正整数宽高;收到的是 {json.dumps(value, ensure_ascii=False)};'
|
|
592
|
+
'例如 "1920x1080"、"1920×1080" 或 {"width":1920,"height":1080}')
|
|
593
|
+
|
|
594
|
+
|
|
595
|
+
def read_manifest(path: Path) -> dict:
|
|
596
|
+
if not path.is_file():
|
|
597
|
+
raise ValueError(f"找不到 manifest:{path}。先在任务目录里写好 manifest.json,字段见 references/style-explorer.md 的“准备输入”")
|
|
598
|
+
try:
|
|
599
|
+
raw = json.loads(path.read_text(encoding="utf-8"))
|
|
600
|
+
except json.JSONDecodeError as exc:
|
|
601
|
+
raise ValueError(f"manifest 不是合法的 JSON:第 {exc.lineno} 行第 {exc.colno} 列,{exc.msg}") from None
|
|
602
|
+
if not isinstance(raw, dict):
|
|
603
|
+
raise ValueError("manifest 的最外层必须是一个对象,里面有 candidates 数组")
|
|
604
|
+
return raw
|
|
605
|
+
|
|
606
|
+
|
|
607
|
+
class HTMLTitle(HTMLParser):
|
|
608
|
+
def __init__(self):
|
|
609
|
+
super().__init__()
|
|
610
|
+
self.in_title = False
|
|
611
|
+
self.parts: list[str] = []
|
|
612
|
+
|
|
613
|
+
def handle_starttag(self, tag: str, attrs: list) -> None:
|
|
614
|
+
if tag.lower() == "title":
|
|
615
|
+
self.in_title = True
|
|
616
|
+
|
|
617
|
+
def handle_endtag(self, tag: str) -> None:
|
|
618
|
+
if tag.lower() == "title":
|
|
619
|
+
self.in_title = False
|
|
620
|
+
|
|
621
|
+
def handle_data(self, data: str) -> None:
|
|
622
|
+
if self.in_title:
|
|
623
|
+
self.parts.append(data)
|
|
624
|
+
|
|
625
|
+
|
|
626
|
+
def inferred_name(kind: str, source: Path | None, url: str | None, index: int) -> str:
|
|
627
|
+
if source and kind == "html":
|
|
628
|
+
try:
|
|
629
|
+
title = HTMLTitle()
|
|
630
|
+
title.feed(read_text_asset(source, set()))
|
|
631
|
+
value = " ".join("".join(title.parts).split())
|
|
632
|
+
if value:
|
|
633
|
+
return value
|
|
634
|
+
except (OSError, UnicodeError, ValueError):
|
|
635
|
+
pass
|
|
636
|
+
if source:
|
|
637
|
+
return source.stem
|
|
638
|
+
if url:
|
|
639
|
+
parts = urlsplit(url)
|
|
640
|
+
return Path(unquote(parts.path)).stem or parts.hostname or f"候选 {index}"
|
|
641
|
+
return f"候选 {index}"
|
|
642
|
+
|
|
643
|
+
|
|
644
|
+
def _load_manifest_data(raw: dict, path: Path, *, include_manifest: bool) -> tuple[dict, set[Path]]:
|
|
645
|
+
problems: list[str] = []
|
|
646
|
+
|
|
647
|
+
def attempt(check):
|
|
648
|
+
"""Run one check; keep its message and carry on so the rest still gets checked."""
|
|
649
|
+
try:
|
|
650
|
+
return check()
|
|
651
|
+
except ValueError as exc:
|
|
652
|
+
problems.append(str(exc))
|
|
653
|
+
return None
|
|
654
|
+
|
|
655
|
+
if "schemaVersion" in raw and raw["schemaVersion"] != 1:
|
|
656
|
+
problems.append("manifest.schemaVersion 必须为 1")
|
|
657
|
+
data = {"schemaVersion": 1}
|
|
658
|
+
for name, default in (("project", None), ("brief", None), ("round", "01")):
|
|
659
|
+
if name in raw or default is not None:
|
|
660
|
+
value = attempt(lambda: text_field(raw, name, default=default, where="manifest."))
|
|
661
|
+
if value is not None:
|
|
662
|
+
data[name] = value
|
|
663
|
+
if "lang" in raw:
|
|
664
|
+
if raw["lang"] not in ("zh", "en"):
|
|
665
|
+
problems.append('manifest.lang 只能是 "zh" 或 "en"')
|
|
666
|
+
data["lang"] = raw["lang"]
|
|
667
|
+
if "serve" in raw:
|
|
668
|
+
serve = raw["serve"]
|
|
669
|
+
if not isinstance(serve, dict):
|
|
670
|
+
problems.append("serve 必须是对象,例如 {\"command\": \"pnpm dev\", \"cwd\": \"/项目的绝对路径\", \"url\": \"http://localhost:3000\"}")
|
|
671
|
+
else:
|
|
672
|
+
if not isinstance(serve.get("command"), str) or not serve["command"].strip():
|
|
673
|
+
problems.append("serve.command 必须是非空字符串")
|
|
674
|
+
if "cwd" in serve and (not isinstance(serve["cwd"], str) or not Path(serve["cwd"]).is_absolute()):
|
|
675
|
+
problems.append("serve.cwd 必须是绝对路径")
|
|
676
|
+
if "url" in serve:
|
|
677
|
+
if not isinstance(serve["url"], str) or not serve["url"].strip():
|
|
678
|
+
problems.append("serve.url 必须是非空的本机 http(s) 地址")
|
|
679
|
+
else:
|
|
680
|
+
attempt(lambda: local_url(serve["url"], "serve.url "))
|
|
681
|
+
data["serve"] = serve
|
|
682
|
+
candidates = raw.get("candidates")
|
|
683
|
+
if not isinstance(candidates, list) or not candidates:
|
|
684
|
+
problems.append("candidates 至少需要一个候选")
|
|
685
|
+
candidates = []
|
|
686
|
+
seen = set()
|
|
687
|
+
reserved = {c.get("id", "").strip() for c in candidates
|
|
688
|
+
if isinstance(c, dict) and isinstance(c.get("id"), str) and c.get("id", "").strip()}
|
|
689
|
+
inputs = {TEMPLATE.resolve()}
|
|
690
|
+
if include_manifest:
|
|
691
|
+
inputs.add(path.resolve())
|
|
692
|
+
output = []
|
|
693
|
+
viewport = None
|
|
694
|
+
if "nativeViewport" in raw:
|
|
695
|
+
affected = "、".join(str(c.get("id", i)) for i, c in enumerate(candidates, 1)
|
|
696
|
+
if isinstance(c, dict) and "nativeViewport" not in c)
|
|
697
|
+
where = f"manifest(用于候选 {affected}):" if affected else "manifest."
|
|
698
|
+
viewport = attempt(lambda: native_viewport(raw["nativeViewport"], where))
|
|
699
|
+
for index, candidate in enumerate(candidates, 1):
|
|
700
|
+
if not isinstance(candidate, dict):
|
|
701
|
+
problems.append(f"第 {index} 个候选必须是对象")
|
|
702
|
+
continue
|
|
703
|
+
before = len(problems)
|
|
704
|
+
identifier = candidate.get("id")
|
|
705
|
+
if identifier is None:
|
|
706
|
+
identifier = f"candidate-{index}"
|
|
707
|
+
suffix = 2
|
|
708
|
+
while identifier in reserved or identifier in seen:
|
|
709
|
+
identifier = f"candidate-{index}-{suffix}"
|
|
710
|
+
suffix += 1
|
|
711
|
+
else:
|
|
712
|
+
if not isinstance(identifier, str) or not identifier.strip():
|
|
713
|
+
problems.append(f"第 {index} 个候选 id 必须是非空字符串")
|
|
714
|
+
identifier = None
|
|
715
|
+
else:
|
|
716
|
+
identifier = identifier.strip()
|
|
717
|
+
if not re.fullmatch(r"[a-z0-9][a-z0-9_-]{0,63}", identifier):
|
|
718
|
+
problems.append(f'候选 id "{identifier}" 无效:只用小写字母、数字、连字符和下划线,以字母或数字开头,例如 "a" 或 "dir-2"')
|
|
719
|
+
elif identifier in seen:
|
|
720
|
+
problems.append(f'候选 id "{identifier}" 重复了,每个候选要用不同的 id')
|
|
721
|
+
seen.add(identifier)
|
|
722
|
+
where = f"候选 {identifier}:" if identifier else f"第 {index} 个候选:"
|
|
723
|
+
candidate_viewport = (attempt(lambda: native_viewport(candidate["nativeViewport"], where))
|
|
724
|
+
if "nativeViewport" in candidate else viewport)
|
|
725
|
+
kind = candidate.get("kind", "html")
|
|
726
|
+
if kind not in ("html", "image", "url"):
|
|
727
|
+
problems.append(f'{where}kind 只能是 "html"、"image" 或 "url",收到的是 {json.dumps(kind, ensure_ascii=False)}')
|
|
728
|
+
kind = None
|
|
729
|
+
baseline = candidate.get("baseline", False)
|
|
730
|
+
interactive = candidate.get("interactive", False)
|
|
731
|
+
if not isinstance(baseline, bool) or not isinstance(interactive, bool):
|
|
732
|
+
problems.append(f"{where}baseline 和 interactive 必须是 true 或 false")
|
|
733
|
+
elif interactive and kind not in ("html", None):
|
|
734
|
+
problems.append(f"{where}interactive 只用于 html 候选")
|
|
735
|
+
source = url = None
|
|
736
|
+
if kind == "url":
|
|
737
|
+
url = attempt(lambda: local_url(text_field(candidate, "url", where=where), f"{where}url "))
|
|
738
|
+
elif kind:
|
|
739
|
+
name = attempt(lambda: text_field(candidate, "source", where=where))
|
|
740
|
+
if name:
|
|
741
|
+
def source_file():
|
|
742
|
+
try:
|
|
743
|
+
# source is a filesystem path, so literal #, ? and % retain their old meaning.
|
|
744
|
+
direct = (path.parent / name).resolve()
|
|
745
|
+
if direct.is_file():
|
|
746
|
+
return direct
|
|
747
|
+
target = local_file(name, path.parent, path.parent)
|
|
748
|
+
if target is None:
|
|
749
|
+
raise ValueError('请指向本地文件,例如 "source": "./a.html"')
|
|
750
|
+
return target
|
|
751
|
+
except ValueError as exc:
|
|
752
|
+
raise ValueError(f"{where}source {exc}") from None
|
|
753
|
+
source = attempt(source_file)
|
|
754
|
+
if source:
|
|
755
|
+
inputs.add(source)
|
|
756
|
+
colors = attempt(lambda: palette(candidate.get("palette"), where)) if "palette" in candidate else None
|
|
757
|
+
texts = {name: attempt(lambda name=name: text_field(candidate, name, where=where))
|
|
758
|
+
for name in ("concept", "typography") if name in candidate}
|
|
759
|
+
candidate_name = (attempt(lambda: text_field(candidate, "name", where=where))
|
|
760
|
+
if "name" in candidate else None)
|
|
761
|
+
traits = attempt(lambda: text_list(candidate, "traits", where=where)) if "traits" in candidate else None
|
|
762
|
+
if len(problems) > before:
|
|
763
|
+
continue
|
|
764
|
+
try:
|
|
765
|
+
content = url if kind == "url" else prepare_html(source, interactive, path.parent, inputs) if kind == "html" else prepare_image(source, inputs)
|
|
766
|
+
except ValueError as exc:
|
|
767
|
+
message = str(exc)
|
|
768
|
+
if message.startswith(f"{source.name}: "):
|
|
769
|
+
message = message[len(source.name) + 2:]
|
|
770
|
+
problems.append(f"{where}{source.name} {message}" if source else f"{where}{message}")
|
|
771
|
+
continue
|
|
772
|
+
if candidate_name is None:
|
|
773
|
+
candidate_name = inferred_name(kind, source, url, index)
|
|
774
|
+
output.append({
|
|
775
|
+
"id": identifier, "name": candidate_name, **texts,
|
|
776
|
+
**({"palette": colors} if colors is not None else {}),
|
|
777
|
+
**({"traits": traits} if traits is not None else {}), "kind": kind,
|
|
778
|
+
"content": content,
|
|
779
|
+
"sourceLabel": url if kind == "url" else source.name,
|
|
780
|
+
"baseline": baseline,
|
|
781
|
+
"interactive": interactive,
|
|
782
|
+
**({"nativeViewport": candidate_viewport} if candidate_viewport else {}),
|
|
783
|
+
})
|
|
784
|
+
if sum(c["baseline"] for c in output) > 1:
|
|
785
|
+
problems.append("最多只能有一个基线候选(baseline: true)")
|
|
786
|
+
if problems:
|
|
787
|
+
raise ManifestError(problems)
|
|
788
|
+
# The current version always sits first so every direction is read against it.
|
|
789
|
+
output.sort(key=lambda c: not c["baseline"])
|
|
790
|
+
data["candidates"] = output
|
|
791
|
+
canonical = json.dumps(data, ensure_ascii=False, sort_keys=True, separators=(",", ":"))
|
|
792
|
+
data["fingerprint"] = hashlib.sha256(canonical.encode("utf-8")).hexdigest()[:24]
|
|
793
|
+
return data, inputs
|
|
794
|
+
|
|
795
|
+
|
|
796
|
+
def load_manifest(path: Path) -> tuple[dict, set[Path]]:
|
|
797
|
+
path = path.resolve()
|
|
798
|
+
return _load_manifest_data(read_manifest(path), path, include_manifest=True)
|
|
799
|
+
|
|
800
|
+
|
|
801
|
+
def load_html_files(sources: list[Path]) -> tuple[dict, set[Path]]:
|
|
802
|
+
if not sources:
|
|
803
|
+
raise ValueError("目录里找不到候选 HTML")
|
|
804
|
+
sources = [source.resolve() for source in sources]
|
|
805
|
+
anchor = sources[0].parent / ".oil-ui-explorer-input.json"
|
|
806
|
+
raw = {"candidates": [{"source": str(source)} for source in sources]}
|
|
807
|
+
return _load_manifest_data(raw, anchor, include_manifest=False)
|
|
808
|
+
|
|
809
|
+
|
|
810
|
+
def load_input(source: Path | list[Path]) -> tuple[dict, set[Path]]:
|
|
811
|
+
sources = [source] if isinstance(source, Path) else source
|
|
812
|
+
if len(sources) > 1:
|
|
813
|
+
if any(path.suffix.lower() not in (".html", ".htm") for path in sources):
|
|
814
|
+
raise ValueError("多个输入都必须是 HTML 文件")
|
|
815
|
+
return load_html_files(sources)
|
|
816
|
+
path = sources[0].resolve()
|
|
817
|
+
if path.is_dir():
|
|
818
|
+
manifest = path / "manifest.json"
|
|
819
|
+
if manifest.is_file():
|
|
820
|
+
return load_manifest(manifest)
|
|
821
|
+
pages = sorted(p for p in path.iterdir()
|
|
822
|
+
if p.is_file() and p.suffix.lower() in (".html", ".htm")
|
|
823
|
+
and p.name.lower() != "style-explorer.html")
|
|
824
|
+
return load_html_files(pages)
|
|
825
|
+
if path.name.lower() == "manifest.json":
|
|
826
|
+
return load_manifest(path)
|
|
827
|
+
if path.suffix.lower() == ".json":
|
|
828
|
+
return load_manifest(path)
|
|
829
|
+
if path.suffix.lower() in (".html", ".htm"):
|
|
830
|
+
return load_html_files([path])
|
|
831
|
+
raise ValueError(f"输入应是候选目录、HTML 文件或 manifest.json:{path}")
|
|
832
|
+
|
|
833
|
+
|
|
834
|
+
def build(source: Path | list[Path], output: Path, *, force: bool = False) -> dict:
|
|
835
|
+
output = output.resolve()
|
|
836
|
+
data, inputs = load_input(source)
|
|
837
|
+
if output in inputs or output.is_relative_to(SKILL_ROOT):
|
|
838
|
+
raise ValueError("输出不能覆盖输入或写进 Skill 安装目录")
|
|
839
|
+
if output.exists() and not force:
|
|
840
|
+
raise FileExistsError(f"输出已存在:{output}。要更新它就加 --force,要保留它就用 --output 换一个路径")
|
|
841
|
+
template = embed_local_files(TEMPLATE.read_text(encoding="utf-8"), TEMPLATE.parent, SKILL_ROOT, inputs)
|
|
842
|
+
skill_file = SKILL_ROOT / "SKILL.md"
|
|
843
|
+
skill = skill_file.read_text(encoding="utf-8") if skill_file.is_file() else ""
|
|
844
|
+
data["edition"] = "pro" if re.search(r"^name:\s*oil-ui-pro\s*$", skill, re.MULTILINE) else "open"
|
|
845
|
+
if template.count(MARKER) != 1:
|
|
846
|
+
raise ValueError("模板数据入口缺失或重复")
|
|
847
|
+
if template.count(CONNECT_CSP) != 1:
|
|
848
|
+
raise ValueError("模板连接策略入口缺失或重复")
|
|
849
|
+
origins = set()
|
|
850
|
+
for candidate in data["candidates"]:
|
|
851
|
+
if candidate["kind"] == "url":
|
|
852
|
+
parts = urlsplit(candidate["content"])
|
|
853
|
+
# Browsers reject IPv6 literals in CSP source lists; probe their loopback alias.
|
|
854
|
+
host = "localhost" if parts.hostname == "::1" else parts.hostname.lower()
|
|
855
|
+
port = f":{parts.port}" if parts.port is not None else ""
|
|
856
|
+
origins.add(f"{parts.scheme}://{host}{port}")
|
|
857
|
+
connect_csp = "connect-src " + (" ".join(sorted(origins)) if origins else "'none'")
|
|
858
|
+
# A closing script tag in metadata or a nested candidate cannot escape the container.
|
|
859
|
+
payload = json.dumps(data, ensure_ascii=False).replace("<", "\\u003c").replace("\u2028", "\\u2028").replace("\u2029", "\\u2029")
|
|
860
|
+
page = template.replace(CONNECT_CSP, connect_csp).replace(MARKER, payload)
|
|
861
|
+
output.parent.mkdir(parents=True, exist_ok=True)
|
|
862
|
+
if force:
|
|
863
|
+
temp = None
|
|
864
|
+
try:
|
|
865
|
+
with tempfile.NamedTemporaryFile(mode="w", encoding="utf-8", dir=output.parent, delete=False) as handle:
|
|
866
|
+
temp = Path(handle.name)
|
|
867
|
+
handle.write(page)
|
|
868
|
+
temp.replace(output)
|
|
869
|
+
finally:
|
|
870
|
+
if temp and temp.exists():
|
|
871
|
+
temp.unlink()
|
|
872
|
+
else:
|
|
873
|
+
with output.open("x", encoding="utf-8") as handle:
|
|
874
|
+
handle.write(page)
|
|
875
|
+
if origins and "serve" not in data:
|
|
876
|
+
print("提醒:本轮包含 url 候选,建议在 manifest 顶层补上 serve 启动方式,方便重新打开对比页。", file=sys.stderr)
|
|
877
|
+
return {"output": str(output), "candidates": len(data["candidates"]), "fingerprint": data["fingerprint"], "bytes": output.stat().st_size}
|
|
878
|
+
|
|
879
|
+
|
|
880
|
+
HELP_EPILOG = """\
|
|
881
|
+
用法示例:
|
|
882
|
+
python3 build_explorer.py <候选目录>
|
|
883
|
+
python3 build_explorer.py a.html b.html c.html
|
|
884
|
+
python3 build_explorer.py <manifest.json>
|
|
885
|
+
默认在输入旁生成 style-explorer.html;已有同名文件时加 --force 覆盖,
|
|
886
|
+
或用 --output 指定文件名。
|
|
887
|
+
|
|
888
|
+
最简单的 manifest.json:
|
|
889
|
+
{"candidates": [{"source": "a.html"}, {"source": "b.html"}]}
|
|
890
|
+
source 是唯一必填字段。名称默认取 HTML 的 <title>,没有标题时取文件名。
|
|
891
|
+
manifest 里的方向字段可补概念、字体、颜色和特征说明;省略的项目不会显示。
|
|
892
|
+
|
|
893
|
+
可选字段:
|
|
894
|
+
schemaVersion 顶层 manifest 版本号,省略时按 1。
|
|
895
|
+
lang 顶层。"zh" 或 "en",只决定对比页外壳的语言;省略时按浏览器语言。
|
|
896
|
+
round 顶层。轮次,例如 "01",会出现在用户复制的选择里。
|
|
897
|
+
nativeViewport 固定画布的原生视口。写在顶层对所有候选生效,写在候选里只对它生效。
|
|
898
|
+
认 "1920x1080"、"1920×1080" 和 {"width": 1920, "height": 1080}。
|
|
899
|
+
省略时用默认视口:桌面 1280×900,手机 390×844。
|
|
900
|
+
kind 候选。"html"(默认)、"image"(source 指向 PNG、JPEG 或 WebP),
|
|
901
|
+
或 "url"(用 url 字段代替 source,指向本机开发服务器上的页面,
|
|
902
|
+
只认 localhost、127.0.0.1 和 ::1)。
|
|
903
|
+
serve 顶层。有 url 候选时写下启动方式:
|
|
904
|
+
{"command": "<启动命令>", "cwd": "<项目的绝对路径>", "url": "<服务地址>"}
|
|
905
|
+
interactive 候选。true 表示可操作的小样:单个 HTML,脚本内联。它不能联网,
|
|
906
|
+
也不能加载外部文件;浏览器存储在页面关闭后清空;alert、confirm
|
|
907
|
+
这类系统弹窗不会出现,需要确认时用页面内的对话框。
|
|
908
|
+
baseline 候选。true 表示现状,排在第一位,编号显示为“现状”,每轮最多一个。
|
|
909
|
+
|
|
910
|
+
候选文件的要求:
|
|
911
|
+
输入可以是候选目录、一个或多个 HTML 文件,或 manifest.json。目录里有 manifest.json 时会读取它补充方向信息。
|
|
912
|
+
source 按 manifest 所在目录解析;图片、字体、视频、CSS 和脚本按引用它的文件
|
|
913
|
+
所在目录解析,也支持绝对路径和目录外的本地文件,生成器会自动内嵌。
|
|
914
|
+
单文件上限 20 MiB,输入文件总量上限 100 MiB;不引用网络资源。
|
|
915
|
+
HTML 缺少 head 时自动补上;不运行脚本也要显示出内容
|
|
916
|
+
(interactive 和 url 候选除外)。
|
|
917
|
+
img 的 srcset 只取一张:有 src 用 src,否则取最宽的那张。不认 iframe、object、embed 和 <picture><source>:
|
|
918
|
+
改成一张用相对路径引用的 <img>,或者直接用截图做图片候选。
|
|
919
|
+
id 用小写字母、数字、连字符或下划线,不重复;palette 推荐用十六进制色值数组,
|
|
920
|
+
也能从描述文字中提取颜色,一个有效色值都没有时才报错。
|
|
921
|
+
|
|
922
|
+
需要 Python 3.10 或更新版本。产物不能写进 Skill 目录。Skill 更新以后,
|
|
923
|
+
已经生成的对比页不会跟着变,用原来的 manifest 加 --force 重新生成。
|
|
924
|
+
写错时会把 manifest 里所有要改的地方一次列出来,旧的对比页不会被改动。
|
|
925
|
+
成功时在标准输出打印一行 JSON:output、candidates、fingerprint、bytes。"""
|
|
926
|
+
|
|
927
|
+
|
|
928
|
+
def utf8_output() -> None:
|
|
929
|
+
"""管道另一头的 Agent 按 UTF-8 读;控制台的代码页可能连中文都没有。"""
|
|
930
|
+
for stream in (sys.stdout, sys.stderr):
|
|
931
|
+
if hasattr(stream, "reconfigure") and not stream.isatty():
|
|
932
|
+
stream.reconfigure(encoding="utf-8")
|
|
933
|
+
|
|
934
|
+
|
|
935
|
+
def main(argv: list[str] | None = None) -> int:
|
|
936
|
+
utf8_output()
|
|
937
|
+
if sys.version_info < (3, 10):
|
|
938
|
+
print("需要 Python 3.10 或更新版本", file=sys.stderr)
|
|
939
|
+
return 2
|
|
940
|
+
parser = argparse.ArgumentParser(description="把候选页面组装成一个可以离线打开的风格对比页",
|
|
941
|
+
epilog=HELP_EPILOG, formatter_class=argparse.RawDescriptionHelpFormatter)
|
|
942
|
+
parser.add_argument("inputs", type=Path, nargs="+", help="候选目录、HTML 文件或 manifest.json")
|
|
943
|
+
parser.add_argument("--output", type=Path, help="输出的 HTML 路径;不写时是输入旁边的 style-explorer.html")
|
|
944
|
+
parser.add_argument("--force", action="store_true", help="输出文件已经存在时覆盖它")
|
|
945
|
+
args = parser.parse_args(argv)
|
|
946
|
+
first = args.inputs[0].resolve()
|
|
947
|
+
output_dir = first if first.is_dir() else first.parent
|
|
948
|
+
output = args.output or output_dir / "style-explorer.html"
|
|
949
|
+
try:
|
|
950
|
+
print(json.dumps(build(args.inputs, output, force=args.force), ensure_ascii=False))
|
|
951
|
+
return 0
|
|
952
|
+
except (OSError, ValueError, TypeError) as exc:
|
|
953
|
+
print(f"未生成对比页:{exc}", file=sys.stderr)
|
|
954
|
+
return 1
|
|
955
|
+
|
|
956
|
+
|
|
957
|
+
if __name__ == "__main__":
|
|
958
|
+
raise SystemExit(main())
|