Named Observe-Fragment Selection for Netlist-Level Mutation Detection — public experiment package

Slim verification package for the IEEE Access manuscript Named Observe-Fragment Selection for Netlist-Level Mutation Detection. Includes frozen results, testbenches, PROTOCOL, MANIFEST, floor fingerprints, and verify_named_floor_ids.py. After unpacking, run python verify_named_floor_ids.py and expect PASS: 5 design(s). This archive does not contain full eqy working trees or a one-command path to regenerate all ≥500-draw random resims; see README.md inside the zip for the verification boundary.