docs: trace D05 facility and emergency-stop scope

2026-10-13 03:07:22 +09:00
parent 67d37c3e0b
commit 149c302234
3 changed files with 2581 additions and 1 deletions
@@ -38,3 +38,13 @@ B（交代先行案）: 18:00の勤務終了と出勤解除を施設完了判定
 4. 独立した読取専用レビューを受け、未承認差異と影響を揃えてオーナーへ選択を提示する。
 P04-01修正2/2は維持し、第3repair/再登録を始めない。現在のalways-fail preflightを完成受入gateとして採用しない。原規約の決定後も、生証拠・意味的来歴結合・全coverage・正式独立レビュー・統合が必要であり、規約承認だけで成果を完了にしない。
 ## 追加静的照合（現ソースの観測、未受入）
 scope-audit.jsonに全施設定義と現default/明示値の区別を保存した。数値を承認値に格上げしていない。定義存在を通常登録・稼働・完成素材の証明としない。重複プロパティは記録だけ行い、この作業で修正しない。
 閉店: FacilityInstance208/212は閉店をstateに反映し、can_start_service243はOPEN/DEGRADEDだけを開始可能にする。一方FacilityService853の開始済サービス準備には、閉店単独を理由にpauseする分岐がない。開始済は破壊/関連施設/電力/人員の条件で止まる。継続案Aと近い現動作であるが、全定義の通常動作を試験した結果ではない。
 EV: ElevatorService287以降の停止は安全な降車先の有無で分岐する。降車先ありなら乗車中人物をemergency arrivalとしてそこへ返し、未乗車要求は取消。降車先なしなら乗車中は車内保持し待機要求を取消する。これを原本の承認済み安全規則とはしない。判断候補は「現安全降車分岐を保持」と「停電時は常に車内保持」の比較になり、乗客/救護同伴/搬送荷物への反映を確認する必要がある。枯渇時全館停止に安全降車例外を許すかは未承認の論点である。
 00:00: OperationsCoordinator1125のpayloadは終了期間をend-exclusive、日別精算IDをdaily-close:<day>とする。TIME_BOUNDARIESが施設完了より先なのは現在の順序であり、帳簿帰属の全producer適合を証明していない。
@@ -22,5 +22,7 @@
    "packages": 30,
    "delivery_units": 88,
    "completed": 9
-  }
+  },
  "scope_audit_sha256": "a218444238e7cb8f264e6055e80b28ffa17f42c423ec75908b92ab10d605dace",
  "definition_count_observed": 37
 }