Lab 01: Evidence Before Optimization

Lab 01: Evidence Before Optimization · MLSysBook

import%20marimo%0A%0A__generated_with%20%3D%20%220.25.0%22%0Aapp%20%3D%20marimo.App(%0A%20%20%20%20width%3D%22full%22%2C%0A%20%20%20%20app_title%3D%22Lab%2001%3A%20Evidence%20Before%20Optimization%20%C2%B7%20MLSysBook%22%2C%0A)%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.constraint_explorer%20import%20(%0A%20%20%20%20%20%20%20%20TRACKS%2C%20compare%2C%20evaluate%2C%20margins%2C%20monitoring_plan%2C%20population_compare%2C%0A%20%20%20%20%20%20%20%20speedup%2C%20stress_compare%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%20capture_evidence%2C%20audit_evidence%0A%0A%20%20%20%20ledger%20%3D%20DesignLedger(volume%3D%22vol1%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%20TRACKS%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%20build_lab_report%2C%0A%20%20%20%20%20%20%20%20capture_evidence%2C%0A%20%20%20%20%20%20%20%20compare%2C%0A%20%20%20%20%20%20%20%20evaluate%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%20ledger%2C%0A%20%20%20%20%20%20%20%20mo%2C%0A%20%20%20%20%20%20%20%20monitoring_plan%2C%0A%20%20%20%20%20%20%20%20population_compare%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20%20%20%20%20stress_compare%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%22Deployment%20track%22%2C%0A%20%20%20%20%20%20%20%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_(TRACKS%2C%20mo%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20a_shift%20%3D%20mo.ui.slider(0%2C%2030%2C%20value%3D20%2C%20step%3D5%2C%20label%3D%22Difficult-cohort%20increase%20(points)%22)%0A%20%20%20%20c_budget%20%3D%20mo.ui.slider(0.75%2C%201.25%2C%20value%3D1.0%2C%20step%3D0.05%2C%20label%3D%22Deployment-envelope%20scale%22)%0A%20%20%20%20c_candidate%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Compact%22%3A%20%22compact%22%2C%20%22Balanced%22%3A%20%22balanced%22%2C%20%22Large%22%3A%20%22large%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Balanced%22%2C%20label%3D%22Candidate%20to%20carry%20forward%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_conclusion%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Compact%22%3A%20%22compact%22%2C%20%22Balanced%22%3A%20%22balanced%22%2C%20%22Large%22%3A%20%22large%22%2C%20%22None%20feasible%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Deployability%20conclusion%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_choice%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Data%22%3A%20%22data%22%2C%20%22Model%22%3A%20%22model%22%2C%20%22Machine%22%3A%20%22machine%22%2C%20%22No%20action%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22First%20action%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%22Data%22%3A%20%22data%22%2C%20%22Model%22%3A%20%22model%22%2C%20%22Machine%22%3A%20%22machine%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%22More%20serialized%20work%22%3A%20%22demand%22%2C%20%22Harder%20population%22%3A%20%22population%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22More%20serialized%20work%22%2C%20label%3D%22Stress%20condition%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_demand%20%3D%20mo.ui.slider(1.05%2C%202.0%2C%20value%3D1.5%2C%20step%3D0.05%2C%20label%3D%22Work%20multiplier%22)%0A%20%20%20%20e_shift%20%3D%20mo.ui.slider(5%2C%2030%2C%20value%3D15%2C%20step%3D5%2C%20label%3D%22Additional%20difficult%20share%20(points)%22)%0A%20%20%20%20e_interval%20%3D%20mo.ui.slider(20%2C%20240%2C%20value%3Dint(TRACKS%5Btrack_id%5D%5B%22monitor_interval_ms%22%5D)%2C%20step%3D20%2C%20label%3D%22Monitoring%20interval%20(ms)%22)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_shift%2C%0A%20%20%20%20%20%20%20%20c_budget%2C%0A%20%20%20%20%20%20%20%20c_candidate%2C%0A%20%20%20%20%20%20%20%20c_conclusion%2C%0A%20%20%20%20%20%20%20%20d_choice%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_demand%2C%0A%20%20%20%20%20%20%20%20e_interval%2C%0A%20%20%20%20%20%20%20%20e_shift%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%20a_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Quality%20passes%3B%20runtime%20passes%22%3A%20%22Quality%20passes%3B%20runtime%20passes%22%2C%20%22Quality%20fails%3B%20runtime%20passes%22%3A%20%22Quality%20fails%3B%20runtime%20passes%22%2C%20%22Runtime%20fails%22%3A%20%22Runtime%20fails%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22After%20the%20stated%20shift%2C%20what%20crosses%20a%20requirement%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20A%20prediction%22)%0A%20%20%20%20b_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%221.00%E2%80%931.24%C3%97%22%3A%20%221.00-1.24%22%2C%20%221.25%E2%80%931.49%C3%97%22%3A%20%221.25-1.49%22%2C%20%221.50%E2%80%931.99%C3%97%22%3A%20%221.50-1.99%22%2C%20%22Exactly%202.00%C3%97%22%3A%20%222.00%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22End-to-end%20speedup%20after%202%C3%97%20compute%20capability%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20B%20prediction%22)%0A%20%20%20%20c_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Compact%20%C2%B7%20quality%22%3A%20%22Compact%3A%20quality%22%2C%20%22Balanced%20%C2%B7%20quality%2Fresource%22%3A%20%22Balanced%3A%20quality%20or%20resources%22%2C%20%22Large%20%C2%B7%20memory%2Flatency%2Fenergy%22%3A%20%22Large%3A%20memory%2C%20latency%2C%20or%20energy%22%2C%20%22No%20candidate%20fails%22%3A%20%22No%20candidate%20fails%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20candidate%20is%20most%20likely%20to%20fail%2C%20and%20why%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%22Data%22%3A%20%22data%22%2C%20%22Model%22%3A%20%22model%22%2C%20%22Machine%22%3A%20%22machine%22%2C%20%22None%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20equal-budget%20action%20should%20come%20first%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20D%20prediction%22)%0A%20%20%20%20e_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Quality%22%3A%20%22quality%22%2C%20%22Memory%22%3A%20%22memory%22%2C%20%22Latency%22%3A%20%22latency%22%2C%20%22Energy%22%3A%20%22energy%22%2C%20%22No%20crossing%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20requirement%20will%20the%20stated%20stress%20violate%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20E%20prediction%22)%0A%20%20%20%20return%20a_prediction%2C%20b_prediction%2C%20c_prediction%2C%20d_prediction%2C%20e_prediction%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_choice%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Improve%20data%20first%22%3A%20%22data%22%2C%20%22Change%20model%20first%22%3A%20%22model%22%2C%20%22Change%20machine%20first%22%3A%20%22machine%22%2C%20%22No%20change%20%2F%20hold%20for%20more%20evidence%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Recommendation%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_rejected%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Data%22%3A%20%22data%22%2C%20%22Model%22%3A%20%22model%22%2C%20%22Machine%22%3A%20%22machine%22%7D%2C%20label%3D%22Rejected%20alternative%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_trigger%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Quality%20below%20floor%22%3A%20%22quality%22%2C%20%22Latency%20above%20limit%22%3A%20%22latency%22%2C%20%22Memory%20or%20energy%20above%20limit%22%3A%20%22resource%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Reevaluation%20trigger%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_risk%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Population%20coverage%22%3A%20%22coverage%22%2C%20%22Demand%20growth%22%3A%20%22demand%22%2C%20%22Energy%20assumptions%22%3A%20%22energy%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Residual%20risk%22%2C%0A%20%20%20%20)%0A%20%20%20%20rationale%20%3D%20mo.ui.text_area(%0A%20%20%20%20%20%20%20%20label%3D%22Concise%20rationale%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Connect%20requirement%2C%20baseline%2C%20intervention%20consequence%2C%20and%20rejected%20alternative.%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20final_choice%2C%20final_rejected%2C%20final_risk%2C%20final_trigger%2C%20rationale%0A%0A%0A%40app.cell%0Adef%20_(TRACKS%2C%20track)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20profile%20%3D%20TRACKS%5Btrack_id%5D%0A%20%20%20%20return%20profile%2C%20track_id%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_shift%2C%0A%20%20%20%20c_budget%2C%0A%20%20%20%20c_candidate%2C%0A%20%20%20%20compare%2C%0A%20%20%20%20d_choice%2C%0A%20%20%20%20e_condition%2C%0A%20%20%20%20e_demand%2C%0A%20%20%20%20e_interval%2C%0A%20%20%20%20e_shift%2C%0A%20%20%20%20evaluate%2C%0A%20%20%20%20monitoring_plan%2C%0A%20%20%20%20population_compare%2C%0A%20%20%20%20stress_compare%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20a_base%20%3D%20evaluate(track_id%2C%20candidate%3D%22balanced%22)%0A%20%20%20%20a_result%20%3D%20evaluate(track_id%2C%20candidate%3D%22balanced%22%2C%20shift_pct%3Da_shift.value)%0A%20%20%20%20b_base%20%3D%20evaluate(track_id%2C%20candidate%3D%22balanced%22)%0A%20%20%20%20b_compute%20%3D%20compare(track_id%2C%20baseline%3Db_base%2C%20candidate%3D%22balanced%22%2C%20compute_scale%3D2.0)%0A%20%20%20%20b_movement%20%3D%20compare(track_id%2C%20baseline%3Db_base%2C%20candidate%3D%22balanced%22%2C%20movement_scale%3D2.0)%0A%20%20%20%20c_results%20%3D%20%7B%0A%20%20%20%20%20%20%20%20name%3A%20evaluate(track_id%2C%20candidate%3Dname%2C%20shift_pct%3Da_shift.value%2C%20budget_scale%3Dc_budget.value)%0A%20%20%20%20%20%20%20%20for%20name%20in%20(%22compact%22%2C%20%22balanced%22%2C%20%22large%22)%0A%20%20%20%20%7D%0A%20%20%20%20d_base%20%3D%20c_results%5Bc_candidate.value%5D%0A%20%20%20%20d_results%20%3D%20%7B%0A%20%20%20%20%20%20%20%20action%3A%20compare(%0A%20%20%20%20%20%20%20%20%20%20%20%20track_id%2C%20baseline%3Dd_base%2C%20candidate%3Dc_candidate.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20shift_pct%3Da_shift.value%2C%20budget_scale%3Dc_budget.value%2C%20intervention%3Daction%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20for%20action%20in%20(%22data%22%2C%20%22model%22%2C%20%22machine%22)%0A%20%20%20%20%7D%0A%20%20%20%20carried_action%20%3D%20d_choice.value%20or%20%22none%22%0A%20%20%20%20e_base%20%3D%20evaluate(%0A%20%20%20%20%20%20%20%20track_id%2C%20candidate%3Dc_candidate.value%2C%20shift_pct%3Da_shift.value%2C%0A%20%20%20%20%20%20%20%20budget_scale%3Dc_budget.value%2C%20intervention%3Dcarried_action%2C%0A%20%20%20%20)%0A%20%20%20%20if%20e_condition.value%20%3D%3D%20%22demand%22%3A%0A%20%20%20%20%20%20%20%20e_comparison%20%3D%20stress_compare(%0A%20%20%20%20%20%20%20%20%20%20%20%20track_id%2C%20candidate%3Dc_candidate.value%2C%20shift_pct%3Da_shift.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20intervention%3Dcarried_action%2C%20condition%3D%22demand%22%2C%20scale%3De_demand.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20budget_scale%3Dc_budget.value%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20e_setting%20%3D%20e_demand.value%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20e_comparison%20%3D%20population_compare(%0A%20%20%20%20%20%20%20%20%20%20%20%20track_id%2C%20candidate%3Dc_candidate.value%2C%20shift_pct%3Da_shift.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20shift_delta_pct%3De_shift.value%2C%20budget_scale%3Dc_budget.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20intervention%3Dcarried_action%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20e_setting%20%3D%20e_shift.value%0A%20%20%20%20monitor%20%3D%20monitoring_plan(%0A%20%20%20%20%20%20%20%20track_id%2C%20demand_scale%3De_demand.value%20if%20e_condition.value%20%3D%3D%20%22demand%22%20else%201.0%2C%0A%20%20%20%20%20%20%20%20check_interval_ms%3De_interval.value%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_base%2C%0A%20%20%20%20%20%20%20%20a_result%2C%0A%20%20%20%20%20%20%20%20b_base%2C%0A%20%20%20%20%20%20%20%20b_compute%2C%0A%20%20%20%20%20%20%20%20b_movement%2C%0A%20%20%20%20%20%20%20%20c_results%2C%0A%20%20%20%20%20%20%20%20carried_action%2C%0A%20%20%20%20%20%20%20%20d_base%2C%0A%20%20%20%20%20%20%20%20d_results%2C%0A%20%20%20%20%20%20%20%20e_base%2C%0A%20%20%20%20%20%20%20%20e_comparison%2C%0A%20%20%20%20%20%20%20%20e_setting%2C%0A%20%20%20%20%20%20%20%20monitor%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_base%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20a_shift%2C%0A%20%20%20%20b_base%2C%0A%20%20%20%20b_compute%2C%0A%20%20%20%20b_movement%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20c_budget%2C%0A%20%20%20%20c_candidate%2C%0A%20%20%20%20c_conclusion%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_results%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20carried_action%2C%0A%20%20%20%20d_base%2C%0A%20%20%20%20d_choice%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_base%2C%0A%20%20%20%20e_comparison%2C%0A%20%20%20%20e_condition%2C%0A%20%20%20%20e_interval%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_setting%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20monitor%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%20a_upstream%20%3D%20%7B%22candidate%22%3A%20%22balanced%22%2C%20%22shift_pct%22%3A%20a_shift.value%7D%0A%20%20%20%20b_upstream%20%3D%20%7B%22candidate%22%3A%20%22balanced%22%2C%20%22workload%22%3A%20%22fixed%22%2C%20%22capability%22%3A%20%22compute%22%2C%20%22scale%22%3A%202.0%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22shift_pct%22%3A%20a_shift.value%2C%20%22budget_scale%22%3A%20c_budget.value%2C%20%22candidate%22%3A%20c_candidate.value%2C%20%22conclusion%22%3A%20c_conclusion.value%7D%0A%20%20%20%20d_upstream%20%3D%20%7B**c_upstream%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%22intervention%22%3A%20carried_action%2C%20%22condition%22%3A%20e_condition.value%2C%20%22setting%22%3A%20e_setting%2C%20%22monitor_interval_ms%22%3A%20e_interval.value%7D%0A%0A%20%20%20%20a_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20population%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Da_prediction.value%20is%20None%20or%20a_shift.value%20%3D%3D%200%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%22shift_pct%22%3A%20a_shift.value%7D%2C%20baseline%3Da_base%2C%20result%3Da_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Da_upstream%2C%20model_key%3D%22constraint_explorer.evaluate%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%20capability%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%22capability%22%3A%20%22compute%22%2C%20%22scale%22%3A%202.0%7D%2C%20baseline%3Db_base%2C%20result%3Db_compute%5B%22result%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Db_upstream%2C%20alternatives%3D(b_compute%2C%20b_movement)%2C%20model_key%3D%22constraint_explorer.evaluate%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%20candidate%20comparison%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dc_prediction.value%20is%20None%20or%20c_conclusion.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%22conclusion%22%3A%20c_conclusion.value%2C%20%22carried_candidate%22%3A%20c_candidate.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dc_results%5B%22compact%22%5D%2C%20result%3Dc_results%5B%22large%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dc_upstream%2C%20alternatives%3Dtuple(c_results.values())%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dc_conclusion.value%2C%20model_key%3D%22constraint_explorer.evaluate%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20chosen_result%3Dc_results%5Bc_candidate.value%5D%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20d_invalid%20%3D%20d_prediction.value%20is%20None%20or%20d_choice.value%20is%20None%20or%20d_rejected.value%20is%20None%20or%20d_choice.value%20%3D%3D%20d_rejected.value%0A%20%20%20%20if%20d_choice.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20d_selected%20%3D%20d_base%0A%20%20%20%20elif%20d_choice.value%20%3D%3D%20%22none%22%3A%0A%20%20%20%20%20%20%20%20d_selected%20%3D%20d_results%5Bd_rejected.value%5D%5B%22result%22%5D%20if%20d_rejected.value%20in%20d_results%20else%20d_base%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20d_selected%20%3D%20d_results%5Bd_choice.value%5D%5B%22result%22%5D%0A%20%20%20%20d_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20equal-budget%20decision%22%2C%20kind%3D%22success%22%2C%20disabled%3Dd_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%2C%20%22tested_action%22%3A%20d_rejected.value%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20d_choice.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dd_base%2C%20result%3Dd_selected%2C%20upstream_inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Dtuple(d_results.values())%2C%20decision%3Dd_choice.value%2C%20model_key%3D%22constraint_explorer.evaluate%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20chosen_result%3Dd_base%20if%20d_choice.value%20%3D%3D%20%22none%22%20else%20d_selected%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%22chosen%20intervention%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%20stress%20evidence%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%20or%20(e_condition.value%20%3D%3D%20%22population%22%20and%20e_setting%20%3D%3D%200)%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%22condition%22%3A%20e_condition.value%2C%20%22setting%22%3A%20e_setting%2C%20%22monitor_interval_ms%22%3A%20e_interval.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3De_base%2C%20result%3De_comparison%5B%22result%22%5D%2C%20upstream_inputs%3De_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(monitor%2C)%2C%20decision%3De_prediction.value%2C%20model_key%3D%22constraint_explorer.evaluate%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%20profile%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.pilot-head%7Bbackground%3Alinear-gradient(135deg%2C%23101827%2C%231d4f78)%3Bcolor%3Awhite%3Bborder-radius%3A14px%3Bpadding%3Aclamp(18px%2C4vw%2C32px)%3Bmargin-bottom%3A14px%7D%0A%20%20%20%20.pilot-top%7Bdisplay%3Aflex%3Bjustify-content%3Aspace-between%3Bgap%3A8px%3Bflex-wrap%3Awrap%3Bfont%3A700%20.72rem%20ui-monospace%3Bletter-spacing%3A.08em%7D%0A%20%20%20%20.pilot-head%20h1%7Bfont-size%3Aclamp(1.65rem%2C5vw%2C2.65rem)%3Bline-height%3A1.05%3Bmargin%3A16px%200%208px%7D.pilot-head%20p%7Bcolor%3A%23dbeafe%3Bmax-width%3A760px%7D%0A%20%20%20%20.pilot-head%20select%7Bcolor%3A%230f172a%3Bbackground%3A%23fff%3Bmin-width%3A95px%3Bmax-width%3A100%25%7D%0A%20%20%20%20.pilot-note%7Bcolor%3A%23475569%3Bfont-size%3A.9rem%3Bline-height%3A1.5%3Bmargin%3A0%3Bpadding%3A0%202px%7D%0A%20%20%20%20.lab-hud%7Bdisplay%3Aflex%3Balign-items%3Acenter%3Bflex-wrap%3Awrap%3Bgap%3A10px%3Bbackground%3A%23101827!important%3Bcolor%3A%23fff%3Bpadding%3A14px%2018px%3Bborder-radius%3A9px%7D%0A%20%20%20%20.lab-hud%20.hud-label%7Bcolor%3A%23a7b9cf%7D.lab-hud%20.hud-value%7Bcolor%3A%23fff%7D.lab-hud%20.hud-active%7Bcolor%3A%2386efac%7D%0A%20%20%20%20.pilot-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(170px%2C1fr))%3Bgap%3A9px%3Bmargin-top%3A17px%7D.pilot-meta%20div%7Bbackground%3A%23ffffff14%3Bborder%3A1px%20solid%20%23ffffff26%3Bpadding%3A9px%2011px%3Bborder-radius%3A8px%7D%0A%20%20%20%20.saved%7Bborder-left%3A4px%20solid%20%232ca02c%3Bbackground%3A%23f0fdf4%3Bpadding%3A9px%2012px%3Bborder-radius%3A7px%7D.table-wrap%7Bmax-width%3A100%25%3Boverflow-x%3Aauto%7D%0A%20%20%20%20%40media(max-width%3A520px)%7B.pilot-head%7Bborder-radius%3A9px%3Bmargin-top%3A30px%7D.pilot-meta%7Bgrid-template-columns%3A1fr%7D%7D%0A%20%20%20%20%3C%2Fstyle%3E%22%22%22)%0A%20%20%20%20header%20%3D%20mo.Html(f%22%22%22%3Csection%20class%3D%22pilot-head%22%3E%3Cdiv%20class%3D%22pilot-top%22%3E%3Cspan%3EVOLUME%20I%20%C2%B7%20LAB%2001%3C%2Fspan%3E%3Cspan%3EABOUT%2050%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%3Ch1%3EEvidence%20Before%20Optimization%3C%2Fh1%3E%3Cp%3EWhat%20should%20we%20improve%20first%2C%20and%20what%20evidence%20makes%20that%20choice%20defensible%3F%3C%2Fp%3E%3Cdiv%20class%3D%22pilot-meta%22%3E%3Cdiv%3E%3Cb%3ETrack%3C%2Fb%3E%3Cbr%3E%7Bprofile%5B'display'%5D%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EContext%3C%2Fb%3E%3Cbr%3E%7Bprofile%5B'scenario'%5D%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EDeliverable%3C%2Fb%3E%3Cbr%3EEvidence-backed%20recommendation%3C%2Fdiv%3E%3C%2Fdiv%3E%3C%2Fsection%3E%22%22%22)%0A%20%20%20%20mo.vstack(%5BLAB_CSS%2C%20ACADEMIC_LAB_CSS%2C%20css%2C%20header%2C%20track%2C%20mo.Html('%3Cp%20class%3D%22pilot-note%22%3EAll%20tracks%20use%20illustrative%20workloads%20and%20quality%20rates.%20Equations%20and%20assumptions%20are%20available%20in%20each%20part%E2%80%99s%20Calculation%20Notes.%3C%2Fp%3E')%5D%2C%20gap%3D0.5)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.sidebar(%5Bmo.md(%22%23%23%20Lab%20navigation%22)%2C%20mo.outline(label%3D%22Sections%22)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20COLORS%2C%0A%20%20%20%20a_base%2C%0A%20%20%20%20a_capture%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20a_shift%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_base%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_compute%2C%0A%20%20%20%20b_movement%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20c_budget%2C%0A%20%20%20%20c_candidate%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_conclusion%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_results%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20carried_action%2C%0A%20%20%20%20d_base%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_choice%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_base%2C%0A%20%20%20%20e_capture%2C%0A%20%20%20%20e_comparison%2C%0A%20%20%20%20e_condition%2C%0A%20%20%20%20e_demand%2C%0A%20%20%20%20e_interval%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_shift%2C%0A%20%20%20%20e_upstream%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20go%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20monitor%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20upstream%20%3D%20%7B%22A%22%3Aa_upstream%2C%22B%22%3Ab_upstream%2C%22C%22%3Ac_upstream%2C%22D%22%3Ad_upstream%2C%22E%22%3Ae_upstream%7D%0A%20%20%20%20audit%20%3D%20audit_evidence(_captures%2C%20track%3Dtrack_id%2C%20required_parts%3Dtuple(%22ABCDE%22)%2C%20per_part_upstream_inputs%3Dupstream%2C%20contrast_required_parts%3D(%22A%22%2C%22B%22%2C%22C%22%2C%22D%22%2C%22E%22))%0A%0A%20%20%20%20def%20verdict(r)%3A%0A%20%20%20%20%20%20%20%20return%20%22PASS%22%20if%20r%5B%22feasible%22%5D%20else%20%22FAIL%20%C2%B7%20%22%20%2B%20%22%2C%20%22.join(r%5B%22violations%22%5D)%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%22100%25%22%2C%20%22overflow-x%22%3A%22auto%22%7D)%0A%20%20%20%20def%20saved(part)%3A%0A%20%20%20%20%20%20%20%20cap%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20if%20cap%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%20audit.stale%20or%20(part%2C%20part)%20in%20audit.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.**%20Live%20dependencies%20changed%2C%20or%20the%20saved%20runs%20are%20identical.%20Recapture.%22)%2C%20kind%3D%22danger%22)%0A%20%20%20%20%20%20%20%20data%20%3D%20cap.to_dict()%0A%20%20%20%20%20%20%20%20return%20mo.Html(f'%3Cdiv%20class%3D%22saved%22%3E%3Cb%3ESaved%20snapshot%3C%2Fb%3E%20%C2%B7%20original%20prediction%3A%20%7Bdata%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ETrack%20%7Bdata%5B%22track%22%5D%7D%3B%20the%20report%20uses%20this%20saved%20result%2C%20not%20later%20live%20controls.%3C%2Fsmall%3E%3C%2Fdiv%3E')%0A%0A%20%20%20%20def%20part_a()%3A%0A%20%20%20%20%20%20%20%20preface%20%3D%20mo.md(f%22%23%23%23%20A%20%C2%B7%20Can%20behavior%20fail%20without%20a%20code%20change%3F%20(8%20min)%5CnBaseline%20difficult%20share%3A%20**%7Ba_base%5B'difficult_share_pct'%5D%3A.0f%7D%25**.%20Easy%2Fdifficult%20assumed%20quality%3A%20**%7Ba_base%5B'easy_quality_pct'%5D%3A.0f%7D%25%20%2F%20%7Ba_base%5B'difficult_quality_pct'%5D%3A.0f%7D%25**.%20Quality%20floor%3A%20**%7Ba_base%5B'quality_floor_pct'%5D%3A.0f%7D%25**.%22)%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(%5Bpreface%2C%20a_shift%2C%20a_prediction%5D)%0A%20%20%20%20%20%20%20%20fig%3Dgo.Figure(%5Bgo.Bar(name%3D%22Difficult%20cohort%22%2Cx%3D%5B%22Baseline%22%2C%22Changed%22%5D%2Cy%3D%5Ba_base%5B%22difficult_share_pct%22%5D%2Ca_result%5B%22difficult_share_pct%22%5D%5D%2Cmarker_color%3DCOLORS%5B%22OrangeLine%22%5D)%5D)%0A%20%20%20%20%20%20%20%20fig.update_layout(height%3D245%2Cmargin%3Ddict(l%3D20%2Cr%3D20%2Ct%3D20%2Cb%3D20)%2Cyaxis_title%3D%22Difficult-cohort%20share%20(%25)%22%2Cshowlegend%3DFalse)%0A%20%20%20%20%20%20%20%20rows%3D%5B%7B%22Run%22%3A%22Baseline%22%2C%22Weighted%20quality%22%3Af%22%7Ba_base%5B'quality_pct'%5D%3A.1f%7D%25%22%2C%22Floor%22%3Af%22%7Ba_base%5B'quality_floor_pct'%5D%3A.1f%7D%25%22%2C%22Runtime%22%3A%22PASS%22%20if%20a_base%5B%22runtime_feasible%22%5D%20else%20%22FAIL%22%7D%2C%7B%22Run%22%3A%22Changed%22%2C%22Weighted%20quality%22%3Af%22%7Ba_result%5B'quality_pct'%5D%3A.1f%7D%25%22%2C%22Floor%22%3Af%22%7Ba_result%5B'quality_floor_pct'%5D%3A.1f%7D%25%22%2C%22Runtime%22%3A%22PASS%22%20if%20a_result%5B%22runtime_feasible%22%5D%20else%20%22FAIL%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bpreface%2Ca_shift%2Ca_prediction%2Capply_plotly_theme(fig)%2Ctable(rows)%2Cmo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Ba_prediction.value%7D.%20**Result%3A**%20quality%20%7Ba_base%5B'quality_pct'%5D%3A.1f%7D%25%20%E2%86%92%20%7Ba_result%5B'quality_pct'%5D%3A.1f%7D%25%3B%20runtime%20remains%20%7B'healthy'%20if%20a_result%5B'runtime_feasible'%5D%20else%20'failed'%7D.%20Monitoring%20observes%20outcomes%3B%20it%20does%20not%20repair%20the%20model.%22)%2Ckind%3D%22info%22)%2Ca_capture%2Csaved(%22A%22)%2Cmo.accordion(%7B%22Calculation%20Notes%22%3Amo.md(%22Quality%20%3D%20easy-cohort%20share%20%C3%97%20easy-cohort%20quality%20%2B%20difficult-cohort%20share%20%C3%97%20difficult-cohort%20quality.%20These%20are%20supplied%20scenario%20rates%2C%20not%20a%20claim%20that%20every%20population%20change%20reduces%20accuracy.%20The%20model%2C%20weights%2C%20and%20machine%20stay%20fixed.%20Explain%20which%20additional%20cohort%20evidence%20you%20would%20collect%20before%20blaming%20model%20capacity.%22)%7D)%5D)%0A%0A%20%20%20%20def%20part_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(f%22%23%23%23%20B%20%C2%B7%20Which%20improvement%20speeds%20up%20the%20whole%20system%3F%20(10%20min)%5CnBaseline%20terms%3A%20movement%20**%7Bb_base%5B'movement_ms'%5D%3A.1f%7D%20ms**%2C%20compute%20**%7Bb_base%5B'compute_ms'%5D%3A.1f%7D%20ms**%2C%20overhead%20**%7Bb_base%5B'overhead_ms'%5D%3A.1f%7D%20ms**.%20Predict%20the%20result%20of%202%C3%97%20compute%20capability.%22)%2Cb_prediction%5D)%0A%20%20%20%20%20%20%20%20fig%3Dgo.Figure()%0A%20%20%20%20%20%20%20%20for%20label%2Cr%20in%20((%22Baseline%22%2Cb_base)%2C(%222%C3%97%20compute%22%2Cb_compute%5B%22result%22%5D)%2C(%222%C3%97%20movement%22%2Cb_movement%5B%22result%22%5D))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20for%20term%2Ccolor%20in%20((%22movement_ms%22%2CCOLORS%5B%22BlueLine%22%5D)%2C(%22compute_ms%22%2CCOLORS%5B%22OrangeLine%22%5D)%2C(%22overhead_ms%22%2CCOLORS%5B%22GreenLine%22%5D))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20fig.add_bar(name%3Dterm%5B%3A-3%5D.title()%2Cx%3D%5Blabel%5D%2Cy%3D%5Br%5Bterm%5D%5D%2Cmarker_color%3Dcolor%2Clegendgroup%3Dterm%2Cshowlegend%3Dlabel%3D%3D%22Baseline%22)%0A%20%20%20%20%20%20%20%20fig.update_layout(barmode%3D%22stack%22%2Cheight%3D270%2Cmargin%3Ddict(l%3D20%2Cr%3D20%2Ct%3D20%2Cb%3D20)%2Cyaxis_title%3D%22Additive%20latency%20(ms)%22%2Clegend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20rows%3D%5B%7B%22Case%22%3A%222%C3%97%20compute%22%2C%22Latency%22%3Af%22%7Bb_compute%5B'result'%5D%5B'latency_ms'%5D%3A.2f%7D%20ms%22%2C%22Speedup%22%3Af%22%7Bb_compute%5B'speedup'%5D%3A.2f%7D%C3%97%22%7D%2C%7B%22Case%22%3A%222%C3%97%20movement%22%2C%22Latency%22%3Af%22%7Bb_movement%5B'result'%5D%5B'latency_ms'%5D%3A.2f%7D%20ms%22%2C%22Speedup%22%3Af%22%7Bb_movement%5B'speedup'%5D%3A.2f%7D%C3%97%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20B%20%C2%B7%20Which%20improvement%20speeds%20up%20the%20whole%20system%3F%20(10%20min)%22)%2Cb_prediction%2Capply_plotly_theme(fig)%2Ctable(rows)%2Cmo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bb_prediction.value%7D.%20**Result%3A**%202%C3%97%20compute%20produces%20**%7Bb_compute%5B'speedup'%5D%3A.2f%7D%C3%97**%20end-to-end%20speedup%3B%20the%20equal%20capability%20change%20to%20movement%20produces%20**%7Bb_movement%5B'speedup'%5D%3A.2f%7D%C3%97**.%22)%2Ckind%3D%22info%22)%2Cb_capture%2Csaved(%22B%22)%2Cmo.accordion(%7B%22Calculation%20Notes%22%3Amo.vstack(%5Bmo.md(%22No-overlap%20assumption%3A%20time%20%3D%20bytes%20moved%20%2F%20bandwidth%20%2B%20operations%20%2F%20effective%20compute%20rate%20%2B%20overhead.%20Doubling%20capability%20halves%20only%20its%20term.%20Speedup%20%3D%20baseline%20time%20%2F%20changed%20time.%20Explain%20why%20the%20same%20component%20improvement%20has%20a%20different%20payoff%20when%20another%20term%20dominates.%22)%2C%20table(%5B%7B%22Bytes%20moved%22%3A%20f%22%7Bb_base%5B'movement_volume_mb'%5D%3A.2f%7D%20MB%22%2C%20%22Bandwidth%22%3A%20f%22%7Bb_base%5B'bandwidth_mb_per_ms'%5D%3A.2f%7D%20MB%2Fms%22%2C%20%22Operations%22%3A%20f%22%7Bb_base%5B'ops_mflop'%5D%3A.2f%7D%20MFLOP%22%2C%20%22Effective%20compute%20rate%22%3A%20f%22%7Bb_base%5B'effective_rate_mflop_per_ms'%5D%3A.2f%7D%20MFLOP%2Fms%22%7D%5D)%5D)%7D)%5D)%0A%0A%20%20%20%20def%20part_c()%3A%0A%20%20%20%20%20%20%20%20preview%3Dtable(%5B%7B%22Candidate%22%3An.title()%2C%22Modeled%20work%20scale%22%3Af%22%7Br%5B'candidate_scale'%5D%3A.2f%7D%C3%97%22%2C%22Modeled%20operations%22%3Af%22%7Br%5B'ops_mflop'%5D%3A.1f%7D%20MFLOP%22%2C%22Modeled%20memory%22%3Af%22%7Br%5B'memory_mb'%5D%3A.1f%7D%20MB%22%7D%20for%20n%2Cr%20in%20c_results.items()%5D)%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%20Is%20the%20higher-quality%20model%20deployable%3F%20(10%20min)%5CnUse%20the%20visible%20candidate%20scale%20and%20deployment%20envelope%20to%20predict%20a%20likely%20failure.%22)%2Cpreview%2Cc_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%3D%5B%7B%22Candidate%22%3An.title()%2C%22Quality%22%3Af%22%7Br%5B'quality_pct'%5D%3A.1f%7D%2F%7Br%5B'quality_floor_pct'%5D%3A.1f%7D%25%22%2C%22Memory%22%3Af%22%7Br%5B'memory_mb'%5D%3A.1f%7D%2F%7Br%5B'memory_limit_mb'%5D%3A.1f%7D%20MB%22%2C%22Latency%22%3Af%22%7Br%5B'latency_ms'%5D%3A.1f%7D%2F%7Br%5B'latency_limit_ms'%5D%3A.1f%7D%20ms%22%2C%22Energy%22%3Af%22%7Br%5B'energy_mj'%5D%3A.2f%7D%2F%7Br%5B'energy_limit_mj'%5D%3A.2f%7D%20mJ%22%2C%22Outcome%22%3Averdict(r)%7D%20for%20n%2Cr%20in%20c_results.items()%5D%0A%20%20%20%20%20%20%20%20chosen%3Dc_results%5Bc_candidate.value%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20C%20%C2%B7%20Is%20the%20higher-quality%20model%20deployable%3F%20(10%20min)%5CnQuality%20percentages%20apply%20only%20to%20this%20shared%20task%20and%20population.%22)%2Cc_prediction%2Cmo.hstack(%5Bc_budget%2Cc_candidate%5D%2Cwidths%3D%22equal%22%2Cwrap%3DTrue)%2Ctable(rows)%2Cc_conclusion%2Cmo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bc_prediction.value%7D.%20**Carried%20candidate%3A**%20%7Bc_candidate.value%7D%3B%20%7Bverdict(chosen)%7D.%20Higher%20modeled%20quality%20carries%20visible%20memory%2C%20latency%2C%20and%20energy%20costs.%20If%20none%20is%20feasible%2C%20carry%20one%20candidate%20into%20Part%20D%20to%20test%20whether%20any%20action%20rescues%20it.%22)%2Ckind%3D%22success%22%20if%20chosen%5B%22feasible%22%5D%20else%20%22danger%22)%2Cc_capture%2Csaved(%22C%22)%2Cmo.accordion(%7B%22Calculation%20Notes%22%3Amo.md(%22The%20deployment-envelope%20scale%20changes%20the%20scenario%20limits.%20Candidate%20scale%20changes%20model%20memory%2C%20operations%2C%20and%20movement%20volume%3B%20overhead%20stays%20fixed.%20Quality%20comes%20from%20supplied%20cohort%20rates%20for%20each%20candidate%2C%20not%20a%20universal%20size-to-accuracy%20law.%20Every%20requirement%20must%20pass.%20Explain%20which%20requirement%20rules%20out%20the%20attractive%20alternative%20and%20which%20assumption%20you%20would%20verify%20on%20a%20real%20device.%22)%7D)%5D)%0A%0A%20%20%20%20def%20part_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(f%22%23%23%23%20D%20%C2%B7%20What%20should%20we%20improve%20first%3F%20(10%20min)%5CnAll%20actions%20start%20from%20**%7Bc_candidate.value%7D**%20with%20a%20%7Ba_shift.value%3A.0f%7D-point%20population%20shift%20and%20cost%20one%20budget%20unit.%22)%2Cd_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%3D%5B%7B%22Action%22%3A%22No%20change%22%2C%22Cost%22%3Af%220%2F%7Bd_base%5B'budget'%5D%3A.1f%7D%22%2C%22Quality%22%3Af%22%7Bd_base%5B'quality_pct'%5D%3A.1f%7D%25%22%2C%22Latency%22%3Af%22%7Bd_base%5B'latency_ms'%5D%3A.1f%7D%20ms%22%2C%22Energy%22%3Af%22%7Bd_base%5B'energy_mj'%5D%3A.2f%7D%20mJ%22%2C%22Outcome%22%3Averdict(d_base)%7D%5D%0A%20%20%20%20%20%20%20%20rows%20%2B%3D%20%5B%7B%22Action%22%3Aname.title()%2C%22Cost%22%3Af%22%7Bcmp%5B'result'%5D%5B'intervention_cost'%5D%3A.1f%7D%2F%7Bcmp%5B'result'%5D%5B'budget'%5D%3A.1f%7D%22%2C%22Quality%22%3Af%22%7Bcmp%5B'result'%5D%5B'quality_pct'%5D%3A.1f%7D%25%22%2C%22Latency%22%3Af%22%7Bcmp%5B'result'%5D%5B'latency_ms'%5D%3A.1f%7D%20ms%22%2C%22Energy%22%3Af%22%7Bcmp%5B'result'%5D%5B'energy_mj'%5D%3A.2f%7D%20mJ%22%2C%22Outcome%22%3Averdict(cmp%5B'result'%5D)%7D%20for%20name%2Ccmp%20in%20d_results.items()%5D%0A%20%20%20%20%20%20%20%20chosen%3Dd_base%20if%20d_choice.value%20in%20(None%2C%22none%22)%20else%20d_results%5Bd_choice.value%5D%5B%22result%22%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20D%20%C2%B7%20What%20should%20we%20improve%20first%3F%20(10%20min)%5CnCompare%20all%20three%20complete%20outcomes%20against%20one%20equal-budget%20baseline.%22)%2Cd_prediction%2Ctable(rows)%2Cmo.hstack(%5Bd_choice%2Cd_rejected%5D%2Cwidths%3D%22equal%22%2Cwrap%3DTrue)%2Cmo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bd_prediction.value%7D.%20**Chosen%20live%20outcome%3A**%20%7Bverdict(chosen)%7D.%20Record%20a%20different%20rejected%20action%20and%20the%20requirement%20it%20leaves%20unresolved%20or%20worsens.%22)%2Ckind%3D%22info%22)%2Cd_capture%2Csaved(%22D%22)%2Cmo.accordion(%7B%22Calculation%20Notes%22%3Amo.vstack(%5Bmo.md(%22Actions%20share%20the%20same%20baseline%20candidate%2C%20population%2C%20envelope%2C%20and%20intervention%20budget.%20The%20following%20assumed%20outcomes%20define%20this%20experiment%3B%20they%20are%20not%20guarantees%20about%20an%20actual%20optimization.%20Explain%20what%20the%20selected%20action%20improves%2C%20what%20it%20costs%2C%20and%20why%20another%20action%20is%20less%20defensible.%22)%2C%20table(%5B%7B%22Action%22%3A%20name.title()%2C%20%22Scenario%20assumption%22%3A%20cmp%5B%22result%22%5D%5B%22intervention_assumption%22%5D%7D%20for%20name%2C%20cmp%20in%20d_results.items()%5D)%5D)%7D)%5D)%0A%0A%20%20%20%20def%20part_e()%3A%0A%20%20%20%20%20%20%20%20stress_control%3De_demand%20if%20e_condition.value%3D%3D%22demand%22%20else%20e_shift%0A%20%20%20%20%20%20%20%20context%3Dmo.md(f%22%23%23%23%20E%20%C2%B7%20Does%20the%20decision%20survive%20changed%20conditions%3F%20(7%20min)%5CnPreserved%20design%3A%20**%7Bc_candidate.value%7D**%2C%20population%20shift%20**%7Ba_shift.value%3A.0f%7D%20points**%2C%20intervention%20**%7Bcarried_action%7D**.%20Set%20one%20stress%20before%20locking%20the%20boundary%20prediction.%22)%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(%5Bcontext%2Ce_condition%2Cstress_control%2Ce_prediction%5D)%0A%20%20%20%20%20%20%20%20stressed%3De_comparison%5B%22result%22%5D%0A%20%20%20%20%20%20%20%20rows%3D%5B%7B%22Condition%22%3A%22Preserved%20design%22%2C%22Quality%22%3Af%22%7Be_base%5B'quality_pct'%5D%3A.1f%7D%25%22%2C%22Latency%22%3Af%22%7Be_base%5B'latency_ms'%5D%3A.1f%7D%20ms%22%2C%22Outcome%22%3Averdict(e_base)%7D%2C%7B%22Condition%22%3A%22Stress%22%2C%22Quality%22%3Af%22%7Bstressed%5B'quality_pct'%5D%3A.1f%7D%25%22%2C%22Latency%22%3Af%22%7Bstressed%5B'latency_ms'%5D%3A.1f%7D%20ms%22%2C%22Outcome%22%3Averdict(stressed)%7D%5D%0A%20%20%20%20%20%20%20%20monitor_rows%3D%5B%7B%22Expected%20delay%22%3Af%22%7Bmonitor%5B'detection_delay_ms'%5D%3A.0f%7D%20ms%22%2C%22Maximum%20delay%22%3Af%22%7Bmonitor%5B'maximum_detection_delay_ms'%5D%3A.0f%7D%20ms%22%2C%22Checks%2Fwindow%22%3Af%22%7Bmonitor%5B'checks_per_window'%5D%3A.1f%7D%22%2C%22Monitoring%20effort%22%3Af%22%7Bmonitor%5B'total_check_effort_mj'%5D%3A.3f%7D%20mJ%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bcontext%2Ce_condition%2Cstress_control%2Ce_prediction%2Ctable(rows)%2Cmo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Be_prediction.value%7D.%20**Stress%20result%3A**%20%7Bverdict(stressed)%7D.%20Monitoring%20leaves%20quality%20at%20%7Bstressed%5B'quality_pct'%5D%3A.1f%7D%25%3B%20it%20changes%20detection%20delay%20and%20inspection%20effort.%22)%2Ckind%3D%22danger%22%20if%20not%20stressed%5B%22feasible%22%5D%20else%20%22success%22)%2Cmo.hstack(%5Be_interval%2Ctable(monitor_rows)%5D%2Cwidths%3D%22equal%22%2Cwrap%3DTrue)%2Ce_capture%2Csaved(%22E%22)%2Cmo.accordion(%7B%22Calculation%20Notes%22%3Amo.md(%22Demand%20multiplies%20serialized%20operations%2C%20movement%2C%20and%20overhead%3B%20this%20is%20not%20a%20queue%20model.%20Population%20stress%20changes%20cohort%20weighting%20while%20holding%20the%20chosen%20intervention%20fixed.%20Monitoring%20assumes%20uniform%20failure%20arrival%20between%20instantaneous%20checks%3A%20expected%20delay%20is%20half%20the%20interval%20and%20maximum%20delay%20is%20one%20interval.%20Shorter%20intervals%20cost%20more%20checks%20without%20repairing%20quality.%20Explain%20which%20observed%20signal%20would%20justify%20revisiting%20the%20decision%2C%20and%20what%20evidence%20is%20still%20missing%20before%20repair.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_synthesis()%3A%0A%20%20%20%20%20%20%20%20rows%3D%5B%5D%0A%20%20%20%20%20%20%20%20for%20p%20in%20%22ABCDE%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20cap%3D_captures.get(p)%0A%20%20%20%20%20%20%20%20%20%20%20%20rows.append(%7B%22Part%22%3Ap%2C%22Original%20prediction%22%3Acap.to_dict()%5B%22prediction%22%5D%20if%20cap%20else%20%22%E2%80%94%22%2C%22Evidence%22%3A%22CURRENT%22%20if%20cap%20and%20p%20not%20in%20audit.stale%20and%20(p%2Cp)%20not%20in%20audit.identical_pairs%20else%20(%22STALE%22%20if%20cap%20else%20%22MISSING%22)%7D)%0A%20%20%20%20%20%20%20%20_d_decision%20%3D%20_captures%5B%22D%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22D%22%20in%20_captures%20else%20None%0A%20%20%20%20%20%20%20%20complete%3Daudit.complete%20and%20all(w.value%20is%20not%20None%20for%20w%20in%20(final_choice%2Cfinal_rejected%2Cfinal_trigger%2Cfinal_risk))%20and%20bool(rationale.value.strip())%20and%20final_choice.value!%3Dfinal_rejected.value%20and%20final_choice.value%3D%3D_d_decision%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Defend%20one%20recommendation%20(5%20min)%5CnBuild%20the%20chain%3A%20**requirement%20%E2%86%92%20baseline%20%E2%86%92%20hypothesis%20%E2%86%92%20intervention%20%E2%86%92%20consequence%20%E2%86%92%20rejected%20alternative%20%E2%86%92%20remaining%20constraint%20%E2%86%92%20reevaluation%20trigger**.%22)%2Ctable(rows)%2Cmo.callout(mo.md(%22Saved%20snapshots%20remain%20fixed%20while%20live%20controls%20move.%20Recapture%20stale%20evidence%20before%20generating%20the%20report.%22)%2Ckind%3D%22info%22)%2Cmo.hstack(%5Bfinal_choice%2Cfinal_rejected%5D%2Cwidths%3D%22equal%22%2Cwrap%3DTrue)%2Cmo.hstack(%5Bfinal_trigger%2Cfinal_risk%5D%2Cwidths%3D%22equal%22%2Cwrap%3DTrue)%2Crationale%2Cmo.callout(mo.md(%22**Ready%20for%20the%20local%20report.**%22%20if%20complete%20else%20%22Complete%20five%20current%20contrasts%2C%20match%20the%20recommendation%20to%20the%20saved%20Part%20D%20decision%2C%20choose%20a%20different%20rejected%20action%2C%20and%20add%20the%20rationale.%22)%2Ckind%3D%22success%22%20if%20complete%20else%20%22warn%22)%5D)%0A%0A%20%20%20%20tabs%20%3D%20mo.ui.tabs(%7B%22Part%20A%22%3Apart_a()%2C%22Part%20B%22%3Apart_b()%2C%22Part%20C%22%3Apart_c()%2C%22Part%20D%22%3Apart_d()%2C%22Part%20E%22%3Apart_e()%2C%22Synthesis%22%3Abuild_synthesis()%7D)%0A%20%20%20%20tabs%0A%20%20%20%20return%20(audit%2C)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20audit%2C%0A%20%20%20%20build_lab_report%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%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%20profile%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20report_export_panel%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%3Dget_evidence()%0A%20%20%20%20_d_decision%3D_captures%5B%22D%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22D%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%3Daudit.complete%20and%20all(w.value%20is%20not%20None%20for%20w%20in%20(final_choice%2Cfinal_rejected%2Cfinal_trigger%2Cfinal_risk))%20and%20bool(rationale.value.strip())%20and%20final_choice.value!%3Dfinal_rejected.value%20and%20final_choice.value%3D%3D_d_decision%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20snapshots%3D%7Bp%3A_captures%5Bp%5D.to_dict()%20for%20p%20in%20%22ABCDE%22%7D%0A%20%20%20%20report%3Dbuild_lab_report(%0A%20%20%20%20%20%20%20%20get_lab_metadata(%22vol1%2Flab_01_ml_intro.py%22)%2C%20track%3Dtrack_id%2C%20scenario%3Dprofile%5B%22scenario%22%5D%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%22Diagnose%20data%2C%20model%2C%20and%20machine%20constraints%20with%20controlled%20contrasts%22%2C%22Compare%20component%20changes%20from%20one%20baseline%22%2C%22Defend%20a%20bounded%20recommendation%20and%20reevaluation%20trigger%22%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7Bp%3Asnapshots%5Bp%5D%5B%22prediction%22%5D%20for%20p%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20knob_settings%3D%7Bp%3Asnapshots%5Bp%5D%5B%22inputs%22%5D%20for%20p%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20evidence_summary%3D%7Bp%3A%7B%22baseline%22%3Asnapshots%5Bp%5D%5B%22baseline%22%5D%2C%22result%22%3Asnapshots%5Bp%5D%5B%22result%22%5D%2C%22result_role%22%3Asnapshots%5Bp%5D%5B%22result_role%22%5D%2C%22chosen_result%22%3Asnapshots%5Bp%5D%5B%22chosen_result%22%5D%2C%22alternatives%22%3Asnapshots%5Bp%5D%5B%22alternatives%22%5D%7D%20for%20p%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7Bp%3A(snapshots%5Bp%5D%5B%22chosen_result%22%5D%20or%20snapshots%5Bp%5D%5B%22result%22%5D)%5B%22violations%22%5D%20for%20p%20in%20%22ACDE%22%7D%2C%0A%20%20%20%20%20%20%20%20decisions%3D%7B%22recommendation%22%3Afinal_choice.value%2C%22rejected_alternative%22%3Afinal_rejected.value%2C%22reevaluation_trigger%22%3Afinal_trigger.value%7D%2C%0A%20%20%20%20%20%20%20%20final_decision%3D%7B%22recommendation%22%3Afinal_choice.value%2C%22rejected_alternative%22%3Afinal_rejected.value%2C%22rationale%22%3Arationale.value%7D%2C%0A%20%20%20%20%20%20%20%20big_takeaways%3D%5B%22Population%20changes%20can%20alter%20learned%20behavior%20with%20fixed%20code.%22%2C%22Sequential%20time%20limits%20component-only%20speedups.%22%2C%22Deployability%20requires%20quality%20and%20operational%20evidence%20together.%22%5D%2C%0A%20%20%20%20%20%20%20%20reflections%3D%7B%22rationale%22%3Arationale.value%2C%22monitor_trigger%22%3Afinal_trigger.value%7D%2C%20residual_risk%3Dfinal_risk.value%2C%0A%20%20%20%20%20%20%20%20result_snapshot%3D%7B%22track%22%3Atrack_id%2C%22captures%22%3Asnapshots%2C%22recommendation%22%3Afinal_choice.value%2C%22rejected%22%3Afinal_rejected.value%2C%22trigger%22%3Afinal_trigger.value%2C%22residual_risk%22%3Afinal_risk.value%7D%2C%0A%20%20%20%20%20%20%20%20source_trace%3D%7B%22scenario%22%3A%22Illustrative%20assumptions%3B%20not%20a%20hardware%20benchmark.%22%2C%22calculations%22%3A%22MLSysIM%20constraint%20explorer%20equations.%22%7D%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5Bmo.md(%22%23%23%20Local%20evidence%20report%22)%2Creport_export_panel(report)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Aasync%20def%20_(%0A%20%20%20%20audit%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20ledger%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%3Dget_evidence()%0A%20%20%20%20_d_decision%3D_captures%5B%22D%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22D%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%3Daudit.complete%20and%20all(w.value%20is%20not%20None%20for%20w%20in%20(final_choice%2Cfinal_rejected%2Cfinal_trigger%2Cfinal_risk))%20and%20bool(rationale.value.strip())%20and%20final_choice.value!%3Dfinal_rejected.value%20and%20final_choice.value%3D%3D_d_decision%0A%20%20%20%20_status%20%3D%20%22EVIDENCE%20IN%20PROGRESS%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%20ledger.save(chapter%3D1%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%22v1_01%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%22constraint_explorer%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22recommendation%22%3A%20final_choice.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22rejected_alternative%22%3A%20final_rejected.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22reevaluation_trigger%22%3A%20final_trigger.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22residual_risk%22%3A%20final_risk.value%2C%20%22rationale%22%3A%20rationale.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22evidence%22%3A%20%7Bp%3A%20c.to_dict()%20for%20p%2C%20c%20in%20_captures.items()%7D%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%20except%20Exception%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_status%20%3D%20%22LOCAL%20SAVE%20FAILED%20%C2%B7%20DOWNLOAD%20THE%20REPORT%20TO%20KEEP%20YOUR%20EVIDENCE%22%0A%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_status%20%3D%20%22SAVED%22%0A%20%20%20%20mo.Html(f'%3Cdiv%20class%3D%22lab-hud%22%20style%3D%22display%3Aflex%3Bflex-wrap%3Awrap%3Bgap%3A10px%3Balign-items%3Acenter%3Bbackground%3A%23101827%3Bcolor%3A%23fff%3Bpadding%3A14px%2018px%3Bborder-radius%3A9px%3Bfont-family%3Aui-monospace%2Cmonospace%22%3E%3Cspan%3ELAB%2001%20%C2%B7%20Evidence%20Before%20Optimization%20%C2%B7%20STATUS%3A%20%7B_status%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