pi-pstack-native 0.0.0-stage → 1.0.0

package/docs/upstream-target-0.15.36.json

@@ -0,0 +1,3456 @@
+{
+  "schemaVersion": 1,
+  "repository": "cursor/plugins",
+  "path": "pstack",
+  "version": "0.15.36",
+  "commit": "c742dd61706fbacc1b95f1a20b7b988cf096ce6c",
+  "treeTruncated": false,
+  "source": {
+    "commitAPI": "https://api.github.com/repos/cursor/plugins/commits/c742dd61706fbacc1b95f1a20b7b988cf096ce6c",
+    "treeAPI": "https://api.github.com/repos/cursor/plugins/git/trees/c742dd61706fbacc1b95f1a20b7b988cf096ce6c?recursive=1",
+    "manifest": "https://raw.githubusercontent.com/cursor/plugins/c742dd61706fbacc1b95f1a20b7b988cf096ce6c/pstack/.cursor-plugin/plugin.json",
+    "recordedWith": "git ls-tree and independently hash every checked out blob"
+  },
+  "blobDigest": "44d926c3b018434eb9ae6ab24354bda5fd158a7eda1565401fe75de4acddce9f",
+  "pstackBlobCount": 573,
+  "blobs": [
+    {
+      "path": ".cursor-plugin/plugin.json",
+      "blob": "1295f46878218d568a037344877f0b603a887696",
+      "mode": "100644",
+      "size": 722
+    },
+    {
+      "path": ".gitignore",
+      "blob": "aafcb345668bd80cbb256b066898d4df8988da0e",
+      "mode": "100644",
+      "size": 30
+    },
+    {
+      "path": "agents/comment-sicko.md",
+      "blob": "209e3704dfa75022060c936bd3f3362fa3bbe254",
+      "mode": "100644",
+      "size": 2230
+    },
+    {
+      "path": "agents/poteto-agent.md",
+      "blob": "e1d2df2e8c3c4954b87ee1b29655c898bc7ee699",
+      "mode": "100644",
+      "size": 1316
+    },
+    {
+      "path": "assets/logo.png",
+      "blob": "3754e87cb0e1362f17428bc84c661166ee145156",
+      "mode": "100644",
+      "size": 361140
+    },
+    {
+      "path": "automations/benny/FOR_AGENTS.md",
+      "blob": "e732156e9b88b463e4a40c0f51596bca4aedcdb4",
+      "mode": "100644",
+      "size": 7460
+    },
+    {
+      "path": "automations/benny/README.md",
+      "blob": "76804c8c566aae1a70734725416ae2f251a7ae30",
+      "mode": "100644",
+      "size": 1321
+    },
+    {
+      "path": "automations/benny/skills/reproduce-and-fix-issues/references/control-adapter.md",
+      "blob": "3399491eddbc458f3a7ceb6fd62b8f89266b07ef",
+      "mode": "100644",
+      "size": 5517
+    },
+    {
+      "path": "automations/benny/skills/reproduce-and-fix-issues/references/feature-map.example.md",
+      "blob": "620ddedba3c13d603974b1d78754e36946dacf81",
+      "mode": "100644",
+      "size": 5646
+    },
+    {
+      "path": "automations/benny/skills/reproduce-and-fix-issues/references/verify-existing-fix.md",
+      "blob": "e3cda3c06a48432fd932b32318ade4e6178ef4ed",
+      "mode": "100644",
+      "size": 3149
+    },
+    {
+      "path": "automations/benny/skills/reproduce-and-fix-issues/SKILL.md",
+      "blob": "effa5f0a38d2cfe7d948a71ff51827e2e2017257",
+      "mode": "100644",
+      "size": 14238
+    },
+    {
+      "path": "automations/benny/skills/setup-benny/SKILL.md",
+      "blob": "b05c26f4d4a39c16559f5ef2bbdd380adc923fda",
+      "mode": "100644",
+      "size": 13992
+    },
+    {
+      "path": "automations/benny/skills/triage-issue-reports/references/routing.example.md",
+      "blob": "d71aea768c7d9452270ca4f11091a47e5750038c",
+      "mode": "100644",
+      "size": 1892
+    },
+    {
+      "path": "automations/benny/skills/triage-issue-reports/SKILL.md",
+      "blob": "d691672d00fb8f8f07fc17290d00ae49d1fd119b",
+      "mode": "100644",
+      "size": 10320
+    },
+    {
+      "path": "automations/benny/templates/configuration.example.yaml",
+      "blob": "8616f5fcced0ac57964467dd537a6ba80560a271",
+      "mode": "100644",
+      "size": 2424
+    },
+    {
+      "path": "automations/benny/templates/reproduce-automation-prompt.md",
+      "blob": "5c66c922d69f7323d0c78461480baaf45d7b1284",
+      "mode": "100644",
+      "size": 1822
+    },
+    {
+      "path": "automations/benny/templates/triage-automation-prompt.md",
+      "blob": "939e5e15c09f57d17cee00c9ed58b3679a268e0f",
+      "mode": "100644",
+      "size": 1569
+    },
+    {
+      "path": "docs/guide/01-setup.md",
+      "blob": "2c2ef341357ea7c39c8b831ee8c8669b17e85475",
+      "mode": "100644",
+      "size": 5431
+    },
+    {
+      "path": "docs/guide/02-poteto-mode.md",
+      "blob": "89c594b3eb4fe53ef4a6b12a93e29dfde0bd337a",
+      "mode": "100644",
+      "size": 7893
+    },
+    {
+      "path": "docs/guide/03-understand.md",
+      "blob": "e26661f913e2ba31a0f043df3ede772461fd6a96",
+      "mode": "100644",
+      "size": 5141
+    },
+    {
+      "path": "docs/guide/04-design.md",
+      "blob": "9da6470a919ca21ef3e4786e08c997b69b6c5255",
+      "mode": "100644",
+      "size": 8748
+    },
+    {
+      "path": "docs/guide/05-build-and-clean.md",
+      "blob": "dbadc3d41294ab2cc3cde04f96b861dd294e496e",
+      "mode": "100644",
+      "size": 5707
+    },
+    {
+      "path": "docs/guide/06-verify-and-ship.md",
+      "blob": "ffcdc0d15815cf28c8f4db6230f6cba364436aea",
+      "mode": "100644",
+      "size": 13322
+    },
+    {
+      "path": "docs/guide/07-overnight.md",
+      "blob": "17bae40b97fcbb7a41b9d6a7b0f6285445501477",
+      "mode": "100644",
+      "size": 9547
+    },
+    {
+      "path": "docs/guide/08-principles.md",
+      "blob": "d2921500bb44643ac3f841fa03e19e0b3a240c8b",
+      "mode": "100644",
+      "size": 5868
+    },
+    {
+      "path": "docs/guide/09-make-it-yours.md",
+      "blob": "8d1c4b4f951bbb203ff1288e02ce91e8b6832a43",
+      "mode": "100644",
+      "size": 7972
+    },
+    {
+      "path": "docs/guide/10-recipes-and-pitfalls.md",
+      "blob": "782394f891d0bcf7cdaafe2120f193261c641115",
+      "mode": "100644",
+      "size": 8776
+    },
+    {
+      "path": "docs/guide/images/design.jpg",
+      "blob": "f86909437f8b5a83da3cba7bc35a018c9d4887c8",
+      "mode": "100644",
+      "size": 402373
+    },
+    {
+      "path": "docs/guide/images/overnight.jpg",
+      "blob": "d64e1c63066c9f088da909160f5e136049e9a512",
+      "mode": "100644",
+      "size": 347071
+    },
+    {
+      "path": "docs/guide/images/recipes.jpg",
+      "blob": "69fe992fdb9fb8e7baacc144ea140f9c93b262fb",
+      "mode": "100644",
+      "size": 410550
+    },
+    {
+      "path": "docs/guide/images/router.jpg",
+      "blob": "c8fba6a266505caf406d5185d7a4cc6e34be98a4",
+      "mode": "100644",
+      "size": 450945
+    },
+    {
+      "path": "docs/guide/images/understanding.jpg",
+      "blob": "bb1b1ac15dd11da9ad047d203049a1a24abb2b46",
+      "mode": "100644",
+      "size": 376523
+    },
+    {
+      "path": "docs/guide/images/verification.jpg",
+      "blob": "a252ae0b5e14cb6fcef2e3b806bbd66316242446",
+      "mode": "100644",
+      "size": 331450
+    },
+    {
+      "path": "docs/guide/README.md",
+      "blob": "17422b9921f1179b2a2b7137805267225ab271c2",
+      "mode": "100644",
+      "size": 2649
+    },
+    {
+      "path": "docs/harness/claude-code.md",
+      "blob": "bf154e6464a6cca96a9627bbe10a628092e8c09e",
+      "mode": "100644",
+      "size": 5678
+    },
+    {
+      "path": "LICENSE",
+      "blob": "6b5400237fdf6545be0b8fae370d6f2fcff8fb25",
+      "mode": "100644",
+      "size": 1067
+    },
+    {
+      "path": "plugin.json",
+      "blob": "14b42b7225231a2f01ab225df1d9d13839c6d616",
+      "mode": "100644",
+      "size": 619
+    },
+    {
+      "path": "README.md",
+      "blob": "bb613a100841eb7da66b0ee0eda1a4f728d0a6dd",
+      "mode": "100644",
+      "size": 27800
+    },
+    {
+      "path": "skills/architect/references/design-red-flags.md",
+      "blob": "f8503c9595b289c607ff5088f82b21197edf94ec",
+      "mode": "100644",
+      "size": 3009
+    },
+    {
+      "path": "skills/architect/references/rationale-template.md",
+      "blob": "a10f77f59510c532cd909faaf3bfeee5ffbfd588",
+      "mode": "100644",
+      "size": 3050
+    },
+    {
+      "path": "skills/architect/references/runner-prompt.md",
+      "blob": "b1ad21aef22e80d718c361787190b599eb359d6c",
+      "mode": "100644",
+      "size": 3092
+    },
+    {
+      "path": "skills/architect/SKILL.md",
+      "blob": "88e23ca105b89e67f4085d0e676c40d4b170a623",
+      "mode": "100644",
+      "size": 5469
+    },
+    {
+      "path": "skills/arena/SKILL.md",
+      "blob": "7580c3c9a7770d81b9dd7a537d9caa7362c04279",
+      "mode": "100644",
+      "size": 5598
+    },
+    {
+      "path": "skills/automate-me/SKILL.md",
+      "blob": "50971b894688b1e1923458996b89f2a9961feeb3",
+      "mode": "100644",
+      "size": 7297
+    },
+    {
+      "path": "skills/benchmark-checklist/SKILL.md",
+      "blob": "e901d1fdbc9ffce53e94d6514be7d9a22e771a1a",
+      "mode": "100644",
+      "size": 5002
+    },
+    {
+      "path": "skills/blast-radius/SKILL.md",
+      "blob": "b296cce0d746260a53c16e3671cb05bacfe82daf",
+      "mode": "100644",
+      "size": 3856
+    },
+    {
+      "path": "skills/bro/SKILL.md",
+      "blob": "b1701b778639c08bfc306291d70170c525c66a68",
+      "mode": "100644",
+      "size": 267
+    },
+    {
+      "path": "skills/correct/SKILL.md",
+      "blob": "c45e06f48a0982ae19f92c6e83a8cd05988097a3",
+      "mode": "100644",
+      "size": 2478
+    },
+    {
+      "path": "skills/create-formal-verification-skill/SKILL.md",
+      "blob": "92f7aa4fa966b857dd7fcc994b3c59650767c878",
+      "mode": "100644",
+      "size": 5626
+    },
+    {
+      "path": "skills/create-verification-skill/references/feature-map-example/create-note.md",
+      "blob": "21357566b69223a503d6780a04fb90ce540eae22",
+      "mode": "100644",
+      "size": 2926
+    },
+    {
+      "path": "skills/create-verification-skill/references/feature-map-example/README.md",
+      "blob": "fb64570cfab3bbe672fe80925651933ebd57aa33",
+      "mode": "100644",
+      "size": 2601
+    },
+    {
+      "path": "skills/create-verification-skill/references/feature-map-example/search.md",
+      "blob": "1f8e57d3aaf19cf27a9464d55fa72e46bcbc8b0f",
+      "mode": "100644",
+      "size": 3478
+    },
+    {
+      "path": "skills/create-verification-skill/SKILL.md",
+      "blob": "140d033a001e8d27acd14b06004506c43053b199",
+      "mode": "100644",
+      "size": 6533
+    },
+    {
+      "path": "skills/figure-it-out/SKILL.md",
+      "blob": "0d04c2e69b75b22ff1a9a1d8ab339580a5fbbfed",
+      "mode": "100644",
+      "size": 4111
+    },
+    {
+      "path": "skills/how/references/explainer-prompt.md",
+      "blob": "3a36fb6736c5b74ac2774350841e332a019dec94",
+      "mode": "100644",
+      "size": 3085
+    },
+    {
+      "path": "skills/how/references/explorer-prompt.md",
+      "blob": "724bacfc7df759865c0c29705bfee641e4c1aeca",
+      "mode": "100644",
+      "size": 1135
+    },
+    {
+      "path": "skills/how/SKILL.md",
+      "blob": "67edc340d4d8a9c7ab0b9e08c663e0e63b8d9125",
+      "mode": "100644",
+      "size": 2651
+    },
+    {
+      "path": "skills/in-your-own-words/SKILL.md",
+      "blob": "4b2a476a9017863032c8dba9d12f0a2026943292",
+      "mode": "100644",
+      "size": 315
+    },
+    {
+      "path": "skills/interrogate/SKILL.md",
+      "blob": "169f5b478f4cb53a4c5ab6046576034b4b07cfe8",
+      "mode": "100644",
+      "size": 2314
+    },
+    {
+      "path": "skills/ketchup-video/SKILL.md",
+      "blob": "c0c614288dea9f413a418064d7e7d37791dd9e5e",
+      "mode": "100644",
+      "size": 3887
+    },
+    {
+      "path": "skills/ketchup/SKILL.md",
+      "blob": "9eef27f92f8029137a7bfa7378305b075df9dc4f",
+      "mode": "100644",
+      "size": 6426
+    },
+    {
+      "path": "skills/maintain-formal-verification-skill/SKILL.md",
+      "blob": "5d2f7f2228a3b771ca5b03124fc265ddfc53c5fc",
+      "mode": "100644",
+      "size": 7012
+    },
+    {
+      "path": "skills/maintain-verification-skill/SKILL.md",
+      "blob": "a2680b91fead45a0b4963d8c367a854956bea59d",
+      "mode": "100644",
+      "size": 4922
+    },
+    {
+      "path": "skills/make-bot-ui/SKILL.md",
+      "blob": "446342ca35a46af771271e0cd901354a61997589",
+      "mode": "100644",
+      "size": 4649
+    },
+    {
+      "path": "skills/no-comments/SKILL.md",
+      "blob": "a07ce9dfc657bdf1b2bdf3f7619225e7faac091b",
+      "mode": "100644",
+      "size": 2693
+    },
+    {
+      "path": "skills/poteto-help/references/prompting.md",
+      "blob": "6b72b2e6081fdb78a3261bd77cf7334596d1ee20",
+      "mode": "100644",
+      "size": 3166
+    },
+    {
+      "path": "skills/poteto-help/references/recipes.md",
+      "blob": "cc7a4e6828f5bfc3bcbf5954876358074718f45c",
+      "mode": "100644",
+      "size": 3661
+    },
+    {
+      "path": "skills/poteto-help/SKILL.md",
+      "blob": "a0604c9c4e63c7f798f19f33acd8a74ccb5b8531",
+      "mode": "100644",
+      "size": 15745
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/authoring-a-skill.md",
+      "blob": "8c5a55a44f5e95bba92f652da0ac87e941c49538",
+      "mode": "100644",
+      "size": 831
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/autonomous-run.md",
+      "blob": "af3bf11609a24020f678f859f13a65710ab67fbd",
+      "mode": "100644",
+      "size": 2004
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/autopilot-full.md",
+      "blob": "bbc5b3751ad789cfbd92f8937a2e84de365509ad",
+      "mode": "100644",
+      "size": 6701
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/autopilot-stack.md",
+      "blob": "819862c8fe7b756c8571eed410a30a09625673d9",
+      "mode": "100644",
+      "size": 877
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/babysit.md",
+      "blob": "14d5783d447ba3530d038c9dffa514f2492a54e0",
+      "mode": "100644",
+      "size": 7594
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/bug-fix.md",
+      "blob": "b5de0bfa63add6ed38a38a8bd668cf36ac009c61",
+      "mode": "100644",
+      "size": 2359
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/eval.md",
+      "blob": "768a894e275b1e9b198e83ceb6b46964e3f9d6db",
+      "mode": "100644",
+      "size": 2628
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/feature.md",
+      "blob": "eb1040cb2631f3eeacd8f9f6469d7e97277f24ef",
+      "mode": "100644",
+      "size": 2870
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/hillclimb.md",
+      "blob": "e9cf267908a9737236b3a8a8a5a99fe9066f7554",
+      "mode": "100644",
+      "size": 4507
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/investigation.md",
+      "blob": "cd119f04f23e0b7acb3f8cc5ba13ce4ab7aa6c7d",
+      "mode": "100644",
+      "size": 928
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/multi-phase-plan.md",
+      "blob": "7101aa71dbc08f2b84baa227a7bd589f800f13e8",
+      "mode": "100644",
+      "size": 13418
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/opening-a-pr.md",
+      "blob": "4a92c501f184ea24392d59a9889ce2f08e8e9201",
+      "mode": "100644",
+      "size": 5621
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/orchestrate.md",
+      "blob": "b6e5f5661a1e6b4778845de53f331cee3486905b",
+      "mode": "100644",
+      "size": 4585
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/pause-safely.md",
+      "blob": "9d1c5f8303976fff40de099f7f28185909430c11",
+      "mode": "100644",
+      "size": 1135
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/perf-issue.md",
+      "blob": "46dcc9963366992016dfb1d59ccaae977930f982",
+      "mode": "100644",
+      "size": 1550
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/prototype.md",
+      "blob": "18bedc7e9249d180f9198d5b4b13e3817d41d281",
+      "mode": "100644",
+      "size": 2161
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/refactoring.md",
+      "blob": "c04b07eeb8b8fa651d080729363466ab73d2fe40",
+      "mode": "100644",
+      "size": 3315
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/runtime-forensics.md",
+      "blob": "6bf64240d1a890df290b98c632ad374d20ca9fd4",
+      "mode": "100644",
+      "size": 1314
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/session-pickup.md",
+      "blob": "876b1433828ccc7c874123cdf300240abb285dd9",
+      "mode": "100644",
+      "size": 1782
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/shipping.md",
+      "blob": "0a0c3cfde8948e3aa8ee80c6f3f9ce7e3e64fcba",
+      "mode": "100644",
+      "size": 4387
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/trace-forensics.md",
+      "blob": "bf1b003786503623d91ca173fc97a6e54eee3acf",
+      "mode": "100644",
+      "size": 1867
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/visual-parity.md",
+      "blob": "248830ec74a593fc22143a842026388f92f1b9f4",
+      "mode": "100644",
+      "size": 1197
+    },
+    {
+      "path": "skills/poteto-mode/playbooks/worktree-cleanup.md",
+      "blob": "45e1af693cc40d0271249a0e98f15bfc815af615",
+      "mode": "100644",
+      "size": 2947
+    },
+    {
+      "path": "skills/poteto-mode/references/bugbot-triage.md",
+      "blob": "b2fc7d35712783707607cf2f39752885c8d5105c",
+      "mode": "100644",
+      "size": 9629
+    },
+    {
+      "path": "skills/poteto-mode/scripts/bootstrap.ts",
+      "blob": "d9c63e2007449a80000abe75ecaf7f2a0bd5826b",
+      "mode": "100644",
+      "size": 1737
+    },
+    {
+      "path": "skills/poteto-mode/scripts/bun.lock",
+      "blob": "65f0c662f300a0f72b319ca93ea18f56219c2581",
+      "mode": "100644",
+      "size": 6679
+    },
+    {
+      "path": "skills/poteto-mode/scripts/check-plan.mjs",
+      "blob": "c3ddc398997d29d3c97a414e5c2b37172b901254",
+      "mode": "100755",
+      "size": 8179
+    },
+    {
+      "path": "skills/poteto-mode/scripts/check-plan.test.ts",
+      "blob": "cd1debfa31579068dc41b8657b7de3b341be29a0",
+      "mode": "100644",
+      "size": 3876
+    },
+    {
+      "path": "skills/poteto-mode/scripts/package.json",
+      "blob": "c8839d74d9be87dc78b3af0bc6f68f935b4ecc25",
+      "mode": "100644",
+      "size": 366
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/cli.test.ts",
+      "blob": "0656b413e6c180858ca42981105944c45caf9dca",
+      "mode": "100644",
+      "size": 6161
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/cli.ts",
+      "blob": "ec8a2f27c5ac24866b699e6395e7d1f32e595068",
+      "mode": "100644",
+      "size": 6983
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts",
+      "blob": "84ccf596b01e03e7fb77e73ea82ec3b1738026ad",
+      "mode": "100644",
+      "size": 3357
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/github.test.ts",
+      "blob": "4e58938389bb8ac6f3728aea65c56e30ed047a5e",
+      "mode": "100644",
+      "size": 16206
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/github.ts",
+      "blob": "123a33b19f807cff4c641fff3d44f9a02ba449e0",
+      "mode": "100644",
+      "size": 25642
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/policy.test.ts",
+      "blob": "966b7536754602e2550bf7245eed2124af623b76",
+      "mode": "100644",
+      "size": 14759
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/policy.ts",
+      "blob": "8179f2d8ba5bf675feb3b1449161360827031518",
+      "mode": "100644",
+      "size": 25407
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/render.ts",
+      "blob": "0e935839357335f24ab1bbc193d761495646ea99",
+      "mode": "100644",
+      "size": 7083
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/tsconfig.json",
+      "blob": "477af90b05cbd24fcf974fd73cf331d5ac7379cc",
+      "mode": "100644",
+      "size": 270
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/types.compile.ts",
+      "blob": "1b53279c7f3e5da55703ed17d6ad0616254c5751",
+      "mode": "100644",
+      "size": 2258
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/types.ts",
+      "blob": "60b9abcac983fc0a4319428c1be145dc110a8cc5",
+      "mode": "100644",
+      "size": 12688
+    },
+    {
+      "path": "skills/poteto-mode/scripts/watch-pr/watch-pr",
+      "blob": "99807d577c3b006cfe6ee9e149cf2914bfd4afd6",
+      "mode": "100755",
+      "size": 211
+    },
+    {
+      "path": "skills/poteto-mode/scripts/worktree-audit.sh",
+      "blob": "47e08919d7b08c32923a7bdaaa70b17ca708f5f6",
+      "mode": "100755",
+      "size": 6317
+    },
+    {
+      "path": "skills/poteto-mode/SKILL.md",
+      "blob": "2dd5e76fde228141d3fe78b0b09ca68456b49531",
+      "mode": "100644",
+      "size": 21670
+    },
+    {
+      "path": "skills/principle-attack-the-premise/SKILL.md",
+      "blob": "e9a6d499606992edd9963b80f8f8f57feaccb221",
+      "mode": "100644",
+      "size": 1916
+    },
+    {
+      "path": "skills/principle-boundary-discipline/SKILL.md",
+      "blob": "dfe9a6fb0e5acd6ae43a41437ee0951adfe839cb",
+      "mode": "100644",
+      "size": 1883
+    },
+    {
+      "path": "skills/principle-build-the-lever/SKILL.md",
+      "blob": "cbf003850489d95fea78e64198fd972c35b1aad3",
+      "mode": "100644",
+      "size": 2386
+    },
+    {
+      "path": "skills/principle-encode-lessons-in-structure/SKILL.md",
+      "blob": "4a96f77fe70e36cb030f9c5efa142f66877bf58a",
+      "mode": "100644",
+      "size": 558
+    },
+    {
+      "path": "skills/principle-exhaust-the-design-space/SKILL.md",
+      "blob": "395a0839126bb231430a9c9da02ebab5422557d5",
+      "mode": "100644",
+      "size": 395
+    },
+    {
+      "path": "skills/principle-experience-first/SKILL.md",
+      "blob": "5ea51741302cf3af4cc0b90ec70815bd3208dbf2",
+      "mode": "100644",
+      "size": 1184
+    },
+    {
+      "path": "skills/principle-explain-the-number/SKILL.md",
+      "blob": "3948ad34092437918f366e2cbb270e9ae31977fb",
+      "mode": "100644",
+      "size": 1922
+    },
+    {
+      "path": "skills/principle-fix-root-causes/SKILL.md",
+      "blob": "14fc189fa1ec3fb1614b0a3c75557f92943d8f13",
+      "mode": "100644",
+      "size": 1821
+    },
+    {
+      "path": "skills/principle-foundational-thinking/SKILL.md",
+      "blob": "19cc6c0eaa6fcbc2863fb73d1d25ca196c6a46e0",
+      "mode": "100644",
+      "size": 1530
+    },
+    {
+      "path": "skills/principle-guard-the-context-window/SKILL.md",
+      "blob": "0a1d3cfcf4539fe048887174000fecbf2fa40e81",
+      "mode": "100644",
+      "size": 519
+    },
+    {
+      "path": "skills/principle-laziness-protocol/SKILL.md",
+      "blob": "016c3c7c8dfffd995c1a02135a62248e6625879b",
+      "mode": "100644",
+      "size": 552
+    },
+    {
+      "path": "skills/principle-make-operations-idempotent/SKILL.md",
+      "blob": "c93f323d694a4d310515ea27165a093d399bc55e",
+      "mode": "100644",
+      "size": 1809
+    },
+    {
+      "path": "skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md",
+      "blob": "57ddd7b27d06ba4ee9e2d3811880476a18b88df6",
+      "mode": "100644",
+      "size": 637
+    },
+    {
+      "path": "skills/principle-minimize-reader-load/SKILL.md",
+      "blob": "628999088c5d05c1c546b3a3ca89da553cd3f3b2",
+      "mode": "100644",
+      "size": 1996
+    },
+    {
+      "path": "skills/principle-model-the-domain/SKILL.md",
+      "blob": "09b7c739955facf03f08f66e1e329745d2f8880e",
+      "mode": "100644",
+      "size": 1858
+    },
+    {
+      "path": "skills/principle-never-block-on-the-human/SKILL.md",
+      "blob": "4f59bdc69f79d536b30b0014a563ed3be05b8b62",
+      "mode": "100644",
+      "size": 910
+    },
+    {
+      "path": "skills/principle-outcome-oriented-execution/SKILL.md",
+      "blob": "c49be0bc74783f0dee013101365ae09b2abb48a2",
+      "mode": "100644",
+      "size": 1078
+    },
+    {
+      "path": "skills/principle-prove-it-works/SKILL.md",
+      "blob": "5dc14a3b06f9d579e5c17cd8a7242f432ddb3125",
+      "mode": "100644",
+      "size": 1371
+    },
+    {
+      "path": "skills/principle-redesign-from-first-principles/SKILL.md",
+      "blob": "5ca5246cbb0fa08884ce17b0d22c117ae1ad67b8",
+      "mode": "100644",
+      "size": 758
+    },
+    {
+      "path": "skills/principle-separate-before-serializing-shared-state/SKILL.md",
+      "blob": "ff93b4a2032c08e2232992a9a24f2891ee14e58f",
+      "mode": "100644",
+      "size": 1565
+    },
+    {
+      "path": "skills/principle-sequence-verifiable-units/SKILL.md",
+      "blob": "986371260ebccd9a5a6818c9561e88c1d270d0ee",
+      "mode": "100644",
+      "size": 1705
+    },
+    {
+      "path": "skills/principle-subtract-before-you-add/SKILL.md",
+      "blob": "b8740ba6f06922d8e7ef3b23f9fb16e0fc4a876f",
+      "mode": "100644",
+      "size": 909
+    },
+    {
+      "path": "skills/principle-test-behavior-not-implementation/SKILL.md",
+      "blob": "78c9389bfe707d6d56485ade32c59150958228f9",
+      "mode": "100644",
+      "size": 2614
+    },
+    {
+      "path": "skills/principle-type-system-discipline/SKILL.md",
+      "blob": "9fa08b0b17d536ce751fffa90134be8fb03699c7",
+      "mode": "100644",
+      "size": 1557
+    },
+    {
+      "path": "skills/recall/SKILL.md",
+      "blob": "cd8cc20790d90579e632626fe6db2b1fff593eea",
+      "mode": "100644",
+      "size": 5345
+    },
+    {
+      "path": "skills/reflect/references/divergent-reviewer.md",
+      "blob": "1e070a2a3754f4dc0ddbaec4450a56179b81c92f",
+      "mode": "100644",
+      "size": 3668
+    },
+    {
+      "path": "skills/reflect/references/judgment-reviewer.md",
+      "blob": "61d15d76fff852eb573b551bc1317d79ed5a2e5f",
+      "mode": "100644",
+      "size": 3107
+    },
+    {
+      "path": "skills/reflect/references/synthesizer.md",
+      "blob": "1a090d86134987719ddb418023020c2ef58a6dae",
+      "mode": "100644",
+      "size": 4141
+    },
+    {
+      "path": "skills/reflect/references/tooling-reviewer.md",
+      "blob": "a839db4318798c51539c319cb90387ce02557225",
+      "mode": "100644",
+      "size": 4448
+    },
+    {
+      "path": "skills/reflect/SKILL.md",
+      "blob": "9bb153bd2121e49d73a7af7d55ef372079889e62",
+      "mode": "100644",
+      "size": 4995
+    },
+    {
+      "path": "skills/setup-pstack/SKILL.md",
+      "blob": "91f1127f8b14415fef9698b02a64d3d0bdef4f54",
+      "mode": "100644",
+      "size": 6387
+    },
+    {
+      "path": "skills/sharpen/SKILL.md",
+      "blob": "5b4a7b104e709f8cded1726541be42431c334164",
+      "mode": "100644",
+      "size": 661
+    },
+    {
+      "path": "skills/show-me-your-work/references/decision-log-template.tsv",
+      "blob": "db220376ecb8c582a6a4f6575a8f26469603a38d",
+      "mode": "100644",
+      "size": 38
+    },
+    {
+      "path": "skills/show-me-your-work/scripts/log.sh",
+      "blob": "052e53b7e1090579eaec1d3d59f7a1cd2f2e452a",
+      "mode": "100755",
+      "size": 1377
+    },
+    {
+      "path": "skills/show-me-your-work/SKILL.md",
+      "blob": "ada1bba1e51356de0e0d4da1d13ba5a56ba9c7cb",
+      "mode": "100644",
+      "size": 6551
+    },
+    {
+      "path": "skills/statechart/references/render.md",
+      "blob": "5ef0519d6f7ae97ef7befceaf174f94f52dd42f5",
+      "mode": "100644",
+      "size": 3716
+    },
+    {
+      "path": "skills/statechart/scripts/backends/cfg.ts",
+      "blob": "dec8b2f6671f2d110cd880f7af8d2c714cdf23a3",
+      "mode": "100644",
+      "size": 1230
+    },
+    {
+      "path": "skills/statechart/scripts/backends/mermaid.ts",
+      "blob": "327220cad69baa1d4fa5aa1cfe03f3cf9e13c133",
+      "mode": "100644",
+      "size": 7437
+    },
+    {
+      "path": "skills/statechart/scripts/backends/plain-text.ts",
+      "blob": "1ece33e8c45995493e84bc948ad613fce15481ab",
+      "mode": "100644",
+      "size": 2343
+    },
+    {
+      "path": "skills/statechart/scripts/backends/report.ts",
+      "blob": "62e2a853375a1141491ef54fed8fd0d81a1bcd3c",
+      "mode": "100644",
+      "size": 7060
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/config.ts",
+      "blob": "4f6ade5a9a74c8e74a58125dc7a5d035ea2ca36b",
+      "mode": "100644",
+      "size": 10698
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/dot.ts",
+      "blob": "003dfc89d4925c6aed3e59073b6a9414da78117b",
+      "mode": "100644",
+      "size": 2484
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/marks.ts",
+      "blob": "9b1eda59f12861b8fb981d6046741417cd1be667",
+      "mode": "100644",
+      "size": 3257
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/messages.ts",
+      "blob": "e835b065e775a1b822eede5b1515d0401ce8356b",
+      "mode": "100644",
+      "size": 1842
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/spec.ts",
+      "blob": "3fbe34f1a6b344c56cfd5afba3b90fe9a397c405",
+      "mode": "100644",
+      "size": 4198
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/trace.ts",
+      "blob": "43387c12b314c343d7a046de2fd095a3950b0026",
+      "mode": "100644",
+      "size": 988
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/value.ts",
+      "blob": "d73ddec9ee3fa6077c644625002707a96d0938a1",
+      "mode": "100644",
+      "size": 4757
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/verdict.ts",
+      "blob": "4f2ddd925332773b68918c40e62fc79a3a32571b",
+      "mode": "100644",
+      "size": 1756
+    },
+    {
+      "path": "skills/statechart/scripts/frontends/view.ts",
+      "blob": "ed8a1b5f9f0b4104a901a966bdfd66f13102d5ce",
+      "mode": "100644",
+      "size": 4354
+    },
+    {
+      "path": "skills/statechart/scripts/ir.ts",
+      "blob": "80fd403fe3c231b0986f239ba8c74a60b52c05f7",
+      "mode": "100644",
+      "size": 15141
+    },
+    {
+      "path": "skills/statechart/scripts/package.json",
+      "blob": "16bd68507bac879f00d9efb90f6a5df689dbbd3a",
+      "mode": "100644",
+      "size": 233
+    },
+    {
+      "path": "skills/statechart/scripts/passes/annotate.ts",
+      "blob": "7d95d4fb57311c26bbbaca42eb283421f56140e0",
+      "mode": "100644",
+      "size": 3738
+    },
+    {
+      "path": "skills/statechart/scripts/passes/label.ts",
+      "blob": "cc8c197726137a0875462702e39cd07cbf55d547",
+      "mode": "100644",
+      "size": 8555
+    },
+    {
+      "path": "skills/statechart/scripts/passes/lift.ts",
+      "blob": "15db7deda016faee9c0da33c2c419be51e528ed6",
+      "mode": "100644",
+      "size": 2888
+    },
+    {
+      "path": "skills/statechart/scripts/passes/loop-check.ts",
+      "blob": "7e5a3825adde46e8a625ad9e167cb0ce6b712174",
+      "mode": "100644",
+      "size": 2149
+    },
+    {
+      "path": "skills/statechart/scripts/passes/paths.ts",
+      "blob": "632a5c4ae6d6101c89f46803605c09b6a96f9b6f",
+      "mode": "100644",
+      "size": 1900
+    },
+    {
+      "path": "skills/statechart/scripts/passes/reach.ts",
+      "blob": "d5b6a521dc970f888d615d41caf692d0f7bcb2ec",
+      "mode": "100644",
+      "size": 4063
+    },
+    {
+      "path": "skills/statechart/scripts/passes/region-check.ts",
+      "blob": "ae499230f5ba441d704386bd24df73cad3c92af7",
+      "mode": "100644",
+      "size": 3525
+    },
+    {
+      "path": "skills/statechart/scripts/passes/regions.ts",
+      "blob": "bb7aea062410be42c25c779ca748c2b52c3e5a82",
+      "mode": "100644",
+      "size": 9475
+    },
+    {
+      "path": "skills/statechart/scripts/pipeline.ts",
+      "blob": "f12a2e07f6e4fe283cfd1b2fc0d3f83dd3d75758",
+      "mode": "100644",
+      "size": 2931
+    },
+    {
+      "path": "skills/statechart/scripts/run.ts",
+      "blob": "4efd368e5bcd0b4ef7cf8d8cfd1e511483c720aa",
+      "mode": "100644",
+      "size": 17319
+    },
+    {
+      "path": "skills/statechart/scripts/statechart",
+      "blob": "7d3aeb8c219bf20aea4cbc321892fca9cbd582f1",
+      "mode": "100755",
+      "size": 991
+    },
+    {
+      "path": "skills/statechart/scripts/statechart.ts",
+      "blob": "4e2967e680895875d7d5352bfe997a4c08c2d1fc",
+      "mode": "100644",
+      "size": 6044
+    },
+    {
+      "path": "skills/statechart/scripts/test/chart.test.ts",
+      "blob": "ef220432d79345fc5fa36210cef6c6ae7468fb4e",
+      "mode": "100644",
+      "size": 39702
+    },
+    {
+      "path": "skills/statechart/scripts/test/charts/Braces.mmd",
+      "blob": "4cc99ed3082d412117750da757f767475daf63be",
+      "mode": "100644",
+      "size": 312
+    },
+    {
+      "path": "skills/statechart/scripts/test/charts/Escapes.mmd",
+      "blob": "6b2de4b7aebfb644700889469c0219d10424afde",
+      "mode": "100644",
+      "size": 244
+    },
+    {
+      "path": "skills/statechart/scripts/test/charts/Phases.mmd",
+      "blob": "1412a97ef4198500a1c730124c20e9cfc3a934f9",
+      "mode": "100644",
+      "size": 584
+    },
+    {
+      "path": "skills/statechart/scripts/test/cli.test.ts",
+      "blob": "97b71c30c228eafd55f599375f16be4f656f20e5",
+      "mode": "100644",
+      "size": 50337
+    },
+    {
+      "path": "skills/statechart/scripts/test/config-fuzz.test.ts",
+      "blob": "88ec2d3d0b09cd85759507aaf786722add1a2cb7",
+      "mode": "100644",
+      "size": 8719
+    },
+    {
+      "path": "skills/statechart/scripts/test/ConfigOracle.java",
+      "blob": "d916e540ba1d23733be5486ac2911252e49f81dc",
+      "mode": "100644",
+      "size": 2717
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus.test.ts",
+      "blob": "8934373187b213d9be5ef6011db1893cbb8b037f",
+      "mode": "100644",
+      "size": 12763
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/chart.mmd",
+      "blob": "a65ea8434a27b918dd425548d1664ec02d030ab1",
+      "mode": "100644",
+      "size": 112
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/ChartRun.out",
+      "blob": "87dec2842dcace3f3725ab7e3570d649abb5022e",
+      "mode": "100644",
+      "size": 2658
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/Counter.cfg",
+      "blob": "accc477b2e456e9cacee880aa8a579b7f2fb3f7d",
+      "mode": "100644",
+      "size": 64
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/Counter.tla",
+      "blob": "c72accbb7b5d4a0fd7302607798f1d5962156e31",
+      "mode": "100644",
+      "size": 185
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/graph.dot",
+      "blob": "19ef461866782514d24f9bbe8e07a2e40fe4d5c1",
+      "mode": "100644",
+      "size": 633
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/report.md",
+      "blob": "76a07da6b47cebf9b629f0f3fe2031603fb9eff0",
+      "mode": "100644",
+      "size": 243
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/sany.out",
+      "blob": "bc0268192dd95ee0e3dd197657b324e780761cec",
+      "mode": "100644",
+      "size": 38148
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Counter/verdict-1.out",
+      "blob": "769fa7cb9a5e69a7d5820309aba8da91edab9ac9",
+      "mode": "100644",
+      "size": 2199
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/chart.mmd",
+      "blob": "2142a4553be585c01cea18319acc580f0057f161",
+      "mode": "100644",
+      "size": 518
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out",
+      "blob": "4d04f9bfb7af5a34b663b9f98a7c6e8e9f0ca7c8",
+      "mode": "100644",
+      "size": 2780
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg",
+      "blob": "b1763a8ad02a313c1237039ad0ead0404716d5ec",
+      "mode": "100644",
+      "size": 89
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla",
+      "blob": "148b1f3a0d0e7ebb30c00c164c403d6d1f2610fb",
+      "mode": "100644",
+      "size": 255
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/graph.dot",
+      "blob": "39f2651e18efcdf3da400eb5239175e340f2e6b7",
+      "mode": "100644",
+      "size": 798
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/report.md",
+      "blob": "d468ab4477bd75c9fcbb83540aebff57facceb6b",
+      "mode": "100644",
+      "size": 436
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/sany.out",
+      "blob": "a5c0ae2483c1a80e683adef887854fcc13d91eff",
+      "mode": "100644",
+      "size": 43961
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out",
+      "blob": "446128703357032b71fbe6c4c5e48651cebb3077",
+      "mode": "100644",
+      "size": 2152
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out",
+      "blob": "232ed26873747dc21e375b725ab4282cae09dc78",
+      "mode": "100644",
+      "size": 3148
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out",
+      "blob": "f49ccadb2c33ec641c935b5dcce5a591a2d46048",
+      "mode": "100644",
+      "size": 2690
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd",
+      "blob": "9190b9fb7514f5af3275b3253e40cfd36289eabc",
+      "mode": "100644",
+      "size": 462
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out",
+      "blob": "abf573b92cd3aec2e2eeb759d954aac4912476b7",
+      "mode": "100644",
+      "size": 2752
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg",
+      "blob": "64e80fff74246f1c3ad536ca2084e63a9ae1afe0",
+      "mode": "100644",
+      "size": 63
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla",
+      "blob": "67f26b04c403e2b24e682be5cba8019fbc52f755",
+      "mode": "100644",
+      "size": 225
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot",
+      "blob": "19ef461866782514d24f9bbe8e07a2e40fe4d5c1",
+      "mode": "100644",
+      "size": 633
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/report.md",
+      "blob": "d72af35b15cf5275490f6b8944681b1f7506858b",
+      "mode": "100644",
+      "size": 624
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out",
+      "blob": "87c12d75a5d0cd2487d481ef0a0e83a09bbf8a13",
+      "mode": "100644",
+      "size": 42836
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out",
+      "blob": "fc41768fce93b978734fd3aaeb60f9ca1a6c8612",
+      "mode": "100644",
+      "size": 2160
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit",
+      "blob": "b4de3947675361a7770d29b8982c407b0ec6b2a0",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out",
+      "blob": "1680ce4ae6586a7d86259046260f0f06435e98b7",
+      "mode": "100644",
+      "size": 3024
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/chart.mmd",
+      "blob": "045aa4218b417aec221f3ad014c56c7c8903fff9",
+      "mode": "100644",
+      "size": 1771
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out",
+      "blob": "fe624fd4f650a8164f527d2f9a0955774dfe3e61",
+      "mode": "100644",
+      "size": 3140
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg",
+      "blob": "27e8506dbb0a6da840cffa4a848804f312bf90f3",
+      "mode": "100644",
+      "size": 37
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla",
+      "blob": "f2b4e5271068fe343a9d9557b145e6c7acec7c70",
+      "mode": "100644",
+      "size": 338
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/graph.dot",
+      "blob": "d60e23ac86f212a53dff308f4c0298fb286f1df1",
+      "mode": "100644",
+      "size": 5433
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/report.md",
+      "blob": "1090826acf60bd5b1f1803813e3c74ebfa33e273",
+      "mode": "100644",
+      "size": 239
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/sany.out",
+      "blob": "eac7a21ab606f3d1e092b9a182658f788d94e89f",
+      "mode": "100644",
+      "size": 49584
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out",
+      "blob": "6156d07f95185eb1951650fcebde54d482389faa",
+      "mode": "100644",
+      "size": 2497
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out",
+      "blob": "a60056632dc77ea3338584851486cc7e6be453b0",
+      "mode": "100644",
+      "size": 2688
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd",
+      "blob": "11839886fb466f8059e8683c8e886471f6298795",
+      "mode": "100644",
+      "size": 63
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit",
+      "blob": "78eb67cee1ab25652fe5c9e29efc173671301400",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out",
+      "blob": "bc54efe7c1b7595618b41ae1358daad63cc3c251",
+      "mode": "100644",
+      "size": 3415
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg",
+      "blob": "93c95c10ff801ffcbc5da14bae1b9f4246a21433",
+      "mode": "100644",
+      "size": 66
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla",
+      "blob": "84b115bef2952e55814fa49d14064e3b506801c4",
+      "mode": "100644",
+      "size": 192
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/graph.dot",
+      "blob": "8312469c683be164474194eb4dfa787597d95f85",
+      "mode": "100644",
+      "size": 302
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/report.md",
+      "blob": "3f37ac2326595ee790200a8b796dec46521f6dbe",
+      "mode": "100644",
+      "size": 954
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/sany.out",
+      "blob": "c057222d7b5a33880d417cef92b2bdc7f7dd6514",
+      "mode": "100644",
+      "size": 36948
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out",
+      "blob": "c3169f0752ff1ab06b0d0bb4b58bde9660c7dbc4",
+      "mode": "100644",
+      "size": 2433
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit",
+      "blob": "78eb67cee1ab25652fe5c9e29efc173671301400",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out",
+      "blob": "ea9327a80672e55ceb70989234dd4abefd724352",
+      "mode": "100644",
+      "size": 2985
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd",
+      "blob": "e70633f1157c80d8f09cced99b6f381ac4e48414",
+      "mode": "100644",
+      "size": 282
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out",
+      "blob": "6dab5e6f65a2328f257d7ab113577253a2c21f22",
+      "mode": "100644",
+      "size": 2564
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg",
+      "blob": "18a798096dd459b718cf51c5a9a8b6d677c37044",
+      "mode": "100644",
+      "size": 54
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla",
+      "blob": "dfe3125ca4355d205330148d47b6887bcdabb8c1",
+      "mode": "100644",
+      "size": 169
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot",
+      "blob": "5bdffe2b5caf1984f0249589f99fa929330ea93a",
+      "mode": "100644",
+      "size": 84
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/report.md",
+      "blob": "e6c422152821af9499fca3f2b64ed94a65965618",
+      "mode": "100644",
+      "size": 425
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/sany.out",
+      "blob": "13471a1ab7ca435f685e66df4b2e7b6e47b17f0b",
+      "mode": "100644",
+      "size": 36125
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out",
+      "blob": "e55acaa87b29fecb8f0e3be3525d29848b9ac2c6",
+      "mode": "100644",
+      "size": 1362
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out",
+      "blob": "ae7dfd0acb2c9ce6bcc36d8acc388c6faece36ac",
+      "mode": "100644",
+      "size": 2540
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd",
+      "blob": "b57b606becb0dde9c8ff1bc6ce1835de277c5bc1",
+      "mode": "100644",
+      "size": 16
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out",
+      "blob": "e8295dd7cc27b793fd56269be2f3596b4433b28a",
+      "mode": "100644",
+      "size": 2547
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg",
+      "blob": "823d31a55438107a7805ef0b92ef0d5da3f835a8",
+      "mode": "100644",
+      "size": 50
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla",
+      "blob": "cb291f044b9b799e6bcb4e294b17a0ab47e88b43",
+      "mode": "100644",
+      "size": 171
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot",
+      "blob": "5bdffe2b5caf1984f0249589f99fa929330ea93a",
+      "mode": "100644",
+      "size": 84
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md",
+      "blob": "5ad2f21648fe6caa2ebab960deeed49afcc38e5f",
+      "mode": "100644",
+      "size": 211
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out",
+      "blob": "f4c128b5395a4bcff1d52b3c10b3d6586c2c33d0",
+      "mode": "100644",
+      "size": 35616
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out",
+      "blob": "b8c8f34dd061f48b210e49bd5014003d902d7fad",
+      "mode": "100644",
+      "size": 2089
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd",
+      "blob": "58eb5e285fcb7c32de4967a656f5a213252aa4ca",
+      "mode": "100644",
+      "size": 326
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out",
+      "blob": "bd9932f5cd0aaae9308e121b89892322d54eca7c",
+      "mode": "100644",
+      "size": 2833
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg",
+      "blob": "a73eb3f49699de9a2c9776368d9d1d79ba498529",
+      "mode": "100644",
+      "size": 41
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla",
+      "blob": "ad5bdcb74c40f03fc0400d1eb0ce10f1c36e8bba",
+      "mode": "100644",
+      "size": 217
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla",
+      "blob": "1551d5ec4db346e76ef013b90cddb07dd043ecb1",
+      "mode": "100644",
+      "size": 113
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/graph.dot",
+      "blob": "6213bdaec4dd30c1af50e173b4ce62bc87ff7b89",
+      "mode": "100644",
+      "size": 599
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/report.md",
+      "blob": "ffe2e10de17d69b211a8277cbf346d2ebb3d0e57",
+      "mode": "100644",
+      "size": 295
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/sany.out",
+      "blob": "2b24bb54b8fcb7e92a23c4dfeb8df4b897d8a0cb",
+      "mode": "100644",
+      "size": 75094
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit",
+      "blob": "b1bd38b62a0800a4f6a80c34e21c5acffae52c7e",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out",
+      "blob": "e880efe7092914a114d2addc76a98ba3c7b276c2",
+      "mode": "100644",
+      "size": 3043
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/chart.mmd",
+      "blob": "92d95a38f2343778641c69f500942cf1cc02146d",
+      "mode": "100644",
+      "size": 547
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out",
+      "blob": "18aedf2894414abbe939f68360d4d2f08f998022",
+      "mode": "100644",
+      "size": 2752
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg",
+      "blob": "bb86e2c8cc5621168f4a4a64e4eb50d33b699237",
+      "mode": "100644",
+      "size": 57
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla",
+      "blob": "9158973604d69dced60314510ad6dd39c0f9890b",
+      "mode": "100644",
+      "size": 303
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/graph.dot",
+      "blob": "a60662b180c48f9f3e51725c5ab87702f4325b14",
+      "mode": "100644",
+      "size": 1075
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/report.md",
+      "blob": "b92624593b84eb2a11cdcf0a069f3546d0f9b3f6",
+      "mode": "100644",
+      "size": 374
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/sany.out",
+      "blob": "92b207093eb1484a0ef0dbb6e6b7938b14a44cc8",
+      "mode": "100644",
+      "size": 46017
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out",
+      "blob": "920247b844f89238b291c643021e2bc22a0e1a4f",
+      "mode": "100644",
+      "size": 2178
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out",
+      "blob": "83457e1c6bde2a2e48f85714278fb6a95970aee9",
+      "mode": "100644",
+      "size": 2687
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd",
+      "blob": "9198ee16fe2f14a4541e7541a6a667fbd707b697",
+      "mode": "100644",
+      "size": 320
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out",
+      "blob": "11e7ef47867e8d2f056b1ce74d4698f698f7b0e1",
+      "mode": "100644",
+      "size": 2674
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg",
+      "blob": "a73eb3f49699de9a2c9776368d9d1d79ba498529",
+      "mode": "100644",
+      "size": 41
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla",
+      "blob": "51a6dd2cc62245f93dd1a8ace343475df3866b55",
+      "mode": "100644",
+      "size": 232
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/graph.dot",
+      "blob": "4c4a31e899d8897a871007d9f11673c93dfb2f94",
+      "mode": "100644",
+      "size": 593
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/report.md",
+      "blob": "db2cb8358dfb5adc37141d9f323e6ae9ceade117",
+      "mode": "100644",
+      "size": 285
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/sany.out",
+      "blob": "7fc577a326189e64706e6c33ecfa2f1503393164",
+      "mode": "100644",
+      "size": 42493
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit",
+      "blob": "b1bd38b62a0800a4f6a80c34e21c5acffae52c7e",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out",
+      "blob": "114d60ba3e320ef621749a47bb09812cf98b21ee",
+      "mode": "100644",
+      "size": 2866
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd",
+      "blob": "7dda491605eedca0200677f67265edecf0f25130",
+      "mode": "100644",
+      "size": 406
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out",
+      "blob": "b99b2956ac43a76c342e94b6d2284515b8b6fc02",
+      "mode": "100644",
+      "size": 2734
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg",
+      "blob": "cadbd94c6c11b355f17f51a61ef87099fb42d6ed",
+      "mode": "100644",
+      "size": 51
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla",
+      "blob": "9168efe4ea204dabd327f64ee4581d4ba6c5840b",
+      "mode": "100644",
+      "size": 194
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/graph.dot",
+      "blob": "3943d6aa2c830224e97d65ea784d3ad22cc972a4",
+      "mode": "100644",
+      "size": 299
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/report.md",
+      "blob": "0578eb27de909c45ab5ef56d32262aa6f63fd4b4",
+      "mode": "100644",
+      "size": 606
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/sany.out",
+      "blob": "c0d4cd2165a1dcdfbb6d052d07facfb61c2e16af",
+      "mode": "100644",
+      "size": 39895
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out",
+      "blob": "981ed353203ceb9fda0b86c11ddc389906b89c49",
+      "mode": "100644",
+      "size": 2141
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit",
+      "blob": "b4de3947675361a7770d29b8982c407b0ec6b2a0",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out",
+      "blob": "8cc5e2d4f92272c7910bc77807cb340591d0ef92",
+      "mode": "100644",
+      "size": 2762
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/chart.mmd",
+      "blob": "83f65fd1be26e55bbaf479db4a36608012e239c2",
+      "mode": "100644",
+      "size": 485
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out",
+      "blob": "1de92f9b10debbc6ed638dd01db1de427e4ee2fe",
+      "mode": "100644",
+      "size": 2927
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg",
+      "blob": "e446955693a3dfb5bcb950548396c1afc46b4241",
+      "mode": "100644",
+      "size": 79
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla",
+      "blob": "5cc3ba1f1cab9531b39d144574e7ae30cfb8a663",
+      "mode": "100644",
+      "size": 265
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/graph.dot",
+      "blob": "b9fbd8c57ce94daa6a09a964bfdad9420d0e54ba",
+      "mode": "100644",
+      "size": 302
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/Moves.tla",
+      "blob": "697939d4b33ffbbab7c02b4ccc858a96e2f13c6f",
+      "mode": "100644",
+      "size": 70
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/report.md",
+      "blob": "2c6b305701506ec6ed7cfd7bbaa6ebe8f282d323",
+      "mode": "100644",
+      "size": 509
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/sany.out",
+      "blob": "2fa0dadff235ddb7b52eddc31d5ed37c4afde198",
+      "mode": "100644",
+      "size": 62215
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out",
+      "blob": "af93dd028ac57a23027b9970647b92bbddd9bbf4",
+      "mode": "100644",
+      "size": 2290
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out",
+      "blob": "5eb734bdabb5fdf59183e1edd29c7c40cad823dc",
+      "mode": "100644",
+      "size": 2758
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out",
+      "blob": "b1649422a90755680f382b2e3b42b96613d3b4a4",
+      "mode": "100644",
+      "size": 3041
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out",
+      "blob": "6421d1d8fc380bc021135e68dac995ac1a303f9a",
+      "mode": "100644",
+      "size": 2824
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/chart.mmd",
+      "blob": "ead9269e2405193a20c160011a24c15940c156ef",
+      "mode": "100644",
+      "size": 351
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out",
+      "blob": "ccb7ba9df755eddc62505f4ce73528f575106783",
+      "mode": "100644",
+      "size": 2725
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg",
+      "blob": "76c3fb0615201e903353213b74b5f8c5f65647bb",
+      "mode": "100644",
+      "size": 53
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla",
+      "blob": "e701a8b64009098553aa32f5ff82e2f12a07b403",
+      "mode": "100644",
+      "size": 180
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/graph.dot",
+      "blob": "00d34c42a93d088a1d67e48bbba8a7d1c9976123",
+      "mode": "100644",
+      "size": 466
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/report.md",
+      "blob": "d565f6c8fac4d4c44c0894989e0ed01ef01ef3b1",
+      "mode": "100644",
+      "size": 343
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/sany.out",
+      "blob": "e3322a3edd39e50c1b075dcffbfef599cb0b84cd",
+      "mode": "100644",
+      "size": 37436
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out",
+      "blob": "273f6a9a53fe86b3441393e9565958420c535c38",
+      "mode": "100644",
+      "size": 1353
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out",
+      "blob": "8589bfb06807667f63069cf247c43fc8df72ffaa",
+      "mode": "100644",
+      "size": 2702
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/chart.mmd",
+      "blob": "5b17bea12010ae2e3c2073a2cb424bc6c262ef74",
+      "mode": "100644",
+      "size": 87
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out",
+      "blob": "27d7d2da037fe2aa038ab9b33752c24407786a63",
+      "mode": "100644",
+      "size": 2674
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg",
+      "blob": "76c3fb0615201e903353213b74b5f8c5f65647bb",
+      "mode": "100644",
+      "size": 53
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla",
+      "blob": "15b1224b32f256b49bfd6a9fe099d3bcef746e6f",
+      "mode": "100644",
+      "size": 172
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/graph.dot",
+      "blob": "00d34c42a93d088a1d67e48bbba8a7d1c9976123",
+      "mode": "100644",
+      "size": 466
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/report.md",
+      "blob": "3dd1d7e35d2a08892aeabe556260f984333e4123",
+      "mode": "100644",
+      "size": 127
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/sany.out",
+      "blob": "70180967286510ba8ac18f497c3285e270435b38",
+      "mode": "100644",
+      "size": 36919
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out",
+      "blob": "fd43d16c353849bb15a9126c95f8e9f2ebc5d49b",
+      "mode": "100644",
+      "size": 2217
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/chart.mmd",
+      "blob": "f5a339c11c84dc72eafe4892e263be64928792b8",
+      "mode": "100644",
+      "size": 600
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out",
+      "blob": "c5c8e5729b01b33a32f32f664c02f3c3ab226258",
+      "mode": "100644",
+      "size": 2833
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg",
+      "blob": "e05d62cfb03aadd5d24632194775c224b7648eb1",
+      "mode": "100644",
+      "size": 96
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla",
+      "blob": "48e2ebdf1ee8227606184adfdecbf13656ee7349",
+      "mode": "100644",
+      "size": 263
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/graph.dot",
+      "blob": "39f2651e18efcdf3da400eb5239175e340f2e6b7",
+      "mode": "100644",
+      "size": 798
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/report.md",
+      "blob": "df2f7a667ae0700749b33217939d31216712ffd7",
+      "mode": "100644",
+      "size": 675
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/sany.out",
+      "blob": "7f2ea094a143757bd4c4fa346a50009601fcd931",
+      "mode": "100644",
+      "size": 45338
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out",
+      "blob": "d86c4b795ac1ffe16898f8fd90b46c2ea5234de8",
+      "mode": "100644",
+      "size": 2137
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out",
+      "blob": "dfc61e8aa5e2b576bff3525b08a32d1187172a2d",
+      "mode": "100644",
+      "size": 2606
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out",
+      "blob": "b3deb6fe0b890afa6d59c5e6851cb1fc8fa1957a",
+      "mode": "100644",
+      "size": 3248
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out",
+      "blob": "a0e5fe809bc05a6fdf5e689744aae1002d912909",
+      "mode": "100644",
+      "size": 2682
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd",
+      "blob": "190ae24a1e79e427a87e050b51271588fc12cbf9",
+      "mode": "100644",
+      "size": 455
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out",
+      "blob": "4175494b4970e0c51203135e076403eeffa3d734",
+      "mode": "100644",
+      "size": 2798
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg",
+      "blob": "98f97b00a14215d2002d71616b1e8e838d722743",
+      "mode": "100644",
+      "size": 72
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla",
+      "blob": "7716ca0a88b8fc19fac918a8f123aa9efa76cd9b",
+      "mode": "100644",
+      "size": 283
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot",
+      "blob": "931dce5aa18499ac19d824ee13834f3d54197807",
+      "mode": "100644",
+      "size": 933
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md",
+      "blob": "bb60e8ae714a4f2d65b89eba4483eb8a8fc1dc13",
+      "mode": "100644",
+      "size": 192
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out",
+      "blob": "ec054808242db7d1746947f95050db2e672d6639",
+      "mode": "100644",
+      "size": 47544
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out",
+      "blob": "1d977efee52a3bedbcb4873505e291a65830be4c",
+      "mode": "100644",
+      "size": 2168
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out",
+      "blob": "a4cfefd2489f371b080eb905e83d1292869c5325",
+      "mode": "100644",
+      "size": 2702
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/chart.mmd",
+      "blob": "8b60a051c7a2672ab60607f4215d13dc9b690ad8",
+      "mode": "100644",
+      "size": 502
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/ChartRun.out",
+      "blob": "d9d16365e43bc2623a0fc99018e9592e1ca5bbf7",
+      "mode": "100644",
+      "size": 2836
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg",
+      "blob": "14229fa59e582bab0f937afda511c5a4facd3533",
+      "mode": "100644",
+      "size": 96
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/CounterView.tla",
+      "blob": "7b3f3cf6543d9eb13dac49ad5f06e10152ad6279",
+      "mode": "100644",
+      "size": 264
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/graph.dot",
+      "blob": "39f2651e18efcdf3da400eb5239175e340f2e6b7",
+      "mode": "100644",
+      "size": 798
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/report.md",
+      "blob": "06bc25fa1285b175be2987a91871f46c7e8e46ef",
+      "mode": "100644",
+      "size": 686
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/sany.out",
+      "blob": "922b7fd110fbb1ab5b4d741b0aec85f510f012eb",
+      "mode": "100644",
+      "size": 45402
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/verdict-1.out",
+      "blob": "7d9e8275a5dac9783086019d7eb7440ebb32b730",
+      "mode": "100644",
+      "size": 2141
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/verdict-2.out",
+      "blob": "db0dcde38843ccadc4fd3f4aa3d0ddf14da7bc74",
+      "mode": "100644",
+      "size": 2610
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/verdict-3.out",
+      "blob": "e5e174109dcc9a7784798fe82ba2fcf1f30af5cf",
+      "mode": "100644",
+      "size": 3256
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/verdict-4.out",
+      "blob": "5531c01d2d039002e3822ca5534f8cb4df7ec6fc",
+      "mode": "100644",
+      "size": 2683
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/CounterView/view.mjs",
+      "blob": "2f72ecea21a746d09407a6ed9b2c8f993d40c3b7",
+      "mode": "100644",
+      "size": 67
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/chart.mmd",
+      "blob": "7fe3c0ecc8a5d58b9201106de3ae425bf2a4a37f",
+      "mode": "100644",
+      "size": 2098
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/ChartRun.out",
+      "blob": "acbd2bda2bdde08c1160fd87b6435cb8cb4dae6c",
+      "mode": "100644",
+      "size": 2746
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg",
+      "blob": "cefff25119959bbef1c313fcf771d1e79657d56d",
+      "mode": "100644",
+      "size": 51
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/DieHard.tla",
+      "blob": "52dc76c2c9f91d5c7b1b4ef763bd61e2d3959c0f",
+      "mode": "100644",
+      "size": 900
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/graph.dot",
+      "blob": "fafcf3fca9f42e3feeb9511ac22fa0911268a6e4",
+      "mode": "100644",
+      "size": 10782
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/report.md",
+      "blob": "c08be40faa37f8d7df92967538faa4d1779cebc1",
+      "mode": "100644",
+      "size": 427
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/sany.out",
+      "blob": "0149b3d9df5df9832f82e44a47ac14cd98b08b7e",
+      "mode": "100644",
+      "size": 67417
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/verdict-1.out",
+      "blob": "20145d338d0f68089d31a288e3e93782ccf06893",
+      "mode": "100644",
+      "size": 3059
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/DieHard/verdict-2.out",
+      "blob": "cd1b7f22e3d772635a1a7b01464c9578e0cc1091",
+      "mode": "100644",
+      "size": 2679
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/chart.mmd",
+      "blob": "c364eff2917b4b5703bfa2cdc15c7d4663af55a3",
+      "mode": "100644",
+      "size": 523
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out",
+      "blob": "f35d6c82c883997fec534d0095bff01d23e64cb8",
+      "mode": "100644",
+      "size": 2773
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg",
+      "blob": "5a874416408b99f75366a9c429d49c4acc73a86d",
+      "mode": "100644",
+      "size": 69
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla",
+      "blob": "a0e6353178bf9005d20d336821fe5a0aa1229998",
+      "mode": "100644",
+      "size": 173
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/graph.dot",
+      "blob": "3b0721e409983954a3a2c8e5083b2d5868446f2e",
+      "mode": "100644",
+      "size": 636
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/report.md",
+      "blob": "412970238c167324dbc20f86a0fbdfec60ab6255",
+      "mode": "100644",
+      "size": 380
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/sany.out",
+      "blob": "2a648ff2b71d24e244d9405a4fce27bb8e77d556",
+      "mode": "100644",
+      "size": 35468
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out",
+      "blob": "da83f3ad939d0384e671f34151ed0a15e957fbbd",
+      "mode": "100644",
+      "size": 2134
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out",
+      "blob": "2520b3e5904c6325ffd7369d55d0a43875af5272",
+      "mode": "100644",
+      "size": 2607
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out",
+      "blob": "c1514b60dc2b4dd33b8056d479f804a49f6e7d5c",
+      "mode": "100644",
+      "size": 2604
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit",
+      "blob": "b4de3947675361a7770d29b8982c407b0ec6b2a0",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out",
+      "blob": "e19318748b58ba7712f88de6970f970509539019",
+      "mode": "100644",
+      "size": 2991
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd",
+      "blob": "78e6754ae9fdb66697644b4c719e34bfe1fb31d8",
+      "mode": "100644",
+      "size": 277
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out",
+      "blob": "b0c640583ba1410c84c041905e2b72ec84d8cfab",
+      "mode": "100644",
+      "size": 2675
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/graph.dot",
+      "blob": "1087ac95e2ce296b7fa2bf3a74eaf214b340e11a",
+      "mode": "100644",
+      "size": 467
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg",
+      "blob": "7e58ae943d9526b4d453e84238c0f5002e80948e",
+      "mode": "100644",
+      "size": 71
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla",
+      "blob": "baf36377c680a958f88fbacdf56d39038125534b",
+      "mode": "100644",
+      "size": 290
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/report.md",
+      "blob": "061c73f5500abe8c3bf1bc6e51f8eedf0dcc44d8",
+      "mode": "100644",
+      "size": 491
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/sany.out",
+      "blob": "db2f8f586a001e654a27e778b36be23ea02a75e7",
+      "mode": "100644",
+      "size": 44753
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit",
+      "blob": "b1bd38b62a0800a4f6a80c34e21c5acffae52c7e",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out",
+      "blob": "52d01fbc6c2f905a6364f588f631067dd009f689",
+      "mode": "100644",
+      "size": 2716
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/chart.mmd",
+      "blob": "9733b21cc2ad5f8c4c30ac74bb77b86a4426513f",
+      "mode": "100644",
+      "size": 735
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/ChartRun.out",
+      "blob": "b5e7e98aba9efd52c818d70499a0b6ea31f4be7c",
+      "mode": "100644",
+      "size": 2662
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/graph.dot",
+      "blob": "229abaf8f6440dc69d0e79fabc1746c9ebe21937",
+      "mode": "100644",
+      "size": 2946
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/Login.cfg",
+      "blob": "514c84e641fea64cce1cfeea28b805ee80514a33",
+      "mode": "100644",
+      "size": 46
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/Login.tla",
+      "blob": "453215af9946e8de2747d57029a824d3f0537c65",
+      "mode": "100644",
+      "size": 2804
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/report.md",
+      "blob": "096dd7cb67a68a516293c622f314a3e38ce994d4",
+      "mode": "100644",
+      "size": 304
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/sany.out",
+      "blob": "af8bc6f7975591c1f67e7aaabc0496eb0f4f2b25",
+      "mode": "100644",
+      "size": 61094
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/verdict-1.out",
+      "blob": "f74a91c43d6565f1bfe4538806fb9d4b78482508",
+      "mode": "100644",
+      "size": 2084
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Login/view.mjs",
+      "blob": "61b5120da1a33bd21b87f1de2ba7a32250e3aa09",
+      "mode": "100644",
+      "size": 47
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd",
+      "blob": "afb69d00ba56faf57c520e7c5eb155eaf669ad45",
+      "mode": "100644",
+      "size": 856
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out",
+      "blob": "f6221e1efee943e4564ff0263418066812ab2e02",
+      "mode": "100644",
+      "size": 2683
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot",
+      "blob": "68a7023bc5227504af03abe9e7339f50072d6619",
+      "mode": "100644",
+      "size": 2836
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg",
+      "blob": "b8e4128c949c670da5254ebcb0309fa5910aa969",
+      "mode": "100644",
+      "size": 56
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla",
+      "blob": "4c6d4d4eb94b3fafe87b51ac65b1c79d98fc33a0",
+      "mode": "100644",
+      "size": 3297
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/report.md",
+      "blob": "1f2b2ebd98e9d5ee30f701e29070259f48df740e",
+      "mode": "100644",
+      "size": 295
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/sany.out",
+      "blob": "20d5e4a5a1d7b5c705e6d50bafd997d41585b33a",
+      "mode": "100644",
+      "size": 86678
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out",
+      "blob": "f1f2dd15632140870ed95dd2256f87c665241a92",
+      "mode": "100644",
+      "size": 2105
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs",
+      "blob": "f47da36a6ab53eea5c987f87ed0e6a226b94cbd7",
+      "mode": "100644",
+      "size": 75
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd",
+      "blob": "add577ee963f5bbfa0e966c65fd02fad3d31fb0c",
+      "mode": "100644",
+      "size": 1114
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out",
+      "blob": "5072b1e8bfc2cf3e18e669c9a983d7beffa188e4",
+      "mode": "100644",
+      "size": 2765
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/graph.dot",
+      "blob": "7e46e55eada3c043ba7b1ac64f84c50aa9e8d824",
+      "mode": "100644",
+      "size": 5138
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg",
+      "blob": "4d0bd3c81bdd6b9199294c055060100f6edd035b",
+      "mode": "100644",
+      "size": 76
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla",
+      "blob": "1ad1667b835bed0b3fc89578eff48faee3691553",
+      "mode": "100644",
+      "size": 2619
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/report.md",
+      "blob": "1e8c75b1b5a836feb3523eb36d5a8864809b3032",
+      "mode": "100644",
+      "size": 696
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/sany.out",
+      "blob": "38297c6ffeafdf4d909c172c9b4e4bdc0e3bc2c8",
+      "mode": "100644",
+      "size": 65596
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out",
+      "blob": "c0f611bdd7ed6a99edc01f4f2acdcad3079be378",
+      "mode": "100644",
+      "size": 3109
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out",
+      "blob": "0f5c98a6698a44ddde55a198b314a6e02ebdce7a",
+      "mode": "100644",
+      "size": 2697
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/LoginParallel/view.mjs",
+      "blob": "f47da36a6ab53eea5c987f87ed0e6a226b94cbd7",
+      "mode": "100644",
+      "size": 75
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd",
+      "blob": "b75e94dd1e020a359458f3721f504147a47984b9",
+      "mode": "100644",
+      "size": 1202
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out",
+      "blob": "21b790217edaabd9e7312162b02b6451929cb567",
+      "mode": "100644",
+      "size": 2747
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot",
+      "blob": "c183699297118b011e08f24f2fcb99aa526fe548",
+      "mode": "100644",
+      "size": 8433
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg",
+      "blob": "31322ca0f0a4e46cbe2d52f6a0ee8c1e9975cef9",
+      "mode": "100644",
+      "size": 77
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla",
+      "blob": "4e4b02d7117a0a48c336563b59eda5fbdfb16d03",
+      "mode": "100644",
+      "size": 3514
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/report.md",
+      "blob": "051f70750c6d96ccb9fb010ef225fd73dd0de77d",
+      "mode": "100644",
+      "size": 506
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/sany.out",
+      "blob": "f074d321e6d183444b3c5a1e8e58998ab8367268",
+      "mode": "100644",
+      "size": 106159
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out",
+      "blob": "4312101cdf93b7408aca9b28c90f61bf39cce884",
+      "mode": "100644",
+      "size": 2239
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out",
+      "blob": "f87fac119bdde872dd0729590b2b2c65bb3b13ae",
+      "mode": "100644",
+      "size": 3573
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs",
+      "blob": "276e21fec5f54c760b9c70cc8fdbc836f3802b9c",
+      "mode": "100644",
+      "size": 195
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd",
+      "blob": "ab1e4ef168aa403dd24b96c50b1df3e46273335c",
+      "mode": "100644",
+      "size": 880
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out",
+      "blob": "7385b348ad153091c96f4c99f24f91746344e355",
+      "mode": "100644",
+      "size": 2698
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot",
+      "blob": "a5ea519beee423c2ee44369598df913db82e392f",
+      "mode": "100644",
+      "size": 7629
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg",
+      "blob": "d1743be9fda1b1d507580dc339820dc889e99e39",
+      "mode": "100644",
+      "size": 52
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla",
+      "blob": "27139f152c35f996eb59f37bc8d36bbd0443bc62",
+      "mode": "100644",
+      "size": 3472
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md",
+      "blob": "3dad98dca298694d82fcdee58650e4c50e127640",
+      "mode": "100644",
+      "size": 363
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out",
+      "blob": "23b0edaa34642fe8b30dce09ed55f887eac47fff",
+      "mode": "100644",
+      "size": 107448
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out",
+      "blob": "a919ca8c22beb3169d7054a4db37b37cbe6ee3c7",
+      "mode": "100644",
+      "size": 2120
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs",
+      "blob": "276e21fec5f54c760b9c70cc8fdbc836f3802b9c",
+      "mode": "100644",
+      "size": 195
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd",
+      "blob": "008a152d52c80d7be8eb5facde9c5d96ac9f444a",
+      "mode": "100644",
+      "size": 1125
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out",
+      "blob": "632b6fa6b928bdfbde2116ca996c3b88aa13f4a9",
+      "mode": "100644",
+      "size": 2853
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot",
+      "blob": "c183699297118b011e08f24f2fcb99aa526fe548",
+      "mode": "100644",
+      "size": 8433
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla",
+      "blob": "4e4b02d7117a0a48c336563b59eda5fbdfb16d03",
+      "mode": "100644",
+      "size": 3514
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg",
+      "blob": "a3aa6caf6cf143933e7aeac37f679c8bfc897883",
+      "mode": "100644",
+      "size": 107
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla",
+      "blob": "7291bce507eef12b129bfe9eb3f29fa3da6cd9ad",
+      "mode": "100644",
+      "size": 164
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md",
+      "blob": "98681ff8c279450cd493e52139a93d46710f97ab",
+      "mode": "100644",
+      "size": 766
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out",
+      "blob": "3dbc0429166f6e34096f04a6fd8a2ac450f6beb4",
+      "mode": "100644",
+      "size": 110999
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out",
+      "blob": "b2be9190b4d72215291ab909c35d756f0d892398",
+      "mode": "100644",
+      "size": 2408
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out",
+      "blob": "71c88cdbabaffcf4e46d8739e5f7e5a98c90bc28",
+      "mode": "100644",
+      "size": 2861
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out",
+      "blob": "9add0fabc6a694d0f03c4a3c9b7af61dd98391f6",
+      "mode": "100644",
+      "size": 2828
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit",
+      "blob": "b1bd38b62a0800a4f6a80c34e21c5acffae52c7e",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out",
+      "blob": "4e24e1a21db8177eba11f0de96ae98db91e6861b",
+      "mode": "100644",
+      "size": 2669
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out",
+      "blob": "f318b72fc79d215c97fa77652a4f8baa1831a594",
+      "mode": "100644",
+      "size": 2292
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out",
+      "blob": "68ae9cf11e110c81e419133741dec229cbf9d507",
+      "mode": "100644",
+      "size": 2274
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs",
+      "blob": "276e21fec5f54c760b9c70cc8fdbc836f3802b9c",
+      "mode": "100644",
+      "size": 195
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/chart.mmd",
+      "blob": "1d044ad68cae5ed9b4ce596b03596db86546067a",
+      "mode": "100644",
+      "size": 67
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out",
+      "blob": "23c3f60bb4b9962b0b94b6c2052e27a6fe5c8e5d",
+      "mode": "100644",
+      "size": 2672
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/graph.dot",
+      "blob": "72e7e24b8ba253ede0685395183828211c0848e9",
+      "mode": "100644",
+      "size": 403
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg",
+      "blob": "ebfa53e9c21e7e2fad3b714290f42040190bc57d",
+      "mode": "100644",
+      "size": 125
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla",
+      "blob": "914dc2b6bb0e41d4d1f4df03b5bbaf23f72d237f",
+      "mode": "100644",
+      "size": 298
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/report.md",
+      "blob": "505b488b189ed1d344d410eae4a998fb3cbcab2d",
+      "mode": "100644",
+      "size": 303
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/sany.out",
+      "blob": "454e2639b0c7e821db7928fe7e7254048a7b5b42",
+      "mode": "100644",
+      "size": 262944
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out",
+      "blob": "a524316408e37b31d509f36b4c93e1a4a8b7d61a",
+      "mode": "100644",
+      "size": 3349
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/chart.mmd",
+      "blob": "d84b4d7f217246ceffb12c4265833e9a240f5e20",
+      "mode": "100644",
+      "size": 115
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/ChartRun.out",
+      "blob": "f57a6ebb1f7049a46886574ba878a872c1bd6db8",
+      "mode": "100644",
+      "size": 2935
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/graph.dot",
+      "blob": "3b0721e409983954a3a2c8e5083b2d5868446f2e",
+      "mode": "100644",
+      "size": 636
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/report.md",
+      "blob": "2a68d874d5edf410bbccf9e4004f9741e8e2f7a6",
+      "mode": "100644",
+      "size": 372
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/sany.out",
+      "blob": "3326567a7ca4a6600507b6dddd9b671cca50e21d",
+      "mode": "100644",
+      "size": 44875
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg",
+      "blob": "d01d1b8c8738a9a80b016301bd231be2c9bff014",
+      "mode": "100644",
+      "size": 88
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/Shadow.tla",
+      "blob": "16204f0662e5602600f79ffa15ab5752f1b6a416",
+      "mode": "100644",
+      "size": 225
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla",
+      "blob": "ecdaa11f60fed1233844a259d86c14a684f492c7",
+      "mode": "100644",
+      "size": 146
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla",
+      "blob": "36bc01662741ca8fc3a17c2ece47b66990a652ed",
+      "mode": "100644",
+      "size": 43
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/Shadow/verdict-1.out",
+      "blob": "8f001abc6ffcd3b0ca9b86d67c0774de2fea7ecb",
+      "mode": "100644",
+      "size": 3026
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd",
+      "blob": "998ab69d9a58e7f327470c8b92dd3b7133af593b",
+      "mode": "100644",
+      "size": 513
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out",
+      "blob": "0d420bcb48ce7536207f636835cc821d05d20ff1",
+      "mode": "100644",
+      "size": 2745
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/graph.dot",
+      "blob": "9b447cde43848bde6ca52f8cdbb7aa4bc9aba71a",
+      "mode": "100644",
+      "size": 855
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/report.md",
+      "blob": "88410eb6b4ab158b3b1c6053cd138f2bc55fa88b",
+      "mode": "100644",
+      "size": 297
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/sany.out",
+      "blob": "046371b2720c68a2d4531bfb67a71d89db5bfc62",
+      "mode": "100644",
+      "size": 24142
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg",
+      "blob": "a0df4743315913a449f5347236c7992d06f4d9c3",
+      "mode": "100644",
+      "size": 35
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla",
+      "blob": "d25f887b04afd74046c021096cf6ba78d4bbadb6",
+      "mode": "100644",
+      "size": 268
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out",
+      "blob": "c0d2006acec6da3a54ac5af8535c94a2fd3e1aa0",
+      "mode": "100644",
+      "size": 2353
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit",
+      "blob": "b4de3947675361a7770d29b8982c407b0ec6b2a0",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out",
+      "blob": "13add5fd5e487dc64177b972bc5b36072fb305f9",
+      "mode": "100644",
+      "size": 2928
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd",
+      "blob": "0cb65843c51dd8aab620f8a5291ee74f20219880",
+      "mode": "100644",
+      "size": 1878
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out",
+      "blob": "5211d3384f1d1f565ed6fdeea5619d85e1cb63d6",
+      "mode": "100644",
+      "size": 3023
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/graph.dot",
+      "blob": "66cb1a2d55f88ac2f3ee32231a5a724b0c128e96",
+      "mode": "100644",
+      "size": 38927
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/report.md",
+      "blob": "5319d1a992f76c36161e2606ddd6e3c7c7263ef8",
+      "mode": "100644",
+      "size": 818
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/sany.out",
+      "blob": "291ac638280d2fb145633f1fdd0acdf82846776d",
+      "mode": "100644",
+      "size": 89545
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg",
+      "blob": "bbecf5002218920224d95830c738117990045ccf",
+      "mode": "100644",
+      "size": 76
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla",
+      "blob": "e7504b7bfe17a37b79f4af00d1d2f715ddc21899",
+      "mode": "100644",
+      "size": 2140
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out",
+      "blob": "65bace05d6847bba05ebb0bd2056f664024a0f4c",
+      "mode": "100644",
+      "size": 3529
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out",
+      "blob": "4536a30bb05e1b98a49194b123cbd2caec642f41",
+      "mode": "100644",
+      "size": 2685
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhase/view.mjs",
+      "blob": "c8c0cce069ad756075a46d67f6f2a90b8874113d",
+      "mode": "100644",
+      "size": 90
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd",
+      "blob": "78ae397f0115b2897616148c2675a1d40f77cc7e",
+      "mode": "100644",
+      "size": 1068
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out",
+      "blob": "52bd87a04b4afff4cc7c8f11b6b5100da87ba4bd",
+      "mode": "100644",
+      "size": 2692
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot",
+      "blob": "f79b82c8e815ec41128056e93c0517449fca3e2c",
+      "mode": "100644",
+      "size": 28548
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md",
+      "blob": "5b007b5a6bbbb471ada6cbfe11ece1a7b4ddf258",
+      "mode": "100644",
+      "size": 468
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out",
+      "blob": "3926f23e49a5e4a375a6c1af3e63eb185c3d56f1",
+      "mode": "100644",
+      "size": 90332
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg",
+      "blob": "bbecf5002218920224d95830c738117990045ccf",
+      "mode": "100644",
+      "size": 76
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla",
+      "blob": "9cec1f87ca23424fea63685d010c729e3bb494da",
+      "mode": "100644",
+      "size": 2108
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out",
+      "blob": "790d0918a63648d639a77e1b701e696c79c2db3d",
+      "mode": "100644",
+      "size": 2113
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs",
+      "blob": "c8c0cce069ad756075a46d67f6f2a90b8874113d",
+      "mode": "100644",
+      "size": 90
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd",
+      "blob": "68f61ab9012738d1ca7d6ee4bd7a13ef72f6c413",
+      "mode": "100644",
+      "size": 370
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit",
+      "blob": "dd475631baeff3ce652b97d921c1cc43c917b9e2",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out",
+      "blob": "51681e080fc79b3a5f47675082754ad3e2daa727",
+      "mode": "100644",
+      "size": 2966
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/graph.dot",
+      "blob": "1ef8e69e9d7164078e5ec8ef89f83d01b2902476",
+      "mode": "100644",
+      "size": 560
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/report.md",
+      "blob": "014071988b3d273e6e80bc02ec4d981029c6f501",
+      "mode": "100644",
+      "size": 738
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/sany.out",
+      "blob": "18f6d2a04af169ad1065b59e625df7275433fc2e",
+      "mode": "100644",
+      "size": 37427
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg",
+      "blob": "5c621b4371370780884e4fdef9d4a70266116b76",
+      "mode": "100644",
+      "size": 54
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla",
+      "blob": "efb5952f04091e0f6120da8853540baf90698ddb",
+      "mode": "100644",
+      "size": 187
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out",
+      "blob": "1e9be9502f219b810c9b0e46c46dfa328e6bf6a0",
+      "mode": "100644",
+      "size": 2419
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit",
+      "blob": "dd475631baeff3ce652b97d921c1cc43c917b9e2",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out",
+      "blob": "0e682f17a7839bb0f16641e45a630b1a7615eccd",
+      "mode": "100644",
+      "size": 2975
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd",
+      "blob": "539790a87bab5bd8ba8d1d150af613264fc516ae",
+      "mode": "100644",
+      "size": 477
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out",
+      "blob": "ea07460f3c120ec854186a51c2246719ec07a575",
+      "mode": "100644",
+      "size": 2713
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot",
+      "blob": "3b0721e409983954a3a2c8e5083b2d5868446f2e",
+      "mode": "100644",
+      "size": 636
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md",
+      "blob": "31274731ca2f0c34b505b9e77d22b8e7b94fae62",
+      "mode": "100644",
+      "size": 254
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out",
+      "blob": "a3c622cb4c7bba0d9994f290bc036e1da35220c2",
+      "mode": "100644",
+      "size": 35387
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg",
+      "blob": "86617d00fb7f53ebc2eee4bd5f413bc2d1d2cf94",
+      "mode": "100644",
+      "size": 40
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla",
+      "blob": "e18662ad543ab0239cb6257fdde68955b45e8d9f",
+      "mode": "100644",
+      "size": 154
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit",
+      "blob": "48082f72f087ce7e6fa75b9c41d7387daecd447b",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out",
+      "blob": "3f12e86b80f1c5f76374b3b445e758355987f22b",
+      "mode": "100644",
+      "size": 2158
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit",
+      "blob": "b4de3947675361a7770d29b8982c407b0ec6b2a0",
+      "mode": "100644",
+      "size": 3
+    },
+    {
+      "path": "skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out",
+      "blob": "972408774099989024edb827f6a1b6f37d8ba385",
+      "mode": "100644",
+      "size": 3022
+    },
+    {
+      "path": "skills/statechart/scripts/test/differential.test.ts",
+      "blob": "c6aff9cadcc724202d7308a93fe2e17cc9aa64f4",
+      "mode": "100644",
+      "size": 18644
+    },
+    {
+      "path": "skills/statechart/scripts/test/grid/Grid.cfg",
+      "blob": "d0ee570affdd4f5c4a26cff74d7fcace15898db1",
+      "mode": "100644",
+      "size": 40
+    },
+    {
+      "path": "skills/statechart/scripts/test/grid/Grid.tla",
+      "blob": "362afc474250b6d8892d7feb5b553bca3dc5d9ee",
+      "mode": "100644",
+      "size": 205
+    },
+    {
+      "path": "skills/statechart/scripts/test/grid/sany.out",
+      "blob": "79e7f1243077292f954650ba757ca13f5565fee1",
+      "mode": "100644",
+      "size": 40105
+    },
+    {
+      "path": "skills/statechart/scripts/test/java.ts",
+      "blob": "b6634ad7ac998851cbce400bf5a52b37ee96ea80",
+      "mode": "100755",
+      "size": 2639
+    },
+    {
+      "path": "skills/statechart/scripts/test/labels.ts",
+      "blob": "a3d149984e53558e8b6a59dd994cdbd28487aa2e",
+      "mode": "100644",
+      "size": 19769
+    },
+    {
+      "path": "skills/statechart/scripts/test/messages.test.ts",
+      "blob": "61af006968a6e9c2dc359c8b5859a1238b9e56cb",
+      "mode": "100644",
+      "size": 7763
+    },
+    {
+      "path": "skills/statechart/scripts/test/pipeline.test.ts",
+      "blob": "81a5056a37276e38bb4f68993378a82fb55036f5",
+      "mode": "100644",
+      "size": 9720
+    },
+    {
+      "path": "skills/statechart/scripts/test/plain-tlc.test.ts",
+      "blob": "434e25612db133034c5a9f7e04965906488ef01c",
+      "mode": "100644",
+      "size": 7180
+    },
+    {
+      "path": "skills/statechart/scripts/test/render.test.ts",
+      "blob": "5309a92648b950554381f5adecacac161bee3e28",
+      "mode": "100644",
+      "size": 3257
+    },
+    {
+      "path": "skills/statechart/scripts/test/tlc-out.test.ts",
+      "blob": "7f27d04ee195e05d0ccea6c9e024a7b2890fde45",
+      "mode": "100644",
+      "size": 3630
+    },
+    {
+      "path": "skills/statechart/scripts/test/tlc.ts",
+      "blob": "f659423d24c489616168096695ecfde1714bf45d",
+      "mode": "100644",
+      "size": 5743
+    },
+    {
+      "path": "skills/statechart/scripts/tsconfig.json",
+      "blob": "9b16905d0a049715f942bdbe4bf3a3a80be02bad",
+      "mode": "100644",
+      "size": 225
+    },
+    {
+      "path": "skills/statechart/scripts/worker.ts",
+      "blob": "9559314668f6573e17db7c278d05f5776b235ebc",
+      "mode": "100644",
+      "size": 1095
+    },
+    {
+      "path": "skills/statechart/SKILL.md",
+      "blob": "f5a64a8db4b8a5957ac5e76e051b1823cecd4d5e",
+      "mode": "100644",
+      "size": 9100
+    },
+    {
+      "path": "skills/swarm/SKILL.md",
+      "blob": "9cd32247b4f381bb020cbbf0fc546ba71407d558",
+      "mode": "100644",
+      "size": 2739
+    },
+    {
+      "path": "skills/tdd/SKILL.md",
+      "blob": "ca6f24c963001d9d518db2936dfe3d12f29b4e94",
+      "mode": "100644",
+      "size": 3143
+    },
+    {
+      "path": "skills/teach/SKILL.md",
+      "blob": "25369f3f554ed6b5826340ae3eee688fac0bda80",
+      "mode": "100644",
+      "size": 5623
+    },
+    {
+      "path": "skills/technical-writing/SKILL.md",
+      "blob": "3e6d26109376cd66439c87ed48b4033df8d78a3a",
+      "mode": "100644",
+      "size": 9093
+    },
+    {
+      "path": "skills/typescript-best-practices/references/patterns.md",
+      "blob": "f8dd99b63ecb469a090b8fa0a7e235d3239cb9ec",
+      "mode": "100644",
+      "size": 9287
+    },
+    {
+      "path": "skills/typescript-best-practices/SKILL.md",
+      "blob": "e1e5aa7c97ed39c425d60d933a96424a3f14539e",
+      "mode": "100644",
+      "size": 2765
+    },
+    {
+      "path": "skills/unslop/SKILL.md",
+      "blob": "97f5b6412148fa5b2a2fe478836fe8923ffa5cbb",
+      "mode": "100644",
+      "size": 5827
+    },
+    {
+      "path": "skills/why/references/epistemics.md",
+      "blob": "b18abf41dfa245ee55e94f1b3a80c0b750eb10cf",
+      "mode": "100644",
+      "size": 6736
+    },
+    {
+      "path": "skills/why/references/investigator-prompt.md",
+      "blob": "e1c2bbf52197ff600ba6e4552439e630687b7ae2",
+      "mode": "100644",
+      "size": 5554
+    },
+    {
+      "path": "skills/why/references/source-playbook.md",
+      "blob": "aa3d877cd539763ff05e266ae0a02dd811441e2b",
+      "mode": "100644",
+      "size": 1363
+    },
+    {
+      "path": "skills/why/references/sources/code-archaeology.md",
+      "blob": "e3555f809da0a5654ceefe7d2c20080397c03506",
+      "mode": "100644",
+      "size": 1440
+    },
+    {
+      "path": "skills/why/references/sources/databricks.md",
+      "blob": "2770763ff5d0d1ad004abcc9a0138c9537ad1978",
+      "mode": "100644",
+      "size": 6994
+    },
+    {
+      "path": "skills/why/references/sources/datadog.md",
+      "blob": "536466ddd8ae6543836abb84bdf1efd8e43089ba",
+      "mode": "100644",
+      "size": 4971
+    },
+    {
+      "path": "skills/why/references/sources/incident-postmortem.md",
+      "blob": "e7397e7ef374bee3b7f0018ac8e5ddd4322bab12",
+      "mode": "100644",
+      "size": 372
+    },
+    {
+      "path": "skills/why/references/sources/linear.md",
+      "blob": "899c643c078f322afe6ae0ef78a007f8ffd356c1",
+      "mode": "100644",
+      "size": 2996
+    },
+    {
+      "path": "skills/why/references/sources/notion.md",
+      "blob": "d16230a4105fd1dacf870da0950a38faeb9381e6",
+      "mode": "100644",
+      "size": 2853
+    },
+    {
+      "path": "skills/why/references/sources/sentry.md",
+      "blob": "8200fd9f3abbb7fca76d0079663502b33524bd09",
+      "mode": "100644",
+      "size": 2089
+    },
+    {
+      "path": "skills/why/references/sources/slack.md",
+      "blob": "cadd5618a349adc5eb1dce6fddde38e7221e00fd",
+      "mode": "100644",
+      "size": 1336
+    },
+    {
+      "path": "skills/why/references/synthesizer-prompt.md",
+      "blob": "287a350c925c28b44f0e0dc687bb09a843e11100",
+      "mode": "100644",
+      "size": 7146
+    },
+    {
+      "path": "skills/why/SKILL.md",
+      "blob": "b5fe93f8b78f58b06e0bf245a6b5b8faae4300e8",
+      "mode": "100644",
+      "size": 8903
+    }
+  ]
+}