Everyone here has debugged a reset-release metastability at 2am, and everyone knows the testbench never sees it. We built an open evaluation layer that adds declared intent (clock groups, reset discipline, power-on state) plus a structural oracle on top of the functional result, and ran frozen generation studies against it.
The finding practitioners will recognize: at least 14 of 57 functionally accepted candidates wire raw async reset into operational state, and every single one also contains a correct two-flop synchronizer in the same file, with its output used as a synchronous qualifier while the async pin stays raw. A junior who does not know the idiom omits the synchronizer, which review catches. These candidates build it and route around it, which defeats exactly the heuristic reviewers use.
One public example even carries the comment "Synchronized active-low reset applied directly to counter state" above the wrong wiring.
An independent RTL engineer reviewed the frozen packet blind this weekend and concurred on every case he examined, including calling the synchronizer bypass unprompted. Artifacts, prompts, and both oracles are public; `svgap demo` reproduces the witness split in one container command. For FPGA folks: yes, sync-reset methodologies change the flavor; the intent declaration question stays.
Curious what this crowd thinks belongs in a task-level intent contract: which production question does a functional pass leave unanswered in your flow?
Repo and artifacts: https://github.com/shsridhar-beep/svgap