gHashTag · gHashTag · Sep 6, 2026 · Sep 6, 2026
@@ -1 +1 @@
-15
+16
@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
-  "gen_hash_rust": "sha256:fcaf79747dbd9543c5be6e30b011095f8bdee0470df398538a5022ade5e2a200",
+  "gen_hash_rust": "sha256:e8fa136c348a61a8e7fb5f5d78f2ec98ce50885359453ce460b28a8834e82eb1",
   "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "AspSolver",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:952caf75701c86102f5920523badff0aff5810bf66fac7806c0adc63d2266169",
-  "gen_hash_rust": "sha256:6d875be3225c359d230ae0bdd7b5b32461ee45f7803789a6d9a307aa35eb5746",
+  "gen_hash_rust": "sha256:070d0589edc375acf0bf577fc5b32e63f5d0ede4fbcf9c9b2f4dc75289b2db27",
   "gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df",
   "gen_hash_zig": "sha256:f52e5c26de65c941c91654b1cfb4ccaed8938f99b756db204f28a764fb149291",
   "module": "Explainability",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:1f582327e258f40158a2eb680c2407f1c82be8820933192a9f490c4f025a90ac",
-  "gen_hash_rust": "sha256:4211b138e147d37ea2730b7859240c163395ce0d3d7c49ebc51b1ab6264670c9",
+  "gen_hash_rust": "sha256:0477e0a174d2a499500d8056368599306c99e844aa18f235feca75a5be85a335",
   "gen_hash_verilog": "sha256:1787306b5e73d8b8367bf0a45cc55a92e126dc5e403e44a5289007c43a676108",
   "gen_hash_zig": "sha256:65e27a6927d244586c6f1abc58f5b0c3feda0c60412f493cd6167badcf23162a",
   "module": "JonesPolynomial",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:86db699c8c02863802408cde081c27e64e330b124995c34a4936ea560cc586d3",
-  "gen_hash_rust": "sha256:cc537e13411b9b1001d486557bc09f9b837cc5cfef7a00dc5bfe8ce2f3fe041a",
+  "gen_hash_rust": "sha256:728645cbb11d02e1b1bc5885a74bcba326bc2f9c5b8caa6d52802a27e45a524b",
   "gen_hash_verilog": "sha256:13abdfc9dbb7b8e416bf4fafe6de936c62066529e2327fe6645d7b225ce9e6fe",
   "gen_hash_zig": "sha256:5d267d3888f6abfd3438e80f87a3fcc68d483d3d533ee48adb84e78296a0018c",
   "module": "JonesTopologyDecisionGate",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:2933f4add3013dc72d41bc6c4fea68bee43383657b9dc022a57ba8f95d875a74",
-  "gen_hash_rust": "sha256:449ec884c573c27154b3414c3b8f41cc08f1fc690298f246484b233eb54233d9",
+  "gen_hash_rust": "sha256:8305ed16109c9e2fc3a7ae0e5f2a57645b0fdedb854c5103386d779f3392df0a",
   "gen_hash_verilog": "sha256:fbfcfd427747dd7ad81f16b9095875570a98d3f79ac38e98326218deed2bbf67",
   "gen_hash_zig": "sha256:89144fa0a66eb3cb226e41018d3d7300acb54abb28241a5a5313f32410ec61ea",
   "module": "JonesTopologyFilter",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
-  "gen_hash_rust": "sha256:4abb3379bc73d56f926b4605e8a1cc9a97bc4d9979a95549792111aca90ca460",
+  "gen_hash_rust": "sha256:144e88d63aad1d41275fbb5dbfe8a1b1743dc6a69de9174ac9ecef2e9268596b",
   "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
   "gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
   "module": "ProofTrace",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:8dd1f27c321a6072413858db47ba10574761dbbb41855d13dcf0ff7ecf6f75df",
-  "gen_hash_rust": "sha256:6c964defceeae55ae9ce9091618913bae899c346dab9f075d427ef7dbdfb08a4",
+  "gen_hash_rust": "sha256:7d50c681cf221f5648104ac4d50e048c3558c8479fa79b40a04fb79d728c1e66",
   "gen_hash_verilog": "sha256:ead9632de495e2da67289f95d5e919e87e47a4c700fa960d4e2c6696482de346",
   "gen_hash_zig": "sha256:1b179c6809f705b3c19217c23255f31f205826d0788ff9469881f7a421dee766",
   "module": "Restraint",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:bd24a15fa13302e4291cd3009623c075bc795ca18cf88b868518432878fbc2a8",
