# Independent K3 lift verification

`independent_verifier.py` reconstructs the two registered rectangular routes
with direct ragged and padded coordinate operations. It does not import the
main route or constraint implementation; the only imported source artifact is
the published 336-character K3 known-answer fixture.

Checks passed:

- K3 full-336 known-answer rotation: passed.
- Four 97-position routes, all bijective and distinct: passed.
- Four pure permutation cases: zero full crib matches.
- All 144 fixed-key cases: zero full crib passers; every decrypt/encrypt
  round-trip passed.
- All 64 structural cases: zero consistent survivors; all 64 contradiction
  certificates replayed exactly.
- All 64 planted synthetic structural controls: passed, including recovered
  key entries and full round-trips.
- Independent prior local route-pair reconstruction: exactly 6,746 unique
  permutations; all four registered routes are absent.

The ciphertext SHA-256 matches the main result and its frozen input source. The independent controls use a different deterministic seed from the main implementation. No parameter expansion,
language scoring, or external lookup was used.