HAND delete-sweep A2: retire duplicate v1 lens coverage (floor is authority)

src/v1/stage0/src/doc_reachability_project.rs

@@ -328,32 +328,4 @@ mod tests {
         let t = bind_md_refs(c);
         assert_eq!(t, vec!["docs/planning/foo.md", "bar.md"]);
     }
-
-    #[test]
-    fn live_tree_has_no_orphan_docs() {
-        let report = build_doc_graph_report();
-        assert!(
-            report.orphans.is_empty(),
-            "orphan docs (unreachable from any root): {:?}",
-            report.orphans
-        );
-    }
-
-    #[test]
-    fn live_tree_doc_universe_is_nonempty() {
-        assert!(
-            doc_graph_doc_count() > 0,
-            "expected a non-empty docs/ universe; zero means read_dir fail-open"
-        );
-    }
-
-    #[test]
-    fn live_tree_has_no_dangling_md_links() {
-        let report = build_doc_graph_report();
-        assert!(
-            report.dangling.is_empty(),
-            "dangling .md links: {:?}",
-            report.dangling
-        );
-    }
 }

src/v1/stage0/src/inert_carrier_project.rs

@@ -403,45 +403,4 @@ mod tests {
         ]);
         assert!(!inert.contains(&"Dup".to_string()));
     }
-
-    // LIVE-TREE gates. These run over the real corpus and must hold on main; they are the executable
-    // floor the `.dag` witness mirrors.
-    #[test]
-    fn live_tree_declared_universe_is_nonempty() {
-        assert!(
-            inert_carrier_declared_count() > 0,
-            "expected non-empty type-carrier universe; zero means the corpus walk fail-opened"
-        );
-    }
-
-    #[test]
-    fn live_tree_no_unrostered_inert_carrier() {
-        let report = build_report();
-        let roster: BTreeSet<&str> = INERT_CARRIER_ROSTER.iter().copied().collect();
-        let unrostered: Vec<&String> = report
-            .inert
-            .iter()
-            .filter(|n| !roster.contains(n.as_str()))
-            .collect();
-        assert!(
-            unrostered.is_empty(),
-            "new inert carrier(s) not on the exception roster (wire a consumer, or add to \
-             INERT_CARRIER_ROSTER with a dissolve-on): {unrostered:?}"
-        );
-    }
-
-    #[test]
-    fn live_tree_roster_has_no_stale_entries() {
-        let report = build_report();
-        let inert: BTreeSet<&String> = report.inert.iter().collect();
-        let stale: Vec<&&str> = INERT_CARRIER_ROSTER
-            .iter()
-            .filter(|n| !inert.contains(&n.to_string()))
-            .collect();
-        assert!(
-            stale.is_empty(),
-            "roster entries that are no longer inert (gained a consumer or were deleted) — remove \
-             them so the roster shrinks: {stale:?}"
-        );
-    }
 }

src/v1/stage0/src/non_fold_residue_project.rs

@@ -590,40 +590,4 @@ mod tests {
             "a real wildcard arm must still be flagged despite an in-string decoy; got {sites:?}"
         );
     }
-
-    #[test]
-    fn live_tree_coproduct_universe_is_nonempty() {
-        assert!(
-            non_fold_residue_coproduct_universe_count() > 0,
-            "expected a non-empty closed-coproduct universe; zero means the corpus walk fail-opened"
-        );
-    }
-
-    #[test]
-    fn live_tree_no_unrostered_non_fold_residue() {
-        let roster: BTreeSet<&str> = NON_FOLD_RESIDUE_ROSTER.iter().copied().collect();
-        let unrostered: Vec<String> = residue_sites(&corpus_dag_files())
-            .into_iter()
-            .filter(|s| !roster.contains(s.as_str()))
-            .collect();
-        assert!(
-            unrostered.is_empty(),
-            "new non-fold residue (wildcard over a closed-coproduct param) — migrate to a total fold \
-             or add to NON_FOLD_RESIDUE_ROSTER with a dissolve-on: {unrostered:?}"
-        );
-    }
-
-    #[test]
-    fn live_tree_residue_roster_has_no_stale_entries() {
-        let live: BTreeSet<String> = residue_sites(&corpus_dag_files()).into_iter().collect();
-        let stale: Vec<&&str> = NON_FOLD_RESIDUE_ROSTER
-            .iter()
-            .filter(|s| !live.contains(&s.to_string()))
-            .collect();
-        assert!(
-            stale.is_empty(),
-            "roster entries that are no longer residue (migrated or deleted) — remove them so the \
-             roster shrinks: {stale:?}"
-        );
-    }
 }

src/v1/tests/src/lib.rs

@@ -51,8 +51,6 @@ mod eval_measurement_purity_test;
 #[cfg(test)]
 mod extdeps_shape_transport_policy_lens_test;
 #[cfg(test)]
-mod fact_cardinality_lens_test;
-#[cfg(test)]
 mod faithful_string_element_char_witness_test;
 #[cfg(test)]
 mod floor_skip_discovery_host_test;