Lab 16: The Architect's Audit

Lab 16: The Architect's Audit · 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%2016%3A%20The%20Architect's%20Audit%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%20dataclasses%20import%20asdict%0A%20%20%20%20from%20pathlib%20import%20Path%0A%20%20%20%20import%20marimo%20as%20mo%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%20%20%20%20import%20plotly.graph_objects%20as%20go%0A%20%20%20%20from%20mlsysim.engine.v1_16_experiments%20import%20(%0A%20%20%20%20%20%20%20%20DeploymentEnvelope%2C%20audit_ledger%2C%20compare_prepared_intervention%2C%0A%20%20%20%20%20%20%20%20evaluate_envelope_fraction%2C%20evaluate_joint_design%2C%0A%20%20%20%20%20%20%20%20prepared_instructor_scenario%2C%20transfer_design%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%20ACADEMIC_LAB_CSS%2C%20build_lab_report%2C%20get_lab_metadata%2C%20report_export_panel%0A%20%20%20%20from%20mlsysbook_labs.experiment_evidence%20import%20capture_evidence%2C%20audit_evidence%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%20LAB_CSS%2C%0A%20%20%20%20%20%20%20%20asdict%2C%0A%20%20%20%20%20%20%20%20audit_evidence%2C%0A%20%20%20%20%20%20%20%20audit_ledger%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_prepared_intervention%2C%0A%20%20%20%20%20%20%20%20evaluate_envelope_fraction%2C%0A%20%20%20%20%20%20%20%20evaluate_joint_design%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%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%20prepared_instructor_scenario%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20%20%20%20%20transfer_design%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_(track)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20track_labels%20%3D%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%0A%20%20%20%20return%20track_id%2C%20track_labels%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20audit_ledger%2C%0A%20%20%20%20evaluate_joint_design%2C%0A%20%20%20%20ledger%2C%0A%20%20%20%20prepared_instructor_scenario%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20student_history%20%3D%20dict(ledger._state.history)%0A%20%20%20%20ledger_audit%20%3D%20audit_ledger(student_history%2C%20track_id)%0A%20%20%20%20instructor%20%3D%20prepared_instructor_scenario(track_id)%0A%20%20%20%20baseline_result%20%3D%20evaluate_joint_design(instructor%5B%22snapshot%22%5D%2C%20instructor%5B%22envelope%22%5D)%0A%20%20%20%20return%20baseline_result%2C%20instructor%2C%20ledger_audit%2C%20student_history%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20track_id%2C%20track_labels)%3A%0A%20%20%20%20part_a_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Complete%20and%20replayed%22%3A%20%22complete%22%2C%20%22Some%20evidence%20is%20missing%22%3A%20%22missing%22%2C%20%22Some%20evidence%20is%20incompatible%20or%20unreplayed%22%3A%20%22incompatible%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20will%20the%20actual%20ledger%20audit%20show%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20A%20prediction%22)%0A%20%20%20%20intervention%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Quantized%20candidate%22%3A%20%22quantize%22%2C%20%22Fused-runtime%20candidate%22%3A%20%22fuse_runtime%22%2C%20%22Larger-model%20candidate%22%3A%20%22larger_model%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Quantized%20candidate%22%2C%20label%3D%22Prepared%20alternative%22%2C%0A%20%20%20%20)%0A%20%20%20%20part_b_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Memory%22%3A%20%22memory%22%2C%20%22Latency%22%3A%20%22latency%22%2C%20%22Energy%22%3A%20%22energy%22%2C%20%22Quality%22%3A%20%22quality%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20margin%20changes%20most%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20B%20prediction%22)%0A%20%20%20%20part_b_decision%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Choose%20prepared%20candidate%22%3A%20%22candidate%22%2C%20%22Keep%20baseline%22%3A%20%22baseline%22%2C%20%22Hold%20release%22%3A%20%22hold%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Decision%20after%20seeing%20both%20outcomes%22%2C%0A%20%20%20%20)%0A%20%20%20%20boundary_axis%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Memory%20limit%22%3A%20%22memory%22%2C%20%22Latency%20limit%22%3A%20%22latency%22%2C%20%22Energy%20limit%22%3A%20%22energy%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Latency%20limit%22%2C%20label%3D%22Limit%20to%20tighten%22%2C%0A%20%20%20%20)%0A%20%20%20%20boundary_fraction%20%3D%20mo.ui.slider(0.55%2C%201.05%2C%20value%3D0.80%2C%20step%3D0.05%2C%20label%3D%22Fraction%20of%20current%20limit%22)%0A%20%20%20%20part_c_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Still%20passes%22%3A%20%22pass%22%2C%20%22Crosses%20the%20selected%20limit%22%3A%20%22fail%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Does%20the%20saved%20design%20remain%20inside%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20C%20prediction%22)%0A%20%20%20%20target_options%20%3D%20%7Blabel%3A%20key%20for%20key%2C%20label%20in%20track_labels.items()%20if%20key%20!%3D%20track_id%7D%0A%20%20%20%20target_track%20%3D%20mo.ui.dropdown(target_options%2C%20value%3Dnext(iter(target_options))%2C%20label%3D%22Second%20deployment%20envelope%22)%0A%20%20%20%20part_d_prediction%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Everything%20transfers%22%3A%20%22all%22%2C%20%22Physics%20transfers%3B%20quality%20is%20unavailable%22%3A%20%22physical%22%2C%20%22A%20physical%20requirement%20fails%22%3A%20%22failure%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20survives%20transfer%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20D%20prediction%22)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20boundary_axis%2C%0A%20%20%20%20%20%20%20%20boundary_fraction%2C%0A%20%20%20%20%20%20%20%20intervention%2C%0A%20%20%20%20%20%20%20%20part_a_prediction%2C%0A%20%20%20%20%20%20%20%20part_b_decision%2C%0A%20%20%20%20%20%20%20%20part_b_prediction%2C%0A%20%20%20%20%20%20%20%20part_c_prediction%2C%0A%20%20%20%20%20%20%20%20part_d_prediction%2C%0A%20%20%20%20%20%20%20%20target_track%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%20final_choice%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Keep%20baseline%22%3A%20%22baseline%22%2C%20%22Quantized%20candidate%22%3A%20%22quantize%22%2C%20%22Fused-runtime%20candidate%22%3A%20%22fuse_runtime%22%2C%20%22Larger-model%20candidate%22%3A%20%22larger_model%22%2C%20%22Hold%20release%22%3A%20%22hold%22%2C%20%22No%20feasible%20choice%22%3A%20%22none%22%7D%2C%20label%3D%22Recommendation%22)%0A%20%20%20%20final_rejected%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Baseline%22%3A%20%22baseline%22%2C%20%22Quantized%20candidate%22%3A%20%22quantize%22%2C%20%22Fused-runtime%20candidate%22%3A%20%22fuse_runtime%22%2C%20%22Larger-model%20candidate%22%3A%20%22larger_model%22%7D%2C%20label%3D%22Tested%20rejected%20alternative%22)%0A%20%20%20%20final_trigger%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Memory%20reaches%20limit%22%3A%20%22memory%22%2C%20%22Latency%20reaches%20limit%22%3A%20%22latency%22%2C%20%22Energy%20reaches%20limit%22%3A%20%22energy%22%2C%20%22Matched%20quality%20evidence%20fails%22%3A%20%22quality%22%7D%2C%20label%3D%22Reevaluation%20trigger%22)%0A%20%20%20%20residual_risk%20%3D%20mo.ui.text(label%3D%22Remaining%20limitation%22%2C%20placeholder%3D%22Name%20evidence%20this%20lab%20still%20does%20not%20establish.%22)%0A%20%20%20%20rationale%20%3D%20mo.ui.text_area(label%3D%22Release%20rationale%22%2C%20placeholder%3D%22Connect%20evidence%2C%20choice%2C%20rejected%20alternative%2C%20consequence%2C%20and%20trigger.%22)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20final_choice%2C%0A%20%20%20%20%20%20%20%20final_rejected%2C%0A%20%20%20%20%20%20%20%20final_trigger%2C%0A%20%20%20%20%20%20%20%20rationale%2C%0A%20%20%20%20%20%20%20%20residual_risk%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20asdict%2C%0A%20%20%20%20audit_ledger%2C%0A%20%20%20%20boundary_axis%2C%0A%20%20%20%20boundary_fraction%2C%0A%20%20%20%20compare_prepared_intervention%2C%0A%20%20%20%20evaluate_envelope_fraction%2C%0A%20%20%20%20instructor%2C%0A%20%20%20%20intervention%2C%0A%20%20%20%20prepared_instructor_scenario%2C%0A%20%20%20%20student_history%2C%0A%20%20%20%20target_track%2C%0A%20%20%20%20track_id%2C%0A%20%20%20%20transfer_design%2C%0A)%3A%0A%20%20%20%20intervention_value%20%3D%20intervention.value%20if%20intervention.value%20in%20%7B%22quantize%22%2C%20%22fuse_runtime%22%2C%20%22larger_model%22%7D%20else%20%22quantize%22%0A%20%20%20%20boundary_axis_value%20%3D%20boundary_axis.value%20if%20boundary_axis.value%20in%20%7B%22memory%22%2C%20%22latency%22%2C%20%22energy%22%7D%20else%20%22latency%22%0A%20%20%20%20boundary_fraction_value%20%3D%20boundary_fraction.value%20if%20isinstance(boundary_fraction.value%2C%20(int%2C%20float))%20else%200.80%0A%20%20%20%20target_track_value%20%3D%20target_track.value%20if%20target_track.value%20in%20%7B%22tinyml%22%2C%20%22mobile%22%2C%20%22edge%22%2C%20%22cloud%22%7D%20and%20target_track.value%20!%3D%20track_id%20else%20next(key%20for%20key%20in%20(%22tinyml%22%2C%20%22mobile%22%2C%20%22edge%22%2C%20%22cloud%22)%20if%20key%20!%3D%20track_id)%0A%20%20%20%20intervention_comparison%20%3D%20compare_prepared_intervention(track_id%2C%20intervention_value)%0A%20%20%20%20envelope%20%3D%20instructor%5B%22envelope%22%5D%0A%20%20%20%20boundary_comparison%20%3D%20evaluate_envelope_fraction(%0A%20%20%20%20%20%20%20%20instructor%5B%22snapshot%22%5D%2C%20envelope%2C%0A%20%20%20%20%20%20%20%20requirement%3Dboundary_axis_value%2C%20fraction%3Dboundary_fraction_value)%0A%20%20%20%20target_scenario%20%3D%20prepared_instructor_scenario(target_track_value)%0A%20%20%20%20transfer_result%20%3D%20transfer_design(instructor%5B%22snapshot%22%5D%2C%20target_scenario%5B%22envelope%22%5D)%0A%20%20%20%20def%20audit_arm(value%2C%20inputs)%3A%0A%20%20%20%20%20%20%20%20return%20%7B%22inputs%22%3A%20inputs%2C%20%22selected_track_id%22%3A%20value.selected_track_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22counts%22%3A%20value.counts%2C%20%22release_evidence_complete%22%3A%20value.release_evidence_complete%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22records%22%3A%20%5Basdict(record)%20for%20record%20in%20value.records%5D%7D%0A%20%20%20%20audit_inputs%20%3D%20%7B%22history%22%3A%20student_history%2C%20%22track_id%22%3A%20track_id%2C%20%22required_chapters%22%3A%20list(range(1%2C%2016))%7D%0A%20%20%20%20empty_inputs%20%3D%20%7B%22history%22%3A%20student_history%2C%20%22track_id%22%3A%20track_id%2C%20%22required_chapters%22%3A%20list(range(1%2C%209))%7D%0A%20%20%20%20audit_baseline%20%3D%20audit_arm(audit_ledger(student_history%2C%20track_id%2C%20required_chapters%3Dtuple(range(1%2C%209)))%2C%20empty_inputs)%0A%20%20%20%20audit_result%20%3D%20audit_arm(audit_ledger(student_history%2C%20track_id)%2C%20audit_inputs)%0A%20%20%20%20def%20physical_arm(result)%3A%0A%20%20%20%20%20%20%20%20return%20%7B**result%2C%20%22inputs%22%3A%20%7B%22snapshot%22%3A%20result%5B%22snapshot%22%5D%2C%20%22envelope%22%3A%20result%5B%22envelope%22%5D%7D%7D%0A%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20audit_baseline%2C%0A%20%20%20%20%20%20%20%20audit_inputs%2C%0A%20%20%20%20%20%20%20%20audit_result%2C%0A%20%20%20%20%20%20%20%20boundary_axis_value%2C%0A%20%20%20%20%20%20%20%20boundary_comparison%2C%0A%20%20%20%20%20%20%20%20boundary_fraction_value%2C%0A%20%20%20%20%20%20%20%20intervention_comparison%2C%0A%20%20%20%20%20%20%20%20intervention_value%2C%0A%20%20%20%20%20%20%20%20physical_arm%2C%0A%20%20%20%20%20%20%20%20target_scenario%2C%0A%20%20%20%20%20%20%20%20target_track_value%2C%0A%20%20%20%20%20%20%20%20transfer_result%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20asdict%2C%0A%20%20%20%20audit_baseline%2C%0A%20%20%20%20audit_inputs%2C%0A%20%20%20%20audit_result%2C%0A%20%20%20%20baseline_result%2C%0A%20%20%20%20boundary_axis_value%2C%0A%20%20%20%20boundary_comparison%2C%0A%20%20%20%20boundary_fraction_value%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20intervention_comparison%2C%0A%20%20%20%20intervention_value%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20part_a_prediction%2C%0A%20%20%20%20part_b_decision%2C%0A%20%20%20%20part_b_prediction%2C%0A%20%20%20%20part_c_prediction%2C%0A%20%20%20%20part_d_prediction%2C%0A%20%20%20%20physical_arm%2C%0A%20%20%20%20set_evidence%2C%0A%20%20%20%20target_scenario%2C%0A%20%20%20%20target_track_value%2C%0A%20%20%20%20track_id%2C%0A%20%20%20%20transfer_result%2C%0A)%3A%0A%20%20%20%20def%20store(part%2C%20captured)%3A%0A%20%20%20%20%20%20%20%20set_evidence(lambda%20current%3A%20%7B**current%2C%20part%3A%20captured%7D)%0A%20%20%20%20a_upstream%20%3D%20%7B%22track_id%22%3A%20track_id%2C%20%22history%22%3A%20audit_inputs%5B%22history%22%5D%7D%0A%20%20%20%20b_upstream%20%3D%20%7B%22track_id%22%3A%20track_id%2C%20%22intervention%22%3A%20intervention_value%2C%20%22decision%22%3A%20part_b_decision.value%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22track_id%22%3A%20track_id%2C%20%22axis%22%3A%20boundary_axis_value%2C%20%22fraction%22%3A%20boundary_fraction_value%7D%0A%20%20%20%20d_upstream%20%3D%20%7B%22source_track%22%3A%20track_id%2C%20%22target_track%22%3A%20target_track_value%7D%0A%20%20%20%20a_capture%20%3D%20mo.ui.button(label%3D%22Capture%20ledger%20contrast%22%2C%20kind%3D%22success%22%2C%20disabled%3Dpart_a_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(track%3Dtrack_id%2C%20part%3D%22A%22%2C%20prediction%3Dpart_a_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3Daudit_inputs%2C%20baseline%3Daudit_baseline%2C%20result%3Daudit_result%2C%20upstream_inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v1_16.audit_ledger.v1%22)))%0A%20%20%20%20_b_base%20%3D%20physical_arm(intervention_comparison%5B%22baseline%22%5D)%0A%20%20%20%20_b_candidate%20%3D%20physical_arm(intervention_comparison%5B%22candidate%22%5D)%0A%20%20%20%20_b_decision%20%3D%20intervention_value%20if%20part_b_decision.value%20%3D%3D%20%22candidate%22%20else%20part_b_decision.value%0A%20%20%20%20_b_chosen%20%3D%20_b_candidate%20if%20part_b_decision.value%20%3D%3D%20%22candidate%22%20else%20(_b_base%20if%20part_b_decision.value%20in%20%7B%22baseline%22%2C%20%22hold%22%7D%20else%20None)%0A%20%20%20%20_b_role%20%3D%20%22chosen%20candidate%22%20if%20part_b_decision.value%20%3D%3D%20%22candidate%22%20else%20%22rejected%20alternative%22%0A%20%20%20%20b_capture%20%3D%20mo.ui.button(label%3D%22Capture%20alternative%20contrast%22%2C%20kind%3D%22success%22%2C%20disabled%3Dpart_b_prediction.value%20is%20None%20or%20part_b_decision.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22B%22%2C%20capture_evidence(track%3Dtrack_id%2C%20part%3D%22B%22%2C%20prediction%3Dpart_b_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22intervention%22%3A%20intervention_value%7D%2C%20baseline%3D_b_base%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3D_b_candidate%2C%20alternatives%3D(intervention_comparison%2C)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3D_b_decision%2C%20chosen_result%3D_b_chosen%2C%20result_role%3D_b_role%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Db_upstream%2C%20model_key%3D%22v1_16.evaluate_joint_design.v1%22)))%0A%20%20%20%20c_capture%20%3D%20mo.ui.button(label%3D%22Capture%20boundary%20contrast%22%2C%20kind%3D%22success%22%2C%20disabled%3Dpart_c_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(track%3Dtrack_id%2C%20part%3D%22C%22%2C%20prediction%3Dpart_c_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22axis%22%3A%20boundary_axis_value%2C%20%22fraction%22%3A%20boundary_fraction_value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dphysical_arm(boundary_comparison%5B%22baseline%22%5D)%2C%20result%3Dphysical_arm(boundary_comparison%5B%22changed%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dpart_c_prediction.value%2C%20upstream_inputs%3Dc_upstream%2C%20model_key%3D%22v1_16.evaluate_joint_design.v1%22)))%0A%20%20%20%20d_capture%20%3D%20mo.ui.button(label%3D%22Capture%20transfer%20contrast%22%2C%20kind%3D%22success%22%2C%20disabled%3Dpart_d_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(track%3Dtrack_id%2C%20part%3D%22D%22%2C%20prediction%3Dpart_d_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22source_track%22%3A%20track_id%2C%20%22target_track%22%3A%20target_track_value%7D%2C%20baseline%3Dphysical_arm(baseline_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Dphysical_arm(transfer_result)%2C%20alternatives%3D(%7B%22target_envelope%22%3A%20asdict(target_scenario%5B%22envelope%22%5D)%7D%2C)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dpart_d_prediction.value%2C%20upstream_inputs%3Dd_upstream%2C%20model_key%3D%22v1_16.evaluate_joint_design.v1%22)))%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_capture%2C%0A%20%20%20%20%20%20%20%20a_upstream%2C%0A%20%20%20%20%20%20%20%20b_capture%2C%0A%20%20%20%20%20%20%20%20b_upstream%2C%0A%20%20%20%20%20%20%20%20c_capture%2C%0A%20%20%20%20%20%20%20%20c_upstream%2C%0A%20%20%20%20%20%20%20%20d_capture%2C%0A%20%20%20%20%20%20%20%20d_upstream%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20ACADEMIC_LAB_CSS%2C%0A%20%20%20%20LAB_CSS%2C%0A%20%20%20%20instructor%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20track%2C%0A%20%20%20%20track_id%2C%0A%20%20%20%20track_labels%2C%0A)%3A%0A%20%20%20%20css%20%3D%20mo.Html(%22%22%22%3Cstyle%3E%0A%20%20%20%20.cap-head%7Bbackground%3Alinear-gradient(135deg%2C%23111827%2C%23164e63)%3Bcolor%3Awhite%3Bborder-radius%3A14px%3Bpadding%3Aclamp(18px%2C4vw%2C32px)%3Bmargin-bottom%3A12px%7D%0A%20%20%20%20.cap-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.cap-head%20h1%7Bfont-size%3Aclamp(1.65rem%2C5vw%2C2.65rem)%3Bline-height%3A1.05%3Bmargin%3A14px%200%208px%7D.cap-head%20p%7Bcolor%3A%23cffafe%3Bmax-width%3A760px%7D%0A%20%20%20%20.cap-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(170px%2C1fr))%3Bgap%3A9px%3Bmargin-top%3A16px%7D.cap-meta%20div%7Bbackground%3A%23ffffff14%3Bborder%3A1px%20solid%20%23ffffff26%3Bpadding%3A9px%2011px%3Bborder-radius%3A8px%7D%0A%20%20%20%20.cap-note%7Bcolor%3A%23475569%3Bfont-size%3A.9rem%3Bline-height%3A1.5%7D.saved%7Bborder-left%3A4px%20solid%20%2316a34a%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%23111827!important%3Bcolor%3A%23fff%3Bpadding%3A14px%2018px%3Bborder-radius%3A9px%7D.lab-hud%20.hud-label%7Bcolor%3A%23a7b9cf%7D.lab-hud%20.hud-active%7Bcolor%3A%2386efac%7D%0A%20%20%20%20%40media(max-width%3A520px)%7B.cap-head%7Bborder-radius%3A9px%3Bmargin-top%3A30px%7D.cap-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%7Bcss.text%7D%3Csection%20class%3D%22cap-head%22%3E%3Cdiv%20class%3D%22cap-top%22%3E%3Cspan%3EVOLUME%20I%20%C2%B7%20LAB%2016%3C%2Fspan%3E%3Cspan%3EABOUT%2045%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%3Ch1%3EThe%20Architect's%20Audit%3C%2Fh1%3E%3Cp%3EDoes%20the%20accumulated%20design%20still%20fit%20when%20its%20evidence%20and%20constraints%20meet%3F%3C%2Fp%3E%3Cdiv%20class%3D%22cap-meta%22%3E%3Cdiv%3E%3Cb%3ETrack%3C%2Fb%3E%3Cbr%3E%7Btrack_labels%5Btrack_id%5D%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EInvestigation%3C%2Fb%3E%3Cbr%3ECross-layer%20release%20audit%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EOutput%3C%2Fb%3E%3Cbr%3EDefensible%20release%20memo%3C%2Fdiv%3E%3C%2Fdiv%3E%3C%2Fsection%3E%22%22%22)%0A%20%20%20%20mo.vstack(%5BLAB_CSS%2C%20ACADEMIC_LAB_CSS%2C%20css%2C%20header%2C%20track%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.Html(f'%3Cp%20class%3D%22cap-note%22%3E%3Cb%3EPrepared%20scenario%3A%3C%2Fb%3E%20%7Binstructor%5B%22scenario_assumption%22%5D%7D%20It%20remains%20separate%20from%20your%20actual%20ledger.%3C%2Fp%3E')%5D%2C%20gap%3D0.5)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.sidebar(%5Bmo.md(%22%23%23%20Lab%20navigation%22)%2C%20mo.outline(label%3D%22Sections%22)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_capture%2C%0A%20%20%20%20a_upstream%2C%0A%20%20%20%20audit_evidence%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20boundary_axis%2C%0A%20%20%20%20boundary_comparison%2C%0A%20%20%20%20boundary_fraction%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_upstream%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20intervention%2C%0A%20%20%20%20intervention_comparison%2C%0A%20%20%20%20intervention_value%2C%0A%20%20%20%20ledger_audit%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20part_a_prediction%2C%0A%20%20%20%20part_b_decision%2C%0A%20%20%20%20part_b_prediction%2C%0A%20%20%20%20part_c_prediction%2C%0A%20%20%20%20part_d_prediction%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20residual_risk%2C%0A%20%20%20%20target_track%2C%0A%20%20%20%20target_track_value%2C%0A%20%20%20%20track_id%2C%0A%20%20%20%20track_labels%2C%0A%20%20%20%20transfer_result%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20upstream%20%3D%20%7B%22A%22%3A%20a_upstream%2C%20%22B%22%3A%20b_upstream%2C%20%22C%22%3A%20c_upstream%2C%20%22D%22%3A%20d_upstream%7D%0A%20%20%20%20evidence_audit%20%3D%20audit_evidence(_captures%2C%20track%3Dtrack_id%2C%20required_parts%3Dtuple(%22ABCD%22)%2C%0A%20%20%20%20%20%20%20%20per_part_upstream_inputs%3Dupstream%2C%20contrast_required_parts%3Dtuple(%22ABCD%22))%0A%20%20%20%20def%20table(rows)%3A%0A%20%20%20%20%20%20%20%20return%20mo.ui.table(rows%2C%20pagination%3DFalse).style(%7B%22max-width%22%3A%20%22100%25%22%2C%20%22overflow-x%22%3A%20%22auto%22%7D)%0A%20%20%20%20def%20saved(part)%3A%0A%20%20%20%20%20%20%20%20captured%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20if%20captured%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%20evidence_audit.stale%20or%20(part%2C%20part)%20in%20evidence_audit.identical_pairs%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22**STALE%20OR%20NON-CONTRASTING%20EVIDENCE.**%20Recapture%20this%20comparison.%22)%2C%20kind%3D%22danger%22)%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%7Bcaptured.to_dict()%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3EThe%20report%20keeps%20this%20result%20when%20live%20controls%20change.%3C%2Fsmall%3E%3C%2Fdiv%3E')%0A%20%20%20%20def%20part_a()%3A%0A%20%20%20%20%20%20%20%20if%20part_a_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20A%20%C2%B7%20Does%20the%20accumulated%20design%20fit%20together%3F%20(10%20min)%5CnPredict%20before%20opening%20the%20actual%20ledger.%22)%2C%20part_a_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Chapter%22%3A%20record.chapter%2C%20%22Status%22%3A%20record.status.value%2C%20%22Reason%22%3A%20record.reason%20or%20%22replayed%20evidence%22%7D%20for%20record%20in%20ledger_audit.records%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20A%20%C2%B7%20Does%20the%20accumulated%20design%20fit%20together%3F%20(10%20min)%22)%2C%20part_a_prediction%2C%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22Found%20**%7Bledger_audit.counts%5B'demonstrated'%5D%7D%20replayed%20records%20whose%20chosen%20design%20passes**%2C%20**%7Bledger_audit.counts%5B'failed'%5D%7D%20replayed%20records%20with%20observed%20requirement%20failures**%2C%20**%7Bledger_audit.counts%5B'missing'%5D%7D%20missing**%2C%20**%7Bledger_audit.counts%5B'incomplete'%5D%7D%20incomplete**%2C%20**%7Bledger_audit.counts%5B'incompatible'%5D%7D%20incompatible**%2C%20and%20**%7Bledger_audit.counts%5B'schema_valid_unreplayed'%5D%7D%20schema-valid%20but%20unreplayed**%20records.%20Missing%20evidence%20is%20not%20a%20failed%20requirement.%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%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22The%20audit%20validates%20the%20stable%20ledger%20schema%20and%20directly%20replays%20supported%20saved%20inputs.%20Unknown%20models%20remain%20unreplayed%3B%20prose%20never%20supplies%20a%20pass%20result.%22)%7D)%5D)%0A%20%20%20%20def%20part_b()%3A%0A%20%20%20%20%20%20%20%20if%20part_b_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20B%20%C2%B7%20Where%20does%20one%20alternative%20move%20the%20constraint%3F%20(12%20min)%5CnChoose%20a%20fully%20declared%20scenario%20alternative%2C%20then%20predict%20its%20consequence.%22)%2C%20intervention%2C%20part_b_prediction%5D)%0A%20%20%20%20%20%20%20%20base%2C%20candidate%20%3D%20intervention_comparison%5B%22baseline%22%5D%2C%20intervention_comparison%5B%22candidate%22%5D%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Design%22%3A%20%22Baseline%22%2C%20%22Memory%20(MB)%22%3A%20base%5B%22memory_mb%22%5D%2C%20%22Latency%20(ms)%22%3A%20base%5B%22latency_ms%22%5D%2C%20%22Energy%20(mJ)%22%3A%20base%5B%22energy_mj%22%5D%2C%20%22Quality%20(%25)%22%3A%20base%5B%22quality_pct%22%5D%2C%20%22Failed%22%3A%20%22%2C%20%22.join(base%5B%22failed_requirements%22%5D)%20or%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Design%22%3A%20intervention_value%2C%20%22Memory%20(MB)%22%3A%20candidate%5B%22memory_mb%22%5D%2C%20%22Latency%20(ms)%22%3A%20candidate%5B%22latency_ms%22%5D%2C%20%22Energy%20(mJ)%22%3A%20candidate%5B%22energy_mj%22%5D%2C%20%22Quality%20(%25)%22%3A%20candidate%5B%22quality_pct%22%5D%2C%20%22Failed%22%3A%20%22%2C%20%22.join(candidate%5B%22failed_requirements%22%5D)%20or%20%22none%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20B%20%C2%B7%20Where%20does%20one%20alternative%20move%20the%20constraint%3F%20(12%20min)%22)%2C%20intervention%2C%20part_b_prediction%2C%20table(rows)%2C%20part_b_decision%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(%22Each%20alternative%20is%20a%20full%20declared%20fixture.%20Its%20matched-task%20quality%20observation%20is%20supplied%20separately%20from%20physical%20calculations.%22)%2C%20kind%3D%22info%22)%2C%20b_capture%2C%20saved(%22B%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Memory%20sums%20weights%2C%20activations%2C%20and%20workspace.%20Latency%20sums%20movement%2C%20compute%2C%20and%20fixed%20overhead.%20Phase%20energy%20is%20power%20multiplied%20by%20phase%20duration.%22)%7D)%5D)%0A%20%20%20%20def%20part_c()%3A%0A%20%20%20%20%20%20%20%20if%20part_c_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20C%20%C2%B7%20Where%20does%20the%20recommendation%20stop%20working%3F%20(10%20min)%5CnTighten%20one%20explicit%20limit%20while%20holding%20the%20design%20fixed.%22)%2C%20boundary_axis%2C%20boundary_fraction%2C%20part_c_prediction%5D)%0A%20%20%20%20%20%20%20%20changed%20%3D%20boundary_comparison%5B%22changed%22%5D%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Envelope%22%3A%20%22Original%22%2C%20%22Outcome%22%3A%20%22PASS%22%20if%20boundary_comparison%5B%22baseline%22%5D%5B%22feasible%22%5D%20else%20%22FAIL%22%2C%20%22Failed%22%3A%20%22%2C%20%22.join(boundary_comparison%5B%22baseline%22%5D%5B%22failed_requirements%22%5D)%20or%20%22none%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Envelope%22%3A%20%22Tightened%22%2C%20%22Outcome%22%3A%20%22PASS%22%20if%20changed%5B%22feasible%22%5D%20else%20%22FAIL%22%2C%20%22Failed%22%3A%20%22%2C%20%22.join(changed%5B%22failed_requirements%22%5D)%20or%20%22none%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20C%20%C2%B7%20Where%20does%20the%20recommendation%20stop%20working%3F%20(10%20min)%22)%2C%20boundary_axis%2C%20boundary_fraction%2C%20part_c_prediction%2C%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22The%20tightened%20envelope%20is%20**%7B'feasible'%20if%20changed%5B'feasible'%5D%20else%20'not%20feasible'%7D**.%20Acceptance%20changed%3B%20physical%20outcomes%20did%20not.%22)%2C%20kind%3D%22success%22%20if%20changed%5B%22feasible%22%5D%20else%20%22danger%22)%2C%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(%22This%20changes%20one%20named%20limit%20in%20physical%20units.%20It%20does%20not%20use%20a%20universal%20workload%20or%20capability%20scale.%22)%7D)%5D)%0A%20%20%20%20def%20part_d()%3A%0A%20%20%20%20%20%20%20%20if%20part_d_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20D%20%C2%B7%20Can%20the%20reasoning%20transfer%3F%20(10%20min)%5CnApply%20the%20same%20physical%20design%20to%20another%20explicit%20envelope.%22)%2C%20target_track%2C%20part_d_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Target%22%3A%20track_labels%5Btarget_track_value%5D%2C%20%22Memory%20(MB)%22%3A%20transfer_result%5B%22memory_mb%22%5D%2C%20%22Latency%20(ms)%22%3A%20transfer_result%5B%22latency_ms%22%5D%2C%20%22Energy%20(mJ)%22%3A%20transfer_result%5B%22energy_mj%22%5D%2C%20%22Quality%22%3A%20%22unavailable%22%20if%20transfer_result%5B%22quality_pct%22%5D%20is%20None%20else%20transfer_result%5B%22quality_pct%22%5D%2C%20%22Failed%22%3A%20%22%2C%20%22.join(transfer_result%5B%22failed_requirements%22%5D)%20or%20%22none%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20D%20%C2%B7%20Can%20the%20reasoning%20transfer%3F%20(10%20min)%22)%2C%20target_track%2C%20part_d_prediction%2C%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(%22Physical%20quantities%20can%20be%20reevaluated.%20Quality%20remains%20unavailable%20because%20the%20target%20task%20and%20population%20differ.%22)%2C%20kind%3D%22info%22)%2C%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(%22The%20saved%20design%20is%20compared%20with%20the%20second%20envelope.%20No%20target%20quality%20value%20is%20invented.%22)%7D)%5D)%0A%20%20%20%20def%20synthesis()%3A%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Part%22%3A%20part%2C%20%22Prediction%22%3A%20_captures%5Bpart%5D.to_dict()%5B%22prediction%22%5D%20if%20part%20in%20_captures%20else%20%22%E2%80%94%22%2C%20%22Evidence%22%3A%20%22current%22%20if%20part%20in%20_captures%20and%20part%20not%20in%20evidence_audit.stale%20and%20(part%2C%20part)%20not%20in%20evidence_audit.identical_pairs%20else%20%22missing%20or%20stale%22%7D%20for%20part%20in%20%22ABCD%22%5D%0A%20%20%20%20%20%20%20%20tested_decision%20%3D%20_captures%5B%22B%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22B%22%20in%20_captures%20else%20None%0A%20%20%20%20%20%20%20%20complete%20%3D%20evidence_audit.complete%20and%20all(w.value%20is%20not%20None%20for%20w%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger))%20and%20final_choice.value%20%3D%3D%20tested_decision%20and%20final_choice.value%20!%3D%20final_rejected.value%20and%20bool(residual_risk.value.strip())%20and%20bool(rationale.value.strip())%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Defend%20the%20operating%20envelope%20(8%20min)%5CnChoose%20one%20option%2C%20quantify%20a%20tested%20rejected%20alternative%2C%20name%20the%20remaining%20limitation%2C%20and%20set%20a%20trigger.%22)%2C%20table(rows)%2C%20mo.hstack(%5Bfinal_choice%2C%20final_rejected%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20final_trigger%2C%20residual_risk%2C%20rationale%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(%22**Ready%20for%20the%20local%20report.**%22%20if%20complete%20else%20%22Capture%20four%20current%20contrasts%2C%20use%20the%20saved%20Part%20B%20verdict%2C%20choose%20the%20other%20tested%20design%2C%20and%20complete%20the%20limitation%2C%20trigger%2C%20and%20rationale.%22)%2C%20kind%3D%22success%22%20if%20complete%20else%20%22warn%22)%5D)%0A%20%20%20%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%22Synthesis%22%3A%20synthesis()%7D)%0A%20%20%20%20return%20(evidence_audit%2C)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20build_lab_report%2C%0A%20%20%20%20evidence_audit%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%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%20instructor%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20report_export_panel%2C%0A%20%20%20%20residual_risk%2C%0A%20%20%20%20track_id%2C%0A%20%20%20%20track_labels%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_tested_decision%20%3D%20_captures%5B%22B%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22B%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%20%3D%20evidence_audit.complete%20and%20all(w.value%20is%20not%20None%20for%20w%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger))%20and%20final_choice.value%20%3D%3D%20_tested_decision%20and%20final_choice.value%20!%3D%20final_rejected.value%20and%20bool(residual_risk.value.strip())%20and%20bool(rationale.value.strip())%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20snapshots%20%3D%20%7Bpart%3A%20_captures%5Bpart%5D.to_dict()%20for%20part%20in%20%22ABCD%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_16_ml_conclusion.py%22)%2C%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20scenario%3Df%22%7Btrack_labels%5Btrack_id%5D%7D%20cross-layer%20release%20audit%22%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%22Validate%20accumulated%20evidence%20without%20filling%20gaps%22%2C%20%22Compose%20constraints%20across%20layers%22%2C%20%22Find%20a%20boundary%20and%20test%20transfer%22%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7Bpart%3A%20snapshots%5Bpart%5D%5B%22prediction%22%5D%20for%20part%20in%20%22ABCD%22%7D%2C%0A%20%20%20%20%20%20%20%20knob_settings%3D%7Bpart%3A%20snapshots%5Bpart%5D%5B%22inputs%22%5D%20for%20part%20in%20%22ABCD%22%7D%2C%0A%20%20%20%20%20%20%20%20evidence_summary%3D%7Bpart%3A%20%7B%22baseline%22%3A%20snapshots%5Bpart%5D%5B%22baseline%22%5D%2C%20%22result%22%3A%20snapshots%5Bpart%5D%5B%22result%22%5D%2C%20%22alternatives%22%3A%20snapshots%5Bpart%5D%5B%22alternatives%22%5D%7D%20for%20part%20in%20%22ABCD%22%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7Bpart%3A%20snapshots%5Bpart%5D%5B%22result%22%5D.get(%22failed_requirements%22%2C%20%5B%5D)%20for%20part%20in%20%22BCD%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%22Missing%20evidence%20and%20failed%20constraints%20demand%20different%20responses.%22%2C%20%22A%20local%20change%20moves%20costs%20across%20the%20system.%22%2C%20%22Quality%20transfers%20only%20across%20matched%20tasks%20and%20populations.%22%5D%2C%0A%20%20%20%20%20%20%20%20reflections%3D%7B%22rationale%22%3A%20rationale.value%2C%20%22remaining_limitation%22%3A%20residual_risk.value%7D%2C%20residual_risk%3Dresidual_risk.value%2C%0A%20%20%20%20%20%20%20%20result_snapshot%3D%7B%22track%22%3A%20track_id%2C%20%22captures%22%3A%20snapshots%2C%20%22recommendation%22%3A%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%20residual_risk.value%7D%2C%0A%20%20%20%20%20%20%20%20source_trace%3D%7B%22scenario%22%3A%20instructor%5B%22scenario_assumption%22%5D%2C%20%22quality%22%3A%20instructor%5B%22quality_assumption%22%5D%7D)%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%20evidence_audit%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%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%20residual_risk%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_tested_decision%20%3D%20_captures%5B%22B%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22B%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%20%3D%20evidence_audit.complete%20and%20all(w.value%20is%20not%20None%20for%20w%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger))%20and%20final_choice.value%20%3D%3D%20_tested_decision%20and%20final_choice.value%20!%3D%20final_rejected.value%20and%20bool(residual_risk.value.strip())%20and%20bool(rationale.value.strip())%0A%20%20%20%20_saved%20%3D%20False%0A%20%20%20%20_save_error%20%3D%20None%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%3D16%2C%20design%3D%7B%22schema_version%22%3A%201%2C%20%22lab_id%22%3A%20%22v1_16%22%2C%20%22track_id%22%3A%20track_id%2C%20%22model_id%22%3A%20%22v1_16_experiments%22%2C%20%22evidence%22%3A%20%7Bpart%3A%20capture.to_dict()%20for%20part%2C%20capture%20in%20get_evidence().items()%7D%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%20residual_risk.value%2C%20%22rationale%22%3A%20rationale.value%7D)%0A%20%20%20%20%20%20%20%20%20%20%20%20await%20ledger.flush()%0A%20%20%20%20%20%20%20%20%20%20%20%20_saved%20%3D%20True%0A%20%20%20%20%20%20%20%20except%20Exception%20as%20exc%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_save_error%20%3D%20str(exc)%0A%20%20%20%20_status%20%3D%20%22SAVED%22%20if%20_saved%20else%20(f%22SAVE%20FAILED%20%C2%B7%20%7B_save_error%7D%22%20if%20_save_error%20else%20%22EVIDENCE%20IN%20PROGRESS%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%3E16%20%C2%B7%20The%20Architect%5C's%20Audit%3C%2Fspan%3E%3Cspan%20style%3D%22flex%3A1%22%3E%3C%2Fspan%3E%3Cspan%20class%3D%22hud-label%22%3ESTATUS%3C%2Fspan%3E%3Cspan%20class%3D%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