Lab 09: Optimize the Path

Lab 09: Optimize the Path · 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%2009%3A%20Optimize%20the%20Path%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.v2_09_experiments%20import%20(%0A%20%20%20%20%20%20%20%20MODEL_ID%2C%20TRACKS%2C%20compare_configs%2C%20evaluate%2C%20get_scenario%2C%0A%20%20%20%20%20%20%20%20quantity_from_dict%2C%20result_to_dict%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%0A%20%20%20%20%20%20%20%20get_lab_track_variant%2C%20get_track_profile%2C%20report_export_panel%2C%0A%20%20%20%20%20%20%20%20track_context%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%20MODEL_ID%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_configs%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%20get_lab_track_variant%2C%0A%20%20%20%20%20%20%20%20get_scenario%2C%0A%20%20%20%20%20%20%20%20get_track_profile%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%20quantity_from_dict%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20%20%20%20%20result_to_dict%2C%0A%20%20%20%20%20%20%20%20track_context%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_(%0A%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20get_lab_track_variant%2C%0A%20%20%20%20get_scenario%2C%0A%20%20%20%20get_track_profile%2C%0A%20%20%20%20track%2C%0A)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20scenario%20%3D%20get_scenario(track_id)%0A%20%20%20%20track_profile%20%3D%20get_track_profile(track_id)%0A%20%20%20%20_metadata%20%3D%20get_lab_metadata(%22vol2%2Flab_09_perf_engineering.py%22)%0A%20%20%20%20track_variant%20%3D%20get_lab_track_variant(_metadata.lab_id%2C%20track_id)%0A%20%20%20%20return%20scenario%2C%20track_id%2C%20track_profile%2C%20track_variant%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_batch%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%222%20items%22%3A%202%2C%20%224%20items%22%3A%204%2C%20%228%20items%22%3A%208%7D%2C%20value%3D%224%20items%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Items%20per%20execution%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_lever%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Fuse%20operators%22%3A%20%22fusion%22%2C%20%22Tile%20for%20reuse%22%3A%20%22tiling%22%2C%0A%20%20%20%20%20%20%20%20%20%22Combine%20fusion%20and%20tiling%22%3A%20%22combined%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Fuse%20operators%22%2C%20label%3D%22Path%20rewrite%20to%20test%22%2C%0A%20%20%20%20)%0A%20%20%20%20_precision_options%20%3D%20%7B%0A%20%20%20%20%20%20%20%20item.precision.upper()%3A%20item.precision%0A%20%20%20%20%20%20%20%20for%20item%20in%20TRACKS%5Btrack_id%5D.precision_evidence%0A%20%20%20%20%7D%0A%20%20%20%20c_precision%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20_precision_options%2C%20value%3DTRACKS%5Btrack_id%5D.default_precision.upper()%2C%0A%20%20%20%20%20%20%20%20label%3D%22Execution%20precision%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_reuse%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%221%20run%22%3A%201%2C%20%22100%20runs%22%3A%20100%2C%20%22100%2C000%20runs%22%3A%20100_000%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22100%2C000%20runs%22%2C%20label%3D%22Compiled-region%20reuse%22%2C%0A%20%20%20%20)%0A%20%20%20%20_stress_options%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22tinyml%22%3A%20%7B%228%20items%22%3A%208%2C%20%2232%20items%22%3A%2032%2C%20%2264%20items%22%3A%2064%7D%2C%0A%20%20%20%20%20%20%20%20%22mobile%22%3A%20%7B%228%20items%22%3A%208%2C%20%2264%20items%22%3A%2064%2C%20%221%2C000%20items%22%3A%201_000%7D%2C%0A%20%20%20%20%20%20%20%20%22edge%22%3A%20%7B%228%20items%22%3A%208%2C%20%2264%20items%22%3A%2064%2C%20%22400%20items%22%3A%20400%7D%2C%0A%20%20%20%20%20%20%20%20%22cloud%22%3A%20%7B%228%20items%22%3A%208%2C%20%2216%20items%22%3A%2016%2C%20%2264%20items%22%3A%2064%7D%2C%0A%20%20%20%20%7D%0A%20%20%20%20d_batch%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20_stress_options%5Btrack_id%5D%2C%20value%3Dlist(_stress_options%5Btrack_id%5D)%5B1%5D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Fleet-unit%20batch%20under%20stress%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20a_batch%2C%20b_lever%2C%20c_precision%2C%20c_reuse%2C%20d_batch%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%22Memory%20traffic%22%3A%20%22memory%22%2C%20%22Compute%22%3A%20%22compute%22%2C%0A%20%20%20%20%20%20%20%20%20%22Launch%20or%20compile%20overhead%22%3A%20%22overhead%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20term%20binds%20the%20initial%20batch%20probe%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%22Fusion%22%3A%20%22fusion%22%2C%20%22Tiling%22%3A%20%22tiling%22%2C%20%22Combined%22%3A%20%22combined%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20rewrite%20will%20deliver%20the%20largest%20end-to-end%20speedup%3F%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%22Setup%20dominates%22%3A%20%22setup%22%2C%20%22Runtime%20saving%20dominates%22%3A%20%22runtime%22%2C%0A%20%20%20%20%20%20%20%20%20%22Precision%20dominates%22%3A%20%22precision%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20determines%20whether%20the%20compiled%20candidate%20wins%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%22Fits%20per%20fleet%20unit%22%3A%20%22fit%22%2C%20%22Exceeds%20per-unit%20memory%22%3A%20%22fail%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Will%20the%20stressed%20batch%20fit%20one%20execution%20unit%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20D%20prediction%22)%0A%20%20%20%20return%20a_prediction%2C%20b_prediction%2C%20c_prediction%2C%20d_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%20c_decision%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Carry%20compiled%20precision%22%3A%20%22compiled%22%2C%20%22Keep%20the%20path%20rewrite%22%3A%20%22rewrite%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Configuration%20to%20carry%20into%20the%20boundary%20test%22%2C%0A%20%20%20%20)%0A%20%20%20%20_options%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22Adopt%20tested%20batch%22%3A%20%22batched%22%2C%0A%20%20%20%20%20%20%20%20%22Keep%20prior%20optimized%20batch%22%3A%20%22optimized%22%2C%0A%20%20%20%20%20%20%20%20%22Return%20to%20unoptimized%20selected-batch%20path%22%3A%20%22baseline%22%2C%0A%20%20%20%20%7D%0A%20%20%20%20d_decision%20%3D%20mo.ui.radio(_options%2C%20label%3D%22Recommendation%20after%20the%20boundary%20test%22)%0A%20%20%20%20d_rejected%20%3D%20mo.ui.radio(_options%2C%20label%3D%22Quantified%20rejected%20alternative%22)%0A%20%20%20%20final_choice%20%3D%20mo.ui.radio(_options%2C%20label%3D%22Final%20recommendation%22)%0A%20%20%20%20final_rejected%20%3D%20mo.ui.radio(_options%2C%20label%3D%22Rejected%20alternative%22)%0A%20%20%20%20final_trigger%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Workload%20mix%20changes%22%3A%20%22workload%22%2C%20%22Per-unit%20memory%20shrinks%22%3A%20%22memory%22%2C%0A%20%20%20%20%20%20%20%20%20%22Quality%20evidence%20changes%22%3A%20%22quality%22%7D%2C%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%22Illustrative%20quality%20fixture%22%3A%20%22quality_fixture%22%2C%0A%20%20%20%20%20%20%20%20%20%22Unmodeled%20communication%22%3A%20%22communication%22%2C%0A%20%20%20%20%20%20%20%20%20%22Peak-rate%20attainability%22%3A%20%22attainability%22%7D%2C%20label%3D%22Remaining%20limitation%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%22Cite%20a%20saved%20speedup%20or%20memory%20result%2C%20then%20quantify%20why%20the%20alternative%20loses.%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20c_decision%2C%0A%20%20%20%20%20%20%20%20d_decision%2C%0A%20%20%20%20%20%20%20%20d_rejected%2C%0A%20%20%20%20%20%20%20%20final_choice%2C%0A%20%20%20%20%20%20%20%20final_rejected%2C%0A%20%20%20%20%20%20%20%20final_risk%2C%0A%20%20%20%20%20%20%20%20final_trigger%2C%0A%20%20%20%20%20%20%20%20rationale%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_batch%2C%0A%20%20%20%20b_lever%2C%0A%20%20%20%20c_decision%2C%0A%20%20%20%20c_precision%2C%0A%20%20%20%20c_reuse%2C%0A%20%20%20%20compare_configs%2C%0A%20%20%20%20d_batch%2C%0A%20%20%20%20evaluate%2C%0A%20%20%20%20result_to_dict%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20a_baseline%20%3D%20evaluate(track_id%2C%20batch_size%3D1)%0A%20%20%20%20a_result%20%3D%20evaluate(track_id%2C%20batch_size%3Da_batch.value)%0A%20%20%20%20_rewrite_flags%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22fusion%22%3A%20%7B%22fusion%22%3A%20True%2C%20%22tiling%22%3A%20False%7D%2C%0A%20%20%20%20%20%20%20%20%22tiling%22%3A%20%7B%22fusion%22%3A%20False%2C%20%22tiling%22%3A%20True%7D%2C%0A%20%20%20%20%20%20%20%20%22combined%22%3A%20%7B%22fusion%22%3A%20True%2C%20%22tiling%22%3A%20True%7D%2C%0A%20%20%20%20%7D%0A%20%20%20%20_a_config%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22batch_size%22%3A%20a_batch.value%2C%20%22fleet_units%22%3A%20scenario.default_fleet_units%2C%0A%20%20%20%20%20%20%20%20%22precision%22%3A%20scenario.default_precision%2C%20%22fusion%22%3A%20False%2C%0A%20%20%20%20%20%20%20%20%22tiling%22%3A%20False%2C%20%22compiled%22%3A%20False%2C%20%22reuse_count%22%3A%201%2C%0A%20%20%20%20%7D%0A%20%20%20%20_b_config%20%3D%20%7B**_a_config%2C%20**_rewrite_flags%5Bb_lever.value%5D%7D%0A%20%20%20%20b_comparison%20%3D%20compare_configs(%0A%20%20%20%20%20%20%20%20track_id%2C%20baseline_options%3D_a_config%2C%20result_options%3D_b_config%2C%0A%20%20%20%20)%0A%20%20%20%20b_alternatives%20%3D%20%7B%0A%20%20%20%20%20%20%20%20_name%3A%20result_to_dict(evaluate(track_id%2C%20**%7B**_a_config%2C%20**_flags%7D))%0A%20%20%20%20%20%20%20%20for%20_name%2C%20_flags%20in%20_rewrite_flags.items()%0A%20%20%20%20%7D%0A%20%20%20%20_c_config%20%3D%20%7B%0A%20%20%20%20%20%20%20%20**_b_config%2C%20%22precision%22%3A%20c_precision.value%2C%20%22compiled%22%3A%20True%2C%0A%20%20%20%20%20%20%20%20%22reuse_count%22%3A%20c_reuse.value%2C%0A%20%20%20%20%7D%0A%20%20%20%20c_comparison%20%3D%20compare_configs(%0A%20%20%20%20%20%20%20%20track_id%2C%20baseline_options%3D_b_config%2C%20result_options%3D_c_config%2C%0A%20%20%20%20)%0A%20%20%20%20c_reuse_results%20%3D%20%7B%0A%20%20%20%20%20%20%20%20_reuse%3A%20evaluate(track_id%2C%20**%7B**_c_config%2C%20%22reuse_count%22%3A%20_reuse%7D)%0A%20%20%20%20%20%20%20%20for%20_reuse%20in%20(1%2C%20100%2C%20100_000)%0A%20%20%20%20%7D%0A%20%20%20%20c_carried%20%3D%20(%0A%20%20%20%20%20%20%20%20c_comparison%5B%22result%22%5D%20if%20c_decision.value%20%3D%3D%20%22compiled%22%0A%20%20%20%20%20%20%20%20else%20c_comparison%5B%22baseline%22%5D%0A%20%20%20%20)%0A%20%20%20%20_carried_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22batch_size%22%3A%20c_carried.inputs.batch_size%2C%0A%20%20%20%20%20%20%20%20%22fleet_units%22%3A%20c_carried.inputs.fleet_units%2C%0A%20%20%20%20%20%20%20%20%22precision%22%3A%20c_carried.inputs.precision%2C%0A%20%20%20%20%20%20%20%20%22fusion%22%3A%20c_carried.inputs.fusion%2C%0A%20%20%20%20%20%20%20%20%22tiling%22%3A%20c_carried.inputs.tiling%2C%0A%20%20%20%20%20%20%20%20%22compiled%22%3A%20c_carried.inputs.compiled%2C%0A%20%20%20%20%20%20%20%20%22reuse_count%22%3A%20c_carried.inputs.reuse_count%2C%0A%20%20%20%20%7D%0A%20%20%20%20_d_config%20%3D%20%7B**_carried_inputs%2C%20%22batch_size%22%3A%20d_batch.value%7D%0A%20%20%20%20d_comparison%20%3D%20compare_configs(%0A%20%20%20%20%20%20%20%20track_id%2C%20baseline_options%3D_carried_inputs%2C%20result_options%3D_d_config%2C%0A%20%20%20%20)%0A%20%20%20%20d_alternatives%20%3D%20%7B%0A%20%20%20%20%20%20%20%20_batch%3A%20result_to_dict(%0A%20%20%20%20%20%20%20%20%20%20%20%20evaluate(track_id%2C%20**%7B**_carried_inputs%2C%20%22batch_size%22%3A%20_batch%7D)%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20for%20_batch%20in%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20scenario.default_batch_size%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20d_batch.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22tinyml%22%3A%2064%2C%20%22mobile%22%3A%201_000%2C%20%22edge%22%3A%20400%2C%20%22cloud%22%3A%2064%7D%5Btrack_id%5D%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%7D%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_baseline%2C%0A%20%20%20%20%20%20%20%20a_result%2C%0A%20%20%20%20%20%20%20%20b_alternatives%2C%0A%20%20%20%20%20%20%20%20b_comparison%2C%0A%20%20%20%20%20%20%20%20c_comparison%2C%0A%20%20%20%20%20%20%20%20c_reuse_results%2C%0A%20%20%20%20%20%20%20%20d_alternatives%2C%0A%20%20%20%20%20%20%20%20d_comparison%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20MODEL_ID%2C%0A%20%20%20%20a_baseline%2C%0A%20%20%20%20a_batch%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20b_alternatives%2C%0A%20%20%20%20b_comparison%2C%0A%20%20%20%20b_lever%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20c_comparison%2C%0A%20%20%20%20c_decision%2C%0A%20%20%20%20c_precision%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_reuse%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20d_alternatives%2C%0A%20%20%20%20d_batch%2C%0A%20%20%20%20d_comparison%2C%0A%20%20%20%20d_decision%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_rejected%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20result_to_dict%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%20None%0A%20%20%20%20b_upstream%20%3D%20%7B%22batch_size%22%3A%20a_batch.value%7D%0A%20%20%20%20c_upstream%20%3D%20%7B**b_upstream%2C%20%22rewrite%22%3A%20b_lever.value%7D%0A%20%20%20%20d_upstream%20%3D%20%7B%0A%20%20%20%20%20%20%20%20**c_upstream%2C%20%22precision%22%3A%20c_precision.value%2C%0A%20%20%20%20%20%20%20%20%22reuse_count%22%3A%20c_reuse.value%2C%20%22carried%22%3A%20c_decision.value%2C%0A%20%20%20%20%7D%0A%20%20%20%20a_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20bottleneck%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Da_prediction.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%22batch_size%22%3A%20a_batch.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dresult_to_dict(a_baseline)%2C%20result%3Dresult_to_dict(a_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Da_upstream%2C%20decision%3Da_result.bottleneck%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3DMODEL_ID%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%20rewrite%20comparison%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%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%22rewrite%22%3A%20b_lever.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dresult_to_dict(b_comparison%5B%22baseline%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Dresult_to_dict(b_comparison%5B%22result%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Db_alternatives%2C%20upstream_inputs%3Db_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Db_lever.value%2C%20model_key%3DMODEL_ID%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%20compile%20and%20precision%20evidence%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dc_prediction.value%20is%20None%20or%20c_decision.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%22precision%22%3A%20c_precision.value%2C%20%22reuse_count%22%3A%20c_reuse.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22carried%22%3A%20c_decision.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dresult_to_dict(c_comparison%5B%22baseline%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Dresult_to_dict(c_comparison%5B%22result%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dc_upstream%2C%20decision%3Dc_decision.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3DMODEL_ID%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%20c_decision.value%20is%20None%20or%20d_decision.value%20is%20None%0A%20%20%20%20%20%20%20%20or%20d_rejected.value%20is%20None%20or%20d_decision.value%20%3D%3D%20d_rejected.value%0A%20%20%20%20%20%20%20%20or%20(d_decision.value%20!%3D%20%22batched%22%20and%20d_rejected.value%20!%3D%20%22batched%22)%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%20memory-boundary%20decision%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%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%22stress_batch%22%3A%20d_batch.value%2C%20%22recommendation%22%3A%20d_decision.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22rejected%22%3A%20d_rejected.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dresult_to_dict(d_comparison%5B%22baseline%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Dresult_to_dict(d_comparison%5B%22result%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20chosen_result%3D(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20result_to_dict(a_result)%20if%20d_decision.value%20%3D%3D%20%22baseline%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20else%20result_to_dict(d_comparison%5B%22baseline%22%5D)%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20if%20d_decision.value%20%3D%3D%20%22optimized%22%20else%20None%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%20result_role%3D(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22chosen%20intervention%22%20if%20d_decision.value%20%3D%3D%20%22batched%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20else%20%22rejected%20alternative%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%20alternatives%3Dd_alternatives%2C%20upstream_inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dd_decision.value%2C%20model_key%3DMODEL_ID%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)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20ACADEMIC_LAB_CSS%2C%0A%20%20%20%20LAB_CSS%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20track%2C%0A%20%20%20%20track_context%2C%0A%20%20%20%20track_profile%2C%0A%20%20%20%20track_variant%2C%0A)%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%3A30px%200%2010px%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-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(160px%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.selector-shell%7Bpadding%3A10px%2012px%3Bborder%3A1px%20solid%20%23dbe4ee%3Bborder-radius%3A9px%3Bbackground%3A%23fff%3Bmargin-bottom%3A8px%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.saved%7Bborder-left%3A4px%20solid%20%232ca02c%3Bbackground%3A%23f0fdf4%3Bpadding%3A9px%2012px%3Bborder-radius%3A7px%7D%0A%20%20%20%20.table-wrap%7Bmax-width%3A100%25%3Boverflow-x%3Aauto%7D.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.lab-hud%20.hud-label%7Bcolor%3A%23a7b9cf%7D.lab-hud%20.hud-value%7Bcolor%3A%23fff%7D.lab-hud%20.hud-separator%7Bcolor%3A%2364748b%7D.lab-hud%20.hud-active%7Bcolor%3A%2386efac%7D.lab-hud%20.hud-failed%7Bcolor%3A%23fca5a5%7D%0A%20%20%20%20%40media(max-width%3A520px)%7B.pilot-head%7Bborder-radius%3A9px%7D.pilot-meta%7Bgrid-template-columns%3A1fr%7D.selector-shell%7Bpadding%3A8px%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%20II%20%C2%B7%20LAB%2009%3C%2Fspan%3E%3Cspan%3EABOUT%2050%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%3Ch1%3EOptimize%20the%20Path%3C%2Fh1%3E%3Cp%3EWhich%20physical%20term%20should%20the%20fleet%20team%20change%2C%20and%20when%20does%20that%20optimization%20stop%20paying%3F%3C%2Fp%3E%3Cdiv%20class%3D%22pilot-meta%22%3E%3Cdiv%3E%3Cb%3EStakeholder%3C%2Fb%3E%3Cbr%3E%7Btrack_variant.stakeholder%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EFleet%20unit%3C%2Fb%3E%3Cbr%3E%7Bscenario.fleet_semantics%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EWorkload%3C%2Fb%3E%3Cbr%3E%7Bscenario.workload%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EOutput%3C%2Fb%3E%3Cbr%3EPerformance%20engineering%20memo%3C%2Fdiv%3E%3C%2Fdiv%3E%3C%2Fsection%3E%22%22%22)%0A%20%20%20%20selector%20%3D%20mo.vstack(%5Bmo.md(%22**Choose%20the%20fleet%20context**%22)%2C%20track%5D).style(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22max-width%22%3A%20%22100%25%22%2C%20%22padding%22%3A%20%2210px%2012px%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22border%22%3A%20%221px%20solid%20%23dbe4ee%22%2C%20%22border-radius%22%3A%20%229px%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22background%22%3A%20%22%23fff%22%2C%20%22margin-bottom%22%3A%20%228px%22%2C%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20)%0A%20%20%20%20context%20%3D%20track_context(track_profile)%0A%20%20%20%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20LAB_CSS%2C%20ACADEMIC_LAB_CSS%2C%20css%2C%20header%2C%20selector%2C%20context%2C%0A%20%20%20%20%20%20%20%20mo.Html('%3Cp%20class%3D%22pilot-note%22%3EResults%20are%20simulated%20analytical%20bounds.%20Quality%20values%20are%20supplied%20scenario%20evidence%2C%20not%20hardware-derived%20measurements.%20Open%20Calculation%20Notes%20in%20each%20part%20for%20equations%20and%20assumptions.%3C%2Fp%3E')%2C%0A%20%20%20%20%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_baseline%2C%0A%20%20%20%20a_batch%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_upstream%2C%0A%20%20%20%20apply_plotly_theme%2C%0A%20%20%20%20audit_evidence%2C%0A%20%20%20%20b_alternatives%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_comparison%2C%0A%20%20%20%20b_lever%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_comparison%2C%0A%20%20%20%20c_decision%2C%0A%20%20%20%20c_precision%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_reuse%2C%0A%20%20%20%20c_reuse_results%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20d_alternatives%2C%0A%20%20%20%20d_batch%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_comparison%2C%0A%20%20%20%20d_decision%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_rejected%2C%0A%20%20%20%20d_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%20quantity_from_dict%2C%0A%20%20%20%20rationale%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_upstream%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%7D%0A%20%20%20%20_mem_unit%20%3D%20%7B%22tinyml%22%3A%20%22KiB%22%2C%20%22mobile%22%3A%20%22MiB%22%2C%20%22edge%22%3A%20%22GiB%22%2C%20%22cloud%22%3A%20%22GiB%22%7D%5Btrack_id%5D%0A%20%20%20%20audit%20%3D%20audit_evidence(%0A%20%20%20%20%20%20%20%20_captures%2C%20track%3Dtrack_id%2C%20required_parts%3Dtuple(%22ABCD%22)%2C%0A%20%20%20%20%20%20%20%20per_part_upstream_inputs%3D_upstream%2C%0A%20%20%20%20%20%20%20%20contrast_required_parts%3Dtuple(%22ABCD%22)%2C%0A%20%20%20%20)%0A%0A%20%20%20%20def%20q(value%2C%20unit%2C%20digits%3D2)%3A%0A%20%20%20%20%20%20%20%20return%20f%22%7Bvalue.to(unit).magnitude%3A%2C.%7Bdigits%7Df%7D%20%7Bunit%7D%22%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(%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22max-width%22%3A%20%22100%25%22%2C%20%22overflow-x%22%3A%20%22auto%22%7D%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20def%20saved(part)%3A%0A%20%20%20%20%20%20%20%20_capture%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20if%20_capture%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(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22**STALE%20OR%20NON-CONTRASTING%20EVIDENCE.**%20An%20upstream%20choice%20changed.%20Recapture%20this%20comparison.%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20kind%3D%22danger%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20_data%20%3D%20_capture.to_dict()%0A%20%20%20%20%20%20%20%20return%20mo.Html(%0A%20%20%20%20%20%20%20%20%20%20%20%20f'%3Cdiv%20class%3D%22saved%22%3E%3Cb%3ESaved%20snapshot%3C%2Fb%3E%20%C2%B7%20original%20prediction%3A%20%7B_data%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ETrack%20%7B_data%5B%22track%22%5D%7D%3B%20later%20live%20controls%20do%20not%20rewrite%20this%20record.%3C%2Fsmall%3E%3C%2Fdiv%3E'%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20def%20build_part_a()%3A%0A%20%20%20%20%20%20%20%20_intro%20%3D%20mo.md(f%22%23%23%23%20A%20%C2%B7%20What%20actually%20binds%20this%20path%3F%20(10%20min)%5CnThe%20initial%20probe%20runs%20batch%20**%7Ba_batch.value%7D**.%20Predict%20its%20dominant%20exposed%20term%20before%20opening%20the%20instrument.%20Fleet-average%20utilization%20cannot%20identify%20this%20local%20bottleneck.%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(%5B_intro%2C%20a_prediction%5D)%0A%20%20%20%20%20%20%20%20_figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20for%20_run_name%2C%20_result%20in%20((%22Batch%201%22%2C%20a_baseline)%2C%20(f%22Batch%20%7Ba_batch.value%7D%22%2C%20a_result))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20for%20_label%2C%20_term%2C%20_color%20in%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20(%22Compute%20ceiling%22%2C%20_result.compute_time%2C%20COLORS%5B%22OrangeLine%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20(%22Movement%20ceiling%22%2C%20_result.movement_time%2C%20COLORS%5B%22BlueLine%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20(%22Launch%20overhead%22%2C%20_result.launch_time%2C%20COLORS%5B%22GreenLine%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20_figure.add_bar(name%3D_label%2C%20x%3D%5B_run_name%5D%2C%20y%3D%5B_term.to(%22ms%22).magnitude%5D%2C%20marker_color%3D_color%2C%20legendgroup%3D_label%2C%20showlegend%3D_run_name%20%3D%3D%20%22Batch%201%22)%0A%20%20%20%20%20%20%20%20_figure.update_layout(barmode%3D%22group%22%2C%20height%3D290%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Path%20term%20(ms)%22%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Run%22%3A%20%22Baseline%22%2C%20%22Batch%22%3A%201%2C%20%22Latency%22%3A%20q(a_baseline.latency%2C%20%22ms%22)%2C%20%22Intensity%22%3A%20q(a_baseline.arithmetic_intensity%2C%20%22flop%2Fbyte%22)%2C%20%22Binding%20term%22%3A%20a_baseline.bottleneck%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Run%22%3A%20%22Changed%22%2C%20%22Batch%22%3A%20a_batch.value%2C%20%22Latency%22%3A%20q(a_result.latency%2C%20%22ms%22)%2C%20%22Intensity%22%3A%20q(a_result.arithmetic_intensity%2C%20%22flop%2Fbyte%22)%2C%20%22Binding%20term%22%3A%20a_result.bottleneck%7D%2C%0A%20%20%20%20%20%20%20%20%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%20_intro%2C%20a_prediction%2C%20a_batch%2C%20apply_plotly_theme(_figure)%2C%20table(_rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Ba_prediction.value%7D.%20**Observed%20analytical%20result%3A**%20the%20changed%20run%20is%20**%7Ba_result.bottleneck%7D-bound**%20at%20**%7Bq(a_result.latency%2C%20'ms')%7D**.%20Batching%20changes%20fixed-tensor%20reuse%20and%20live%20state%20together.%22)%2C%20kind%3D%22info%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(%22For%20each%20phase%2C%20compute%20time%20is%20operations%20divided%20by%20the%20supported%20effective%20rate%3B%20movement%20time%20is%20bytes%20divided%20by%20registry%20bandwidth.%20The%20exposed%20kernel%20time%20is%20the%20larger%20phase%20term.%20Sequential%20phase%20times%2C%20launches%2C%20and%20compile%20setup%20are%20then%20added.%20These%20are%20simulated%20analytical%20bounds%2C%20not%20measured%20percentiles.%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%20_intro%20%3D%20mo.md(%22%23%23%23%20B%20%C2%B7%20Which%20rewrite%20attacks%20the%20diagnosed%20term%3F%20(12%20min)%5CnRank%20fusion%2C%20tiling%2C%20and%20their%20combination%20before%20opening%20the%20comparison.%20Every%20candidate%20starts%20from%20the%20same%20batch%20and%20precision.%22)%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(%5B_intro%2C%20b_prediction%5D)%0A%20%20%20%20%20%20%20%20_baseline_result%20%3D%20b_comparison%5B%22baseline%22%5D%0A%20%20%20%20%20%20%20%20_figure%20%3D%20go.Figure(%5Bgo.Bar(%0A%20%20%20%20%20%20%20%20%20%20%20%20x%3D%5B%22Baseline%22%2C%20%22Fusion%22%2C%20%22Tiling%22%2C%20%22Combined%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20y%3D%5B_baseline_result.latency.to(%22ms%22).magnitude%5D%20%2B%20%5Bb_alternatives%5B_name%5D%5B%22latency%22%5D%5B%22magnitude%22%5D%20for%20_name%20in%20(%22fusion%22%2C%20%22tiling%22%2C%20%22combined%22)%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20marker_color%3D%5BCOLORS%5B%22TextMuted%22%5D%2C%20COLORS%5B%22BlueLine%22%5D%2C%20COLORS%5B%22OrangeLine%22%5D%2C%20COLORS%5B%22GreenLine%22%5D%5D%2C%0A%20%20%20%20%20%20%20%20)%5D)%0A%20%20%20%20%20%20%20%20_figure.update_layout(height%3D285%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22End-to-end%20latency%20(ms)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20_candidate%20%3D%20b_comparison%5B%22result%22%5D%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Configuration%22%3A%20%22Baseline%22%2C%20%22Traffic%22%3A%20q(_baseline_result.total_traffic%2C%20_mem_unit)%2C%20%22Required%20memory%22%3A%20q(_baseline_result.memory_required%2C%20_mem_unit)%2C%20%22Latency%22%3A%20q(_baseline_result.latency%2C%20%22ms%22)%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Configuration%22%3A%20b_lever.value%2C%20%22Traffic%22%3A%20q(_candidate.total_traffic%2C%20_mem_unit)%2C%20%22Required%20memory%22%3A%20q(_candidate.memory_required%2C%20_mem_unit)%2C%20%22Latency%22%3A%20q(_candidate.latency%2C%20%22ms%22)%7D%2C%0A%20%20%20%20%20%20%20%20%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%20_intro%2C%20b_prediction%2C%20b_lever%2C%20apply_plotly_theme(_figure)%2C%20table(_rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bb_prediction.value%7D.%20**Observed%20analytical%20result%3A**%20**%7Bb_comparison%5B'speedup'%5D%3A.2f%7D%C3%97**%20speedup.%20The%20rewrite%20changes%20traffic%20and%2For%20launches%2C%20while%20tiling%20and%20fusion%20reserve%20additional%20workspace.%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(%22Fusion%20retains%20fewer%20intermediate%20tensors%20in%20off-chip%20traffic%20and%20submits%20fewer%20launches.%20Tiling%20increases%20reuse%20of%20fixed%20tensors%20and%20adds%20workspace.%20The%20combined%20case%20rewrites%20the%20common%20phase%20path%20once%3B%20its%20speedup%20is%20recomputed%20and%20is%20never%20the%20product%20of%20standalone%20speedups.%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%20_intro%20%3D%20mo.md(%22%23%23%23%20C%20%C2%B7%20When%20does%20compilation%20pay%20for%20itself%3F%20(12%20min)%5CnPredict%20whether%20setup%2C%20repeated%20runtime%20savings%2C%20or%20precision%20will%20determine%20the%20result.%20For%20device%20tracks%20(TinyML%2C%20Mobile%2C%20Edge)%2C%20AOT%20compilation%20occurs%20on%20an%20engineering%20build%20host%20prior%20to%20deployment%3B%20for%20Cloud%2C%20it%20reflects%20server%20graph%20capture%20and%20JIT%20warm-up.%20Then%20select%20one%20supported%20precision%20and%20a%20reuse%20horizon.%22)%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(%5B_intro%2C%20c_prediction%5D)%0A%20%20%20%20%20%20%20%20_figure%20%3D%20go.Figure(%5Bgo.Bar(%0A%20%20%20%20%20%20%20%20%20%20%20%20x%3D%5B%221%20run%22%2C%20%22100%20runs%22%2C%20%22100%2C000%20runs%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20y%3D%5Bc_reuse_results%5B_reuse%5D.latency.to(%22ms%22).magnitude%20for%20_reuse%20in%20(1%2C%20100%2C%20100_000)%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20marker_color%3D%5BCOLORS%5B%22RedLine%22%5D%2C%20COLORS%5B%22OrangeLine%22%5D%2C%20COLORS%5B%22GreenLine%22%5D%5D%2C%0A%20%20%20%20%20%20%20%20)%5D)%0A%20%20%20%20%20%20%20%20_figure.update_layout(height%3D285%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Amortized%20latency%20per%20run%20(ms)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20_baseline_result%20%3D%20c_comparison%5B%22baseline%22%5D%0A%20%20%20%20%20%20%20%20_candidate%20%3D%20c_comparison%5B%22result%22%5D%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Configuration%22%3A%20%22Carried%20rewrite%22%2C%20%22Precision%22%3A%20_baseline_result.precision%2C%20%22Quality%20fixture%22%3A%20f%22%7B_baseline_result.quality_pct%3A.1f%7D%25%22%2C%20%22Compile%2Frun%22%3A%20q(_baseline_result.compile_time_per_run%2C%20%22ms%22)%2C%20%22Latency%22%3A%20q(_baseline_result.latency%2C%20%22ms%22)%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Configuration%22%3A%20%22Compiled%20candidate%22%2C%20%22Precision%22%3A%20_candidate.precision%2C%20%22Quality%20fixture%22%3A%20f%22%7B_candidate.quality_pct%3A.1f%7D%25%22%2C%20%22Compile%2Frun%22%3A%20q(_candidate.compile_time_per_run%2C%20%22ms%22)%2C%20%22Latency%22%3A%20q(_candidate.latency%2C%20%22ms%22)%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20_kind%20%3D%20%22success%22%20if%20c_comparison%5B%22latency_improved%22%5D%20else%20%22danger%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%20_intro%2C%20c_prediction%2C%20mo.hstack(%5Bc_precision%2C%20c_reuse%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20apply_plotly_theme(_figure)%2C%20table(_rows)%2C%20c_decision%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bc_prediction.value%7D.%20**Observed%20analytical%20result%3A**%20AOT%2Fcompile%20setup%20contributes%20**%7Bq(_candidate.compile_time_per_run%2C%20'ms')%7D%20per%20run**%20at%20this%20reuse%20horizon%3B%20total%20latency%20is%20**%7Bq(_candidate.latency%2C%20'ms')%7D**.%20Precision%20changes%20traffic%2C%20supported%20execution%20rate%2C%20and%20only%20the%20supplied%20quality%20fixture.%22)%2C%20kind%3D_kind)%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(%22Compile%20setup%20is%20divided%20by%20the%20declared%20reuse%20count%20and%20added%20to%20each%20run.%20For%20device%20tracks%20(TinyML%2C%20Mobile%2C%20Edge)%2C%20AOT%20compilation%20is%20performed%20on%20an%20engineering%20build%20host%20prior%20to%20deployment%3B%20in%20cloud%20serving%2C%20it%20reflects%20one-time%20graph%20capture%20or%20JIT%20warmup.%20Captured%20graph%20execution%20lowers%20dispatch%20time%20but%20cannot%20remove%20kernel%20work.%20Precision%20selects%20a%20supported%20rate%20and%20byte%20width.%20Its%20quality%20value%20is%20fixed%20supplied%20scenario%20evidence%2C%20not%20an%20equation%20from%20bit%20width.%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%20_intro%20%3D%20mo.md(f%22%23%23%23%20D%20%C2%B7%20Where%20does%20batching%20cross%20the%20memory%20boundary%3F%20(11%20min)%5CnThe%20initial%20stress%20runs%20batch%20**%7Bd_batch.value%7D**.%20Predict%20whether%20it%20fits%20one%20fleet%20unit.%20Fleet%20size%20can%20raise%20aggregate%20throughput%2C%20but%20it%20cannot%20pool%20memory%20across%20independent%20units%20or%20replicas.%22)%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(%5B_intro%2C%20d_prediction%5D)%0A%20%20%20%20%20%20%20%20_ordered%20%3D%20list(d_alternatives.items())%0A%20%20%20%20%20%20%20%20_to_mem%20%3D%20lambda%20p%3A%20quantity_from_dict(p).to(_mem_unit).magnitude%0A%20%20%20%20%20%20%20%20_figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20_figure.add_bar(name%3D%22Required%22%2C%20x%3D%5Bstr(_batch)%20for%20_batch%2C%20_payload%20in%20_ordered%5D%2C%20y%3D%5B_to_mem(_payload%5B%22memory_required%22%5D)%20for%20_batch%2C%20_payload%20in%20_ordered%5D%2C%20marker_color%3DCOLORS%5B%22BlueLine%22%5D)%0A%20%20%20%20%20%20%20%20_figure.add_bar(name%3D%22Per-unit%20capacity%22%2C%20x%3D%5Bstr(_batch)%20for%20_batch%2C%20_payload%20in%20_ordered%5D%2C%20y%3D%5B_to_mem(_payload%5B%22memory_capacity%22%5D)%20for%20_batch%2C%20_payload%20in%20_ordered%5D%2C%20marker_color%3DCOLORS%5B%22TextMuted%22%5D)%0A%20%20%20%20%20%20%20%20_figure.update_layout(barmode%3D%22group%22%2C%20height%3D295%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20xaxis_title%3D%22Batch%20size%22%2C%20yaxis_title%3Df%22Memory%20(%7B_mem_unit%7D)%22%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20_baseline_result%20%3D%20d_comparison%5B%22baseline%22%5D%0A%20%20%20%20%20%20%20%20_candidate%20%3D%20d_comparison%5B%22result%22%5D%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Run%22%3A%20%22Carried%20configuration%22%2C%20%22Batch%22%3A%20_baseline_result.batch_size%2C%20%22Memory%22%3A%20f%22%7Bq(_baseline_result.memory_required%2C%20_mem_unit)%7D%20%2F%20%7Bq(_baseline_result.memory_capacity%2C%20_mem_unit)%7D%22%2C%20%22Attainable%20throughput%22%3A%20q(_baseline_result.attainable_per_unit_throughput%2C%20%221%2Fs%22)%2C%20%22Potential%20throughput%22%3A%20q(_baseline_result.potential_per_unit_throughput%2C%20%221%2Fs%22)%2C%20%22Outcome%22%3A%20%22FIT%22%20if%20_baseline_result.memory_feasible%20else%20%22FAIL%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Run%22%3A%20%22Stress%22%2C%20%22Batch%22%3A%20_candidate.batch_size%2C%20%22Memory%22%3A%20f%22%7Bq(_candidate.memory_required%2C%20_mem_unit)%7D%20%2F%20%7Bq(_candidate.memory_capacity%2C%20_mem_unit)%7D%22%2C%20%22Attainable%20throughput%22%3A%20q(_candidate.attainable_per_unit_throughput%2C%20%221%2Fs%22)%2C%20%22Potential%20throughput%22%3A%20q(_candidate.potential_per_unit_throughput%2C%20%221%2Fs%22)%2C%20%22Outcome%22%3A%20%22FIT%22%20if%20_candidate.memory_feasible%20else%20%22FAIL%20%C2%B7%20per-unit%20memory%22%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20_kind%20%3D%20%22success%22%20if%20_candidate.memory_feasible%20else%20%22danger%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%20_intro%2C%20d_prediction%2C%20d_batch%2C%20apply_plotly_theme(_figure)%2C%20table(_rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bd_decision%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.md(%22If%20you%20keep%20an%20earlier%20configuration%2C%20record%20**Adopt%20tested%20batch**%20as%20the%20rejected%20alternative%20so%20the%20saved%20contrast%20and%20decision%20agree.%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bd_prediction.value%7D.%20**Observed%20analytical%20result%3A**%20the%20stressed%20batch%20**%7B'fits'%20if%20_candidate.memory_feasible%20else%20'does%20not%20fit'%7D**%20one%20%7Bscenario.display_name%7D%20execution%20unit.%20The%20tested%20contrast%20is%20saved%20even%20when%20you%20recommend%20returning%20to%20the%20unoptimized%20selected-batch%20path.%22)%2C%20kind%3D_kind)%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(%22Required%20memory%20is%20resident%20tensors%20plus%20batch-proportional%20live%20state%20plus%20fusion%20and%20tiling%20workspace.%20Attainable%20throughput%20is%20completed%20batch%20items%20divided%20by%20latency%20for%20memory-feasible%20runs%2C%20and%200%201%2Fs%20when%20memory%20is%20exceeded%3B%20analytical%20potential%20throughput%20reflects%20hypothetical%20unconstrained%20execution.%20Fleet%20throughput%20multiplies%20the%20attainable%20rate%20by%20independent%20units%20only%20after%20each%20unit%20passes%20its%20own%20memory%20constraint.%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%20_rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20_part%20in%20%22ABCD%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_capture%20%3D%20_captures.get(_part)%0A%20%20%20%20%20%20%20%20%20%20%20%20_rows.append(%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Part%22%3A%20_part%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Original%20prediction%22%3A%20_capture.to_dict()%5B%22prediction%22%5D%20if%20_capture%20else%20%22%E2%80%94%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Evidence%22%3A%20%22CURRENT%22%20if%20_capture%20and%20_part%20not%20in%20audit.stale%20and%20(_part%2C%20_part)%20not%20in%20audit.identical_pairs%20else%20(%22STALE%22%20if%20_capture%20else%20%22MISSING%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D)%0A%20%20%20%20%20%20%20%20_d_saved%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%20_complete%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20audit.complete%0A%20%20%20%20%20%20%20%20%20%20%20%20and%20all(_widget.value%20is%20not%20None%20for%20_widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%0A%20%20%20%20%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20%20%20%20%20%20%20%20%20and%20final_choice.value%20!%3D%20final_rejected.value%0A%20%20%20%20%20%20%20%20%20%20%20%20and%20final_choice.value%20%3D%3D%20_d_saved%0A%20%20%20%20%20%20%20%20)%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%20Defend%20one%20fleet%20recommendation%20(5%20min)%5CnUse%20saved%20evidence%20to%20state%20the%20chosen%20configuration%2C%20quantify%20a%20rejected%20alternative%2C%20name%20one%20remaining%20limitation%2C%20and%20set%20a%20trigger%20for%20rerunning%20the%20experiments.%22)%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(%22Saved%20snapshots%20preserve%20original%20predictions%2C%20exact%20evaluator%20arguments%2C%20and%20unit-bearing%20results.%20Recapture%20only%20stale%20downstream%20evidence.%22)%2C%20kind%3D%22info%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bfinal_choice%2C%20final_rejected%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bfinal_trigger%2C%20final_risk%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20rationale%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%22Complete%20four%20current%20contrasts%2C%20match%20the%20final%20choice%20to%20Part%20D%2C%20reject%20a%20different%20option%2C%20and%20add%20a%20quantified%20rationale.%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%0A%20%20%20%20%20%20%20%20%22Part%20A%22%3A%20build_part_a()%2C%20%22Part%20B%22%3A%20build_part_b()%2C%0A%20%20%20%20%20%20%20%20%22Part%20C%22%3A%20build_part_c()%2C%20%22Part%20D%22%3A%20build_part_d()%2C%0A%20%20%20%20%20%20%20%20%22Synthesis%22%3A%20build_synthesis()%2C%0A%20%20%20%20%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%20rationale%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_saved%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_ready%20%3D%20(%0A%20%20%20%20%20%20%20%20audit.complete%0A%20%20%20%20%20%20%20%20and%20all(_widget.value%20is%20not%20None%20for%20_widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%0A%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20%20%20%20%20and%20final_choice.value%20!%3D%20final_rejected.value%0A%20%20%20%20%20%20%20%20and%20final_choice.value%20%3D%3D%20_d_saved%0A%20%20%20%20)%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20_snapshots%20%3D%20%7B_part%3A%20_captures%5B_part%5D.to_dict()%20for%20_part%20in%20%22ABCD%22%7D%0A%20%20%20%20_constraint_results%20%3D%20%7B%0A%20%20%20%20%20%20%20%20_part%3A%20(_snapshots%5B_part%5D.get(%22chosen_result%22)%20or%20_snapshots%5B_part%5D%5B%22result%22%5D)%0A%20%20%20%20%20%20%20%20for%20_part%20in%20%22ABCD%22%0A%20%20%20%20%7D%0A%20%20%20%20report%20%3D%20build_lab_report(%0A%20%20%20%20%20%20%20%20get_lab_metadata(%22vol2%2Flab_09_perf_engineering.py%22)%2C%0A%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20scenario%3Dscenario.workload%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Diagnose%20compute%2C%20memory%2C%20and%20overhead%20limits%20from%20a%20phase%20path.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Compare%20fusion%2C%20tiling%2C%20precision%2C%20compilation%2C%20and%20batching%20from%20shared%20baselines.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Defend%20a%20fleet%20configuration%20with%20per-unit%20memory%20and%20supplied%20quality%20evidence.%22%2C%0A%20%20%20%20%20%20%20%20%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7B_part%3A%20_snapshots%5B_part%5D%5B%22prediction%22%5D%20for%20_part%20in%20%22ABCD%22%7D%2C%0A%20%20%20%20%20%20%20%20knob_settings%3D%7B_part%3A%20_snapshots%5B_part%5D%5B%22inputs%22%5D%20for%20_part%20in%20%22ABCD%22%7D%2C%0A%20%20%20%20%20%20%20%20evidence_summary%3D%7B_part%3A%20%7B%22baseline%22%3A%20_snapshots%5B_part%5D%5B%22baseline%22%5D%2C%20%22result%22%3A%20_snapshots%5B_part%5D%5B%22result%22%5D%2C%20%22alternatives%22%3A%20_snapshots%5B_part%5D%5B%22alternatives%22%5D%7D%20for%20_part%20in%20%22ABCD%22%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7B_part%3A%20%7B%22bottleneck%22%3A%20_constraint_results%5B_part%5D%5B%22bottleneck%22%5D%2C%20%22memory_feasible%22%3A%20_constraint_results%5B_part%5D%5B%22memory_feasible%22%5D%7D%20for%20_part%20in%20%22ABCD%22%7D%2C%0A%20%20%20%20%20%20%20%20decisions%3D%7B%22recommendation%22%3A%20final_choice.value%2C%20%22rejected_alternative%22%3A%20final_rejected.value%2C%20%22reevaluation_trigger%22%3A%20final_trigger.value%7D%2C%0A%20%20%20%20%20%20%20%20final_decision%3D%7B%22recommendation%22%3A%20final_choice.value%2C%20%22rejected_alternative%22%3A%20final_rejected.value%2C%20%22rationale%22%3A%20rationale.value%7D%2C%0A%20%20%20%20%20%20%20%20big_takeaways%3D%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22The%20binding%20phase%20term%20determines%20which%20local%20rewrite%20can%20improve%20latency.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Compile%20setup%20must%20be%20amortized%2C%20and%20combined%20gains%20must%20be%20recomputed%20on%20one%20path.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Independent%20fleet%20units%20raise%20aggregate%20throughput%20without%20pooling%20per-unit%20memory.%22%2C%0A%20%20%20%20%20%20%20%20%5D%2C%0A%20%20%20%20%20%20%20%20reflections%3D%7B%22rationale%22%3A%20rationale.value%2C%20%22reevaluation_trigger%22%3A%20final_trigger.value%7D%2C%0A%20%20%20%20%20%20%20%20residual_risk%3Dfinal_risk.value%2C%0A%20%20%20%20%20%20%20%20result_snapshot%3D%7B%22track%22%3A%20track_id%2C%20%22captures%22%3A%20_snapshots%2C%20%22recommendation%22%3A%20final_choice.value%2C%20%22rejected%22%3A%20final_rejected.value%2C%20%22trigger%22%3A%20final_trigger.value%2C%20%22residual_risk%22%3A%20final_risk.value%7D%2C%0A%20%20%20%20%20%20%20%20source_trace%3D%7B%22hardware%22%3A%20scenario.hardware_name%2C%20%22scenario%22%3A%20scenario.provenance%2C%20%22calculations%22%3A%20%22MLSysIM%20v2_09_experiments%20physical%20phase%20model%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%20MODEL_ID%2C%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%20%3D%20get_evidence()%0A%20%20%20%20_d_saved%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_ready%20%3D%20(%0A%20%20%20%20%20%20%20%20audit.complete%0A%20%20%20%20%20%20%20%20and%20all(_widget.value%20is%20not%20None%20for%20_widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%0A%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20%20%20%20%20and%20final_choice.value%20!%3D%20final_rejected.value%0A%20%20%20%20%20%20%20%20and%20final_choice.value%20%3D%3D%20_d_saved%0A%20%20%20%20)%0A%20%20%20%20_saved%20%3D%20False%0A%20%20%20%20_save_failed%20%3D%20False%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%3D9%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_09%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%20MODEL_ID%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22evidence%22%3A%20%7B_part%3A%20_capture.to_dict()%20for%20_part%2C%20_capture%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%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%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%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_save_failed%20%3D%20True%0A%20%20%20%20_status%20%3D%20%22SAVED%22%20if%20_saved%20else%20%22SAVE%20FAILED%20%C2%B7%20REPORT%20STILL%20AVAILABLE%22%20if%20_save_failed%20else%20%22EVIDENCE%20IN%20PROGRESS%22%0A%20%20%20%20_status_class%20%3D%20%22hud-failed%22%20if%20_save_failed%20else%20%22hud-active%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%3E09%20%C2%B7%20Optimize%20the%20Path%3C%2Fspan%3E%3Cspan%20class%3D%22hud-separator%22%3E%7C%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%22%7B_status_class%7D%22%3E%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