Integrated Proof
統合Capstone
判断、実装、運用、説明、第三者レビューを一つの成果物へ統合します。briefは課題定義であり、表示だけで習得済みを意味しません。
Build · Operate · Explain · Review
多地域の医療予約サービスを設計・運用する
三地域の利用者と医療機関を結ぶ予約サービスを設計する。低帯域・支援技術利用者を含み、同一枠の二重予約を防ぎながら、地域間分断、重複要求、依存遅延、段階配信、incidentを扱う。機能実装だけでは完了せず、制約から設計・実装・運用・説明・第三者reviewまでを同じ証拠で追跡できる状態を目指す課題である。
統合対象: 27 lessons
Build · Operate · Explain · Review
請求legacy systemを止めずに進化させる
八年間運用されたsubscription billing monolithへ、新しい税丸め規則と顧客名schemaを導入する。仕様書だけでは実挙動を説明できず、batch処理、外部税service、手動運用、隠れた並行更新が存在する。big-bang rewriteを行わず、未知を明示したsystem map、characterization test、段階migration、rollback、保守引継ぎまでを証拠で完成させる課題である。
統合対象: 26 lessons
Build · Operate · Explain · Review
アクセシブルな静的レポート生成器をOSSとして公開・運営する
local prototypeを、監査済みJSONからJavaScriptなしの静的HTML・CSSレポートを生成するMIT OSSへ育てる。図はCSSとsemantic HTMLで表現しfile URLでも閲覧できる。公開repository、untrusted input、accessibility、deterministic build、CI、provenance、security response、第三者contribution、maintainer権限、90日roadmapまでを実証する課題である。
統合対象: 23 lessons