7.3 X：笔触质量

{
  "version": 1,
  "project": "stardust-inn",
  "tier": "X",
  "note": "笔触质量验收声明表（第 7 章 7.3，X 层）。笔触质量（起收笔过渡、笔触方向、堆叠秩序、边缘处理、色域统一、缩尺可读性）只能由真实画师在真实环境里判断，命令行不可复现。本表把这些验收项写成可静态校验的声明：每条只允许 evidence=\"requires-real-env\"，且**禁止携带任何测量值字段**（measuredValue / metricValue / score / confidence）——一旦出现，就说明有人给不可复现的东西编了一个数字。",
  "allowedEvidence": ["requires-real-env"],
  "forbiddenFields": ["measuredValue", "metricValue", "score", "confidence"],
  "claims": [
    { "id": "cl_taper", "criterion": "起笔与收笔的粗细过渡是否自然", "judge": "画师主观评审", "evidence": "requires-real-env" },
    { "id": "cl_direction", "criterion": "笔触方向是否跟随形体转折", "judge": "画师主观评审", "evidence": "requires-real-env" },
    { "id": "cl_stack-order", "criterion": "暗部 / 亮部 / 纹理的堆叠秩序是否成立", "judge": "主美评审", "evidence": "requires-real-env" },
    { "id": "cl_edge", "criterion": "边缘处理是否与厚涂笔触一致", "judge": "画师主观评审", "evidence": "requires-real-env" },
    { "id": "cl_palette-unity", "criterion": "整幅手绘贴图的色域是否统一", "judge": "美术总监评审", "evidence": "requires-real-env" },
    { "id": "cl_readability", "criterion": "缩到游戏尺寸后剪影与明暗是否仍可读", "judge": "主美评审", "evidence": "requires-real-env" }
  ]
}

// file: core/src/st07/stroke_claim.ts
// tier: P
// verify: node --test 'core/test/st07_*.test.ts'
// 笔触质量声明表的静态校验内核（P 层）。它**不评价笔触**，只做一件事：把「不可复现的
// 验收项」写成会失败的门禁——任何一条声明若声称可命令行复现（evidence 不是
// requires-real-env），或携带任何「测量值」字段（measuredValue / score…），即判违规。
// 这正是本套「不假装能真画」的纪律：不是留白，而是把留白本身编码成断言。
// 只允许可擦除 TS 语法（禁 enum / namespace / 参数属性 / 装饰器）。

export type Claim = { id: string; criterion: string; judge: string; evidence: string };
export type ClaimSpec = {
  allowedEvidence: string[];
  forbiddenFields: string[];
  claims: (Claim & Record<string, unknown>)[];
};

export type ClaimReport = {
  claimCount: number;
  violations: string[];
  inventedCount: number;
  realEnvCount: number;
  pass: boolean;
};

const ID_PATTERN = /^cl_[a-z][a-z0-9-]*$/;

/** 校验整张声明表：结构 + 诚实性。 */
export function validateClaims(spec: ClaimSpec): ClaimReport {
  const violations: string[] = [];
  let inventedCount = 0;
  let realEnvCount = 0;
  for (const c of spec.claims) {
    if (!ID_PATTERN.test(String(c.id))) violations.push(`${c.id}: id 不合文法`);
    if (!c.criterion) violations.push(`${c.id}: 缺验收描述`);
    if (!c.judge) violations.push(`${c.id}: 缺评审角色`);
    if (!spec.allowedEvidence.includes(String(c.evidence))) {
      violations.push(`${c.id}: evidence=${c.evidence} 越界，仅允许 ${spec.allowedEvidence.join("/")}`);
    } else {
      realEnvCount += 1;
    }
    for (const f of spec.forbiddenFields) {
      if (f in c) {
        violations.push(`${c.id}: 出现被禁字段 ${f}`);
        inventedCount += 1;
      }
    }
  }
  return { claimCount: spec.claims.length, violations, inventedCount, realEnvCount,
    pass: violations.length === 0 && inventedCount === 0 };
}

