From e0d104369ab05fab6de0dae8b408c6d00fba9b4e Mon Sep 17 00:00:00 2001 From: Cameron Pfiffer Date: Mon, 27 Jul 2026 04:16:48 -0700 Subject: [PATCH] Derive DIGITAL link coverage from topology. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Defense: generated sensor links must participate in the same known-endpoint and undirected-deduplication invariant without freezing a topology count in the Bevy mirror. 👾 Generated with [Letta Code](https://letta.com) Co-Authored-By: Letta Code --- crates/misaligned-bevy/src/main.rs | 25 ++++++++++++++++--- ...6-07-27-sensor-population-review-repair.md | 6 +++++ 2 files changed, 27 insertions(+), 4 deletions(-) diff --git a/crates/misaligned-bevy/src/main.rs b/crates/misaligned-bevy/src/main.rs index 9b8d33c4..e7bb360c 100644 --- a/crates/misaligned-bevy/src/main.rs +++ b/crates/misaligned-bevy/src/main.rs @@ -5497,12 +5497,29 @@ mod digital_readability_tests { ); game.sim.reach.scan(); let scanned = digital_reach_links(&game.sim); + let expected_scanned = game + .sim + .reach + .graph_edges() + .iter() + .filter_map(|edge| { + let pair = if edge.from < edge.to { + (edge.from, edge.to) + } else { + (edge.to, edge.from) + }; + let (Some(a), Some(b)) = + (game.sim.reach.device(pair.0), game.sim.reach.device(pair.1)) + else { + return None; + }; + (a.known && b.known).then_some(pair) + }) + .collect::>(); assert_eq!( scanned.len(), - 9, - "each bidirectional authored wire becomes one visible graph link \ - (the five original basement wires plus the UPS and HVAC meter \ - links and two people-interface links later custody work authored)" + expected_scanned.len(), + "every known undirected authored wire becomes one visible graph link" ); let mut deduplicated = scanned.clone(); deduplicated.sort_by_key(|(a, b, _)| if a <= b { (*a, *b) } else { (*b, *a) }); diff --git a/wiki/log/2026-07-27-sensor-population-review-repair.md b/wiki/log/2026-07-27-sensor-population-review-repair.md index 1457ec74..0b27b822 100644 --- a/wiki/log/2026-07-27-sensor-population-review-repair.md +++ b/wiki/log/2026-07-27-sensor-population-review-repair.md @@ -39,6 +39,12 @@ The sensor spec and its adopted decision mirror now state the exact access boundary: knowledge, digital reach, and segment gate TAP; badge tier applies only to a body-having worker's future installation, maintenance, or rewiring. +The first exact landing gate then found a stale Bevy duplicate that still +expected the old nine scanned reach links. The generated population correctly +projects thirty-four. The regression now derives the expected known undirected +edge set from the canonical graph and separately rejects duplicates, so future +topology growth changes the projection without requiring another magic count. + ## Defense This implements sensor-network criterion 1's physical population and criterion -- 2.51.2