widgets: twelve logic files and five more native pages in .t27

specs/widgets/catalog.t27

@@ -34,9 +34,10 @@
 ; Stages reached, each with a differential against the hand-written version on the trinity side.
 ; PORT_LOGIC (the pure logic file is .t27, built to wasm, 0 mismatches against the JavaScript):
 ; gatle 866178 comparisons, lut-depth 12125, stat-card 30827, fasm-skyline 384784, lut-treemap
-; 14667449, lut-explain 1395124.
+; 14667449, lut-explain 1395124, bit-diff 275620, vcd-wrapped 76076, pin-map 180587, synth-smells 87094, fsm-sketch 91657 (its Math.sin/cos/atan2 stay with the host: V8 differs from libm in the last bit), bit-autopsy 96007.
+; With these, all 12 pure logic files of the census (2775 lines of JavaScript) exist as .t27.
 ; gatle is at PORT_LOGIC (specs/widgets/gatle_rule.t27: 866178 comparisons vs rule.js, 0 mismatches)
-; and jtag-verdict and race-the-bee at PORT_DRAW (specs/widgets/jtag_verdict.t27: 3015 DOM
+; and jtag-verdict, race-the-bee, t27-vs-nvfp4, t27-cell, build-receipt, uart-bucket and test-touch at PORT_DRAW (specs/widgets/jtag_verdict.t27: 3015 DOM
 ; comparisons vs tool.js, 0 mismatches; specs/widgets/race_the_bee.t27: 59, with 13 data variants, 0). Every other tool is at PORT_WORDS: its words live in its spec, its logic and drawing
 ; still live in JavaScript. A stage is reached on the t27 side first; the page in trinity keeps
 ; loading the hand-written file until that repo's migration PR deletes it. A tool moves up only when
@@ -90,7 +91,7 @@ pub const PORT_LOGIC : u8 = 2; // pure logic is .t27, generated to JS by gen-ts
 pub const PORT_DRAW : u8 = 3; // the page is drawn by the trusted renderer from a plan
 pub const PORT_SEALED : u8 = 4; // the spec seal keys the page, the data and the card
 pub const PORT_STAGES : u8 = 5;
-pub const TOOL_PORT : [28]u8 = [1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 3, 2, 2, 2, 1, 1, 3, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1];
+pub const TOOL_PORT : [28]u8 = [2, 2, 3, 1, 2, 1, 2, 2, 1, 1, 3, 2, 2, 2, 2, 1, 3, 1, 1, 2, 2, 3, 3, 1, 3, 1, 3, 2];
 
 ; Port waves, by the hand lines a tool still carries (logic + draw + css + data + card).
 ; Wave 1 is the small tools, wave 3 the largest; a wave is a batch of port issues.
@@ -226,17 +227,18 @@ test the_waves_cover_every_tool_once {
     assert hand_lines(12) == 1432;
 }
 
-test eight_tools_have_left_the_words_stage_with_a_differential {
-    assert count_port(PORT_WORDS) == TOOL_COUNT - 8;
-    assert count_port(PORT_LOGIC) == 6;
-    assert count_port(PORT_DRAW) == 2;
+test seven_pages_are_native_and_the_twelve_logic_files_are_ported {
+    assert count_port(PORT_DRAW) == 7;
+    assert count_port(PORT_WORDS) == 9;
+    assert count_port(PORT_LOGIC) == 12;
     assert count_port(PORT_SEALED) == 0;
-    assert TOOL_PORT[4] == PORT_LOGIC;
-    assert TOOL_PORT[7] == PORT_LOGIC;
-    assert TOOL_PORT[11] == PORT_LOGIC;
-    assert TOOL_PORT[12] == PORT_LOGIC;
-    assert TOOL_PORT[13] == PORT_LOGIC;
-    assert TOOL_PORT[19] == PORT_LOGIC;
+    assert count_port(PORT_LOGIC) + count_port(PORT_DRAW) == 19;
     assert TOOL_PORT[10] == PORT_DRAW;
     assert TOOL_PORT[16] == PORT_DRAW;
+    assert TOOL_PORT[2] == PORT_DRAW;
+    assert TOOL_PORT[21] == PORT_DRAW;
+    assert TOOL_PORT[22] == PORT_DRAW;
+    assert TOOL_PORT[24] == PORT_DRAW;
+    assert TOOL_PORT[26] == PORT_DRAW;
+    assert TOOL_PORT[7] == PORT_LOGIC;
 }