Lab 13: The Price of Privacy

Lab 13: The Price of Privacy · 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%2013%3A%20The%20Price%20of%20Privacy%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%0A%20%20%20%20if%20sys.platform%20%3D%3D%20%22emscripten%22%3A%0A%20%20%20%20%20%20%20%20import%20micropip%0A%20%20%20%20%20%20%20%20await%20micropip.install(%5B%22pydantic%22%2C%20%22pint%22%2C%20%22plotly%22%2C%20%22pandas%22%5D%2C%20keep_going%3DFalse)%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22..%2F..%2Fwheels%2Fmlsysim-0.1.2-py3-none-any.whl%22%2C%20keep_going%3DFalse)%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22..%2F..%2Fwheels%2Fmlsysbook_labs-0.1.0-py3-none-any.whl%22%2C%20keep_going%3DFalse)%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20labs_dir%20%3D%20Path(__file__).resolve().parents%5B1%5D%0A%20%20%20%20%20%20%20%20if%20str(labs_dir)%20not%20in%20sys.path%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20sys.path.insert(0%2C%20str(labs_dir))%0A%20%20%20%20%20%20%20%20from%20bootstrap%20import%20native_bootstrap%0A%20%20%20%20%20%20%20%20native_bootstrap(__file__)%0A%0A%20%20%20%20import%20plotly.graph_objects%20as%20go%0A%20%20%20%20from%20mlsysim.engine.v2_13_experiments%20import%20(%0A%20%20%20%20%20%20%20%20PrivacyEvent%2C%20compose_privacy_events%2C%20evaluate_retention%2C%0A%20%20%20%20%20%20%20%20evaluate_supplied_quality%2C%20evaluate_threat_coverage%2C%0A%20%20%20%20%20%20%20%20evaluate_trust_latency%2C%20get_deletion_artifacts%2C%0A%20%20%20%20%20%20%20%20get_privacy_epsilon_options%2C%20get_quality_observation%2C%0A%20%20%20%20%20%20%20%20get_threat_control%2C%20get_track_scenario%2C%20get_trust_mechanism%2C%0A%20%20%20%20%20%20%20%20propagate_deletion%2C%20release_bounded_mean%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysim.labs.state%20import%20DesignLedger%0A%20%20%20%20from%20mlsysim.labs.style%20import%20COLORS%2C%20LAB_CSS%2C%20apply_plotly_theme%0A%20%20%20%20from%20mlsysbook_labs%20import%20(%0A%20%20%20%20%20%20%20%20ACADEMIC_LAB_CSS%2C%20build_lab_report%2C%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysbook_labs.experiment_evidence%20import%20capture_evidence%2C%20audit_evidence%0A%0A%20%20%20%20ledger%20%3D%20DesignLedger(volume%3D%22vol2%22)%0A%20%20%20%20if%20ledger.is_wasm%3A%0A%20%20%20%20%20%20%20%20_loaded%20%3D%20await%20ledger.load_async()%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20ACADEMIC_LAB_CSS%2C%0A%20%20%20%20%20%20%20%20COLORS%2C%0A%20%20%20%20%20%20%20%20LAB_CSS%2C%0A%20%20%20%20%20%20%20%20PrivacyEvent%2C%0A%20%20%20%20%20%20%20%20apply_plotly_theme%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%20build_lab_report%2C%0A%20%20%20%20%20%20%20%20capture_evidence%2C%0A%20%20%20%20%20%20%20%20compose_privacy_events%2C%0A%20%20%20%20%20%20%20%20evaluate_retention%2C%0A%20%20%20%20%20%20%20%20evaluate_supplied_quality%2C%0A%20%20%20%20%20%20%20%20evaluate_threat_coverage%2C%0A%20%20%20%20%20%20%20%20evaluate_trust_latency%2C%0A%20%20%20%20%20%20%20%20get_deletion_artifacts%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20get_privacy_epsilon_options%2C%0A%20%20%20%20%20%20%20%20get_quality_observation%2C%0A%20%20%20%20%20%20%20%20get_threat_control%2C%0A%20%20%20%20%20%20%20%20get_track_scenario%2C%0A%20%20%20%20%20%20%20%20get_trust_mechanism%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%20propagate_deletion%2C%0A%20%20%20%20%20%20%20%20release_bounded_mean%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20get_evidence%2C%20set_evidence%20%3D%20mo.state(%7B%7D)%0A%20%20%20%20return%20get_evidence%2C%20set_evidence%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20set_evidence)%3A%0A%20%20%20%20track%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22TinyML%22%3A%20%22tinyml%22%2C%20%22Mobile%22%3A%20%22mobile%22%2C%20%22Edge%22%3A%20%22edge%22%2C%20%22Cloud%22%3A%20%22cloud%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22TinyML%22%2C%20label%3D%22Deployment%20track%22%2C%0A%20%20%20%20%20%20%20%20on_change%3Dlambda%20_value%3A%20set_evidence(%7B%7D)%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(track%2C)%0A%0A%0A%40app.cell%0Adef%20_(get_privacy_epsilon_options%2C%20get_track_scenario%2C%20track)%3A%0A%20%20%20%20track_id%20%3D%20track.value%0A%20%20%20%20scenario%20%3D%20get_track_scenario(track_id)%0A%20%20%20%20epsilon_options%20%3D%20get_privacy_epsilon_options(track_id)%0A%20%20%20%20return%20epsilon_options%2C%20scenario%2C%20track_id%0A%0A%0A%40app.cell%0Adef%20_(epsilon_options%2C%20mo%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20mechanism_choices%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22Encrypted%20transport%22%3A%20%22transport%22%2C%0A%20%20%20%20%20%20%20%20%22Secure%20aggregation%22%3A%20%22secure_aggregation%22%2C%0A%20%20%20%20%20%20%20%20%22Confidential%20runtime%22%3A%20%22confidential_runtime%22%2C%0A%20%20%20%20%20%20%20%20%22Locked%20device%22%3A%20%22locked_device%22%2C%0A%20%20%20%20%7D%0A%20%20%20%20a_control%20%3D%20mo.ui.dropdown(mechanism_choices%2C%20value%3D%22Confidential%20runtime%22%2C%20label%3D%22Defense%20architecture%22)%0A%20%20%20%20b_epsilon%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Bf%22%CE%B5%20%3D%20%7Bvalue%3Ag%7D%22%3A%20value%20for%20value%20in%20epsilon_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3Df%22%CE%B5%20%3D%20%7Bepsilon_options%5B1%5D%3Ag%7D%22%2C%20label%3D%22Demonstration%20epsilon%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_release_count%20%3D%20mo.ui.slider(2%2C%204%2C%20value%3D3%2C%20step%3D1%2C%20label%3D%22Private-data%20releases%22)%0A%20%20%20%20c_operation%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Queries%20to%20fixed%20released%20model%22%3A%20%22fixed_queries%22%2C%20%22New%20unaccounted%20fine-tuning%20access%22%3A%20%22new_private_access%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Queries%20to%20fixed%20released%20model%22%2C%20label%3D%22Follow-on%20operation%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_query_count%20%3D%20mo.ui.slider(1%2C%2010%2C%20value%3D5%2C%20step%3D1%2C%20label%3D%22Fixed-model%20queries%22)%0A%20%20%20%20d_mechanism%20%3D%20mo.ui.dropdown(mechanism_choices%2C%20value%3D%22Confidential%20runtime%22%2C%20label%3D%22Trust%20mechanism%22)%0A%20%20%20%20d_requests%20%3D%20mo.ui.slider(1%2C%2032%2C%20value%3D8%2C%20step%3D1%2C%20label%3D%22Requests%20per%20protected%20session%22)%0A%20%20%20%20e_mode%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%22Complete%20lineage%22%3A%20%22complete%22%2C%20%22Slow%20archive%22%3A%20%22slow%22%2C%20%22Untracked%20export%22%3A%20%22untracked%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Untracked%20export%22%2C%20label%3D%22Artifact-copy%20path%22%2C%0A%20%20%20%20)%0A%20%20%20%20e_retention%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7B%2212%20hours%22%3A%2012.0%2C%20%2224%20hours%22%3A%2024.0%2C%20%2272%20hours%22%3A%2072.0%2C%20%22168%20hours%22%3A%20168.0%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%2224%20hours%22%2C%20label%3D%22Incident-evidence%20retention%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_control%2C%0A%20%20%20%20%20%20%20%20b_epsilon%2C%0A%20%20%20%20%20%20%20%20c_operation%2C%0A%20%20%20%20%20%20%20%20c_query_count%2C%0A%20%20%20%20%20%20%20%20c_release_count%2C%0A%20%20%20%20%20%20%20%20d_mechanism%2C%0A%20%20%20%20%20%20%20%20d_requests%2C%0A%20%20%20%20%20%20%20%20e_mode%2C%0A%20%20%20%20%20%20%20%20e_retention%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%22Covered%22%3A%20%22covered%22%2C%20%22Not%20covered%22%3A%20%22not_covered%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Does%20the%20selected%20architecture%20cover%20the%20stated%20adversary%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%22Noise%20scale%20rises%3B%20supplied%20utility%20may%20fall%22%3A%20%22stronger_cost%22%2C%20%22Noise%20scale%20falls%3B%20supplied%20utility%20rises%22%3A%20%22reversed%22%2C%20%22Guarantee%20and%20utility%20are%20the%20same%20quantity%22%3A%20%22same%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20changes%20when%20epsilon%20is%20reduced%20from%20the%20baseline%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%22Every%20fixed-model%20query%20adds%20epsilon%22%3A%20%22queries_add%22%2C%20%22Only%20new%20DP%20releases%20add%20accounted%20epsilon%22%3A%20%22releases_add%22%2C%20%22A%20new%20private%20access%20automatically%20has%20epsilon%20zero%22%3A%20%22access_zero%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20repeated%20operations%20consume%20the%20demonstrated%20privacy%20budget%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%22Protection%20and%20deadline%20both%20pass%22%3A%20%22both%22%2C%20%22Protection%20fails%22%3A%20%22protection%22%2C%20%22Deadline%20fails%22%3A%20%22deadline%22%2C%20%22Both%20fail%22%3A%20%22both_fail%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20fails%20for%20the%20selected%20trust%20mechanism%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%22Deletion%20is%20provable%20and%20evidence%20remains%22%3A%20%22both%22%2C%20%22Deletion%20proof%20fails%22%3A%20%22deletion%22%2C%20%22Evidence%20expires%22%3A%20%22evidence%22%2C%20%22Both%20constraints%20fail%22%3A%20%22both_fail%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20is%20the%20lifecycle%20consequence%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%22Encrypted%20transport%22%3A%20%22transport%22%2C%20%22Secure%20aggregation%22%3A%20%22secure_aggregation%22%2C%20%22Confidential%20runtime%22%3A%20%22confidential_runtime%22%2C%20%22Locked%20device%22%3A%20%22locked_device%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%22Encrypted%20transport%22%3A%20%22transport%22%2C%20%22Secure%20aggregation%22%3A%20%22secure_aggregation%22%2C%20%22Confidential%20runtime%22%3A%20%22confidential_runtime%22%2C%20%22Locked%20device%22%3A%20%22locked_device%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%22Adversary%20changes%22%3A%20%22adversary%22%2C%20%22Deadline%20tightens%22%3A%20%22deadline%22%2C%20%22Another%20private%20release%20is%20proposed%22%3A%20%22privacy%22%2C%20%22A%20new%20artifact%20copy%20appears%22%3A%20%22lineage%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%22Unmodeled%20adversary%20capability%22%3A%20%22threat%22%2C%20%22Utility%20evidence%20is%20illustrative%22%3A%20%22utility%22%2C%20%22Untracked%20artifact%20copy%22%3A%20%22lineage%22%2C%20%22Production%20randomness%20and%20accountant%20remain%20external%22%3A%20%22accounting%22%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Remaining%20limitation%22%2C%0A%20%20%20%20)%0A%20%20%20%20rationale%20%3D%20mo.ui.text_area(%0A%20%20%20%20%20%20%20%20label%3D%22Decision%20rationale%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Use%20saved%20evidence%20and%20quantify%20why%20the%20rejected%20alternative%20loses.%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20final_choice%2C%20final_rejected%2C%20final_risk%2C%20final_trigger%2C%20rationale%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20PrivacyEvent%2C%0A%20%20%20%20a_control%2C%0A%20%20%20%20asdict%2C%0A%20%20%20%20b_epsilon%2C%0A%20%20%20%20c_operation%2C%0A%20%20%20%20c_query_count%2C%0A%20%20%20%20c_release_count%2C%0A%20%20%20%20compose_privacy_events%2C%0A%20%20%20%20d_mechanism%2C%0A%20%20%20%20d_requests%2C%0A%20%20%20%20e_mode%2C%0A%20%20%20%20e_retention%2C%0A%20%20%20%20epsilon_options%2C%0A%20%20%20%20evaluate_retention%2C%0A%20%20%20%20evaluate_supplied_quality%2C%0A%20%20%20%20evaluate_threat_coverage%2C%0A%20%20%20%20evaluate_trust_latency%2C%0A%20%20%20%20get_deletion_artifacts%2C%0A%20%20%20%20get_quality_observation%2C%0A%20%20%20%20get_threat_control%2C%0A%20%20%20%20get_trust_mechanism%2C%0A%20%20%20%20propagate_deletion%2C%0A%20%20%20%20release_bounded_mean%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20def%20plain(value)%3A%0A%20%20%20%20%20%20%20%20return%20asdict(value)%0A%0A%20%20%20%20def%20control_args(control)%3A%0A%20%20%20%20%20%20%20%20return%20%7B%22adversary%22%3A%20scenario.adversary%2C%20%22control%22%3A%20%7B%22name%22%3A%20control.name%2C%20%22covered_threats%22%3A%20sorted(control.covered_threats)%2C%20%22protected_boundary%22%3A%20control.protected_boundary%7D%2C%20%22required_capabilities%22%3A%20%5B%5D%7D%0A%0A%20%20%20%20a_base_control%20%3D%20get_threat_control(%22transport%22)%0A%20%20%20%20a_selected_control%20%3D%20get_threat_control(a_control.value)%0A%20%20%20%20a_base_inputs%20%3D%20control_args(a_base_control)%0A%20%20%20%20a_result_inputs%20%3D%20control_args(a_selected_control)%0A%20%20%20%20a_base%20%3D%20%7B%22inputs%22%3A%20a_base_inputs%2C%20%22output%22%3A%20plain(evaluate_threat_coverage(scenario.adversary%2C%20a_base_control))%7D%0A%20%20%20%20a_result%20%3D%20%7B%22inputs%22%3A%20a_result_inputs%2C%20%22output%22%3A%20plain(evaluate_threat_coverage(scenario.adversary%2C%20a_selected_control))%7D%0A%0A%20%20%20%20baseline_epsilon%20%3D%20epsilon_options%5B-1%5D%0A%20%20%20%20release_common%20%3D%20%7B%22values%22%3A%20list(scenario.bounded_values)%2C%20%22lower_bound%22%3A%20scenario.lower_bound%2C%20%22upper_bound%22%3A%20scenario.upper_bound%2C%20%22release_id%22%3A%20f%22%7Btrack_id%7D-mean-release%22%2C%20%22seed%22%3A%2013%2C%20%22clip_output%22%3A%20True%7D%0A%20%20%20%20b_base_release_args%20%3D%20%7B**release_common%2C%20%22epsilon%22%3A%20baseline_epsilon%7D%0A%20%20%20%20b_result_release_args%20%3D%20%7B**release_common%2C%20%22epsilon%22%3A%20b_epsilon.value%7D%0A%20%20%20%20b_base_observation%20%3D%20get_quality_observation(track_id%2C%20baseline_epsilon)%0A%20%20%20%20b_result_observation%20%3D%20get_quality_observation(track_id%2C%20b_epsilon.value)%0A%20%20%20%20b_base_inputs%20%3D%20%7B%22release_bounded_mean%22%3A%20b_base_release_args%2C%20%22evaluate_supplied_quality%22%3A%20%7B%22observation%22%3A%20plain(b_base_observation)%7D%7D%0A%20%20%20%20b_result_inputs%20%3D%20%7B%22release_bounded_mean%22%3A%20b_result_release_args%2C%20%22evaluate_supplied_quality%22%3A%20%7B%22observation%22%3A%20plain(b_result_observation)%7D%7D%0A%20%20%20%20b_base_release%20%3D%20release_bounded_mean(**b_base_release_args)%0A%20%20%20%20b_result_release%20%3D%20release_bounded_mean(**b_result_release_args)%0A%20%20%20%20b_base_quality%20%3D%20evaluate_supplied_quality(b_base_observation)%0A%20%20%20%20b_result_quality%20%3D%20evaluate_supplied_quality(b_result_observation)%0A%20%20%20%20b_base%20%3D%20%7B%22inputs%22%3A%20b_base_inputs%2C%20%22output%22%3A%20%7B%22release%22%3A%20plain(b_base_release)%2C%20%22quality%22%3A%20plain(b_base_quality)%7D%7D%0A%20%20%20%20b_result%20%3D%20%7B%22inputs%22%3A%20b_result_inputs%2C%20%22output%22%3A%20%7B%22release%22%3A%20plain(b_result_release)%2C%20%22quality%22%3A%20plain(b_result_quality)%7D%7D%0A%0A%20%20%20%20c_base_events%20%3D%20%5BPrivacyEvent(%22release-1%22%2C%20%22dp_release%22%2C%20epsilon%3Db_epsilon.value)%5D%0A%20%20%20%20c_result_events%20%3D%20%5BPrivacyEvent(f%22release-%7Bindex%7D%22%2C%20%22dp_release%22%2C%20epsilon%3Db_epsilon.value)%20for%20index%20in%20range(1%2C%20c_release_count.value%20%2B%201)%5D%0A%20%20%20%20if%20c_operation.value%20%3D%3D%20%22fixed_queries%22%3A%0A%20%20%20%20%20%20%20%20c_result_events.extend(PrivacyEvent(f%22query-%7Bindex%7D%22%2C%20%22fixed_model_query%22%2C%20source_release_id%3D%22release-1%22)%20for%20index%20in%20range(1%2C%20c_query_count.value%20%2B%201))%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20c_result_events.append(PrivacyEvent(%22new-fine-tune%22%2C%20%22new_private_data_access%22))%0A%20%20%20%20c_base_inputs%20%3D%20%7B%22events%22%3A%20%5Bplain(event)%20for%20event%20in%20c_base_events%5D%7D%0A%20%20%20%20c_result_inputs%20%3D%20%7B%22events%22%3A%20%5Bplain(event)%20for%20event%20in%20c_result_events%5D%7D%0A%20%20%20%20c_base%20%3D%20%7B%22inputs%22%3A%20c_base_inputs%2C%20%22output%22%3A%20plain(compose_privacy_events(c_base_events))%7D%0A%20%20%20%20c_result%20%3D%20%7B%22inputs%22%3A%20c_result_inputs%2C%20%22output%22%3A%20plain(compose_privacy_events(c_result_events))%7D%0A%0A%20%20%20%20def%20mechanism_args(mechanism)%3A%0A%20%20%20%20%20%20%20%20return%20%7B%22mechanism%22%3A%20%7B%22name%22%3A%20mechanism.name%2C%20%22protected_threats%22%3A%20sorted(mechanism.protected_threats)%2C%20%22fixed_overhead_ms%22%3A%20mechanism.fixed_overhead_ms%2C%20%22per_request_overhead_ms%22%3A%20mechanism.per_request_overhead_ms%7D%2C%20%22adversary%22%3A%20scenario.adversary%2C%20%22base_latency_ms%22%3A%20scenario.base_latency_ms%2C%20%22requests_per_session%22%3A%20d_requests.value%2C%20%22deadline_ms%22%3A%20scenario.deadline_ms%7D%0A%0A%20%20%20%20d_base_mechanism%20%3D%20get_trust_mechanism(%22transport%22)%0A%20%20%20%20d_selected_mechanism%20%3D%20get_trust_mechanism(d_mechanism.value)%0A%20%20%20%20d_base_inputs%20%3D%20mechanism_args(d_base_mechanism)%0A%20%20%20%20d_result_inputs%20%3D%20mechanism_args(d_selected_mechanism)%0A%20%20%20%20d_base%20%3D%20%7B%22inputs%22%3A%20d_base_inputs%2C%20%22output%22%3A%20plain(evaluate_trust_latency(d_base_mechanism%2C%20adversary%3Dscenario.adversary%2C%20base_latency_ms%3Dscenario.base_latency_ms%2C%20requests_per_session%3Dd_requests.value%2C%20deadline_ms%3Dscenario.deadline_ms))%7D%0A%20%20%20%20d_result%20%3D%20%7B%22inputs%22%3A%20d_result_inputs%2C%20%22output%22%3A%20plain(evaluate_trust_latency(d_selected_mechanism%2C%20adversary%3Dscenario.adversary%2C%20base_latency_ms%3Dscenario.base_latency_ms%2C%20requests_per_session%3Dd_requests.value%2C%20deadline_ms%3Dscenario.deadline_ms))%7D%0A%20%20%20%20d_alternatives%20%3D%20%5B%5D%0A%20%20%20%20for%20mechanism_id%20in%20(%22transport%22%2C%20%22secure_aggregation%22%2C%20%22confidential_runtime%22%2C%20%22locked_device%22)%3A%0A%20%20%20%20%20%20%20%20mechanism%20%3D%20get_trust_mechanism(mechanism_id)%0A%20%20%20%20%20%20%20%20arguments%20%3D%20mechanism_args(mechanism)%0A%20%20%20%20%20%20%20%20evaluated%20%3D%20evaluate_trust_latency(mechanism%2C%20adversary%3Dscenario.adversary%2C%20base_latency_ms%3Dscenario.base_latency_ms%2C%20requests_per_session%3Dd_requests.value%2C%20deadline_ms%3Dscenario.deadline_ms)%0A%20%20%20%20%20%20%20%20d_alternatives.append(%7B%22mechanism_id%22%3A%20mechanism_id%2C%20%22inputs%22%3A%20arguments%2C%20%22output%22%3A%20plain(evaluated)%7D)%0A%0A%20%20%20%20def%20lifecycle(mode%2C%20retention_hours)%3A%0A%20%20%20%20%20%20%20%20artifacts%20%3D%20get_deletion_artifacts(track_id%2C%20mode)%0A%20%20%20%20%20%20%20%20deletion_inputs%20%3D%20%7B%22artifacts%22%3A%20%5Bplain(artifact)%20for%20artifact%20in%20artifacts%5D%2C%20%22source_artifact_id%22%3A%20artifacts%5B0%5D.artifact_id%2C%20%22deletion_sla_hours%22%3A%20scenario.deletion_sla_hours%7D%0A%20%20%20%20%20%20%20%20retention_inputs%20%3D%20%7B%22evidence%22%3A%20%5Bplain(event)%20for%20event%20in%20scenario.incident_evidence%5D%2C%20%22retention_hours%22%3A%20retention_hours%7D%0A%20%20%20%20%20%20%20%20deletion%20%3D%20propagate_deletion(artifacts%2C%20source_artifact_id%3Dartifacts%5B0%5D.artifact_id%2C%20deletion_sla_hours%3Dscenario.deletion_sla_hours)%0A%20%20%20%20%20%20%20%20retention%20%3D%20evaluate_retention(scenario.incident_evidence%2C%20retention_hours%3Dretention_hours)%0A%20%20%20%20%20%20%20%20return%20%7B%22inputs%22%3A%20%7B%22propagate_deletion%22%3A%20deletion_inputs%2C%20%22evaluate_retention%22%3A%20retention_inputs%7D%2C%20%22output%22%3A%20%7B%22deletion%22%3A%20plain(deletion)%2C%20%22retention%22%3A%20plain(retention)%7D%7D%0A%0A%20%20%20%20e_base%20%3D%20lifecycle(%22complete%22%2C%20168.0)%0A%20%20%20%20e_result%20%3D%20lifecycle(e_mode.value%2C%20e_retention.value)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_base%2C%0A%20%20%20%20%20%20%20%20a_result%2C%0A%20%20%20%20%20%20%20%20b_base%2C%0A%20%20%20%20%20%20%20%20b_result%2C%0A%20%20%20%20%20%20%20%20c_base%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_base%2C%0A%20%20%20%20%20%20%20%20d_result%2C%0A%20%20%20%20%20%20%20%20e_base%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%20a_base%2C%0A%20%20%20%20a_control%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20b_base%2C%0A%20%20%20%20b_epsilon%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20c_base%2C%0A%20%20%20%20c_operation%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20d_alternatives%2C%0A%20%20%20%20d_base%2C%0A%20%20%20%20d_mechanism%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_requests%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%20e_base%2C%0A%20%20%20%20e_mode%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_result%2C%0A%20%20%20%20e_retention%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20set_evidence%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20def%20store(part%2C%20capture)%3A%0A%20%20%20%20%20%20%20%20set_evidence(lambda%20current%3A%20%7B**current%2C%20part%3A%20capture%7D)%0A%0A%20%20%20%20a_upstream%2C%20b_upstream%2C%20d_upstream%2C%20e_upstream%20%3D%20%7B%7D%2C%20%7B%7D%2C%20%7B%7D%2C%20%7B%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22epsilon%22%3A%20b_epsilon.value%7D%0A%20%20%20%20a_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20boundary%20comparison%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Da_prediction.value%20is%20None%20or%20a_control.value%20%3D%3D%20%22transport%22%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22A%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22A%22%2C%20prediction%3Da_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22selected_control%22%3A%20a_control.value%7D%2C%20baseline%3Da_base%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Da_result%2C%20upstream_inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Da_control.value%2C%20model_key%3D%22v2_13_experiments.threat_coverage%22%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%20privacy%20and%20utility%20contrast%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Db_prediction.value%20is%20None%20or%20b_base%5B%22inputs%22%5D%20%3D%3D%20b_result%5B%22inputs%22%5D%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22B%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22B%22%2C%20prediction%3Db_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22selected_epsilon%22%3A%20b_epsilon.value%7D%2C%20baseline%3Db_base%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Db_result%2C%20upstream_inputs%3Db_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(b_base%2C%20b_result)%2C%20decision%3Db_epsilon.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_13_experiments.bounded_mean%22%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%20composition%20history%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dc_prediction.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22C%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22C%22%2C%20prediction%3Dc_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22operation%22%3A%20c_operation.value%7D%2C%20baseline%3Dc_base%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20result%3Dc_result%2C%20upstream_inputs%3Dc_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dc_operation.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_13_experiments.privacy_composition%22%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%20trust%20deadline%20comparison%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dd_prediction.value%20is%20None%20or%20d_mechanism.value%20%3D%3D%20%22transport%22%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_v%3A%20store(%22D%22%2C%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20part%3D%22D%22%2C%20prediction%3Dd_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22mechanism%22%3A%20d_mechanism.value%2C%20%22requests_per_session%22%3A%20d_requests.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dd_base%2C%20result%3Dd_result%2C%20upstream_inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3Dtuple(d_alternatives)%2C%20decision%3Dd_mechanism.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_13_experiments.trust_latency%22%2C%0A%20%20%20%20%20%20%20%20))%2C%0A%20%20%20%20)%0A%20%20%20%20e_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20lifecycle%20comparison%22%2C%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3De_prediction.value%20is%20None%20or%20e_base%5B%22inputs%22%5D%20%3D%3D%20e_result%5B%22inputs%22%5D%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%0A%20%20%20%20%20%20%20%20%20%20%20%20inputs%3D%7B%22copy_mode%22%3A%20e_mode.value%2C%20%22retention_hours%22%3A%20e_retention.value%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20baseline%3De_base%2C%20result%3De_result%2C%20upstream_inputs%3De_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20decision%3De_mode.value%2C%20model_key%3D%22v2_13_experiments.lifecycle%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%20scenario%2C%20track)%3A%0A%20%20%20%20css%20%3D%20mo.Html(%22%22%22%0A%20%20%20%20%3Cstyle%3E%0A%20%20%20%20.pilot-head%7Bbackground%3Alinear-gradient(135deg%2C%23101827%2C%231d4f78)%3Bcolor%3Awhite%3Bborder-radius%3A14px%3Bpadding%3Aclamp(18px%2C4vw%2C32px)%3Bmargin%3A30px%200%2014px%7D%0A%20%20%20%20.pilot-top%7Bdisplay%3Aflex%3Bjustify-content%3Aspace-between%3Bgap%3A8px%3Bflex-wrap%3Awrap%3Bfont%3A700%20.72rem%20ui-monospace%3Bletter-spacing%3A.08em%7D%0A%20%20%20%20.pilot-head%20h1%7Bfont-size%3Aclamp(1.65rem%2C5vw%2C2.65rem)%3Bline-height%3A1.05%3Bmargin%3A16px%200%208px%7D.pilot-head%20p%7Bcolor%3A%23dbeafe%3Bmax-width%3A780px%7D%0A%20%20%20%20.pilot-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(170px%2C1fr))%3Bgap%3A9px%3Bmargin-top%3A17px%7D.pilot-meta%20div%7Bbackground%3A%23ffffff14%3Bborder%3A1px%20solid%20%23ffffff26%3Bpadding%3A9px%2011px%3Bborder-radius%3A8px%7D%0A%20%20%20%20.pilot-note%7Bcolor%3A%23475569%3Bfont-size%3A.9rem%3Bline-height%3A1.5%3Bmargin%3A0%3Bpadding%3A0%202px%7D.saved%7Bborder-left%3A4px%20solid%20%232ca02c%3Bbackground%3A%23f0fdf4%3Bpadding%3A9px%2012px%3Bborder-radius%3A7px%7D%0A%20%20%20%20.lab-hud%7Bdisplay%3Aflex%3Balign-items%3Acenter%3Bflex-wrap%3Awrap%3Bgap%3A10px%3Bbackground%3A%23101827!important%3Bcolor%3A%23fff%3Bpadding%3A14px%2018px%3Bborder-radius%3A9px%7D.lab-hud%20.hud-label%7Bcolor%3A%23a7b9cf%7D.lab-hud%20.hud-value%7Bcolor%3A%23fff%7D.lab-hud%20.hud-active%7Bcolor%3A%2386efac%7D%0A%20%20%20%20%40media(max-width%3A520px)%7B.pilot-head%7Bborder-radius%3A9px%7D.pilot-meta%7Bgrid-template-columns%3A1fr%7D%7D%0A%20%20%20%20%3C%2Fstyle%3E%22%22%22)%0A%20%20%20%20roles_html%20%3D%20f%22%3Cdiv%3E%3Cb%3EFleet%20roles%3C%2Fb%3E%3Cbr%3E%7B'%20%E2%86%92%20'.join(scenario.fleet_roles)%7D%3C%2Fdiv%3E%22%20if%20getattr(scenario%2C%20%22fleet_roles%22%2C%20None)%20else%20%22%22%0A%20%20%20%20locus_html%20%3D%20f%22%3Cdiv%3E%3Cb%3EAttack%20locus%3C%2Fb%3E%3Cbr%3E%7Bscenario.adversary_locus%7D%3C%2Fdiv%3E%22%20if%20getattr(scenario%2C%20%22adversary_locus%22%2C%20None)%20else%20%22%22%0A%20%20%20%20header%20%3D%20mo.Html(f%22%22%22%3Csection%20class%3D%22pilot-head%22%3E%3Cdiv%20class%3D%22pilot-top%22%3E%3Cspan%3EVOLUME%20II%20%C2%B7%20LAB%2013%3C%2Fspan%3E%3Cspan%3EABOUT%2050%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%3Ch1%3EThe%20Price%20of%20Privacy%3C%2Fh1%3E%3Cp%3EWhich%20protection%20can%20this%20fleet%20defend%20when%20threat%20coverage%2C%20privacy%20guarantee%2C%20utility%2C%20latency%2C%20and%20lifecycle%20evidence%20are%20judged%20separately%3F%3C%2Fp%3E%3Cdiv%20class%3D%22pilot-meta%22%3E%3Cdiv%3E%3Cb%3ETrack%3C%2Fb%3E%3Cbr%3E%7Bscenario.label%7D%3C%2Fdiv%3E%3Cdiv%3E%3Cb%3EAdversary%3C%2Fb%3E%3Cbr%3E%7Bscenario.adversary.replace('_'%2C%20'%20')%7D%3C%2Fdiv%3E%7Broles_html%7D%7Blocus_html%7D%3Cdiv%3E%3Cb%3EDeliverable%3C%2Fb%3E%3Cbr%3ESecurity%20and%20privacy%20release%20memo%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%0A%20%20%20%20%20%20%20%20mo.Html('%3Cp%20class%3D%22pilot-note%22%3EAll%20workloads%2C%20outcome%20counts%2C%20overheads%2C%20and%20copy%20paths%20are%20illustrative%20scenarios.%20Seeded%20Laplace%20draws%20make%20the%20exercise%20replayable%3B%20a%20deterministic%20public%20seed%20is%20predictable%20and%20is%20not%20production%20release%20randomness.%20This%20lab%20does%20not%20implement%20a%20DP-SGD%20accountant.%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_base%2C%0A%20%20%20%20a_capture%2C%0A%20%20%20%20a_control%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20a_upstream%2C%0A%20%20%20%20apply_plotly_theme%2C%0A%20%20%20%20audit_evidence%2C%0A%20%20%20%20b_base%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_epsilon%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%20c_base%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_operation%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_query_count%2C%0A%20%20%20%20c_release_count%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20d_alternatives%2C%0A%20%20%20%20d_base%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_mechanism%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_requests%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%20d_upstream%2C%0A%20%20%20%20e_base%2C%0A%20%20%20%20e_capture%2C%0A%20%20%20%20e_mode%2C%0A%20%20%20%20e_prediction%2C%0A%20%20%20%20e_result%2C%0A%20%20%20%20e_retention%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%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%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%3Dupstream%2C%0A%20%20%20%20%20%20%20%20contrast_required_parts%3Dtuple(%22ABCDE%22)%2C%0A%20%20%20%20)%0A%0A%20%20%20%20def%20table(rows)%3A%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.ui.table(rows%2C%20pagination%3DFalse)%5D).style(%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%20capture%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20if%20capture%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22No%20saved%20evidence%20for%20this%20part.%22)%2C%20kind%3D%22warn%22)%0A%20%20%20%20%20%20%20%20if%20part%20in%20audit.stale%20or%20(part%2C%20part)%20in%20audit.identical_pairs%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.callout(mo.md(%22**STALE%20OR%20NON-CONTRASTING%20EVIDENCE.**%20Recapture%20after%20reviewing%20the%20changed%20dependency.%22)%2C%20kind%3D%22danger%22)%0A%20%20%20%20%20%20%20%20data%20%3D%20capture.to_dict()%0A%20%20%20%20%20%20%20%20return%20mo.Html(f'%3Cdiv%20class%3D%22saved%22%3E%3Cb%3ESaved%20snapshot%3C%2Fb%3E%20%C2%B7%20original%20prediction%3A%20%7Bdata%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ETrack%20%7Bdata%5B%22track%22%5D%7D%3B%20later%20control%20changes%20do%20not%20rewrite%20this%20record.%3C%2Fsmall%3E%3C%2Fdiv%3E')%0A%0A%20%20%20%20def%20build_part_a()%3A%0A%20%20%20%20%20%20%20%20locus_text%20%3D%20f%22%20attacking%20at%20**%7Bscenario.adversary_locus%7D**%22%20if%20getattr(scenario%2C%20%22adversary_locus%22%2C%20None)%20else%20%22%22%0A%20%20%20%20%20%20%20%20roles_text%20%3D%20f%22%5Cn%5Cn**Fleet%20topology%3A**%20%7B'%20%E2%86%92%20'.join(scenario.fleet_roles)%7D.%22%20if%20getattr(scenario%2C%20%22fleet_roles%22%2C%20None)%20else%20%22%22%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(f%22%23%23%23%20A%20%C2%B7%20Which%20boundary%20does%20the%20defense%20protect%3F%20(8%20min)%5CnThe%20stated%20adversary%20is%20**%7Bscenario.adversary.replace('_'%2C%20'%20')%7D**%7Blocus_text%7D.%7Broles_text%7D%5Cn%5Cn*Where%20mechanisms%20run%3A*%20In%20distributed%20and%20edge%20fleets%20(including%20TinyML)%2C%20mechanisms%20run%20at%20specific%20tiers.%20Locked%20device%20execution%20protects%20the%20device%20hardware%2FMCU%3B%20encrypted%20transport%20protects%20network%20links%3B%20secure%20aggregation%20and%20confidential%20runtimes%20protect%20aggregation%20gateways%20or%20backend%20servers.%20Compare%20encrypted%20transport%20with%20one%20selected%20architecture%20before%20deciding%20whether%20the%20relevant%20boundary%20is%20covered.%22)%0A%20%20%20%20%20%20%20%20if%20a_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20a_control%2C%20a_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Architecture%22%3A%20a_base%5B%22output%22%5D%5B%22control_name%22%5D%2C%20%22Execution%20tier%22%3A%20a_base%5B%22output%22%5D.get(%22execution_tier%22%2C%20%22Transit%22)%2C%20%22Boundary%22%3A%20a_base%5B%22output%22%5D%5B%22protected_boundary%22%5D%2C%20%22Adversary%20covered%22%3A%20%22YES%22%20if%20a_base%5B%22output%22%5D%5B%22covered%22%5D%20else%20%22NO%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Architecture%22%3A%20a_result%5B%22output%22%5D%5B%22control_name%22%5D%2C%20%22Execution%20tier%22%3A%20a_result%5B%22output%22%5D.get(%22execution_tier%22%2C%20%22Specified%20tier%22)%2C%20%22Boundary%22%3A%20a_result%5B%22output%22%5D%5B%22protected_boundary%22%5D%2C%20%22Adversary%20covered%22%3A%20%22YES%22%20if%20a_result%5B%22output%22%5D%5B%22covered%22%5D%20else%20%22NO%22%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20a_control%2C%20a_prediction%2C%20table(rows)%2C%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Ba_prediction.value%7D.%20**Observed%20categorical%20result%3A**%20%7Ba_result%5B'output'%5D%5B'control_name'%5D%7D%20(%7Ba_result%5B'output'%5D.get('execution_tier'%2C%20'')%7D)%20%7B'covers'%20if%20a_result%5B'output'%5D%5B'covered'%5D%20else%20'does%20not%20cover'%7D%20the%20stated%20adversary%20at%20the%20**%7Ba_result%5B'output'%5D%5B'protected_boundary'%5D%7D**%20boundary.%22)%2C%20kind%3D%22success%22%20if%20a_result%5B%22output%22%5D%5B%22covered%22%5D%20else%20%22danger%22)%2C%20a_capture%2C%20saved(%22A%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Coverage%20is%20set%20membership%20against%20an%20explicit%20adversary%20capability.%20Mechanisms%20running%20at%20gateway%20or%20backend%20tiers%20(such%20as%20secure%20aggregation%20or%20confidential%20VMs)%20cannot%20protect%20an%20MCU%20against%20an%20attacker%20with%20physical%20device%20possession.%20Latency%20cannot%20improve%20or%20weaken%20this%20categorical%20result.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_part_b()%3A%0A%20%20%20%20%20%20%20%20units%20%3D%20getattr(scenario%2C%20%22metric_units%22%2C%20%22%22)%20or%20%22units%22%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(f%22%23%23%23%20B%20%C2%B7%20What%20utility%20survives%20stronger%20privacy%3F%20(10%20min)%5CnCompare%20two%20releases%20of%20the%20same%20bounded%20mean%20in%20**%7Bunits%7D**%20under%20fixed-size%20replace-one%20adjacency.%20Quality%20counts%20are%20supplied%20illustrative%20outcomes%20for%20a%20matched%20task%3B%20they%20are%20not%20calculated%20from%20epsilon%2C%20nor%20do%20they%20claim%20legal%20compliance.%22)%0A%20%20%20%20%20%20%20%20if%20b_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20b_epsilon%2C%20b_prediction%5D)%0A%20%20%20%20%20%20%20%20base_release%20%3D%20b_base%5B%22output%22%5D%5B%22release%22%5D%0A%20%20%20%20%20%20%20%20result_release%20%3D%20b_result%5B%22output%22%5D%5B%22release%22%5D%0A%20%20%20%20%20%20%20%20base_quality%20%3D%20b_base%5B%22output%22%5D%5B%22quality%22%5D%0A%20%20%20%20%20%20%20%20result_quality%20%3D%20b_result%5B%22output%22%5D%5B%22quality%22%5D%0A%20%20%20%20%20%20%20%20fig%20%3D%20go.Figure(%5Bgo.Bar(name%3D%22Laplace%20scale%22%2C%20x%3D%5Bf%22%CE%B5%3D%7Bbase_release%5B'epsilon'%5D%3Ag%7D%22%2C%20f%22%CE%B5%3D%7Bresult_release%5B'epsilon'%5D%3Ag%7D%22%5D%2C%20y%3D%5Bbase_release%5B%22laplace_scale%22%5D%2C%20result_release%5B%22laplace_scale%22%5D%5D%2C%20marker_color%3DCOLORS%5B%22BlueLine%22%5D)%5D)%0A%20%20%20%20%20%20%20%20fig.update_layout(height%3D260%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D25%2C%20b%3D20)%2C%20yaxis_title%3Df%22Laplace%20scale%20(%7Bunits%7D)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Case%22%3A%20%22Baseline%22%2C%20%22Task%22%3A%20base_quality%5B%22task%22%5D%2C%20%22Epsilon%22%3A%20base_release%5B%22epsilon%22%5D%2C%20%22Sensitivity%22%3A%20f%22%7Bbase_release%5B'sensitivity'%5D%3A.4g%7D%20%7Bunits%7D%22%2C%20%22Noise%20scale%22%3A%20f%22%7Bbase_release%5B'laplace_scale'%5D%3A.4g%7D%20%7Bunits%7D%22%2C%20%22Supplied%20correct%22%3A%20f%22%7Bbase_quality%5B'correct'%5D%7D%2F%7Bbase_quality%5B'evaluated'%5D%7D%22%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Case%22%3A%20%22Selected%22%2C%20%22Task%22%3A%20result_quality%5B%22task%22%5D%2C%20%22Epsilon%22%3A%20result_release%5B%22epsilon%22%5D%2C%20%22Sensitivity%22%3A%20f%22%7Bresult_release%5B'sensitivity'%5D%3A.4g%7D%20%7Bunits%7D%22%2C%20%22Noise%20scale%22%3A%20f%22%7Bresult_release%5B'laplace_scale'%5D%3A.4g%7D%20%7Bunits%7D%22%2C%20%22Supplied%20correct%22%3A%20f%22%7Bresult_quality%5B'correct'%5D%7D%2F%7Bresult_quality%5B'evaluated'%5D%7D%22%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20b_epsilon%2C%20b_prediction%2C%20apply_plotly_theme(fig)%2C%20table(rows)%2C%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bb_prediction.value%7D.%20The%20guarantee%20calculation%20yields%20scale%20**%7Bbase_release%5B'laplace_scale'%5D%3A.4g%7D%20%E2%86%92%20%7Bresult_release%5B'laplace_scale'%5D%3A.4g%7D%20%7Bunits%7D**.%20The%20separate%20supplied%20evaluation%20for%20*%7Bresult_quality%5B'task'%5D%7D*%20yields%20**%7Bbase_quality%5B'correct'%5D%7D%2F%7Bbase_quality%5B'evaluated'%5D%7D%20%E2%86%92%20%7Bresult_quality%5B'correct'%5D%7D%2F%7Bresult_quality%5B'evaluated'%5D%7D**%20correct.%22)%2C%20kind%3D%22info%22)%2C%20mo.callout(mo.md(%22The%20shown%20draw%20uses%20a%20deterministic%20public%20seed%20for%20replay.%20Predictable%20randomness%20is%20unsuitable%20for%20a%20production%20privacy-preserving%20release.%20No%20legal%20compliance%20is%20claimed.%22)%2C%20kind%3D%22warn%22)%2C%20b_capture%2C%20saved(%22B%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(f%22For%20public%20bounds%20%5BL%2C%20U%5D%20and%20n%20fixed%20records%2C%20replace-one%20mean%20sensitivity%20is%20(U%20%E2%88%92%20L)%2Fn%20in%20%7Bunits%7D.%20The%20Laplace%20scale%20is%20sensitivity%2Fepsilon.%20Output%20clipping%20is%20postprocessing%20and%20does%20not%20change%20epsilon.%20Quality%20counts%20are%20illustrative%20scenario%20fixtures%2C%20not%20empirical%20compliance%20benchmarks.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_part_c()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(f%22%23%23%23%20C%20%C2%B7%20Which%20repeated%20operations%20consume%20privacy%20budget%3F%20(9%20min)%5CnIn%20the%20%7Bscenario.label%7D%2C%20training%20privacy%20and%20retraining%20mechanisms%20run%20at%20the%20aggregation%20gateway%20or%20backend%20service%2C%20while%20client%20devices%20perform%20inference.%20Start%20with%20one%20explicit%20DP%20release%20(e.g.%2C%20federated%20round%20or%20telemetry%20release)%2C%20then%20compare%20multiple%20new%20releases%20with%20either%20fixed-model%20queries%20(client%20inference)%20or%20a%20new%20unaccounted%20private-data%20access%20(backend%20retraining).%22)%0A%20%20%20%20%20%20%20%20operation_control%20%3D%20c_query_count%20if%20c_operation.value%20%3D%3D%20%22fixed_queries%22%20else%20mo.md(%22The%20new%20fine-tuning%20access%20has%20no%20tested%20accountant%20in%20this%20exercise.%22)%0A%20%20%20%20%20%20%20%20if%20c_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20c_operation%2C%20c_release_count%2C%20operation_control%2C%20c_prediction%5D)%0A%20%20%20%20%20%20%20%20result%20%3D%20c_result%5B%22output%22%5D%0A%20%20%20%20%20%20%20%20fig%20%3D%20go.Figure(%5Bgo.Bar(x%3D%5B%22One%20release%22%2C%20%22Follow-on%20history%22%5D%2C%20y%3D%5Bc_base%5B%22output%22%5D%5B%22total_epsilon%22%5D%2C%20result%5B%22total_epsilon%22%5D%5D%2C%20marker_color%3D%5BCOLORS%5B%22BlueLine%22%5D%2C%20COLORS%5B%22OrangeLine%22%5D%5D)%5D)%0A%20%20%20%20%20%20%20%20fig.update_layout(height%3D250%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Composed%20epsilon%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Accounted%20releases%22%3A%20result%5B%22accounted_release_count%22%5D%2C%20%22Zero-additional-loss%20operations%22%3A%20result%5B%22zero_additional_training_loss_count%22%5D%2C%20%22Unaccounted%20private%20accesses%22%3A%20result%5B%22unguaranteed_private_access_count%22%5D%2C%20%22Guarantee%20complete%22%3A%20%22YES%22%20if%20result%5B%22guarantee_complete%22%5D%20else%20%22NO%22%7D%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20mo.hstack(%5Bc_operation%2C%20c_release_count%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20operation_control%2C%20c_prediction%2C%20apply_plotly_theme(fig)%2C%20table(rows)%2C%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bc_prediction.value%7D.%20Basic%20sequential%20composition%20gives%20**%CE%B5%20%3D%20%7Bresult%5B'total_epsilon'%5D%3A.3g%7D**.%20Fixed%20released-model%20queries%20add%20zero%20training%20privacy%20loss%3B%20an%20unaccounted%20new%20private-data%20access%20makes%20the%20claimed%20guarantee%20incomplete.%22)%2C%20kind%3D%22success%22%20if%20result%5B%22guarantee_complete%22%5D%20else%20%22danger%22)%2C%20c_capture%2C%20saved(%22C%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Basic%20sequential%20composition%20sums%20epsilon%20across%20explicit%20DP%20releases.%20Postprocessing%20and%20queries%20of%20a%20fixed%20released%20DP%20model%20do%20not%20revisit%20private%20training%20data.%20This%20statement%20concerns%20training%20privacy%20loss%3B%20it%20does%20not%20dismiss%20model-extraction%20risk%2C%20nor%20does%20it%20constitute%20a%20legal%20privacy%20guarantee.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_part_d()%3A%0A%20%20%20%20%20%20%20%20path_text%20%3D%20f%22%20across%20**%7Bscenario.path_description%7D**%22%20if%20getattr(scenario%2C%20%22path_description%22%2C%20None)%20else%20%22%22%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(f%22%23%23%23%20D%20%C2%B7%20Which%20trust%20mechanism%20meets%20the%20deadline%3F%20(9%20min)%5CnThe%20fleet%20request%20path%7Bpath_text%7D%20starts%20at%20**%7Bscenario.base_latency_ms%3Ag%7D%20ms**%20and%20must%20finish%20by%20**%7Bscenario.deadline_ms%3Ag%7D%20ms**.%20Protection%20scope%20(at%20the%20mechanism's%20execution%20tier)%20and%20runtime%20deadline%20are%20independent%20checks.%22)%0A%20%20%20%20%20%20%20%20if%20d_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20d_mechanism%2C%20d_requests%2C%20d_prediction%5D)%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%7B%22Mechanism%22%3A%20alternative%5B%22output%22%5D%5B%22mechanism_name%22%5D%2C%20%22Execution%20tier%22%3A%20alternative%5B%22output%22%5D.get(%22execution_tier%22%2C%20%22Fleet%20tier%22)%2C%20%22Protected%22%3A%20%22YES%22%20if%20alternative%5B%22output%22%5D%5B%22protected%22%5D%20else%20%22NO%22%2C%20%22Latency%22%3A%20f%22%7Balternative%5B'output'%5D%5B'total_latency_ms'%5D%3A.2f%7D%20ms%22%2C%20%22Deadline%22%3A%20%22PASS%22%20if%20alternative%5B%22output%22%5D%5B%22meets_deadline%22%5D%20else%20%22FAIL%22%7D%20for%20alternative%20in%20d_alternatives%5D%0A%20%20%20%20%20%20%20%20fig%20%3D%20go.Figure(%5Bgo.Bar(x%3D%5B%22Baseline%22%2C%20%22Selected%22%5D%2C%20y%3D%5Bd_base%5B%22output%22%5D%5B%22total_latency_ms%22%5D%2C%20d_result%5B%22output%22%5D%5B%22total_latency_ms%22%5D%5D%2C%20marker_color%3D%5BCOLORS%5B%22BlueLine%22%5D%2C%20COLORS%5B%22OrangeLine%22%5D%5D)%5D)%0A%20%20%20%20%20%20%20%20fig.add_hline(y%3Dscenario.deadline_ms%2C%20line_dash%3D%22dash%22%2C%20annotation_text%3D%22Deadline%22)%0A%20%20%20%20%20%20%20%20fig.update_layout(height%3D250%2C%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%20yaxis_title%3D%22Request%20latency%20(ms)%22%2C%20showlegend%3DFalse)%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20mo.hstack(%5Bd_mechanism%2C%20d_requests%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20d_prediction%2C%20apply_plotly_theme(fig)%2C%20table(rows)%2C%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Bd_prediction.value%7D.%20Selected%20mechanism%20protection%3A%20**%7B'PASS'%20if%20d_result%5B'output'%5D%5B'protected'%5D%20else%20'FAIL'%7D**%20(%7Bd_result%5B'output'%5D.get('execution_tier'%2C%20'')%7D).%20Deadline%3A%20**%7B'PASS'%20if%20d_result%5B'output'%5D%5B'meets_deadline'%5D%20else%20'FAIL'%7D**%20at%20%7Bd_result%5B'output'%5D%5B'total_latency_ms'%5D%3A.2f%7D%20ms.%22)%2C%20kind%3D%22success%22%20if%20d_result%5B%22output%22%5D%5B%22protected%22%5D%20and%20d_result%5B%22output%22%5D%5B%22meets_deadline%22%5D%20else%20%22danger%22)%2C%20d_capture%2C%20saved(%22D%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Per-request%20latency%20equals%20base%20latency%20plus%20per-request%20overhead%20plus%20fixed%20session%20overhead%20divided%20by%20requests%20in%20the%20session.%20Threat%20coverage%20remains%20a%20separate%20categorical%20mapping%20of%20the%20mechanism's%20execution%20boundary.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_part_e()%3A%0A%20%20%20%20%20%20%20%20intro%20%3D%20mo.md(%22%23%23%23%20E%20%C2%B7%20Can%20the%20lifecycle%20policy%20be%20defended%3F%20(9%20min)%5CnTraverse%20each%20descendant%20artifact%20copy%20for%20deletion%2C%20then%20count%20which%20explicit%20incident%20events%20remain%20inside%20the%20selected%20retention%20window.%22)%0A%20%20%20%20%20%20%20%20if%20e_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20e_mode%2C%20e_retention%2C%20e_prediction%5D)%0A%20%20%20%20%20%20%20%20deletion%20%3D%20e_result%5B%22output%22%5D%5B%22deletion%22%5D%0A%20%20%20%20%20%20%20%20retention%20%3D%20e_result%5B%22output%22%5D%5B%22retention%22%5D%0A%20%20%20%20%20%20%20%20status_rows%20%3D%20%5B%7B%22Artifact%22%3A%20status%5B%22artifact_id%22%5D%2C%20%22Tracked%22%3A%20%22YES%22%20if%20status%5B%22tracked%22%5D%20else%20%22NO%22%2C%20%22Deleted%20at%22%3A%20%22UNKNOWN%22%20if%20status%5B%22deletion_completed_at_hours%22%5D%20is%20None%20else%20f%22%7Bstatus%5B'deletion_completed_at_hours'%5D%3A.1f%7D%20h%22%2C%20%22Within%20SLA%22%3A%20%22YES%22%20if%20status%5B%22within_sla%22%5D%20else%20%22NO%22%7D%20for%20status%20in%20deletion%5B%22statuses%22%5D%5D%0A%20%20%20%20%20%20%20%20baseline_deletion%20%3D%20e_base%5B%22output%22%5D%5B%22deletion%22%5D%0A%20%20%20%20%20%20%20%20baseline_retention%20%3D%20e_base%5B%22output%22%5D%5B%22retention%22%5D%0A%20%20%20%20%20%20%20%20summary%20%3D%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Case%22%3A%20%22Baseline%22%2C%20%22Deletion%20proof%22%3A%20%22PASS%22%20if%20baseline_deletion%5B%22complete%22%5D%20else%20%22FAIL%22%2C%20%22Retained%20incident%20events%22%3A%20baseline_retention%5B%22retained_event_count%22%5D%2C%20%22Expired%20incident%20events%22%3A%20baseline_retention%5B%22expired_event_count%22%5D%2C%20%22Evidence%20events%20deleted%20with%20copies%22%3A%20baseline_deletion%5B%22incident_evidence_events_lost%22%5D%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Case%22%3A%20%22Selected%22%2C%20%22Deletion%20proof%22%3A%20%22PASS%22%20if%20deletion%5B%22complete%22%5D%20else%20%22FAIL%22%2C%20%22Retained%20incident%20events%22%3A%20retention%5B%22retained_event_count%22%5D%2C%20%22Expired%20incident%20events%22%3A%20retention%5B%22expired_event_count%22%5D%2C%20%22Evidence%20events%20deleted%20with%20copies%22%3A%20deletion%5B%22incident_evidence_events_lost%22%5D%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bintro%2C%20mo.hstack(%5Be_mode%2C%20e_retention%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20e_prediction%2C%20table(status_rows)%2C%20table(summary)%2C%20mo.callout(mo.md(f%22**Prediction%3A**%20%7Be_prediction.value%7D.%20Deletion%20proof%20**%7B'passes'%20if%20deletion%5B'complete'%5D%20else%20'fails'%7D**%3B%20**%7Bretention%5B'retained_event_count'%5D%7D**%20incident%20events%20remain%20and%20**%7Bretention%5B'expired_event_count'%5D%7D**%20expire%20under%20the%20retention%20window.%22)%2C%20kind%3D%22success%22%20if%20deletion%5B%22complete%22%5D%20else%20%22danger%22)%2C%20e_capture%2C%20saved(%22E%22)%2C%20mo.accordion(%7B%22Calculation%20Notes%22%3A%20mo.md(%22Deletion%20completion%20follows%20the%20explicit%20copy%20graph%3A%20a%20child%20copy%20completes%20after%20its%20parent%20plus%20its%20own%20deletion%20time.%20An%20untracked%20copy%20has%20unknown%20completion.%20Baseline%20lineage%20failure%20indicates%20that%20multi-tier%20storage%20topologies%20may%20violate%20deletion%20SLAs%20without%20copy%20restructuring.%20Retention%20compares%20event%20ages%20independently%20of%20deletion%20proofs.%20This%20model%20demonstrates%20lifecycle%20engineering%2C%20not%20legal%20compliance.%22)%7D)%5D)%0A%0A%20%20%20%20def%20build_synthesis()%3A%0A%20%20%20%20%20%20%20%20rows%20%3D%20%5B%5D%0A%20%20%20%20%20%20%20%20for%20part%20in%20%22ABCDE%22%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20capture%20%3D%20_captures.get(part)%0A%20%20%20%20%20%20%20%20%20%20%20%20state%20%3D%20%22CURRENT%22%20if%20capture%20and%20part%20not%20in%20audit.stale%20and%20(part%2C%20part)%20not%20in%20audit.identical_pairs%20else%20(%22STALE%22%20if%20capture%20else%20%22MISSING%22)%0A%20%20%20%20%20%20%20%20%20%20%20%20rows.append(%7B%22Part%22%3A%20part%2C%20%22Original%20prediction%22%3A%20capture.to_dict()%5B%22prediction%22%5D%20if%20capture%20else%20%22%E2%80%94%22%2C%20%22Evidence%22%3A%20state%7D)%0A%20%20%20%20%20%20%20%20saved_d%20%3D%20_captures%5B%22D%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22D%22%20in%20_captures%20else%20None%0A%20%20%20%20%20%20%20%20ready%20%3D%20audit.complete%20and%20all(widget.value%20is%20not%20None%20for%20widget%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%20saved_d%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bmo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Defend%20one%20release%20memo%20(5%20min)%5CnChoose%20one%20tested%20mechanism%2C%20quantify%20a%20rejected%20alternative%20from%20the%20saved%20comparison%2C%20state%20the%20remaining%20limitation%2C%20and%20name%20the%20event%20that%20forces%20reevaluation.%22)%2C%20table(rows)%2C%20mo.callout(mo.md(%22Threat%20coverage%2C%20formal%20guarantee%2C%20supplied%20utility%2C%20latency%2C%20and%20lifecycle%20evidence%20remain%20separate%20claims%20in%20the%20memo.%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%20ready%20else%20%22Capture%20five%20current%20contrasts%2C%20match%20the%20recommendation%20to%20saved%20Part%20D%2C%20choose%20a%20different%20rejected%20mechanism%2C%20and%20add%20a%20quantified%20rationale.%22)%2C%20kind%3D%22success%22%20if%20ready%20else%20%22warn%22)%5D)%0A%0A%20%20%20%20tabs%20%3D%20mo.ui.tabs(%7B%22Part%20A%22%3A%20build_part_a()%2C%20%22Part%20B%22%3A%20build_part_b()%2C%20%22Part%20C%22%3A%20build_part_c()%2C%20%22Part%20D%22%3A%20build_part_d()%2C%20%22Part%20E%22%3A%20build_part_e()%2C%20%22Synthesis%22%3A%20build_synthesis()%7D)%0A%20%20%20%20tabs%0A%20%20%20%20return%20(audit%2C)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20audit%2C%0A%20%20%20%20build_lab_report%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20report_export_panel%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_saved_d%20%3D%20_captures%5B%22D%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22D%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%20%3D%20audit.complete%20and%20all(widget.value%20is%20not%20None%20for%20widget%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_d%0A%20%20%20%20mo.stop(not%20_ready)%0A%20%20%20%20snapshots%20%3D%20%7Bpart%3A%20_captures%5Bpart%5D.to_dict()%20for%20part%20in%20%22ABCDE%22%7D%0A%20%20%20%20report%20%3D%20build_lab_report(%0A%20%20%20%20%20%20%20%20get_lab_metadata(%22vol2%2Flab_13_security_privacy.py%22)%2C%0A%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20scenario%3Dscenario.label%2C%0A%20%20%20%20%20%20%20%20source_trace%3D(%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22mlsysim.engine.v2_13_experiments%20(evaluate_threat_coverage%2C%20release_bounded_mean%2C%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22evaluate_supplied_quality%2C%20compose_privacy_events%2C%20evaluate_trust_latency%2C%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22propagate_deletion%2C%20evaluate_retention)%3B%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22scenario%3A%20%7Bscenario.label%7D%20(illustrative%20scenario%3B%20no%20empirical%20benchmark%20claims)%22%0A%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%22Match%20a%20defense%20boundary%20to%20an%20explicit%20adversary%22%2C%20%22Calculate%20a%20bounded-mean%20Laplace%20demonstration%20and%20basic%20composition%22%2C%20%22Separate%20privacy%20guarantee%2C%20supplied%20utility%2C%20latency%2C%20and%20deletion%20evidence%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%22ABCDE%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%22ABCDE%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%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%22A%20defense%20protects%20only%20the%20boundary%20named%20by%20its%20threat%20model.%22%2C%20%22Basic%20sequential%20composition%20sums%20explicit%20releases%3B%20fixed-output%20queries%20add%20no%20training%20privacy%20loss.%22%2C%20%22Utility%20observations%2C%20system%20overhead%2C%20and%20deletion%20evidence%20do%20not%20alter%20the%20formal%20privacy%20guarantee.%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%0A%20%20%20%20%20%20%20%20residual_risk%3Dfinal_risk.value%2C%0A%20%20%20%20%20%20%20%20result_snapshot%3D%7B%22track%22%3A%20track_id%2C%20%22captures%22%3A%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%20final_risk.value%7D%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5Bmo.md(%22%23%23%20Local%20evidence%20report%22)%2C%20report_export_panel(report)%5D)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Aasync%20def%20_(%0A%20%20%20%20audit%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20ledger%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_saved_d%20%3D%20_captures%5B%22D%22%5D.to_dict()%5B%22decision%22%5D%20if%20%22D%22%20in%20_captures%20else%20None%0A%20%20%20%20_ready%20%3D%20audit.complete%20and%20all(widget.value%20is%20not%20None%20for%20widget%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_d%0A%20%20%20%20_save_error%20%3D%20None%0A%20%20%20%20_saved%20%3D%20False%0A%20%20%20%20if%20_ready%3A%0A%20%20%20%20%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20ledger.save(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%20chapter%3D13%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20design%3D%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22schema_version%22%3A%201%2C%20%22lab_id%22%3A%20%22v2_13%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%20%20%20%20%22model_id%22%3A%20%22v2_13_experiments%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22evidence%22%3A%20%7Bpart%3A%20capture.to_dict()%20for%20part%2C%20capture%20in%20_captures.items()%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%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%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%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%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%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%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%20error%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_save_error%20%3D%20f%22%7Btype(error).__name__%7D%3A%20%7Berror%7D%22%0A%20%20%20%20_status%20%3D%20%22SAVED%22%20if%20_saved%20else%20(%22SAVE%20FAILED%22%20if%20_save_error%20else%20%22EVIDENCE%20IN%20PROGRESS%22)%0A%20%20%20%20_hud%20%3D%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%3E13%20%C2%B7%20The%20Price%20of%20Privacy%3C%2Fspan%3E%3Cspan%20class%3D%22hud-separator%22%3E%7C%3C%2Fspan%3E%3Cspan%20style%3D%22flex%3A1%22%3E%3C%2Fspan%3E%3Cspan%20class%3D%22hud-label%22%3ESTATUS%3C%2Fspan%3E%3Cspan%20class%3D%22hud-active%22%3E%7B_status%7D%3C%2Fspan%3E%3C%2Fdiv%3E')%0A%20%20%20%20_display%20%3D%20mo.vstack(%5B_hud%2C%20mo.callout(mo.md(f%22**Ledger%20save%20failed.**%20%7B_save_error%7D.%20The%20local%20report%20remains%20available%20above.%22)%2C%20kind%3D%22danger%22)%5D)%20if%20_save_error%20else%20_hud%0A%20%20%20%20_display%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