🎲 事件を動的生成
engine が backward machine で 犯人と手掛かりを逆算生成し、 verifier gate で well-posed (uniqueness + necessity) を通過した事件のみ出題します。 Jaccard 類似度が閾値超えの場合は 別 chip 組合せに振り直します (「またこのパターンか」 予防)。
まだ生成していません。 「新しい事件を生成する」 を押してください。
—
—
事件の初期提示
容疑者
あなたの推理: 犯人は誰か?
このページは何か: STEP 1538 mystery-reasoning-connector engine を browser 内 (このページ内 script) で走らせ、 検証済み (uniqueness + necessity) の推理事件を出題する playable 教材。 v0.2 (STEP 1545) で 🎲 動的生成 を追加。
engine と検証条件
各事件は engine で verify、 (a) 手掛かりだけで犯人が一意に確定するか (b) 冗長な手掛かりが無いかの 2 条件を通ったものだけ出題。 fair-play (後出しなし) は chip が providedFacts のみを見る pure function 制約で構造的に保証。
v0.2 動的生成の仕組み
backward machine が (i) scenario × attributes × locations から material を pick、 (ii) 犯人 index を選び、 (iii) 各非犯人に uniquely eliminating な attribute / alibi を割当 (overlap ゼロ設計)、 (iv) verifyMystery で well-posed 確認、 通過するまで最大 30 回試行。 anti-repetition は 直近 20 事件の signature (chip set ∪ person attribute set) と Jaccard 比較、 閾値 0.7 超えは別 chip 組合せに振り直し。 pool: 5 scenario × 7 attribute × 6 location。