Lab 17: Fleet Synthesis

Lab 17: Fleet Synthesis · MLSysBook

import%20marimo%0A%0A__generated_with%20%3D%20%220.25.0%22%0Aapp%20%3D%20marimo.App(width%3D%22full%22%2C%20app_title%3D%22Lab%2017%3A%20Fleet%20Synthesis%20%C2%B7%20MLSysBook%22)%0A%0A%0A%40app.cell%0Aasync%20def%20_()%3A%0A%20%20%20%20import%20sys%0A%20%20%20%20from%20pathlib%20import%20Path%0A%20%20%20%20import%20marimo%20as%20mo%0A%0A%20%20%20%20if%20sys.platform%20%3D%3D%20%22emscripten%22%3A%0A%20%20%20%20%20%20%20%20import%20micropip%0A%20%20%20%20%20%20%20%20await%20micropip.install(%5B%22pydantic%22%2C%20%22pint%22%2C%20%22plotly%22%2C%20%22pandas%22%5D%2C%20keep_going%3DFalse)%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22..%2F..%2Fwheels%2Fmlsysim-0.1.2-py3-none-any.whl%22%2C%20keep_going%3DFalse)%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22..%2F..%2Fwheels%2Fmlsysbook_labs-0.1.0-py3-none-any.whl%22%2C%20keep_going%3DFalse)%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20labs_dir%20%3D%20Path(__file__).resolve().parents%5B1%5D%0A%20%20%20%20%20%20%20%20if%20str(labs_dir)%20not%20in%20sys.path%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20sys.path.insert(0%2C%20str(labs_dir))%0A%20%20%20%20%20%20%20%20from%20bootstrap%20import%20native_bootstrap%0A%20%20%20%20%20%20%20%20native_bootstrap(__file__)%0A%0A%20%20%20%20import%20plotly.graph_objects%20as%20go%0A%20%20%20%20from%20mlsysim.engine.v2_17_experiments%20import%20(%0A%20%20%20%20%20%20%20%20REQUIRED_MODELS%2C%20adverse_condition%2C%20apply_patch%2C%20audit_ledger_evidence%2C%0A%20%20%20%20%20%20%20%20compare_equal_budget_repairs%2C%20evaluation_record%2C%20evaluate_configuration%2C%0A%20%20%20%20%20%20%20%20instructor_repair_plans%2C%20instructor_scenario%2C%20instructor_stress%2C%0A%20%20%20%20%20%20%20%20obligation_stress%2C%20record_deployment_decision%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysim.labs.state%20import%20DesignLedger%0A%20%20%20%20from%20mlsysim.labs.style%20import%20COLORS%2C%20LAB_CSS%2C%20apply_plotly_theme%0A%20%20%20%20from%20mlsysbook_labs%20import%20(%0A%20%20%20%20%20%20%20%20ACADEMIC_LAB_CSS%2C%20build_lab_report%2C%20get_lab_metadata%2C%20report_export_panel%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysbook_labs.experiment_evidence%20import%20audit_evidence%2C%20capture_evidence%0A%0A%20%20%20%20ledger%20%3D%20DesignLedger(volume%3D%22vol2%22)%0A%20%20%20%20if%20ledger.is_wasm%3A%0A%20%20%20%20%20%20%20%20_loaded%20%3D%20await%20ledger.load_async()%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20ACADEMIC_LAB_CSS%2C%0A%20%20%20%20%20%20%20%20COLORS%2C%0A%20%20%20%20%20%20%20%20LAB_CSS%2C%0A%20%20%20%20%20%20%20%20REQUIRED_MODELS%2C%0A%20%20%20%20%20%20%20%20adverse_condition%2C%0A%20%20%20%20%20%20%20%20apply_patch%2C%0A%20%20%20%20%20%20%20%20apply_plotly_theme%2C%0A%20%20%20%20%20%20%20%20audit_evidence%2C%0A%20%20%20%20%20%20%20%20audit_ledger_evidence%2C%0A%20%20%20%20%20%20%20%20build_lab_report%2C%0A%20%20%20%20%20%20%20%20capture_evidence%2C%0A%20%20%20%20%20%20%20%20compare_equal_budget_repairs%2C%0A%20%20%20%20%20%20%20%20evaluate_configuration%2C%0A%20%20%20%20%20%20%20%20evaluation_record%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20go%2C%0A%20%20%20%20%20%20%20%20instructor_repair_plans%2C%0A%20%20%20%20%20%20%20%20instructor_scenario%2C%0A%20%20%20%20%20%20%20%20instructor_stress%2C%0A%20%20%20%20%20%20%20%20ledger%2C%0A%20%20%20%20%20%20%20%20mo%2C%0A%20%20%20%20%20%20%20%20obligation_stress%2C%0A%20%20%20%20%20%20%20%20record_deployment_decision%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20get_evidence%2C%20set_evidence%20%3D%20mo.state(%7B%7D)%0A%20%20%20%20return%20get_evidence%2C%20set_evidence%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20set_evidence)%3A%0A%20%20%20%20track%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22TinyML%22%3A%20%22tinyml%22%2C%20%22Mobile%22%3A%20%22mobile%22%2C%20%22Edge%22%3A%20%22edge%22%2C%20%22Cloud%22%3A%20%22cloud%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22TinyML%22%2C%20label%3D%22Fleet%20track%22%2C%20on_change%3Dlambda%20_value%3A%20set_evidence(%7B%7D)%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(track%2C)%0A%0A%0A%40app.cell%0Adef%20_(instructor_scenario%2C%20track)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20scenario%20%3D%20instructor_scenario(track_id)%0A%20%20%20%20return%20scenario%2C%20track_id%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20a_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22None%22%3A%20%22none%22%2C%20%22One%20or%20two%22%3A%20%22some%22%2C%20%22Three%20or%20four%22%3A%20%22most%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22How%20many%20required%20student%20records%20will%20replay%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20A%20prediction%22)%0A%20%20%20%20a_source%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Student%20evidence%20only%22%3A%20%22ledger_only%22%2C%20%22Fill%20gaps%20with%20labeled%20scenarios%22%3A%20%22fallback%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Evidence%20source%20policy%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_severity%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Moderate%20scale-up%22%3A%20%22moderate%22%2C%20%22Severe%20scale-up%22%3A%20%22severe%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Severe%20scale-up%22%2C%20label%3D%22Scale%20stress%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Compute%22%3A%20%22compute%22%2C%20%22Communication%22%3A%20%22communication%22%2C%20%22Coordination%22%3A%20%22coordination%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20C%C2%B3%20term%20dominates%20after%20scale-up%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20B%20prediction%22)%0A%20%20%20%20c_serving%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Busy%22%3A%20%22busy%22%2C%20%22Surge%22%3A%20%22surge%22%2C%20%22Overload%22%3A%20%22overload%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Surge%22%2C%20label%3D%22Serving%20condition%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_energy%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Steady%20work%22%3A%20%22steady%22%2C%20%22Growth%22%3A%20%22growth%22%2C%20%22Double%20work%22%3A%20%22double%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Growth%22%2C%20label%3D%22Useful-work%20demand%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Serving%20p99%22%3A%20%22serving%22%2C%20%22Absolute%20energy%22%3A%20%22energy%22%2C%20%22Both%22%3A%20%22both%22%2C%20%22Neither%22%3A%20%22neither%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20obligation%20fails%20first%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20C%20prediction%22)%0A%20%20%20%20d_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Fabric%22%3A%20%22fabric%22%2C%20%22Resilience%22%3A%20%22resilience%22%2C%20%22Efficiency%22%3A%20%22efficiency%22%2C%20%22None%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20equal-budget%20repair%20is%20strongest%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20D%20prediction%22)%0A%20%20%20%20d_choice%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Fabric%22%3A%20%22fabric%22%2C%20%22Resilience%22%3A%20%22resilience%22%2C%20%22Efficiency%22%3A%20%22efficiency%22%2C%20%22Hold%20current%20configuration%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Repair%20to%20carry%20forward%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_rejected%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Fabric%22%3A%20%22fabric%22%2C%20%22Resilience%22%3A%20%22resilience%22%2C%20%22Efficiency%22%3A%20%22efficiency%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Rejected%20alternative%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_condition%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Fabric%20contention%22%3A%20%22fabric%22%2C%20%22Longer%20recovery%22%3A%20%22recovery%22%2C%20%22Replica%20loss%22%3A%20%22replica_loss%22%2C%20%22Demand%20growth%22%3A%20%22demand%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Replica%20loss%22%2C%20label%3D%22Held-out%20condition%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Feasible%22%3A%20%22feasible%22%2C%20%22Infeasible%22%3A%20%22infeasible%22%2C%20%22Unevaluable%22%3A%20%22unevaluable%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20happens%20under%20the%20held-out%20condition%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20E%20prediction%22)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_prediction%2C%0A%20%20%20%20%20%20%20%20a_source%2C%0A%20%20%20%20%20%20%20%20b_prediction%2C%0A%20%20%20%20%20%20%20%20b_severity%2C%0A%20%20%20%20%20%20%20%20c_energy%2C%0A%20%20%20%20%20%20%20%20c_prediction%2C%0A%20%20%20%20%20%20%20%20c_serving%2C%0A%20%20%20%20%20%20%20%20d_choice%2C%0A%20%20%20%20%20%20%20%20d_prediction%2C%0A%20%20%20%20%20%20%20%20d_rejected%2C%0A%20%20%20%20%20%20%20%20e_condition%2C%0A%20%20%20%20%20%20%20%20e_prediction%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20final_decision%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Release%22%3A%20%22release%22%2C%20%22Restrict%20rollout%22%3A%20%22restrict%22%2C%20%22Defer%22%3A%20%22defer%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Deployment%20judgment%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_condition%20%3D%20mo.ui.text_area(%0A%20%20%20%20%20%20%20%20label%3D%22Measurable%20reevaluation%20condition%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Name%20the%20observed%20limit%20and%20the%20condition%20that%20reopens%20this%20decision.%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_uncertainty%20%3D%20mo.ui.text_area(%0A%20%20%20%20%20%20%20%20label%3D%22Remaining%20limitation%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Name%20evidence%20or%20an%20operating%20condition%20this%20lab%20did%20not%20establish.%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_rationale%20%3D%20mo.ui.text_area(%0A%20%20%20%20%20%20%20%20label%3D%22Engineering%20rationale%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Connect%20the%20saved%20failure%2C%20chosen%20repair%2C%20rejected%20alternative%2C%20and%20held-out%20replay.%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20final_condition%2C%20final_decision%2C%20final_rationale%2C%20final_uncertainty%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20REQUIRED_MODELS%2C%0A%20%20%20%20a_source%2C%0A%20%20%20%20adverse_condition%2C%0A%20%20%20%20apply_patch%2C%0A%20%20%20%20audit_ledger_evidence%2C%0A%20%20%20%20b_severity%2C%0A%20%20%20%20c_energy%2C%0A%20%20%20%20c_serving%2C%0A%20%20%20%20compare_equal_budget_repairs%2C%0A%20%20%20%20d_choice%2C%0A%20%20%20%20e_condition%2C%0A%20%20%20%20evaluate_configuration%2C%0A%20%20%20%20instructor_repair_plans%2C%0A%20%20%20%20instructor_stress%2C%0A%20%20%20%20ledger%2C%0A%20%20%20%20obligation_stress%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20fallbacks%20%3D%20%7B%0A%20%20%20%20%20%20%20%20chapter%3A%20%7B%22chapter%22%3A%20chapter%2C%20%22label%22%3A%20%22illustrative%20instructor%20scenario%22%7D%0A%20%20%20%20%20%20%20%20for%20chapter%20in%20REQUIRED_MODELS%0A%20%20%20%20%7D%0A%20%20%20%20a_student%20%3D%20audit_ledger_evidence(ledger._state.history%2C%20track_id%3Dtrack_id)%0A%20%20%20%20a_with_fallback%20%3D%20audit_ledger_evidence(%0A%20%20%20%20%20%20%20%20ledger._state.history%2C%20track_id%3Dtrack_id%2C%20instructor_fallbacks%3Dfallbacks%2C%0A%20%20%20%20)%0A%20%20%20%20a_carried%20%3D%20a_with_fallback%20if%20a_source.value%20%3D%3D%20%22fallback%22%20else%20a_student%0A%0A%20%20%20%20baseline%20%3D%20evaluate_configuration(scenario)%0A%20%20%20%20b_config%20%3D%20apply_patch(scenario%2C%20instructor_stress(b_severity.value))%0A%20%20%20%20b_result%20%3D%20evaluate_configuration(b_config)%0A%20%20%20%20c_config%20%3D%20apply_patch(scenario%2C%20obligation_stress(c_serving.value%2C%20c_energy.value))%0A%20%20%20%20c_result%20%3D%20evaluate_configuration(c_config)%0A%0A%20%20%20%20repairs%20%3D%20instructor_repair_plans(track_id)%0A%20%20%20%20repairs_by_id%20%3D%20%7Bplan.repair_id%3A%20plan%20for%20plan%20in%20repairs%7D%0A%20%20%20%20d_compare%20%3D%20compare_equal_budget_repairs(%0A%20%20%20%20%20%20%20%20scenario%2C%20stress%3Dinstructor_stress(%22severe%22)%2C%20repairs%3Drepairs%2C%0A%20%20%20%20)%0A%20%20%20%20d_results%20%3D%20%7Bplan.repair_id%3A%20result%20for%20plan%2C%20result%20in%20d_compare.repairs%7D%0A%20%20%20%20_live_choice%20%3D%20d_choice.value%20if%20d_choice.value%20in%20repairs_by_id%20else%20%22fabric%22%0A%20%20%20%20_live_plan%20%3D%20repairs_by_id%5B_live_choice%5D%0A%20%20%20%20_live_config%20%3D%20apply_patch(d_compare.failing_evaluation.configuration%2C%20_live_plan.patch)%0A%20%20%20%20_live_result%20%3D%20d_results%5B_live_choice%5D%0A%20%20%20%20carried_config%20%3D%20d_compare.failing_evaluation.configuration%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20_live_config%0A%20%20%20%20carried_result%20%3D%20d_compare.failing_evaluation%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20_live_result%0A%20%20%20%20carried_label%20%3D%20%22No%20repair%22%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20_live_plan.label%0A%0A%20%20%20%20e_config%20%3D%20apply_patch(carried_config%2C%20adverse_condition(e_condition.value))%0A%20%20%20%20e_result%20%3D%20evaluate_configuration(e_config)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_carried%2C%0A%20%20%20%20%20%20%20%20a_student%2C%0A%20%20%20%20%20%20%20%20a_with_fallback%2C%0A%20%20%20%20%20%20%20%20b_config%2C%0A%20%20%20%20%20%20%20%20b_result%2C%0A%20%20%20%20%20%20%20%20baseline%2C%0A%20%20%20%20%20%20%20%20c_config%2C%0A%20%20%20%20%20%20%20%20c_result%2C%0A%20%20%20%20%20%20%20%20carried_config%2C%0A%20%20%20%20%20%20%20%20carried_label%2C%0A%20%20%20%20%20%20%20%20carried_result%2C%0A%20%20%20%20%20%20%20%20d_compare%2C%0A%20%20%20%20%20%20%20%20d_results%2C%0A%20%20%20%20%20%20%20%20e_config%2C%0A%20%20%20%20%20%20%20%20e_result%2C%0A%20%20%20%20%20%20%20%20fallbacks%2C%0A%20%20%20%20%20%20%20%20repairs%2C%0A%20%20%20%20%20%20%20%20repairs_by_id%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_source%2C%0A%20%20%20%20a_student%2C%0A%20%20%20%20a_with_fallback%2C%0A%20%20%20%20apply_patch%2C%0A%20%20%20%20b_config%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20b_severity%2C%0A%20%20%20%20baseline%2C%0A%20%20%20%20c_config%2C%0A%20%20%20%20c_energy%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_serving%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20carried_config%2C%0A%20%20%20%20carried_result%2C%0A%20%20%20%20d_choice%2C%0A%20%20%20%20d_compare%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_rejected%2C%0A%20%20%20%20d_results%2C%0A%20%20%20%20e_condition%2C%0A%20%20%20%20e_config%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_result%2C%0A%20%20%20%20evaluation_record%2C%0A%20%20%20%20fallbacks%2C%0A%20%20%20%20ledger%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20repairs_by_id%2C%0A%20%20%20%20set_evidence%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20def%20store(part%2C%20capture)%3A%0A%20%20%20%20%20%20%20%20set_evidence(lambda%20current%3A%20%7B**current%2C%20part%3A%20capture%7D)%0A%0A%20%20%20%20def%20audit_record(history%2C%20instructor_fallbacks%2C%20audit)%3A%0A%20%20%20%20%20%20%20%20return%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22inputs%22%3A%20%7B%22history%22%3A%20history%2C%20%22track_id%22%3A%20track_id%2C%20%22instructor_fallbacks%22%3A%20instructor_fallbacks%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22outputs%22%3A%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22ready%22%3A%20audit.ready%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22items%22%3A%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22chapter%22%3A%20item.chapter%2C%20%22status%22%3A%20item.status%2C%20%22source%22%3A%20item.source_label%2C%20%22issue%22%3A%20item.issue%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20for%20item%20in%20audit.items%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%7D%0A%0A%20%20%20%20a_upstream%20%3D%20%7B%22track%22%3A%20track_id%2C%20%22source_policy%22%3A%20a_source.value%7D%0A%20%20%20%20b_upstream%20%3D%20%7B%22track%22%3A%20track_id%2C%20%22severity%22%3A%20b_severity.value%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22track%22%3A%20track_id%2C%20%22serving%22%3A%20c_serving.value%2C%20%22energy%22%3A%20c_energy.value%7D%0A%20%20%20%20d_upstream%20%3D%20%7B%22track%22%3A%20track_id%2C%20%22stress%22%3A%20%22severe%22%2C%20%22choice%22%3A%20d_choice.value%2C%20%22rejected%22%3A%20d_rejected.value%7D%0A%20%20%20%20e_upstream%20%3D%20%7B**d_upstream%2C%20%22condition%22%3A%20e_condition.value%7D%0A%0A%20%20%20%20_a_student_record%20%3D%20audit_record(ledger._state.history%2C%20%7B%7D%2C%20a_student)%0A%20%20%20%20_a_fallback_record%20%3D%20audit_record(ledger._state.history%2C%20fallbacks%2C%20a_with_fallback)%0A%20%20%20%20a_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20evidence-source%20comparison%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Da_prediction.value%20is%20None%20or%20a_source.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22A%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22A%22%2C%20prediction%3Da_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22source_policy%22%3A%20a_source.value%7D%2C%20baseline%3D_a_student_record%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3D_a_fallback_record%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20chosen_result%3D_a_student_record%20if%20a_source.value%20%3D%3D%20%22ledger_only%22%20else%20None%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result_role%3D%22rejected%20alternative%22%20if%20a_source.value%20%3D%3D%20%22ledger_only%22%20else%20%22tested%20intervention%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(_a_student_record%2C%20_a_fallback_record)%2C%20decision%3Da_source.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Da_upstream%2C%20model_key%3D%22v2_17_experiments.audit_ledger_evidence%22%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20b_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20C%C2%B3%20scale%20contrast%22%2C%20kind%3D%22success%22%2C%20disabled%3Db_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22B%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22B%22%2C%20prediction%3Db_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22severity%22%3A%20b_severity.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Devaluation_record(baseline.configuration%2C%20baseline)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Devaluation_record(b_config%2C%20b_result)%2C%20decision%3Db_result.c3_result.dominant_term%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Db_upstream%2C%20model_key%3D%22v2_17_experiments.evaluate_configuration%22%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20c_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20obligation%20stress%22%2C%20kind%3D%22success%22%2C%20disabled%3Dc_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22C%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22C%22%2C%20prediction%3Dc_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22serving%22%3A%20c_serving.value%2C%20%22energy%22%3A%20c_energy.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Devaluation_record(baseline.configuration%2C%20baseline)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Devaluation_record(c_config%2C%20c_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dlist(c_result.failed_constraints)%2C%20upstream_inputs%3Dc_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_17_experiments.evaluate_configuration%22%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20_d_invalid%20%3D%20(%0A%20%20%20%20%20%20%20%20d_prediction.value%20is%20None%20or%20d_choice.value%20is%20None%20or%20d_rejected.value%20is%20None%0A%20%20%20%20%20%20%20%20or%20(d_choice.value%20!%3D%20%22none%22%20and%20d_choice.value%20%3D%3D%20d_rejected.value)%0A%20%20%20%20)%0A%20%20%20%20_tested_id%20%3D%20d_rejected.value%20if%20d_choice.value%20%3D%3D%20%22none%22%20and%20d_rejected.value%20else%20(%0A%20%20%20%20%20%20%20%20d_choice.value%20if%20d_choice.value%20in%20d_results%20else%20%22fabric%22%0A%20%20%20%20)%0A%20%20%20%20_tested_plan%20%3D%20repairs_by_id%5B_tested_id%5D%0A%20%20%20%20_tested_config%20%3D%20apply_patch(d_compare.failing_evaluation.configuration%2C%20_tested_plan.patch)%0A%20%20%20%20_tested_result%20%3D%20d_results%5B_tested_id%5D%0A%20%20%20%20_failing_record%20%3D%20evaluation_record(%0A%20%20%20%20%20%20%20%20d_compare.failing_evaluation.configuration%2C%20d_compare.failing_evaluation%2C%0A%20%20%20%20)%0A%20%20%20%20d_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20equal-budget%20repair%20decision%22%2C%20kind%3D%22success%22%2C%20disabled%3D_d_invalid%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22D%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22D%22%2C%20prediction%3Dd_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22choice%22%3A%20d_choice.value%2C%20%22rejected%22%3A%20d_rejected.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3D_failing_record%2C%20result%3Devaluation_record(_tested_config%2C%20_tested_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20chosen_result%3D_failing_record%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20None%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result_role%3D%22rejected%20alternative%22%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20%22tested%20intervention%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Dtuple(evaluation_record(result.configuration%2C%20result)%20for%20result%20in%20d_results.values())%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dd_choice.value%2C%20upstream_inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_17_experiments.evaluate_configuration%22%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20e_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20held-out%20replay%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3De_prediction.value%20is%20None%20or%20d_choice.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22E%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22E%22%2C%20prediction%3De_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22carried_repair%22%3A%20d_choice.value%2C%20%22condition%22%3A%20e_condition.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Devaluation_record(carried_config%2C%20carried_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Devaluation_record(e_config%2C%20e_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3D%22feasible%22%20if%20e_result.physical_feasible%20is%20True%20else%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22infeasible%22%20if%20e_result.physical_feasible%20is%20False%20else%20%22unevaluable%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3De_upstream%2C%20model_key%3D%22v2_17_experiments.evaluate_configuration%22%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_capture%2C%0A%20%20%20%20%20%20%20%20a_upstream%2C%0A%20%20%20%20%20%20%20%20b_capture%2C%0A%20%20%20%20%20%20%20%20b_upstream%2C%0A%20%20%20%20%20%20%20%20c_capture%2C%0A%20%20%20%20%20%20%20%20c_upstream%2C%0A%20%20%20%20%20%20%20%20d_capture%2C%0A%20%20%20%20%20%20%20%20d_upstream%2C%0A%20%20%20%20%20%20%20%20e_capture%2C%0A%20%20%20%20%20%20%20%20e_upstream%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(ACADEMIC_LAB_CSS%2C%20LAB_CSS%2C%20mo%2C%20scenario%2C%20track)%3A%0A%20%20%20%20css%20%3D%20mo.Html(%22%22%22%0A%20%20%20%20%3Cstyle%3E%0A%20%20%20%20.v217-head%7Bbackground%3Alinear-gradient(135deg%2C%23101827%2C%231d4f78)%3Bcolor%3A%23fff%3Bpadding%3A22px%2024px%3Bborder-radius%3A12px%3Bmargin%3A8px%200%2014px%7D.v217-head%20h1%7Bfont-size%3Aclamp(1.5rem%2C4vw%2C2.3rem)%3Bmargin%3A4px%200%208px%7D.v217-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(3%2Cminmax(0%2C1fr))%3Bgap%3A10px%3Bmargin-top%3A14px%7D.v217-meta%20div%7Bbackground%3A%23ffffff17%3Bpadding%3A10px%3Bborder-radius%3A8px%7D.v217-saved%7Bborder-left%3A4px%20solid%20%232E8B57%3Bbackground%3A%23f2faf5%3Bpadding%3A9px%2012px%7D.v217-table%7Bmax-width%3A100%25%3Boverflow-x%3Aauto%7D%40media(max-width%3A760px)%7B.v217-meta%7Bgrid-template-columns%3A1fr%7D.v217-head%7Bpadding%3A18px%3Bmargin-top%3A30px%7D%7D%0A%20%20%20%20%3C%2Fstyle%3E%22%22%22)%0A%20%20%20%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20mo.Html(f%22%3Cstyle%3E%7BLAB_CSS%7D%3C%2Fstyle%3E%22)%2C%20mo.Html(f%22%3Cstyle%3E%7BACADEMIC_LAB_CSS%7D%3C%2Fstyle%3E%22)%2C%0A%20%20%20%20%20%20%20%20css%2C%20track%2C%0A%20%20%20%20%20%20%20%20mo.Html(f'''%3Csection%20class%3D%22v217-head%22%3E%3Csmall%3EVOLUME%20II%20%C2%B7%20LAB%2017%3C%2Fsmall%3E%3Ch1%3EFleet%20Synthesis%3C%2Fh1%3E%3Cdiv%3EWhich%20repair%20keeps%20a%20complete%20fleet%20inside%20its%20physical%20and%20operating%20constraints%3F%3C%2Fdiv%3E%3Cdiv%20class%3D%22v217-meta%22%3E%3Cdiv%3E%3Cb%3EDuration%3C%2Fb%3E%3Cbr%3E50%20minutes%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EFleet%3C%2Fb%3E%3Cbr%3E%7Bscenario.scenario_label%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EOutput%3C%2Fb%3E%3Cbr%3EDeployment%20evidence%20packet%3C%2Fdiv%3E%3C%2Fdiv%3E%3C%2Fsection%3E''')%2C%0A%20%20%20%20%20%20%20%20mo.callout(mo.md(%22Built-in%20values%20are%20**illustrative%20instructor%20scenarios**%2C%20not%20production%20measurements.%20Compatible%20student%20evidence%20remains%20separately%20labeled.%22)%2C%20kind%3D%22info%22)%2C%0A%20%20%20%20%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20COLORS%2C%0A%20%20%20%20a_capture%2C%0A%20%20%20%20a_carried%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_source%2C%0A%20%20%20%20a_student%2C%0A%20%20%20%20a_upstream%2C%0A%20%20%20%20apply_plotly_theme%2C%0A%20%20%20%20audit_evidence%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20b_severity%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20baseline%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_energy%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_serving%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20carried_label%2C%0A%20%20%20%20carried_result%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_choice%2C%0A%20%20%20%20d_compare%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_rejected%2C%0A%20%20%20%20d_results%2C%0A%20%20%20%20d_upstream%2C%0A%20%20%20%20e_capture%2C%0A%20%20%20%20e_condition%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_result%2C%0A%20%20%20%20e_upstream%2C%0A%20%20%20%20final_condition%2C%0A%20%20%20%20final_decision%2C%0A%20%20%20%20final_rationale%2C%0A%20%20%20%20final_uncertainty%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20go%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20repairs%2C%0A)%3A%0A%20%20%20%20captures%20%3D%20get_evidence()%0A%20%20%20%20upstream%20%3D%20%7B%22A%22%3A%20a_upstream%2C%20%22B%22%3A%20b_upstream%2C%20%22C%22%3A%20c_upstream%2C%20%22D%22%3A%20d_upstream%2C%20%22E%22%3A%20e_upstream%7D%0A%20%20%20%20evidence_audit%20%3D%20audit_evidence(%0A%20%20%20%20%20%20%20%20captures%2C%20track%3Dbaseline.configuration.track_id%2C%20required_parts%3Dtuple(%22ABCDE%22)%2C%0A%20%20%20%20%20%20%20%20per_part_upstream_inputs%3Dupstream%2C%20contrast_required_parts%3Dtuple(%22ABCDE%22)%2C%0A%20%20%20%20)%0A%0A%20%20%20%20def%20table(rows)%3A%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.ui.table(rows%2C%20pagination%3DFalse)%5D).style(%7B%22max-width%22%3A%20%22100%25%22%2C%20%22overflow-x%22%3A%20%22auto%22%7D)%0A%0A%20%20%20%20def%20status(result)%3A%0A%20%20%20%20%20%20%20%20if%20result.physical_feasible%20is%20True%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20%22FEASIBLE%22%0A%20%20%20%20%20%20%20%20if%20result.physical_feasible%20is%20False%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20%22INFEASIBLE%20%C2%B7%20%22%20%2B%20%22%2C%20%22.join(result.failed_constraints)%0A%20%20%20%20%20%20%20%20return%20%22UNEVALUABLE%20%C2%B7%20%22%20%2B%20%22%2C%20%22.join(result.unevaluated_constraints)%0A%0A%20%20%20%20def%20amount(value%2C%20unit%2C%20digits%3D2)%3A%0A%20%20%20%20%20%20%20%20return%20f%22%7Bvalue.to(unit).magnitude%3A.%7Bdigits%7Df%7D%20%7Bunit%7D%22%0A%0A%20%20%20%20def%20saved(part)%3A%0A%20%20%20%20%20%20%20%20capture%20%3D%20captures.get(part)%0A%20%20%20%20%20%20%20%20if%20capture%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22No%20saved%20evidence%20for%20this%20part.%22)%2C%20kind%3D%22warn%22)%0A%20%20%20%20%20%20%20%20if%20part%20in%20evidence_audit.stale%20or%20(part%2C%20part)%20in%20evidence_audit.identical_pairs%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22**STALE%20OR%20NON-CONTRASTING%20EVIDENCE.**%20Recapture%20after%20changing%20dependencies.%22)%2C%20kind%3D%22danger%22)%0A%20%20%20%20%20%20%20%20snapshot%20%3D%20capture.to_dict()%0A%20%20%20%20%20%20%20%20return%20mo.Html(f'%3Cdiv%20class%3D%22v217-saved%22%3E%3Cb%3ESaved%20snapshot%3C%2Fb%3E%20%C2%B7%20prediction%3A%20%7Bsnapshot%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ELater%20controls%20do%20not%20rewrite%20this%20result.%3C%2Fsmall%3E%3C%2Fdiv%3E')%0A%0A%20%20%20%20def%20check_rows(result)%3A%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20check%20in%20result.checks%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20observed%20%3D%20f%22%7Bcheck.observed%3A~P%7D%22%20if%20hasattr(check.observed%2C%20%22to%22)%20else%20f%22%7Bcheck.observed%3A.3f%7D%22%0A%20%20%20%20%20%20%20%20%20%20%20%20limit%20%3D%20f%22%7Bcheck.limit%3A~P%7D%22%20if%20hasattr(check.limit%2C%20%22to%22)%20else%20f%22%7Bcheck.limit%3A.3f%7D%22%0A%20%20%20%20%20%20%20%20%20%20%20%20check_status%20%3D%20%22PASS%22%20if%20check.passed%20is%20True%20else%20%22FAIL%22%20if%20check.passed%20is%20False%20else%20%22UNEVALUABLE%22%0A%20%20%20%20%20%20%20%20%20%20%20%20rows.append(%7B%22Constraint%22%3A%20check.constraint%2C%20%22Observed%22%3A%20observed%2C%20%22Limit%22%3A%20limit%2C%20%22Status%22%3A%20check_status%7D)%0A%20%20%20%20%20%20%20%20return%20rows%0A%0A%20%20%20%20def%20build_part_a()%3A%0A%20%20%20%20%20%20%20%20if%20a_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20A%20%C2%B7%20Which%20inherited%20evidence%20can%20we%20trust%3F%20(8%20min)%5CnPredict%20how%20many%20required%20records%20can%20be%20replayed%20before%20inspecting%20the%20ledger.%22)%2C%20a_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Chapter%22%3A%20carried.chapter%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Student%20record%22%3A%20next(item.status%20for%20item%20in%20a_student.items%20if%20item.chapter%20%3D%3D%20carried.chapter)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Carried%20source%22%3A%20carried.source_label%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Status%22%3A%20carried.status%2C%0A%20%20%20%20%20%20%20%20%7D%20for%20carried%20in%20a_carried.items%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20A%20%C2%B7%20Which%20inherited%20evidence%20can%20we%20trust%3F%20(8%20min)%22)%2C%20a_prediction%2C%20a_source%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Ba_prediction.value%7D.%20**Carried%20packet%3A**%20%7B'ready'%20if%20a_carried.ready%20else%20'incomplete'%7D.%20Missing%20evidence%20does%20not%20become%20failed%20physics.%22)%2C%20kind%3D%22success%22%20if%20a_carried.ready%20else%20%22danger%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20a_capture%2C%20saved(%22A%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Compatibility%20requires%20the%20stable%20chapter%2C%20track%2C%20model%2C%20evaluator%2C%20unit%20decoding%2C%20and%20a%20successful%20replay.%20In%20device%20tracks%20(TinyML%2FMobile)%2C%20inherited%20training%20and%20recovery%20artifacts%20evaluate%20the%20supporting%20backend%20cluster%2C%20while%20serving%20evaluates%20deployment%20endpoints.%20Other%20legitimate%20chapter%20experiments%20are%20ignored%20rather%20than%20penalized.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20build_part_b()%3A%0A%20%20%20%20%20%20%20%20if%20b_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20B%20%C2%B7%20When%20does%20scale%20stop%20improving%20useful%20work%3F%20(10%20min)%5CnChoose%20a%20scale%20stress%20and%20predict%20the%20dominant%20C%C2%B3%20term.%22)%2C%20b_severity%2C%20b_prediction%5D)%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20for%20case%2C%20result%20in%20((%22Baseline%22%2C%20baseline.c3_result)%2C%20(%22Scale%20stress%22%2C%20b_result.c3_result))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20for%20label%2C%20field%2C%20color%20in%20((%22Compute%22%2C%20%22compute_time%22%2C%20COLORS%5B%22BlueLine%22%5D)%2C%20(%22Communication%22%2C%20%22communication_time%22%2C%20COLORS%5B%22OrangeLine%22%5D)%2C%20(%22Coordination%22%2C%20%22coordination_time%22%2C%20COLORS%5B%22GreenLine%22%5D))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20figure.add_bar(name%3Dlabel%2C%20x%3D%5Bcase%5D%2C%20y%3D%5Bgetattr(result%2C%20field).to(%22second%22).magnitude%5D%2C%20marker_color%3Dcolor%2C%20legendgroup%3Dlabel%2C%20showlegend%3Dcase%20%3D%3D%20%22Baseline%22)%0A%20%20%20%20%20%20%20%20figure.update_layout(barmode%3D%22stack%22%2C%20height%3D290%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Fleet%20step%20time%20(s)%22%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20B%20%C2%B7%20When%20does%20scale%20stop%20improving%20useful%20work%3F%20(10%20min)%22)%2C%20b_severity%2C%20b_prediction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20apply_plotly_theme(figure)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20table(%5B%7B%22Run%22%3A%20%22Baseline%22%2C%20%22Step%20time%22%3A%20amount(baseline.c3_result.step_time%2C%20%22second%22)%2C%20%22Dominant%22%3A%20baseline.c3_result.dominant_term%2C%20%22Outcome%22%3A%20status(baseline)%7D%2C%20%7B%22Run%22%3A%20%22Scale%20stress%22%2C%20%22Step%20time%22%3A%20amount(b_result.c3_result.step_time%2C%20%22second%22)%2C%20%22Dominant%22%3A%20b_result.c3_result.dominant_term%2C%20%22Outcome%22%3A%20status(b_result)%7D%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bb_prediction.value%7D.%20**Observed%20dominant%20term%3A**%20%7Bb_result.c3_result.dominant_term%7D%3B%20step%20time%20changed%20from%20%7Bamount(baseline.c3_result.step_time%2C%20'second')%7D%20to%20%7Bamount(b_result.c3_result.step_time%2C%20'second')%7D.%22)%2C%20kind%3D%22info%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20b_capture%2C%20saved(%22B%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22The%20fixed-work%20model%20adds%20visible%20compute%2C%20communication%2C%20and%20coordination%20time%2C%20then%20subtracts%20only%20stated%20overlap.%20For%20TinyML%20and%20Mobile%20tracks%2C%20C%C2%B3%20scaling%20models%20the%20supporting%20backend%20training%20cluster%3B%20edge%20microcontrollers%2Fdevices%20do%20not%20run%20collective%20all-reduce%20training.%20Useful%20work%20remains%20fixed.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20build_part_c()%3A%0A%20%20%20%20%20%20%20%20if%20c_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20C%20%C2%B7%20Can%20a%20fast%20fleet%20still%20violate%20its%20obligations%3F%20(9%20min)%5CnStress%20serving%20execution%20and%20absolute%20useful-work%20demand%20while%20leaving%20the%20C%C2%B3%20configuration%20unchanged.%22)%2C%20mo.hstack(%5Bc_serving%2C%20c_energy%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20c_prediction%5D)%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20C%20%C2%B7%20Can%20a%20fast%20fleet%20still%20violate%20its%20obligations%3F%20(9%20min)%22)%2C%20mo.hstack(%5Bc_serving%2C%20c_energy%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20c_prediction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20table(check_rows(c_result))%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bc_prediction.value%7D.%20**Result%3A**%20%7Bstatus(c_result)%7D.%20Each%20constraint%20keeps%20its%20physical%20unit.%22)%2C%20kind%3D%22danger%22%20if%20c_result.physical_feasible%20is%20False%20else%20%22success%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20c_capture%2C%20saved(%22C%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Serving%20p99%20comes%20from%20complete%20simulated%20request%20durations%20in%20the%20deployment%20serving%20pool.%20Rejected%20requests%20have%20a%20separate%20completion%20check.%20Absolute%20energy%20and%20facility%20capacity%20govern%20the%20backend%2Faggregation%20infrastructure%20(with%20device%20constraints%20bounded%20separately%20by%20local%20power%20envelopes).%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20build_part_d()%3A%0A%20%20%20%20%20%20%20%20if%20d_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20D%20%C2%B7%20Which%20equal-budget%20repair%20survives%20the%20whole%20fleet%3F%20(11%20min)%5CnEvery%20repair%20starts%20from%20the%20same%20severe%20stress%20and%20spends%20the%20same%20scenario%20budget.%22)%2C%20d_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20plan%20in%20repairs%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20result%20%3D%20d_results%5Bplan.repair_id%5D%0A%20%20%20%20%20%20%20%20%20%20%20%20rows.append(%7B%22Repair%22%3A%20plan.label%2C%20%22Budget%22%3A%20f%22%7Bplan.cost%3A~P%7D%22%2C%20%22C%C2%B3%20step%22%3A%20amount(result.c3_result.step_time%2C%20%22second%22)%2C%20%22Energy%22%3A%20amount(result.energy_result.facility_energy%2C%20%22kilowatt_hour%22%2C%203)%2C%20%22Outcome%22%3A%20status(result)%2C%20%22Consequence%22%3A%20plan.consequence%7D)%0A%20%20%20%20%20%20%20%20_live%20%3D%20d_compare.failing_evaluation%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20d_results.get(d_choice.value%2C%20d_compare.failing_evaluation)%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20D%20%C2%B7%20Which%20equal-budget%20repair%20survives%20the%20whole%20fleet%3F%20(11%20min)%22)%2C%20d_prediction%2C%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bd_choice%2C%20d_rejected%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bd_prediction.value%7D.%20**Carried%20choice%3A**%20%7Bd_choice.value%20or%20'unset'%7D%3B%20outcome%3A%20%7Bstatus(_live)%7D.%20A%20defensible%20no-feasible%20result%20is%20valid%20evidence.%22)%2C%20kind%3D%22success%22%20if%20_live.physical_feasible%20is%20True%20else%20%22danger%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20d_capture%2C%20saved(%22D%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Repairs%20are%20rerun%20independently%20from%20one%20frozen%20failure.%20Fabric%20capacity%20adds%20energy%3B%20a%20replica%20adds%20energy%20and%20power%3B%20efficiency%20leaves%20C%C2%B3%20inputs%20unchanged.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20build_part_e()%3A%0A%20%20%20%20%20%20%20%20if%20e_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(f%22%23%23%23%20E%20%C2%B7%20Does%20the%20repair%20survive%20a%20held-out%20condition%3F%20(7%20min)%5CnCarry%20**%7Bcarried_label%7D**%20into%20one%20additional%20condition.%22)%2C%20e_condition%2C%20e_prediction%5D)%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20E%20%C2%B7%20Does%20the%20repair%20survive%20a%20held-out%20condition%3F%20(7%20min)%22)%2C%20e_condition%2C%20e_prediction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20table(%5B%7B%22Run%22%3A%20%22Carried%20configuration%22%2C%20%22C%C2%B3%20step%22%3A%20amount(carried_result.c3_result.step_time%2C%20%22second%22)%2C%20%22Serving%20p99%22%3A%20amount(carried_result.serving_result.p99_duration%2C%20%22millisecond%22)%2C%20%22Energy%22%3A%20amount(carried_result.energy_result.facility_energy%2C%20%22kilowatt_hour%22%2C%203)%2C%20%22Outcome%22%3A%20status(carried_result)%7D%2C%20%7B%22Run%22%3A%20%22Held-out%20replay%22%2C%20%22C%C2%B3%20step%22%3A%20amount(e_result.c3_result.step_time%2C%20%22second%22)%2C%20%22Serving%20p99%22%3A%20amount(e_result.serving_result.p99_duration%2C%20%22millisecond%22)%2C%20%22Energy%22%3A%20amount(e_result.energy_result.facility_energy%2C%20%22kilowatt_hour%22%2C%203)%2C%20%22Outcome%22%3A%20status(e_result)%7D%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Be_prediction.value%7D.%20**Held-out%20result%3A**%20%7Bstatus(e_result)%7D.%20Support%20is%20limited%20to%20the%20conditions%20actually%20replayed.%22)%2C%20kind%3D%22danger%22%20if%20e_result.physical_feasible%20is%20False%20else%20%22success%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20e_capture%2C%20saved(%22E%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22The%20held-out%20replay%20changes%20one%20disclosed%20causal%20input%20set.%20Evidence%20labels%20and%20learner%20choices%20do%20not%20alter%20simulator%20output.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20build_synthesis()%3A%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20part%20in%20%22ABCDE%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20capture%20%3D%20captures.get(part)%0A%20%20%20%20%20%20%20%20%20%20%20%20current%20%3D%20capture%20is%20not%20None%20and%20part%20not%20in%20evidence_audit.stale%20and%20(part%2C%20part)%20not%20in%20evidence_audit.identical_pairs%0A%20%20%20%20%20%20%20%20%20%20%20%20rows.append(%7B%22Part%22%3A%20part%2C%20%22Prediction%22%3A%20capture.to_dict()%5B%22prediction%22%5D%20if%20capture%20else%20%22%E2%80%94%22%2C%20%22Evidence%22%3A%20%22CURRENT%22%20if%20current%20else%20%22STALE%22%20if%20capture%20else%20%22MISSING%22%7D)%0A%20%20%20%20%20%20%20%20_d_snap%20%3D%20captures%5B%22D%22%5D.to_dict()%20if%20%22D%22%20in%20captures%20else%20%7B%7D%0A%20%20%20%20%20%20%20%20_saved_choice%20%3D%20_d_snap.get(%22decision%22)%0A%20%20%20%20%20%20%20%20_saved_rejected%20%3D%20_d_snap.get(%22inputs%22%2C%20%7B%7D).get(%22rejected%22)%0A%20%20%20%20%20%20%20%20_distinct%20%3D%20_saved_rejected%20is%20not%20None%20and%20(_saved_choice%20%3D%3D%20%22none%22%20or%20_saved_choice%20!%3D%20_saved_rejected)%0A%20%20%20%20%20%20%20%20_complete%20%3D%20evidence_audit.complete%20and%20final_decision.value%20is%20not%20None%20and%20_distinct%20and%20bool(final_condition.value.strip())%20and%20bool(final_uncertainty.value.strip())%20and%20bool(final_rationale.value.strip())%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Make%20the%20deployment%20judgment%20(5%20min)%5CnChoose%20release%2C%20restricted%20rollout%2C%20or%20defer%20from%20saved%20evidence.%20State%20the%20rejected%20repair%2C%20remaining%20limitation%2C%20and%20measurable%20reevaluation%20condition.%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20table(rows)%2C%20final_decision%2C%20final_condition%2C%20final_uncertainty%2C%20final_rationale%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(%22**Ready%20for%20the%20local%20report.**%22%20if%20_complete%20else%20%22Capture%20five%20current%20contrasts%2C%20retain%20a%20distinct%20rejected%20repair%2C%20and%20complete%20the%20judgment%20fields.%22)%2C%20kind%3D%22success%22%20if%20_complete%20else%20%22warn%22)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20tabs%20%3D%20mo.ui.tabs(%7B%22Part%20A%22%3A%20build_part_a()%2C%20%22Part%20B%22%3A%20build_part_b()%2C%20%22Part%20C%22%3A%20build_part_c()%2C%20%22Part%20D%22%3A%20build_part_d()%2C%20%22Part%20E%22%3A%20build_part_e()%2C%20%22Synthesis%22%3A%20build_synthesis()%7D)%0A%20%20%20%20tabs%0A%20%20%20%20return%20(evidence_audit%2C)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20build_lab_report%2C%0A%20%20%20%20evidence_audit%2C%0A%20%20%20%20final_condition%2C%0A%20%20%20%20final_decision%2C%0A%20%20%20%20final_rationale%2C%0A%20%20%20%20final_uncertainty%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20report_export_panel%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_d_snap%20%3D%20_captures%5B%22D%22%5D.to_dict()%20if%20%22D%22%20in%20_captures%20else%20%7B%7D%0A%20%20%20%20_choice%20%3D%20_d_snap.get(%22decision%22)%0A%20%20%20%20_rejected%20%3D%20_d_snap.get(%22inputs%22%2C%20%7B%7D).get(%22rejected%22)%0A%20%20%20%20_distinct%20%3D%20_rejected%20is%20not%20None%20and%20(_choice%20%3D%3D%20%22none%22%20or%20_choice%20!%3D%20_rejected)%0A%20%20%20%20_ready%20%3D%20evidence_audit.complete%20and%20final_decision.value%20is%20not%20None%20and%20_distinct%20and%20bool(final_condition.value.strip())%20and%20bool(final_uncertainty.value.strip())%20and%20bool(final_rationale.value.strip())%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20snapshots%20%3D%20%7Bpart%3A%20_captures%5Bpart%5D.to_dict()%20for%20part%20in%20%22ABCDE%22%7D%0A%20%20%20%20report%20%3D%20build_lab_report(%0A%20%20%20%20%20%20%20%20get_lab_metadata(%22vol2%2Flab_17_fleet_synthesis.py%22)%2C%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20scenario%3Dscenario.scenario_label%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%22Trace%20a%20binding%20C%C2%B3%20constraint%20across%20a%20fleet%22%2C%20%22Evaluate%20recovery%2C%20serving%2C%20energy%2C%20power%2C%20and%20cooling%20in%20native%20units%22%2C%20%22Compare%20equal-budget%20repairs%20and%20defend%20a%20bounded%20deployment%20judgment%22%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7Bpart%3A%20snapshots%5Bpart%5D%5B%22prediction%22%5D%20for%20part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20knob_settings%3D%7Bpart%3A%20snapshots%5Bpart%5D%5B%22inputs%22%5D%20for%20part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20evidence_summary%3D%7Bpart%3A%20%7B%22baseline%22%3A%20snapshots%5Bpart%5D%5B%22baseline%22%5D%2C%20%22result%22%3A%20snapshots%5Bpart%5D%5B%22result%22%5D%2C%20%22chosen_result%22%3A%20snapshots%5Bpart%5D.get(%22chosen_result%22)%2C%20%22result_role%22%3A%20snapshots%5Bpart%5D.get(%22result_role%22)%2C%20%22alternatives%22%3A%20snapshots%5Bpart%5D%5B%22alternatives%22%5D%7D%20for%20part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7Bpart%3A%20snapshots%5Bpart%5D%5B%22result%22%5D.get(%22outputs%22%2C%20%7B%7D).get(%22failed_constraints%22%2C%20%5B%5D)%20for%20part%20in%20%22BCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20decisions%3D%7B%22deployment_judgment%22%3A%20final_decision.value%2C%20%22selected_repair%22%3A%20_choice%2C%20%22rejected_alternative%22%3A%20_rejected%2C%20%22reevaluation_trigger%22%3A%20final_condition.value%7D%2C%0A%20%20%20%20%20%20%20%20final_decision%3D%7B%22decision%22%3A%20final_decision.value%2C%20%22selected_repair%22%3A%20_choice%2C%20%22rejected_alternative%22%3A%20_rejected%2C%20%22rationale%22%3A%20final_rationale.value%7D%2C%0A%20%20%20%20%20%20%20%20big_takeaways%3D%5B%22The%20fleet%20is%20the%20unit%20of%20engineering.%22%2C%20%22A%20local%20repair%20can%20move%20the%20binding%20constraint.%22%2C%20%22Missing%20evidence%20and%20failed%20physics%20require%20different%20responses.%22%5D%2C%0A%20%20%20%20%20%20%20%20reflections%3D%7B%22rationale%22%3A%20final_rationale.value%2C%20%22reevaluation_trigger%22%3A%20final_condition.value%7D%2C%0A%20%20%20%20%20%20%20%20residual_risk%3Dfinal_uncertainty.value%2C%0A%20%20%20%20%20%20%20%20result_snapshot%3D%7B%22track%22%3A%20track_id%2C%20%22captures%22%3A%20snapshots%2C%20%22deployment_judgment%22%3A%20final_decision.value%2C%20%22selected_repair%22%3A%20_choice%2C%20%22rejected_alternative%22%3A%20_rejected%2C%20%22reevaluation_trigger%22%3A%20final_condition.value%2C%20%22residual_uncertainty%22%3A%20final_uncertainty.value%7D%2C%0A%20%20%20%20%20%20%20%20source_trace%3D%7B%22scenario%22%3A%20%22Illustrative%20instructor%20scenario%20unless%20compatible%20student%20evidence%20is%20labeled.%22%2C%20%22calculations%22%3A%20%22Analytical%20C%C2%B3%2C%20recovery%2C%20request-trace%2C%20energy%2C%20power%2C%20and%20cooling%20models.%22%7D%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5Bmo.md(%22%23%23%20Local%20evidence%20report%22)%2C%20report_export_panel(report)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Aasync%20def%20_(%0A%20%20%20%20evidence_audit%2C%0A%20%20%20%20final_condition%2C%0A%20%20%20%20final_decision%2C%0A%20%20%20%20final_rationale%2C%0A%20%20%20%20final_uncertainty%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20ledger%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20record_deployment_decision%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_d_snap%20%3D%20_captures%5B%22D%22%5D.to_dict()%20if%20%22D%22%20in%20_captures%20else%20%7B%7D%0A%20%20%20%20_choice%20%3D%20_d_snap.get(%22decision%22)%0A%20%20%20%20_rejected%20%3D%20_d_snap.get(%22inputs%22%2C%20%7B%7D).get(%22rejected%22)%0A%20%20%20%20_distinct%20%3D%20_rejected%20is%20not%20None%20and%20(_choice%20%3D%3D%20%22none%22%20or%20_choice%20!%3D%20_rejected)%0A%20%20%20%20_ready%20%3D%20evidence_audit.complete%20and%20final_decision.value%20is%20not%20None%20and%20_distinct%20and%20bool(final_condition.value.strip())%20and%20bool(final_uncertainty.value.strip())%20and%20bool(final_rationale.value.strip())%0A%20%20%20%20_saved%20%3D%20False%0A%20%20%20%20_save_error%20%3D%20%22%22%0A%20%20%20%20if%20_ready%3A%0A%20%20%20%20%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_decision%20%3D%20record_deployment_decision(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dfinal_decision.value%2C%20selected_repair%3D_choice%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20rejected_alternative%3D_rejected%2C%20condition%3Dfinal_condition.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20residual_uncertainty%3Dfinal_uncertainty.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20%20%20%20%20ledger.save(chapter%3D17%2C%20design%3D%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22schema_version%22%3A%201%2C%20%22lab_id%22%3A%20%22v2_17%22%2C%20%22track_id%22%3A%20track_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22model_id%22%3A%20%22v2_17_experiments%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22evidence%22%3A%20%7Bpart%3A%20capture.to_dict()%20for%20part%2C%20capture%20in%20_captures.items()%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22recommendation%22%3A%20_decision.decision%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22rejected_alternative%22%3A%20_decision.rejected_alternative%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22reevaluation_trigger%22%3A%20_decision.condition%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22residual_risk%22%3A%20_decision.residual_uncertainty%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22rationale%22%3A%20final_rationale.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D)%0A%20%20%20%20%20%20%20%20%20%20%20%20await%20ledger.flush()%0A%20%20%20%20%20%20%20%20%20%20%20%20_saved%20%3D%20True%0A%20%20%20%20%20%20%20%20except%20Exception%20as%20_exc%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_save_error%20%3D%20str(_exc)%0A%20%20%20%20_state%20%3D%20%22SAVED%22%20if%20_saved%20else%20%22SAVE%20FAILED%22%20if%20_save_error%20else%20%22EVIDENCE%20IN%20PROGRESS%22%0A%20%20%20%20_detail%20%3D%20f%22%20%C2%B7%20%7B_save_error%7D%22%20if%20_save_error%20else%20%22%22%0A%20%20%20%20mo.Html(f'%3Cdiv%20class%3D%22lab-hud%22%3E%3Cspan%20class%3D%22hud-label%22%3ELAB%3C%2Fspan%3E%3Cspan%20class%3D%22hud-value%22%3E17%20%C2%B7%20Fleet%20Synthesis%3C%2Fspan%3E%3Cspan%20style%3D%22flex%3A1%22%3E%3C%2Fspan%3E%3Cspan%20class%3D%22hud-label%22%3ESTATUS%3C%2Fspan%3E%3Cspan%20class%3D%22hud-active%22%3E%7B_state%7D%7B_detail%7D%3C%2Fspan%3E%3C%2Fdiv%3E')%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A