random set systems: 300 instances (157 with repeated members before dedup), d up to 6: distinct sets, projective ratio, eps-density, tau = min(tau(U,F), d), size bound
chain 3-CNF -> block encoding -> distinct eps-dense Set Cover: 40 formulas (33 satisfiable; 16 block families had repeated sets before dedup): tau <= k iff satisfiable; density checked
TOTAL failures = 0
