mystery-reasoning-connector v0.1

STEP: 1538 / Test: 43/43 PASS / 姉妹: puzzle-verifier (STEP 1536) / Type: 推理探偵コネクタ (端子/チップ/回路/マシン)

4 component 対応

検証器 uniqueness 4 outcome

必要性検査 (necessity) の骨

for (const f of providedFacts) {
  const trimmed = { ...spec, providedFacts: providedFacts.filter(x => x.id !== f.id) };
  const report = verifyMystery(trimmed);
  if (report.uniqueness.outcome === 'UNIQUE_CORRECT') {
    redundantFactIds.push(f.id);  // この fact なしでも一意 → 冗長
  }
}

各 fact を一つずつ抜いて全体を再検証。 抜いても一意性が保たれる fact は「無くても解ける」 = 冗長。 藤本さん指摘 「余分な手掛かりが無いか」 の機械的判定。

使用例

const suspects = [
  { id: 'A', name: '田中', attributes: { leftHanded: false, mustHaveBeenAt: 'bar', mustHaveBeenTime: 14 } },
  { id: 'B', name: '佐藤', attributes: { leftHanded: true } },
  { id: 'C', name: '木村', attributes: { leftHanded: true, mustHaveBeenAt: 'station', mustHaveBeenTime: 14 } },
];

const spec = {
  suspects,
  providedFacts: [
    { id: 'f1', type: 'person', subject: 'CULPRIT', predicate: 'has_attribute',
      value: { attribute: 'leftHanded', polarity: true } },       // 田中を消去 (右利き)
    { id: 'f2', type: 'record', subject: 'station', predicate: 'captured_at',
      value: { medium: '監視カメラ', captured: 'C', time: 14 } }, // 木村のアリバイ成立
  ],
  expectedCulprit: 'B',
  chips: ['alibi', 'elimination'],
  title: '書斎の事件',
};

const report = verifyMystery(spec);
// report.uniqueness.outcome === 'UNIQUE_CORRECT'
// report.necessity.outcome  === 'ALL_NECESSARY'
// report.wellPosed          === true

console.log(renderNarrative(report));

renderNarrative 出力例

# 書斎の事件

## 事件の初期提示
- 犯人 は 左利きである。
- station の 監視カメラ に 14 時点で C が記録されていた。

## 推理の展開
- 木村 は 14 時に station にいたことが 監視カメラ に映っており、 アリバイが成立し容疑から外れる。
- 犯人は左利きのはずだが、 田中 は該当しないため除外される。

## 結論
犯人は **佐藤** で確定した。
すべての手掛かりが結論に不可欠であり、 冗長な情報は無い。

マシン (backward generator)

const truth = {
  culpritId: 'B',
  time: 14,
  crimeScene: 'study',
  distinguishingAttributes: [{ attribute: 'leftHanded', polarity: true }],
};

const { spec, report, repetitionScore } = generateMystery(
  suspects, truth, ['alibi', 'elimination'],
  { recentChipSets: [['alibi', 'elimination'], ['contradiction', 'timeline']] },
);
// report.wellPosed === true (by construction, iterative trim 適用済み)
// repetitionScore = max Jaccard against recentChipSets → 1.0 (完全一致 = 別 chip set 推奨)

Test 43/43

puzzle-verifier (STEP 1536) との比較

藤本さん warning への応答