{
  "format": "ta-amps.seed-pack.proposal.v1",
  "status": "proposal_only",
  "pack_id": "seeded-defect-and-proof-carrying-review",
  "title": "Seeded defect and proof-carrying review",
  "version": "0.1.0",
  "summary": "A collection of nouns and verbs for mutation-guided reviewer calibration across six seeded defect classes, proof-carrying refusal and approval verification and exact Wilson score plus paired bootstrap confidence intervals.",
  "license": "MIT",
  "store": "seedpack.seeded-defect-and-proof-carrying-review",
  "queue_placeholder": "conformance-seed-packs",
  "files": [
    {
      "path": "README.md",
      "sha256": "f769b5674ef5964933d1dcd08f0848300eb3cd5ce7b3de33ffb191cb572b05ca"
    },
    {
      "path": "source.json",
      "sha256": "a1d2ce14605595ab2205b533d71fe0f49750750158058823d739f38b59eb245c"
    },
    {
      "path": "nouns.json",
      "sha256": "3e5f4ee3b8399aaea7b8ad8ff0758b6ae2ceebcf1cf1cea3e19bc40df599fbbf"
    },
    {
      "path": "verbs.json",
      "sha256": "502aebd36d6718f22f8712e9adf6e9d8c6190aa6c0edb1b955eb74708554d296"
    }
  ],
  "nouns": [
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.pack",
      "category_id": "noun.skill_pack",
      "role": "pack",
      "value_sha256": "9c896cf85c60e86806047d12e34568812b794c728d5a33557383494139e7be06"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-refusal-without-reproducible-witness",
      "category_id": "noun.skill_pack",
      "role": "guardrail",
      "value_sha256": "47a6f8473b142b44848c03aa00d2cc1f3175386551835d5c3f9d91be050da767"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-approval-without-mutant-kill-calibration",
      "category_id": "noun.skill_pack",
      "role": "guardrail",
      "value_sha256": "dd2456717e6b79df1ee6f25164742995f4e9f51f691018a1416bc364a4243afc"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.spec.seeded-defect-and-review-proof-grid",
      "category_id": "noun.benchmark_suite",
      "role": "spec",
      "value_sha256": "b6c0f50045f16d68e642fac50e35c7e42368f460ac18440f215007b9b293c6d0"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.rules.mutant-calibration-and-interval-audit",
      "category_id": "noun.reflex_procedure",
      "role": "rules",
      "value_sha256": "5e2ee55e16b779a504aa60abf34bcf43b4f7b147810171ab401d9d0eefda4151"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.tool.proof-carrying-review",
      "category_id": "noun.code_node",
      "role": "tool_card",
      "value_sha256": "0af4aeb6aa421912a4d1039a23d033f2141d2a4cec0bd6e41af562cc888e5423"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.template.proof-carrying-review-receipt",
      "category_id": "noun.scene_recipe",
      "role": "template",
      "value_sha256": "82dfc037110cf9ac983a5df2562e5ec7d1eae749c85dee49e6e378143c6426ae"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.example.proof-carrying-review-bundle",
      "category_id": "noun.eval_run",
      "role": "example",
      "value_sha256": "9e8924fbe549089d9d903d53be5208d42287aebe0898e3cc4a4b1f2594534da7"
    },
    {
      "key": "seeded-defect-and-proof-carrying-review.v0.1.0.example.proof-carrying-review-receipt",
      "category_id": "noun.eval_run",
      "role": "example",
      "value_sha256": "8e2ab547ca41acb80e87a90900e4cf5bdf5fcc4bb251732205dc365d51621b6e"
    }
  ],
  "verbs": [
    {
      "template_id": "seeded-defect-and-proof-carrying-review.generate-seeded-defect-mutant-twins",
      "kind": "verb.generate_seed",
      "claimant": "agent",
      "idempotency_key": "seedpack:seeded-defect-and-proof-carrying-review:generate-seeded-defect-mutant-twins:1199910c8430d8021e317ffbb4b7da0133fe72c611fbfaa460e7237b08906290",
      "report_shape_sha256": "11154df6878f0ff360ecc9ce37e627799debc07b8a1fde091a09862ddc622cf8"
    },
    {
      "template_id": "seeded-defect-and-proof-carrying-review.verify-proof-carrying-review-verdicts",
      "kind": "verb.verify_gate",
      "claimant": "agent",
      "idempotency_key": "seedpack:seeded-defect-and-proof-carrying-review:verify-proof-carrying-review-verdicts:430f8089a0b00621832785d241ef4f0bcb25e87ef33fa1591f157bb01d67f482",
      "report_shape_sha256": "111015412a78b4bdfe63829b70abdaef2feea00c9d88164ef28f22c35b43d4b1"
    },
    {
      "template_id": "seeded-defect-and-proof-carrying-review.audit-wilson-and-paired-bootstrap-intervals",
      "kind": "verb.benchmark_harness",
      "claimant": "agent",
      "idempotency_key": "seedpack:seeded-defect-and-proof-carrying-review:audit-wilson-and-paired-bootstrap-intervals:6103c8e208dec5ef14ff340b1f3c2007cc0cda233aba6b2c39dbfd1892e852aa",
      "report_shape_sha256": "7fc202e6c28b97f7c29588b52d975429a95bbf42f58c355afb7d485b20e398e8"
    }
  ],
  "code": {
    "path": "packs/seeded-defect-and-proof-carrying-review/code",
    "files": 12,
    "sha256": "0ea4e00d071121ff3bb93cc7a2750cfca7bbd606f7c9789904a956e7d61600ff",
    "runs": "The library runs this code only in its own CI tests; workers run it under their own permissions. Reading, exporting or importing the pack runs none of it."
  },
  "dependencies": [
    {
      "pack_id": "configuration-grids-and-bounds",
      "keys": []
    },
    {
      "pack_id": "checks-of-checks",
      "keys": []
    },
    {
      "pack_id": "evaluation-design",
      "keys": []
    },
    {
      "pack_id": "wiring-and-conformance-checks",
      "keys": []
    }
  ],
  "boundaries": [
    "SeededDefectMutantSuite injects six deterministic defect classes (digest_mismatch, boundary_off_by_one, silent_exception_swallow, capability_tier_violation, self_approval_principal_reuse and ungrounded_citation_span) into candidate bundles.",
    "ProofCarryingReviewVerifier enforces no refusal without a reproducible failing check and witness, and no approval unless reviewer mutant kill rate meets the grid threshold.",
    "StatisticalIntervalAuditor computes exact Wilson score intervals and seeded paired bootstrap confidence intervals from default_grid_spec.json bounds without inline magic numbers.",
    "Importing the pack writes nothing, enqueues nothing and installs no code."
  ],
  "override_policy": {
    "automatic_merge": false,
    "on_conflict": "stop_and_clarify"
  },
  "importer": null,
  "importer_reason": "No manifest endpoint or generic importer exists. Reading or exporting this pack writes no records, enqueues no verbs and activates nothing.",
  "activation": {
    "automatic": false,
    "steps": [
      "An owner assigns the namespace, store and queue.",
      "Each noun is written create-only with existing grants and read back; its value SHA-256 must match the pin.",
      "A verb template is filled with exact pins and enqueued explicitly by an authorized requester."
    ]
  },
  "evaluation": {
    "result": null,
    "reason": "Offline shape, category and digest validation only. No worker has run these verbs."
  }
}