Lab 01: The Fleet Is the System

Lab 01: The Fleet Is the System · 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%2001%3A%20The%20Fleet%20Is%20the%20System%20%C2%B7%20MLSysBook%22%2C%0A)%0A%0A%0A%40app.cell%0Aasync%20def%20_()%3A%0A%20%20%20%20import%20sys%0A%20%20%20%20from%20pathlib%20import%20Path%0A%0A%20%20%20%20import%20marimo%20as%20mo%0A%0A%20%20%20%20if%20sys.platform%20%3D%3D%20%22emscripten%22%3A%0A%20%20%20%20%20%20%20%20import%20micropip%0A%0A%20%20%20%20%20%20%20%20await%20micropip.install(%5B%22pydantic%22%2C%20%22pint%22%2C%20%22plotly%22%2C%20%22pandas%22%5D%2C%20keep_going%3DFalse)%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22..%2F..%2Fwheels%2Fmlsysim-0.1.2-py3-none-any.whl%22%2C%20keep_going%3DFalse)%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22..%2F..%2Fwheels%2Fmlsysbook_labs-0.1.0-py3-none-any.whl%22%2C%20keep_going%3DFalse)%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20labs_dir%20%3D%20Path(__file__).resolve().parents%5B1%5D%0A%20%20%20%20%20%20%20%20if%20str(labs_dir)%20not%20in%20sys.path%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20sys.path.insert(0%2C%20str(labs_dir))%0A%20%20%20%20%20%20%20%20from%20bootstrap%20import%20native_bootstrap%0A%0A%20%20%20%20%20%20%20%20native_bootstrap(__file__)%0A%0A%20%20%20%20import%20plotly.graph_objects%20as%20go%0A%20%20%20%20from%20mlsysim.engine.v2_01_experiments%20import%20(%0A%20%20%20%20%20%20%20%20compare_failure_semantics%2C%0A%20%20%20%20%20%20%20%20evaluate_c3_scaling%2C%0A%20%20%20%20%20%20%20%20evaluate_machine_boundary%2C%0A%20%20%20%20%20%20%20%20evaluate_partition_policy%2C%0A%20%20%20%20%20%20%20%20get_track_scenario%2C%0A%20%20%20%20%20%20%20%20serialize_evaluation%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%0A%20%20%20%20%20%20%20%20build_lab_report%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20)%0A%20%20%20%20from%20mlsysbook_labs.experiment_evidence%20import%20audit_evidence%2C%20capture_evidence%0A%0A%20%20%20%20ledger%20%3D%20DesignLedger(volume%3D%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%20apply_plotly_theme%2C%0A%20%20%20%20%20%20%20%20audit_evidence%2C%0A%20%20%20%20%20%20%20%20build_lab_report%2C%0A%20%20%20%20%20%20%20%20capture_evidence%2C%0A%20%20%20%20%20%20%20%20compare_failure_semantics%2C%0A%20%20%20%20%20%20%20%20evaluate_c3_scaling%2C%0A%20%20%20%20%20%20%20%20evaluate_machine_boundary%2C%0A%20%20%20%20%20%20%20%20evaluate_partition_policy%2C%0A%20%20%20%20%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20%20%20%20%20get_track_scenario%2C%0A%20%20%20%20%20%20%20%20go%2C%0A%20%20%20%20%20%20%20%20ledger%2C%0A%20%20%20%20%20%20%20%20mo%2C%0A%20%20%20%20%20%20%20%20report_export_panel%2C%0A%20%20%20%20%20%20%20%20serialize_evaluation%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%0A%20%20%20%20%20%20%20%20label%3D%22Teaching%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_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%20profile%20%3D%20scenario.profile%0A%20%20%20%20return%20profile%2C%20scenario%2C%20track_id%0A%0A%0A%40app.cell%0Adef%20_(mo%2C%20scenario%2C%20track_id)%3A%0A%20%20%20%20_track_key%20%3D%20track_id%0A%20%20%20%20a_action%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%22Add%20machines%22%3A%20%22add_machines%22%2C%20%22Reduce%20state%20on%20each%20machine%22%3A%20%22compact_state%22%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Add%20machines%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Capacity%20intervention%22%2C%0A%20%20%20%20)%0A%20%20%20%20a_machine_count%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Bf%22%7Bvalue%3A%2C%7D%20machines%22%3A%20value%20for%20value%20in%20scenario.machine_count_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3Df%22%7Bscenario.machine_count_options%5B-1%5D%3A%2C%7D%20machines%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Machine%20count%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_workers%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Bf%22%7Bvalue%3A%2C%7D%20workers%22%3A%20value%20for%20value%20in%20scenario.worker_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3Df%22%7Bscenario.worker_options%5B1%5D%3A%2C%7D%20workers%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Coupled%20workers%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_bandwidth%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Blabel.title()%3A%20label%20for%20label%20in%20scenario.bandwidth_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Planned%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Network%20tier%22%2C%0A%20%20%20%20)%0A%20%20%20%20b_coordination%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Blabel.title()%3A%20label%20for%20label%20in%20scenario.coordination_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Planned%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Coordination%20condition%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_nodes%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Bf%22%7Bvalue%3A%2C%7D%20nodes%22%3A%20value%20for%20value%20in%20scenario.fleet_size_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3Df%22%7Bscenario.fleet_size_options%5B1%5D%3A%2C%7D%20nodes%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Deployed%20fleet%20size%22%2C%0A%20%20%20%20)%0A%20%20%20%20c_recovery%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Blabel.title()%3A%20label%20for%20label%20in%20scenario.recovery_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Planned%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Repair%20path%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_duration%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Blabel.title()%3A%20label%20for%20label%20in%20scenario.partition_duration_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Extended%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Partition%20duration%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_fraction%20%3D%20mo.ui.dropdown(%0A%20%20%20%20%20%20%20%20%7Blabel.title()%3A%20label%20for%20label%20in%20scenario.partitioned_fraction_options%7D%2C%0A%20%20%20%20%20%20%20%20value%3D%22Regional%20Cohort%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22Partitioned%20scope%22%2C%0A%20%20%20%20)%0A%20%20%20%20d_policy%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Wait%20for%20fresh%20state%22%3A%20%22wait_for_fresh%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Serve%20the%20last%20confirmed%20model%22%3A%20%22serve_last_confirmed%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Availability%20policy%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_action%2C%0A%20%20%20%20%20%20%20%20a_machine_count%2C%0A%20%20%20%20%20%20%20%20b_bandwidth%2C%0A%20%20%20%20%20%20%20%20b_coordination%2C%0A%20%20%20%20%20%20%20%20b_workers%2C%0A%20%20%20%20%20%20%20%20c_nodes%2C%0A%20%20%20%20%20%20%20%20c_recovery%2C%0A%20%20%20%20%20%20%20%20d_duration%2C%0A%20%20%20%20%20%20%20%20d_fraction%2C%0A%20%20%20%20%20%20%20%20d_policy%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%22More%20machines%20make%20the%20original%20state%20fit%22%3A%20%22fleet_repairs_fit%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Only%20reducing%20per-machine%20state%20repairs%20fit%22%3A%20%22local_repair%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Neither%20intervention%20satisfies%20both%20memory%20and%20rate%22%3A%20%22neither%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22The%20baseline%20already%20fits%22%3A%20%22already_fits%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20statement%20will%20the%20capacity%20test%20support%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Compute%20remains%20dominant%22%3A%20%22compute%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Communication%20becomes%20dominant%22%3A%20%22communication%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Coordination%20becomes%20dominant%22%3A%20%22coordination%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20C%C2%B3%20term%20will%20dominate%20the%20changed%20run%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%22One%20node%20event%20stops%20both%20systems%22%3A%20%22both_stop%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Only%20the%20coupled%20job%20stops%22%3A%20%22coupled_stops%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Neither%20system%20loses%20useful%20work%22%3A%20%22neither%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22What%20does%20one%20node%20failure%20do%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Waiting%20creates%20unavailable%20requests%22%3A%20%22wait_unavailable%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Serving%20old%20state%20keeps%20every%20request%20fresh%22%3A%20%22stale_is_fresh%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Both%20policies%20drop%20the%20same%20requests%22%3A%20%22same_loss%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Which%20partition%20consequence%20do%20you%20expect%3F%22%2C%0A%20%20%20%20).form(submit_button_label%3D%22Lock%20Part%20D%20prediction%22)%0A%20%20%20%20return%20a_prediction%2C%20b_prediction%2C%20c_prediction%2C%20d_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%20choices%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22Hold%20the%20tested%20worker%20count%22%3A%20%22keep_width%22%2C%0A%20%20%20%20%20%20%20%20%22Stop%20at%20a%20smaller%20fleet%22%3A%20%22reduce_width%22%2C%0A%20%20%20%20%20%20%20%20%22Upgrade%20the%20network%20tier%22%3A%20%22upgrade_network%22%2C%0A%20%20%20%20%20%20%20%20%22Reduce%20coordination%20delay%22%3A%20%22reduce_coordination%22%2C%0A%20%20%20%20%7D%0A%20%20%20%20final_choice%20%3D%20mo.ui.radio(choices%2C%20label%3D%22Recommendation%22)%0A%20%20%20%20final_rejected%20%3D%20mo.ui.radio(choices%2C%20label%3D%22Quantified%20rejected%20alternative%22)%0A%20%20%20%20final_trigger%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Scaling%20efficiency%20falls%20below%20the%20chosen%20bound%22%3A%20%22efficiency%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Repair%20time%20increases%22%3A%20%22repair%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22The%20allowed%20model%20age%20decreases%22%3A%20%22freshness%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20label%3D%22Reevaluation%20trigger%22%2C%0A%20%20%20%20)%0A%20%20%20%20final_risk%20%3D%20mo.ui.radio(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Correlated%20failures%22%3A%20%22correlated_failures%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Unmodeled%20traffic%20bursts%22%3A%20%22traffic_bursts%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Model-age%20policy%20mismatch%22%3A%20%22policy_mismatch%22%2C%0A%20%20%20%20%20%20%20%20%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%22Fleet%20memo%20rationale%22%2C%0A%20%20%20%20%20%20%20%20placeholder%3D%22Cite%20a%20saved%20result%2C%20quantify%20the%20rejected%20alternative%2C%20and%20explain%20the%20trigger.%22%2C%0A%20%20%20%20)%0A%20%20%20%20return%20final_choice%2C%20final_rejected%2C%20final_risk%2C%20final_trigger%2C%20rationale%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_action%2C%0A%20%20%20%20a_machine_count%2C%0A%20%20%20%20b_bandwidth%2C%0A%20%20%20%20b_coordination%2C%0A%20%20%20%20b_workers%2C%0A%20%20%20%20c_nodes%2C%0A%20%20%20%20c_recovery%2C%0A%20%20%20%20compare_failure_semantics%2C%0A%20%20%20%20d_duration%2C%0A%20%20%20%20d_fraction%2C%0A%20%20%20%20evaluate_c3_scaling%2C%0A%20%20%20%20evaluate_machine_boundary%2C%0A%20%20%20%20evaluate_partition_policy%2C%0A%20%20%20%20scenario%2C%0A%20%20%20%20serialize_evaluation%2C%0A)%3A%0A%20%20%20%20a_baseline_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22model_state%22%3A%20scenario.model_state%2C%0A%20%20%20%20%20%20%20%20%22memory_per_machine%22%3A%20scenario.memory_per_machine%2C%0A%20%20%20%20%20%20%20%20%22required_rate%22%3A%20scenario.required_rate%2C%0A%20%20%20%20%20%20%20%20%22rate_per_machine%22%3A%20scenario.rate_per_machine%2C%0A%20%20%20%20%20%20%20%20%22coupling%22%3A%20scenario.profile.deployed_coupling%2C%0A%20%20%20%20%20%20%20%20%22machine_count%22%3A%201%2C%0A%20%20%20%20%7D%0A%20%20%20%20a_result_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20**a_baseline_inputs%2C%0A%20%20%20%20%20%20%20%20%22model_state%22%3A%20scenario.compact_model_state%20if%20a_action.value%20%3D%3D%20%22compact_state%22%20else%20scenario.model_state%2C%0A%20%20%20%20%20%20%20%20%22machine_count%22%3A%20a_machine_count.value%20if%20a_action.value%20%3D%3D%20%22add_machines%22%20else%201%2C%0A%20%20%20%20%7D%0A%20%20%20%20a_baseline_result%20%3D%20evaluate_machine_boundary(**a_baseline_inputs)%0A%20%20%20%20a_changed_result%20%3D%20evaluate_machine_boundary(**a_result_inputs)%0A%20%20%20%20a_baseline%20%3D%20serialize_evaluation(inputs%3Da_baseline_inputs%2C%20result%3Da_baseline_result)%0A%20%20%20%20a_result%20%3D%20serialize_evaluation(inputs%3Da_result_inputs%2C%20result%3Da_changed_result)%0A%0A%20%20%20%20b_baseline_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22workers%22%3A%201%2C%0A%20%20%20%20%20%20%20%20%22single_worker_compute_time%22%3A%20scenario.single_worker_compute_time%2C%0A%20%20%20%20%20%20%20%20%22communication_payload%22%3A%20scenario.communication_payload%2C%0A%20%20%20%20%20%20%20%20%22effective_bandwidth%22%3A%20scenario.bandwidth_options%5B%22planned%22%5D%2C%0A%20%20%20%20%20%20%20%20%22communication_startup%22%3A%20scenario.communication_startup%2C%0A%20%20%20%20%20%20%20%20%22coordination_base%22%3A%20scenario.coordination_base%2C%0A%20%20%20%20%20%20%20%20%22coordination_per_added_worker%22%3A%20scenario.coordination_options%5B%22planned%22%5D%2C%0A%20%20%20%20%20%20%20%20%22useful_work_per_step%22%3A%20scenario.useful_work_per_step%2C%0A%20%20%20%20%20%20%20%20%22overlap_fraction%22%3A%20scenario.overlap_fraction%2C%0A%20%20%20%20%7D%0A%20%20%20%20b_result_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20**b_baseline_inputs%2C%0A%20%20%20%20%20%20%20%20%22workers%22%3A%20b_workers.value%2C%0A%20%20%20%20%20%20%20%20%22effective_bandwidth%22%3A%20scenario.bandwidth_options%5Bb_bandwidth.value%5D%2C%0A%20%20%20%20%20%20%20%20%22coordination_per_added_worker%22%3A%20scenario.coordination_options%5Bb_coordination.value%5D%2C%0A%20%20%20%20%7D%0A%20%20%20%20b_baseline_result%20%3D%20evaluate_c3_scaling(**b_baseline_inputs)%0A%20%20%20%20b_changed_result%20%3D%20evaluate_c3_scaling(**b_result_inputs)%0A%20%20%20%20b_baseline%20%3D%20serialize_evaluation(inputs%3Db_baseline_inputs%2C%20result%3Db_baseline_result)%0A%20%20%20%20b_result%20%3D%20serialize_evaluation(inputs%3Db_result_inputs%2C%20result%3Db_changed_result)%0A%0A%20%20%20%20c_baseline_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22nodes%22%3A%20scenario.fleet_size_options%5B0%5D%2C%0A%20%20%20%20%20%20%20%20%22component_mtbf%22%3A%20scenario.component_mtbf%2C%0A%20%20%20%20%20%20%20%20%22observation_horizon%22%3A%20scenario.observation_horizon%2C%0A%20%20%20%20%20%20%20%20%22recovery_time%22%3A%20scenario.recovery_options%5B%22planned%22%5D%2C%0A%20%20%20%20%7D%0A%20%20%20%20c_result_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20**c_baseline_inputs%2C%0A%20%20%20%20%20%20%20%20%22nodes%22%3A%20c_nodes.value%2C%0A%20%20%20%20%20%20%20%20%22recovery_time%22%3A%20scenario.recovery_options%5Bc_recovery.value%5D%2C%0A%20%20%20%20%7D%0A%20%20%20%20c_baseline_result%20%3D%20compare_failure_semantics(**c_baseline_inputs)%0A%20%20%20%20c_changed_result%20%3D%20compare_failure_semantics(**c_result_inputs)%0A%20%20%20%20c_baseline%20%3D%20serialize_evaluation(inputs%3Dc_baseline_inputs%2C%20result%3Dc_baseline_result)%0A%20%20%20%20c_result%20%3D%20serialize_evaluation(inputs%3Dc_result_inputs%2C%20result%3Dc_changed_result)%0A%0A%20%20%20%20d_common_inputs%20%3D%20%7B%0A%20%20%20%20%20%20%20%20%22request_rate%22%3A%20scenario.request_rate%2C%0A%20%20%20%20%20%20%20%20%22observation_horizon%22%3A%20scenario.observation_horizon%2C%0A%20%20%20%20%20%20%20%20%22partition_duration%22%3A%20scenario.partition_duration_options%5Bd_duration.value%5D%2C%0A%20%20%20%20%20%20%20%20%22partitioned_fraction%22%3A%20scenario.partitioned_fraction_options%5Bd_fraction.value%5D%2C%0A%20%20%20%20%20%20%20%20%22last_confirmed_model_age%22%3A%20scenario.last_confirmed_model_age%2C%0A%20%20%20%20%7D%0A%20%20%20%20d_wait_inputs%20%3D%20%7B%22policy%22%3A%20%22wait_for_fresh%22%2C%20**d_common_inputs%7D%0A%20%20%20%20d_stale_inputs%20%3D%20%7B%22policy%22%3A%20%22serve_last_confirmed%22%2C%20**d_common_inputs%7D%0A%20%20%20%20d_wait_result%20%3D%20evaluate_partition_policy(**d_wait_inputs)%0A%20%20%20%20d_stale_result%20%3D%20evaluate_partition_policy(**d_stale_inputs)%0A%20%20%20%20d_baseline%20%3D%20serialize_evaluation(inputs%3Dd_wait_inputs%2C%20result%3Dd_wait_result)%0A%20%20%20%20d_result%20%3D%20serialize_evaluation(inputs%3Dd_stale_inputs%2C%20result%3Dd_stale_result)%0A%20%20%20%20return%20(%0A%20%20%20%20%20%20%20%20a_baseline%2C%0A%20%20%20%20%20%20%20%20a_baseline_result%2C%0A%20%20%20%20%20%20%20%20a_changed_result%2C%0A%20%20%20%20%20%20%20%20a_result%2C%0A%20%20%20%20%20%20%20%20b_baseline%2C%0A%20%20%20%20%20%20%20%20b_baseline_result%2C%0A%20%20%20%20%20%20%20%20b_changed_result%2C%0A%20%20%20%20%20%20%20%20b_result%2C%0A%20%20%20%20%20%20%20%20c_baseline%2C%0A%20%20%20%20%20%20%20%20c_baseline_result%2C%0A%20%20%20%20%20%20%20%20c_changed_result%2C%0A%20%20%20%20%20%20%20%20c_result%2C%0A%20%20%20%20%20%20%20%20d_baseline%2C%0A%20%20%20%20%20%20%20%20d_result%2C%0A%20%20%20%20%20%20%20%20d_stale_result%2C%0A%20%20%20%20%20%20%20%20d_wait_result%2C%0A%20%20%20%20)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20a_action%2C%0A%20%20%20%20a_baseline%2C%0A%20%20%20%20a_machine_count%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_result%2C%0A%20%20%20%20b_bandwidth%2C%0A%20%20%20%20b_baseline%2C%0A%20%20%20%20b_coordination%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_result%2C%0A%20%20%20%20b_workers%2C%0A%20%20%20%20c_baseline%2C%0A%20%20%20%20c_nodes%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_recovery%2C%0A%20%20%20%20c_result%2C%0A%20%20%20%20capture_evidence%2C%0A%20%20%20%20d_baseline%2C%0A%20%20%20%20d_duration%2C%0A%20%20%20%20d_fraction%2C%0A%20%20%20%20d_policy%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_result%2C%0A%20%20%20%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%20%3D%20%7B%22action%22%3A%20a_action.value%2C%20%22machine_count%22%3A%20a_machine_count.value%7D%0A%20%20%20%20b_upstream%20%3D%20%7B%22workers%22%3A%20b_workers.value%2C%20%22network%22%3A%20b_bandwidth.value%2C%20%22coordination%22%3A%20b_coordination.value%7D%0A%20%20%20%20c_upstream%20%3D%20%7B%22nodes%22%3A%20c_nodes.value%2C%20%22recovery%22%3A%20c_recovery.value%7D%0A%20%20%20%20d_upstream%20%3D%20%7B%22duration%22%3A%20d_duration.value%2C%20%22scope%22%3A%20d_fraction.value%2C%20%22decision%22%3A%20d_policy.value%7D%0A%20%20%20%20a_capture%20%3D%20mo.ui.button(%0A%20%20%20%20%20%20%20%20label%3D%22Capture%20capacity%20contrast%22%2C%0A%20%20%20%20%20%20%20%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Da_prediction.value%20is%20None%20or%20a_baseline%5B%22inputs%22%5D%20%3D%3D%20a_result%5B%22inputs%22%5D%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_value%3A%20store(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22A%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20part%3D%22A%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20prediction%3Da_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Da_baseline%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20result%3Da_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(a_baseline%2C%20a_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20decision%3Da_action.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Da_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_01_experiments.evaluate_machine_boundary%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%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%20scaling%20contrast%22%2C%0A%20%20%20%20%20%20%20%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Db_prediction.value%20is%20None%20or%20b_baseline%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_value%3A%20store(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22B%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20part%3D%22B%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20prediction%3Db_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20inputs%3Db_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Db_baseline%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20result%3Db_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(b_baseline%2C%20b_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20decision%3Db_workers.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Db_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_01_experiments.evaluate_c3_scaling%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%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%20failure-semantics%20contrast%22%2C%0A%20%20%20%20%20%20%20%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dc_prediction.value%20is%20None%20or%20c_baseline%5B%22inputs%22%5D%20%3D%3D%20c_result%5B%22inputs%22%5D%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_value%3A%20store(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22C%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20part%3D%22C%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20prediction%3Dc_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20inputs%3Dc_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dc_baseline%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20result%3Dc_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(c_baseline%2C%20c_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dc_recovery.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dc_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_01_experiments.compare_failure_semantics%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%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%20partition%20trade-off%22%2C%0A%20%20%20%20%20%20%20%20kind%3D%22success%22%2C%0A%20%20%20%20%20%20%20%20disabled%3Dd_prediction.value%20is%20None%20or%20d_policy.value%20is%20None%2C%0A%20%20%20%20%20%20%20%20on_click%3Dlambda%20_value%3A%20store(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22D%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20capture_evidence(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20part%3D%22D%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20prediction%3Dd_prediction.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20baseline%3Dd_baseline%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20result%3Dd_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20alternatives%3D(d_baseline%2C%20d_result)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20decision%3Dd_policy.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20chosen_result%3Dd_baseline%20if%20d_policy.value%20%3D%3D%20%22wait_for_fresh%22%20else%20d_result%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20result_role%3D(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22rejected%20alternative%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20if%20d_policy.value%20%3D%3D%20%22wait_for_fresh%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20else%20%22tested%20intervention%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20upstream_inputs%3Dd_upstream%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20model_key%3D%22v2_01_experiments.evaluate_partition_policy%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%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)%0A%0A%0A%40app.cell%0Adef%20_(ACADEMIC_LAB_CSS%2C%20LAB_CSS%2C%20mo%2C%20profile%2C%20track)%3A%0A%20%20%20%20css%20%3D%20%22%22%22%0A%20%20%20%20%20%20%20%20%3Cstyle%3E%0A%20%20%20%20%20%20%20%20.fleet-head%7Bbackground%3Alinear-gradient(135deg%2C%23101827%2C%23164e63)%3Bcolor%3Awhite%3Bborder-radius%3A14px%3Bpadding%3Aclamp(18px%2C4vw%2C32px)%3Bmargin-bottom%3A14px%7D%0A%20%20%20%20%20%20%20%20.fleet-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%20%20%20%20.fleet-head%20h1%7Bfont-size%3Aclamp(1.65rem%2C5vw%2C2.65rem)%3Bline-height%3A1.05%3Bmargin%3A16px%200%208px%7D.fleet-head%20p%7Bcolor%3A%23cffafe%3Bmax-width%3A780px%7D%0A%20%20%20%20%20%20%20%20.fleet-meta%7Bdisplay%3Agrid%3Bgrid-template-columns%3Arepeat(auto-fit%2Cminmax(170px%2C1fr))%3Bgap%3A9px%3Bmargin-top%3A17px%7D.fleet-meta%20div%7Bbackground%3A%23ffffff14%3Bborder%3A1px%20solid%20%23ffffff26%3Bpadding%3A9px%2011px%3Bborder-radius%3A8px%7D%0A%20%20%20%20%20%20%20%20.fleet-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%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%20%20%20%20%40media(max-width%3A520px)%7B.fleet-head%7Bborder-radius%3A9px%3Bmargin-top%3A30px%7D.fleet-meta%7Bgrid-template-columns%3A1fr%7D%7D%0A%20%20%20%20%20%20%20%20%3C%2Fstyle%3E%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20header%20%3D%20mo.Html(%0A%20%20%20%20%20%20%20%20f%22%22%22%0A%20%20%20%20%20%20%20%20%7Bcss%7D%0A%20%20%20%20%20%20%20%20%3Csection%20class%3D%22fleet-head%22%3E%0A%20%20%20%20%20%20%20%20%20%20%3Cdiv%20class%3D%22fleet-top%22%3E%3Cspan%3EVOLUME%20II%20%C2%B7%20LAB%2001%3C%2Fspan%3E%3Cspan%3EABOUT%2045%E2%80%9355%20MIN%3C%2Fspan%3E%3C%2Fdiv%3E%0A%20%20%20%20%20%20%20%20%20%20%3Ch1%3EThe%20Fleet%20Is%20the%20System%3C%2Fh1%3E%0A%20%20%20%20%20%20%20%20%20%20%3Cp%3EWhen%20does%20adding%20another%20machine%20create%20useful%20work%2C%20and%20when%20does%20fleet%20coupling%20erase%20the%20gain%3F%3C%2Fp%3E%0A%20%20%20%20%20%20%20%20%20%20%3Cdiv%20class%3D%22fleet-meta%22%3E%0A%20%20%20%20%20%20%20%20%20%20%20%20%3Cdiv%3E%3Cb%3ETrack%3C%2Fb%3E%3Cbr%3E%7Bprofile.label%7D%3C%2Fdiv%3E%0A%20%20%20%20%20%20%20%20%20%20%20%20%3Cdiv%3E%3Cb%3EDeployment%3C%2Fb%3E%3Cbr%3E%7Bprofile.deployed_system%7D%3C%2Fdiv%3E%0A%20%20%20%20%20%20%20%20%20%20%20%20%3Cdiv%3E%3Cb%3EScaling%20system%3C%2Fb%3E%3Cbr%3E%7Bprofile.scaling_system%7D%3C%2Fdiv%3E%0A%20%20%20%20%20%20%20%20%20%20%20%20%3Cdiv%3E%3Cb%3EDeliverable%3C%2Fb%3E%3Cbr%3EFleet%20operating%20memo%3C%2Fdiv%3E%0A%20%20%20%20%20%20%20%20%20%20%3C%2Fdiv%3E%0A%20%20%20%20%20%20%20%20%3C%2Fsection%3E%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20note%20%3D%20mo.Html(%0A%20%20%20%20%20%20%20%20'%3Cp%20class%3D%22fleet-note%22%3ESelect%20the%20track.%20All%20values%20are%20analytical%20outputs%20from%20explicit%20illustrative%20scenarios.%20Each%20Calculation%20Notes%20panel%20states%20the%20model%20boundary.%3C%2Fp%3E'%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5BLAB_CSS%2C%20ACADEMIC_LAB_CSS%2C%20header%2C%20track%2C%20note%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_action%2C%0A%20%20%20%20a_baseline_result%2C%0A%20%20%20%20a_capture%2C%0A%20%20%20%20a_changed_result%2C%0A%20%20%20%20a_machine_count%2C%0A%20%20%20%20a_prediction%2C%0A%20%20%20%20a_upstream%2C%0A%20%20%20%20apply_plotly_theme%2C%0A%20%20%20%20audit_evidence%2C%0A%20%20%20%20b_bandwidth%2C%0A%20%20%20%20b_baseline_result%2C%0A%20%20%20%20b_capture%2C%0A%20%20%20%20b_changed_result%2C%0A%20%20%20%20b_coordination%2C%0A%20%20%20%20b_prediction%2C%0A%20%20%20%20b_upstream%2C%0A%20%20%20%20b_workers%2C%0A%20%20%20%20c_baseline_result%2C%0A%20%20%20%20c_capture%2C%0A%20%20%20%20c_changed_result%2C%0A%20%20%20%20c_nodes%2C%0A%20%20%20%20c_prediction%2C%0A%20%20%20%20c_recovery%2C%0A%20%20%20%20c_upstream%2C%0A%20%20%20%20d_capture%2C%0A%20%20%20%20d_duration%2C%0A%20%20%20%20d_fraction%2C%0A%20%20%20%20d_policy%2C%0A%20%20%20%20d_prediction%2C%0A%20%20%20%20d_stale_result%2C%0A%20%20%20%20d_upstream%2C%0A%20%20%20%20d_wait_result%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%20profile%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%7D%0A%20%20%20%20audit%20%3D%20audit_evidence(%0A%20%20%20%20%20%20%20%20_captures%2C%0A%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20required_parts%3Dtuple(%22ABCD%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(%22ABCD%22)%2C%0A%20%20%20%20)%0A%0A%20%20%20%20def%20q(value%2C%20unit%2C%20digits%3D2)%3A%0A%20%20%20%20%20%20%20%20return%20f%22%7Bvalue.m_as(unit)%3A%2C.%7Bdigits%7Df%7D%20%7Bunit%7D%22%0A%0A%20%20%20%20def%20pct(value)%3A%0A%20%20%20%20%20%20%20%20return%20f%22%7B100%20*%20value%3A.2f%7D%25%22%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%20this%20experiment.%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(%0A%20%20%20%20%20%20%20%20%20%20%20%20f'%3Cdiv%20class%3D%22saved%22%3E%3Cb%3ESaved%20snapshot%3C%2Fb%3E%20%C2%B7%20original%20prediction%3A%20%7Bdata%5B%22prediction%22%5D%7D%3Cbr%3E%3Csmall%3ETrack%20%7Bdata%5B%22track%22%5D%7D%3B%20later%20control%20changes%20cannot%20rewrite%20this%20record.%3C%2Fsmall%3E%3C%2Fdiv%3E'%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20def%20part_a()%3A%0A%20%20%20%20%20%20%20%20setup%20%3D%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22%23%23%23%20A%20%C2%B7%20When%20does%20distribution%20become%20necessary%3F%20(10%20min)%5Cn%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22The%20**%7Bprofile.deployed_system%7D**%20begin%20with%20%7Bq(scenario.model_state%2C%20scenario.memory_display_unit%2C%201)%7D%20of%20state%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22(%7Bq(scenario.memory_per_machine%2C%20scenario.memory_display_unit%2C%201)%7D%20per%20machine)%20and%20%7Bq(scenario.required_rate%2C%20'count%2Fsecond'%2C%201)%7D%20required%20rate%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22(%7Bq(scenario.rate_per_machine%2C%20'count%2Fsecond'%2C%201)%7D%20per%20machine).%20Both%20memory%20and%20throughput%20rate%20constraints%20must%20be%20satisfied.%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22Predict%20whether%20adding%20machines%2C%20reducing%20local%20state%2C%20or%20neither%20can%20cross%20the%20boundary.%22%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20if%20a_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bsetup%2C%20mo.hstack(%5Ba_action%2C%20a_machine_count%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Run%22%3A%20%22Baseline%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Machines%22%3A%20a_baseline_result.machine_count%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22State%20per%20machine%22%3A%20q(a_baseline_result.effective_state_per_machine%2C%20scenario.memory_display_unit%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Memory%20margin%22%3A%20q(a_baseline_result.effective_memory_margin%2C%20scenario.memory_display_unit%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Required%20rate%20per%20machine%22%3A%20q(a_baseline_result.effective_required_rate_per_machine%2C%20%22count%2Fsecond%22%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Available%20rate%20per%20machine%22%3A%20q(a_baseline_result.rate_per_machine%2C%20%22count%2Fsecond%22%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Feasible%22%3A%20%22PASS%22%20if%20a_baseline_result.feasible%20else%20%22FAIL%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Consequence%22%3A%20a_baseline_result.remedy%2C%0A%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%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Run%22%3A%20%22Changed%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Machines%22%3A%20a_changed_result.machine_count%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22State%20per%20machine%22%3A%20q(a_changed_result.effective_state_per_machine%2C%20scenario.memory_display_unit%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Memory%20margin%22%3A%20q(a_changed_result.effective_memory_margin%2C%20scenario.memory_display_unit%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Required%20rate%20per%20machine%22%3A%20q(a_changed_result.effective_required_rate_per_machine%2C%20%22count%2Fsecond%22%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Available%20rate%20per%20machine%22%3A%20q(a_changed_result.rate_per_machine%2C%20%22count%2Fsecond%22%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Feasible%22%3A%20%22PASS%22%20if%20a_changed_result.feasible%20else%20%22FAIL%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Consequence%22%3A%20a_changed_result.remedy%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20consequence%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Independent%20devices%20do%20not%20pool%20memory%20or%20rate%3B%20each%20device%20must%20satisfy%20both%20limits.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20if%20profile.deployed_coupling%20%3D%3D%20%22independent_devices%22%0A%20%20%20%20%20%20%20%20%20%20%20%20else%20%22Coupled%20workers%20may%20shard%20state%20and%20aggregate%20rate%20in%20this%20first-order%20boundary.%22%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%0A%20%20%20%20%20%20%20%20%20%20%20%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20setup%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Ba_action%2C%20a_machine_count%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20a_prediction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.md(f%22**Your%20prediction%3A**%20%7Ba_prediction.value%7D.%20**Observed%20consequence%3A**%20%7Bconsequence%7D%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20kind%3D%22info%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20a_capture%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20saved(%22A%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Calculation%20Notes%22%3A%20mo.md(%22The%20test%20compares%20model-state%20bytes%20with%20memory%20bytes%20and%20required%20request%20rate%20with%20per-machine%20rate.%20Coupled%20machines%20may%20divide%20state%20and%20demand%20evenly.%20Independent%20deployment%20devices%20must%20each%20satisfy%20both%20limits%3B%20fleet%20size%20is%20noncausal%20for%20local%20fit.%22)%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20def%20part_b()%3A%0A%20%20%20%20%20%20%20%20setup%20%3D%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22%23%23%23%20B%20%C2%B7%20When%20does%20another%20worker%20stop%20helping%3F%20(12%20min)%5CnStrong-scale%20one%20fixed%20step%20on%20the%20**%7Bprofile.scaling_system%7D**.%20Choose%20a%20width%2C%20network%20tier%2C%20and%20coordination%20condition%2C%20then%20predict%20the%20dominant%20term.%22%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20if%20b_prediction.value%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20return%20mo.vstack(%5Bsetup%2C%20mo.hstack(%5Bb_workers%2C%20b_bandwidth%2C%20b_coordination%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20b_prediction%5D)%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure()%0A%20%20%20%20%20%20%20%20for%20label%2C%20result%20in%20((%22One%20worker%22%2C%20b_baseline_result)%2C%20(%22Changed%22%2C%20b_changed_result))%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20for%20name%2C%20value%2C%20color%20in%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20(%22Compute%22%2C%20result.compute_time%2C%20COLORS%5B%22BlueLine%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20(%22Communication%22%2C%20result.communication_time%2C%20COLORS%5B%22OrangeLine%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20(%22Coordination%22%2C%20result.coordination_time%2C%20COLORS%5B%22GreenLine%22%5D)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20figure.add_bar(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20name%3Dname%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20x%3D%5Blabel%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20y%3D%5Bvalue.m_as(%22second%22)%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20marker_color%3Dcolor%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20legendgroup%3Dname%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20showlegend%3Dlabel%20%3D%3D%20%22One%20worker%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20figure.update_layout(%0A%20%20%20%20%20%20%20%20%20%20%20%20barmode%3D%22stack%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20height%3D285%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20yaxis_title%3D%22Analytical%20step%20time%20(s)%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20legend_orientation%3D%22h%22%2C%0A%20%20%20%20%20%20%20%20)%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Run%22%3A%20%22One%20worker%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Step%20time%22%3A%20q(b_baseline_result.step_time%2C%20%22second%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Useful%20throughput%22%3A%20q(b_baseline_result.useful_throughput%2C%20%22count%2Fsecond%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Efficiency%22%3A%20pct(b_baseline_result.scaling_efficiency)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Dominant%22%3A%20b_baseline_result.dominant_term%2C%0A%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%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Run%22%3A%20f%22%7Bb_changed_result.workers%3A%2C%7D%20workers%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Step%20time%22%3A%20q(b_changed_result.step_time%2C%20%22second%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Useful%20throughput%22%3A%20q(b_changed_result.useful_throughput%2C%20%22count%2Fsecond%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Efficiency%22%3A%20pct(b_changed_result.scaling_efficiency)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Dominant%22%3A%20b_changed_result.dominant_term%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%0A%20%20%20%20%20%20%20%20%20%20%20%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20setup%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bb_workers%2C%20b_bandwidth%2C%20b_coordination%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20b_prediction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20apply_plotly_theme(figure)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.md(f%22**Your%20prediction%3A**%20%7Bb_prediction.value%7D.%20**Observed%20consequence%3A**%20useful%20throughput%20is%20%7Bq(b_changed_result.useful_throughput%2C%20'count%2Fsecond')%7D%2C%20while%20scaling%20efficiency%20is%20%7Bpct(b_changed_result.scaling_efficiency)%7D.%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20kind%3D%22danger%22%20if%20b_changed_result.scaling_efficiency%20%3C%200.5%20else%20%22info%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20b_capture%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20saved(%22B%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Calculation%20Notes%22%3A%20mo.md(%22Fixed%20work%20gives%20compute%20time%20%3D%20one-worker%20compute%20time%20%2F%20workers.%20Step%20time%20adds%20compute%2C%20one%20disclosed%20communication%20transfer%2C%20and%20per-worker%20coordination%2C%20then%20subtracts%20bounded%20compute%E2%80%93communication%20overlap.%20Useful%20throughput%20is%20fixed%20work%20%2F%20step%20time%3B%20scaling%20efficiency%20compares%20it%20with%20ideal%20linear%20throughput.%20No%20collective%20algorithm%20is%20selected%20or%20optimized.%22)%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20def%20part_c()%3A%0A%20%20%20%20%20%20%20%20independent_system%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22an%20independent%20serving%20pool%22%0A%20%20%20%20%20%20%20%20%20%20%20%20if%20profile.deployed_coupling%20%3D%3D%20%22coupled_job%22%0A%20%20%20%20%20%20%20%20%20%20%20%20else%20profile.deployed_system%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20setup%20%3D%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%23%23%23%20C%20%C2%B7%20Does%20reliable%20hardware%20make%20a%20reliable%20fleet%3F%20(10%20min)%5Cn%22%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22Use%20the%20same%20independent%20node%20failure%20process%20for%20a%20synchronized%20job%20and%20an%20independently%20operating%20deployment%20(%7Bindependent_system%7D).%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Predict%20whether%20one%20event%20has%20the%20same%20consequence.%22%0A%20%20%20%20%20%20%20%20)%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(%5Bsetup%2C%20mo.hstack(%5Bc_nodes%2C%20c_recovery%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20c_prediction%5D)%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure(%0A%20%20%20%20%20%20%20%20%20%20%20%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20go.Bar(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20name%3D%22At%20least%20one%20event%20over%20horizon%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20x%3D%5B%22Baseline%20fleet%22%2C%20%22Changed%20fleet%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20y%3D%5B100%20*%20c_baseline_result.probability_any_node_event%2C%20100%20*%20c_changed_result.probability_any_node_event%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20marker_color%3DCOLORS%5B%22OrangeLine%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20go.Bar(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20name%3D%22Stationary%20capacity%20unavailable%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20x%3D%5B%22Baseline%20fleet%22%2C%20%22Changed%20fleet%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20y%3D%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20100%20*%20c_baseline_result.independent_unavailable_capacity_fraction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20100%20*%20c_changed_result.independent_unavailable_capacity_fraction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20marker_color%3DCOLORS%5B%22BlueLine%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20figure.update_layout(%0A%20%20%20%20%20%20%20%20%20%20%20%20barmode%3D%22group%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20height%3D285%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20yaxis_title%3D%22Probability%20or%20capacity%20share%20(%25)%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20legend_orientation%3D%22h%22%2C%0A%20%20%20%20%20%20%20%20)%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Run%22%3A%20%22Baseline%20fleet%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Nodes%22%3A%20f%22%7Bc_baseline_result.nodes%3A%2C%7D%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Event%20probability%20over%20horizon%22%3A%20pct(c_baseline_result.probability_any_node_event)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Coupled-job%20effect%22%3A%20%22whole%20job%20interrupted%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Independent%20capacity%20available%22%3A%20pct(c_baseline_result.independent_available_capacity_fraction)%2C%0A%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%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Run%22%3A%20%22Changed%20fleet%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Nodes%22%3A%20f%22%7Bc_changed_result.nodes%3A%2C%7D%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Event%20probability%20over%20horizon%22%3A%20pct(c_changed_result.probability_any_node_event)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Coupled-job%20effect%22%3A%20%22whole%20job%20interrupted%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Independent%20capacity%20available%22%3A%20pct(c_changed_result.independent_available_capacity_fraction)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%0A%20%20%20%20%20%20%20%20%20%20%20%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20setup%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bc_nodes%2C%20c_recovery%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20c_prediction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20apply_plotly_theme(figure)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20f%22**Your%20prediction%3A**%20%7Bc_prediction.value%7D.%20**Observed%20consequence%3A**%20a%20node%20event%20interrupts%20the%20coupled%20job.%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20f%22In%20the%20independent%20deployment%20(%7Bindependent_system%7D)%2C%20it%20removes%20only%20that%20node%20while%20repair-time%20availability%20determines%20the%20remaining%20capacity.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20kind%3D%22info%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20c_capture%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20saved(%22C%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Calculation%20Notes%22%3A%20mo.md(%22The%20event%20probability%20is%20evaluated%20over%20the%20displayed%20observation%20horizon%2C%20starting%20with%20all%20nodes%20operational.%20Independent%20capacity%20uses%20stationary%20repairable%20availability%20A%20%3D%20MTBF%20%2F%20(MTBF%20%2B%20repair%20time).%20These%20are%20different%20quantities%3A%20a%20horizon%20event%20probability%20is%20not%20instantaneous%20unavailable%20capacity.%20Failures%20are%20independent%3B%20correlated%20domains%20are%20a%20stated%20limitation.%22)%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20def%20part_d()%3A%0A%20%20%20%20%20%20%20%20setup%20%3D%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%23%23%23%20D%20%C2%B7%20What%20must%20remain%20available%20during%20a%20partition%3F%20(10%20min)%5CnCompare%20two%20explicit%20policies%20under%20the%20same%20request%20rate%2C%20duration%2C%20and%20affected%20scope.%20Then%20choose%20the%20consequence%20your%20deployment%20can%20accept.%22%0A%20%20%20%20%20%20%20%20)%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(%5Bsetup%2C%20mo.hstack(%5Bd_duration%2C%20d_fraction%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%20d_prediction%5D)%0A%20%20%20%20%20%20%20%20figure%20%3D%20go.Figure(%0A%20%20%20%20%20%20%20%20%20%20%20%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20go.Bar(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20name%3D%22Unavailable%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20x%3D%5B%22Wait%20for%20fresh%22%2C%20%22Serve%20last%20confirmed%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20y%3D%5Bd_wait_result.unavailable_requests.m_as(%22count%22)%2C%20d_stale_result.unavailable_requests.m_as(%22count%22)%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20marker_color%3DCOLORS%5B%22OrangeLine%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20go.Bar(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20name%3D%22Stale%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20x%3D%5B%22Wait%20for%20fresh%22%2C%20%22Serve%20last%20confirmed%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20y%3D%5Bd_wait_result.stale_requests.m_as(%22count%22)%2C%20d_stale_result.stale_requests.m_as(%22count%22)%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20marker_color%3DCOLORS%5B%22BlueLine%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20figure.update_layout(%0A%20%20%20%20%20%20%20%20%20%20%20%20barmode%3D%22stack%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20height%3D275%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20margin%3Ddict(l%3D20%2C%20r%3D20%2C%20t%3D20%2C%20b%3D20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20yaxis_title%3D%22Affected%20requests%20(count)%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20legend_orientation%3D%22h%22%2C%0A%20%20%20%20%20%20%20%20)%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Policy%22%3A%20%22Wait%20for%20fresh%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Unavailable%22%3A%20q(d_wait_result.unavailable_requests%2C%20%22count%22%2C%200)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Stale%22%3A%20q(d_wait_result.stale_requests%2C%20%22count%22%2C%200)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Maximum%20model%20age%22%3A%20q(d_wait_result.maximum_model_age%2C%20%22minute%22%2C%201)%2C%0A%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%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Policy%22%3A%20%22Serve%20last%20confirmed%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Unavailable%22%3A%20q(d_stale_result.unavailable_requests%2C%20%22count%22%2C%200)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Stale%22%3A%20q(d_stale_result.stale_requests%2C%20%22count%22%2C%200)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Maximum%20model%20age%22%3A%20q(d_stale_result.maximum_model_age%2C%20%22minute%22%2C%201)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%0A%20%20%20%20%20%20%20%20%20%20%20%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20setup%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bd_duration%2C%20d_fraction%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20d_prediction%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20apply_plotly_theme(figure)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20d_policy%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(f%22**Your%20prediction%3A**%20%7Bd_prediction.value%7D.%20**Observed%20consequence%3A**%20both%20policies%20see%20%7Bq(d_wait_result.affected_requests%2C%20'count'%2C%200)%7D%20affected%20requests.%20Waiting%20makes%20them%20unavailable%3B%20serving%20continues%20with%20older%20state.%22)%2C%20kind%3D%22danger%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20d_capture%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20saved(%22D%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.accordion(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%7B%22Calculation%20Notes%22%3A%20mo.md(%22Affected%20requests%20%3D%20request%20rate%20%C3%97%20partition%20duration%20%C3%97%20partitioned%20fraction.%20Waiting%20counts%20them%20as%20unavailable.%20Serving%20the%20last%20confirmed%20model%20counts%20them%20as%20stale%20and%20adds%20partition%20duration%20to%20model%20age.%20The%20model%20assigns%20no%20universal%20score%20to%20either%20policy.%22)%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20)%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%22ABCD%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%20if%20capture%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20state%20%3D%20%22MISSING%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20prediction%20%3D%20%22%E2%80%94%22%0A%20%20%20%20%20%20%20%20%20%20%20%20elif%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%20%20%20%20%20state%20%3D%20%22STALE%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20prediction%20%3D%20capture.to_dict()%5B%22prediction%22%5D%0A%20%20%20%20%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20state%20%3D%20%22CURRENT%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20prediction%20%3D%20capture.to_dict()%5B%22prediction%22%5D%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%20prediction%2C%20%22Evidence%22%3A%20state%7D)%0A%20%20%20%20%20%20%20%20complete%20%3D%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20audit.complete%0A%20%20%20%20%20%20%20%20%20%20%20%20and%20all(widget.value%20is%20not%20None%20for%20widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%0A%20%20%20%20%20%20%20%20%20%20%20%20and%20final_choice.value%20!%3D%20final_rejected.value%0A%20%20%20%20%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20status%20%3D%20%22**Ready%20for%20the%20local%20fleet%20memo.**%22%20if%20complete%20else%20%22Capture%20four%20current%20contrasts%2C%20choose%20different%20recommendation%20and%20rejected%20options%2C%20and%20complete%20the%20rationale.%22%0A%20%20%20%20%20%20%20%20return%20mo.vstack(%0A%20%20%20%20%20%20%20%20%20%20%20%20%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.md(%22%23%23%23%20Synthesis%20%C2%B7%20Where%20should%20scaling%20stop%3F%20(6%20min)%5CnUse%20the%20saved%20capacity%2C%20C%C2%B3%2C%20failure%2C%20and%20partition%20evidence.%20Choose%20one%20option%2C%20quantify%20a%20rejected%20alternative%20in%20your%20rationale%2C%20name%20a%20remaining%20limitation%2C%20and%20set%20a%20reevaluation%20trigger.%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20table(rows)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(%22Saved%20snapshots%20remain%20fixed%20while%20live%20controls%20move.%20Recapture%20stale%20evidence%20before%20reporting.%22)%2C%20kind%3D%22info%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bfinal_choice%2C%20final_rejected%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.hstack(%5Bfinal_trigger%2C%20final_risk%5D%2C%20widths%3D%22equal%22%2C%20wrap%3DTrue)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20rationale%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20mo.callout(mo.md(status)%2C%20kind%3D%22success%22%20if%20complete%20else%20%22warn%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%5D%0A%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20tabs%20%3D%20mo.ui.tabs(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Part%20A%20%C2%B7%20Capacity%22%3A%20part_a()%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Part%20B%20%C2%B7%20C%C2%B3%20Scaling%22%3A%20part_b()%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Part%20C%20%C2%B7%20Failure%22%3A%20part_c()%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Part%20D%20%C2%B7%20Partition%22%3A%20part_d()%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Synthesis%22%3A%20build_synthesis()%2C%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20)%0A%20%20%20%20tabs%0A%20%20%20%20return%20(audit%2C)%0A%0A%0A%40app.cell%0Adef%20_(%0A%20%20%20%20audit%2C%0A%20%20%20%20build_lab_report%2C%0A%20%20%20%20final_choice%2C%0A%20%20%20%20final_rejected%2C%0A%20%20%20%20final_risk%2C%0A%20%20%20%20final_trigger%2C%0A%20%20%20%20get_evidence%2C%0A%20%20%20%20get_lab_metadata%2C%0A%20%20%20%20mo%2C%0A%20%20%20%20profile%2C%0A%20%20%20%20rationale%2C%0A%20%20%20%20report_export_panel%2C%0A%20%20%20%20track_id%2C%0A)%3A%0A%20%20%20%20_captures%20%3D%20get_evidence()%0A%20%20%20%20_ready%20%3D%20(%0A%20%20%20%20%20%20%20%20audit.complete%0A%20%20%20%20%20%20%20%20and%20all(widget.value%20is%20not%20None%20for%20widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%0A%20%20%20%20%20%20%20%20and%20final_choice.value%20!%3D%20final_rejected.value%0A%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20)%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(%22vol2%2Flab_01_introduction.py%22)%2C%0A%20%20%20%20%20%20%20%20track%3Dtrack_id%2C%0A%20%20%20%20%20%20%20%20scenario%3Df%22%7Bprofile.deployed_system%7D%3B%20%7Bprofile.scaling_system%7D%22%2C%0A%20%20%20%20%20%20%20%20learning_objectives%3D%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Find%20a%20per-machine%20capacity%20boundary%20without%20pooling%20independent-device%20memory%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20if%20profile.deployed_coupling%20%3D%3D%20%22independent_devices%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20else%20%22Find%20a%20capacity%20boundary%20where%20coupled%20workers%20shard%20state%20and%20aggregate%20rate%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Decompose%20useful%20fleet%20throughput%20into%20compute%2C%20communication%2C%20and%20coordination%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Distinguish%20coupled-job%20interruption%20from%20repairable%20independent%20capacity%20loss%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Quantify%20unavailable%20and%20stale%20requests%20during%20a%20partition%22%2C%0A%20%20%20%20%20%20%20%20%5D%2C%0A%20%20%20%20%20%20%20%20predictions%3D%7Bpart%3A%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%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20part%3A%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22baseline%22%3A%20snapshots%5Bpart%5D%5B%22baseline%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22result%22%3A%20snapshots%5Bpart%5D%5B%22result%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22alternatives%22%3A%20snapshots%5Bpart%5D%5B%22alternatives%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20for%20part%20in%20%22ABCD%22%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20binding_constraints%3D%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22A%22%3A%20snapshots%5B%22A%22%5D%5B%22result%22%5D%5B%22outputs%22%5D%5B%22remedy%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22B%22%3A%20snapshots%5B%22B%22%5D%5B%22result%22%5D%5B%22outputs%22%5D%5B%22dominant_term%22%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22C%22%3A%20%22coupled%20interruption%20versus%20repairable%20independent%20capacity%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22D%22%3A%20snapshots%5B%22D%22%5D%5B%22decision%22%5D%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20decisions%3D%7B%0A%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%22rejected_alternative%22%3A%20final_rejected.value%2C%0A%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%7D%2C%0A%20%20%20%20%20%20%20%20final_decision%3D%7B%0A%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%22rejected_alternative%22%3A%20final_rejected.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22rationale%22%3A%20rationale.value%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20big_takeaways%3D%5B%0A%20%20%20%20%20%20%20%20%20%20%20%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22Independent%20devices%20do%20not%20pool%20memory.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20if%20profile.deployed_coupling%20%3D%3D%20%22independent_devices%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20else%20%22Coupled%20workers%20may%20shard%20state%20and%20aggregate%20rate%20in%20this%20first-order%20boundary.%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Useful%20fleet%20throughput%20depends%20on%20all%20three%20C%C2%B3%20time%20terms.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Failure%20consequences%20depend%20on%20workload%20coupling%20and%20repair%20time.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22Partition%20policy%20trades%20unavailable%20requests%20against%20older%20model%20state.%22%2C%0A%20%20%20%20%20%20%20%20%5D%2C%0A%20%20%20%20%20%20%20%20reflections%3D%7B%22rationale%22%3A%20rationale.value%2C%20%22reevaluation_trigger%22%3A%20final_trigger.value%7D%2C%0A%20%20%20%20%20%20%20%20residual_risk%3Dfinal_risk.value%2C%0A%20%20%20%20%20%20%20%20result_snapshot%3D%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22track%22%3A%20track_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22captures%22%3A%20snapshots%2C%0A%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%22rejected_alternative%22%3A%20final_rejected.value%2C%0A%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%22residual_risk%22%3A%20final_risk.value%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20source_trace%3D%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22scenario%22%3A%20%22Explicit%20illustrative%20fleet%20assumptions%3B%20analytical%20rather%20than%20measured.%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22calculations%22%3A%20%22Unit-aware%20fleet%20capacity%2C%20C%C2%B3%2C%20failure%2C%20and%20partition%20models.%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack(%5Bmo.md(%22%23%23%20Local%20fleet%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_ready%20%3D%20(%0A%20%20%20%20%20%20%20%20audit.complete%0A%20%20%20%20%20%20%20%20and%20all(widget.value%20is%20not%20None%20for%20widget%20in%20(final_choice%2C%20final_rejected%2C%20final_trigger%2C%20final_risk))%0A%20%20%20%20%20%20%20%20and%20final_choice.value%20!%3D%20final_rejected.value%0A%20%20%20%20%20%20%20%20and%20bool(rationale.value.strip())%0A%20%20%20%20)%0A%20%20%20%20status%20%3D%20%22EVIDENCE%20IN%20PROGRESS%22%0A%20%20%20%20if%20_ready%3A%0A%20%20%20%20%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20ledger.save(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20chapter%3D1%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%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22lab_id%22%3A%20%22v2_01%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%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_01_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%20get_evidence().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%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%22rationale%22%3A%20rationale.value%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%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%20status%20%3D%20%22SAVED%22%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%20status%20%3D%20f%22SAVE%20FAILED%20%C2%B7%20%7Btype(error).__name__%7D%22%0A%20%20%20%20mo.Html(%0A%20%20%20%20%20%20%20%20f'%3Cdiv%20class%3D%22lab-hud%22%3E%3Cspan%20class%3D%22hud-label%22%3ELAB%3C%2Fspan%3E%3Cspan%20class%3D%22hud-value%22%3E%C2%B7%2001%20%C2%B7%20The%20Fleet%20Is%20the%20System%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%C2%B7%20%7Bstatus%7D%3C%2Fspan%3E%3C%2Fdiv%3E'%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A