Main repair: two new annotation parse refusals blocking the floor for every lane

dag/gunbc/machine_intake/mtcollins1_boot_authorization.dag

@@ -22,6 +22,11 @@ import extdeps.bmc.ipmi_boot_selection {
 }
 import extdeps.toolchain.types { architecture_diagnostic_name }
 
+// THE GATE IS THE SHARED ONE. The operator's decision over this subject is read through
+// gunbc.auth.approval_gate, generic over the subject: ApprovalGate<MtCollins1BootSubject> and
+// approval_gate_from_poll, admitted live at the observed instant. Nothing about the gate is a fact
+// about Mt. Collins, so nothing about it is declared here.
+//
 type MtCollins1BootSubject {
   machine: NonEmptyStr
   bmc_host: NonEmptyStr
@@ -184,10 +189,3 @@ fn mtcollins1_boot_authorization_request(
     destructive: true,
   }
 }
-
-// THE GATE IS THE SHARED ONE. The operator's decision over this subject is read through
-// gunbc.auth.approval_gate, generic over the subject: ApprovalGate<MtCollins1BootSubject> and
-// approval_gate_from_poll, admitted live at the observed instant. Nothing about the gate is a fact
-// about Mt. Collins, so nothing about it is declared here.
-
-

dag/test/claim/deepseek/deepseek_v4_1_flash_authority_witness_test.dag

@@ -223,6 +223,9 @@ test fn dsml_block_name_is_the_encoder_leading_space_not_v4_tool_calls() -> Bool
 // (duplicate AND absent, named); a foreign path refuses; and the admitted canonical text is
 // order-free -- the same rows reversed key identically -- while a path, a size or a digest that
 // changes changes it.
+// THE INDEX JOIN HAS ITS OWN RED: the same 48 files against an index whose weight_map names one
+// shard fewer, and against one naming a 49th, refuse on the index arm alone.
+// rows 3 and 4 have the same size: drop row 4 and repeat row 3 -- count 48, total unchanged.
 test fn the_weight_manifest_admits_exactly_the_48_shards_and_refuses_a_same_size_duplicate() -> Bool {
   let rows = deepseek_v4_1_flash_weight_manifest
   let admitted = match deepseek_v4_1_flash_weight_manifest_standing() {
@@ -236,7 +239,6 @@ test fn the_weight_manifest_admits_exactly_the_48_shards_and_refuses_a_same_size
   }
   let owners = (match deepseek_v4_1_flash_published_file(path: deepseek_v4_1_flash_engram_shard_1.file.path) { Present { value: f } => (f.sha256.hex as String) == (deepseek_v4_1_flash_engram_shard_1.sha256.hex as String)  Absent => false })
     && (match deepseek_v4_1_flash_published_file(path: deepseek_v4_1_flash_engram_shard_14.file.path) { Present { value: f } => (f.sha256.hex as String) == (deepseek_v4_1_flash_engram_shard_14.sha256.hex as String)  Absent => false })
-  // rows 3 and 4 have the same size: drop row 4 and repeat row 3 -- count 48, total unchanged.
   let row3 = rows |> skip(n: 2) |> take(n: 1)
   let swapped = concat(rows |> take(n: 3), concat(row3, rows |> skip(n: 4)))
   let same_size_duplicate = match deepseek_v4_1_flash_admit_weight_manifest(rows: swapped, index: deepseek_v4_1_flash_index_reading, shard_count: deepseek_v4_1_flash_safetensors_shard_count, tree_bytes: deepseek_v4_1_flash_safetensors_tree_file_bytes) {
@@ -247,8 +249,6 @@ test fn the_weight_manifest_admits_exactly_the_48_shards_and_refuses_a_same_size
     WeightManifestRefused { defects: d } => any(d, x => (x as String).contains("outside the generated shard set: model-00049"))
     WeightManifestAdmitted { files: _, index: _, canonical_text: _ } => false
   }
-  // THE INDEX JOIN HAS ITS OWN RED: the same 48 files against an index whose weight_map names one
-  // shard fewer, and against one naming a 49th, refuse on the index arm alone.
   let index_short = deepseek_v4_1_flash_index_reading_of(file: deepseek_v4_1_flash_safetensors_index_file, shard_paths: deepseek_v4_1_flash_index_reading.shard_paths |> take(n: 47))
   let index_wide = deepseek_v4_1_flash_index_reading_of(file: deepseek_v4_1_flash_safetensors_index_file, shard_paths: concat(deepseek_v4_1_flash_index_reading.shard_paths, ["model-00049-of-00048.safetensors" as NonEmptyStr]))
   let index_refuses = (match deepseek_v4_1_flash_admit_weight_manifest(rows: rows, index: index_short, shard_count: deepseek_v4_1_flash_safetensors_shard_count, tree_bytes: deepseek_v4_1_flash_safetensors_tree_file_bytes) { WeightManifestRefused { defects: d } => length(d) == 1 && any(d, x => (x as String).contains("weight_map shard population"))  _ => false })