Extend verification coverage to the excluded program-structure classes

The 113 in-scope exclusions across the seven verified states are documented program-structure classes (e.g. SSI-CAP variants) whose computation chain the encodings don't yet cover. They remain IN the measured-rate simulation (the sampling engine resamples the full weighted file); the gap is verification coverage only. The fix is encoding those program structures and replaying them — not synthesizing values, which would verify the encodings against themselves. Enumerate the classes by state, size the encoding work, and sequence.

The issue names no files or tests. Begin by enumerating the 113 excluded program-structure classes across the seven verified states, then identify the encoding and replay entry points that cover each class. Size and sequence the encoding work, and consider it done when the classes are encoded and replayed without synthesizing verification values.