Add q-gauge enumeration scan over topological ε-machines

[Autoplectic]

Summary

Adds scripts/scan_q_gauge_enumeration.py, a brute-force search for the maximum of the pure-gauge term I[S+0 : X0 : S-1 | S-0, S+1] over uniform-outdegree topological ε-machines (Johnson et al., 2010). This is the script behind the n3k3 max-q-gauge machine.

Workers cap the reverse mixed-state size and arm SIGALRM, so machines with pathological reverse presentations fail fast instead of stalling the sweep. Progress is checkpointed to JSON as it runs.

While bringing it up to the repo's lint standard I removed the unused _patched_to_bidirectional helper. It built a capped mixed-state presentation and a reverse machine, discarded both, and returned the uncappedBidirectionalEpsilonMachine.from_forward(em) anyway — its own comment records the capped path as an unfinished intention. Nothing referenced it, and every unused-import and unused-variable warning in the file came from inside it. _q_gauge already calls em.to_bidirectional() directly, so behavior is unchanged.

Remaining lint fixes were mechanical: an explicit strict=True on zip, the _Alarm → _AlarmError rename for N818, and import ordering.

Test plan

• ruff check . and ruff format --check . clean across the repo
• ty check at its 160-diagnostic baseline (no new diagnostics)
• Smoke run --n 2 --k 2 --workers 2: enumerates all 7 machines, 0 failures, 0 timeouts, writes the JSON checkpoint

Made with Cursor