diff --git a/.trinity/seals/lab_LabT27bRatchet.json b/.trinity/seals/lab_LabT27bRatchet.json
index 7fc1e49b91..dc13f87884 100644
--- a/.trinity/seals/lab_LabT27bRatchet.json
+++ b/.trinity/seals/lab_LabT27bRatchet.json
@@ -1,9 +1,9 @@
 {
-  "built_by": "t27c-bootstrap@0.5.2+0fba674ef",
+  "built_by": "t27c-bootstrap@0.5.2+42a4860c4",
   "closure": [
     {
       "spec": "specs/lab/lab_t27b_report.t27",
-      "spec_hash": "sha256:281801183bfea16fee870f7b0d7c48b71c8f24e5b53417f8df88b4026ae67008"
+      "spec_hash": "sha256:90f8457cbe1ac2944a04b18be4c72dbc7ed52b1857a5a2eb0ebc22bdd21e71e6"
     },
     {
       "spec": "specs/lab/lab_t27b_text.t27",
@@ -27,16 +27,16 @@
     }
   ],
   "config": "gen=c,rust,verilog,zig;tests=zig",
-  "gen_hash_c": "sha256:a09661c28e5d797aa12e4cfe489ac60ae4349b4a1f37200ca0c5015b8050d294",
-  "gen_hash_rust": "sha256:efe4bc017d778582c42cc82f5665c522ebf2f85a278e80042b503d2e00b99373",
-  "gen_hash_verilog": "sha256:fe36eb188af52326382ad8a8b3e95c9c58a66581896e976a0c52129a92b2b277",
-  "gen_hash_zig": "sha256:36aa2ab6028de40cf7576f469bb3f241d0fbe2e03e036302db505f39a120cb88",
+  "gen_hash_c": "sha256:8b87555c67e397ac03c37146019bd3e80f123f366acdac73f3bcf38a4c92a729",
+  "gen_hash_rust": "sha256:4bcfc99dfe088acf2d80bfc5583a5ce6449b46c96eae07885d2cdc8427ced162",
+  "gen_hash_verilog": "sha256:5b31d170ff6f1f28ca45fbae890795c928585209252778a7f831e13119f0e021",
+  "gen_hash_zig": "sha256:83a48ff512ace08493558d7a23e52b8edf8c71be50a8d375f6424ae43eff014f",
   "module": "LabT27bRatchet",
   "ring": 12,
   "seal_schema": 2,
-  "sealed_at": "2026-10-19T14:57:22Z",
+  "sealed_at": "2026-10-19T19:11:39Z",
   "sealed_by": "t27c-bootstrap@0.5.2",
-  "spec_hash": "sha256:cfbc076f4545878e09afff03cc49c5aa1045cd7fb9a54aaf8a29212eed69267f",
+  "spec_hash": "sha256:61209c910d15cf444fe9bf3fe920e63bfed4cd0cb31a21be8b65a43f634fb331",
   "spec_path": "specs/lab/lab_t27b_ratchet.t27",
   "tests": {
     "failed": 0,
diff --git a/specs/lab/lab_t27b_ratchet.t27 b/specs/lab/lab_t27b_ratchet.t27
index 5289710d06..861085fcc7 100644
--- a/specs/lab/lab_t27b_ratchet.t27
+++ b/specs/lab/lab_t27b_ratchet.t27
@@ -437,7 +437,7 @@ pub fn lt_run_val(run : string, o : usize, e : usize, key : string, sp : []usize
 
 /// The verdict code of key (`t27b` or `reference`) of the result t[o..e].
 pub fn lt_run_word(run : string, o : usize, e : usize, key : string) -> u8 {
-    var sp : [3]usize = undefined;
+    var sp : [3]usize = [0, 0, 0];
     const f : bool = lt_run_val(run, o, e, key, &sp);
     return lt_word_of(run, f, sp[0], sp[1], sp[2] == 1);
 }
@@ -468,7 +468,7 @@ pub fn lt_first_text(run : string, o : usize, e : usize, sp : []usize) -> u8 {
     }
     sp[0] = 0;
     sp[1] = 0;
-    var d : [3]usize = undefined;
+    var d : [3]usize = [0, 0, 0];
     if (lt_run_val(run, o, e, "detail", &d) == false) { return 1; }
     if (d[2] == 1) {
         sp[0] = d[0];
@@ -494,7 +494,7 @@ pub fn lt_collect_entries(ledger : string, ent : []u32, cap : usize) -> usize {
     }
     if (start == LAB_NO) { return 0; }
     var n : usize = 0;
-    var sp : [3]usize = undefined;
+    var sp : [3]usize = [0, 0, 0];
     var s : usize = start;
     var closed : bool = false;
     while (s < ledger.len and closed == false) {
@@ -533,7 +533,7 @@ pub fn lt_collect_results(run : string, rt : []u32, cap : usize, flag : []u32) -
     flag[0] = 0;
     var n : usize = 0;
     var o : usize = next_object(run, results_at(run));
-    var sp : [3]usize = undefined;
+    var sp : [3]usize = [0, 0, 0];
     while (o < run.len) {
         const e : usize = object_end(run, o);
         const v : usize = key_at(run, o, e, 3, "file");
@@ -727,9 +727,9 @@ pub fn lt_ratchet(run : string, ledger : string, work : []u32, cap_e : usize, ca
         ledger_commit = key_at(ledger, src[0], src[1], 2, "commit");
     }
     var x : usize = w;
-    var sp : [3]usize = undefined;
-    var bsp : [3]usize = undefined;
-    var lsp : [3]usize = undefined;
+    var sp : [3]usize = [0, 0, 0];
+    var bsp : [3]usize = [0, 0, 0];
+    var lsp : [3]usize = [0, 0, 0];
     var i : usize = 0;
     while (i < me) {
         const ei : usize = eord[i] as usize;
@@ -793,7 +793,7 @@ pub fn lt_ratchet(run : string, ledger : string, work : []u32, cap_e : usize, ca
                     x = lab_put_lit(out, cap, x, "the reference does not pass it any more (");
                     x = lab_put_lit(out, cap, x, lr_word(ref_c));
                     x = lab_put_lit(out, cap, x, ": ");
-                    var dsp : [3]usize = undefined;
+                    var dsp : [3]usize = [0, 0, 0];
                     if (lt_run_val(run, o, e, "reference_detail", &dsp)) {
                         if (dsp[2] == 1) {
                             x = lt_put_json(out, cap, x, run, dsp[0], dsp[1], 120);
@@ -1100,7 +1100,7 @@ test repr_chooses_its_quote_and_escapes_as_python_does {
 }
 
 test a_one_line_object_is_read_for_its_last_key_and_a_bad_line_is_not_read {
-    var sp : [3]usize = undefined;
+    var sp : [3]usize = [0, 0, 0];
     const row : string = "{\"path\": \"x\", \"t27b\": \"pass\", \"n\": [1, {\"k\": \"}\"}], \"z\": 7, \"t27b\": \"fail\"},";
     assert lt_obj(row, 0, row.len, "t27b", &sp) == 1;
     assert sp[2] == 1;