INDUSTRY / AGRICULTURE
Food & agriculture
温度管理と製品追跡を維持する
Assets: 温度監視・ロット管理・配送連携
A/B/C are specifications in one workflow family. Durations are planned budgets, not measured completion times.
A · 競技型・証拠分析 · 30 min planned budget
温度ログ欠落と真の逸脱を区別する
架空の食品・農業組織で温度ログ欠落と真の逸脱を区別する。温度監視・ロット管理・配送連携の合成snapshotを使用。温度管理と製品追跡を維持する。
Outputs and checks
- 根拠event IDの正確性
- 正常対照の維持
- 未観測事項を断定しない
Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例
family: agriculture-workflow-v1 · grader: not-implemented
GitHub ↗B · 業界シナリオ・修復 · 120 min planned budget
センサー更新と配送署名の信頼境界を修復する
架空の食品・農業組織でセンサー更新と配送署名の信頼境界を修復する。温度監視・ロット管理・配送連携の合成snapshotを使用。温度管理と製品追跡を維持する。
Outputs and checks
- security test通過
- 正規業務test通過
- 過大権限を追加しない
Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例
family: agriculture-workflow-v1 · grader: not-implemented
GitHub ↗C · 運用型・継続復旧 · 240 min planned budget
収穫・配送障害の影響ロットを隔離する
架空の食品・農業組織で収穫・配送障害の影響ロットを隔離する。温度監視・ロット管理・配送連携の合成snapshotを使用。温度管理と製品追跡を維持する。
Outputs and checks
- 事前設定SLO/RTO/RPOを満たす
- 証拠保全
- 誤検知上限内
- 残余リスクと引継ぎ
Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例
family: agriculture-workflow-v1 · grader: not-implemented
GitHub ↗