-  "gen_hash_rust": "sha256:8ab1d7b95331e079dcfa5921c708dd596e68b5c9e707b1e1cb28df38f1dfe8e4",
+  "gen_hash_rust": "sha256:4bd6783f841c5233759b1f94c6c24b54869eb0a33035d86a35cbababd7d50efa",
   "gen_hash_verilog": "sha256:e4be62c8876102e115ae4bdc392a5964f5d625d0b54f99f85269d76a7669745f",
   "gen_hash_zig": "sha256:76a69b1eb4bafb6ef02fe67164eaa0ae06084f636c883a2d4d4d39a6590d74b8",
   "module": "VSAOps",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
-  "gen_hash_rust": "sha256:fcaf79747dbd9543c5be6e30b011095f8bdee0470df398538a5022ade5e2a200",
+  "gen_hash_rust": "sha256:e8fa136c348a61a8e7fb5f5d78f2ec98ce50885359453ce460b28a8834e82eb1",
   "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "AspSolver",

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:952caf75701c86102f5920523badff0aff5810bf66fac7806c0adc63d2266169",
-  "gen_hash_rust": "sha256:6d875be3225c359d230ae0bdd7b5b32461ee45f7803789a6d9a307aa35eb5746",
+  "gen_hash_rust": "sha256:070d0589edc375acf0bf577fc5b32e63f5d0ede4fbcf9c9b2f4dc75289b2db27",
   "gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df",
   "gen_hash_zig": "sha256:f52e5c26de65c941c91654b1cfb4ccaed8938f99b756db204f28a764fb149291",
   "module": "explainability",
   "ring": 12,
-  "sealed_at": "2026-09-06T02:37:18Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:80e970c2be2a313cfca43bc0bbb20397259952dd2d26af5b1359e1d26ea1a4b3",
   "spec_path": "specs/ar/explainability.t27"

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
-  "gen_hash_rust": "sha256:4abb3379bc73d56f926b4605e8a1cc9a97bc4d9979a95549792111aca90ca460",
+  "gen_hash_rust": "sha256:144e88d63aad1d41275fbb5dbfe8a1b1743dc6a69de9174ac9ecef2e9268596b",
   "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
   "gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
   "module": "ProofTrace",

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:8dd1f27c321a6072413858db47ba10574761dbbb41855d13dcf0ff7ecf6f75df",
-  "gen_hash_rust": "sha256:6c964defceeae55ae9ce9091618913bae899c346dab9f075d427ef7dbdfb08a4",
+  "gen_hash_rust": "sha256:7d50c681cf221f5648104ac4d50e048c3558c8479fa79b40a04fb79d728c1e66",
   "gen_hash_verilog": "sha256:ead9632de495e2da67289f95d5e919e87e47a4c700fa960d4e2c6696482de346",
   "gen_hash_zig": "sha256:1b179c6809f705b3c19217c23255f31f205826d0788ff9469881f7a421dee766",
   "module": "restraint",
   "ring": 12,
-  "sealed_at": "2026-09-05T19:32:03Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:16e0b95c56b6f741cfc33408599e59d912bd99755fed0f68107e3b97868080d2",
   "spec_path": "specs/ar/restraint.t27"

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
-  "gen_hash_rust": "sha256:fcaf79747dbd9543c5be6e30b011095f8bdee0470df398538a5022ade5e2a200",
+  "gen_hash_rust": "sha256:e8fa136c348a61a8e7fb5f5d78f2ec98ce50885359453ce460b28a8834e82eb1",
   "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "asp_solver",
   "ring": 12,
-  "sealed_at": "2026-09-05T19:32:03Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:eca06ff812c61e2693f706b7389c71dcd769c30dfbb2cfb958e0416a5118b404",
   "spec_path": "specs/ar/asp_solver.t27"

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:51034bfe26f2a680c1db02232415a90a4e84420a86c9d4f19602686b9acd5afb",
-  "gen_hash_rust": "sha256:d68a3dfc5332bf206443b1befc475940231962e3f1a69f7944daae4006d81f96",
+  "gen_hash_rust": "sha256:ce3c091b433f86cd63ab314c0b5cd892d6dddc9c05aadf3a89223fdc452341ce",
   "gen_hash_verilog": "sha256:29e4a69b72122f9715a543d92d7ee68c8d554ec5b8aefe2f797e9b86406cb8ce",
   "gen_hash_zig": "sha256:f631078ead3dd650ee408409b06bdedaa66f64de0be918128b0caac668b81a33",
   "module": "coa_planning",
   "ring": 12,
