master red after #6440: corpus ratchet + specs_generate baseline still list the specs it fixed #6452

PR #6440 (36ad787) fixed five malformed specs but did not shrink the ledgers that held them, so master went red:

• Corpus Ratchet (job 111825779487): UNEXPECTED PASSES 4 (ar/datalog_engine, ar/ternary_logic, test_framework/graph_drift_detection, test_framework/verilog_bench_harness [parse]); UNEXPECTED FAILURES 2: ar/ternary_logic [parse-no-discard] (two invariants with parameter lists, 62 tokens dropped) and test_framework/graph_drift_detection [typecheck] (Rust match, HashMap<K, V> param split into 2 args).
• emit-bitexact / check_specs_generate (job 111825778831): 5 specs in tools/specs_generate_baseline.txt now generate.

Fix: repair the two specs, drop the 4 ledger entries (cap 113 -> 109), drop the 5 baseline lines, re-seal. Seal Coverage and Spec Guards were already red on 682564f (not this regression).

Refs #6437