property-based-testing/BB-SKILLS-REVIEW.json

Version 82fe82262526.bb1 · CC-BY-SA-4.0. This preview displays packaged text and does not execute code. Treat the contents as untrusted instructions.

← Return to resource and package checksum

{
  "format": 1,
  "checked_at": "2026-10-04",
  "source_commit": "82fe8226252622fa807643bdca1710901198553a",
  "runtime_tested": false,
  "requirements": "Instruction-only property-testing workflow with five complete references. Use a suitable existing language-specific library; any new project dependency is a separate owner decision. No AI client, full skill invocation, upstream evaluation harness or smart-contract runtime was executed.",
  "cost_notes": "Free CC BY-SA 4.0 instruction download with attribution, source/license links, change notices and ShareAlike. Complete legal text and publisher grant are included. No model API, paid resource or cloud service is used by inspection; external services can have separate prerequisites and costs.",
  "checks": [
    "All 13 original source files match pinned Git blobs and SHA-256",
    "All nine skill files and five references preserved",
    "All local skill/reference/README markdown links resolve",
    "Complete CC BY-SA legal text and separate publisher grant preserved",
    "AI evaluation harnesses and contract fixtures excluded",
    "Source instructions and scoped synthetic testing are distinct from full AI skill evaluation"
  ],
  "file_hashes": {
    "property-based-testing/LICENSE.upstream.txt": "7abe19ec9bb73b36141b999b861d24ad855e808bafe0f81e84cce28556f6c297",
    "property-based-testing/source-context/README.repository.upstream.md": "5238447ee6608f638ae01fc114b05cde2d2a57f56832fe9d699b5951621c9d1e",
    "property-based-testing/source-context/plugin-metadata.upstream.json": "603af6c1e3e21ee40a96ced27826fed8c563ea31566ac8e479e121f868611be3",
    "property-based-testing/source-context/README.plugin.upstream.md": "c30064490a8220080585e2e8ab0132a7800bae798b392934aff5d3af3775c018",
    "property-based-testing/README.md": "ffbe30eec09cc64fb1eae836b07ca1d82939bda3f1e6f0dceadcdd78793a3112",
    "property-based-testing/SKILL.md": "9448cacb65c6237a7c22dc59602667177ecae405524079ae9ff92240590b995a",
    "property-based-testing/agents/openai.yaml": "51d635deefa254d8cdf6dc56450851b6ec9545cd37f88a4eb4035cf3f2262fff",
    "property-based-testing/assets/trail-of-bits-mark.svg": "4bf74c789b38dcf6ad762c136b6832363d27ae19fbaa9a18ec18d66ecce6ca05",
    "property-based-testing/references/generating.md": "c0e72dfc89babe3c32de718b81b94044362c85e776d7475e950dfeaab78bb58e",
    "property-based-testing/references/interpreting-failures.md": "dbae7db8773712ba03268a3d56ea5aa6720af0650a5189580bfd88aa2edc3f9a",
    "property-based-testing/references/libraries.md": "f7218acf8e668130ef3048983472579d04e12030c5401926f666363e5f69c686",
    "property-based-testing/references/refactoring.md": "6eb5c206f575704791f089608bb06e41d6eed91b9d3c7fb27912f969aed07a18",
    "property-based-testing/references/reviewing.md": "110b08118a1e7b1a2566def6e9d2a0bf43fc2deefce857d2ce3b4382b07bc774",
    "property-based-testing/SOURCE.md": "ca7879bd529f282cb491fbefb143d4f732e1dcdf2fb2712ac2907b05ecfb7497",
    "property-based-testing/examples/probe_property_fixture.py": "3cd2309427870c92d528112f5de1f409062d53a088d1a4ead9a8811a27513f59",
    "property-based-testing/examples/native-property-evidence.json": "4205f57e1078b191001eb90699b985d66702841a152038e0b9d38e194862844b"
  },
  "license_notices": [
    {
      "identifier": "CC-BY-SA-4.0",
      "notice_file": "property-based-testing/LICENSE.upstream.txt",
      "scope": "Full CC BY-SA 4.0 legal text for the preserved skill instructions, references, README, metadata, asset and source context.",
      "attribution": "Trail of Bits and the Skills repository contributors. Original credits and links are preserved.",
      "changes": "All 13 selected upstream files retained byte for byte. Source-context names relocated. BB Skills adds source notes, review metadata, an original synthetic probe and its recorded evidence under CC BY-SA 4.0.",
      "source": "https://github.com/trailofbits/skills/tree/82fe8226252622fa807643bdca1710901198553a/plugins/property-based-testing/skills/property-based-testing"
    },
    {
      "identifier": "CC-BY-SA-4.0",
      "notice_file": "property-based-testing/source-context/README.repository.upstream.md",
      "scope": "Separate upstream publisher grant and attribution.",
      "attribution": "Trail of Bits and contributors; https://www.trailofbits.com/.",
      "changes": "README unchanged; repository-level relative links refer to the fixed upstream repository.",
      "source": "https://github.com/trailofbits/skills/tree/82fe8226252622fa807643bdca1710901198553a"
    }
  ]
}