-  "sealed_at": "2026-09-06T02:37:18Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:d6b1c23a9296e687435aa23bb3dff4adac3b81e5ff938ac41294d8936a62a7c8",
   "spec_path": "specs/ar/coa_planning.t27"

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
-  "gen_hash_rust": "sha256:4abb3379bc73d56f926b4605e8a1cc9a97bc4d9979a95549792111aca90ca460",
+  "gen_hash_rust": "sha256:144e88d63aad1d41275fbb5dbfe8a1b1743dc6a69de9174ac9ecef2e9268596b",
   "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
   "gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
   "module": "proof_trace",
   "ring": 12,
-  "sealed_at": "2026-09-06T02:37:18Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:2591d4523eed910a4add8ecd6d7f8a33c9883ad3449955ac3c347d9744ab2a04",
   "spec_path": "specs/ar/proof_trace.t27"

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:6853fa2f0ade52dabfe66d11846ce96374ef244b644ef8bf1a49b5ded8c53d6b",
-  "gen_hash_rust": "sha256:fcaf79747dbd9543c5be6e30b011095f8bdee0470df398538a5022ade5e2a200",
+  "gen_hash_rust": "sha256:e8fa136c348a61a8e7fb5f5d78f2ec98ce50885359453ce460b28a8834e82eb1",
   "gen_hash_verilog": "sha256:3522743354eff4f8f1d9f03d25b7df23bc6185c4962c82e4de79098782265cd7",
   "gen_hash_zig": "sha256:eceaded4f26af6e30cd424ffcc9318a85eaf61562f0c1de85d85260f4c45437f",
   "module": "asp_solver",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:51034bfe26f2a680c1db02232415a90a4e84420a86c9d4f19602686b9acd5afb",
-  "gen_hash_rust": "sha256:d68a3dfc5332bf206443b1befc475940231962e3f1a69f7944daae4006d81f96",
+  "gen_hash_rust": "sha256:ce3c091b433f86cd63ab314c0b5cd892d6dddc9c05aadf3a89223fdc452341ce",
   "gen_hash_verilog": "sha256:29e4a69b72122f9715a543d92d7ee68c8d554ec5b8aefe2f797e9b86406cb8ce",
   "gen_hash_zig": "sha256:f631078ead3dd650ee408409b06bdedaa66f64de0be918128b0caac668b81a33",
   "module": "coa_planning",

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:5672c53eb1e8130a6c54d3d934acfadab049b56305f2566deee4df2df093bfb8",
-  "gen_hash_rust": "sha256:c5f9392badef65e113076f21f3289b9e8c33042811f1658f58f97af7c422137d",
+  "gen_hash_rust": "sha256:e9b7be7767f8d636ca888a3321c7e1a744fffa8e37abaeb7ecf3b4c6c091db8c",
   "gen_hash_verilog": "sha256:4dfb39cb8256ee127d93cb27b27070a6138cf060008b77fee817402594fad250",
   "gen_hash_zig": "sha256:044709f8c9eabfdb6784e6b554e05d5d157e84115c5300eead5f7cc0d2705024",
   "module": "compiler-mod-structure",

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:5672c53eb1e8130a6c54d3d934acfadab049b56305f2566deee4df2df093bfb8",
-  "gen_hash_rust": "sha256:c5f9392badef65e113076f21f3289b9e8c33042811f1658f58f97af7c422137d",
+  "gen_hash_rust": "sha256:e9b7be7767f8d636ca888a3321c7e1a744fffa8e37abaeb7ecf3b4c6c091db8c",
   "gen_hash_verilog": "sha256:4dfb39cb8256ee127d93cb27b27070a6138cf060008b77fee817402594fad250",
   "gen_hash_zig": "sha256:044709f8c9eabfdb6784e6b554e05d5d157e84115c5300eead5f7cc0d2705024",
   "module": "compiler-mod-structure",
   "ring": 12,
-  "sealed_at": "2026-09-05T03:11:55Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:dee8a1c4e2ac49ff01ec4228a43bdcb4364d4e68fa2d1d439b27c2d5bac584a7",
   "spec_path": "specs/compiler/mod_structure.t27"

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:86db699c8c02863802408cde081c27e64e330b124995c34a4936ea560cc586d3",
-  "gen_hash_rust": "sha256:cc537e13411b9b1001d486557bc09f9b837cc5cfef7a00dc5bfe8ce2f3fe041a",
+  "gen_hash_rust": "sha256:728645cbb11d02e1b1bc5885a74bcba326bc2f9c5b8caa6d52802a27e45a524b",
   "gen_hash_verilog": "sha256:13abdfc9dbb7b8e416bf4fafe6de936c62066529e2327fe6645d7b225ce9e6fe",
   "gen_hash_zig": "sha256:5d267d3888f6abfd3438e80f87a3fcc68d483d3d533ee48adb84e78296a0018c",
   "module": "JonesTopologyDecisionGate",
   "ring": 12,
