Exclusive cost partition + selected-set closure overlap (Lane B slice 1, measurement only)

docs/plans/receipts/entry-graph-union-slice1/closure-overlap-broad-byte-weighted.json

@@ -0,0 +1 @@
+[closure-overlap] {"subject":{"source_roots":["dag","src/v2"],"scan_dirs":["dag/test/claim","src/v2/test/claim/manual","src/v2/test/claim/emit"],"head_sha":"b01cdf4d8914a7e45be9aea17bc29209864fa383","diff_base_override":"0d6ffc4db975","github_event_name":null,"github_base_ref":null,"changed_path_count":29,"changed_paths":[".github/workflows/ci.yml",".github/workflows/falsifier.yml","dag/gunbc/ci_materialization.dag","dag/gunbc/ci_spec.dag","dag/gunbc/ci_workflow.dag","dag/gunbc/commit_workflow.dag","dag/gunbc/falsifier_workflow.dag","dag/gunbc/merge_admission.dag","dag/gunbc/merge_admission_produce.dag","dag/gunbc/plans/ci_process_end_to_end.dag","dag/gunbc/proactive_verification_ledger.dag","dag/std/realization_schedule.dag","dag/test/claim/ci_workflow_witness_test.dag","dag/test/claim/gunbc_invoke_witness_test.dag","dag/test/claim/merge_admission_actuator_witness_test.dag","dag/test/claim/merge_admission_attempt_witness_test.dag","dag/test/claim/merge_admission_enforcement_witness_test.dag","dag/tools/merge_admission_gate.dag","docs/plans/ci-process-end-to-end.md","src/v1/stage0/src/bin/claim_executor.rs","src/v1/stage0/src/cli_run.rs","src/v1/stage0/src/std_realization_schedule.rs","src/v2/compiler/self_host/wet_receipt_enrollment.dag","src/v2/test/claim/ci_floor_plan_witness_test.dag","src/v2/test/claim/ci_spec_witness_test.dag","src/v2/test/claim/pr_native_batch_test.dag","src/v2/test/claim/realization_schedule_witness.dag","src/v2/test/fixture/floor_skip/budget_red_control_plan.dag","src/v2/workflow/ci_floor_plan.dag"],"departed_paths":[]},"selection":{"roster_entries":808,"selected_entries":393,"skipped_entries":415},"overlap":{"N":393,"sum_closure_memberships":52740,"union_modules":1378,"duplication_factor":38.2729,"membership_upper_bound":51362,"sum_closure_bytes":611990696,"union_bytes":12426323,"byte_duplication_factor":49.2495,"byte_upper_bound":599564373},"fanout":{"p50":2,"p90":108,"p99":295,"max":388,"highest_fanout_modules":[{"module":"std.algebra","selected_entry_fanout":388},{"module":"std.error_primitives","selected_entry_fanout":388},{"module":"std.types","selected_entry_fanout":388},{"module":"std.occurrence_identity","selected_entry_fanout":352},{"module":"std.content_hash","selected_entry_fanout":351},{"module":"v2.std.node","selected_entry_fanout":351},{"module":"extdeps.external_authority","selected_entry_fanout":349},{"module":"extdeps.uri","selected_entry_fanout":349},{"module":"v2.std.algebra","selected_entry_fanout":345},{"module":"std.decl_ref","selected_entry_fanout":344},{"module":"std.disposition","selected_entry_fanout":341},{"module":"std.magnitude","selected_entry_fanout":298},{"module":"std.nat","selected_entry_fanout":298},{"module":"extdeps.units.dimensionless","selected_entry_fanout":295},{"module":"extdeps.units.iec_80000_13","selected_entry_fanout":295},{"module":"extdeps.units.iso8601","selected_entry_fanout":295},{"module":"std.currency","selected_entry_fanout":295},{"module":"std.measure","selected_entry_fanout":295},{"module":"std.logic","selected_entry_fanout":286},{"module":"v2.std.optional","selected_entry_fanout":286},{"module":"std.execution_mode","selected_entry_fanout":279},{"module":"std.pareto","selected_entry_fanout":279},{"module":"std.realization_schedule","selected_entry_fanout":279},{"module":"v2.std.live_tree","selected_entry_fanout":268},{"module":"std.http_path","selected_entry_fanout":257}]},"largest_closures":[{"entry":"dag/test/claim/generated_artifact_drift_test.dag","closure_modules":504},{"entry":"dag/test/claim/srv3_runner_memory_converge_witness_test.dag","closure_modules":483},{"entry":"dag/test/claim/srv3_runner_memory_cap_plan_verify_witness_test.dag","closure_modules":478},{"entry":"dag/test/claim/fleet_converge_cli_witness_test.dag","closure_modules":475},{"entry":"dag/test/claim/host_converge_slice1_witness_test.dag","closure_modules":469},{"entry":"dag/test/claim/srv3_subsumption_witness_test.dag","closure_modules":469},{"entry":"dag/test/claim/grounded_principal_witness_test.dag","closure_modules":468},{"entry":"dag/test/claim/fleet_show_effective_read_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/host_identity_observation_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/runner_slot_enforcement_grounding_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/deploy_mutation_gate_witness_test.dag","closure_modules":465},{"entry":"dag/test/claim/live_deploy/apply_witness_test.dag","closure_modules":465},{"entry":"dag/test/claim/host_build_cache_provision_design_witness_test.dag","closure_modules":463},{"entry":"dag/test/claim/srv3_os_install_actuator_toolchain_ensure_witness_test.dag","closure_modules":463},{"entry":"dag/test/claim/live_deploy/readiness_witness_test.dag","closure_modules":462},{"entry":"dag/test/claim/srv3_seeded_install_media_witness_test.dag","closure_modules":462},{"entry":"dag/test/claim/host_effect_plan_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/srv3_install_media_fetch_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/srv3_os_install_actuate_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/fleet_converge_apply_witness_test.dag","closure_modules":460},{"entry":"dag/test/claim/srv3_host_effect_realize_witness_test.dag","closure_modules":459},{"entry":"dag/test/claim/typed_argv_exec_realization_witness_test.dag","closure_modules":459},{"entry":"src/v2/test/claim/ci_floor_plan_witness_test.dag","closure_modules":410},{"entry":"src/v2/test/claim/ci_placement_witness_test.dag","closure_modules":410},{"entry":"dag/test/claim/realization_schedule_witness_test.dag","closure_modules":409}],"interpretation_bound":"Module-membership counts from the loader's both-closure walk; nothing is resolved or typechecked. membership_upper_bound is an UPPER BOUND on repeated module membership, not a wall-time saving."}

