{
  "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/CLAUDE.md": "7b50d15feae7b63b94d845b2fa6e19e3220527c5b0cac69303b7fc19bd7484a8",
    ".claude/README.md": "36131c1218fa025e985e197c8fe02a863e1e47aa6b9d8fd726d682a064df61ff",
    ".claude/adapter.py": "fa5d8c16cc0434d38797182e594d819f1af8c6fb7b3e1585752693e477c0dc89",
    ".claude/hooks/commit_selfcheck.py": "98e3bf1657a00531e6a818487e51ae7b4451a256e571917c661eca7920df318d",
    ".claude/hooks/ensure_precommit.sh": "3ecf57a03065d5ffec41a005c1a0933f0ca567387d1edae7cc454c71d61ebee7",
    ".claude/hooks.json": "e67137d324159884f150562be900ca27132284f40b4438de4a978c8242849eae",
    ".claude/instructions.md": "fd00a0baf8a6a5d14c3bd5559dbe1b132245f62923f80d69c9a3075dd1285546",
    ".claude/loop_after_dispatch.py": "13b6e39fd5cd5d040aae1297e3b14a6ec50f02ce87efccad00253736d0e81c08",
    ".claude/settings.json": "2abb443fade38320ce59305a5d185d450e9086ef17b478e6a3d8612def62ce8f",
    ".claude-plugin/marketplace.json": "b02b734cfb6dedcdb846ef4217288bc2c8ff790872e57d5f97ca6f3f3560f4b2",
    ".claude-plugin/plugin.json": "93e3697e0b299a2c2de2b452c447b920320d48fa0bb2a2643ac226664dea6f4e",
    ".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/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/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/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/dashboard.txt": "b8d4d622f88221a19dbeb66de9a7fb61055b2909312a5b6a83e40db48a57bb40",
    "tests/unit/fixtures/parse_coverage/instances.txt": "6f7e78ce59417d96f4ac08d9195e230344eb674531c7d21c42b85abbfe9a21ac",
    "tests/unit/fixtures/parse_coverage/modinfo.txt": "0476ae28fdfa595a7f70385b063373c49cfe5e9a1c10ab2a93eb20c2b86a90d7",
    "tests/unit/fixtures/parse_coverage-5col/dashboard.txt": "798cb446b8fb4bd3e2c1edae9bfcbc154546ac9d5469fb51d456f8b9c4d8aa5c",
    "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 pipeline",
  "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": [],
  "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.",
  "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": {
    "name": "chipweaver/veripower — 12 skills",
    "softwareVersion": "1326b316b7d06147dc726efc0de9d35bfffec8e3",
    "applicationCategory": "DeveloperApplication",
    "operatingSystem": "Not exercised"
  },
  "artifacts": {
    "transcript": "Ran 314 git commands; each one's exit status and output hash is in commands.json. Scope: acquisition and static inspection.",
    "sinkhole_log": "Not applicable: static source inspection (commands.json).",
    "canary_log": "Not applicable: static source inspection (commands.json).",
    "scanner_output": "Not applicable: static source inspection (commands.json).",
    "normalized_text": "{\n  \"listing\": {\n    \"skills\": [\n      {\n        \"path\": \"skills/brainstorm/SKILL.md\",\n        \"name\": \"brainstorm\",\n        \"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.\",\n        \"files\": {\n          \"skills/brainstorm/SKILL.md\": \"dab735335abb85fe9bb6806d345ae6437060fa8c8929fa5238818726030746a8\"\n        }\n      },\n      {\n        \"path\": \"skills/design-flow/SKILL.md\",\n        \"name\": \"design-flow\",\n        \"description\": \"Use when progressing IC design through stages, checking module status, or routing rework decisions; not for single-stage execution or artifact authoring.\",\n        \"files\": {\n          \"skills/design-flow/SKILL.md\": \"4b3356a569773ddda24cf1930589acd8dced41dc87f4a47003c576152bcb7eed\"\n        }\n      },\n      {\n        \"path\": \"skills/env-precheck/SKILL.md\",\n        \"name\": \"env-precheck\",\n        \"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.\",\n        \"files\": {\n          \"skills/env-precheck/SKILL.md\": \"117cbac0e1e148c0e7b130778f5baecee1951bf7170e99f090149a74bf02be96\"\n        }\n      },\n      {\n        \"path\": \"skills/lint-cdc/SKILL.md\",\n        \"name\": \"lint-cdc\",\n        \"description\": \"Check RTL lint and clock-domain crossings with SpyGlass, evaluate violations and justified waivers, and close the current assessment.\",\n        \"files\": {\n          \"skills/lint-cdc/SKILL.md\": \"f794203e00449e013a7fadf5d3aa13763d0e03634a183f687fdced25b3d3cbb0\",\n          \"skills/lint-cdc/references/attribution-rules.md\": \"bf66c573418825236bbbe1550f89db2324a2e7e4dd7f3a53e8c730bf5dd8c9ee\",\n          \"skills/lint-cdc/references/result.schema.json\": \"02e7627de2d8ec268fc93d4e8ba643a8ec959ebe8700035887a4ace9ccf5c7c4\",\n          \"skills/lint-cdc/scripts/lintcdc/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/lint-cdc/scripts/lintcdc/__main__.py\": \"4095dfec5b45d92b4927a32b7fa1b02eb82c75fd9073140cb11022ed3594cc0f\",\n          \"skills/lint-cdc/scripts/lintcdc/bootstrap.py\": \"06530760a42878e9d8fbdc584254a68525229b80fc92cec019ef577043f80ef0\",\n          \"skills/lint-cdc/scripts/lintcdc/requirements.py\": \"b308fe3006e9744e1ee0dfe97f1284b850b1a05be21be49c3818f13cce464e16\",\n          \"skills/lint-cdc/scripts/lintcdc/result.py\": \"e4ce3d170fa7711e66dcb4b1ec8cf656cae06bd07f0019559e574f42e6a9c819\",\n          \"skills/lint-cdc/templates/Makefile\": \"b6f8a78a331b0350feae012a504e311a017edf5a32c9af74304d801398a22825\",\n          \"skills/lint-cdc/templates/README.md\": \"5027b1166422700d7a4e6a4b73ed048e1904f18c2222b09e4c365874ad3e4d5d\",\n          \"skills/lint-cdc/templates/env.sh\": \"e3a2eba4bf1b5f53103aea0f9bcaa531c7af1c20e2f42403f93566b25760239a\",\n          \"skills/lint-cdc/templates/scripts/collect_report.py\": \"dee98a80e23449491e200203d768cf4752c739679e666909e03795c2619f02bf\",\n          \"skills/lint-cdc/templates/scripts/local.sgdc\": \"6a914cbe1015bbd0815f9dcbc2657a15ea90c709c15b629baf6305eb27425c3e\",\n          \"skills/lint-cdc/templates/scripts/run.tcl\": \"fd251dd6703df733a8e99afa994b5c3a3c61489a104c8cc9e73611b0c5bf59ab\",\n          \"skills/lint-cdc/templates/scripts/run_spyglass.sh\": \"52e897acd020d23391afa0a57e71331e66d9b2883f485a95f70e3015cae3cc8b\",\n          \"skills/lint-cdc/templates/scripts/spyglass_lint.prj\": \"ec78f35d81645f84df46656158e4f3444b50aedf575cb5f1ea4b65b1a7d8ab9e\",\n          \"skills/lint-cdc/templates/scripts/waiver.tcl\": \"e83da2dadc14973af089049f30d15065b00b5051cbc23e47da3bd0ef9b42d16d\"\n        }\n      },\n      {\n        \"path\": \"skills/power-analysis/SKILL.md\",\n        \"name\": \"power-analysis\",\n        \"description\": \"Build and check power experiments, calculate averaged gate-level power with SAIF and PT-PX, and assess the results against the task's power requirements; not for functional regression or static timing analysis.\",\n        \"files\": {\n          \"skills/power-analysis/SKILL.md\": \"c8764837e333c14fb4383c201b19f8a6e1bc52d7d04acd78725e61c7f13da54d\",\n          \"skills/power-analysis/references/result.schema.json\": \"677d7c2c66a613d820c17e1c19ea07282fff3ef8d330f279607a1beba86a6143\",\n          \"skills/power-analysis/scripts/power/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/power-analysis/scripts/power/__main__.py\": \"bf4007f562fd3dcc2f5d2e76df34256005c674143d428fac2c6c28d458a6a1cb\",\n          \"skills/power-analysis/scripts/power/bootstrap.py\": \"8cdc8ca25711243b661158c22717888ca519e848cadf0f52ee95096d19cdca66\",\n          \"skills/power-analysis/scripts/power/execute.py\": \"6fded38d59131719e9ba34eb3e0449078f32f689dfbadb047b9db0633e9b8d2c\",\n          \"skills/power-analysis/scripts/power/requirements.py\": \"8d2a1b3fb5093ecb12e70cd22846eab699ebd4d05646a641a34c59168cc74958\",\n          \"skills/power-analysis/scripts/power/result.py\": \"0473c3634d116a816f169dfa1d78892be90170feff17e19c759fb79cec7b1433\",\n          \"skills/power-analysis/scripts/power/scenarios.py\": \"b7532e24fe4fb2cc34c9ac54f5f77d7ad0379d568eddd886967500ae91f60061\",\n          \"skills/power-analysis/templates/env.sh\": \"e98d7a0a3bba2f6f769b0c0bd7b79ba255b3829456aa08992831f4180ecad42d\",\n          \"skills/power-analysis/templates/scripts/check_sdf_annotated.sh\": \"098395e189a5d0981fc01b4948ff715241c9896cb2b73e0a116139aa64f84c01\",\n          \"skills/power-analysis/templates/scripts/ptpx.tcl\": \"071ad7eb9139889e5983e9a3b5a14fcbbdb4f5a8e0f24f704b2096be5e1f5a6c\"\n        }\n      },\n      {\n        \"path\": \"skills/rtl-design/SKILL.md\",\n        \"name\": \"rtl-design\",\n        \"description\": \"Use when writing or modifying RTL and its file/constraint annotations, reviewing implementation against requirements, or repairing an implementation defect; not for running synthesis or functional regression as a pipeline stage.\",\n        \"files\": {\n          \"skills/rtl-design/SKILL.md\": \"fe65a5bcb0d07e2bf3f003a7ddd51cf1e3012a63a03acd809568dc4ec640430a\",\n          \"skills/rtl-design/references/child-task-contract.md\": \"28c81c85c70a36a24f3808258ad1344642adb69e3c0ca1b80f41684d109a8776\",\n          \"skills/rtl-design/references/coding-rules.md\": \"5bd3fc7ea3d3259b7ce55e07926e1bcb951205cb4d93a1f9139fc7432429a619\",\n          \"skills/rtl-design/references/constraint-annotations.schema.json\": \"7c7fa4e94f1465578206acaa84f51cfab869825de46824a5b8fb90fa3dffbfdc\",\n          \"skills/rtl-design/references/result.schema.json\": \"6d132515aff92c63311ef68f60cc1ba6593677399cb8f6cee21f3d02116007c6\",\n          \"skills/rtl-design/references/rtl-files.schema.json\": \"9448b6733aa0675a0b408e4906ba630d41a2dfcfa595aad7e32b39a6ec14cdc2\",\n          \"skills/rtl-design/references/rtl-review-task-contract.md\": \"85dca0ae8adc3fea30a0082fd5f838dfe55268a655e8ea8d2aa2e6b4aaafc5df\",\n          \"skills/rtl-design/scripts/rtl/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/rtl-design/scripts/rtl/__main__.py\": \"c46f435ac67cba22a23b5461966d1c0b28fc18ccb9e46b4715362fd9df8e5d4a\",\n          \"skills/rtl-design/scripts/rtl/result.py\": \"e18c8c76b518a45b006ef60555a825eae87e3436ee14f19bc5fbc9178dde7af1\"\n        }\n      },\n      {\n        \"path\": \"skills/simulation/SKILL.md\",\n        \"name\": \"simulation\",\n        \"description\": \"Implement, review and run a module's functional testbench, diagnose verification failures and assess coverage; not for changing upstream RTL or requirements.\",\n        \"files\": {\n          \"skills/simulation/SKILL.md\": \"a89126bc12e0ce193bc575035ed9db050e99b3fa4a2070b39a25f03c8cbca4a8\",\n          \"skills/simulation/references/artifacts.md\": \"1e8596752f7ad86a02484ddee922b605e6bc942aa6ee175b65b4db2d0d9240c5\",\n          \"skills/simulation/references/authoring-checks.md\": \"d5b716493924c31adec819e2ab40baa937a108b2fe89ae15bb881d11dc40ab22\",\n          \"skills/simulation/references/check-review-task-contract.md\": \"890fa651c4d7c4eb0cac18d55e2d3148484d186fe397c9338a7d9f9b9e3f51e2\",\n          \"skills/simulation/references/coverage-iteration.md\": \"3144f212420be3316c6d6e3027b67c52f8742cb67694a304a0a7fc2265e89255\",\n          \"skills/simulation/references/env-task-contract.md\": \"0bf24ddb6e6850e481af0d1d9bd786688f56b455a1790976fec8b3b90edfe399\",\n          \"skills/simulation/references/result.schema.json\": \"04b237233c85829c2312eb63526ba1a2906e8e65e03cf1be2b5c80558cc202c8\",\n          \"skills/simulation/references/verify-task-contract.md\": \"05ba80479f11259d1e72e818c6b55c0ebb6af908cc4b4f9fbb04bf9a0df10d5e\",\n          \"skills/simulation/scripts/sim/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/simulation/scripts/sim/__main__.py\": \"1eb67c8cc73db808418378b8084590820fd59d4c3b522b94d2c360be5e56390b\",\n          \"skills/simulation/scripts/sim/bootstrap.py\": \"d9ae8ac81592f87d48d8aae0449ea2432f1d999ebe58572a5fb2dfd6224e8985\",\n          \"skills/simulation/scripts/sim/boundary.py\": \"40b8d3bebda1ea2348c39d964851b676dcdc10cd91212d70706c0786b3d2595d\",\n          \"skills/simulation/scripts/sim/checks.py\": \"f11454ae03fa4286e078ff051a8d135fe05eb65bced835cfcb5d71c9877a2ad7\",\n          \"skills/simulation/scripts/sim/materialization.py\": \"829cc870c3dcd7213cd028058927eafb7cb3204592555428187e18c408f05ce2\",\n          \"skills/simulation/scripts/sim/plan.py\": \"7a2041446659f457c67228022db5cde5ae5d8d7921b0853f3b13eab26faddd7a\",\n          \"skills/simulation/scripts/sim/rendering.py\": \"69cf369fcf0bdd715e3c4d8ab70b53c080bd427ea20c571dd58ff6a1b9908413\",\n          \"skills/simulation/scripts/sim/result.py\": \"2d937d2dddfb866f7a1d681895f9141aaf4e2077085c43729f59de6424bbac62\",\n          \"skills/simulation/scripts/sim/rtl_sources.py\": \"a0003862e4801264c3987bc0f4ae5270643951bd710ba468d7d392af4b7e4235\",\n          \"skills/simulation/scripts/sim/scaffold.py\": \"aa5180e9200f6f27e84a1fa207835ea06f2d61791d0102c0cfcf7405bc1be6dc\",\n          \"skills/simulation/templates/infra/Makefile\": \"0253494083d58a16900f63093a53482148c80cf026f55a90b447ffa44c86ba20\",\n          \"skills/simulation/templates/infra/env.sh\": \"86e4baca3717b219617c4c08e0cb878399c0439ea3b29257a918115e5087d495\",\n          \"skills/simulation/templates/infra/scripts/dump.tcl\": \"080d59998c43f8e43971fe6ed8a0ee6281cc5c03d803304df3dece2854847bd6\",\n          \"skills/simulation/templates/infra/scripts/parse_coverage.py\": \"5951c6cc9a6a4b88f3c28a85b4a6f853ee171b3edeaa2fdc844636ea46e2ab3b\",\n          \"skills/simulation/templates/infra/scripts/run_vcs_regression.sh\": \"e8beebb7248dc5fafeab4975919dd5e7cc64a2456b14084c62db6a9f768ad54b\",\n          \"skills/simulation/templates/infra/scripts/select_tests.py\": \"13a5894fd562c55f699e186a88663df31dfb96f5b442436c90fdcdeea95ec559\",\n          \"skills/simulation/templates/infra/scripts/write_summary.py\": \"9971329542c324c18eb3543ec871df91619bc040842c2de042f922bc7d102a1f\",\n          \"skills/simulation/templates/infra/tb/uvm/seq/base_seq.sv\": \"8d3cce8d66dc2d7a799dff9e2f03b65f22e251c940e7f0cf73d5016bfbb037bb\",\n          \"skills/simulation/templates/infra/tb/uvm/test/base_test.sv\": \"fb55a3da478168384731bd29072f9832eb05bb1ead05d9d410299a613b96bacd\",\n          \"skills/simulation/templates/scaffold/agent_agent.sv\": \"8606743a6735b04fcf7d1b5e0e4e325b5c47707ca8a64408df82af99299ccf19\",\n          \"skills/simulation/templates/scaffold/agent_driver.sv\": \"f7177e1685016e8c974986f8e9e3d4df18cff4e804dafddf5960030cce43b047\",\n          \"skills/simulation/templates/scaffold/agent_field_macros.svh\": \"c752e18d974279b0a2d8961d11b9c04a870f8d509a102e04fa4089a7fcc8f9cc\",\n          \"skills/simulation/templates/scaffold/agent_fields.svh\": \"f7e96965e072fd08b37efc44facfc46b87e1d3bf8d50f624f6f4c1e663fff95d\",\n          \"skills/simulation/templates/scaffold/agent_if.sv\": \"04e6a4a00a21ba2aadeca8700be82e809db9efd6b7a6d0ee65104f83f5feb7de\",\n          \"skills/simulation/templates/scaffold/agent_monitor.sv\": \"0df53a2220f4c91ba6e5c0dfe39d73be599d6b292fbbe1063afa56232b5d7d72\",\n          \"skills/simulation/templates/scaffold/agent_signals.svh\": \"e61ebbef757bc409131dbfb80aebbc1032560c31792fc3dfaedf55a841d0cac2\",\n          \"skills/simulation/templates/scaffold/agent_txn.sv\": \"3845117fe70482b8f3be2b7aea28ba43906fe47698969fac07caa0e156c24342\",\n          \"skills/simulation/templates/scaffold/env.sv\": \"9b579c54882e733a4f6b638162902d828c8988f755e6de13923c89aa97ffffe6\",\n          \"skills/simulation/templates/scaffold/filelist.f\": \"a9e70d00f2785306f432ba1f7c25216ffcb1090b3143d03265fd8a2baa9c7416\",\n          \"skills/simulation/templates/scaffold/reset.svh\": \"fe67009c17d2257c46f00b36e02d1a91a18bc73f24e1e26c42050e1b4550cdf1\",\n          \"skills/simulation/templates/scaffold/rule_rm.sv\": \"782be870ad285693c7114181c388d230dd0152c65c15af0c30e4bba3928e27e9\",\n          \"skills/simulation/templates/scaffold/scoreboard.sv\": \"c39e31af58a9b2d3f173afa08b13ad333f3c072fe65889da9cdac64372ec8dae\",\n          \"skills/simulation/templates/scaffold/seq.sv\": \"32beef273f25cccd3a3adb9b1633ed03decaad048e19697baabd767e29c53c36\",\n          \"skills/simulation/templates/scaffold/tb_pkg.sv\": \"18d28144979b74b00e9b1b37c102dc2983685651efeceaf82f41ce4e808e79c7\",\n          \"skills/simulation/templates/scaffold/tb_sources.f\": \"2e4a7b9459c1712d35650289e895c52287e0d3fa1bcd65dbe9fb0d2faa095b9e\",\n          \"skills/simulation/templates/scaffold/tb_top.sv\": \"024d380c0c05d522f65f98762ccb1be3f092e70f313e9475d04bdc6f03e8975b\",\n          \"skills/simulation/templates/scaffold/test.sv\": \"83153404e80b85532b42503c007eb9d7444a302bc1b71df79256ff863a87b036\"\n        }\n      },\n      {\n        \"path\": \"skills/simulation-plan/SKILL.md\",\n        \"name\": \"simulation-plan\",\n        \"description\": \"Use when generating or evolving a module's verification strategy, testpoints, TB scaffold and power measurement plan; not for implementing the testbench or running a regression.\",\n        \"files\": {\n          \"skills/simulation-plan/SKILL.md\": \"ca13f32ecf83074eea9cd1cdd48fb6f1a322a855f7d113cdbbbaeecfacf02b7c\",\n          \"skills/simulation-plan/references/plan-review-task-contract.md\": \"5b0c587dff4cd55a0c264d35a84930e8beb3a4f485d783ad0acc3cbf7c30d4f8\",\n          \"skills/simulation-plan/references/power-scenarios-template.md\": \"aa84a8d815b424c853f5a88784f50d02ef8000c989371a65ec990494ff62cb80\",\n          \"skills/simulation-plan/references/power-scenarios.schema.json\": \"a9f836bf5dec4b54fb02ba4f80148091690b45ba5313be22d3bd4596e5265217\",\n          \"skills/simulation-plan/references/result.schema.json\": \"214f39689975578a72fd3846b71043a1e0ca25adb0c7513cb2e45f5bdf7d8269\",\n          \"skills/simulation-plan/references/sequences.schema.json\": \"446f47e098d4fec8bb75a12f5652c88e923e33f4b058ed0d2bee1161a32790af\",\n          \"skills/simulation-plan/references/spec-input-contract.md\": \"2ad167aedf62f57dcb067cc6ccb95e3402f78a00c4c9e828fa0eb61906b1631a\",\n          \"skills/simulation-plan/references/tb-scaffold.schema.json\": \"eb38cb6f1ca5654624406c7bc121f174e546c7fb91f616acba210e8126d9ea06\",\n          \"skills/simulation-plan/references/verification-plan-template.md\": \"6e9215063b6133e82e7efc8dd796a5a7e31d525579d831f647ffd13392ca612e\",\n          \"skills/simulation-plan/scripts/simplan/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/simulation-plan/scripts/simplan/__main__.py\": \"ef1dacaa6fd86ec68a98e7d546e78eabfaf7dae4dc6dedd93810100380536176\",\n          \"skills/simulation-plan/scripts/simplan/hints.py\": \"081209846d8f50c8ffef346d302a834875ec8b4b809cfe69299023dff69a0528\",\n          \"skills/simulation-plan/scripts/simplan/plan.py\": \"8ba93043b7f1a81ac60fbf0f228678ee4396c87f9db790cffa464c65ae5e8442\",\n          \"skills/simulation-plan/scripts/simplan/result.py\": \"3fa0afcf7307fcd7d4c5a04796a262ebdd6f486c8daf379c3b2084a1702246d4\",\n          \"skills/simulation-plan/scripts/simplan/scaffold.py\": \"07bda762101626c61cf90bafde85c68baa6a01321a2ca85d3bf63f183e8f46fd\"\n        }\n      },\n      {\n        \"path\": \"skills/simulation-triage/SKILL.md\",\n        \"name\": \"simulation-triage\",\n        \"description\": \"Diagnose a failed verification run from requirements, implementation and experimental evidence, and identify the repair owner; not for editing canonical design or verification artifacts.\",\n        \"files\": {\n          \"skills/simulation-triage/SKILL.md\": \"f1490ef57a3febeece0b88cb747f123a7f9cb1a1f26a9282d4142bf058a323e8\",\n          \"skills/simulation-triage/references/result.schema.json\": \"a443cfe262335d7986017b47bf888a4fd7fffaa199f485f603ce2b19ebcd4843\",\n          \"skills/simulation-triage/scripts/simtriage/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/simulation-triage/scripts/simtriage/__main__.py\": \"a335ebb222bbbe4be322d64e635a515fff7080e587b74b4cda41d848a81a47d0\",\n          \"skills/simulation-triage/scripts/simtriage/result.py\": \"e7e922cffa0c00936a848b3ea099e6bec10a42ff16b298665383cf29d4264106\"\n        }\n      },\n      {\n        \"path\": \"skills/specification/SKILL.md\",\n        \"name\": \"specification\",\n        \"description\": \"Establish requirements, design decisions, interfaces, clocks and constraints from the delivered intent, or revise them after evidence-based clarification; not for implementing RTL or verification.\",\n        \"files\": {\n          \"skills/specification/SKILL.md\": \"e61b1ee075f6f0e7188452d4f47df18e7a169ee0b50ac6b24b8a227189fc07ac\",\n          \"skills/specification/references/check-hints-task-contract.md\": \"ec7a39ec41a187d2cca76495f7df068b12fec3db02152ed550feae048d8b8b4b\",\n          \"skills/specification/references/check-hints.schema.json\": \"ca02c06fe40411f20fe2dec094970eff012264a0cd78520759c8b31c679005bd\",\n          \"skills/specification/references/clocks.schema.json\": \"15996e510718ebe654303b16282223a95628594b8bf0b5bd09b6919dbea5e1bd\",\n          \"skills/specification/references/decompose-task-contract.md\": \"842b16ff5b75e5db27a435fba9b078b19932db7a824b4e8cebf16f3f241b0111\",\n          \"skills/specification/references/design-template.md\": \"d08703b56d2d3c3db6535c04d069abf7de37f3b472c16137b8f9739783c668ed\",\n          \"skills/specification/references/ledger-task-contract.md\": \"ab7495fddcfac8a5b452b023c76d4deb8edbffde2f01488b7a3bd5015d6b6695\",\n          \"skills/specification/references/requirements.schema.json\": \"1dbbe00c31b5682ebffeb31b2943ac7f0c91d71f91e65d6ad62d4ffcc6964995\",\n          \"skills/specification/references/result.schema.json\": \"355c90a238854ea6b039c9ccf782d265b2d5db1f9eab2c99d673bd4e15326d68\",\n          \"skills/specification/references/review-task-contract.md\": \"a74fab533072bb9ba9abd543884b5ecca32874c80142361c56cae0867d22ceed\",\n          \"skills/specification/references/top-io.schema.json\": \"3267da4b1095e8d2b17a15913b8c8decbacfc28fb9f07a2e14ac6c1d144532e3\",\n          \"skills/specification/scripts/spec/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/specification/scripts/spec/__main__.py\": \"6532611fec28f6f1378cd0d7d27a2b953bcf8959115d17aa1086c31ee04f2e4b\",\n          \"skills/specification/scripts/spec/constraints.py\": \"5d67dd4539f808f05932cc67f9645f6e1d4231f221eae3bf4d8d3f3a09073f3d\",\n          \"skills/specification/scripts/spec/crossrefs.py\": \"170f67f28089a831f18185d941b162b88f163ea9477b4d94619c7fba4220d59e\",\n          \"skills/specification/scripts/spec/ledger.py\": \"0eaaa465666fdbc880e9e84da152bc87db90f74534736f3e5d1fbdeabf518e7f\",\n          \"skills/specification/scripts/spec/result.py\": \"3b11dd7b7c3184ee3d670670a8abd980e34be0782229c8dd37e486f661b5fc02\",\n          \"skills/specification/scripts/spec/sidecar.py\": \"4d1f2c4f6fb5be61171815c82cad76818867f2b6d032191404090c7fedc49bbc\"\n        }\n      },\n      {\n        \"path\": \"skills/synthesis/SKILL.md\",\n        \"name\": \"synthesis\",\n        \"description\": \"Establish the synthesized implementation, its constraints and measurements, and assess them against the task's requirements.\",\n        \"files\": {\n          \"skills/synthesis/SKILL.md\": \"edd5ba46c032241d3a3768c66c838818e63758ce533edfdfaef5218be56f60b3\",\n          \"skills/synthesis/references/result.schema.json\": \"4bdcca0bc4e4e9332e852f76abb8c57d0c69513c650486f8056a61a6ccd303e1\",\n          \"skills/synthesis/scripts/synthesis/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/synthesis/scripts/synthesis/__main__.py\": \"218232095f280faa86f941611c649e4fdc788081c23021ca8979f05c952d58cd\",\n          \"skills/synthesis/scripts/synthesis/bootstrap.py\": \"5375bb9548d36b97e356acd3d380925d7c810551dd726bcf9d6a66a2605489f8\",\n          \"skills/synthesis/scripts/synthesis/execute.py\": \"ed485bf679b22b2f803777eaac7d38448d34aeb2952907bd0fd7c6032ec4e602\",\n          \"skills/synthesis/scripts/synthesis/requirements.py\": \"1ab80cd717c93210acb250898d435785688f8d0bd286da567fd21ab625859e48\",\n          \"skills/synthesis/scripts/synthesis/result.py\": \"068c7d8e23e6045123ee67be18e799274185a2568d6f9b98926a21afb5662c47\",\n          \"skills/synthesis/templates/scripts/dc_run.tcl\": \"178ef960d954948d91309ee91b14f0d4e2ea71e8318615f20deeae339a15c4e3\"\n        }\n      },\n      {\n        \"path\": \"skills/timing-analysis/SKILL.md\",\n        \"name\": \"timing-analysis\",\n        \"description\": \"Assess post-synthesis setup and hold timing with PrimeTime and determine what the evidence establishes under the task's constraints.\",\n        \"files\": {\n          \"skills/timing-analysis/SKILL.md\": \"9d5aa56d845f3cd4d9b0d91eab6ea572f5b2228eb331c483406cdddf2f1f3696\",\n          \"skills/timing-analysis/references/result.schema.json\": \"d291eef521cf1e527a451b3276aed326eabfccada24210b94e33b8b0d0a6305b\",\n          \"skills/timing-analysis/scripts/timing/__init__.py\": \"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855\",\n          \"skills/timing-analysis/scripts/timing/__main__.py\": \"c5a0332fd709e49cbf51a08e2600b107b49637c1c335ce2945a04ce8fd4342e2\",\n          \"skills/timing-analysis/scripts/timing/bootstrap.py\": \"2c03cfe604d3f8cd770748aeb5a2a845ed1798e41092bc9f7aad75431dd9aecb\",\n          \"skills/timing-analysis/scripts/timing/execute.py\": \"12880476898df147b6cc833ca1d9d2bccb8bcc8021e676bfac74be0806c4803e\",\n          \"skills/timing-analysis/scripts/timing/requirements.py\": \"ba416c2ac01baddd8374a79b7515cd813a15239668050147e88da27cca20e9ee\",\n          \"skills/timing-analysis/scripts/timing/result.py\": \"73188c5b6ce3c1f94e3e309ee19823fd1376d04d5e902ae01818d54a008c4215\",\n          \"skills/timing-analysis/templates/run_sta.tcl\": \"babd50271cc0ac3ddbd1df7feb3c3b3775e1289c71183c4025a1eca47265ffb1\"\n        }\n      }\n    ],\n    \"hooks\": [\n      {\n        \"path\": \".claude/hooks.json\",\n        \"sha256\": \"e67137d324159884f150562be900ca27132284f40b4438de4a978c8242849eae\",\n        \"event\": \"SessionStart\",\n        \"matcher\": null,\n        \"declaration\": {\n          \"type\": \"command\",\n          \"command\": \"python3 \\\"${CLAUDE_PLUGIN_ROOT}/.claude/adapter.py\\\"\"\n        },\n        \"executed\": false\n      },\n      {\n        \"path\": \".claude/hooks.json\",\n        \"sha256\": \"e67137d324159884f150562be900ca27132284f40b4438de4a978c8242849eae\",\n        \"event\": \"SubagentStart\",\n        \"matcher\": null,\n        \"declaration\": {\n          \"type\": \"command\",\n          \"command\": \"python3 \\\"${CLAUDE_PLUGIN_ROOT}/.claude/adapter.py\\\"\"\n        },\n        \"executed\": false\n      },\n      {\n        \"path\": \".claude/hooks.json\",\n        \"sha256\": \"e67137d324159884f150562be900ca27132284f40b4438de4a978c8242849eae\",\n        \"event\": \"PostToolUse\",\n        \"matcher\": \"Bash\",\n        \"declaration\": {\n          \"type\": \"command\",\n          \"command\": \"python3 \\\"${CLAUDE_PLUGIN_ROOT}/.claude/loop_after_dispatch.py\\\"\"\n        },\n        \"executed\": false\n      },\n      {\n        \"path\": \".claude/settings.json\",\n        \"sha256\": \"2abb443fade38320ce59305a5d185d450e9086ef17b478e6a3d8612def62ce8f\",\n        \"event\": \"PreToolUse\",\n        \"matcher\": \"Bash\",\n        \"declaration\": {\n          \"type\": \"command\",\n          \"command\": \"python3 \\\"$CLAUDE_PROJECT_DIR/.claude/hooks/commit_selfcheck.py\\\"\"\n        },\n        \"executed\": false\n      },\n      {\n        \"path\": \".claude/settings.json\",\n        \"sha256\": \"2abb443fade38320ce59305a5d185d450e9086ef17b478e6a3d8612def62ce8f\",\n        \"event\": \"SessionStart\",\n        \"matcher\": null,\n        \"declaration\": {\n          \"type\": \"command\",\n          \"command\": \"bash \\\"$CLAUDE_PROJECT_DIR/.claude/hooks/ensure_precommit.sh\\\"\"\n        },\n        \"executed\": false\n      },\n      {\n        \"path\": \".codex-plugin/hooks.json\",\n        \"sha256\": \"4fe18f2eb6ea4b5eaf1cdf875b5a180b70f95368b191af62547bcb04169c1303\",\n        \"event\": \"SessionStart\",\n        \"matcher\": null,\n        \"declaration\": {\n          \"type\": \"command\",\n          \"command\": \"python3 \\\"${PLUGIN_ROOT}/.codex-plugin/adapter.py\\\"\"\n        },\n        \"executed\": false\n      },\n      {\n        \"path\": \".codex-plugin/hooks.json\",\n        \"sha256\": \"4fe18f2eb6ea4b5eaf1cdf875b5a180b70f95368b191af62547bcb04169c1303\",\n        \"event\": \"SubagentStart\",\n        \"matcher\": null,\n        \"declaration\": {\n          \"type\": \"command\",\n          \"command\": \"python3 \\\"${PLUGIN_ROOT}/.codex-plugin/adapter.py\\\"\"\n        },\n        \"executed\": false\n      }\n    ],\n    \"executions\": []\n  }\n}"
  },
  "review_input": {
    "identity_artifact": "identity.json",
    "evidence_sha256": {
      "LOCK.json": "e3785738b276dc0a12787d55fbe6d8a57e998a84874fcec47c9a0c0c7872d7c0",
      "commands.json": "ae960a72cb70fcf42eeecf13813363872e842ea5ce5ce42849e0c94dd501c150",
      "complete.json": "91b504b43905fdc009504d516c45eea831f39a1995b9e7d69987c9756c936d6f",
      "identity.json": "cffd6eb953aa678118e7e318f2e562a0b6f3d9c4ff811b3bd82e638fd7f65488",
      "listing.json": "89130698656796464a443b44b261be6520095dfbc735784a5157bc4461bd2468",
      "selection.json": "a4172fe24691f02b995a8764d7fda399ebdbe862299534c288ea8689b547da83"
    },
    "claims": [
      {
        "id": "acquired",
        "field": "summary",
        "text": "Pinned source declarations and file hashes were listed.",
        "sources": [
          "LOCK.json",
          "listing.json",
          "commands.json"
        ]
      },
      {
        "id": "listed",
        "field": "outcome",
        "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.",
        "sources": [
          "LOCK.json",
          "listing.json",
          "commands.json"
        ]
      },
      {
        "id": "tree",
        "field": "rule_results.0",
        "text": "The retained source tree matches its acquisition manifest.",
        "sources": [
          "LOCK.json",
          "listing.json",
          "commands.json"
        ]
      },
      {
        "id": "declared",
        "field": "rule_results.1",
        "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",
        "sources": [
          "LOCK.json",
          "listing.json",
          "commands.json"
        ]
      }
    ]
  },
  "review": {
    "kind": "machine-checked",
    "date": "2026-10-22",
    "reviewed_sha256": "0a0d05dc7f695ec131a911af113bc4f7d38d6265932c0468c1376202d5459bad",
    "gates": "667a75e867a3838cb72c315b42cafafeb8e453579c64d0bda483b60f75134764",
    "codex": "0762d63fcff5ddbec04c988037210940718c79784cde52229b50e6620086b4b5",
    "grok": "4a912e7388c662155746163b078911264df5d338fc8280558a8d793b1940e701",
    "summary": "Deterministic gates passed; every claim rebuilt from evidence with a reviewed template; Grok reported no standing refutation."
  }
}