Update to NaCl

{
  "name": "nacl-verify",
  "description": "Verify NaCl code, tests, QA, synchronization, review evidence, or stubs without converting missing runtime proof into success.",
  "included_files": [
    {
      "relative_path": "resources/references/skills-only-runtime-contract.md",
      "size_in_bytes": 7181
    },
    {
      "relative_path": "resources/workflows/nacl-tl-verify-code/SKILL.md",
      "size_in_bytes": 9449
    },
    {
      "relative_path": "resources/workflows/nacl-tl-verify/SKILL.md",
      "size_in_bytes": 3833
    },
    {
      "relative_path": "resources/workflows/references/verification-evidence.md",
      "size_in_bytes": 14769
    }
  ],
  "skill_md_contents": "---\nname: nacl-verify\ndescription: Verify NaCl code, tests, QA, synchronization, review evidence, or stubs without converting missing runtime proof into success.\n---\n\n# NaCl Verify\n\nRead [the Skills-only runtime contract](resources/references/skills-only-runtime-contract.md),\n[the verification workflow](resources/workflows/nacl-tl-verify/SKILL.md),\nand [the evidence taxonomy](resources/workflows/references/verification-evidence.md).\nRequire a loaded project `nacl_neo4j` MCP and verified read canary for graph-backed\nverification; otherwise return `BLOCKED/PROJECT_MCP_NOT_CONFIGURED` and route\nto `nacl-init`.\n\nSelect one verification leaf and report its exact commands and exit codes. Use\nonly project-local Neo4j MCP tools. Verification stays read-only except for an\nexplicit evidence artifact or confirmed Task evidence update with claim,\nfence/revision, same-mutation evidence, read-back and release. Missing runtime\nor graph proof never becomes a vacuous pass.\n"
}