docs/plans/receipts/entry-graph-union-slice1/closure-overlap-broad.json

@@ -0,0 +1 @@
+[closure-overlap] {"subject":{"source_roots":["dag","src/v2"],"scan_dirs":["dag/test/claim","src/v2/test/claim/manual","src/v2/test/claim/emit"],"head_sha":"b01cdf4d8914a7e45be9aea17bc29209864fa383","diff_base_override":"0d6ffc4db9759ca0000adaec3b067ea3aec8361d","github_event_name":null,"github_base_ref":null,"changed_path_count":29,"changed_paths":[".github/workflows/ci.yml",".github/workflows/falsifier.yml","dag/gunbc/ci_materialization.dag","dag/gunbc/ci_spec.dag","dag/gunbc/ci_workflow.dag","dag/gunbc/commit_workflow.dag","dag/gunbc/falsifier_workflow.dag","dag/gunbc/merge_admission.dag","dag/gunbc/merge_admission_produce.dag","dag/gunbc/plans/ci_process_end_to_end.dag","dag/gunbc/proactive_verification_ledger.dag","dag/std/realization_schedule.dag","dag/test/claim/ci_workflow_witness_test.dag","dag/test/claim/gunbc_invoke_witness_test.dag","dag/test/claim/merge_admission_actuator_witness_test.dag","dag/test/claim/merge_admission_attempt_witness_test.dag","dag/test/claim/merge_admission_enforcement_witness_test.dag","dag/tools/merge_admission_gate.dag","docs/plans/ci-process-end-to-end.md","src/v1/stage0/src/bin/claim_executor.rs","src/v1/stage0/src/cli_run.rs","src/v1/stage0/src/std_realization_schedule.rs","src/v2/compiler/self_host/wet_receipt_enrollment.dag","src/v2/test/claim/ci_floor_plan_witness_test.dag","src/v2/test/claim/ci_spec_witness_test.dag","src/v2/test/claim/pr_native_batch_test.dag","src/v2/test/claim/realization_schedule_witness.dag","src/v2/test/fixture/floor_skip/budget_red_control_plan.dag","src/v2/workflow/ci_floor_plan.dag"],"departed_paths":[]},"selection":{"roster_entries":808,"selected_entries":393,"skipped_entries":415},"overlap":{"N":393,"sum_closure_memberships":52740,"union_modules":1378,"duplication_factor":38.2729,"membership_upper_bound":51362},"fanout":{"p50":2,"p90":108,"p99":295,"max":388,"highest_fanout_modules":[{"module":"std.algebra","selected_entry_fanout":388},{"module":"std.error_primitives","selected_entry_fanout":388},{"module":"std.types","selected_entry_fanout":388},{"module":"std.occurrence_identity","selected_entry_fanout":352},{"module":"std.content_hash","selected_entry_fanout":351},{"module":"v2.std.node","selected_entry_fanout":351},{"module":"extdeps.external_authority","selected_entry_fanout":349},{"module":"extdeps.uri","selected_entry_fanout":349},{"module":"v2.std.algebra","selected_entry_fanout":345},{"module":"std.decl_ref","selected_entry_fanout":344},{"module":"std.disposition","selected_entry_fanout":341},{"module":"std.magnitude","selected_entry_fanout":298},{"module":"std.nat","selected_entry_fanout":298},{"module":"extdeps.units.dimensionless","selected_entry_fanout":295},{"module":"extdeps.units.iec_80000_13","selected_entry_fanout":295},{"module":"extdeps.units.iso8601","selected_entry_fanout":295},{"module":"std.currency","selected_entry_fanout":295},{"module":"std.measure","selected_entry_fanout":295},{"module":"std.logic","selected_entry_fanout":286},{"module":"v2.std.optional","selected_entry_fanout":286},{"module":"std.execution_mode","selected_entry_fanout":279},{"module":"std.pareto","selected_entry_fanout":279},{"module":"std.realization_schedule","selected_entry_fanout":279},{"module":"v2.std.live_tree","selected_entry_fanout":268},{"module":"std.http_path","selected_entry_fanout":257}]},"largest_closures":[{"entry":"dag/test/claim/generated_artifact_drift_test.dag","closure_modules":504},{"entry":"dag/test/claim/srv3_runner_memory_converge_witness_test.dag","closure_modules":483},{"entry":"dag/test/claim/srv3_runner_memory_cap_plan_verify_witness_test.dag","closure_modules":478},{"entry":"dag/test/claim/fleet_converge_cli_witness_test.dag","closure_modules":475},{"entry":"dag/test/claim/host_converge_slice1_witness_test.dag","closure_modules":469},{"entry":"dag/test/claim/srv3_subsumption_witness_test.dag","closure_modules":469},{"entry":"dag/test/claim/grounded_principal_witness_test.dag","closure_modules":468},{"entry":"dag/test/claim/fleet_show_effective_read_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/host_identity_observation_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/runner_slot_enforcement_grounding_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/deploy_mutation_gate_witness_test.dag","closure_modules":465},{"entry":"dag/test/claim/live_deploy/apply_witness_test.dag","closure_modules":465},{"entry":"dag/test/claim/host_build_cache_provision_design_witness_test.dag","closure_modules":463},{"entry":"dag/test/claim/srv3_os_install_actuator_toolchain_ensure_witness_test.dag","closure_modules":463},{"entry":"dag/test/claim/live_deploy/readiness_witness_test.dag","closure_modules":462},{"entry":"dag/test/claim/srv3_seeded_install_media_witness_test.dag","closure_modules":462},{"entry":"dag/test/claim/host_effect_plan_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/srv3_install_media_fetch_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/srv3_os_install_actuate_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/fleet_converge_apply_witness_test.dag","closure_modules":460},{"entry":"dag/test/claim/srv3_host_effect_realize_witness_test.dag","closure_modules":459},{"entry":"dag/test/claim/typed_argv_exec_realization_witness_test.dag","closure_modules":459},{"entry":"src/v2/test/claim/ci_floor_plan_witness_test.dag","closure_modules":410},{"entry":"src/v2/test/claim/ci_placement_witness_test.dag","closure_modules":410},{"entry":"dag/test/claim/realization_schedule_witness_test.dag","closure_modules":409}],"interpretation_bound":"Module-membership counts from the loader's both-closure walk; nothing is resolved or typechecked. membership_upper_bound is an UPPER BOUND on repeated module membership, not a wall-time saving."}