// file: core/test/st07_stroke_claim.test.ts
// tier: P
// verify: node --test 'core/test/st07_*.test.ts'
// 笔触质量声明表的断言：基线 6 条声明全部标 requires-real-env、零违例、零编造；
// 负例：声称可命令行复现、携带测量值字段、id 不合文法，都必须被判出来。
// 这层校验不产生任何笔触数字——它只保证「没有人给不可复现的东西编数字」。
import test from "node:test";
import assert from "node:assert/strict";
import { readFileSync } from "node:fs";
import { createHash } from "node:crypto";
import { dirname, resolve } from "node:path";
import { fileURLToPath } from "node:url";
import { validateClaims } from "../src/st07/stroke_claim.ts";
import type { ClaimSpec } from "../src/st07/stroke_claim.ts";

const ROOT = resolve(dirname(fileURLToPath(import.meta.url)), "../..");
const spec = JSON.parse(readFileSync(resolve(ROOT, "config/st07_stroke_claims.json"), "utf8")) as ClaimSpec;
const sha16 = (s: string): string => createHash("sha256").update(s, "utf8").digest("hex").slice(0, 16);

test("基线：6 条声明全部标 requires-real-env，零违例、零编造", () => {
  const r = validateClaims(spec);
  assert.equal(r.claimCount, 6);
  assert.deepEqual(r.violations, []);
  assert.equal(r.inventedCount, 0);
  assert.equal(r.realEnvCount, 6);
  assert.equal(r.pass, true);
});

test("负例：声称可命令行复现（evidence=cli）必须被判违规", () => {
  const bad: ClaimSpec = { ...spec,
    claims: [{ ...spec.claims[0], evidence: "cli" }] };
  const r = validateClaims(bad);
  assert.equal(r.pass, false);
  assert.ok(r.violations.some((e) => /evidence=cli/.test(e)));
  assert.equal(r.realEnvCount, 0);
});

test("负例：给不可复现的项编一个测量值，必须被拦下", () => {
  const bad: ClaimSpec = { ...spec,
    claims: [{ ...spec.claims[0], measuredValue: 0.87 } as ClaimSpec["claims"][number]] };
  const r = validateClaims(bad);
  assert.equal(r.inventedCount, 1);
  assert.ok(r.violations.some((e) => /被禁字段 measuredValue/.test(e)));
  assert.equal(r.pass, false);
});

test("负例：id 不合文法、缺评审角色都要被抓", () => {
  const bad: ClaimSpec = { ...spec,
    claims: [{ ...spec.claims[0], id: "claim_bad", judge: "" }] };
  const r = validateClaims(bad);
  assert.ok(r.violations.some((e) => /id 不合文法/.test(e)));
  assert.ok(r.violations.some((e) => /缺评审角色/.test(e)));
});

test("P 层摘要（digest）：本卷无 S 层，故只有诚实性自洽摘要", () => {
  const r = validateClaims(spec);
  const canon = JSON.stringify({ claimCount: r.claimCount, realEnvCount: r.realEnvCount,
    inventedCount: r.inventedCount, pass: r.pass });
  assert.equal(sha16(canon), "0432e4ba8f99b1a6");
  console.log(`st07 stroke/claim digest = ${sha16(canon)}`);
});

st07 stroke/claim digest = 0432e4ba8f99b1a6
✔ 基线：6 条声明全部标 requires-real-env，零违例、零编造 (0.852417ms)
✔ 负例：声称可命令行复现（evidence=cli）必须被判违规 (0.132292ms)
✔ 负例：给不可复现的项编一个测量值，必须被拦下 (0.083083ms)
✔ 负例：id 不合文法、缺评审角色都要被抓 (0.07875ms)
✔ P 层摘要（digest）：本卷无 S 层，故只有诚实性自洽摘要 (0.663833ms)
ℹ tests 5
ℹ pass 5
ℹ fail 0