chipweaver/veripower — 12 skills

Pinned source listing — machine-checked

What declarations and files are present in this pinned source?

Pinned source declarations and file hashes were listed.

Review

Machine-checked · 2026-10-22

Run UTC: 2026-10-22T06:34:42Z
Reviewed: 2026-10-22
Published: 2026-10-22
Updated: 2026-10-22

Observations · Limitations · Evidence

Works with:

Works with Claude Code

Works with Codex

Works with Gemini CLI

Works with Grok Build

What we ran

Git blob acquisition followed by static source inspection.

What we saw

Listed 12 skill declarations. Ran 314 git commands; each one's exit status and output hash is in commands.json. Scope: acquisition and static inspection.

Limits

Scope: acquisition and static inspection. Command results: commands.json.

developer-tools · skills · Upstream source · Upstream documentation

Pinned source inspection only; no runtime platform was exercised. UTC 2026-10-22T06:34:42Z, tree 1c5f7e78246e6b1951ef82b6ff23d8229122aed7ed0613a5e154c2275bbbdfc3.

No browser or computer-use tools. Pin this exact version; the stamp does not follow updates.

Full record

name: chipweaver/veripower — 12 skills
slug: source-skills-646be0c0aec9320946475c27
type: skills
category: developer-tools
example: false
evidence state: pinned_source_listing
stamp: Pinned source listing — machine-checked
summary: Pinned source declarations and file hashes were listed.
outcome: Listed 12 skill declarations. Ran 314 git commands; each one's exit status and output hash is in commands.json. Scope: acquisition and static inspection.
rule results: ["The retained source tree matches its acquisition manifest.","Declared skill names (listing.json): brainstorm; design-flow; env-precheck; lint-cdc; power-analysis; rtl-design; simulation; simulation-plan; simulation-triage; specification; synthesis; timing-analysis"]
task: What declarations and files are present in this pinned source?
setup: Git blob acquisition followed by static source inspection.
limitations: Scope: acquisition and static inspection. Command results: commands.json.
source url: https://github.com/chipweaver/veripower
documentation url: https://github.com/chipweaver/veripower
commit: 1326b316b7d06147dc726efc0de9d35bfffec8e3
tree sha256: 1c5f7e78246e6b1951ef82b6ff23d8229122aed7ed0613a5e154c2275bbbdfc3
file sha256: {".claude-plugin/marketplace.json":"b02b734cfb6dedcdb846ef4217288bc2c8ff790872e57d5f97ca6f3f3560f4b2",".claude-plugin/plugin.json":"93e3697e0b299a2c2de2b452c447b920320d48fa0bb2a2643ac226664dea6f4e",".claude/CLAUDE.md":"7b50d15feae7b63b94d845b2fa6e19e3220527c5b0cac69303b7fc19bd7484a8",".claude/README.md":"36131c1218fa025e985e197c8fe02a863e1e47aa6b9d8fd726d682a064df61ff",".claude/adapter.py":"fa5d8c16cc0434d38797182e594d819f1af8c6fb7b3e1585752693e477c0dc89",".claude/hooks.json":"e67137d324159884f150562be900ca27132284f40b4438de4a978c8242849eae",".claude/hooks/commit_selfcheck.py":"98e3bf1657a00531e6a818487e51ae7b4451a256e571917c661eca7920df318d",".claude/hooks/ensure_precommit.sh":"3ecf57a03065d5ffec41a005c1a0933f0ca567387d1edae7cc454c71d61ebee7",".claude/instructions.md":"fd00a0baf8a6a5d14c3bd5559dbe1b132245f62923f80d69c9a3075dd1285546",".claude/loop_after_dispatch.py":"13b6e39fd5cd5d040aae1297e3b14a6ec50f02ce87efccad00253736d0e81c08",".claude/settings.json":"2abb443fade38320ce59305a5d185d450e9086ef17b478e6a3d8612def62ce8f",".codex-plugin/README.md":"1755d9b0b341663c685331bf2c48f52419781d2dd3025715b7b4d2d11f2e5ba2",".codex-plugin/adapter.py":"dca8d1a0c2c9577f613f6e3b8405b4d5a08484a106f00b4464072b603d53d073",".codex-plugin/hooks.json":"4fe18f2eb6ea4b5eaf1cdf875b5a180b70f95368b191af62547bcb04169c1303",".codex-plugin/instructions.md":"34a6f244a9180bdd88cf984df3ba8db46f847feb1866385d9573e873b7a649b3",".codex-plugin/plugin.json":"a7cc0971e9859560f5e52b8acfc8777fbdfe2c41c83c0cbd054378594d2ade89",".dsh/README.md":"e9794b750f853934c989db4d9666bac4b88448bc0b8b953c6bcabf323a0500a3",".dsh/cordis.patch.yml":"f7ac89a7eec97a21305b3b3c0d142082f9bbef5eae1b39dc39e1919a652627cb",".dsh/plugins/veripower.js":"4841ab5c82f737397d24786d734bcee046fe76e97642c30acdb1dd3b8cea85e4",".github/PULL_REQUEST_TEMPLATE.md":"30d5d0cd1b8937f69db2a443ed5d762d2faf4ad37bf95751a667ea594596668f",".github/workflows/ci.yml":"4e47717a282c42d50c2d88f24c455efef1764105fc32973b4957b4377ed21389",".gitignore":"7cb0b18a8eba91eeff0f82fa04b52396a03451a03fe8c0b609c7a6dcdda968cc",".opencode/README.md":"a3798297cd7b9d8da676adf72d75409d0f09fea32504a8506dd67b771f1d7266",".opencode/plugins/veripower/server.js":"a5d94111ee7c23da382a6d69698ce17c1125760ad0adf08527fbc258bc6661ab",".pre-commit-config.yaml":"adc25a8ee73966522d5fec5f06db8c7e4986e18930a0c21fd2ede85054a34994",".shellcheckrc":"0fbc22f0f675701f913c9056d091a53f2e225fc00bde38ec96a31f5ff8774187","AGENTS.md":"facec4aed04233403c9588b78beff9cd37065c87534c43b21e18e5dccab80ef8","CONTRIBUTING.md":"30acbeef1c78efe35b1c44805604cd7c237a21fc178bddf305d6d16fa1c11e7a","LICENSE":"170e897a2601406c5f3b4f5f3bb121957c9b38e4c83500f48e65701fc13e154a","README.md":"deebd2bde55334141a1466d572f2277e4a2209f90c368ec3ffac5ba46ca83cda","README.zh.md":"4e27a3f5a46b712fab43bbce258204256187b693ad032ef84ee53e308fb64014","assets/implementation-architecture.png":"87cd7c802eb647a1aecee21f07af041de92631d04f0e202654c52513c612430b","assets/logo-256.png":"996c6cf3c701f0d2aa0dfe02ed2b4c2984ee5f89b8617ccd950ad50cb83f0bb7","assets/logo-text-dark.png":"11603cbccdc998a567db73c052af1f88168c35ab1e0f0b51dcdaca1e70d74e11","assets/logo-text-light.png":"246cd00470c9875a13162ddc782a5337819c9ef7b4f705a3dae443571a6df01d","assets/pipeline-dag.png":"ec5e053857ae1be3b9ec60515f83a456858af4e847901f1588a9dbb755aacb44","assets/plugin-architecture.png":"02a66677a1abe82deb73fb85315243e624bd5dd2860500b81ddead7adbc02692","assets/veripower-methodology-and-mechanisms.png":"663da97962309a50610095d040a1d2532541e13a40c34fb53dbc2999143b0c3c","assets/veripower-task-artifact-relations.png":"09f89b449f3f9e9b85fb8084d1b54d1f3c3b261d7f2e2d93f03b068a9351cbf7","docs/ARCHITECTURE.md":"9c8aa3f9161e563379b96a937e54e1c3bf8b6f5b69e7e5b8cbbf35d30b4aca10","docs/ARCHITECTURE.zh.md":"fe1e1337524d81d4878057cdab40d27d9fcbc0175624fa7dfbb19f0a51b1c63e","docs/USER-MANUAL.md":"53a236f9e6434c8039b25538740ae9c36179864f59c7804ab2c551b602cca9fc","docs/USER-MANUAL.zh.md":"75433ff04273718d60843f835f37a6ffbbdb929426f2c363666b38335e98b689","docs/eda-env.md":"687b1a2f2dca54f8989f1d2831684e4f362ef10476cec1746e0c0c260812844b","docs/eda-env.zh.md":"547d2ff04eeceb189e741924f7b22dc6ea2e0a5d4cbe6e0a6cc2470b6505e4b0","framework/README.md":"cc1117d6ea8471b8c4760cb95bab76b0a3b2c762af8b00638be232929f49bc6e","framework/references/prompts/stage-subagent.md.tpl":"8174befe81bfa671785ff78bfbece12acf0c02c5d0a0e7c934efeb5fcee20b47","framework/references/schemas/envelope.schema.json":"58213c7028f2b3c83beb7df1a570fccd8eeaaf7094319086edc121314d1a3ff1","framework/references/schemas/events/diagnosis.schema.json":"860043c0227784499883f8e83ddb3ce1b548e188f6633b7c5f98781f44bdfeb2","framework/references/schemas/events/dispatch.schema.json":"2d640fe73251e3d1e3a9164910e333eb27569ce218a70520c4a28d13d5c8e9eb","framework/references/schemas/events/outcome.schema.json":"cdcd8d47151662eb187ea6d9adf49c1dda8494f6e4d714d0780eca2810256de4","framework/references/schemas/events/signoff.schema.json":"f3965318f6890cc23be88e9ced22324d32b34ccd283c3651b18cfbc7ca9b58f0","framework/scripts/facts.py":"c45fb8b1920d823e255e37cb2f27d8fd94396695d276db6bc01550889762b96c","framework/scripts/kernel.py":"c4282abe706f3c1ee00f4cd9183d652fe4254123bcd0989945a5b38db1a2c8eb","framework/scripts/rules.py":"f1eb12e845756f9dc2e9f72ad19e4a5c1b31d56b5dda9653ab8b06d5fd8f7020","framework/scripts/schedule.py":"4a14e7676efca870acd7b4e5965f05385d2af4621c7871b6e0d3a54d863c7754","framework/scripts/store.py":"56433a7dbfdc43cdc8cd0488c1506207f5f5bc35461633d464f4f38bf700e340","package-lock.json":"bff94d46167b60b781036095eddb7f0dc5a6a56e0905a48697ceaeae95cd36a9","package.json":"be0178161fe59c61c253bb6165aed9169576f8b17f6216c2628faac29910ba87","pytest.ini":"9ea690116e7631d05d5d7d5a3a191156da7e715658234df1ca4a9229351bff86","requirements-dev.txt":"28fd358ee25afd8fe77e284fef2f1f13760d04e686aa6ac60b2e16c2ece1294d","requirements.txt":"5c077e64d53f9dfe7e617813297eae7815c2e8bd7fa0717098bb6a7015037522","ruff.toml":"6cf912ce3fd545133f2a9a4b23579ac63e08cdf9b73117b047813f0eae04b28d","skills/brainstorm/SKILL.md":"dab735335abb85fe9bb6806d345ae6437060fa8c8929fa5238818726030746a8","skills/design-flow/SKILL.md":"4b3356a569773ddda24cf1930589acd8dced41dc87f4a47003c576152bcb7eed","skills/env-precheck/SKILL.md":"117cbac0e1e148c0e7b130778f5baecee1951bf7170e99f090149a74bf02be96","skills/lint-cdc/SKILL.md":"f794203e00449e013a7fadf5d3aa13763d0e03634a183f687fdced25b3d3cbb0","skills/lint-cdc/references/attribution-rules.md":"bf66c573418825236bbbe1550f89db2324a2e7e4dd7f3a53e8c730bf5dd8c9ee","skills/lint-cdc/references/result.schema.json":"02e7627de2d8ec268fc93d4e8ba643a8ec959ebe8700035887a4ace9ccf5c7c4","skills/lint-cdc/scripts/lintcdc/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/lint-cdc/scripts/lintcdc/__main__.py":"4095dfec5b45d92b4927a32b7fa1b02eb82c75fd9073140cb11022ed3594cc0f","skills/lint-cdc/scripts/lintcdc/bootstrap.py":"06530760a42878e9d8fbdc584254a68525229b80fc92cec019ef577043f80ef0","skills/lint-cdc/scripts/lintcdc/requirements.py":"b308fe3006e9744e1ee0dfe97f1284b850b1a05be21be49c3818f13cce464e16","skills/lint-cdc/scripts/lintcdc/result.py":"e4ce3d170fa7711e66dcb4b1ec8cf656cae06bd07f0019559e574f42e6a9c819","skills/lint-cdc/templates/Makefile":"b6f8a78a331b0350feae012a504e311a017edf5a32c9af74304d801398a22825","skills/lint-cdc/templates/README.md":"5027b1166422700d7a4e6a4b73ed048e1904f18c2222b09e4c365874ad3e4d5d","skills/lint-cdc/templates/env.sh":"e3a2eba4bf1b5f53103aea0f9bcaa531c7af1c20e2f42403f93566b25760239a","skills/lint-cdc/templates/scripts/collect_report.py":"dee98a80e23449491e200203d768cf4752c739679e666909e03795c2619f02bf","skills/lint-cdc/templates/scripts/local.sgdc":"6a914cbe1015bbd0815f9dcbc2657a15ea90c709c15b629baf6305eb27425c3e","skills/lint-cdc/templates/scripts/run.tcl":"fd251dd6703df733a8e99afa994b5c3a3c61489a104c8cc9e73611b0c5bf59ab","skills/lint-cdc/templates/scripts/run_spyglass.sh":"52e897acd020d23391afa0a57e71331e66d9b2883f485a95f70e3015cae3cc8b","skills/lint-cdc/templates/scripts/spyglass_lint.prj":"ec78f35d81645f84df46656158e4f3444b50aedf575cb5f1ea4b65b1a7d8ab9e","skills/lint-cdc/templates/scripts/waiver.tcl":"e83da2dadc14973af089049f30d15065b00b5051cbc23e47da3bd0ef9b42d16d","skills/power-analysis/SKILL.md":"c8764837e333c14fb4383c201b19f8a6e1bc52d7d04acd78725e61c7f13da54d","skills/power-analysis/references/result.schema.json":"677d7c2c66a613d820c17e1c19ea07282fff3ef8d330f279607a1beba86a6143","skills/power-analysis/scripts/power/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/power-analysis/scripts/power/__main__.py":"bf4007f562fd3dcc2f5d2e76df34256005c674143d428fac2c6c28d458a6a1cb","skills/power-analysis/scripts/power/bootstrap.py":"8cdc8ca25711243b661158c22717888ca519e848cadf0f52ee95096d19cdca66","skills/power-analysis/scripts/power/execute.py":"6fded38d59131719e9ba34eb3e0449078f32f689dfbadb047b9db0633e9b8d2c","skills/power-analysis/scripts/power/requirements.py":"8d2a1b3fb5093ecb12e70cd22846eab699ebd4d05646a641a34c59168cc74958","skills/power-analysis/scripts/power/result.py":"0473c3634d116a816f169dfa1d78892be90170feff17e19c759fb79cec7b1433","skills/power-analysis/scripts/power/scenarios.py":"b7532e24fe4fb2cc34c9ac54f5f77d7ad0379d568eddd886967500ae91f60061","skills/power-analysis/templates/env.sh":"e98d7a0a3bba2f6f769b0c0bd7b79ba255b3829456aa08992831f4180ecad42d","skills/power-analysis/templates/scripts/check_sdf_annotated.sh":"098395e189a5d0981fc01b4948ff715241c9896cb2b73e0a116139aa64f84c01","skills/power-analysis/templates/scripts/ptpx.tcl":"071ad7eb9139889e5983e9a3b5a14fcbbdb4f5a8e0f24f704b2096be5e1f5a6c","skills/rtl-design/SKILL.md":"fe65a5bcb0d07e2bf3f003a7ddd51cf1e3012a63a03acd809568dc4ec640430a","skills/rtl-design/references/child-task-contract.md":"28c81c85c70a36a24f3808258ad1344642adb69e3c0ca1b80f41684d109a8776","skills/rtl-design/references/coding-rules.md":"5bd3fc7ea3d3259b7ce55e07926e1bcb951205cb4d93a1f9139fc7432429a619","skills/rtl-design/references/constraint-annotations.schema.json":"7c7fa4e94f1465578206acaa84f51cfab869825de46824a5b8fb90fa3dffbfdc","skills/rtl-design/references/result.schema.json":"6d132515aff92c63311ef68f60cc1ba6593677399cb8f6cee21f3d02116007c6","skills/rtl-design/references/rtl-files.schema.json":"9448b6733aa0675a0b408e4906ba630d41a2dfcfa595aad7e32b39a6ec14cdc2","skills/rtl-design/references/rtl-review-task-contract.md":"85dca0ae8adc3fea30a0082fd5f838dfe55268a655e8ea8d2aa2e6b4aaafc5df","skills/rtl-design/scripts/rtl/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/rtl-design/scripts/rtl/__main__.py":"c46f435ac67cba22a23b5461966d1c0b28fc18ccb9e46b4715362fd9df8e5d4a","skills/rtl-design/scripts/rtl/result.py":"e18c8c76b518a45b006ef60555a825eae87e3436ee14f19bc5fbc9178dde7af1","skills/simulation-plan/SKILL.md":"ca13f32ecf83074eea9cd1cdd48fb6f1a322a855f7d113cdbbbaeecfacf02b7c","skills/simulation-plan/references/plan-review-task-contract.md":"5b0c587dff4cd55a0c264d35a84930e8beb3a4f485d783ad0acc3cbf7c30d4f8","skills/simulation-plan/references/power-scenarios-template.md":"aa84a8d815b424c853f5a88784f50d02ef8000c989371a65ec990494ff62cb80","skills/simulation-plan/references/power-scenarios.schema.json":"a9f836bf5dec4b54fb02ba4f80148091690b45ba5313be22d3bd4596e5265217","skills/simulation-plan/references/result.schema.json":"214f39689975578a72fd3846b71043a1e0ca25adb0c7513cb2e45f5bdf7d8269","skills/simulation-plan/references/sequences.schema.json":"446f47e098d4fec8bb75a12f5652c88e923e33f4b058ed0d2bee1161a32790af","skills/simulation-plan/references/spec-input-contract.md":"2ad167aedf62f57dcb067cc6ccb95e3402f78a00c4c9e828fa0eb61906b1631a","skills/simulation-plan/references/tb-scaffold.schema.json":"eb38cb6f1ca5654624406c7bc121f174e546c7fb91f616acba210e8126d9ea06","skills/simulation-plan/references/verification-plan-template.md":"6e9215063b6133e82e7efc8dd796a5a7e31d525579d831f647ffd13392ca612e","skills/simulation-plan/scripts/simplan/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/simulation-plan/scripts/simplan/__main__.py":"ef1dacaa6fd86ec68a98e7d546e78eabfaf7dae4dc6dedd93810100380536176","skills/simulation-plan/scripts/simplan/hints.py":"081209846d8f50c8ffef346d302a834875ec8b4b809cfe69299023dff69a0528","skills/simulation-plan/scripts/simplan/plan.py":"8ba93043b7f1a81ac60fbf0f228678ee4396c87f9db790cffa464c65ae5e8442","skills/simulation-plan/scripts/simplan/result.py":"3fa0afcf7307fcd7d4c5a04796a262ebdd6f486c8daf379c3b2084a1702246d4","skills/simulation-plan/scripts/simplan/scaffold.py":"07bda762101626c61cf90bafde85c68baa6a01321a2ca85d3bf63f183e8f46fd","skills/simulation-triage/SKILL.md":"f1490ef57a3febeece0b88cb747f123a7f9cb1a1f26a9282d4142bf058a323e8","skills/simulation-triage/references/result.schema.json":"a443cfe262335d7986017b47bf888a4fd7fffaa199f485f603ce2b19ebcd4843","skills/simulation-triage/scripts/simtriage/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/simulation-triage/scripts/simtriage/__main__.py":"a335ebb222bbbe4be322d64e635a515fff7080e587b74b4cda41d848a81a47d0","skills/simulation-triage/scripts/simtriage/result.py":"e7e922cffa0c00936a848b3ea099e6bec10a42ff16b298665383cf29d4264106","skills/simulation/SKILL.md":"a89126bc12e0ce193bc575035ed9db050e99b3fa4a2070b39a25f03c8cbca4a8","skills/simulation/references/artifacts.md":"1e8596752f7ad86a02484ddee922b605e6bc942aa6ee175b65b4db2d0d9240c5","skills/simulation/references/authoring-checks.md":"d5b716493924c31adec819e2ab40baa937a108b2fe89ae15bb881d11dc40ab22","skills/simulation/references/check-review-task-contract.md":"890fa651c4d7c4eb0cac18d55e2d3148484d186fe397c9338a7d9f9b9e3f51e2","skills/simulation/references/coverage-iteration.md":"3144f212420be3316c6d6e3027b67c52f8742cb67694a304a0a7fc2265e89255","skills/simulation/references/env-task-contract.md":"0bf24ddb6e6850e481af0d1d9bd786688f56b455a1790976fec8b3b90edfe399","skills/simulation/references/result.schema.json":"04b237233c85829c2312eb63526ba1a2906e8e65e03cf1be2b5c80558cc202c8","skills/simulation/references/verify-task-contract.md":"05ba80479f11259d1e72e818c6b55c0ebb6af908cc4b4f9fbb04bf9a0df10d5e","skills/simulation/scripts/sim/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/simulation/scripts/sim/__main__.py":"1eb67c8cc73db808418378b8084590820fd59d4c3b522b94d2c360be5e56390b","skills/simulation/scripts/sim/bootstrap.py":"d9ae8ac81592f87d48d8aae0449ea2432f1d999ebe58572a5fb2dfd6224e8985","skills/simulation/scripts/sim/boundary.py":"40b8d3bebda1ea2348c39d964851b676dcdc10cd91212d70706c0786b3d2595d","skills/simulation/scripts/sim/checks.py":"f11454ae03fa4286e078ff051a8d135fe05eb65bced835cfcb5d71c9877a2ad7","skills/simulation/scripts/sim/materialization.py":"829cc870c3dcd7213cd028058927eafb7cb3204592555428187e18c408f05ce2","skills/simulation/scripts/sim/plan.py":"7a2041446659f457c67228022db5cde5ae5d8d7921b0853f3b13eab26faddd7a","skills/simulation/scripts/sim/rendering.py":"69cf369fcf0bdd715e3c4d8ab70b53c080bd427ea20c571dd58ff6a1b9908413","skills/simulation/scripts/sim/result.py":"2d937d2dddfb866f7a1d681895f9141aaf4e2077085c43729f59de6424bbac62","skills/simulation/scripts/sim/rtl_sources.py":"a0003862e4801264c3987bc0f4ae5270643951bd710ba468d7d392af4b7e4235","skills/simulation/scripts/sim/scaffold.py":"aa5180e9200f6f27e84a1fa207835ea06f2d61791d0102c0cfcf7405bc1be6dc","skills/simulation/templates/infra/Makefile":"0253494083d58a16900f63093a53482148c80cf026f55a90b447ffa44c86ba20","skills/simulation/templates/infra/env.sh":"86e4baca3717b219617c4c08e0cb878399c0439ea3b29257a918115e5087d495","skills/simulation/templates/infra/scripts/dump.tcl":"080d59998c43f8e43971fe6ed8a0ee6281cc5c03d803304df3dece2854847bd6","skills/simulation/templates/infra/scripts/parse_coverage.py":"5951c6cc9a6a4b88f3c28a85b4a6f853ee171b3edeaa2fdc844636ea46e2ab3b","skills/simulation/templates/infra/scripts/run_vcs_regression.sh":"e8beebb7248dc5fafeab4975919dd5e7cc64a2456b14084c62db6a9f768ad54b","skills/simulation/templates/infra/scripts/select_tests.py":"13a5894fd562c55f699e186a88663df31dfb96f5b442436c90fdcdeea95ec559","skills/simulation/templates/infra/scripts/write_summary.py":"9971329542c324c18eb3543ec871df91619bc040842c2de042f922bc7d102a1f","skills/simulation/templates/infra/tb/uvm/seq/base_seq.sv":"8d3cce8d66dc2d7a799dff9e2f03b65f22e251c940e7f0cf73d5016bfbb037bb","skills/simulation/templates/infra/tb/uvm/test/base_test.sv":"fb55a3da478168384731bd29072f9832eb05bb1ead05d9d410299a613b96bacd","skills/simulation/templates/scaffold/agent_agent.sv":"8606743a6735b04fcf7d1b5e0e4e325b5c47707ca8a64408df82af99299ccf19","skills/simulation/templates/scaffold/agent_driver.sv":"f7177e1685016e8c974986f8e9e3d4df18cff4e804dafddf5960030cce43b047","skills/simulation/templates/scaffold/agent_field_macros.svh":"c752e18d974279b0a2d8961d11b9c04a870f8d509a102e04fa4089a7fcc8f9cc","skills/simulation/templates/scaffold/agent_fields.svh":"f7e96965e072fd08b37efc44facfc46b87e1d3bf8d50f624f6f4c1e663fff95d","skills/simulation/templates/scaffold/agent_if.sv":"04e6a4a00a21ba2aadeca8700be82e809db9efd6b7a6d0ee65104f83f5feb7de","skills/simulation/templates/scaffold/agent_monitor.sv":"0df53a2220f4c91ba6e5c0dfe39d73be599d6b292fbbe1063afa56232b5d7d72","skills/simulation/templates/scaffold/agent_signals.svh":"e61ebbef757bc409131dbfb80aebbc1032560c31792fc3dfaedf55a841d0cac2","skills/simulation/templates/scaffold/agent_txn.sv":"3845117fe70482b8f3be2b7aea28ba43906fe47698969fac07caa0e156c24342","skills/simulation/templates/scaffold/env.sv":"9b579c54882e733a4f6b638162902d828c8988f755e6de13923c89aa97ffffe6","skills/simulation/templates/scaffold/filelist.f":"a9e70d00f2785306f432ba1f7c25216ffcb1090b3143d03265fd8a2baa9c7416","skills/simulation/templates/scaffold/reset.svh":"fe67009c17d2257c46f00b36e02d1a91a18bc73f24e1e26c42050e1b4550cdf1","skills/simulation/templates/scaffold/rule_rm.sv":"782be870ad285693c7114181c388d230dd0152c65c15af0c30e4bba3928e27e9","skills/simulation/templates/scaffold/scoreboard.sv":"c39e31af58a9b2d3f173afa08b13ad333f3c072fe65889da9cdac64372ec8dae","skills/simulation/templates/scaffold/seq.sv":"32beef273f25cccd3a3adb9b1633ed03decaad048e19697baabd767e29c53c36","skills/simulation/templates/scaffold/tb_pkg.sv":"18d28144979b74b00e9b1b37c102dc2983685651efeceaf82f41ce4e808e79c7","skills/simulation/templates/scaffold/tb_sources.f":"2e4a7b9459c1712d35650289e895c52287e0d3fa1bcd65dbe9fb0d2faa095b9e","skills/simulation/templates/scaffold/tb_top.sv":"024d380c0c05d522f65f98762ccb1be3f092e70f313e9475d04bdc6f03e8975b","skills/simulation/templates/scaffold/test.sv":"83153404e80b85532b42503c007eb9d7444a302bc1b71df79256ff863a87b036","skills/specification/SKILL.md":"e61b1ee075f6f0e7188452d4f47df18e7a169ee0b50ac6b24b8a227189fc07ac","skills/specification/references/check-hints-task-contract.md":"ec7a39ec41a187d2cca76495f7df068b12fec3db02152ed550feae048d8b8b4b","skills/specification/references/check-hints.schema.json":"ca02c06fe40411f20fe2dec094970eff012264a0cd78520759c8b31c679005bd","skills/specification/references/clocks.schema.json":"15996e510718ebe654303b16282223a95628594b8bf0b5bd09b6919dbea5e1bd","skills/specification/references/decompose-task-contract.md":"842b16ff5b75e5db27a435fba9b078b19932db7a824b4e8cebf16f3f241b0111","skills/specification/references/design-template.md":"d08703b56d2d3c3db6535c04d069abf7de37f3b472c16137b8f9739783c668ed","skills/specification/references/ledger-task-contract.md":"ab7495fddcfac8a5b452b023c76d4deb8edbffde2f01488b7a3bd5015d6b6695","skills/specification/references/requirements.schema.json":"1dbbe00c31b5682ebffeb31b2943ac7f0c91d71f91e65d6ad62d4ffcc6964995","skills/specification/references/result.schema.json":"355c90a238854ea6b039c9ccf782d265b2d5db1f9eab2c99d673bd4e15326d68","skills/specification/references/review-task-contract.md":"a74fab533072bb9ba9abd543884b5ecca32874c80142361c56cae0867d22ceed","skills/specification/references/top-io.schema.json":"3267da4b1095e8d2b17a15913b8c8decbacfc28fb9f07a2e14ac6c1d144532e3","skills/specification/scripts/spec/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/specification/scripts/spec/__main__.py":"6532611fec28f6f1378cd0d7d27a2b953bcf8959115d17aa1086c31ee04f2e4b","skills/specification/scripts/spec/constraints.py":"5d67dd4539f808f05932cc67f9645f6e1d4231f221eae3bf4d8d3f3a09073f3d","skills/specification/scripts/spec/crossrefs.py":"170f67f28089a831f18185d941b162b88f163ea9477b4d94619c7fba4220d59e","skills/specification/scripts/spec/ledger.py":"0eaaa465666fdbc880e9e84da152bc87db90f74534736f3e5d1fbdeabf518e7f","skills/specification/scripts/spec/result.py":"3b11dd7b7c3184ee3d670670a8abd980e34be0782229c8dd37e486f661b5fc02","skills/specification/scripts/spec/sidecar.py":"4d1f2c4f6fb5be61171815c82cad76818867f2b6d032191404090c7fedc49bbc","skills/synthesis/SKILL.md":"edd5ba46c032241d3a3768c66c838818e63758ce533edfdfaef5218be56f60b3","skills/synthesis/references/result.schema.json":"4bdcca0bc4e4e9332e852f76abb8c57d0c69513c650486f8056a61a6ccd303e1","skills/synthesis/scripts/synthesis/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/synthesis/scripts/synthesis/__main__.py":"218232095f280faa86f941611c649e4fdc788081c23021ca8979f05c952d58cd","skills/synthesis/scripts/synthesis/bootstrap.py":"5375bb9548d36b97e356acd3d380925d7c810551dd726bcf9d6a66a2605489f8","skills/synthesis/scripts/synthesis/execute.py":"ed485bf679b22b2f803777eaac7d38448d34aeb2952907bd0fd7c6032ec4e602","skills/synthesis/scripts/synthesis/requirements.py":"1ab80cd717c93210acb250898d435785688f8d0bd286da567fd21ab625859e48","skills/synthesis/scripts/synthesis/result.py":"068c7d8e23e6045123ee67be18e799274185a2568d6f9b98926a21afb5662c47","skills/synthesis/templates/scripts/dc_run.tcl":"178ef960d954948d91309ee91b14f0d4e2ea71e8318615f20deeae339a15c4e3","skills/timing-analysis/SKILL.md":"9d5aa56d845f3cd4d9b0d91eab6ea572f5b2228eb331c483406cdddf2f1f3696","skills/timing-analysis/references/result.schema.json":"d291eef521cf1e527a451b3276aed326eabfccada24210b94e33b8b0d0a6305b","skills/timing-analysis/scripts/timing/__init__.py":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","skills/timing-analysis/scripts/timing/__main__.py":"c5a0332fd709e49cbf51a08e2600b107b49637c1c335ce2945a04ce8fd4342e2","skills/timing-analysis/scripts/timing/bootstrap.py":"2c03cfe604d3f8cd770748aeb5a2a845ed1798e41092bc9f7aad75431dd9aecb","skills/timing-analysis/scripts/timing/execute.py":"12880476898df147b6cc833ca1d9d2bccb8bcc8021e676bfac74be0806c4803e","skills/timing-analysis/scripts/timing/requirements.py":"ba416c2ac01baddd8374a79b7515cd813a15239668050147e88da27cca20e9ee","skills/timing-analysis/scripts/timing/result.py":"73188c5b6ce3c1f94e3e309ee19823fd1376d04d5e902ae01818d54a008c4215","skills/timing-analysis/templates/run_sta.tcl":"babd50271cc0ac3ddbd1df7feb3c3b3775e1289c71183c4025a1eca47265ffb1","tests/README.md":"076ddbbcefe3e500db2c6a0b01774c50354d6392a12b5ff39d47abef0879a71e","tests/contracts/test_a_stage_refuses_a_dim_it_cannot_measure.py":"317d4588d0f9047363750cf4785dec68aa86d475f8d1baa953ec7a1dc83e1b38","tests/contracts/test_atomic_finalize.py":"f194ed075f408ba9d79f1c4913dfc88e6ce3c641891b4391a452ed7d910a8dea","tests/contracts/test_bilingual_facts_align.py":"5cb60ef41758d55ac7906508ea9d221389e426d0c95adf7c572a61fedd06fde8","tests/contracts/test_cross_stage_contracts.py":"76cadd16c664cb40f6e28b4f3fb7e60eea9a0ea38ecd0cf73f7e2284b2c9c7e7","tests/contracts/test_documented_commands_exist.py":"52a881fb86b611ccad6afbfb9f42420b220246fd4e8f6c9e064e1c61e6fd3d9c","tests/contracts/test_env_sh_shell_directive.py":"f68a70d1017f7968384ecd81482efe3a84b0a53daaccd473a1cca10be4e5a10f","tests/contracts/test_fail_envelope_is_always_valid.py":"57d883db6b265b8c35ae14aab23ea867af5d727599070f50b16c85fb1c739ff4","tests/contracts/test_no_self_navigation.py":"151710c3d5fe029de39158c6ae3e5524d50b68b1c4d6227648c3407b97d20d93","tests/contracts/test_no_skill_decided_blocked.py":"6cd6640e8882d4b139f410440b54eec691159ad7d44cebb8483dcefe5b48ab12","tests/contracts/test_reference_docs_cite_real_neighbours.py":"8ffd0cded5aa0d5de6ceb2187b1b98e217fc90d06be845f7ee9209373c80859e","tests/contracts/test_required_env_vars_are_documented.py":"dd596f87f7c218875b4705722451b3305f3c7240135185fd6c9a7ab448d402b1","tests/contracts/test_schema_skill_reciprocity.py":"f744b180f60b50ee0f74082d0b0a884ba0eb7062c40f0d6947f6f196d2b34003","tests/contracts/test_skill_path_references.py":"23f79fea6d015f586efe780c0d3495cb206286aad17647ad59ed7a71281a7da6","tests/contracts/test_skill_ref_targets.py":"fb530df94ca32dcd2b1496aa7b4eee5654c36f50e2a54af41e5b8badb2de2e86","tests/contracts/test_skill_self_location.py":"84b7523dd7d009b4da2b69ebbf9a0fd7e2ec2e6c6d720765c4c5e0797c58be63","tests/contracts/test_skill_variables.py":"9b6d55c427ee7914bfa083974607cb9e0fe3aa59a3a0dee5bc747932a745c7c1","tests/contracts/test_structural_completeness.py":"d07cac83c68bb7e4bfd6b03af52ee93ed9c9af33fe88c9773b7fdb224763574e","tests/contracts/test_templates_todo_free.py":"716c4cda8729d6bd815d11f3fc829cd7fdca7dc044d867d531d803fc65e82237","tests/runtime/claude.py":"09184a5754ce57692e21fee616733657c0298044bbab21cc3099863a7e51962d","tests/runtime/dsh.mjs":"3cde3aed2747650e810835301603083d2eb96d009b3ba25e0f4f802120f986a1","tests/runtime/opencode.py":"05d1110e15fe9a495be01b2eb81674200a23e5f47fb5ff7057fe79d584d717c0","tests/skills_source.py":"fe9aca090d32fc90e1c84ac7dce8c09aaf840d2217d8f9a647a29e7a6ccc9d01","tests/unit/fixtures/parse_coverage-5col/dashboard.txt":"798cb446b8fb4bd3e2c1edae9bfcbc154546ac9d5469fb51d456f8b9c4d8aa5c","tests/unit/fixtures/parse_coverage/dashboard.txt":"b8d4d622f88221a19dbeb66de9a7fb61055b2909312a5b6a83e40db48a57bb40","tests/unit/fixtures/parse_coverage/instances.txt":"6f7e78ce59417d96f4ac08d9195e230344eb674531c7d21c42b85abbfe9a21ac","tests/unit/fixtures/parse_coverage/modinfo.txt":"0476ae28fdfa595a7f70385b063373c49cfe5e9a1c10ab2a93eb20c2b86a90d7","tests/unit/fixtures/power-reports/active.saif":"1b5b71cdbd1d56312a66b16f80c68dfef5a6f4fb2a1c950c9bcc106b0ee4a8b8","tests/unit/fixtures/power-reports/idle.saif":"0961b0d3a2b871f368f09676da396608e8e4dd705fd7331b678a9db694e5e8cc","tests/unit/fixtures/power-reports/rounded-power.rpt":"9947b0fa7d2d42859c06ad00977d60765d85ba493d509839e420d46752fad732","tests/unit/fixtures/synthesis-reports/out/dut_syn.sdc":"1d4be6badbb303a1a731efcf53cbfd0472a0fe5879c152dafbe8b28861a4fc59","tests/unit/fixtures/synthesis-reports/out/dut_syn.sdf":"1d4be6badbb303a1a731efcf53cbfd0472a0fe5879c152dafbe8b28861a4fc59","tests/unit/fixtures/synthesis-reports/out/dut_syn.v":"3d57d396306a8eea7d5393c7cca0f593248dc1c22d3069dd289ca7d701f0def9","tests/unit/fixtures/synthesis-reports/reports/area.rpt":"32a72587f661956b54bca2077e3395cca4c1dd7e7617ea984c82d6f8a112910a","tests/unit/fixtures/synthesis-reports/reports/qor.rpt":"602ef6d544af9f96a25c3189f3bc0bc69799b721ceaffe65200ed8a111e9c800","tests/unit/fixtures/synthesis-reports/reports/timing_setup.rpt":"ff2af30b7330f68501a648c404690c124d996c0ca55ca11f4a5e403f77408841","tests/unit/fixtures/timing-reports/timing-report.txt":"ea571a1f9ff89f22c4f2ce9d1b0ecdfa02f9d3051d7949eb1f66400441ddfc17","tests/unit/test_check_sdf_annotated.py":"2043bad71876787396ce1ed3ee3ebfb2a0e4dadd00fd06c01eb3f4b6c93f31bc","tests/unit/test_codex_runtime.py":"652c70a896890b0a1803395ff5c30d1805f100756d984e3efa01afa9ca36b753","tests/unit/test_collect_report.py":"f34e136a5d1f5b39d4cbb4003bc611b0b09148f30bb159869a52060f9ddff5b8","tests/unit/test_dispatch_context.py":"57ac1dd6c920acd3f34aa7b1b2c273f6d5bfa8ad9dafd30ce78cc77e49028ec0","tests/unit/test_e2e_inject_carry.py":"0d564ab89a18992cef787cfcd15581d118025ccbfa718b00915c26a0127ffed6","tests/unit/test_event_schemas.py":"d0d19c8aed95a41a51e6b942ee0eb4b7ba5688cd5c66491c90f9ec6af81cda39","tests/unit/test_execution.py":"84dc5d4403b0d26d0199297587c0668c6998fe79c068720b64398ae20e7eada2","tests/unit/test_facts_events.py":"5bb6ce48b8b039e0ec6cb452b47ee0b0f8b1fdec86b8c6c89e91affccd7e1b2f","tests/unit/test_facts_fingerprint.py":"e598108cdb2aac5625672921ecad145c8bbe159d044b06e1e76b3bce5627daa1","tests/unit/test_facts_freshness.py":"edcb282ad966eba933cbcc0574315f3568792d587051df17cfba724b65846293","tests/unit/test_host_context.py":"17d14d4bd21c30f980f39ead46e9db7913d0496ef16bab68197225ae3ca14c3e","tests/unit/test_implementation_inputs.py":"b7b51a405d2dfdaa6ba00f0b57cbb94b46941b85cc5f5c416d712aeddf4b2a26","tests/unit/test_infra_summary.py":"71a6e5e48909afdc1ab5b58160d7c4d60aebaf85fa382e84fee542c00b358cfd","tests/unit/test_kernel_cli.py":"2956be61c20178a8b64f8e47c40daa88404a9715fe96ff33613096d916266b89","tests/unit/test_lint_execution.py":"c12d985473a56e377af86dceb11d1763ffbd37edd89cba35cc9af796426932d2","tests/unit/test_lintcdc_bootstrap.py":"736d7584ee73ae08211f14260e1288b216b7324c706e5e1a7b3e7d597b6d2b14","tests/unit/test_lintcdc_cli.py":"7a3cdfbefb8f4141c8fd96600bd92f46f91882fc3f48d32bd92e64da11bf6512","tests/unit/test_lintcdc_result.py":"07c4d2c602f61145376350dcd3e57474348db506206a4fd72ce424257117b5ff","tests/unit/test_parse_coverage.py":"49bba50be6c53ccb25ebce3c3b22bfbd16fea0982f21ec1ac46c2640fe154d57","tests/unit/test_platform_adapters.py":"5033dcc0831c68c0e2567353af27c3c84f024755784de5beff79ffd9cbe897a9","tests/unit/test_platform_runtime.py":"7b3a6e3df4bb4c84e459659028b17a57a372510ede4fdf141234ef14f21eed1d","tests/unit/test_power_bootstrap.py":"7a8c613deadd48ede20e64642d501f1e81fbe0ec4faf8c2df66fdd028de45661","tests/unit/test_power_cli.py":"15600fc643a9735817ce97690c8e79a6022be193251be140745548aaeb06812f","tests/unit/test_power_result.py":"4d2489cc9756dba0f7bcd701f67ffacac1ffb83dfe212608e2061b5062bc3a4f","tests/unit/test_rtl_cli.py":"022ed5232ef7040767fa34a11c4fb7ff14bbfffc55af149aa52128973bdc2052","tests/unit/test_rtl_inputs.py":"f05b651f10c93e4abbdd02f1ecbec775ef56be5c2fd4c67d56db2b0a7d0c1fe3","tests/unit/test_rtl_result.py":"4854b5d971722ee50c565c938b92010a26d19220351aadc2643b2ee66951f6c7","tests/unit/test_rules.py":"6001ac88ca5e4e3a97a80abd4e49420bc193ecd76c2b25ed4f2ec23aa349845d","tests/unit/test_scenarios.py":"b0ef61f06b645011409731a36b87c0d737f11bd82615233021c03e9bc907b705","tests/unit/test_schedule.py":"78751aea23e66b8d1a1e332549a6cc34ee510495f0e5987f73d02a99cb53c0be","tests/unit/test_schema_early_fail_uniformity.py":"62f6c3f34cce5a5d17d7cf14b375e5f363547fe611785067e6b6770ca5d9d051","tests/unit/test_sim_bootstrap.py":"17059097e3f197f6ddb8f7ae838eb881373f61b61856289a7d6b526df349c910","tests/unit/test_sim_cli.py":"dd1047c5a415a7654e0f5176ecd2b04659c36738d3e87e292f5ff884e35fb1e0","tests/unit/test_sim_evidence_lifecycle.py":"45069aad3a81333a983ca477f24d19e5ba3e2dc0a60d248c0f8b19ccd7d44b3b","tests/unit/test_sim_filelist.py":"77ccfed89456db1be65c3959e8b35b8ba1eea87d4d5726bedcb8639dbdcf4180","tests/unit/test_sim_gate.py":"41225f0ba71bf821792adedab8b49ee149afc94b6b5b3e1606507242e6e3dd90","tests/unit/test_sim_guards.py":"cc56b432cffe1a803fbfb811bf12421ef61bf4fc69b3f77576a86d6ca3ca8362","tests/unit/test_sim_materialization.py":"7ac6874017d514795630ab36ff6cb6b8cfb5d294e063b9512aef4213d8b294fd","tests/unit/test_sim_render.py":"9bf4e75b1d099440110a6308f5f475783a5a68cd44d87df48102f12e376dd876","tests/unit/test_sim_result.py":"56e39c9038b7c0dfdc21563d9117d50c73048d5568fbcd72b40aa0ca48de3b3e","tests/unit/test_sim_runner_status.py":"52a07edc18bb3e5a71b6d3059fc39965cbfae528f214970335b5f957d829c61e","tests/unit/test_sim_scaffold.py":"a3a22b8630085bd9b3e89a00a065fa2eadf02e16d2055173ae03c5e220fa1eff","tests/unit/test_simplan_cli.py":"e182abdca3750bc2c5f74e8629bb47561737a3ac7cf11ca4969a4bc78939112e","tests/unit/test_simplan_hints.py":"258c5456e8b7fc669ed3962c53114f98b48edea909110240eaa91936569b2dc2","tests/unit/test_simplan_result.py":"53f114271ad1aa6d595f1fe7afb2f2a06fc08c61711247358f08953c98b31867","tests/unit/test_simplan_scaffold.py":"730a0fba548b13e556d6dd3f10f893b10652b3ab8d1501685f329b443ed368cf","tests/unit/test_simplan_sidecar_schemas.py":"89be92bdef149b585090f7744c340eb6e74a8a9f4da452d53580b8b82a0fe81e","tests/unit/test_simtriage_analysis.py":"bf7522e18b4c8d541f0a95545e856e302ace4b53803748beedc0972b928e2c48","tests/unit/test_simtriage_cli.py":"ac61c8d56315670f8c78c8a1644cc2d7ba50813be8f263ef311c1f9ddd92da3c","tests/unit/test_spec_cli.py":"3341eeb23ca8baedfcdd2da2d754781974f170ad9ad5894d56192eb7da2c0da9","tests/unit/test_spec_constraints.py":"23f817ed7259131432b510251e151cbd85d8b3f8e614229e2e622f85059305a3","tests/unit/test_spec_crossrefs.py":"6eee12f4f7eb16aed7a28b54e19639ae4358f46cf6d609ca089d6caf149fec31","tests/unit/test_spec_result.py":"528c22eb612a09a376029cce87a85052dcba5b4b5fa9c97adb192afdac61b983","tests/unit/test_spec_sidecar.py":"14c66319afc199848d019577d226d2f7d1fdd9404191a0ef4830e3112bafb20c","tests/unit/test_store.py":"58abc81b0ba8970bc5c1b12c5f3e05ae7e9dc7b56f1d0cc6cf3d9301494e3824","tests/unit/test_store_carry.py":"792229dc0d73aa203cbe3d9c8de3c6f1b879a004dec49b46a52ced7835c244f7","tests/unit/test_store_dispatch.py":"cd41f088b88eeec6787ce3a87c7275bae7136f7d9e3ec78f4ec0ed94c7821917","tests/unit/test_synthesis_bootstrap.py":"c3e81f499d11dd0a6e6c2f175237edfed772fccc8ec259a752323492b990d6c5","tests/unit/test_synthesis_cli.py":"457774f4d5036c9745917028b044eaba178659348e13b681de0fb6d9a0f74af4","tests/unit/test_synthesis_driver.py":"e124a5cf2695f1e38e24cb53ff076e793c2b48886ce6e0be6fd9d7fc3711833b","tests/unit/test_synthesis_result.py":"7d38b67211e0296a138ab2f8a765d6255266f6039be51111ea80e33fd757dbdc","tests/unit/test_timing_bootstrap.py":"aebc6cdd1458d5cb7cb9453ccfb112bf9d7e5d2a0a0fb84c4fce4dc39ce34916","tests/unit/test_timing_cli.py":"1382673f2017e3d88997bba27d93906a6a67f2b0bb768f36f87f5915f67c7a4c","tests/unit/test_timing_result.py":"8f595a1df83609ba6cbc137cd1c20ddb510cd32144d6d0758cdd19f36e678e88","tests/unit/test_timing_schema.py":"b719bbfe4465fc89687b7035cf4f25118a40022402f88db05d156543296b3b76"}
lockfiles: ["LOCK.json"]
utc date: 2026-10-22T06:34:42Z
source date: 2026-10-19
discovered date: 2026-10-19
retested date: 2026-10-22
reviewed date: 2026-10-22
published date: 2026-10-22
modified date: 2026-10-22
reviewer: Machine-checked
harness version: toolwitness harness at commit faaf45bc367188754aff2ba8b1b2bbb155cd7192
claude code version: Not applicable: static source inspection (commands.json).
model id: Not applicable: static source inspection (commands.json).
scanner version: Not applicable: static source inspection.
rulepack version: Not applicable: static source inspection.
agents: []
commands: ["Ran 314 git commands; each one's exit status and output hash is in commands.json. Scope: acquisition and static inspection."]
prompt list: ["Not applicable: static source inspection (commands.json)."]
history: ["2026-10-22T06:34:42Z: pinned source inspection"]
application: {"applicationCategory":"DeveloperApplication","name":"chipweaver/veripower — 12 skills","operatingSystem":"Not exercised","softwareVersion":"1326b316b7d06147dc726efc0de9d35bfffec8e3"}
review input: {"claims":[{"field":"summary","id":"acquired","sources":["LOCK.json","listing.json","commands.json"],"text":"Pinned source declarations and file hashes were listed."},{"field":"outcome","id":"listed","sources":["LOCK.json","listing.json","commands.json"],"text":"Listed 12 skill declarations. Ran 314 git commands; each one's exit status and output hash is in commands.json. Scope: acquisition and static inspection."},{"field":"rule_results.0","id":"tree","sources":["LOCK.json","listing.json","commands.json"],"text":"The retained source tree matches its acquisition manifest."},{"field":"rule_results.1","id":"declared","sources":["LOCK.json","listing.json","commands.json"],"text":"Declared skill names (listing.json): brainstorm; design-flow; env-precheck; lint-cdc; power-analysis; rtl-design; simulation; simulation-plan; simulation-triage; specification; synthesis; timing-analysis"}],"evidence_sha256":{"LOCK.json":"e3785738b276dc0a12787d55fbe6d8a57e998a84874fcec47c9a0c0c7872d7c0","commands.json":"ae960a72cb70fcf42eeecf13813363872e842ea5ce5ce42849e0c94dd501c150","complete.json":"91b504b43905fdc009504d516c45eea831f39a1995b9e7d69987c9756c936d6f","identity.json":"cffd6eb953aa678118e7e318f2e562a0b6f3d9c4ff811b3bd82e638fd7f65488","listing.json":"89130698656796464a443b44b261be6520095dfbc735784a5157bc4461bd2468","selection.json":"a4172fe24691f02b995a8764d7fda399ebdbe862299534c288ea8689b547da83"},"identity_artifact":"identity.json"}
review: {"codex":"0762d63fcff5ddbec04c988037210940718c79784cde52229b50e6620086b4b5","date":"2026-10-22","gates":"667a75e867a3838cb72c315b42cafafeb8e453579c64d0bda483b60f75134764","grok":"4a912e7388c662155746163b078911264df5d338fc8280558a8d793b1940e701","kind":"machine-checked","reviewed_sha256":"0a0d05dc7f695ec131a911af113bc4f7d38d6265932c0468c1376202d5459bad","summary":"Deterministic gates passed; every claim rebuilt from evidence with a reviewed template; Grok reported no standing refutation."}

Downloadable evidence

transcript

Download complete transcript

Ran 314 git commands; each one's exit status and output hash is in commands.json. Scope: acquisition and static inspection.

sinkhole log

Download complete sinkhole log

Not applicable: static source inspection (commands.json).

canary log

Download complete canary log

Not applicable: static source inspection (commands.json).

scanner output

Download complete scanner output

Not applicable: static source inspection (commands.json).

normalized text

Download complete normalized text

{
  "listing": {
    "skills": [
      {
        "path": "skills/brainstorm/SKILL.md",
        "name": "brainstorm",
        "description": "Use when brainstorming a new module's requirements and architecture into a brainstorm.md, one way to write the intent document the pipeline starts from; not for design.md, RTL, constraints, or any in-pipeline stage.",
        "files": {
          "skills/brainstorm/SKILL.md": "dab735335abb85fe9bb6806d345ae6437060fa8c8929fa5238818726030746a8"
        }
      },
      {
        "path": "skills/design-flow/SKILL.md",
        "name": "design-flow",
        "description": "Use when progressing IC design through stages, checking module status, or routing rework decisions; not for single-stage execution or artifact authoring.",
        "files": {
          "skills/design-flow/SKILL.md": "4b3356a569773ddda24cf1930589acd8dced41dc87f4a47003c576152bcb7eed"
        }
      },
      {
        "path": "skills/env-precheck/SKILL.md",
        "name": "env-precheck",
        "description": "Use when checking whether this machine's Python, EDA tools and licenses can actually run VeriPower's stages; not for any pipeline stage, module state, or design work.",
        "files": {
          "skills/env-precheck/SKILL.md": "117cbac0e1e148c0e7b130778f5baecee1951bf7170e99f090149a74bf02be96"
        }
      },
      {
        "path": "skills/lint-cdc/SKILL.md",
        "name": "lint-cdc",
        "description": "Check RTL lint and clock-domain crossings with SpyGlass, evaluate violations and justified waivers, and close the current assessment.",
        "files": {
          "skills/lint-cdc/SKILL.md": "f794203e00449e013a7fadf5d3aa13763d0e03634a183f687fdced25b3d3cbb0",
          "skills/lint-cdc/references/attribution-rules.md": "bf66c573418825236bbbe1550f89db2324a2e7e4dd7f3a53e8c730bf5dd8c9ee",
          "skills/lint-cdc/references/result.schema.json": "02e7627de2d8ec268fc93d4e8ba643a8ec959ebe8700035887a4ace9ccf5c7c4",
          "skills/lint-cdc/scripts/

Excerpt shown; complete evidence is in the download.

Download full record JSON

Disclaimer

This record lists declarations and file hashes from a pinned source tree. Git command results from acquisition and static inspection are retained in commands.json. Scope: acquisition and static inspection. It is not a security or quality verdict. Changed bytes are outside this record.

Template placeholders refer to the snapshot metadata above.

Page updated 2026-10-22