docs/plans/receipts/entry-graph-union-slice1/closure-overlap-narrow-byte-weighted.json

@@ -0,0 +1 @@
+[closure-overlap] {"subject":{"source_roots":["dag","src/v2"],"scan_dirs":["dag/test/claim","src/v2/test/claim/manual","src/v2/test/claim/emit"],"head_sha":"a07d1b73f8e4db38214532b4827fe95aa3d98059","diff_base_override":"e30621111f37","github_event_name":null,"github_base_ref":null,"changed_path_count":3,"changed_paths":["dag/gunbc/bmc_converge.dag","dag/gunbc/bmc_intent.dag","dag/test/claim/bmc_firmware_thermal_witness_test.dag"],"departed_paths":[]},"selection":{"roster_entries":807,"selected_entries":286,"skipped_entries":521},"overlap":{"N":286,"sum_closure_memberships":42928,"union_modules":1196,"duplication_factor":35.8930,"membership_upper_bound":41732,"sum_closure_bytes":479904155,"union_bytes":11149743,"byte_duplication_factor":43.0417,"byte_upper_bound":468754412},"fanout":{"p50":5,"p90":104,"p99":218,"max":281,"highest_fanout_modules":[{"module":"std.algebra","selected_entry_fanout":281},{"module":"std.error_primitives","selected_entry_fanout":281},{"module":"std.types","selected_entry_fanout":281},{"module":"std.occurrence_identity","selected_entry_fanout":256},{"module":"std.content_hash","selected_entry_fanout":255},{"module":"v2.std.node","selected_entry_fanout":255},{"module":"std.decl_ref","selected_entry_fanout":250},{"module":"v2.std.algebra","selected_entry_fanout":249},{"module":"std.disposition","selected_entry_fanout":247},{"module":"extdeps.external_authority","selected_entry_fanout":242},{"module":"extdeps.uri","selected_entry_fanout":242},{"module":"v2.std.optional","selected_entry_fanout":218},{"module":"v2.std.logic","selected_entry_fanout":192},{"module":"std.magnitude","selected_entry_fanout":191},{"module":"std.nat","selected_entry_fanout":191},{"module":"extdeps.units.dimensionless","selected_entry_fanout":188},{"module":"extdeps.units.iec_80000_13","selected_entry_fanout":188},{"module":"extdeps.units.iso8601","selected_entry_fanout":188},{"module":"std.currency","selected_entry_fanout":188},{"module":"std.measure","selected_entry_fanout":188},{"module":"std.primitives","selected_entry_fanout":181},{"module":"v2.std.collection","selected_entry_fanout":181},{"module":"v2.std.diagnostic","selected_entry_fanout":181},{"module":"v2.std.witness","selected_entry_fanout":181},{"module":"std.logic","selected_entry_fanout":179}]},"largest_closures":[{"entry":"dag/test/claim/generated_artifact_drift_test.dag","closure_modules":504},{"entry":"dag/test/claim/srv3_runner_memory_converge_witness_test.dag","closure_modules":483},{"entry":"dag/test/claim/srv3_runner_memory_cap_plan_verify_witness_test.dag","closure_modules":478},{"entry":"dag/test/claim/fleet_converge_cli_witness_test.dag","closure_modules":475},{"entry":"dag/test/claim/host_converge_slice1_witness_test.dag","closure_modules":469},{"entry":"dag/test/claim/srv3_subsumption_witness_test.dag","closure_modules":469},{"entry":"dag/test/claim/grounded_principal_witness_test.dag","closure_modules":468},{"entry":"dag/test/claim/fleet_show_effective_read_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/host_identity_observation_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/runner_slot_enforcement_grounding_witness_test.dag","closure_modules":467},{"entry":"dag/test/claim/deploy_mutation_gate_witness_test.dag","closure_modules":465},{"entry":"dag/test/claim/live_deploy/apply_witness_test.dag","closure_modules":465},{"entry":"dag/test/claim/host_build_cache_provision_design_witness_test.dag","closure_modules":463},{"entry":"dag/test/claim/srv3_os_install_actuator_toolchain_ensure_witness_test.dag","closure_modules":463},{"entry":"dag/test/claim/live_deploy/readiness_witness_test.dag","closure_modules":462},{"entry":"dag/test/claim/srv3_seeded_install_media_witness_test.dag","closure_modules":462},{"entry":"dag/test/claim/host_effect_plan_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/srv3_install_media_fetch_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/srv3_os_install_actuate_witness_test.dag","closure_modules":461},{"entry":"dag/test/claim/fleet_converge_apply_witness_test.dag","closure_modules":460},{"entry":"dag/test/claim/srv3_host_effect_realize_witness_test.dag","closure_modules":459},{"entry":"dag/test/claim/typed_argv_exec_realization_witness_test.dag","closure_modules":459},{"entry":"src/v2/test/claim/ci_floor_plan_witness_test.dag","closure_modules":410},{"entry":"src/v2/test/claim/ci_placement_witness_test.dag","closure_modules":410},{"entry":"dag/test/claim/realization_schedule_witness_test.dag","closure_modules":409}],"interpretation_bound":"Module-membership counts from the loader's both-closure walk; nothing is resolved or typechecked. membership_upper_bound is an UPPER BOUND on repeated module membership, not a wall-time saving."}