Lab 07: The Framework Tax

Lab 07: The Framework Tax · 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%2007%3A%20The%20Framework%20Tax%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_07_experiments%20import%20(%0A%20%20%20%20%20%20%20%20MODEL_KEY%2C%20OPERATION_GRAPH%2C%20TRACKS%2C%20compare_dispatch%2C%0A%20%20%20%20%20%20%20%20evaluate_compilation%2C%20evaluate_fusion%2C%20evaluate_operator_support%2C%0A%20%20%20%20%20%20%20%20evaluate_recomputation%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%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_KEY%2C%0A%20%20%20%20%20%20%20%20OPERATION_GRAPH%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_dispatch%2C%0A%20%20%20%20%20%20%20%20evaluate_compilation%2C%0A%20%20%20%20%20%20%20%20evaluate_fusion%2C%0A%20%20%20%20%20%20%20%20evaluate_operator_support%2C%0A%20%20%20%20%20%20%20%20evaluate_recomputation%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20go%2C%0A%20%20%20%20%20%20%20%20ledger%2C%0A%20%20%20%20%20%20%20%20mo%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20get_evidence%2C%20set_evidence%20%3D%20mo.state(%7B%7D)%0A%20%20%20%20return%20get_evidence%2C%20set_evidence%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20set_evidence)%3A%0A%20%20%20%20track%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22TinyML%22%3A%20%22tinyml%22%2C%20%22Mobile%22%3A%20%22mobile%22%2C%20%22Edge%22%3A%20%22edge%22%2C%20%22Cloud%22%3A%20%22cloud%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22TinyML%22%2C%20label%3D%22Deployment%20track%22%2C%0A%20%20%20%20%20%20%20%20on_change%3Dlambda%20_value%3A%20set_evidence(%7B%7D)%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(track%2C)%0A%0A%0A%40app.cell%0Adef%20_(TRACKS%2C%20track)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20profile%20%3D%20TRACKS%5Btrack_id%5D%0A%20%20%20%20return%20profile%2C%20track_id%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20a_dispatches%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22One%20launch%22%3A%201%2C%20%22Two%20launches%22%3A%202%2C%20%22Three%20launches%22%3A%203%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22One%20launch%22%2C%20label%3D%22Intervention%20granularity%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_executions%20%3D%20mo.ui.slider(10%2C%20200%2C%20value%3D50%2C%20step%3D10%2C%20label%3D%22Repeated%20executions%22)%0A%20%20%20%20b_recompiles_label%20%3D%20(%0A%20%20%20%20%20%20%20%20%22Host%20rebuilds%20%2F%20redeployments%22%0A%20%20%20%20%20%20%20%20if%20track_id%20%3D%3D%20%22tinyml%22%0A%20%20%20%20%20%20%20%20else%20%22Guard-triggered%20recompilations%22%0A%20%20%20%20)%0A%20%20%20%20b_recompiles%20%3D%20mo.ui.slider(0%2C%208%2C%20value%3D0%2C%20step%3D1%2C%20label%3Db_recompiles_label)%0A%20%20%20%20c_breaks%20%3D%20mo.ui.slider(0%2C%204%2C%20value%3D0%2C%20step%3D1%2C%20label%3D%22Graph%20breaks%22)%0A%20%20%20%20d_policy%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Retain%20alternate%20activations%22%3A%20%22alternate%22%2C%20%22Retain%20input%20only%22%3A%20%22input_only%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Retain%20alternate%20activations%22%2C%20label%3D%22Recomputation%20policy%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_batch%20%3D%20mo.ui.slider(1%2C%2064%2C%20value%3D8%2C%20step%3D1%2C%20label%3D%22Training%20batch%22)%0A%20%20%20%20e_operator%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22ReLU%22%3A%20%22relu%22%2C%20%22Layer%20normalization%22%3A%20%22layer_norm%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Dynamic%20slice%22%3A%20%22dynamic_slice%22%2C%20%22Custom%20attention%22%3A%20%22custom_attention%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Host%20callback%22%3A%20%22host_callback%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Host%20callback%22%2C%20label%3D%22Inserted%20operator%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_shape%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Static%22%3A%20%22static%22%2C%20%22Bounded%22%3A%20%22bounded%22%2C%20%22Dynamic%22%3A%20%22dynamic%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Static%22%2C%20label%3D%22Shape%20behavior%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_decision%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%22Use%20selected%20path%22%3A%20%22selected%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Hold%20native%20baseline%20for%20more%20evidence%22%3A%20%22hold%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22No%20feasible%20target%20path%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%22Runtime%20decision%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_dispatches%2C%0A%20%20%20%20%20%20%20%20b_executions%2C%0A%20%20%20%20%20%20%20%20b_recompiles%2C%0A%20%20%20%20%20%20%20%20c_breaks%2C%0A%20%20%20%20%20%20%20%20d_batch%2C%0A%20%20%20%20%20%20%20%20d_policy%2C%0A%20%20%20%20%20%20%20%20e_decision%2C%0A%20%20%20%20%20%20%20%20e_operator%2C%0A%20%20%20%20%20%20%20%20e_shape%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20a_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Below%2025%25%22%3A%20%22below_25%22%2C%20%2225%E2%80%9350%25%22%3A%20%2225_50%22%2C%20%2250%E2%80%9375%25%22%3A%20%2250_75%22%2C%20%22Above%2075%25%22%3A%20%22above_75%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20fraction%20of%20fine-grained%20execution%20time%20is%20dispatch%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%22Eager%20remains%20faster%22%3A%20%22eager%22%2C%20%22Compilation%20repays%20setup%22%3A%20%22compiled%22%2C%20%22They%20are%20equal%22%3A%20%22equal%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20path%20has%20lower%20total%20time%20at%20these%20settings%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%22No%20traffic%22%3A%20%22none%22%2C%20%22Some%20traffic%2C%20no%20launches%22%3A%20%22traffic_only%22%2C%20%22Traffic%20and%20launches%22%3A%20%22both%22%2C%20%22Arithmetic%20operations%22%3A%20%22arithmetic%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20can%20fusion%20eliminate%20from%20this%20graph%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%22Less%20memory%2C%20more%20step%20time%22%3A%20%22memory_for_time%22%2C%20%22Less%20memory%20only%22%3A%20%22memory_only%22%2C%20%22More%20step%20time%20only%22%3A%20%22time_only%22%2C%20%22Neither%20changes%22%3A%20%22neither%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20does%20recomputation%20change%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%22Native%20target%20path%22%3A%20%22native%22%2C%20%22Portable%20fallback%20path%22%3A%20%22fallback%22%2C%20%22Cannot%20execute%22%3A%20%22unsupported%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22How%20will%20the%20selected%20operator%20and%20shape%20execute%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20E%20prediction%22)%0A%20%20%20%20return%20a_prediction%2C%20b_prediction%2C%20c_prediction%2C%20d_prediction%2C%20e_prediction%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20final_choice%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Eager%20execution%22%3A%20%22eager%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Compiled%20execution%22%3A%20%22compiled%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Compiled%20with%20fusion%22%3A%20%22compiled_fused%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Hold%20current%20path%20for%20more%20evidence%22%3A%20%22hold%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22No%20feasible%20target%20path%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%22Recommended%20execution%20plan%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_rejected%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Eager%20execution%22%3A%20%22eager%22%2C%20%22Compiled%20execution%22%3A%20%22compiled%22%2C%20%22Compiled%20with%20fusion%22%3A%20%22compiled_fused%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Quantified%20rejected%20alternative%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_trigger%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Execution%20count%20changes%22%3A%20%22execution_count%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Deployment%20shapes%20change%22%20if%20track_id%20%3D%3D%20%22tinyml%22%20else%20%22Shape%20guards%20change%22%3A%20%22shape_guards%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Operator%20set%20changes%22%3A%20%22operator_set%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Activation%20memory%20changes%22%3A%20%22activation_memory%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Reevaluation%20trigger%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_risk%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Illustrative%20timing%20assumptions%22%3A%20%22timing_assumptions%22%2C%20%22Unmodeled%20operator%20interactions%22%3A%20%22operator_interactions%22%2C%20%22Unmeasured%20target%20behavior%22%3A%20%22target_measurement%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%22Decision%20rationale%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Use%20saved%20values%20to%20compare%20the%20recommendation%20with%20the%20rejected%20alternative%2C%20then%20name%20the%20remaining%20limitation.%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20final_choice%2C%20final_rejected%2C%20final_risk%2C%20final_trigger%2C%20rationale%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20OPERATION_GRAPH%2C%0A%20%20%20%20a_dispatches%2C%0A%20%20%20%20b_executions%2C%0A%20%20%20%20b_recompiles%2C%0A%20%20%20%20c_breaks%2C%0A%20%20%20%20compare_dispatch%2C%0A%20%20%20%20d_batch%2C%0A%20%20%20%20d_policy%2C%0A%20%20%20%20e_operator%2C%0A%20%20%20%20e_shape%2C%0A%20%20%20%20evaluate_compilation%2C%0A%20%20%20%20evaluate_fusion%2C%0A%20%20%20%20evaluate_operator_support%2C%0A%20%20%20%20evaluate_recomputation%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20operation_count%20%3D%20len(OPERATION_GRAPH)%0A%20%20%20%20a_comparison%20%3D%20compare_dispatch(track_id%2C%20operation_count%2C%20a_dispatches.value)%0A%20%20%20%20b_baseline%20%3D%20evaluate_compilation(track_id%2C%201%2C%20recompilations%3D0)%0A%20%20%20%20b_result%20%3D%20evaluate_compilation(track_id%2C%20b_executions.value%2C%20recompilations%3Db_recompiles.value)%0A%20%20%20%20c_baseline%20%3D%20evaluate_fusion(track_id%2C%20graph_breaks%3Doperation_count%20-%201)%0A%20%20%20%20c_result%20%3D%20evaluate_fusion(track_id%2C%20graph_breaks%3Dc_breaks.value)%0A%20%20%20%20d_baseline%20%3D%20evaluate_recomputation(track_id%2C%20%22retain_all%22%2C%20batch_size%3Dd_batch.value)%0A%20%20%20%20d_result%20%3D%20evaluate_recomputation(track_id%2C%20d_policy.value%2C%20batch_size%3Dd_batch.value)%0A%20%20%20%20e_baseline%20%3D%20evaluate_operator_support(track_id%2C%20%22relu%22%2C%20%22static%22)%0A%20%20%20%20e_result%20%3D%20evaluate_operator_support(track_id%2C%20e_operator.value%2C%20e_shape.value)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_comparison%2C%0A%20%20%20%20%20%20%20%20b_baseline%2C%0A%20%20%20%20%20%20%20%20b_result%2C%0A%20%20%20%20%20%20%20%20c_baseline%2C%0A%20%20%20%20%20%20%20%20c_result%2C%0A%20%20%20%20%20%20%20%20d_baseline%2C%0A%20%20%20%20%20%20%20%20d_result%2C%0A%20%20%20%20%20%20%20%20e_baseline%2C%0A%20%20%20%20%20%20%20%20e_result%2C%0A%20%20%20%20%20%20%20%20operation_count%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20MODEL_KEY%2C%0A%20%20%20%20a_comparison%2C%0A%20%20%20%20a_dispatches%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20b_baseline%2C%0A%20%20%20%20b_executions%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_recompiles%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20c_baseline%2C%0A%20%20%20%20c_breaks%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20d_baseline%2C%0A%20%20%20%20d_batch%2C%0A%20%20%20%20d_policy%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%20e_baseline%2C%0A%20%20%20%20e_decision%2C%0A%20%20%20%20e_operator%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_result%2C%0A%20%20%20%20e_shape%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20operation_count%2C%0A%20%20%20%20set_evidence%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20def%20store(part%2C%20capture)%3A%0A%20%20%20%20%20%20%20%20set_evidence(lambda%20current%3A%20%7B**current%2C%20part%3A%20capture%7D)%0A%0A%20%20%20%20a_upstream%20%3D%20%7B%22baseline_dispatches%22%3A%20operation_count%2C%20%22intervention_dispatches%22%3A%20a_dispatches.value%7D%0A%20%20%20%20b_upstream%20%3D%20%7B%22executions%22%3A%20b_executions.value%2C%20%22recompilations%22%3A%20b_recompiles.value%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22baseline_breaks%22%3A%20operation_count%20-%201%2C%20%22intervention_breaks%22%3A%20c_breaks.value%7D%0A%20%20%20%20d_upstream%20%3D%20%7B%22batch_size%22%3A%20d_batch.value%2C%20%22policy%22%3A%20d_policy.value%7D%0A%20%20%20%20e_upstream%20%3D%20%7B%22operator%22%3A%20e_operator.value%2C%20%22shape_mode%22%3A%20e_shape.value%2C%20%22decision%22%3A%20e_decision.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%20dispatch%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_value%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%3Da_upstream%2C%20baseline%3Da_comparison%5B%22baseline%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Da_comparison%5B%22intervention%22%5D%2C%20upstream_inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(a_comparison%2C)%2C%20model_key%3DMODEL_KEY%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%20compilation%20contrast%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_value%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%3Db_upstream%2C%20baseline%3Db_baseline%2C%20result%3Db_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Db_upstream%2C%20model_key%3DMODEL_KEY%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%20fusion%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dc_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_value%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%3Dc_upstream%2C%20baseline%3Dc_baseline%2C%20result%3Dc_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dc_upstream%2C%20model_key%3DMODEL_KEY%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%20activation%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dd_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_value%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%3Dd_upstream%2C%20baseline%3Dd_baseline%2C%20result%3Dd_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dd_upstream%2C%20model_key%3DMODEL_KEY%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20e_same%20%3D%20e_operator.value%20%3D%3D%20%22relu%22%20and%20e_shape.value%20%3D%3D%20%22static%22%0A%20%20%20%20e_invalid_decision%20%3D%20e_decision.value%20is%20None%20or%20(e_decision.value%20%3D%3D%20%22none%22%20and%20e_result%5B%22executable%22%5D)%0A%20%20%20%20e_chosen%20%3D%20e_baseline%20if%20e_decision.value%20%3D%3D%20%22hold%22%20else%20e_result%0A%20%20%20%20e_result_role%20%3D%20%22rejected%20alternative%22%20if%20e_decision.value%20%3D%3D%20%22hold%22%20else%20%22tested%20intervention%22%0A%20%20%20%20e_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20runtime-path%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3De_prediction.value%20is%20None%20or%20e_same%20or%20e_invalid_decision%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_value%3A%20store(%22E%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22E%22%2C%20prediction%3De_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3De_upstream%2C%20baseline%3De_baseline%2C%20result%3De_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3De_upstream%2C%20decision%3De_decision.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3DMODEL_KEY%2C%20chosen_result%3De_chosen%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result_role%3De_result_role%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_capture%2C%0A%20%20%20%20%20%20%20%20a_upstream%2C%0A%20%20%20%20%20%20%20%20b_capture%2C%0A%20%20%20%20%20%20%20%20b_upstream%2C%0A%20%20%20%20%20%20%20%20c_capture%2C%0A%20%20%20%20%20%20%20%20c_upstream%2C%0A%20%20%20%20%20%20%20%20d_capture%2C%0A%20%20%20%20%20%20%20%20d_upstream%2C%0A%20%20%20%20%20%20%20%20e_capture%2C%0A%20%20%20%20%20%20%20%20e_upstream%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(ACADEMIC_LAB_CSS%2C%20LAB_CSS%2C%20mo%2C%20profile%2C%20track)%3A%0A%20%20%20%20css%20%3D%20%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%3A780px%7D%0A%20%20%20%20.pilot-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(170px%2C1fr))%3Bgap%3A9px%3Bmargin-top%3A17px%7D.pilot-meta%20div%7Bbackground%3A%23ffffff14%3Bborder%3A1px%20solid%20%23ffffff26%3Bpadding%3A9px%2011px%3Bborder-radius%3A8px%7D%0A%20%20%20%20.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.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.table-wrap%7Bmax-width%3A100%25%3Boverflow-x%3Aauto%7D%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(%0A%20%20%20%20%20%20%20%20f%22%22%22%7Bcss%7D%3Csection%20class%3D%22pilot-head%22%3E%3Cdiv%20class%3D%22pilot-top%22%3E%3Cspan%3EVOLUME%20I%20%C2%B7%20LAB%2007%3C%2Fspan%3E%3Cspan%3EABOUT%2050%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%3Ch1%3EThe%20Framework%20Tax%3C%2Fh1%3E%3Cp%3EWhen%20does%20an%20execution%20path%20earn%20its%20setup%20and%20memory%20costs%2C%20and%20when%20does%20target%20support%20make%20the%20decision%20for%20us%3F%3C%2Fp%3E%3Cdiv%20class%3D%22pilot-meta%22%3E%3Cdiv%3E%3Cb%3ETrack%3C%2Fb%3E%3Cbr%3E%7Bprofile.display%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EWorkload%3C%2Fb%3E%3Cbr%3E%7Bprofile.workload%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EOutput%3C%2Fb%3E%3Cbr%3ERuntime-path%20recommendation%3C%2Fdiv%3E%3C%2Fdiv%3E%3C%2Fsection%3E%22%22%22%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20LAB_CSS%2C%20ACADEMIC_LAB_CSS%2C%20header%2C%20track%2C%0A%20%20%20%20%20%20%20%20mo.Html('%3Cp%20class%3D%22pilot-note%22%3EGraph%20shape%2C%20tensor%20scale%2C%20compilation%20work%2C%20and%20runtime%20support%20are%20illustrative%20scenario%20assumptions.%20Hardware%20limits%20and%20runtime%20overhead%20anchors%20come%20from%20MLSysIM.%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_capture%2C%0A%20%20%20%20a_comparison%2C%0A%20%20%20%20a_dispatches%2C%0A%20%20%20%20a_prediction%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_baseline%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_executions%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_recompiles%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20c_baseline%2C%0A%20%20%20%20c_breaks%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20d_baseline%2C%0A%20%20%20%20d_batch%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_policy%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%20d_upstream%2C%0A%20%20%20%20e_baseline%2C%0A%20%20%20%20e_capture%2C%0A%20%20%20%20e_decision%2C%0A%20%20%20%20e_operator%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_result%2C%0A%20%20%20%20e_shape%2C%0A%20%20%20%20e_upstream%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20go%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20operation_count%2C%0A%20%20%20%20profile%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_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%0A%20%20%20%20%20%20%20%20contrast_required_parts%3Dtuple(%22ABCDE%22)%2C%0A%20%20%20%20)%0A%0A%20%20%20%20def%20table(rows)%3A%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.ui.table(rows%2C%20pagination%3DFalse)%5D).style(%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%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(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22**STALE%20OR%20NON-CONTRASTING%20EVIDENCE.**%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%20snapshot%20%3D%20capture.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%7Bsnapshot%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ETrack%20%7Bsnapshot%5B%22track%22%5D%7D%3B%20later%20controls%20cannot%20rewrite%20this%20result.%3C%2Fsmall%3E%3C%2Fdiv%3E'%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20def%20part_a()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22%23%23%23%20A%20%C2%B7%20Why%20can%20small%20operations%20waste%20the%20machine%3F%20(9%20min)%5CnMaya%2C%20the%20performance%20engineer%2C%20keeps%20arithmetic%20and%20payload%20fixed%20on%20**%7Bprofile.target.name%7D**%20while%20changing%20only%20the%20number%20of%20dispatches.%22%0A%20%20%20%20%20%20%20%20)%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%20a_prediction%5D)%0A%20%20%20%20%20%20%20%20baseline%20%3D%20a_comparison%5B%22baseline%22%5D%0A%20%20%20%20%20%20%20%20result%20%3D%20a_comparison%5B%22intervention%22%5D%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20figure.add_bar(name%3D%22Useful%20work%22%2C%20x%3D%5B%22Fine%22%2C%20%22Coarse%22%5D%2C%20y%3D%5Bbaseline%5B%22useful_time_us%22%5D%2C%20result%5B%22useful_time_us%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22BlueLine%22%5D)%0A%20%20%20%20%20%20%20%20figure.add_bar(name%3D%22Dispatch%22%2C%20x%3D%5B%22Fine%22%2C%20%22Coarse%22%5D%2C%20y%3D%5Bbaseline%5B%22dispatch_time_us%22%5D%2C%20result%5B%22dispatch_time_us%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22OrangeLine%22%5D)%0A%20%20%20%20%20%20%20%20figure.update_layout(barmode%3D%22stack%22%2C%20height%3D270%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Analytical%20time%20(%C2%B5s)%22%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Path%22%3A%20%22Fine%22%2C%20%22Dispatches%22%3A%20baseline%5B%22dispatches%22%5D%2C%20%22Total%22%3A%20f%22%7Bbaseline%5B'total_time_us'%5D%3A.2f%7D%20%C2%B5s%22%2C%20%22Dispatch%20share%22%3A%20f%22%7Bbaseline%5B'dispatch_fraction'%5D%3A.1%25%7D%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Path%22%3A%20%22Coarse%22%2C%20%22Dispatches%22%3A%20result%5B%22dispatches%22%5D%2C%20%22Total%22%3A%20f%22%7Bresult%5B'total_time_us'%5D%3A.2f%7D%20%C2%B5s%22%2C%20%22Dispatch%20share%22%3A%20f%22%7Bresult%5B'dispatch_fraction'%5D%3A.1%25%7D%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%20intro%2C%20a_prediction%2C%20a_dispatches%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**Prediction%3A**%20%7Ba_prediction.value%7D.%20**Observed%20analytically%3A**%20the%20fine%20path%20spends%20**%7Bbaseline%5B'dispatch_fraction'%5D%3A.1%25%7D**%20of%20total%20time%20in%20dispatch.%20Coarsening%20to%20%7Bresult%5B'dispatches'%5D%7D%20launch(es)%20produces%20**%7Ba_comparison%5B'speedup'%5D%3A.2f%7D%C3%97**%20speedup%20with%20identical%20FLOPs%20and%20payload.%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(%22Useful%20time%20is%20the%20larger%20of%20arithmetic%20time%20and%20fixed%20input%2Foutput%20movement%20time.%20Total%20time%20adds%20one%20registry-backed%20dispatch%20cost%20per%20launch.%20The%20two%20runs%20use%20identical%20operations%20and%20bytes.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20part_b()%3A%0A%20%20%20%20%20%20%20%20recompile_context%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22offline%20host%20rebuild%20and%20redeployment%20count%20(TinyML%20compiles%20ahead-of-time%20on%20the%20host%2C%20not%20via%20on-device%20JIT%20guards)%22%0A%20%20%20%20%20%20%20%20%20%20%20%20if%20track_id%20%3D%3D%20%22tinyml%22%0A%20%20%20%20%20%20%20%20%20%20%20%20else%20%22guard-triggered%20recompilation%20count%22%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22%23%23%23%20B%20%C2%B7%20When%20does%20compilation%20repay%20setup%3F%20(9%20min)%5Cn%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22Ishan%2C%20the%20compiler%20engineer%2C%20separates%20repeated%20execution%20count%20from%20%7Brecompile_context%7D.%22%0A%20%20%20%20%20%20%20%20)%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_executions%2C%20b_recompiles%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20b_prediction%5D)%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20figure.add_bar(name%3D%22Eager%20total%22%2C%20x%3D%5B%22One%20execution%22%2C%20%22Selected%20repetitions%22%5D%2C%20y%3D%5Bb_baseline%5B%22eager_total_ms%22%5D%2C%20b_result%5B%22eager_total_ms%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22BlueLine%22%5D)%0A%20%20%20%20%20%20%20%20figure.add_bar(name%3D%22Compiled%20total%22%2C%20x%3D%5B%22One%20execution%22%2C%20%22Selected%20repetitions%22%5D%2C%20y%3D%5Bb_baseline%5B%22compiled_total_ms%22%5D%2C%20b_result%5B%22compiled_total_ms%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22OrangeLine%22%5D)%0A%20%20%20%20%20%20%20%20figure.update_layout(barmode%3D%22group%22%2C%20height%3D270%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Cumulative%20analytical%20time%20(ms)%22%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20outcome%20%3D%20%22Compilation%20repays%20setup%22%20if%20b_result%5B%22compilation_repaid%22%5D%20else%20%22Eager%20remains%20faster%22%0A%20%20%20%20%20%20%20%20recompile_note%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Host%20rebuilds%20raise%20setup%20without%20changing%20the%20eager%20baseline.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20if%20track_id%20%3D%3D%20%22tinyml%22%0A%20%20%20%20%20%20%20%20%20%20%20%20else%20%22Recompilation%20raises%20setup%20without%20changing%20the%20eager%20baseline.%22%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%20intro%2C%20b_prediction%2C%20mo.hstack(%5Bb_executions%2C%20b_recompiles%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%0A%20%20%20%20%20%20%20%20%20%20%20%20table(%5B%7B%22Executions%22%3A%20b_result%5B%22executions%22%5D%2C%20%22Compilations%22%3A%20b_result%5B%22compilation_count%22%5D%2C%20%22Break-even%22%3A%20b_result%5B%22break_even_executions%22%5D%2C%20%22Eager%22%3A%20f%22%7Bb_result%5B'eager_total_ms'%5D%3A.2f%7D%20ms%22%2C%20%22Compiled%22%3A%20f%22%7Bb_result%5B'compiled_total_ms'%5D%3A.2f%7D%20ms%22%7D%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bb_prediction.value%7D.%20**Observed%20analytically%3A**%20%7Boutcome.lower()%7D%20at%20**%7Bb_result%5B'executions'%5D%7D**%20executions%20and%20**%7Bb_result%5B'compilation_count'%5D%7D**%20compilation(s).%20%7Brecompile_note%7D%22)%2C%20kind%3D%22success%22%20if%20b_result%5B%22compilation_repaid%22%5D%20else%20%22warn%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Calculation%20Notes%22%3A%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Compiled%20total%20%3D%20compilation%20count%20%C3%97%20setup%20time%20%2B%20repetitions%20%C3%97%20fused%20execution%20time.%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Eager%20total%20%3D%20repetitions%20%C3%97%20unfused%20execution%20time.%20Break-even%20is%20the%20first%20repetition%20that%20recovers%20all%20setup%20work.%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Setup%20time%20uses%20a%20shared%20illustrative%20compiler%20pass%20assumption%20(constant%20framework%20dispatch%20tax%20across%20analysis%20passes%2C%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22not%20measured%20on%20the%20named%20host).%20For%20TinyML%2C%20compilation%20is%20ahead-of-time%20(AOT)%20host%20compilation%3B%20recompilation%20represents%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22an%20offline%20host%20rebuild%20and%20redeployment%20rather%20than%20a%20dynamic%20native%20JIT.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20part_c()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(f%22%23%23%23%20C%20%C2%B7%20What%20does%20fusion%20eliminate%3F%20(9%20min)%5CnSofia%2C%20the%20runtime%20engineer%2C%20compares%20the%20same%20%7Boperation_count%7D-operation%20graph%20before%20and%20after%20fusion.%20Graph%20breaks%20split%20the%20fused%20region.%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%20c_prediction%5D)%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20figure.add_bar(name%3D%22Traffic%22%2C%20x%3D%5B%22Unfused%22%2C%20%22Selected%22%5D%2C%20y%3D%5Bc_baseline%5B%22total_traffic_mb%22%5D%2C%20c_result%5B%22total_traffic_mb%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22BlueLine%22%5D)%0A%20%20%20%20%20%20%20%20figure.update_layout(height%3D250%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Graph%20traffic%20(MB)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Path%22%3A%20%22Unfused%22%2C%20%22Launches%22%3A%20c_baseline%5B%22launches%22%5D%2C%20%22Breaks%22%3A%20c_baseline%5B%22graph_breaks%22%5D%2C%20%22Traffic%22%3A%20f%22%7Bc_baseline%5B'total_traffic_mb'%5D%3A.3f%7D%20MB%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Path%22%3A%20%22Selected%22%2C%20%22Launches%22%3A%20c_result%5B%22launches%22%5D%2C%20%22Breaks%22%3A%20c_result%5B%22graph_breaks%22%5D%2C%20%22Traffic%22%3A%20f%22%7Bc_result%5B'total_traffic_mb'%5D%3A.3f%7D%20MB%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%20intro%2C%20c_prediction%2C%20c_breaks%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**Prediction%3A**%20%7Bc_prediction.value%7D.%20**Observed%20analytically%3A**%20the%20selected%20path%20removes%20**%7Bc_result%5B'eliminated_traffic_mb'%5D%3A.3f%7D%20MB**%20of%20graph%20traffic%20and%20uses%20**%7Bc_result%5B'launches'%5D%7D**%20launch(es).%20Arithmetic%20is%20preserved%3B%20each%20graph%20break%20restores%20a%20materialized%20boundary.%22)%2C%20kind%3D%22info%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20c_capture%2C%20saved(%22C%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Each%20unfused%20operation%20reads%20and%20writes%20the%20tensor.%20A%20fused%20region%20reads%20once%20and%20writes%20once%2C%20so%20every%20graph%20boundary%20adds%20another%20full%20read%2Fwrite%20pair.%20Fusion%20changes%20dispatch%20and%20intermediate%20traffic%2C%20not%20the%20graph's%20arithmetic.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20part_d()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(f%22%23%23%23%20D%20%C2%B7%20Which%20activations%20should%20remain%20stored%3F%20(9%20min)%5CnNoah%2C%20the%20training%20engineer%2C%20runs%20this%20track%20on%20**%7Bd_baseline%5B'training_host'%5D%7D**%20and%20compares%20saved%20activations%20against%20repeated%20forward%20work.%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%20mo.hstack(%5Bd_policy%2C%20d_batch%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20d_prediction%5D)%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20figure.add_bar(name%3D%22Retained%20activations%22%2C%20x%3D%5B%22Retain%20all%22%2C%20d_result%5B%22policy%22%5D%5D%2C%20y%3D%5Bd_baseline%5B%22retained_activation_mb%22%5D%2C%20d_result%5B%22retained_activation_mb%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22BlueLine%22%5D)%0A%20%20%20%20%20%20%20%20figure.add_bar(name%3D%22Step%20time%22%2C%20x%3D%5B%22Retain%20all%22%2C%20d_result%5B%22policy%22%5D%5D%2C%20y%3D%5Bd_baseline%5B%22step_time_ms%22%5D%2C%20d_result%5B%22step_time_ms%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22OrangeLine%22%5D%2C%20yaxis%3D%22y2%22)%0A%20%20%20%20%20%20%20%20figure.update_layout(height%3D275%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis%3Ddict(title%3D%22Retained%20activations%20(MB)%22)%2C%20yaxis2%3Ddict(title%3D%22Analytical%20step%20time%20(ms)%22%2C%20overlaying%3D%22y%22%2C%20side%3D%22right%22)%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20feasible%20%3D%20d_result%5B%22memory_feasible%22%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%20intro%2C%20d_prediction%2C%20mo.hstack(%5Bd_policy%2C%20d_batch%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%0A%20%20%20%20%20%20%20%20%20%20%20%20table(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Policy%22%3A%20%22Retain%20all%22%2C%20%22Stored%22%3A%20f%22%7Bd_baseline%5B'retained_activation_mb'%5D%3A.3f%7D%20MB%22%2C%20%22Repeated%20ops%22%3A%20d_baseline%5B%22recomputed_operation_count%22%5D%2C%20%22Step%22%3A%20f%22%7Bd_baseline%5B'step_time_ms'%5D%3A.3f%7D%20ms%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Policy%22%3A%20d_result%5B%22policy%22%5D%2C%20%22Stored%22%3A%20f%22%7Bd_result%5B'retained_activation_mb'%5D%3A.3f%7D%20MB%22%2C%20%22Repeated%20ops%22%3A%20d_result%5B%22recomputed_operation_count%22%5D%2C%20%22Step%22%3A%20f%22%7Bd_result%5B'step_time_ms'%5D%3A.3f%7D%20ms%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bd_prediction.value%7D.%20**Observed%20analytically%3A**%20stored%20activations%20fall%20to%20**%7Bd_result%5B'retained_activation_mb'%5D%3A.3f%7D%20MB**%2C%20while%20**%7Bd_result%5B'recomputed_operation_count'%5D%7D**%20operations%20repeat%20and%20step%20time%20becomes%20**%7Bd_result%5B'step_time_ms'%5D%3A.3f%7D%20ms**.%20Memory%20status%3A%20**%7B'PASS'%20if%20feasible%20else%20'OOM%20%E2%80%94%20training%20infeasible%20on%20this%20host'%7D**.%22)%2C%20kind%3D%22success%22%20if%20feasible%20else%20%22danger%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20d_capture%2C%20saved(%22D%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Training%20counts%20one%20forward%20pass%20and%20a%20two-forward-equivalent%20backward%20pass.%20A%20discarded%20activation%20repeats%20its%20forward%20operation%20during%20backward.%20Retained%20bytes%20are%20checked%20directly%20against%20the%20selected%20training%20host's%20memory%20capacity.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20part_e()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%22%23%23%23%20E%20%C2%B7%20Can%20the%20runtime%20execute%20the%20actual%20graph%3F%20(9%20min)%5CnPriya%2C%20the%20deployment%20engineer%2C%20inserts%20one%20operator%20and%20shape%20behavior%20into%20a%20known-native%20baseline.%20Unsupported%20work%20must%20follow%20a%20visible%20fallback%20path%20or%20fail.%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_operator%2C%20e_shape%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20e_prediction%5D)%0A%20%20%20%20%20%20%20%20if%20e_result%5B%22status%22%5D%20%3D%3D%20%22native%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20status_kind%20%3D%20%22success%22%0A%20%20%20%20%20%20%20%20%20%20%20%20status_interpretation%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Native%20execution%20runs%20directly%20on%20the%20target%20device%20without%20fallback%20materialization%20or%20extra%20copy%20penalty.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20elif%20e_result%5B%22status%22%5D%20%3D%3D%20%22fallback%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20status_kind%20%3D%20%22warn%22%0A%20%20%20%20%20%20%20%20%20%20%20%20status_interpretation%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22A%20fallback%20is%20an%20executable%20path%2C%20but%20it%20fails%20the%20native-target%20requirement%20and%20carries%20explicit%20copies%20and%20execution%20cost.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20status_kind%20%3D%20%22danger%22%0A%20%20%20%20%20%20%20%20%20%20%20%20status_interpretation%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22The%20workload%20cannot%20execute%20on%20the%20target%20because%20the%20operator%20or%20shape%20behavior%20is%20unsupported%20and%20no%20fallback%20runtime%20exists.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20total%20%3D%20%22No%20execution%22%20if%20e_result%5B%22total_time_us%22%5D%20is%20None%20else%20f%22%7Be_result%5B'total_time_us'%5D%3A.2f%7D%20%C2%B5s%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%20intro%2C%20e_prediction%2C%20mo.hstack(%5Be_operator%2C%20e_shape%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20table(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Path%22%3A%20%22Known%20native%22%2C%20%22Operator%22%3A%20e_baseline%5B%22operator%22%5D%2C%20%22Shape%22%3A%20e_baseline%5B%22shape_mode%22%5D%2C%20%22Status%22%3A%20e_baseline%5B%22status%22%5D%2C%20%22Copies%22%3A%20f%22%7Be_baseline%5B'fallback_copy_mb'%5D%3A.3f%7D%20MB%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Path%22%3A%20%22Selected%22%2C%20%22Operator%22%3A%20e_result%5B%22operator%22%5D%2C%20%22Shape%22%3A%20e_result%5B%22shape_mode%22%5D%2C%20%22Status%22%3A%20e_result%5B%22status%22%5D%2C%20%22Copies%22%3A%20f%22%7Be_result%5B'fallback_copy_mb'%5D%3A.3f%7D%20MB%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Be_prediction.value%7D.%20**Observed%20analytically%3A**%20**%7Be_result%5B'status'%5D.upper()%7D**.%20Target%20result%3A%20**%7Btotal%7D**%3B%20fallback%20materialization%3A%20**%7Be_result%5B'fallback_copy_mb'%5D%3A.3f%7D%20MB**.%20%7Bstatus_interpretation%7D%22)%2C%20kind%3Dstatus_kind)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20e_decision%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20e_capture%2C%20saved(%22E%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Native%20execution%20requires%20both%20operator%20and%20shape%20support.%20A%20fallback%20materializes%20one%20input%20and%20one%20output%20through%20target%20memory%2C%20then%20uses%20an%20illustrative%20portable%20CPU%20path%20capped%20by%20the%20MLSysIM%20reference%20CPU%20rate.%20TinyML%20has%20no%20fallback%20runtime%20in%20this%20scenario.%22)%7D)%2C%0A%20%20%20%20%20%20%20%20%5D)%0A%0A%20%20%20%20def%20build_synthesis()%3A%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20part%20in%20%22ABCDE%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20capture%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20%20%20%20%20rows.append(%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Part%22%3A%20part%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Prediction%22%3A%20capture.to_dict()%5B%22prediction%22%5D%20if%20capture%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%20capture%20and%20part%20not%20in%20audit.stale%20and%20(part%2C%20part)%20not%20in%20audit.identical_pairs%20else%20(%22STALE%22%20if%20capture%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%20e_snapshot%20%3D%20_captures%5B%22E%22%5D.to_dict()%20if%20%22E%22%20in%20_captures%20else%20None%0A%20%20%20%20%20%20%20%20no_path_supported%20%3D%20e_snapshot%20is%20not%20None%20and%20e_snapshot%5B%22decision%22%5D%20%3D%3D%20%22none%22%20and%20not%20e_snapshot%5B%22result%22%5D%5B%22executable%22%5D%0A%20%20%20%20%20%20%20%20hold_supported%20%3D%20e_snapshot%20is%20not%20None%20and%20e_snapshot%5B%22decision%22%5D%20%3D%3D%20%22hold%22%0A%20%20%20%20%20%20%20%20distinct%20%3D%20final_choice.value%20is%20not%20None%20and%20final_rejected.value%20is%20not%20None%20and%20final_choice.value%20!%3D%20final_rejected.value%0A%20%20%20%20%20%20%20%20choice_supported%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20(final_choice.value%20%3D%3D%20%22none%22%20and%20no_path_supported)%0A%20%20%20%20%20%20%20%20%20%20%20%20or%20(final_choice.value%20%3D%3D%20%22hold%22%20and%20hold_supported)%0A%20%20%20%20%20%20%20%20%20%20%20%20or%20final_choice.value%20in%20%7B%22eager%22%2C%20%22compiled%22%2C%20%22compiled_fused%22%7D%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20complete%20%3D%20audit.complete%20and%20distinct%20and%20choice_supported%20and%20final_trigger.value%20is%20not%20None%20and%20final_risk.value%20is%20not%20None%20and%20bool(rationale.value.strip())%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Defend%20one%20execution%20plan%20(5%20min)%5CnChoose%20a%20tested%20path%2C%20quantify%20a%20rejected%20tested%20alternative%2C%20state%20the%20remaining%20limitation%2C%20and%20name%20the%20condition%20that%20would%20reopen%20the%20decision.%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.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%0A%20%20%20%20%20%20%20%20%20%20%20%20rationale%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(%22**Ready%20for%20the%20local%20evidence%20report.**%22%20if%20complete%20else%20%22Complete%20five%20current%20contrasts.%20Choose%20two%20different%20tested%20paths%3B%20use%20hold%20when%20the%20baseline%20remains%20viable%20but%20evidence%20is%20insufficient%2C%20and%20select%20no%20feasible%20path%20only%20after%20an%20unsupported%20result.%20Then%20add%20a%20quantified%20rationale%2C%20limitation%2C%20and%20trigger.%22)%2C%20kind%3D%22success%22%20if%20complete%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%20part_a()%2C%20%22Part%20B%22%3A%20part_b()%2C%20%22Part%20C%22%3A%20part_c()%2C%0A%20%20%20%20%20%20%20%20%22Part%20D%22%3A%20part_d()%2C%20%22Part%20E%22%3A%20part_e()%2C%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%20profile%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20report_export_panel%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_e_snapshot%20%3D%20_captures%5B%22E%22%5D.to_dict()%20if%20%22E%22%20in%20_captures%20else%20None%0A%20%20%20%20_no_path_supported%20%3D%20_e_snapshot%20is%20not%20None%20and%20_e_snapshot%5B%22decision%22%5D%20%3D%3D%20%22none%22%20and%20not%20_e_snapshot%5B%22result%22%5D%5B%22executable%22%5D%0A%20%20%20%20_hold_supported%20%3D%20_e_snapshot%20is%20not%20None%20and%20_e_snapshot%5B%22decision%22%5D%20%3D%3D%20%22hold%22%0A%20%20%20%20_choice_supported%20%3D%20(%0A%20%20%20%20%20%20%20%20(final_choice.value%20%3D%3D%20%22none%22%20and%20_no_path_supported)%0A%20%20%20%20%20%20%20%20or%20(final_choice.value%20%3D%3D%20%22hold%22%20and%20_hold_supported)%0A%20%20%20%20%20%20%20%20or%20final_choice.value%20in%20%7B%22eager%22%2C%20%22compiled%22%2C%20%22compiled_fused%22%7D%0A%20%20%20%20)%0A%20%20%20%20_ready%20%3D%20(%0A%20%20%20%20%20%20%20%20audit.complete%20and%20final_choice.value%20is%20not%20None%0A%20%20%20%20%20%20%20%20and%20final_rejected.value%20is%20not%20None%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%20_choice_supported%0A%20%20%20%20%20%20%20%20and%20final_trigger.value%20is%20not%20None%20and%20final_risk.value%20is%20not%20None%0A%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20)%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20_snapshots%20%3D%20%7Bpart%3A%20_captures%5Bpart%5D.to_dict()%20for%20part%20in%20%22ABCDE%22%7D%0A%20%20%20%20_chosen_e%20%3D%20_snapshots%5B%22E%22%5D%5B%22chosen_result%22%5D%20or%20_snapshots%5B%22E%22%5D%5B%22result%22%5D%0A%20%20%20%20report%20%3D%20build_lab_report(%0A%20%20%20%20%20%20%20%20get_lab_metadata(%22vol1%2Flab_07_ml_frameworks.py%22)%2C%0A%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20scenario%3Dprofile.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%22Quantify%20dispatch%20and%20compilation%20overhead%20across%20repeated%20execution%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Compare%20graph%20traffic%20and%20activation%20storage%20across%20framework%20policies%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Diagnose%20native%2C%20fallback%2C%20and%20unsupported%20deployment%20paths%22%2C%0A%20%20%20%20%20%20%20%20%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7Bpart%3A%20_snapshots%5Bpart%5D%5B%22prediction%22%5D%20for%20part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20knob_settings%3D%7Bpart%3A%20_snapshots%5Bpart%5D%5B%22inputs%22%5D%20for%20part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20evidence_summary%3D%7Bpart%3A%20%7B%22baseline%22%3A%20_snapshots%5Bpart%5D%5B%22baseline%22%5D%2C%20%22result%22%3A%20_snapshots%5Bpart%5D%5B%22result%22%5D%2C%20%22alternatives%22%3A%20_snapshots%5Bpart%5D%5B%22alternatives%22%5D%7D%20for%20part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7B%22runtime_path%22%3A%20_chosen_e%5B%22status%22%5D%2C%20%22activation_memory%22%3A%20%22PASS%22%20if%20_snapshots%5B%22D%22%5D%5B%22result%22%5D%5B%22memory_feasible%22%5D%20else%20%22OOM%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%22Fine-grained%20work%20can%20spend%20more%20time%20dispatching%20than%20computing.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Compilation%20and%20fusion%20repay%20costs%20only%20when%20reuse%20and%20graph%20continuity%20preserve%20their%20savings.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Recomputation%20and%20fallback%20move%20cost%20between%20memory%2C%20arithmetic%2C%20and%20portability.%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_alternative%22%3A%20final_rejected.value%2C%20%22reevaluation_trigger%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%22scenario%22%3A%20%22Illustrative%20operation%20graph%20and%20support%20fixture.%22%2C%20%22calculations%22%3A%20%22MLSysIM%20v1_07_experiments%20evaluators.%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%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%20import%20html%20as%20_html%0A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_e_snapshot%20%3D%20_captures%5B%22E%22%5D.to_dict()%20if%20%22E%22%20in%20_captures%20else%20None%0A%20%20%20%20_no_path_supported%20%3D%20_e_snapshot%20is%20not%20None%20and%20_e_snapshot%5B%22decision%22%5D%20%3D%3D%20%22none%22%20and%20not%20_e_snapshot%5B%22result%22%5D%5B%22executable%22%5D%0A%20%20%20%20_hold_supported%20%3D%20_e_snapshot%20is%20not%20None%20and%20_e_snapshot%5B%22decision%22%5D%20%3D%3D%20%22hold%22%0A%20%20%20%20_choice_supported%20%3D%20(%0A%20%20%20%20%20%20%20%20(final_choice.value%20%3D%3D%20%22none%22%20and%20_no_path_supported)%0A%20%20%20%20%20%20%20%20or%20(final_choice.value%20%3D%3D%20%22hold%22%20and%20_hold_supported)%0A%20%20%20%20%20%20%20%20or%20final_choice.value%20in%20%7B%22eager%22%2C%20%22compiled%22%2C%20%22compiled_fused%22%7D%0A%20%20%20%20)%0A%20%20%20%20_ready%20%3D%20(%0A%20%20%20%20%20%20%20%20audit.complete%20and%20final_choice.value%20is%20not%20None%0A%20%20%20%20%20%20%20%20and%20final_rejected.value%20is%20not%20None%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%20_choice_supported%0A%20%20%20%20%20%20%20%20and%20final_trigger.value%20is%20not%20None%20and%20final_risk.value%20is%20not%20None%0A%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20)%0A%20%20%20%20_save_error%20%3D%20None%0A%20%20%20%20_save_succeeded%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%3D7%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_07%22%2C%20%22track_id%22%3A%20track_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22model_id%22%3A%20%22v1_07_experiments%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22evidence%22%3A%20%7Bpart%3A%20capture.to_dict()%20for%20part%2C%20capture%20in%20_captures.items()%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22recommendation%22%3A%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%20except%20Exception%20as%20_exc%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_save_error%20%3D%20f%22%7Btype(_exc).__name__%7D%3A%20%7B_exc%7D%22%0A%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_save_succeeded%20%3D%20True%0A%20%20%20%20if%20_save_succeeded%3A%0A%20%20%20%20%20%20%20%20_status%20%3D%20%22SAVED%22%0A%20%20%20%20elif%20_save_error%20is%20not%20None%3A%0A%20%20%20%20%20%20%20%20_status%20%3D%20f%22SAVE%20FAILED%3A%20%7B_html.escape(_save_error)%7D%22%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20_status%20%3D%20%22EVIDENCE%20IN%20PROGRESS%22%0A%20%20%20%20mo.Html(%0A%20%20%20%20%20%20%20%20f'%3Cdiv%20class%3D%22lab-hud%22%3E%3Cspan%3ELAB%2007%20%C2%B7%20The%20Framework%20Tax%20%C2%B7%20STATUS%3A%20%7B_status%7D%3C%2Fspan%3E%3C%2Fdiv%3E'%0A%20%20%20%20)%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