10.3 X：画质

{
  "version": 1,
  "project": "stardust-inn",
  "tier": "X",
  "note": "二次元 / 日式的画质验收声明表（第 10 章 10.3，X 层）。画质（线稿的粗细变化、眼睛高光与瞳孔层次、发丝分组与穿插、赛璐璐阴影边界、上色是否发脏、缩到游戏尺寸后是否可辨识）只能由真实画师在真实环境里判断，命令行不可复现。本表把这些验收项写成可静态校验的声明：每条只允许 evidence=\"requires-real-env\"，且**禁止携带任何测量值字段**（measuredValue / metricValue / score / confidence）——一旦出现，就说明有人给不可复现的东西编了一个数字。",
  "allowedEvidence": ["requires-real-env"],
  "forbiddenFields": ["measuredValue", "metricValue", "score", "confidence"],
  "claims": [
    { "id": "cq_line-taper", "criterion": "线稿的粗细变化是否自然（起收笔、转角加粗）", "judge": "画师主观评审", "evidence": "requires-real-env" },
    { "id": "cq_eye-highlight", "criterion": "眼睛的高光与瞳孔层次是否成立", "judge": "画师主观评审", "evidence": "requires-real-env" },
    { "id": "cq_hair-grouping", "criterion": "发丝的分组与前后穿插是否读得出来", "judge": "主美评审", "evidence": "requires-real-env" },
    { "id": "cq_cel-edge", "criterion": "赛璐璐阴影的边界是否干净、无锯齿与脏边", "judge": "画师主观评审", "evidence": "requires-real-env" },
    { "id": "cq_color-dirty", "criterion": "上色是否发脏（中间调是否被压成灰）", "judge": "美术总监评审", "evidence": "requires-real-env" },
    { "id": "cq_small-size-read", "criterion": "缩到游戏实际尺寸后角色剪影与表情是否仍可辨识", "judge": "主美评审", "evidence": "requires-real-env" }
  ]
}

// file: core/src/st10/quality_claim.ts
// tier: P
// verify: node --test 'core/test/st10_*.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 = /^cq_[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/st10_quality_claim.test.ts
// tier: P
// verify: node --test 'core/test/st10_*.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/st10/quality_claim.ts";
import type { ClaimSpec } from "../src/st10/quality_claim.ts";

const ROOT = resolve(dirname(fileURLToPath(import.meta.url)), "../..");
const spec = JSON.parse(readFileSync(resolve(ROOT, "config/st10_quality_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, ids: spec.claims.map((c) => c.id),
  });
  assert.equal(sha16(canon), "bdd3af306b5006d9");
  console.log(`st10 quality/claim digest = ${sha16(canon)}`);
});

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