test(lint): hoist the batch-7 compile-time pins to exported types

The re-homed test compiled under the ui tsconfig, which does not set
noUnusedLocals. packages/lint's tsconfig.test.json does, so the seven
function-local `type _X = Assert<...>` pins read as unused (TS6196) and
check:test-typecheck refused the file. Exported at module level they are
used, and each still bites: flipping one expectation fails with TS2344.

Claude-Session: https://claude.ai/code/session_01Xe3LjBvLrRVA6dmFUEGskm
Co-authored-by: Claude <noreply@anthropic.com>

Author: claude

packages/lint/src/sdui-spec-symbol-batch7.test.ts

@@ -49,22 +49,17 @@ type Extends<A, B> = [A] extends [B] ? true : false;
 type IsAny<T> = 0 extends 1 & T ? true : false;
 type HasKey<T, K extends string> = K extends keyof T ? true : false;
 
-describe('the spec ValidationResults are plugin-manifest results, this one is not', () => {
-  it('is pinned at compile time', () => {
-    // Load-bearing imports: the day the spec retires either name, this file
-    // stops compiling and the convention can be revisited.
-    type _KernelIsReal = Assert<Equal<IsAny<SpecKernelValidationResult>, false>>;
-    type _ContractsIsReal = Assert<Equal<IsAny<SpecContractsValidationResult>, false>>;
+// Load-bearing imports: the day the spec retires either name, this file stops
+// compiling and the convention can be revisited. Exported so the strict
+// `noUnusedLocals` of tsconfig.test.json reads them as used.
+export type _KernelIsReal = Assert<Equal<IsAny<SpecKernelValidationResult>, false>>;
+export type _ContractsIsReal = Assert<Equal<IsAny<SpecContractsValidationResult>, false>>;
 
-    type _SpecCarriesAValidFlag = Assert<HasKey<SpecKernelValidationResult, 'valid'>>;
-    type _ThisOneDoesNot = Assert<Equal<HasKey<ManifestValidationResult, 'valid'>, false>>;
-    type _ThisOneCarriesRequires = Assert<HasKey<ManifestValidationResult, 'requires'>>;
+export type _SpecCarriesAValidFlag = Assert<HasKey<SpecKernelValidationResult, 'valid'>>;
+export type _ThisOneDoesNot = Assert<Equal<HasKey<ManifestValidationResult, 'valid'>, false>>;
+export type _ThisOneCarriesRequires = Assert<HasKey<ManifestValidationResult, 'requires'>>;
 
-    // Not assignable in either direction — sharing the name was never a
-    // narrowing or a widening, it was two subjects under one word.
-    type _NotAssignable = Assert<Equal<Extends<ManifestValidationResult, SpecKernelValidationResult>, false>>;
-    type _NorTheOtherWay = Assert<Equal<Extends<SpecKernelValidationResult, ManifestValidationResult>, false>>;
-
-    expect(true).toBe(true);
-  });
-});
+// Not assignable in either direction — sharing the name was never a narrowing
+// or a widening, it was two subjects under one word.
+export type _NotAssignable = Assert<Equal<Extends<ManifestValidationResult, SpecKernelValidationResult>, false>>;
+export type _NorTheOtherWay = Assert<Equal<Extends<SpecKernelValidationResult, ManifestValidationResult>, false>>;