Lab 10: Compression That Executes

Lab 10: Compression That Executes · 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%2010%3A%20Compression%20That%20Executes%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%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%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_10_experiments%20import%20(%0A%20%20%20%20%20%20%20%20MODEL_ID%2C%20MODEL_KEYS%2C%20RECIPE_SEQUENCES%2C%20SPARSITY_CASES%2C%0A%20%20%20%20%20%20%20%20evaluate_distillation%2C%20evaluate_precision%2C%20evaluate_recipe_id%2C%0A%20%20%20%20%20%20%20%20evaluate_resource%2C%20evaluate_sparsity_case%2C%20get_scenario%2C%20snapshot_result%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysim.labs.state%20import%20DesignLedger%0A%20%20%20%20from%20mlsysim.labs.style%20import%20COLORS%2C%20LAB_CSS%2C%20apply_plotly_theme%0A%20%20%20%20from%20mlsysbook_labs%20import%20(%0A%20%20%20%20%20%20%20%20ACADEMIC_LAB_CSS%2C%20build_lab_report%2C%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20get_track_profile%2C%20report_export_panel%2C%20track_context%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysbook_labs.experiment_evidence%20import%20capture_evidence%2C%20audit_evidence%0A%0A%20%20%20%20ledger%20%3D%20DesignLedger(volume%3D%22vol1%22)%0A%20%20%20%20if%20ledger.is_wasm%3A%0A%20%20%20%20%20%20%20%20_loaded%20%3D%20await%20ledger.load_async()%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20ACADEMIC_LAB_CSS%2C%0A%20%20%20%20%20%20%20%20COLORS%2C%0A%20%20%20%20%20%20%20%20LAB_CSS%2C%0A%20%20%20%20%20%20%20%20MODEL_ID%2C%0A%20%20%20%20%20%20%20%20MODEL_KEYS%2C%0A%20%20%20%20%20%20%20%20RECIPE_SEQUENCES%2C%0A%20%20%20%20%20%20%20%20SPARSITY_CASES%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%20evaluate_distillation%2C%0A%20%20%20%20%20%20%20%20evaluate_precision%2C%0A%20%20%20%20%20%20%20%20evaluate_recipe_id%2C%0A%20%20%20%20%20%20%20%20evaluate_resource%2C%0A%20%20%20%20%20%20%20%20evaluate_sparsity_case%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20get_scenario%2C%0A%20%20%20%20%20%20%20%20get_track_profile%2C%0A%20%20%20%20%20%20%20%20go%2C%0A%20%20%20%20%20%20%20%20ledger%2C%0A%20%20%20%20%20%20%20%20mo%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20%20%20%20%20snapshot_result%2C%0A%20%20%20%20%20%20%20%20track_context%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20get_evidence%2C%20set_evidence%20%3D%20mo.state(%7B%7D)%0A%20%20%20%20return%20get_evidence%2C%20set_evidence%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20set_evidence)%3A%0A%20%20%20%20track%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22TinyML%22%3A%20%22tinyml%22%2C%20%22Mobile%22%3A%20%22mobile%22%2C%20%22Edge%22%3A%20%22edge%22%2C%20%22Cloud%22%3A%20%22cloud%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22TinyML%22%2C%20label%3D%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_(mo%2C%20scenario%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20a_storage%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22INT8%20weights%22%3A%208%2C%20%22INT4%20weights%22%3A%204%7D%2C%20value%3D%22INT8%20weights%22%2C%20label%3D%22Stored%20weight%20precision%22%0A%20%20%20%20)%0A%20%20%20%20a_compute%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22INT8%20execution%22%3A%208%2C%20%22FP16%20execution%22%3A%2016%7D%2C%20value%3D%22INT8%20execution%22%2C%20label%3D%22Execution%20precision%22%0A%20%20%20%20)%0A%20%20%20%20a_state%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22FP16%20runtime%20state%22%3A%2016%2C%20%22INT8%20runtime%20state%22%3A%208%7D%2C%20value%3D%22FP16%20runtime%20state%22%2C%20label%3D%22Runtime-state%20precision%22%0A%20%20%20%20)%0A%20%20%20%20b_bits%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22INT8%22%3A%208%2C%20%226-bit%22%3A%206%2C%20%22INT4%22%3A%204%7D%2C%20value%3D%22INT8%22%2C%20label%3D%22Stored%20weight%20precision%22%0A%20%20%20%20)%0A%20%20%20%20b_calibration%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Post-training%20calibration%22%3A%20%22ptq%22%2C%20%22Quantization-aware%20training%22%3A%20%22qat%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Post-training%20calibration%22%2C%20label%3D%22Quality-recovery%20method%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_sparse%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%2250%25%20masked%20dense%20tensor%22%3A%20%22dense_mask_50%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%2225%25%20indexed%20sparse%22%3A%20%22indexed_25%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%2250%25%20indexed%20sparse%22%3A%20%22indexed_50%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%2225%25%20structured%20pruning%22%3A%20%22structured_25%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%2250%25%20structured%20pruning%22%3A%20%22structured_50%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%2250%25%20N%3AM%20pruning%22%3A%20%22n_m_50%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%2225%25%20structured%20pruning%22%2C%20label%3D%22Sparse%20representation%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_index%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%2216-bit%20indices%22%3A%2016%2C%20%2232-bit%20indices%22%3A%2032%7D%2C%20value%3D%2216-bit%20indices%22%2C%20label%3D%22Sparse%20index%20width%22%0A%20%20%20%20)%0A%20%20%20%20d_student%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Small%20dense%20student%22%3A%20%22small_dense%22%2C%20%22Tiny%20dense%20student%22%3A%20%22tiny_dense%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Small%20dense%20student%22%2C%20label%3D%22Student%20candidate%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_volume%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20scenario.lifetime_inferences%2C%0A%20%20%20%20%20%20%20%20value%3Dscenario.default_inferences_key%2C%20label%3D%22Lifetime%20inferences%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_recipe%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%22Distill%20%E2%86%92%20prune%20%E2%86%92%20INT8%22%3A%20%22distill_prune_quant%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Prune%20%E2%86%92%20distill%20%E2%86%92%20INT8%22%3A%20%22prune_distill_quant%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Prune%20%E2%86%92%20INT8%22%3A%20%22prune_quant%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22INT8%20%E2%86%92%20prune%22%3A%20%22quant_prune%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22INT8%20%E2%86%92%20distill%20(outcome%20unavailable)%22%3A%20%22quant_distill%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Distill%20%E2%86%92%20prune%20%E2%86%92%20INT8%22%2C%20label%3D%22Ordered%20recipe%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_release%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Release%20selected%20recipe%22%3A%20%22release%22%2C%20%22No%20change%20%2F%20hold%20for%20more%20evidence%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Recipe%20conclusion%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_compute%2C%0A%20%20%20%20%20%20%20%20a_state%2C%0A%20%20%20%20%20%20%20%20a_storage%2C%0A%20%20%20%20%20%20%20%20b_bits%2C%0A%20%20%20%20%20%20%20%20b_calibration%2C%0A%20%20%20%20%20%20%20%20c_index%2C%0A%20%20%20%20%20%20%20%20c_sparse%2C%0A%20%20%20%20%20%20%20%20d_student%2C%0A%20%20%20%20%20%20%20%20d_volume%2C%0A%20%20%20%20%20%20%20%20e_recipe%2C%0A%20%20%20%20%20%20%20%20e_release%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%22Package%20only%22%3A%20%22package%22%2C%20%22Package%20and%20working%20set%22%3A%20%22memory%22%2C%20%22Memory%20and%20latency%22%3A%20%22memory_latency%22%2C%20%22No%20useful%20change%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20deployment%20result%20will%20improve%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%22Quality%20passes%20with%20PTQ%22%3A%20%22pass%22%2C%20%22PTQ%20fails%2C%20but%20QAT%20recovers%22%3A%20%22qat_recovers%22%2C%20%22Quality%20fails%20under%20both%20PTQ%20and%20QAT%22%3A%20%22both_fail%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20will%20the%20quality%20evidence%20reveal%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%22Smaller%20and%20faster%22%3A%20%22both%22%2C%20%22Smaller%20only%22%3A%20%22size%22%2C%20%22Larger%20after%20metadata%22%3A%20%22metadata%22%2C%20%22Quality%20fails%22%3A%20%22quality%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20will%20the%20sparse%20artifact%20deliver%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%22Worth%20training%20at%20this%20volume%22%3A%20%22worth%22%2C%20%22Deployment%20passes%20but%20training%20does%20not%20amortize%22%3A%20%22not_amortized%22%2C%20%22Student%20quality%20fails%22%3A%20%22quality%22%2C%20%22Deployment%20constraint%20fails%22%3A%20%22deployment%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Is%20this%20dense%20student%20worth%20training%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%22Naive%20multiplication%20is%20optimistic%22%3A%20%22optimistic%22%2C%20%22Naive%20multiplication%20matches%22%3A%20%22matches%22%2C%20%22Ordering%20changes%20the%20final%20representation%22%3A%20%22ordering%22%2C%20%22No%20quality%20evidence%20exists%22%3A%20%22unknown%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20will%20the%20ordered%20recipe%20reveal%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%22Distill%20%E2%86%92%20prune%20%E2%86%92%20INT8%22%3A%20%22distill_prune_quant%22%2C%20%22Prune%20%E2%86%92%20distill%20%E2%86%92%20INT8%22%3A%20%22prune_distill_quant%22%2C%20%22Prune%20%E2%86%92%20INT8%22%3A%20%22prune_quant%22%2C%20%22INT8%20%E2%86%92%20prune%22%3A%20%22quant_prune%22%2C%20%22No%20change%20%2F%20hold%20for%20more%20evidence%22%3A%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Recommendation%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_rejected%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Distill%20%E2%86%92%20prune%20%E2%86%92%20INT8%22%3A%20%22distill_prune_quant%22%2C%20%22Prune%20%E2%86%92%20distill%20%E2%86%92%20INT8%22%3A%20%22prune_distill_quant%22%2C%20%22Prune%20%E2%86%92%20INT8%22%3A%20%22prune_quant%22%2C%20%22INT8%20%E2%86%92%20prune%22%3A%20%22quant_prune%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%22Task%20quality%20below%20floor%22%3A%20%22quality%22%2C%20%22Target%20execution%20path%20disappears%22%3A%20%22support%22%2C%20%22Latency%20exceeds%20budget%22%3A%20%22latency%22%2C%20%22Working%20set%20exceeds%20budget%22%3A%20%22working_set%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Reevaluation%20trigger%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_risk%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Unobserved%20population%20shift%22%3A%20%22population%22%2C%20%22Runtime-state%20growth%22%3A%20%22state_growth%22%2C%20%22Sparse-kernel%20portability%22%3A%20%22kernel_portability%22%2C%20%22Distillation%20data%20coverage%22%3A%20%22distillation_coverage%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Residual%20risk%22%2C%0A%20%20%20%20)%0A%20%20%20%20rationale%20%3D%20mo.ui.text_area(%0A%20%20%20%20%20%20%20%20label%3D%22Concise%20rationale%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Cite%20the%20chosen%20result%2C%20one%20rejected%20result%2C%20the%20remaining%20limitation%2C%20and%20the%20trigger.%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_(get_scenario%2C%20get_track_profile%2C%20track)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20scenario%20%3D%20get_scenario(track_id)%0A%20%20%20%20profile%20%3D%20get_track_profile(track_id)%0A%20%20%20%20return%20profile%2C%20scenario%2C%20track_id%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20RECIPE_SEQUENCES%2C%0A%20%20%20%20SPARSITY_CASES%2C%0A%20%20%20%20a_compute%2C%0A%20%20%20%20a_state%2C%0A%20%20%20%20a_storage%2C%0A%20%20%20%20b_bits%2C%0A%20%20%20%20b_calibration%2C%0A%20%20%20%20c_index%2C%0A%20%20%20%20c_sparse%2C%0A%20%20%20%20d_student%2C%0A%20%20%20%20d_volume%2C%0A%20%20%20%20e_recipe%2C%0A%20%20%20%20evaluate_distillation%2C%0A%20%20%20%20evaluate_precision%2C%0A%20%20%20%20evaluate_recipe_id%2C%0A%20%20%20%20evaluate_resource%2C%0A%20%20%20%20evaluate_sparsity_case%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20baseline%20%3D%20evaluate_precision(%0A%20%20%20%20%20%20%20%20track_id%2C%20storage_bits%3D16%2C%20compute_bits%3D16%2C%20runtime_state_bits%3D16%2C%20calibration%3D%22none%22%0A%20%20%20%20)%0A%20%20%20%20a_result%20%3D%20evaluate_resource(%0A%20%20%20%20%20%20%20%20track_id%2C%20storage_bits%3Da_storage.value%2C%20compute_bits%3Da_compute.value%2C%0A%20%20%20%20%20%20%20%20runtime_state_bits%3Da_state.value%2C%20calibration%3D%22ptq%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_result%20%3D%20evaluate_precision(%0A%20%20%20%20%20%20%20%20track_id%2C%20storage_bits%3Db_bits.value%2C%20compute_bits%3D8%2C%0A%20%20%20%20%20%20%20%20runtime_state_bits%3D16%2C%20calibration%3Db_calibration.value%2C%0A%20%20%20%20)%0A%20%20%20%20b_alternatives%20%3D%20%7B%0A%20%20%20%20%20%20%20%20method%3A%20evaluate_precision(%0A%20%20%20%20%20%20%20%20%20%20%20%20track_id%2C%20storage_bits%3Db_bits.value%2C%20compute_bits%3D8%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20runtime_state_bits%3D16%2C%20calibration%3Dmethod%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20for%20method%20in%20(%22ptq%22%2C%20%22qat%22)%0A%20%20%20%20%7D%0A%20%20%20%20c_result%20%3D%20evaluate_sparsity_case(%0A%20%20%20%20%20%20%20%20track_id%2C%20c_sparse.value%2C%20storage_bits%3D16%2C%0A%20%20%20%20%20%20%20%20index_bits%3Dc_index.value%2C%20runtime_state_bits%3D16%2C%0A%20%20%20%20)%0A%20%20%20%20c_alternatives%20%3D%20%7B%0A%20%20%20%20%20%20%20%20key%3A%20evaluate_sparsity_case(%0A%20%20%20%20%20%20%20%20%20%20%20%20track_id%2C%20key%2C%20storage_bits%3D16%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20index_bits%3Dc_index.value%2C%20runtime_state_bits%3D16%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20for%20key%20in%20SPARSITY_CASES%0A%20%20%20%20%7D%0A%20%20%20%20d_result%20%3D%20evaluate_distillation(%0A%20%20%20%20%20%20%20%20track_id%2C%20candidate_id%3Dd_student.value%2C%0A%20%20%20%20%20%20%20%20deployment_inferences%3Dd_volume.value%2C%20runtime_state_bits%3D16%2C%0A%20%20%20%20)%0A%20%20%20%20d_alternatives%20%3D%20%7B%0A%20%20%20%20%20%20%20%20candidate%3A%20evaluate_distillation(%0A%20%20%20%20%20%20%20%20%20%20%20%20track_id%2C%20candidate_id%3Dcandidate%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20deployment_inferences%3Dd_volume.value%2C%20runtime_state_bits%3D16%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20for%20candidate%20in%20(%22small_dense%22%2C%20%22tiny_dense%22)%0A%20%20%20%20%7D%0A%20%20%20%20e_alternatives%20%3D%20%7B%0A%20%20%20%20%20%20%20%20key%3A%20evaluate_recipe_id(track_id%2C%20key%2C%20runtime_state_bits%3D16)%0A%20%20%20%20%20%20%20%20for%20key%20in%20RECIPE_SEQUENCES%0A%20%20%20%20%7D%0A%20%20%20%20e_result%20%3D%20e_alternatives%5Be_recipe.value%5D%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_result%2C%0A%20%20%20%20%20%20%20%20b_alternatives%2C%0A%20%20%20%20%20%20%20%20b_result%2C%0A%20%20%20%20%20%20%20%20baseline%2C%0A%20%20%20%20%20%20%20%20c_alternatives%2C%0A%20%20%20%20%20%20%20%20c_result%2C%0A%20%20%20%20%20%20%20%20d_alternatives%2C%0A%20%20%20%20%20%20%20%20d_result%2C%0A%20%20%20%20%20%20%20%20e_alternatives%2C%0A%20%20%20%20%20%20%20%20e_result%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20MODEL_KEYS%2C%0A%20%20%20%20a_compute%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20a_state%2C%0A%20%20%20%20a_storage%2C%0A%20%20%20%20b_alternatives%2C%0A%20%20%20%20b_bits%2C%0A%20%20%20%20b_calibration%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20baseline%2C%0A%20%20%20%20c_alternatives%2C%0A%20%20%20%20c_index%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_sparse%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20d_alternatives%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%20d_student%2C%0A%20%20%20%20d_volume%2C%0A%20%20%20%20e_alternatives%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_recipe%2C%0A%20%20%20%20e_release%2C%0A%20%20%20%20e_result%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20set_evidence%2C%0A%20%20%20%20snapshot_result%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20def%20store(part%2C%20capture)%3A%0A%20%20%20%20%20%20%20%20set_evidence(lambda%20current%3A%20%7B**current%2C%20part%3A%20capture%7D)%0A%0A%20%20%20%20def%20arm(model_key%2C%20result)%3A%0A%20%20%20%20%20%20%20%20return%20snapshot_result(model_key%2C%20result).to_dict()%0A%0A%20%20%20%20baseline_arm%20%3D%20arm(MODEL_KEYS%5B%22precision%22%5D%2C%20baseline)%0A%20%20%20%20a_arm%20%3D%20arm(MODEL_KEYS%5B%22resource%22%5D%2C%20a_result)%0A%20%20%20%20b_arm%20%3D%20arm(MODEL_KEYS%5B%22precision%22%5D%2C%20b_result)%0A%20%20%20%20c_arm%20%3D%20arm(MODEL_KEYS%5B%22sparsity%22%5D%2C%20c_result)%0A%20%20%20%20d_arm%20%3D%20arm(MODEL_KEYS%5B%22distillation%22%5D%2C%20d_result)%0A%20%20%20%20e_arm%20%3D%20arm(MODEL_KEYS%5B%22recipe%22%5D%2C%20e_result)%0A%20%20%20%20a_upstream%20%3D%20%7B%22storage_bits%22%3A%20a_storage.value%2C%20%22compute_bits%22%3A%20a_compute.value%2C%20%22runtime_state_bits%22%3A%20a_state.value%7D%0A%20%20%20%20b_upstream%20%3D%20%7B%22storage_bits%22%3A%20b_bits.value%2C%20%22calibration%22%3A%20b_calibration.value%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22sparse_case%22%3A%20c_sparse.value%2C%20%22index_bits%22%3A%20c_index.value%7D%0A%20%20%20%20d_upstream%20%3D%20%7B%22candidate_id%22%3A%20d_student.value%2C%20%22deployment_inferences%22%3A%20d_volume.value%7D%0A%20%20%20%20e_upstream%20%3D%20%7B%22recipe_id%22%3A%20e_recipe.value%2C%20%22release_conclusion%22%3A%20e_release.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%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%20inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dbaseline_arm%2C%20result%3Da_arm%2C%20upstream_inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(baseline_arm%2C%20a_arm)%2C%20model_key%3DMODEL_KEYS%5B%22resource%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%20precision%20evidence%22%2C%20kind%3D%22success%22%2C%20disabled%3Db_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22B%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22B%22%2C%20prediction%3Db_prediction.value%2C%20inputs%3Db_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dbaseline_arm%2C%20result%3Db_arm%2C%20upstream_inputs%3Db_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Dtuple(arm(MODEL_KEYS%5B%22precision%22%5D%2C%20result)%20for%20result%20in%20b_alternatives.values())%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3DMODEL_KEYS%5B%22precision%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%20sparsity%20evidence%22%2C%20kind%3D%22success%22%2C%20disabled%3Dc_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22C%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22C%22%2C%20prediction%3Dc_prediction.value%2C%20inputs%3Dc_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dbaseline_arm%2C%20result%3Dc_arm%2C%20upstream_inputs%3Dc_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Dtuple(arm(MODEL_KEYS%5B%22sparsity%22%5D%2C%20result)%20for%20result%20in%20c_alternatives.values())%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3DMODEL_KEYS%5B%22sparsity%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%20student%20evidence%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%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%20inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dbaseline_arm%2C%20result%3Dd_arm%2C%20upstream_inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Dtuple(arm(MODEL_KEYS%5B%22distillation%22%5D%2C%20result)%20for%20result%20in%20d_alternatives.values())%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dd_student.value%2C%20model_key%3DMODEL_KEYS%5B%22distillation%22%5D%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20_e_decision%20%3D%20e_recipe.value%20if%20e_release.value%20%3D%3D%20%22release%22%20else%20%22none%22%0A%20%20%20%20e_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20ordered%20recipe%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3De_prediction.value%20is%20None%20or%20e_release.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22E%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22E%22%2C%20prediction%3De_prediction.value%2C%20inputs%3De_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dbaseline_arm%2C%20result%3De_arm%2C%20upstream_inputs%3De_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Dtuple(arm(MODEL_KEYS%5B%22recipe%22%5D%2C%20result)%20for%20result%20in%20e_alternatives.values())%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3D_e_decision%2C%20model_key%3DMODEL_KEYS%5B%22recipe%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20chosen_result%3Dbaseline_arm%20if%20_e_decision%20%3D%3D%20%22none%22%20else%20e_arm%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result_role%3D%22rejected%20alternative%22%20if%20_e_decision%20%3D%3D%20%22none%22%20else%20%22chosen%20candidate%22%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_capture%2C%0A%20%20%20%20%20%20%20%20a_upstream%2C%0A%20%20%20%20%20%20%20%20b_capture%2C%0A%20%20%20%20%20%20%20%20b_upstream%2C%0A%20%20%20%20%20%20%20%20c_capture%2C%0A%20%20%20%20%20%20%20%20c_upstream%2C%0A%20%20%20%20%20%20%20%20d_capture%2C%0A%20%20%20%20%20%20%20%20d_upstream%2C%0A%20%20%20%20%20%20%20%20e_capture%2C%0A%20%20%20%20%20%20%20%20e_upstream%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(ACADEMIC_LAB_CSS%2C%20LAB_CSS%2C%20mo%2C%20profile%2C%20scenario%2C%20track%2C%20track_context)%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%3A780px%7D%0A%20%20%20%20.pilot-note%7Bcolor%3A%23475569%3Bfont-size%3A.9rem%3Bline-height%3A1.5%3Bmargin%3A0%3Bpadding%3A0%202px%7D%0A%20%20%20%20.lab-hud%7Bdisplay%3Aflex%3Balign-items%3Acenter%3Bflex-wrap%3Awrap%3Bgap%3A10px%3Bbackground%3A%23101827!important%3Bcolor%3A%23fff%3Bpadding%3A14px%2018px%3Bborder-radius%3A9px%7D%0A%20%20%20%20.lab-hud%20.hud-label%7Bcolor%3A%23a7b9cf%7D.lab-hud%20.hud-value%7Bcolor%3A%23fff%7D.lab-hud%20.hud-active%7Bcolor%3A%2386efac%7D%0A%20%20%20%20.pilot-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(170px%2C1fr))%3Bgap%3A9px%3Bmargin-top%3A17px%7D.pilot-meta%20div%7Bbackground%3A%23ffffff14%3Bborder%3A1px%20solid%20%23ffffff26%3Bpadding%3A9px%2011px%3Bborder-radius%3A8px%7D%0A%20%20%20%20.saved%7Bborder-left%3A4px%20solid%20%232ca02c%3Bbackground%3A%23f0fdf4%3Bpadding%3A9px%2012px%3Bborder-radius%3A7px%7D.table-wrap%7Bmax-width%3A100%25%3Boverflow-x%3Aauto%7D%0A%20%20%20%20%40media(max-width%3A520px)%7B.pilot-head%7Bborder-radius%3A9px%3Bmargin-top%3A30px%7D.pilot-meta%7Bgrid-template-columns%3A1fr%7D%7D%0A%20%20%20%20%3C%2Fstyle%3E%22%22%22)%0A%20%20%20%20header%20%3D%20mo.Html(f%22%22%22%3Csection%20class%3D%22pilot-head%22%3E%3Cdiv%20class%3D%22pilot-top%22%3E%3Cspan%3EVOLUME%20I%20%C2%B7%20LAB%2010%3C%2Fspan%3E%3Cspan%3EABOUT%2050%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%3Ch1%3ECompression%20That%20Executes%3C%2Fh1%3E%3Cp%3EWhen%20does%20a%20smaller%20representation%20improve%20the%20deployed%20system%2C%20and%20when%20does%20it%20only%20move%20the%20bottleneck%3F%3C%2Fp%3E%3Cdiv%20class%3D%22pilot-meta%22%3E%3Cdiv%3E%3Cb%3ETrack%3C%2Fb%3E%3Cbr%3E%7Bprofile.label%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3ETask%20evidence%3C%2Fb%3E%3Cbr%3E%7Bscenario.quality_metric%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EDeliverable%3C%2Fb%3E%3Cbr%3ECompression%20release%20recipe%3C%2Fdiv%3E%3C%2Fdiv%3E%3C%2Fsection%3E%22%22%22)%0A%20%20%20%20mo.vstack(%5B%0A%20%20%20%20%20%20%20%20LAB_CSS%2C%20ACADEMIC_LAB_CSS%2C%20css%2C%20header%2C%20track%2C%20track_context(profile)%2C%0A%20%20%20%20%20%20%20%20mo.Html('%3Cp%20class%3D%22pilot-note%22%3EAll%20task%20outcomes%20and%20effective%20execution%20paths%20are%20illustrative%20scenario%20evidence.%20Physical%20sizes%2C%20metadata%2C%20state%2C%20latency%2C%20and%20ordered%20composition%20are%20calculated%20in%20MLSysIM.%20Open%20Calculation%20Notes%20in%20each%20part%20for%20assumptions.%3C%2Fp%3E')%2C%0A%20%20%20%20%5D%2C%20gap%3D0.5)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.sidebar(%5Bmo.md(%22%23%23%20Lab%20navigation%22)%2C%20mo.outline(label%3D%22Sections%22)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20COLORS%2C%0A%20%20%20%20a_capture%2C%0A%20%20%20%20a_compute%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20a_state%2C%0A%20%20%20%20a_storage%2C%0A%20%20%20%20a_upstream%2C%0A%20%20%20%20apply_plotly_theme%2C%0A%20%20%20%20audit_evidence%2C%0A%20%20%20%20b_alternatives%2C%0A%20%20%20%20b_bits%2C%0A%20%20%20%20b_calibration%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20baseline%2C%0A%20%20%20%20c_alternatives%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_index%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_sparse%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20d_alternatives%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_student%2C%0A%20%20%20%20d_upstream%2C%0A%20%20%20%20d_volume%2C%0A%20%20%20%20e_capture%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_recipe%2C%0A%20%20%20%20e_release%2C%0A%20%20%20%20e_result%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%20rationale%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_upstream%20%3D%20%7B%22A%22%3A%20a_upstream%2C%20%22B%22%3A%20b_upstream%2C%20%22C%22%3A%20c_upstream%2C%20%22D%22%3A%20d_upstream%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%20_mem_unit%20%3D%20%22KiB%22%20if%20track_id%20%3D%3D%20%22tinyml%22%20else%20%22MiB%22%0A%0A%20%20%20%20def%20mem(value)%3A%0A%20%20%20%20%20%20%20%20return%20value.to(_mem_unit).magnitude%0A%0A%20%20%20%20def%20fmt_mem(value)%3A%0A%20%20%20%20%20%20%20%20return%20f%22%7Bvalue.to(_mem_unit).magnitude%3A.1f%7D%20%7B_mem_unit%7D%22%20if%20_mem_unit%20%3D%3D%20%22KiB%22%20else%20f%22%7Bvalue.to(_mem_unit).magnitude%3A.2f%7D%20%7B_mem_unit%7D%22%0A%0A%20%20%20%20def%20mb(value)%3A%0A%20%20%20%20%20%20%20%20return%20value.to(%22MiB%22).magnitude%0A%0A%20%20%20%20def%20ms(value)%3A%0A%20%20%20%20%20%20%20%20return%20value.to(%22ms%22).magnitude%0A%0A%20%20%20%20def%20verdict(result)%3A%0A%20%20%20%20%20%20%20%20return%20%22PASS%22%20if%20result.feasible%20else%20%22FAIL%20%C2%B7%20%22%20%2B%20%22%2C%20%22.join(result.violations)%0A%0A%20%20%20%20def%20table(rows)%3A%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.ui.table(rows%2C%20pagination%3DFalse)%5D).style(%7B%22max-width%22%3A%20%22100%25%22%2C%20%22overflow-x%22%3A%20%22auto%22%7D)%0A%0A%20%20%20%20def%20saved(part)%3A%0A%20%20%20%20%20%20%20%20_capture%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20if%20_capture%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22No%20saved%20evidence%20for%20this%20part.%22)%2C%20kind%3D%22warn%22)%0A%20%20%20%20%20%20%20%20if%20part%20in%20audit.stale%20or%20(part%2C%20part)%20in%20audit.identical_pairs%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22**STALE%20OR%20NON-CONTRASTING%20EVIDENCE.**%20Live%20inputs%20changed%2C%20or%20the%20saved%20arms%20are%20identical.%20Recapture.%22)%2C%20kind%3D%22danger%22)%0A%20%20%20%20%20%20%20%20_data%20%3D%20_capture.to_dict()%0A%20%20%20%20%20%20%20%20return%20mo.Html(f'%3Cdiv%20class%3D%22saved%22%3E%3Cb%3ESaved%20snapshot%3C%2Fb%3E%20%C2%B7%20original%20prediction%3A%20%7B_data%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ETrack%20%7B_data%5B%22track%22%5D%7D%3B%20later%20controls%20cannot%20rewrite%20this%20evidence.%3C%2Fsmall%3E%3C%2Fdiv%3E')%0A%0A%20%20%20%20def%20part_a()%3A%0A%20%20%20%20%20%20%20%20_context%20%3D%20mo.md(f%22%23%23%23%20A%20%C2%B7%20Which%20resource%20must%20compression%20save%3F%20(8%20min)%5CnThe%20baseline%20uses%20FP16%20weights%20and%20FP16%20runtime%20state.%20Package%20budget%3A%20**%7Bfmt_mem(scenario.package_budget)%7D**%3B%20working-set%20budget%3A%20**%7Bfmt_mem(scenario.working_set_budget)%7D**%3B%20latency%20budget%3A%20**%7Bms(scenario.latency_budget)%3A.1f%7D%20ms**.%22)%0A%20%20%20%20%20%20%20%20if%20a_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Ba_storage%2C%20a_compute%2C%20a_state%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20a_prediction%5D)%0A%20%20%20%20%20%20%20%20_figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20for%20_name%2C%20_result%20in%20((%22FP16%20baseline%22%2C%20baseline)%2C%20(%22Changed%22%2C%20a_result))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_figure.add_bar(name%3D%22Artifact%22%2C%20x%3D%5B_name%5D%2C%20y%3D%5Bmem(_result.artifact_size)%5D%2C%20marker_color%3DCOLORS%5B%22BlueLine%22%5D%2C%20legendgroup%3D%22artifact%22%2C%20showlegend%3D_name%20%3D%3D%20%22FP16%20baseline%22)%0A%20%20%20%20%20%20%20%20%20%20%20%20_figure.add_bar(name%3D%22Runtime%20state%22%2C%20x%3D%5B_name%5D%2C%20y%3D%5Bmem(_result.runtime_state_size)%5D%2C%20marker_color%3DCOLORS%5B%22OrangeLine%22%5D%2C%20legendgroup%3D%22state%22%2C%20showlegend%3D_name%20%3D%3D%20%22FP16%20baseline%22)%0A%20%20%20%20%20%20%20%20%20%20%20%20_figure.add_bar(name%3D%22Application%22%2C%20x%3D%5B_name%5D%2C%20y%3D%5Bmem(scenario.application_memory)%5D%2C%20marker_color%3DCOLORS%5B%22GreenLine%22%5D%2C%20legendgroup%3D%22application%22%2C%20showlegend%3D_name%20%3D%3D%20%22FP16%20baseline%22)%0A%20%20%20%20%20%20%20%20_figure.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%3Df%22Peak%20working%20set%20(%7B_mem_unit%7D)%22%2C%20legend_orientation%3D%22h%22)%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Run%22%3A%20%22FP16%20baseline%22%2C%20%22Artifact%22%3A%20fmt_mem(baseline.artifact_size)%2C%20%22Working%20set%22%3A%20fmt_mem(baseline.working_set_size)%2C%20%22Latency%22%3A%20f%22%7Bms(baseline.end_to_end_latency)%3A.2f%7D%20ms%22%2C%20%22Outcome%22%3A%20verdict(baseline)%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Run%22%3A%20%22Changed%22%2C%20%22Artifact%22%3A%20fmt_mem(a_result.artifact_size)%2C%20%22Working%20set%22%3A%20fmt_mem(a_result.working_set_size)%2C%20%22Latency%22%3A%20f%22%7Bms(a_result.end_to_end_latency)%3A.2f%7D%20ms%22%2C%20%22Outcome%22%3A%20verdict(a_result)%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20if%20a_state.value%20%3C%2016%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_state_note%20%3D%20%22Quantizing%20runtime%20state%20reduced%20activation%20memory%20toward%20the%20floor%2C%20but%20fixed%20application%20memory%20remains.%22%0A%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_state_note%20%3D%20%22Smaller%20stored%20weights%20compress%20the%20artifact%2C%20but%20leave%20unquantized%20runtime%20state%20and%20application%20memory%20at%20their%20floor.%22%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Ba_storage%2C%20a_compute%2C%20a_state%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20a_prediction%2C%20apply_plotly_theme(_figure)%2C%20table(_rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Ba_prediction.value%7D.%20**Observed%20analytical%20result%3A**%20artifact%20%7Bfmt_mem(baseline.artifact_size)%7D%20%E2%86%92%20%7Bfmt_mem(a_result.artifact_size)%7D%3B%20working%20set%20%7Bfmt_mem(baseline.working_set_size)%7D%20%E2%86%92%20%7Bfmt_mem(a_result.working_set_size)%7D%3B%20latency%20%7Bms(baseline.end_to_end_latency)%3A.2f%7D%20%E2%86%92%20%7Bms(a_result.end_to_end_latency)%3A.2f%7D%20ms.%20%7B_state_note%7D%20Storage%20precision%20changes%20weight%20bytes%20(%7Ba_storage.value%7D-bit)%2C%20while%20execution%20precision%20(%7Ba_compute.value%7D-bit)%20determines%20compute%20speedup.%22)%2C%20kind%3D%22success%22%20if%20a_result.feasible%20else%20%22danger%22)%2C%20a_capture%2C%20saved(%22A%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Artifact%20bytes%20include%20per-group%20scale%20and%20zero-point%20metadata%20below%2016%20bits.%20Peak%20working%20set%20adds%20runtime%20state%20and%20application%20memory.%20Whole-path%20latency%20adds%20weight%20movement%2C%20executed%20model%20work%2C%20and%20fixed%20application%20time.%22)%7D)%5D)%0A%0A%20%20%20%20def%20part_b()%3A%0A%20%20%20%20%20%20%20%20_context%20%3D%20mo.md(f%22%23%23%23%20B%20%C2%B7%20How%20much%20precision%20can%20the%20task%20lose%3F%20(10%20min)%5CnThe%20supplied%20**%7Bscenario.quality_metric%7D**%20baseline%20is%20**%7Bscenario.baseline_quality%20*%20100%3A.2f%7D%25**%3B%20the%20release%20floor%20is%20**%7Bscenario.quality_floor%20*%20100%3A.2f%7D%25**.%22)%0A%20%20%20%20%20%20%20%20if%20b_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Bb_bits%2C%20b_calibration%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20b_prediction%5D)%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%7B%22Recovery%22%3A%20_method.upper()%2C%20%22Quality%22%3A%20%22unavailable%22%20if%20_result.task_quality%20is%20None%20else%20f%22%7B_result.task_quality%20*%20100%3A.2f%7D%25%22%2C%20%22Preparation%22%3A%20f%22%7B_result.preparation_time.to('minute').magnitude%3A.1f%7D%20min%22%2C%20%22Latency%22%3A%20f%22%7Bms(_result.end_to_end_latency)%3A.2f%7D%20ms%22%2C%20%22Outcome%22%3A%20verdict(_result)%7D%20for%20_method%2C%20_result%20in%20b_alternatives.items()%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Bb_bits%2C%20b_calibration%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20b_prediction%2C%20table(_rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bb_prediction.value%7D.%20**Selected%20evidence%3A**%20%7Bverdict(b_result)%7D.%20Quality%20is%20%7B'unavailable%20for%20this%20exact%20choice'%20if%20b_result.task_quality%20is%20None%20else%20f'%7Bb_result.task_quality%20*%20100%3A.2f%7D%25'%7D%3B%20preparation%20takes%20%7Bb_result.preparation_time.to('minute').magnitude%3A.1f%7D%20minutes.%20Storage%20precision%20changes%20the%20artifact%3B%20execution%20precision%20separately%20determines%20whether%20acceleration%20exists.%22)%2C%20kind%3D%22success%22%20if%20b_result.feasible%20else%20%22danger%22)%2C%20b_capture%2C%20saved(%22B%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Quality%20values%20are%20supplied%20task%20outcomes%20for%20exact%20bit-width%20and%20recovery-method%20pairs.%20PTQ%20and%20QAT%20time%20are%20one-time%20preparation%20costs.%20No%20bit-width-to-quality%20formula%20is%20used.%22)%7D)%5D)%0A%0A%20%20%20%20def%20part_c()%3A%0A%20%20%20%20%20%20%20%20_context%20%3D%20mo.md(%22%23%23%23%20C%20%C2%B7%20When%20do%20fewer%20weights%20execute%20faster%3F%20(10%20min)%5CnChoose%20a%20physical%20representation%20before%20predicting.%20A%20mask%2C%20indices%2C%20or%20structured%20layout%20changes%20stored%20bytes%20and%20executable%20work%20differently.%22)%0A%20%20%20%20%20%20%20%20if%20c_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Bc_sparse%2C%20c_index%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20c_prediction%5D)%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%7B%22Case%22%3A%20_name.replace(%22_%22%2C%20%22%20%22)%2C%20%22Artifact%22%3A%20fmt_mem(_result.artifact_size)%2C%20%22Model%20time%22%3A%20f%22%7Bms(_result.model_execution_time)%3A.2f%7D%20ms%22%2C%20%22Fast%20path%22%3A%20%22YES%22%20if%20_result.execution_supported%20else%20%22NO%22%2C%20%22Outcome%22%3A%20verdict(_result)%7D%20for%20_name%2C%20_result%20in%20c_alternatives.items()%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Bc_sparse%2C%20c_index%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20c_prediction%2C%20table(_rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bc_prediction.value%7D.%20**Selected%20evidence%3A**%20artifact%20%7Bfmt_mem(c_result.artifact_size)%7D%2C%20model%20execution%20%7Bms(c_result.model_execution_time)%3A.2f%7D%20ms%2C%20%7Bverdict(c_result)%7D.%20Index%20metadata%20can%20erase%20storage%20savings%3B%20unsupported%20zeros%20still%20execute%20as%20dense%20work.%22)%2C%20kind%3D%22success%22%20if%20c_result.feasible%20else%20%22danger%22)%2C%20c_capture%2C%20saved(%22C%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Masked%20tensors%20store%20every%20value%20plus%20a%20mask.%20Indexed%20layouts%20store%20each%20surviving%20value%2C%20its%20index%2C%20and%20row%20pointers.%20Structured%20layouts%20remove%20aligned%20work%20only%20when%20the%20scenario%20supplies%20an%20execution%20path.%22)%7D)%5D)%0A%0A%20%20%20%20def%20part_d()%3A%0A%20%20%20%20%20%20%20%20_context%20%3D%20mo.md(%22%23%23%23%20D%20%C2%B7%20Is%20a%20dense%20student%20worth%20training%3F%20(10%20min)%5CnA%20student%20pays%20teacher-generation%20and%20training%20cost%20once%2C%20then%20deploys%20as%20a%20smaller%20dense%20graph.%20Predict%20whether%20the%20selected%20lifetime%20repays%20that%20cost.%22)%0A%20%20%20%20%20%20%20%20if%20d_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Bd_student%2C%20d_volume%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20d_prediction%5D)%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%7B%22Student%22%3A%20_name.replace(%22_%22%2C%20%22%20%22)%2C%20%22Quality%22%3A%20f%22%7B_result.deployment.task_quality%20*%20100%3A.2f%7D%25%22%2C%20%22Artifact%22%3A%20fmt_mem(_result.deployment.artifact_size)%2C%20%22Latency%22%3A%20f%22%7Bms(_result.deployment.end_to_end_latency)%3A.2f%7D%20ms%22%2C%20%22Break-even%22%3A%20f%22%7B_result.break_even_inferences%3A%2C%7D%22%20if%20_result.break_even_inferences%20else%20%22never%22%2C%20%22Outcome%22%3A%20verdict(_result.deployment)%7D%20for%20_name%2C%20_result%20in%20d_alternatives.items()%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20mo.hstack(%5Bd_student%2C%20d_volume%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20d_prediction%2C%20table(_rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bd_prediction.value%7D.%20**Selected%20evidence%3A**%20%7Bverdict(d_result.deployment)%7D%3B%20one-time%20training%20%7Bd_result.training_time.to('hour').magnitude%3A.1f%7D%20h%3B%20break-even%20%7Bd_result.break_even_inferences%3A%2C%7D%20inferences%3B%20training%20is%20%7B'amortized'%20if%20d_result.training_amortized%20else%20'not%20amortized'%7D%20at%20the%20selected%20lifetime.%20A%20smaller%20student%20can%20still%20fail%20its%20supplied%20task%20outcome.%22)%2C%20kind%3D%22success%22%20if%20d_result.deployment.feasible%20and%20d_result.training_amortized%20else%20%22danger%22)%2C%20d_capture%2C%20saved(%22D%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Break-even%20divides%20one-time%20training%20duration%20by%20saved%20whole-path%20time%20per%20inference.%20Student%20quality%2C%20parameter%20fraction%2C%20operation%20fraction%2C%20and%20state%20fraction%20are%20supplied%20candidate%20outcomes%20rather%20than%20reciprocal-size%20rules.%22)%7D)%5D)%0A%0A%20%20%20%20def%20part_e()%3A%0A%20%20%20%20%20%20%20%20_context%20%3D%20mo.md(%22%23%23%23%20E%20%C2%B7%20Do%20successful%20techniques%20compose%3F%20(9%20min)%5CnApply%20the%20transformations%20in%20order.%20The%20instrument%20recomputes%20the%20remaining%20representation%20after%20every%20stage%20and%20compares%20it%20with%20an%20intentionally%20naive%20product%20of%20standalone%20speedups.%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(%5B_context%2C%20e_recipe%2C%20e_prediction%5D)%0A%20%20%20%20%20%20%20%20_figure%20%3D%20go.Figure(%5Bgo.Bar(x%3D%5B%22Recomputed%20path%22%2C%20%22Naive%20product%22%5D%2C%20y%3D%5Bms(e_result.deployment.end_to_end_latency)%2C%20ms(e_result.naive_end_to_end_latency)%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%20_figure.update_layout(height%3D260%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22End-to-end%20latency%20(ms)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%7B%22Stage%22%3A%20_stage.transformation.replace(%22_%22%2C%20%22%20%22)%2C%20%22Remaining%20parameters%22%3A%20f%22%7B_stage.logical_parameters%3A%2C%7D%22%2C%20%22Stored%20bits%22%3A%20_stage.storage_bits%2C%20%22Artifact%22%3A%20fmt_mem(_stage.artifact_size)%7D%20for%20_stage%20in%20e_result.stages%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5B_context%2C%20e_recipe%2C%20e_prediction%2C%20apply_plotly_theme(_figure)%2C%20table(_rows)%2C%20e_release%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Be_prediction.value%7D.%20**Recomputed%20result%3A**%20%7Bms(e_result.deployment.end_to_end_latency)%3A.2f%7D%20ms%20versus%20%7Bms(e_result.naive_end_to_end_latency)%3A.2f%7D%20ms%20from%20multiplying%20standalone%20speedups.%20Exact-sequence%20quality%20is%20%7B'available'%20if%20e_result.outcome_available%20else%20'unavailable'%7D%3B%20%7Bverdict(e_result.deployment)%7D.%20Unknown%20sequences%20remain%20physical%20comparisons%2C%20never%20inferred%20quality%20claims.%22)%2C%20kind%3D%22success%22%20if%20e_result.deployment.feasible%20else%20%22danger%22)%2C%20e_capture%2C%20saved(%22E%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Each%20stage%20mutates%20the%20remaining%20parameter%20count%2C%20structure%2C%20and%20stored%20precision.%20Distillation%20creates%20a%20new%20dense%20representation%3B%20a%20later%20quantization%20stage%20is%20therefore%20different%20from%20quantizing%20the%20teacher%20first.%20Whole-path%20time%20is%20recomputed%20once.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_synthesis()%3A%0A%20%20%20%20%20%20%20%20_rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20_part%20in%20%22ABCDE%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_capture%20%3D%20_captures.get(_part)%0A%20%20%20%20%20%20%20%20%20%20%20%20_rows.append(%7B%22Part%22%3A%20_part%2C%20%22Original%20prediction%22%3A%20_capture.to_dict()%5B%22prediction%22%5D%20if%20_capture%20else%20%22%E2%80%94%22%2C%20%22Evidence%22%3A%20%22CURRENT%22%20if%20_capture%20and%20_part%20not%20in%20audit.stale%20and%20(_part%2C%20_part)%20not%20in%20audit.identical_pairs%20else%20(%22STALE%22%20if%20_capture%20else%20%22MISSING%22)%7D)%0A%20%20%20%20%20%20%20%20_saved_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%20%20%20%20_complete%20%3D%20audit.complete%20and%20all(_widget.value%20is%20not%20None%20for%20_widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%20and%20bool(rationale.value.strip())%20and%20final_choice.value%20!%3D%20final_rejected.value%20and%20final_choice.value%20%3D%3D%20_saved_decision%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Defend%20one%20release%20decision%20(5%20min)%5CnUse%20saved%20evidence%20to%20name%20the%20chosen%20recipe%2C%20quantify%20one%20tested%20rejected%20alternative%2C%20state%20the%20remaining%20limitation%2C%20and%20name%20the%20condition%20that%20forces%20reevaluation.%22)%2C%20table(_rows)%2C%20mo.callout(mo.md(%22A%20chosen%20recipe%20must%20compare%20with%20another%20tested%20recipe.%20A%20hold%2Fno-change%20conclusion%20must%20still%20name%20the%20tested%20alternative%20that%20came%20closest%20or%20failed%20most%20instructively.%22)%2C%20kind%3D%22info%22)%2C%20mo.hstack(%5Bfinal_choice%2C%20final_rejected%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20mo.hstack(%5Bfinal_trigger%2C%20final_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%20_complete%20else%20%22Capture%20five%20current%20contrasts%2C%20match%20the%20recommendation%20to%20the%20saved%20Part%20E%20conclusion%2C%20select%20a%20different%20tested%20alternative%2C%20and%20add%20the%20rationale.%22)%2C%20kind%3D%22success%22%20if%20_complete%20else%20%22warn%22)%5D)%0A%0A%20%20%20%20tabs%20%3D%20mo.ui.tabs(%7B%22Part%20A%22%3A%20part_a()%2C%20%22Part%20B%22%3A%20part_b()%2C%20%22Part%20C%22%3A%20part_c()%2C%20%22Part%20D%22%3A%20part_d()%2C%20%22Part%20E%22%3A%20part_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%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_saved_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%20all(_widget.value%20is%20not%20None%20for%20_widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%20and%20bool(rationale.value.strip())%20and%20final_choice.value%20!%3D%20final_rejected.value%20and%20final_choice.value%20%3D%3D%20_saved_decision%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20_snapshots%20%3D%20%7B_part%3A%20_captures%5B_part%5D.to_dict()%20for%20_part%20in%20%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_10_model_compress.py%22)%2C%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20scenario%3Dprofile.narrative%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%22Separate%20stored%20weights%2C%20runtime%20state%2C%20and%20executable%20precision%22%2C%20%22Evaluate%20quantization%2C%20sparse%20layouts%2C%20and%20dense%20students%20with%20task%20evidence%22%2C%20%22Compose%20an%20ordered%20compression%20recipe%20against%20deployment%20constraints%22%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7B_part%3A%20_snapshots%5B_part%5D%5B%22prediction%22%5D%20for%20_part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20knob_settings%3D%7B_part%3A%20_snapshots%5B_part%5D%5B%22inputs%22%5D%20for%20_part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20evidence_summary%3D%7B_part%3A%20%7B%22baseline%22%3A%20_snapshots%5B_part%5D%5B%22baseline%22%5D%2C%20%22result%22%3A%20_snapshots%5B_part%5D%5B%22result%22%5D%2C%20%22alternatives%22%3A%20_snapshots%5B_part%5D%5B%22alternatives%22%5D%7D%20for%20_part%20in%20%22ABCDE%22%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7B_part%3A%20(_snapshots%5B_part%5D.get(%22chosen_result%22)%20or%20_snapshots%5B_part%5D%5B%22result%22%5D)%5B%22result%22%5D.get(%22violations%22%2C%20(_snapshots%5B_part%5D.get(%22chosen_result%22)%20or%20_snapshots%5B_part%5D%5B%22result%22%5D)%5B%22result%22%5D.get(%22deployment%22%2C%20%7B%7D).get(%22violations%22%2C%20%5B%5D))%20for%20_part%20in%20%22ABCDE%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%22Compression%20helps%20when%20it%20relieves%20a%20binding%20deployment%20resource.%22%2C%20%22Stored%20precision%20and%20sparse%20zeros%20accelerate%20only%20on%20an%20executable%20path.%22%2C%20%22Ordered%20recipes%20require%20recomputed%20whole-path%20evidence%20and%20exact%20task%20outcomes.%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%20final_trigger.value%7D%2C%20residual_risk%3Dfinal_risk.value%2C%0A%20%20%20%20%20%20%20%20result_snapshot%3D%7B%22track%22%3A%20track_id%2C%20%22captures%22%3A%20_snapshots%2C%20%22recommendation%22%3A%20final_choice.value%2C%20%22rejected%22%3A%20final_rejected.value%2C%20%22trigger%22%3A%20final_trigger.value%2C%20%22residual_risk%22%3A%20final_risk.value%7D%2C%0A%20%20%20%20%20%20%20%20source_trace%3D%7B%22scenario%22%3A%20%22Illustrative%20matched-task%20outcomes%20and%20execution%20assumptions.%22%2C%20%22calculations%22%3A%20%22MLSysIM%20Chapter%2010%20compression%20experiments.%22%7D%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5Bmo.md(%22%23%23%20Local%20evidence%20report%22)%2C%20report_export_panel(report)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Aasync%20def%20_(%0A%20%20%20%20MODEL_ID%2C%0A%20%20%20%20audit%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20ledger%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_saved_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%20all(_widget.value%20is%20not%20None%20for%20_widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%20and%20bool(rationale.value.strip())%20and%20final_choice.value%20!%3D%20final_rejected.value%20and%20final_choice.value%20%3D%3D%20_saved_decision%0A%20%20%20%20_status%20%3D%20%22EVIDENCE%20IN%20PROGRESS%22%0A%20%20%20%20if%20_ready%3A%0A%20%20%20%20%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20ledger.save(chapter%3D10%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_10%22%2C%20%22track_id%22%3A%20track_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22model_id%22%3A%20MODEL_ID%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22evidence%22%3A%20%7B_part%3A%20_capture.to_dict()%20for%20_part%2C%20_capture%20in%20_captures.items()%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22recommendation%22%3A%20final_choice.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22rejected_alternative%22%3A%20final_rejected.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22reevaluation_trigger%22%3A%20final_trigger.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22residual_risk%22%3A%20final_risk.value%2C%20%22rationale%22%3A%20rationale.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D)%0A%20%20%20%20%20%20%20%20%20%20%20%20await%20ledger.flush()%0A%20%20%20%20%20%20%20%20except%20Exception%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_status%20%3D%20%22LOCAL%20SAVE%20FAILED%20%C2%B7%20DOWNLOAD%20THE%20REPORT%20TO%20KEEP%20YOUR%20EVIDENCE%22%0A%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_status%20%3D%20%22SAVED%22%0A%20%20%20%20mo.Html(f'%3Cdiv%20class%3D%22lab-hud%22%3E%3Cspan%20class%3D%22hud-label%22%3ELAB%3C%2Fspan%3E%3Cspan%20class%3D%22hud-value%22%3E10%20%C2%B7%20Compression%20That%20Executes%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