fix: 修复 ESLint any 类型错误和属性测试生成器问题

- 添加 StepType 类型导入，移除 as any 类型断言
- 修复 arbitrarySingleLanguageMapping 生成器，确保 primaryLine 在 lines 数组中

Author: CC11001100

src/types/codeMapping.test.ts

@@ -7,7 +7,7 @@
 import { describe, it, expect } from 'vitest';
 import * as fc from 'fast-check';
 import type { Language } from './index';
-import type { StepId } from './animationStep';
+import type { StepId, StepType } from './animationStep';
 import {
   type MultiLanguageCodeLines,
   type SingleLanguageMapping,
@@ -29,13 +29,17 @@ const arbitraryCodeLines = fc.array(arbitraryLineNumber, { minLength: 1, maxLeng
   .map(lines => [...new Set(lines)].sort((a, b) => a - b));
 
 // 生成器：单语言映射
-const arbitrarySingleLanguageMapping: fc.Arbitrary<SingleLanguageMapping> = fc.record({
-  lines: arbitraryCodeLines,
-  primaryLine: fc.option(arbitraryLineNumber, { nil: undefined }),
-}).map(({ lines, primaryLine }) => ({
-  lines,
-  primaryLine: primaryLine ?? lines[0],
-}));
+const arbitrarySingleLanguageMapping: fc.Arbitrary<SingleLanguageMapping> = arbitraryCodeLines
+  .chain(lines => 
+    fc.record({
+      lines: fc.constant(lines),
+      primaryLine: fc.option(fc.constantFrom(...lines), { nil: undefined }),
+    })
+  )
+  .map(({ lines, primaryLine }) => ({
+    lines,
+    primaryLine: primaryLine ?? lines[0],
+  }));
 
 // 生成器：步骤 ID
 const arbitraryStepId: fc.Arbitrary<StepId> = fc.stringMatching(/^[a-z_]+_\d+(_[a-z_]+)?$/);
@@ -243,13 +247,13 @@ describe('Code Line Mapping Properties', () => {
       fc.assert(
         fc.property(
           arbitraryStepId,
-          fc.constantFrom('init', 'compute_cell', 'complete'),
+          fc.constantFrom<StepType>('init', 'compute_cell', 'complete'),
           fc.string({ minLength: 1, maxLength: 100 }),
           arbitraryMultiLanguageCodeLines,
           (stepId, stepType, description, codeLines) => {
             const mapping = createStepCodeMapping(
               stepId,
-              stepType as any,
+              stepType,
               description,
               codeLines
             );