Lab 11: Acceleration That Survives the Whole Path

Lab 11: Acceleration That Survives the Whole 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%2011%3A%20Acceleration%20That%20Survives%20the%20Whole%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.v1_11_experiments%20import%20(%0A%20%20%20%20%20%20%20%20MODEL_ID%2C%20analyze_execution_path%2C%20analyze_roofline%2C%20analyze_tile_mapping%2C%0A%20%20%20%20%20%20%20%20compare_application_speedup%2C%20get_track_scenario%2C%20make_replay_packet%2C%0A%20%20%20%20%20%20%20%20rank_accelerators%2C%20scenario_budgets%2C%20scenario_candidates%2C%0A%20%20%20%20%20%20%20%20scenario_execution_dimensions%2C%20scenario_gemm_demand%2C%20scenario_tile_choices%2C%0A%20%20%20%20%20%20%20%20to_jsonable%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysim.labs.state%20import%20DesignLedger%0A%20%20%20%20from%20mlsysim.labs.style%20import%20COLORS%2C%20LAB_CSS%2C%20apply_plotly_theme%0A%20%20%20%20from%20mlsysbook_labs%20import%20(%0A%20%20%20%20%20%20%20%20ACADEMIC_LAB_CSS%2C%20build_lab_report%2C%20get_lab_metadata%2C%20report_export_panel%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysbook_labs.experiment_evidence%20import%20audit_evidence%2C%20capture_evidence%0A%0A%20%20%20%20ledger%20%3D%20DesignLedger(volume%3D%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%20MODEL_ID%2C%0A%20%20%20%20%20%20%20%20analyze_execution_path%2C%0A%20%20%20%20%20%20%20%20analyze_roofline%2C%0A%20%20%20%20%20%20%20%20analyze_tile_mapping%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_application_speedup%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20get_track_scenario%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%20make_replay_packet%2C%0A%20%20%20%20%20%20%20%20mo%2C%0A%20%20%20%20%20%20%20%20rank_accelerators%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20%20%20%20%20scenario_budgets%2C%0A%20%20%20%20%20%20%20%20scenario_candidates%2C%0A%20%20%20%20%20%20%20%20scenario_execution_dimensions%2C%0A%20%20%20%20%20%20%20%20scenario_gemm_demand%2C%0A%20%20%20%20%20%20%20%20scenario_tile_choices%2C%0A%20%20%20%20%20%20%20%20to_jsonable%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%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_(get_track_scenario%2C%20track)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20scenario%20%3D%20get_track_scenario(track_id)%0A%20%20%20%20return%20scenario%2C%20track_id%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id)%3A%0A%20%20%20%20_track%20%3D%20track_id%0A%20%20%20%20a_change%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Arithmetic%22%3A%20%22compute%22%2C%20%22Bandwidth%22%3A%20%22bandwidth%22%2C%20%22Reuse%22%3A%20%22reuse%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Arithmetic%22%2C%20label%3D%22Resource%20change%22%2C%0A%20%20%20%20)%0A%20%20%20%20a_factor%20%3D%20mo.ui.slider(2%2C%208%2C%20value%3D2%2C%20step%3D1%2C%20label%3D%22Change%20factor%22)%0A%20%20%20%20b_tile%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Compact%22%3A%20%22compact%22%2C%20%22Baseline%22%3A%20%22baseline%22%2C%20%22Oversized%22%3A%20%22oversized%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Compact%22%2C%20label%3D%22Tile%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_fused%20%3D%20mo.ui.checkbox(value%3DTrue%2C%20label%3D%22Fuse%20the%20following%20operation%22)%0A%20%20%20%20c_shape%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Aligned%22%3A%20%22aligned%22%2C%20%22Misaligned%22%3A%20%22misaligned%22%7D%2C%20value%3D%22Aligned%22%2C%20label%3D%22Shape%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_operation%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Matrix%20multiply%22%3A%20%22gemm%22%2C%20%22Scatter%20update%22%3A%20%22scatter%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Matrix%20multiply%22%2C%20label%3D%22Operation%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_speedup%20%3D%20mo.ui.slider(2%2C%2050%2C%20value%3D10%2C%20step%3D2%2C%20label%3D%22Kernel-only%20speedup%22)%0A%20%20%20%20e_objective%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Latency%22%3A%20%22latency%22%2C%20%22Accelerator%20energy%22%3A%20%22energy%22%2C%20%22Operating%20cost%22%3A%20%22cost%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Latency%22%2C%20label%3D%22Objective%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_budget%20%3D%20mo.ui.slider(0.05%2C%201.5%2C%20value%3D1.0%2C%20step%3D0.05%2C%20label%3D%22Budget%20scale%22)%0A%20%20%20%20e_choice%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Primary%22%3A%20%22primary%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Alternative%22%3A%20%22alternative%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22No%20change%20%2F%20hold%20for%20more%20evidence%22%3A%20%22hold%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22No%20feasible%20design%22%3A%20%22none%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Deployment%20decision%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_rejected%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Primary%22%3A%20%22primary%22%2C%20%22Alternative%22%3A%20%22alternative%22%7D%2C%20label%3D%22Rejected%20tested%20candidate%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_change%2C%0A%20%20%20%20%20%20%20%20a_factor%2C%0A%20%20%20%20%20%20%20%20b_fused%2C%0A%20%20%20%20%20%20%20%20b_tile%2C%0A%20%20%20%20%20%20%20%20c_operation%2C%0A%20%20%20%20%20%20%20%20c_shape%2C%0A%20%20%20%20%20%20%20%20d_speedup%2C%0A%20%20%20%20%20%20%20%20e_budget%2C%0A%20%20%20%20%20%20%20%20e_choice%2C%0A%20%20%20%20%20%20%20%20e_objective%2C%0A%20%20%20%20%20%20%20%20e_rejected%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id)%3A%0A%20%20%20%20_track%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%22Latency%20falls%20nearly%20with%20the%20factor%22%3A%20%22large%22%2C%20%22Latency%20barely%20changes%22%3A%20%22small%22%2C%20%22The%20bottleneck%20switches%22%3A%20%22switch%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20happens%20after%20the%20resource%20change%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%22Fits%20and%20moves%20fewer%20bytes%22%3A%20%22fit_less%22%2C%20%22Fits%20but%20moves%20more%20bytes%22%3A%20%22fit_more%22%2C%20%22Does%20not%20fit%20local%20memory%22%3A%20%22spill%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20will%20the%20selected%20mapping%20do%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%22Native%22%3A%20%22native%22%2C%20%22Padded%22%3A%20%22padded%22%2C%20%22Fallback%22%3A%20%22fallback%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20execution%20path%20will%20run%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%22Nearly%20the%20kernel%20speedup%22%3A%20%22near%22%2C%20%22Less%20than%20half%22%3A%20%22under_half%22%2C%20%22Almost%20no%20gain%22%3A%20%22small%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22How%20much%20kernel%20speedup%20survives%20end%20to%20end%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%22Primary%20wins%22%3A%20%22primary%22%2C%20%22Alternative%20wins%22%3A%20%22alternative%22%2C%20%22Neither%20is%20feasible%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20candidate%20survives%20the%20budgets%20and%20objective%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%20reevaluation_trigger%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Latency%20budget%20tightens%22%3A%20%22latency%22%2C%20%22Energy%20budget%20tightens%22%3A%20%22energy%22%2C%20%22Execution%20support%20changes%22%3A%20%22support%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%20residual_risk%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Deployed%20kernels%20differ%20from%20the%20scenario%20contract%22%3A%20%22contract%22%2C%20%22Power%20draw%20differs%20from%20the%20TDP%20proxy%22%3A%20%22power%22%2C%20%22Workload%20shape%20mix%20changes%22%3A%20%22shape_mix%22%7D%2C%0A%20%20%20%20%20%20%20%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%22Evidence-backed%20rationale%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Cite%20the%20chosen%20option%2C%20quantify%20the%20rejected%20candidate%2C%20name%20the%20limitation%2C%20and%20explain%20the%20trigger.%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20rationale%2C%20reevaluation_trigger%2C%20residual_risk%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_change%2C%0A%20%20%20%20a_factor%2C%0A%20%20%20%20analyze_execution_path%2C%0A%20%20%20%20analyze_roofline%2C%0A%20%20%20%20analyze_tile_mapping%2C%0A%20%20%20%20b_fused%2C%0A%20%20%20%20b_tile%2C%0A%20%20%20%20c_operation%2C%0A%20%20%20%20c_shape%2C%0A%20%20%20%20compare_application_speedup%2C%0A%20%20%20%20d_speedup%2C%0A%20%20%20%20e_budget%2C%0A%20%20%20%20e_objective%2C%0A%20%20%20%20make_replay_packet%2C%0A%20%20%20%20rank_accelerators%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20scenario_budgets%2C%0A%20%20%20%20scenario_candidates%2C%0A%20%20%20%20scenario_execution_dimensions%2C%0A%20%20%20%20scenario_gemm_demand%2C%0A%20%20%20%20scenario_tile_choices%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20demand%20%3D%20scenario_gemm_demand(track_id)%0A%20%20%20%20a_base_inputs%20%3D%20dict(%0A%20%20%20%20%20%20%20%20hardware%3Dscenario.hardware%2C%20operations%3Ddemand.operations%2C%0A%20%20%20%20%20%20%20%20base_bytes_moved%3Ddemand.bytes_moved%2C%20precision%3Dscenario.precision%2C%0A%20%20%20%20%20%20%20%20reuse%3D1.0%2C%20compute_scale%3D1.0%2C%20bandwidth_scale%3D1.0%2C%0A%20%20%20%20)%0A%20%20%20%20a_result_inputs%20%3D%20dict(a_base_inputs)%0A%20%20%20%20if%20a_change.value%20%3D%3D%20%22compute%22%3A%0A%20%20%20%20%20%20%20%20a_result_inputs%5B%22compute_scale%22%5D%20%3D%20float(a_factor.value)%0A%20%20%20%20elif%20a_change.value%20%3D%3D%20%22bandwidth%22%3A%0A%20%20%20%20%20%20%20%20a_result_inputs%5B%22bandwidth_scale%22%5D%20%3D%20float(a_factor.value)%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20a_result_inputs%5B%22reuse%22%5D%20%3D%20float(a_factor.value)%0A%20%20%20%20a_base%20%3D%20analyze_roofline(**a_base_inputs)%0A%20%20%20%20a_result%20%3D%20analyze_roofline(**a_result_inputs)%0A%20%20%20%20a_base_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22roofline%22%2C%20inputs%3Da_base_inputs)%0A%20%20%20%20a_result_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22roofline%22%2C%20inputs%3Da_result_inputs)%0A%0A%20%20%20%20_tile_choices%20%3D%20scenario_tile_choices(track_id)%0A%20%20%20%20_base_tile%20%3D%20_tile_choices%5B%22baseline%22%5D%0A%20%20%20%20_selected_tile%20%3D%20_tile_choices%5Bb_tile.value%5D%0A%20%20%20%20_tile_common%20%3D%20dict(%0A%20%20%20%20%20%20%20%20hardware%3Dscenario.hardware%2C%20m%3Dscenario.dimensions%5B0%5D%2C%20n%3Dscenario.dimensions%5B1%5D%2C%0A%20%20%20%20%20%20%20%20k%3Dscenario.dimensions%5B2%5D%2C%20precision%3Dscenario.precision%2C%0A%20%20%20%20%20%20%20%20scratchpad_capacity%3Dscenario.local_capacity%2C%0A%20%20%20%20)%0A%20%20%20%20b_base_inputs%20%3D%20dict(_tile_common%2C%20tile_m%3D_base_tile%5B0%5D%2C%20tile_n%3D_base_tile%5B1%5D%2C%20tile_k%3D_base_tile%5B2%5D%2C%20fused%3DFalse)%0A%20%20%20%20b_result_inputs%20%3D%20dict(_tile_common%2C%20tile_m%3D_selected_tile%5B0%5D%2C%20tile_n%3D_selected_tile%5B1%5D%2C%20tile_k%3D_selected_tile%5B2%5D%2C%20fused%3Db_fused.value)%0A%20%20%20%20b_base%20%3D%20analyze_tile_mapping(**b_base_inputs)%0A%20%20%20%20b_result%20%3D%20analyze_tile_mapping(**b_result_inputs)%0A%20%20%20%20b_base_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22tile_mapping%22%2C%20inputs%3Db_base_inputs)%0A%20%20%20%20b_result_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22tile_mapping%22%2C%20inputs%3Db_result_inputs)%0A%0A%20%20%20%20_base_dims%20%3D%20scenario_execution_dimensions(track_id%2C%20aligned%3DTrue)%0A%20%20%20%20_selected_dims%20%3D%20scenario_execution_dimensions(track_id%2C%20aligned%3Dc_shape.value%20%3D%3D%20%22aligned%22)%0A%20%20%20%20_execution_common%20%3D%20dict(%0A%20%20%20%20%20%20%20%20hardware%3Dscenario.hardware%2C%20fallback_hardware%3Dscenario.fallback%2C%0A%20%20%20%20%20%20%20%20contract%3Dscenario.contract%2C%20precision%3Dscenario.precision%2C%0A%20%20%20%20%20%20%20%20quality_observation%3D%22illustrative%20matched-task%20evidence%20held%20constant%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_base_inputs%20%3D%20dict(_execution_common%2C%20operation%3D%22gemm%22%2C%20m%3D_base_dims%5B0%5D%2C%20n%3D_base_dims%5B1%5D%2C%20k%3D_base_dims%5B2%5D)%0A%20%20%20%20c_result_inputs%20%3D%20dict(_execution_common%2C%20operation%3Dc_operation.value%2C%20m%3D_selected_dims%5B0%5D%2C%20n%3D_selected_dims%5B1%5D%2C%20k%3D_selected_dims%5B2%5D)%0A%20%20%20%20c_base%20%3D%20analyze_execution_path(**c_base_inputs)%0A%20%20%20%20c_result%20%3D%20analyze_execution_path(**c_result_inputs)%0A%20%20%20%20c_base_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22execution_path%22%2C%20inputs%3Dc_base_inputs)%0A%20%20%20%20c_result_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22execution_path%22%2C%20inputs%3Dc_result_inputs)%0A%0A%20%20%20%20d_base_inputs%20%3D%20dict(%0A%20%20%20%20%20%20%20%20hardware%3Dscenario.hardware%2C%20baseline_kernel_time%3Dc_result.latency%2C%0A%20%20%20%20%20%20%20%20local_speedup%3D1.0%2C%20host_time%3Dscenario.host_time%2C%0A%20%20%20%20%20%20%20%20transfer_bytes%3Dscenario.transfer_bytes%2C%0A%20%20%20%20%20%20%20%20transfer_fixed_latency%3Dscenario.transfer_fixed_latency%2C%0A%20%20%20%20%20%20%20%20launches%3Dscenario.launches%2C%20postprocess_time%3Dscenario.postprocess_time%2C%0A%20%20%20%20)%0A%20%20%20%20d_result_inputs%20%3D%20dict(d_base_inputs%2C%20local_speedup%3Dfloat(d_speedup.value))%0A%20%20%20%20d_base%20%3D%20compare_application_speedup(**d_base_inputs)%0A%20%20%20%20d_result%20%3D%20compare_application_speedup(**d_result_inputs)%0A%20%20%20%20d_base_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22application_comparison%22%2C%20inputs%3Dd_base_inputs)%0A%20%20%20%20d_result_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22application_comparison%22%2C%20inputs%3Dd_result_inputs)%0A%0A%20%20%20%20_candidates%20%3D%20scenario_candidates(track_id)%0A%20%20%20%20_latency_budget%2C%20_energy_budget%2C%20_cost_budget%20%3D%20scenario_budgets(track_id%2C%20scale%3De_budget.value)%0A%20%20%20%20e_common%20%3D%20dict(%0A%20%20%20%20%20%20%20%20fallback_hardware%3Dscenario.fallback%2C%20operation%3D%22gemm%22%2C%20precision%3Dscenario.precision%2C%0A%20%20%20%20%20%20%20%20m%3Dscenario.dimensions%5B0%5D%2C%20n%3Dscenario.dimensions%5B1%5D%2C%20k%3Dscenario.dimensions%5B2%5D%2C%0A%20%20%20%20%20%20%20%20host_time%3Dscenario.host_time%2C%20transfer_bytes%3Dscenario.transfer_bytes%2C%0A%20%20%20%20%20%20%20%20transfer_fixed_latency%3Dscenario.transfer_fixed_latency%2C%20launches%3Dscenario.launches%2C%0A%20%20%20%20%20%20%20%20postprocess_time%3Dscenario.postprocess_time%2C%20objective%3De_objective.value%2C%0A%20%20%20%20%20%20%20%20latency_budget%3D_latency_budget%2C%20energy_budget%3D_energy_budget%2C%20cost_budget%3D_cost_budget%2C%0A%20%20%20%20)%0A%20%20%20%20e_primary_inputs%20%3D%20dict(e_common%2C%20candidates%3D(_candidates%5B0%5D%2C))%0A%20%20%20%20e_alternative_inputs%20%3D%20dict(e_common%2C%20candidates%3D(_candidates%5B1%5D%2C))%0A%20%20%20%20e_full_inputs%20%3D%20dict(e_common%2C%20candidates%3D_candidates)%0A%20%20%20%20e_primary%20%3D%20rank_accelerators(**e_primary_inputs)%0A%20%20%20%20e_alternative%20%3D%20rank_accelerators(**e_alternative_inputs)%0A%20%20%20%20e_full%20%3D%20rank_accelerators(**e_full_inputs)%0A%20%20%20%20e_primary_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22accelerator_ranking%22%2C%20inputs%3De_primary_inputs)%0A%20%20%20%20e_alternative_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22accelerator_ranking%22%2C%20inputs%3De_alternative_inputs)%0A%20%20%20%20e_full_packet%20%3D%20make_replay_packet(track%3Dtrack_id%2C%20experiment%3D%22accelerator_ranking%22%2C%20inputs%3De_full_inputs)%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_base_packet%2C%0A%20%20%20%20%20%20%20%20a_result%2C%0A%20%20%20%20%20%20%20%20a_result_packet%2C%0A%20%20%20%20%20%20%20%20b_base%2C%0A%20%20%20%20%20%20%20%20b_base_packet%2C%0A%20%20%20%20%20%20%20%20b_result%2C%0A%20%20%20%20%20%20%20%20b_result_packet%2C%0A%20%20%20%20%20%20%20%20c_base%2C%0A%20%20%20%20%20%20%20%20c_base_packet%2C%0A%20%20%20%20%20%20%20%20c_result%2C%0A%20%20%20%20%20%20%20%20c_result_packet%2C%0A%20%20%20%20%20%20%20%20d_base%2C%0A%20%20%20%20%20%20%20%20d_base_packet%2C%0A%20%20%20%20%20%20%20%20d_result%2C%0A%20%20%20%20%20%20%20%20d_result_packet%2C%0A%20%20%20%20%20%20%20%20e_alternative%2C%0A%20%20%20%20%20%20%20%20e_alternative_packet%2C%0A%20%20%20%20%20%20%20%20e_full%2C%0A%20%20%20%20%20%20%20%20e_full_packet%2C%0A%20%20%20%20%20%20%20%20e_primary%2C%0A%20%20%20%20%20%20%20%20e_primary_packet%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_base_packet%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20a_result_packet%2C%0A%20%20%20%20b_base%2C%0A%20%20%20%20b_base_packet%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20b_result_packet%2C%0A%20%20%20%20c_base%2C%0A%20%20%20%20c_base_packet%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_result_packet%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20d_base%2C%0A%20%20%20%20d_base_packet%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%20d_result_packet%2C%0A%20%20%20%20e_alternative%2C%0A%20%20%20%20e_alternative_packet%2C%0A%20%20%20%20e_choice%2C%0A%20%20%20%20e_full%2C%0A%20%20%20%20e_full_packet%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_primary%2C%0A%20%20%20%20e_primary_packet%2C%0A%20%20%20%20e_rejected%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20set_evidence%2C%0A%20%20%20%20to_jsonable%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20def%20_store(part%2C%20capture)%3A%0A%20%20%20%20%20%20%20%20set_evidence(lambda%20current%3A%20%7B**current%2C%20part%3A%20capture%7D)%0A%0A%20%20%20%20def%20_run(packet%2C%20result)%3A%0A%20%20%20%20%20%20%20%20return%20%7B%22inputs%22%3A%20packet%5B%22inputs%22%5D%2C%20%22outputs%22%3A%20to_jsonable(result)%7D%0A%0A%20%20%20%20a_upstream%20%3D%20%7B%22baseline%22%3A%20a_base_packet%5B%22inputs%22%5D%2C%20%22result%22%3A%20a_result_packet%5B%22inputs%22%5D%7D%0A%20%20%20%20b_upstream%20%3D%20%7B%22baseline%22%3A%20b_base_packet%5B%22inputs%22%5D%2C%20%22result%22%3A%20b_result_packet%5B%22inputs%22%5D%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22baseline%22%3A%20c_base_packet%5B%22inputs%22%5D%2C%20%22result%22%3A%20c_result_packet%5B%22inputs%22%5D%7D%0A%20%20%20%20d_upstream%20%3D%20%7B%22baseline%22%3A%20d_base_packet%5B%22inputs%22%5D%2C%20%22result%22%3A%20d_result_packet%5B%22inputs%22%5D%7D%0A%20%20%20%20e_upstream%20%3D%20%7B%22ranking%22%3A%20e_full_packet%5B%22inputs%22%5D%2C%20%22choice%22%3A%20e_choice.value%2C%20%22rejected%22%3A%20e_rejected.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%20resource%20contrast%22%2C%20kind%3D%22success%22%2C%20disabled%3Da_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20_store(%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%20inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3D_run(a_base_packet%2C%20a_base)%2C%20result%3D_run(a_result_packet%2C%20a_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Da_upstream%2C%20model_key%3Da_result_packet%5B%22model_key%22%5D%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%20tile%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Db_prediction.value%20is%20None%20or%20b_base_packet%5B%22inputs%22%5D%20%3D%3D%20b_result_packet%5B%22inputs%22%5D%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20_store(%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%20inputs%3Db_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3D_run(b_base_packet%2C%20b_base)%2C%20result%3D_run(b_result_packet%2C%20b_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Db_upstream%2C%20model_key%3Db_result_packet%5B%22model_key%22%5D%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%20execution%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dc_prediction.value%20is%20None%20or%20c_base_packet%5B%22inputs%22%5D%20%3D%3D%20c_result_packet%5B%22inputs%22%5D%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20_store(%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%20inputs%3Dc_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3D_run(c_base_packet%2C%20c_base)%2C%20result%3D_run(c_result_packet%2C%20c_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dc_upstream%2C%20model_key%3Dc_result_packet%5B%22model_key%22%5D%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20d_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20whole-path%20contrast%22%2C%20kind%3D%22success%22%2C%20disabled%3Dd_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20_store(%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%20inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3D_run(d_base_packet%2C%20d_base)%2C%20result%3D_run(d_result_packet%2C%20d_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dd_upstream%2C%20model_key%3Dd_result_packet%5B%22model_key%22%5D%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20_rows%20%3D%20%7Brow.candidate_id%3A%20row%20for%20row%20in%20e_full.rows%7D%0A%20%20%20%20_choice_feasible%20%3D%20e_choice.value%20in%20_rows%20and%20_rows%5Be_choice.value%5D.feasible%0A%20%20%20%20_hold_valid%20%3D%20e_choice.value%20%3D%3D%20%22hold%22%20and%20_rows%5B%22primary%22%5D.feasible%20and%20e_rejected.value%20%3D%3D%20%22alternative%22%0A%20%20%20%20_none_valid%20%3D%20e_choice.value%20%3D%3D%20%22none%22%20and%20e_full.recommendation%20is%20None%0A%20%20%20%20e_decision_valid%20%3D%20(%0A%20%20%20%20%20%20%20%20e_prediction.value%20is%20not%20None%20and%20e_rejected.value%20is%20not%20None%0A%20%20%20%20%20%20%20%20and%20e_choice.value%20is%20not%20None%20and%20e_choice.value%20!%3D%20e_rejected.value%0A%20%20%20%20%20%20%20%20and%20(_choice_feasible%20or%20_hold_valid%20or%20_none_valid)%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%20accelerator%20decision%22%2C%20kind%3D%22success%22%2C%20disabled%3Dnot%20e_decision_valid%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20_store(%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%20inputs%3De_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3D_run(e_primary_packet%2C%20e_primary)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3D_run(e_alternative_packet%2C%20e_alternative)%2C%20upstream_inputs%3De_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(_run(e_full_packet%2C%20e_full)%2C)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3D%7B%22recommendation%22%3A%20e_choice.value%2C%20%22rejected%22%3A%20e_rejected.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3De_full_packet%5B%22model_key%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%20_run(e_primary_packet%2C%20e_primary)%20if%20e_choice.value%20in%20(%22primary%22%2C%20%22hold%22)%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20else%20_run(e_alternative_packet%2C%20e_alternative)%20if%20e_choice.value%20%3D%3D%20%22alternative%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20else%20_run(e_full_packet%2C%20e_full)%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%22chosen%20candidate%22%20if%20e_choice.value%20%3D%3D%20%22alternative%22%20else%20%22rejected%20alternative%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_decision_valid%2C%0A%20%20%20%20%20%20%20%20e_upstream%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(ACADEMIC_LAB_CSS%2C%20LAB_CSS%2C%20mo%2C%20scenario%2C%20track)%3A%0A%20%20%20%20css%20%3D%20mo.Html(%22%22%22%0A%20%20%20%20%3Cstyle%3E%0A%20%20%20%20.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-note%7Bcolor%3A%23475569%3Bfont-size%3A.9rem%3Bline-height%3A1.5%3Bmargin%3A0%3Bpadding%3A0%202px%7D.pilot-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(170px%2C1fr))%3Bgap%3A9px%3Bmargin-top%3A17px%7D%0A%20%20%20%20.pilot-meta%20div%7Bbackground%3A%23ffffff14%3Bborder%3A1px%20solid%20%23ffffff26%3Bpadding%3A9px%2011px%3Bborder-radius%3A8px%7D.saved%7Bborder-left%3A4px%20solid%20%232ca02c%3Bbackground%3A%23f0fdf4%3Bpadding%3A9px%2012px%3Bborder-radius%3A7px%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.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%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%2011%3C%2Fspan%3E%3Cspan%3EABOUT%2050%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%3Ch1%3EAcceleration%20That%20Survives%20the%20Whole%20Path%3C%2Fh1%3E%3Cp%3EWhen%20does%20specialized%20hardware%20improve%20the%20application%20rather%20than%20one%20attractive%20kernel%3F%3C%2Fp%3E%3Cdiv%20class%3D%22pilot-meta%22%3E%3Cdiv%3E%3Cb%3EMachine%3C%2Fb%3E%3Cbr%3E%7Bscenario.hardware.name%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3ETrack%3C%2Fb%3E%3Cbr%3E%7Bscenario.track.title()%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EDeliverable%3C%2Fb%3E%3Cbr%3EConstrained%20accelerator%20decision%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%20track%2C%20header%2C%20mo.Html(f'%3Cp%20class%3D%22pilot-note%22%3E%7Bscenario.assumption_label.capitalize()%7D.%20Hardware%20supply%20comes%20from%20MLSysIM%20registry%20entries%3B%20results%20are%20analytical%2C%20not%20measured%20benchmarks.%3C%2Fp%3E')%5D%2C%20gap%3D0.5).style(%7B%22padding-top%22%3A%20%2232px%22%7D)%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_change%2C%0A%20%20%20%20a_factor%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_base%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_fused%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20b_tile%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20c_base%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_operation%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_shape%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%20d_speedup%2C%0A%20%20%20%20d_upstream%2C%0A%20%20%20%20e_budget%2C%0A%20%20%20%20e_capture%2C%0A%20%20%20%20e_choice%2C%0A%20%20%20%20e_decision_valid%2C%0A%20%20%20%20e_full%2C%0A%20%20%20%20e_objective%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_rejected%2C%0A%20%20%20%20e_upstream%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20go%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20reevaluation_trigger%2C%0A%20%20%20%20residual_risk%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%2C%20%22E%22%3A%20e_upstream%7D%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(%22ABCDE%22)%2C%0A%20%20%20%20%20%20%20%20per_part_upstream_inputs%3D_upstream%2C%20contrast_required_parts%3Dtuple(%22ABCDE%22)%2C%0A%20%20%20%20)%0A%0A%20%20%20%20def%20_table(rows)%3A%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.ui.table(rows%2C%20pagination%3DFalse)%5D).style(%7B%22max-width%22%3A%20%22100%25%22%2C%20%22overflow-x%22%3A%20%22auto%22%7D)%0A%0A%20%20%20%20def%20_saved(part)%3A%0A%20%20%20%20%20%20%20%20capture%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20if%20capture%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22No%20saved%20evidence%20for%20this%20part.%22)%2C%20kind%3D%22warn%22)%0A%20%20%20%20%20%20%20%20if%20part%20in%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.**%20Recapture%20after%20changing%20dependencies.%22)%2C%20kind%3D%22danger%22)%0A%20%20%20%20%20%20%20%20data%20%3D%20capture.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%20prediction%3A%20%7Bdata%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ETrack%20%7Bdata%5B%22track%22%5D%7D%3B%20later%20controls%20do%20not%20rewrite%20this%20record.%3C%2Fsmall%3E%3C%2Fdiv%3E')%0A%0A%20%20%20%20def%20_part_a()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%22%23%23%23%20A%20%C2%B7%20When%20does%20faster%20arithmetic%20help%3F%20(9%20min)%5CnChange%20one%20resource%20while%20workload%20operations%20and%20base%20traffic%20stay%20fixed.%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(%5Bintro%2C%20mo.hstack(%5Ba_change%2C%20a_factor%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20a_prediction%5D)%0A%20%20%20%20%20%20%20%20fig%20%3D%20go.Figure(%5Bgo.Bar(x%3D%5B%22Baseline%22%2C%20%22Changed%22%5D%2C%20y%3D%5Ba_base.latency.to(%22ms%22).magnitude%2C%20a_result.latency.to(%22ms%22).magnitude%5D%2C%20marker_color%3D%5BCOLORS%5B%22BlueLine%22%5D%2C%20COLORS%5B%22OrangeLine%22%5D%5D)%5D)%0A%20%20%20%20%20%20%20%20fig.update_layout(height%3D250%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Analytical%20latency%20(ms)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Run%22%3A%20%22Baseline%22%2C%20%22Intensity%22%3A%20f%22%7Ba_base.arithmetic_intensity.to('flop%2Fbyte').magnitude%3A.1f%7D%20FLOP%2FB%22%2C%20%22Bottleneck%22%3A%20a_base.bottleneck%2C%20%22Latency%22%3A%20f%22%7Ba_base.latency.to('ms').magnitude%3A.4g%7D%20ms%22%7D%2C%20%7B%22Run%22%3A%20%22Changed%22%2C%20%22Intensity%22%3A%20f%22%7Ba_result.arithmetic_intensity.to('flop%2Fbyte').magnitude%3A.1f%7D%20FLOP%2FB%22%2C%20%22Bottleneck%22%3A%20a_result.bottleneck%2C%20%22Latency%22%3A%20f%22%7Ba_result.latency.to('ms').magnitude%3A.4g%7D%20ms%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20mo.hstack(%5Ba_change%2C%20a_factor%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20a_prediction%2C%20apply_plotly_theme(fig)%2C%20_table(rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Ba_prediction.value%7D.%20The%20binding%20limit%20is%20**%7Ba_result.bottleneck%7D**%20after%20the%20change%3B%20improving%20a%20nonbinding%20resource%20cannot%20lower%20latency.%22)%2C%20kind%3D%22info%22)%2C%20a_capture%2C%20_saved(%22A%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Arithmetic%20intensity%20%3D%20operations%20%2F%20effective%20off-chip%20bytes.%20Reuse%20lowers%20traffic.%20Latency%20is%20the%20larger%20of%20compute%20time%20and%20memory%20time%3B%20compute%20and%20bandwidth%20scales%20change%20only%20their%20own%20ceilings.%22)%7D)%5D)%0A%0A%20%20%20%20def%20_part_b()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%22%23%23%23%20B%20%C2%B7%20How%20much%20reuse%20fits%20locally%3F%20(10%20min)%5CnCompare%20one%20blocked%20matrix%20mapping%20with%20the%20baseline%20tile%20and%20unfused%20intermediate.%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(%5Bintro%2C%20mo.hstack(%5Bb_tile%2C%20b_fused%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20b_prediction%5D)%0A%20%20%20%20%20%20%20%20fig%20%3D%20go.Figure(%5Bgo.Bar(x%3D%5B%22Baseline%22%2C%20%22Selected%22%5D%2C%20y%3D%5Bb_base.dram_bytes.to(%22KiB%22).magnitude%2C%20b_result.dram_bytes.to(%22KiB%22).magnitude%5D%2C%20marker_color%3D%5BCOLORS%5B%22BlueLine%22%5D%2C%20COLORS%5B%22GreenLine%22%5D%5D)%5D)%0A%20%20%20%20%20%20%20%20fig.update_layout(height%3D250%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22DRAM%20traffic%20(KiB)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Run%22%3A%20%22Baseline%22%2C%20%22Tile%22%3A%20str(b_base.tile)%2C%20%22Local%20need%22%3A%20f%22%7Bb_base.scratchpad_required.to('KiB').magnitude%3A.1f%7D%20KiB%22%2C%20%22Capacity%22%3A%20f%22%7Bb_base.scratchpad_capacity.to('KiB').magnitude%3A.1f%7D%20KiB%22%2C%20%22Mapping%22%3A%20%22FITS%22%20if%20b_base.fits%20else%20%22SPILL%22%7D%2C%20%7B%22Run%22%3A%20%22Selected%22%2C%20%22Tile%22%3A%20str(b_result.tile)%2C%20%22Local%20need%22%3A%20f%22%7Bb_result.scratchpad_required.to('KiB').magnitude%3A.1f%7D%20KiB%22%2C%20%22Capacity%22%3A%20f%22%7Bb_result.scratchpad_capacity.to('KiB').magnitude%3A.1f%7D%20KiB%22%2C%20%22Mapping%22%3A%20%22FITS%22%20if%20b_result.fits%20else%20%22SPILL%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20mo.hstack(%5Bb_tile%2C%20b_fused%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20b_prediction%2C%20apply_plotly_theme(fig)%2C%20_table(rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bb_prediction.value%7D.%20The%20selected%20tile%20**%7B'fits'%20if%20b_result.fits%20else%20'does%20not%20fit'%7D**.%20A%20failed%20mapping%20has%20no%20fabricated%20runtime%20penalty%3B%20it%20must%20be%20remapped.%22)%2C%20kind%3D%22danger%22%20if%20not%20b_result.fits%20else%20%22success%22)%2C%20b_capture%2C%20_saved(%22B%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Scratchpad%20occupancy%20counts%20A%2C%20B%2C%20and%20C%20tiles.%20DRAM%20traffic%20counts%20tiled%20inputs%2C%20output%2C%20and%20an%20explicit%20write%2Fread%20intermediate%20when%20fusion%20is%20off.%20Movement%20energy%20uses%20registry%20energy%20per%20byte.%22)%7D)%5D)%0A%0A%20%20%20%20def%20_part_c()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%22%23%23%23%20C%20%C2%B7%20Can%20the%20specialized%20unit%20execute%20this%20workload%3F%20(9%20min)%5CnThe%20execution%20contract%20is%20an%20illustrative%20scenario%20assumption.%20Matched-task%20quality%20evidence%20stays%20fixed%20and%20cannot%20accelerate%20hardware.%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(%5Bintro%2C%20mo.hstack(%5Bc_shape%2C%20c_operation%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20c_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Run%22%3A%20%22Baseline%22%2C%20%22Operation%22%3A%20c_base.operation%2C%20%22Original%22%3A%20str(c_base.original_dimensions)%2C%20%22Executed%22%3A%20str(c_base.executed_dimensions)%2C%20%22Path%22%3A%20c_base.path%2C%20%22Extra%20work%22%3A%20f%22%7Bc_base.extra_operations.to('MFLOP').magnitude%3A.3g%7D%20MFLOP%22%7D%2C%20%7B%22Run%22%3A%20%22Selected%22%2C%20%22Operation%22%3A%20c_result.operation%2C%20%22Original%22%3A%20str(c_result.original_dimensions)%2C%20%22Executed%22%3A%20str(c_result.executed_dimensions)%2C%20%22Path%22%3A%20c_result.path%2C%20%22Extra%20work%22%3A%20f%22%7Bc_result.extra_operations.to('MFLOP').magnitude%3A.3g%7D%20MFLOP%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20mo.hstack(%5Bc_shape%2C%20c_operation%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20c_prediction%2C%20_table(rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bc_prediction.value%7D.%20The%20selected%20case%20uses%20the%20**%7Bc_result.path%7D**%20path%20on%20**%7Bc_result.hardware_name%7D**.%20Padding%20adds%20counted%20work%3B%20unsupported%20work%20names%20the%20fallback%20device.%22)%2C%20kind%3D%22info%22)%2C%20c_capture%2C%20_saved(%22C%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Native%20execution%20requires%20a%20supported%20operation%2C%20precision%2C%20and%20aligned%20shape.%20Padding%20rounds%20each%20dimension%20to%20the%20contract%20multiple%20and%20recomputes%20work.%20Unsupported%20work%20executes%20on%20the%20named%20fallback%20hardware.%22)%7D)%5D)%0A%0A%20%20%20%20def%20_part_d()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%22%23%23%23%20D%20%C2%B7%20Why%20does%20kernel%20speedup%20disappear%20end%20to%20end%3F%20(9%20min)%5CnPreserve%20host%20work%2C%20transfer%2C%20launches%2C%20and%20postprocessing%20while%20changing%20only%20kernel%20time.%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(%5Bintro%2C%20d_speedup%2C%20d_prediction%5D)%0A%20%20%20%20%20%20%20%20baseline%2C%20changed%20%3D%20d_result.baseline%2C%20d_result.accelerated%0A%20%20%20%20%20%20%20%20fig%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20for%20label%2C%20path%20in%20((%22Baseline%22%2C%20baseline)%2C%20(%22Accelerated%22%2C%20changed))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20for%20name%2C%20value%2C%20color%20in%20((%22Host%22%2C%20path.host_time%2C%20COLORS%5B%22BlueLine%22%5D)%2C%20(%22Transfer%22%2C%20path.transfer_time%2C%20COLORS%5B%22OrangeLine%22%5D)%2C%20(%22Launch%22%2C%20path.launch_time%2C%20COLORS%5B%22GreenLine%22%5D)%2C%20(%22Kernel%22%2C%20path.kernel_time%2C%20COLORS%5B%22RedLine%22%5D)%2C%20(%22Postprocess%22%2C%20path.postprocess_time%2C%20COLORS%5B%22TextMuted%22%5D))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20fig.add_bar(name%3Dname%2C%20x%3D%5Blabel%5D%2C%20y%3D%5Bvalue.to(%22ms%22).magnitude%5D%2C%20marker_color%3Dcolor%2C%20legendgroup%3Dname%2C%20showlegend%3Dlabel%20%3D%3D%20%22Baseline%22)%0A%20%20%20%20%20%20%20%20fig.update_layout(barmode%3D%22stack%22%2C%20height%3D280%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Application%20time%20(ms)%22%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20d_speedup%2C%20d_prediction%2C%20apply_plotly_theme(fig)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bd_prediction.value%7D.%20A%20**%7Bd_result.local_speedup%3A.0f%7D%C3%97**%20kernel%20gain%20becomes%20**%7Bd_result.end_to_end_speedup%3A.2f%7D%C3%97**%20end%20to%20end%20because%20the%20other%20stages%20remain.%22)%2C%20kind%3D%22info%22)%2C%20d_capture%2C%20_saved(%22D%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Application%20time%20adds%20host%2C%20one-way%20transfer%20plus%20fixed%20latency%2C%20registry%20dispatch%20time%20per%20launch%2C%20kernel%20time%2C%20and%20postprocessing.%20Only%20kernel%20time%20is%20divided%20by%20the%20local%20speedup.%22)%7D)%5D)%0A%0A%20%20%20%20def%20_part_e()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%22%23%23%23%20E%20%C2%B7%20Which%20feasible%20accelerator%20should%20we%20choose%3F%20(9%20min)%5CnBoth%20candidates%20run%20the%20same%20workload%20and%20application%20stages.%20Filter%20constraints%20before%20optimizing%20the%20selected%20objective.%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(%5Bintro%2C%20mo.hstack(%5Be_objective%2C%20e_budget%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20e_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Candidate%22%3A%20row.candidate_id.title()%2C%20%22Hardware%22%3A%20row.hardware_name%2C%20%22Path%22%3A%20row.execution_path%2C%20%22Latency%22%3A%20f%22%7Brow.latency.to('ms').magnitude%3A.3g%7D%20ms%22%2C%20%22Energy%22%3A%20f%22%7Brow.accelerator_energy.to('mJ').magnitude%3A.3g%7D%20mJ%22%2C%20%22Cost%22%3A%20f%22%24%7Brow.operating_cost.to('dollar').magnitude%3A.3g%7D%22%2C%20%22Outcome%22%3A%20%22FEASIBLE%22%20if%20row.feasible%20else%20%22FAIL%3A%20%22%20%2B%20%22%2C%20%22.join(row.violations)%7D%20for%20row%20in%20e_full.rows%5D%0A%20%20%20%20%20%20%20%20recommendation%20%3D%20e_full.recommendation.candidate_id%20if%20e_full.recommendation%20else%20%22no%20feasible%20design%22%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20mo.hstack(%5Be_objective%2C%20e_budget%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20e_prediction%2C%20_table(rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Be_prediction.value%7D.%20Constrained%20ranking%20recommends%20**%7Brecommendation%7D**%20for%20**%7Be_full.objective%7D**%20under%20the%20displayed%20illustrative%20budgets.%22)%2C%20kind%3D%22success%22%20if%20e_full.recommendation%20else%20%22danger%22)%2C%20mo.hstack(%5Be_choice%2C%20e_rejected%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20mo.callout(mo.md(%22Decision%20is%20consistent%20and%20compares%20a%20different%20tested%20candidate.%22%20if%20e_decision_valid%20else%20%22Choose%20a%20feasible%20candidate%2C%20hold%20the%20feasible%20primary%20while%20rejecting%20the%20tested%20alternative%2C%20or%20choose%20no%20feasible%20design%20only%20when%20both%20fail.%22)%2C%20kind%3D%22success%22%20if%20e_decision_valid%20else%20%22warn%22)%2C%20e_capture%2C%20_saved(%22E%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Each%20candidate%20first%20passes%20native%20support%2C%20latency%2C%20accelerator%20energy%2C%20and%20active-time%20operating%20cost%20budgets.%20Feasible%20rows%20are%20then%20sorted%20by%20the%20selected%20objective.%20Holding%20preserves%20the%20feasible%20primary%20baseline%20while%20recording%20why%20the%20tested%20alternative%20was%20rejected.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_synthesis()%3A%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20part%20in%20%22ABCDE%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20capture%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20%20%20%20%20current%20%3D%20capture%20and%20part%20not%20in%20audit.stale%20and%20(part%2C%20part)%20not%20in%20audit.identical_pairs%0A%20%20%20%20%20%20%20%20%20%20%20%20rows.append(%7B%22Part%22%3A%20part%2C%20%22Prediction%22%3A%20capture.to_dict()%5B%22prediction%22%5D%20if%20capture%20else%20%22%E2%80%94%22%2C%20%22Evidence%22%3A%20%22CURRENT%22%20if%20current%20else%20(%22STALE%22%20if%20capture%20else%20%22MISSING%22)%7D)%0A%20%20%20%20%20%20%20%20complete%20%3D%20audit.complete%20and%20%22E%22%20in%20_captures%20and%20all(widget.value%20is%20not%20None%20for%20widget%20in%20(reevaluation_trigger%2C%20residual_risk))%20and%20bool(rationale.value.strip())%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Defend%20the%20accelerator%20decision%20(4%20min)%5CnUse%20saved%20experiments%20to%20name%20the%20chosen%20option%2C%20quantify%20the%20rejected%20candidate%2C%20state%20one%20limitation%2C%20and%20define%20a%20reevaluation%20trigger.%22)%2C%20_table(rows)%2C%20mo.hstack(%5Breevaluation_trigger%2C%20residual_risk%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20rationale%2C%20mo.callout(mo.md(%22**Ready%20for%20the%20local%20report.**%22%20if%20complete%20else%20%22Capture%20five%20current%20contrasts%2C%20then%20complete%20the%20limitation%2C%20trigger%2C%20and%20rationale.%22)%2C%20kind%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%3A%20_part_a()%2C%20%22Part%20B%22%3A%20_part_b()%2C%20%22Part%20C%22%3A%20_part_c()%2C%20%22Part%20D%22%3A%20_part_d()%2C%20%22Part%20E%22%3A%20_part_e()%2C%20%22Synthesis%22%3A%20build_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%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%20reevaluation_trigger%2C%0A%20%20%20%20report_export_panel%2C%0A%20%20%20%20residual_risk%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_decision%20%3D%20_captures%5B%22E%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22E%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%20%3D%20audit.complete%20and%20_decision%20is%20not%20None%20and%20all(widget.value%20is%20not%20None%20for%20widget%20in%20(reevaluation_trigger%2C%20residual_risk))%20and%20bool(rationale.value.strip())%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20snapshots%20%3D%20%7Bpart%3A%20_captures%5Bpart%5D.to_dict()%20for%20part%20in%20%22ABCDE%22%7D%0A%20%20%20%20report%20%3D%20build_lab_report(%0A%20%20%20%20%20%20%20%20get_lab_metadata(%22vol1%2Flab_11_hw_accel.py%22)%2C%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20scenario%3Df%22%7Bscenario.hardware.name%7D%20analytical%20accelerator-fit%20investigation%22%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%22Identify%20the%20binding%20roofline%20resource%22%2C%20%22Test%20local-memory%20and%20execution-support%20boundaries%22%2C%20%22Compare%20kernel%20and%20application%20speedup%22%2C%20%22Rank%20feasible%20accelerators%20under%20explicit%20budgets%22%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7Bpart%3A%20snapshot%5B%22prediction%22%5D%20for%20part%2C%20snapshot%20in%20snapshots.items()%7D%2C%0A%20%20%20%20%20%20%20%20knob_settings%3D%7Bpart%3A%20snapshot%5B%22inputs%22%5D%20for%20part%2C%20snapshot%20in%20snapshots.items()%7D%2C%0A%20%20%20%20%20%20%20%20evidence_summary%3D%7Bpart%3A%20%7B%22baseline%22%3A%20snapshot%5B%22baseline%22%5D%2C%20%22result%22%3A%20snapshot%5B%22result%22%5D%2C%20%22alternatives%22%3A%20snapshot%5B%22alternatives%22%5D%7D%20for%20part%2C%20snapshot%20in%20snapshots.items()%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7Bpart%3A%20(snapshots%5Bpart%5D.get(%22chosen_result%22)%20or%20snapshots%5Bpart%5D%5B%22result%22%5D)%5B%22outputs%22%5D%20for%20part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20decisions%3D%7B%22recommendation%22%3A%20_decision%5B%22recommendation%22%5D%2C%20%22rejected_alternative%22%3A%20_decision%5B%22rejected%22%5D%2C%20%22reevaluation_trigger%22%3A%20reevaluation_trigger.value%7D%2C%0A%20%20%20%20%20%20%20%20final_decision%3D%7B%22recommendation%22%3A%20_decision%5B%22recommendation%22%5D%2C%20%22rejected_alternative%22%3A%20_decision%5B%22rejected%22%5D%2C%20%22rationale%22%3A%20rationale.value%7D%2C%0A%20%20%20%20%20%20%20%20big_takeaways%3D%5B%22Peak%20arithmetic%20helps%20only%20when%20compute%20binds.%22%2C%20%22Local%20capacity%20and%20execution%20support%20can%20force%20remapping.%22%2C%20%22Host%2C%20transfer%2C%20and%20launch%20stages%20cap%20application%20speedup.%22%2C%20%22Selection%20filters%20constraints%20before%20optimizing%20an%20objective.%22%5D%2C%0A%20%20%20%20%20%20%20%20reflections%3D%7B%22rationale%22%3A%20rationale.value%2C%20%22reevaluation_trigger%22%3A%20reevaluation_trigger.value%7D%2C%20residual_risk%3Dresidual_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%20snapshots%2C%20%22recommendation%22%3A%20_decision%5B%22recommendation%22%5D%2C%20%22rejected%22%3A%20_decision%5B%22rejected%22%5D%2C%20%22trigger%22%3A%20reevaluation_trigger.value%2C%20%22residual_risk%22%3A%20residual_risk.value%7D%2C%0A%20%20%20%20%20%20%20%20source_trace%3D%7B%22hardware%22%3A%20%22MLSysIM%20registry%22%2C%20%22scenario%22%3A%20scenario.assumption_label%2C%20%22results%22%3A%20%22Analytical%20MLSysIM%20Chapter%2011%20experiment%20models%3B%20not%20measured%20benchmarks.%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%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%20reevaluation_trigger%2C%0A%20%20%20%20residual_risk%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_decision%20%3D%20_captures%5B%22E%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22E%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%20%3D%20audit.complete%20and%20_decision%20is%20not%20None%20and%20all(widget.value%20is%20not%20None%20for%20widget%20in%20(reevaluation_trigger%2C%20residual_risk))%20and%20bool(rationale.value.strip())%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%3D11%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_11%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%20%22evidence%22%3A%20%7Bpart%3A%20capture.to_dict()%20for%20part%2C%20capture%20in%20_captures.items()%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22recommendation%22%3A%20_decision%5B%22recommendation%22%5D%2C%20%22rejected_alternative%22%3A%20_decision%5B%22rejected%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22reevaluation_trigger%22%3A%20reevaluation_trigger.value%2C%20%22residual_risk%22%3A%20residual_risk.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%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_status%20%3D%20%22SAVED%22%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%22SAVE%20FAILED%20%C2%B7%20REPORT%20STILL%20AVAILABLE%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%3E11%20%C2%B7%20Acceleration%20That%20Survives%20the%20Whole%20Path%20%C2%B7%20STATUS%3A%20%3C%2Fspan%3E%3Cspan%20class%3D%22hud-active%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