テンポリウム

第3章：M1：時間存在条件

3-1. 概要

M1は、時間旅行の前提となる「移動先の時間が存在するか」を判定するモジュールである。

Ver.1.0では過去・未来の存在を暗黙の前提としているが、本モジュールを適用することで、その前提自体を検証対象に含めることができる。

3-2. 適用による変化

3-3. カテゴリ構成

3-4. 用語定義

3-5. 哲学的立場との対応

3-6. 判定結果と後続処理

3-7. 判定フロー

flowchart TD
    START[時間旅行の検討開始] --> Q0{移動したい方向は?}
    
    Q0 -->|過去| Q1P{過去時間は存在するか?}
    Q0 -->|未来| Q1F{未来時間は存在するか?}
    
    Q1P -->|存在する| P_EXIST[過去時間存在]
    Q1P -->|存在しない| P_ABSENT[過去時間不在]
    Q1P -->|不明| P_UNKNOWN[時間存在不明]
    
    Q1F -->|存在する| F_EXIST[未来時間存在]
    Q1F -->|存在しない| F_ABSENT[未来時間不在]
    Q1F -->|不明| F_UNKNOWN[時間存在不明]
    
    P_EXIST --> DIR_P[移動方向：過去移動]
    F_EXIST --> DIR_F[移動方向：未来移動]
    
    P_ABSENT --> END_FAIL1[移動不能：検証終了]
    F_ABSENT --> END_FAIL2[移動不能：検証終了]
    P_UNKNOWN --> END_UNK1[検証不能：検証終了]
    F_UNKNOWN --> END_UNK2[検証不能：検証終了]
    
    DIR_P --> NEXT[第1層へ進む]
    DIR_F --> NEXT

3-8. Ver.1.0との互換性

3-9. 適用時の注意事項