[dyn-seq P0a] Drop untested token test-pass arm; pin non-token-await skip

Two test-coverage fixes:

- Removed the verifyTokenBalance call from the aie-test-runtime-bd-liveness
  test pass. It duplicated the emission the real aie-assign-runtime-sequence-bd-ids
  pass already produces, and no test exercised it (all TCT diagnostics are pinned
  through the real pass). The liveness test pass keeps emitting its own remarks.

- Added good-tct-nontoken-await-ignored to pin the load-bearing rule that an
  await of a non-issue_token task does not trip token-balance verification (it is
  governed by the separate per-op check in AIEDMATasksToNPU). This is why every
  pre-existing design stays accepted; the test guards against a future regression
  that would start rejecting them.

Co-Authored-By: Claude <noreply@anthropic.com>

Author: hunhoffe

lib/Dialect/AIEX/Transforms/AIERuntimeBdLiveness.cpp

@@ -622,11 +622,6 @@ struct AIETestRuntimeBdLivenessPass
             << kv.first.first << "," << kv.first.second
             << ") peak=" << kv.second;
     });
-
-    // Token-balance verification (emits an op-error at each offending await /
-    // loop; reported here so FileCheck can pin the diagnostics).
-    getOperation().walk(
-        [&](AIE::RuntimeSequenceOp seq) { (void)verifyTokenBalance(seq); });
   }
 };
 } // namespace

test/bd-chains-and-dma-tasks/assign-runtime-sequence-bd-ids/good-tct-nontoken-await-ignored.mlir

@@ -0,0 +1,39 @@
+//
+// This file is licensed under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+// Copyright (C) 2026 Advanced Micro Devices, Inc.
+
+// RUN: aie-opt --aie-assign-runtime-sequence-bd-ids %s | FileCheck %s
+
+// Token-balance verification reasons only about issue_token tasks. An await of
+// a task that does NOT issue a token produces no `npu.sync` token consume that
+// this check models -- it is governed instead by the separate per-op check in
+// AIEDMATasksToNPU ("cannot wait on a BD not configured to issue a token"). So
+// such an await, even inside a loop with no matching produce, must NOT trip the
+// token-balance "blocks forever" diagnostic. This pins that skip: every
+// pre-existing design (none of which set issue_token) stays accepted. The await
+// here is in a loop with no token-issuing start -- it would be flagged if the
+// non-token skip regressed.
+
+// CHECK-LABEL: @nontoken_await_ignored
+// CHECK-NOT: task-completion token
+module {
+  aie.device(npu2) {
+    %tile_0_0 = aie.tile(0, 0)
+    aie.runtime_sequence @nontoken_await_ignored(%arg0: memref<8xi16>) {
+      %c0 = arith.constant 0 : index
+      %c1 = arith.constant 1 : index
+      %c4 = arith.constant 4 : index
+      scf.for %i = %c0 to %c4 step %c1 {
+        %t = aiex.dma_configure_task(%tile_0_0, MM2S, 0) {
+          aie.dma_bd(%arg0 : memref<8xi16>, 0, 8)
+          aie.end
+        }
+        aiex.dma_start_task(%t)
+        aiex.dma_await_task(%t)
+      }
+    }
+  }
+}