14.1 属性测试与不变量

// file: core/test/ne_14_1_property.test.ts
// tier: P
// verify: node --test 'core/test/ne_14_1_property.test.ts'
// 14.1 属性测试与不变量：六条属性 + 六个必须 fail 的注入式负例。
// 正例断言真实规格全过；负例断言检查器真的会开火（不是永远返回 0 的摆设）。
import test from "node:test";
import assert from "node:assert/strict";
import { readFileSync } from "node:fs";
import { join, dirname } from "node:path";
import { fileURLToPath } from "node:url";

import type { Spec } from "../src/inkwell/engine.ts";
import {
  checkProperties,
  rangeViolations,
  idempotencyViolations,
  nonIdempotentChoices,
  addChangedCount,
  staticDeadEnds,
  reachableEndings,
  outOfRangeAffinity,
  injectAdd,
  zeroAdd,
  dropChoices,
  muteNode,
  muteChoice,
} from "../src/inkwell/ne_14_1_property.ts";

const HERE = dirname(fileURLToPath(import.meta.url));
const spec = JSON.parse(readFileSync(join(HERE, "../../config/story_spec.json"), "utf8")) as Spec;
const SEED = 20261016;
const N = 2000;

test("属性① 好感度恒 ∈ [0,100] 整数：采样 2000 条路径越界 0", () => {
  const r = checkProperties(spec, N, SEED);
  assert.ok(r.states > 0);
  assert.equal(r.affinityViolations, 0);
  console.log(`① 好感度 ∈ [0,100]：扫描 ${r.states} 个状态，越界 ${r.affinityViolations}`);
});

test("负例① 注入越界状态 yan=150：rangeViolations 必须报出 1", () => {
  const aff = outOfRangeAffinity(spec, "yan", 150);
  assert.equal(rangeViolations(aff, spec.state.vars), 1);
});

test("属性② set/grant/revoke 幂等：49 条违例 0", () => {
  const r = checkProperties(spec, N, SEED);
  assert.equal(r.setIdempotentTotal, 49);
  assert.equal(r.setIdempotentViolations, 0);
});

test("负例② 给 c_pier_1a 注入 add.yan=5：原始幂等判定必须报出它，而真实规格报 66 条", () => {
  const bad = injectAdd(spec, "c_pier_1a", "yan", 5);
  assert.ok(nonIdempotentChoices(bad).includes("c_pier_1a"));
  const real = nonIdempotentChoices(spec);
  assert.equal(real.length, 66, "真实规格非幂等的恰是 66 条 add 类选项");
  assert.ok(!real.includes("c_pier_1a"), "真实规格下 c_pier_1a 是幂等的 set 类选项");
});

test("属性③ add 故意不幂等：66 条含 add 的选项重复应用全部改变", () => {
  const r = checkProperties(spec, N, SEED);
  assert.equal(r.addTotal, 66);
  assert.equal(r.addChanged, 66);
});

test("负例③ 把某选项的 add 改成 0：它不再改变，属性③必须 fail", () => {
  const r = addChangedCount(zeroAdd(spec, "c_pier_1b"));
  assert.equal(r.total, 66);
  assert.equal(r.changed, 65, "注入 add=0 后应恰有一条不再改变");
});

test("属性④ 静态死路 0 个", () => {
  const r = checkProperties(spec, N, SEED);
  assert.deepEqual(r.staticDeadEnds, []);
});

test("负例④ 抽掉 d_pier_2 的全部出边：静态死路检测必须报出 d_pier_2", () => {
  assert.deepEqual(staticDeadEnds(dropChoices(spec, "d_pier_2")), ["d_pier_2"]);
});

test("属性⑤ 5 个结局全部可达", () => {
  const r = checkProperties(spec, N, SEED);
  assert.equal(r.reachableEndings.length, 5);
  assert.deepEqual(r.missingEndings, []);
});

test("负例⑤ 把通往 e_lit 的唯一选项 c_dq_2a 改成恒假：灯守结局不可达", () => {
  const reached = reachableEndings(muteChoice(spec, "c_dq_2a"), N, SEED);
  assert.equal(reached.length, 4);
  assert.ok(!reached.includes("灯守"));
});

test("属性⑥ 每可达状态至少 1 个可用选项：最小可用选项数 >= 1", () => {
  const r = checkProperties(spec, N, SEED);
  assert.ok(r.minAvailableOptions >= 1);
  assert.equal(r.zeroOptionStates, 0);
  console.log(`⑥ 每状态可用选项最小 ${r.minAvailableOptions}，零选项状态 ${r.zeroOptionStates}`);
});

test("负例⑥ 把 d_dq_1 全部选项改成恒假：最小可用选项落到 0", () => {
  const r = checkProperties(muteNode(spec, "d_dq_1"), N, SEED);
  assert.equal(r.minAvailableOptions, 0);
  assert.ok(r.zeroOptionStates > 0);
});

① 好感度 ∈ [0,100]：扫描 52840 个状态，越界 0
⑥ 每状态可用选项最小 1，零选项状态 0
✔ 属性① 好感度恒 ∈ [0,100] 整数：采样 2000 条路径越界 0 (64.342667ms)
✔ 负例① 注入越界状态 yan=150：rangeViolations 必须报出 1 (0.121042ms)
✔ 属性② set/grant/revoke 幂等：49 条违例 0 (54.818417ms)
✔ 负例② 给 c_pier_1a 注入 add.yan=5：原始幂等判定必须报出它，而真实规格报 66 条 (1.269458ms)
✔ 属性③ add 故意不幂等：66 条含 add 的选项重复应用全部改变 (62.024417ms)
✔ 负例③ 把某选项的 add 改成 0：它不再改变，属性③必须 fail (0.656167ms)
✔ 属性④ 静态死路 0 个 (59.056167ms)
✔ 负例④ 抽掉 d_pier_2 的全部出边：静态死路检测必须报出 d_pier_2 (0.4325ms)
✔ 属性⑤ 5 个结局全部可达 (54.661417ms)
✔ 负例⑤ 把通往 e_lit 的唯一选项 c_dq_2a 改成恒假：灯守结局不可达 (50.675667ms)
✔ 属性⑥ 每可达状态至少 1 个可用选项：最小可用选项数 >= 1 (60.879ms)
✔ 负例⑥ 把 d_dq_1 全部选项改成恒假：最小可用选项落到 0 (51.182375ms)
ℹ tests 12
ℹ suites 0
ℹ pass 12
ℹ fail 0
ℹ cancelled 0
ℹ skipped 0
ℹ todo 0
ℹ duration_ms 598.356875