-  "sealed_at": "2026-08-30T19:43:01Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:12fd87a68d187972253a58cf5d38fc6b92fefe35957386eb3b1e4e586d97dbdd",
   "spec_path": "specs/demos/jones_topology_decision_gate.t27"

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:2933f4add3013dc72d41bc6c4fea68bee43383657b9dc022a57ba8f95d875a74",
-  "gen_hash_rust": "sha256:449ec884c573c27154b3414c3b8f41cc08f1fc690298f246484b233eb54233d9",
+  "gen_hash_rust": "sha256:8305ed16109c9e2fc3a7ae0e5f2a57645b0fdedb854c5103386d779f3392df0a",
   "gen_hash_verilog": "sha256:fbfcfd427747dd7ad81f16b9095875570a98d3f79ac38e98326218deed2bbf67",
   "gen_hash_zig": "sha256:89144fa0a66eb3cb226e41018d3d7300acb54abb28241a5a5313f32410ec61ea",
   "module": "JonesTopologyFilter",
   "ring": 12,
-  "sealed_at": "2026-09-05T03:11:55Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:e4121be453ae25e97dbcd44309f0fa321cb084f3c5054ee0466d635efd01c263",
   "spec_path": "specs/demos/jones_topology_filter.t27"

@@ -1,6 +1,6 @@
 {
   "gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
-  "gen_hash_rust": "sha256:4abb3379bc73d56f926b4605e8a1cc9a97bc4d9979a95549792111aca90ca460",
+  "gen_hash_rust": "sha256:144e88d63aad1d41275fbb5dbfe8a1b1743dc6a69de9174ac9ecef2e9268596b",
   "gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
   "gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
   "module": "proof_trace",

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:1f582327e258f40158a2eb680c2407f1c82be8820933192a9f490c4f025a90ac",
-  "gen_hash_rust": "sha256:4211b138e147d37ea2730b7859240c163395ce0d3d7c49ebc51b1ab6264670c9",
+  "gen_hash_rust": "sha256:0477e0a174d2a499500d8056368599306c99e844aa18f235feca75a5be85a335",
   "gen_hash_verilog": "sha256:1787306b5e73d8b8367bf0a45cc55a92e126dc5e403e44a5289007c43a676108",
   "gen_hash_zig": "sha256:65e27a6927d244586c6f1abc58f5b0c3feda0c60412f493cd6167badcf23162a",
   "module": "JonesPolynomial",
   "ring": 12,
-  "sealed_at": "2026-09-05T11:22:00Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:cc960e5ccb68352c21b7479e7f775cc698d4a8fec103c05683cc962e5107b86a",
   "spec_path": "specs/vsa/jones_polynomial.t27"

@@ -1,11 +1,11 @@
 {
   "gen_hash_c": "sha256:bd24a15fa13302e4291cd3009623c075bc795ca18cf88b868518432878fbc2a8",
-  "gen_hash_rust": "sha256:8ab1d7b95331e079dcfa5921c708dd596e68b5c9e707b1e1cb28df38f1dfe8e4",
+  "gen_hash_rust": "sha256:4bd6783f841c5233759b1f94c6c24b54869eb0a33035d86a35cbababd7d50efa",
   "gen_hash_verilog": "sha256:e4be62c8876102e115ae4bdc392a5964f5d625d0b54f99f85269d76a7669745f",
   "gen_hash_zig": "sha256:76a69b1eb4bafb6ef02fe67164eaa0ae06084f636c883a2d4d4d39a6590d74b8",
   "module": "VSAOps",
   "ring": 12,
-  "sealed_at": "2026-09-05T03:46:00Z",
+  "sealed_at": "2026-09-06T04:00:50Z",
   "sealed_by": "t27c-bootstrap@0.2.0",
   "spec_hash": "sha256:5f8f1e6257d4daea69a8f492f77f0531aff8d1ca955882b6bcab3d1fccbb6604",
   "spec_path": "specs/vsa/ops.t27"

@@ -24158,6 +24158,14 @@ impl RustCodegen {
                             }
                         } else {
                             let val = self.expr_to_rust(&child.children[0]);
+                            // Same question, second copy of the same logic. See
+                            // `is_undefined_init`: a fix applied to one of these two is
+                            // not applied.
+                            let val = if Self::is_vec_from_array_literal(&typ, &child.children) {
+                                format!("vec!{val}")
+                            } else {
+                                val
+                            };
                             if child.extra_type.is_empty() {
                                 self.write_line(&format!("{} {} = {};", kw, var_name, val));
                             } else {
@@ -24307,6 +24315,25 @@ impl RustCodegen {
         self.blank_line();
     }
 
+    /// Does this local declare a `Vec` and initialise it with an array literal?
+    ///
+    /// `var xs : []u32 = [];` maps its TYPE to `Vec<u32>` and emits its VALUE as `[]`,
+    /// so rustc reads `expected `Vec<u32>`, found `[_; 0]``. Nine of the twenty
+    /// `mismatched types` first-errors in the corpus are this pair, and `[]` where a
+    /// `Vec` is declared is the only one of them with a single unambiguous answer.
+    ///
+    /// `expr_to_rust` already renders the literal as `[a, b]`, so the whole repair is the
+    /// three characters in front of it. Only the LOCAL is touched here: `return []` in a
+    /// `Vec`-returning function and `pub const N: Vec<u32> = [...]` are the same pair in
+    /// two other positions, and the const one has no answer at all -- a `Vec` cannot be a
+    /// constant in Rust, which makes it a question about the type mapping rather than
+    /// about this line.
+    fn is_vec_from_array_literal(rust_type: &str, children: &[Node]) -> bool {
+        rust_type.starts_with("Vec<")
+            && children.len() == 1
+            && children[0].kind == NodeKind::ExprArrayLiteral
+    }
+
     /// Is this local's initialiser the single word `undefined`?
     ///
     /// Zig's word for "not initialised yet". It reached rustc as an identifier --
@@ -24365,6 +24392,11 @@ impl RustCodegen {
                     }
                 } else {
                     let val = self.expr_to_rust(&stmt.children[0]);
+                    let val = if Self::is_vec_from_array_literal(&typ, &stmt.children) {
+                        format!("vec!{val}")
+                    } else {
+                        val
+                    };
                     if stmt.extra_type.is_empty() {
                         self.write_line(&format!("{} {} = {};", kw, stmt.name, val));
                     } else {

@@ -1 +1 @@
-8c144e6dfce927e3fc8c7c0087c25ce2628be0bc7cf78f6db072f303fb459658 bootstrap/src/compiler.rs
+824bbbc7859f566d3a0d10f7efeaa382602008e77fea2735ebedbd94e172becd bootstrap/src/compiler.rs
@@ -0,0 +1,26 @@
+# NOW -- Why three correct fixes moved the column by zero (2026-09-06)
+
+## Why three correct fixes moved the column by zero (Refs #3349)
+
+- Three emitter repairs measured +0 on the Rust column while demonstrably correcting the
+  emission. The reason is structural and had never been measured.
+- Real rustc errors per failing spec, over 243: **55 carry exactly one**, 38 carry two,
+  150 carry three or more. Median 4.
+- A fix flips a spec to OK only when it closes that spec's LAST error. Targeting the
+  largest first-error class is therefore the wrong rule -- the big classes are spread
+  across specs that each carry several more defects.
+- The right target is the class that is the SOLE error in one of the 55:
+  `expected one of ...` 7, `cannot find type` 7, `mismatched types` 5,
+  `expected type, found keyword` 5, `use of moved value` 3.
+- The count had to be taken twice. `grep -cE '^error'` also matches
+  `error: aborting due to N previous errors`, which inflates every bucket by one and
+  turns "55 specs with one error" into "zero specs with one error" -- the exact opposite
+  conclusion, and the one I wrote down first.
+- The three +0 fixes were not wasted: each removed one error from specs carrying several,
+  which is how a spec reaches the one-error bucket at all.
+- Shipped alongside: `[]` where a `Vec` is declared becomes `vec![]`. Nine of the
+  twenty `mismatched types` first-errors are that pair; this closes the LOCAL position,
+  which is the only one of its three positions with an unambiguous answer. `return []`
+  and `pub const N: Vec<u32> = [...]` are the other two, and a `Vec` cannot be a
+  constant in Rust at all -- that one is a question about the type mapping.
+- Measured: 338 both sides, zero regressions, first error moved on 1 of 14.
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		8c144e6dfce927e3fc8c7c0087c25ce2628be0bc7cf78f6db072f303fb459658 bootstrap/src/compiler.rs
		824bbbc7859f566d3a0d10f7efeaa382602008e77fea2735ebedbd94e172becd bootstrap/src/compiler.rs