Pass 382 · GAP certificate trace
A static, browser-visible rendering of the certified 48-state LOAD/FLIP/LATCH controller. This page only displays the precomputed GAP certificate; it has no JavaScript and performs no mathematics in the browser.
This isolated controller contains no actual header flag, Q6 edge, route, or physical-oscillator binding. Its edge-step wrap is a controller-frame convention, not a Q6 path closure. Pass 380 owns the actual scheduler phase-lift result; this display neither refines nor binds that map.
The reversible sequence clock moves through the three-operation word and advances the edge-step index only at a latch.
Certified: exact order 48, one 48-state reachable orbit, and a two-sided inverse.
The free C3 action rotates the phase position within an edge-step index; it is not the controller successor.
Certified: 16 free three-state phase orbits. P differs from T on exactly the latch phase; the maps fail to commute on FLIP and LATCH states.
Each comparison is against the specified successor T. These are control-state diagnostics, not claims of fault correction, timing performance, or hardware realization.
LOADFLIPLATCH Each row is copied from the GAP-emitted certificate. The final latch is the one controller-frame wrap.
| state | operation | T next | T previous | P next | latch advances edge | frame wrap |
|---|---|---|---|---|---|---|
| (0,0) | LOAD_FLAG | (0,1) | (15,2) | (0,1) | no | no |
| (0,1) | FLIP_Q6_AXIS | (0,2) | (0,0) | (0,2) | no | no |
| (0,2) | LATCH_VERTEX | (1,0) | (0,1) | (0,0) | yes | no |
| (1,0) | LOAD_FLAG | (1,1) | (0,2) | (1,1) | no | no |
| (1,1) | FLIP_Q6_AXIS | (1,2) | (1,0) | (1,2) | no | no |
| (1,2) | LATCH_VERTEX | (2,0) | (1,1) | (1,0) | yes | no |
| (2,0) | LOAD_FLAG | (2,1) | (1,2) | (2,1) | no | no |
| (2,1) | FLIP_Q6_AXIS | (2,2) | (2,0) | (2,2) | no | no |
| (2,2) | LATCH_VERTEX | (3,0) | (2,1) | (2,0) | yes | no |
| (3,0) | LOAD_FLAG | (3,1) | (2,2) | (3,1) | no | no |
| (3,1) | FLIP_Q6_AXIS | (3,2) | (3,0) | (3,2) | no | no |
| (3,2) | LATCH_VERTEX | (4,0) | (3,1) | (3,0) | yes | no |
| (4,0) | LOAD_FLAG | (4,1) | (3,2) | (4,1) | no | no |
| (4,1) | FLIP_Q6_AXIS | (4,2) | (4,0) | (4,2) | no | no |
| (4,2) | LATCH_VERTEX | (5,0) | (4,1) | (4,0) | yes | no |
| (5,0) | LOAD_FLAG | (5,1) | (4,2) | (5,1) | no | no |
| (5,1) | FLIP_Q6_AXIS | (5,2) | (5,0) | (5,2) | no | no |
| (5,2) | LATCH_VERTEX | (6,0) | (5,1) | (5,0) | yes | no |
| (6,0) | LOAD_FLAG | (6,1) | (5,2) | (6,1) | no | no |
| (6,1) | FLIP_Q6_AXIS | (6,2) | (6,0) | (6,2) | no | no |
| (6,2) | LATCH_VERTEX | (7,0) | (6,1) | (6,0) | yes | no |
| (7,0) | LOAD_FLAG | (7,1) | (6,2) | (7,1) | no | no |
| (7,1) | FLIP_Q6_AXIS | (7,2) | (7,0) | (7,2) | no | no |
| (7,2) | LATCH_VERTEX | (8,0) | (7,1) | (7,0) | yes | no |
| (8,0) | LOAD_FLAG | (8,1) | (7,2) | (8,1) | no | no |
| (8,1) | FLIP_Q6_AXIS | (8,2) | (8,0) | (8,2) | no | no |
| (8,2) | LATCH_VERTEX | (9,0) | (8,1) | (8,0) | yes | no |
| (9,0) | LOAD_FLAG | (9,1) | (8,2) | (9,1) | no | no |
| (9,1) | FLIP_Q6_AXIS | (9,2) | (9,0) | (9,2) | no | no |
| (9,2) | LATCH_VERTEX | (10,0) | (9,1) | (9,0) | yes | no |
| (10,0) | LOAD_FLAG | (10,1) | (9,2) | (10,1) | no | no |
| (10,1) | FLIP_Q6_AXIS | (10,2) | (10,0) | (10,2) | no | no |
| (10,2) | LATCH_VERTEX | (11,0) | (10,1) | (10,0) | yes | no |
| (11,0) | LOAD_FLAG | (11,1) | (10,2) | (11,1) | no | no |
| (11,1) | FLIP_Q6_AXIS | (11,2) | (11,0) | (11,2) | no | no |
| (11,2) | LATCH_VERTEX | (12,0) | (11,1) | (11,0) | yes | no |
| (12,0) | LOAD_FLAG | (12,1) | (11,2) | (12,1) | no | no |
| (12,1) | FLIP_Q6_AXIS | (12,2) | (12,0) | (12,2) | no | no |
| (12,2) | LATCH_VERTEX | (13,0) | (12,1) | (12,0) | yes | no |
| (13,0) | LOAD_FLAG | (13,1) | (12,2) | (13,1) | no | no |
| (13,1) | FLIP_Q6_AXIS | (13,2) | (13,0) | (13,2) | no | no |
| (13,2) | LATCH_VERTEX | (14,0) | (13,1) | (13,0) | yes | no |
| (14,0) | LOAD_FLAG | (14,1) | (13,2) | (14,1) | no | no |
| (14,1) | FLIP_Q6_AXIS | (14,2) | (14,0) | (14,2) | no | no |
| (14,2) | LATCH_VERTEX | (15,0) | (14,1) | (14,0) | yes | no |
| (15,0) | LOAD_FLAG | (15,1) | (14,2) | (15,1) | no | no |
| (15,1) | FLIP_Q6_AXIS | (15,2) | (15,0) | (15,2) | no | no |
| (15,2) | LATCH_VERTEX | (0,0) | (15,1) | (15,0) | yes | yes |