5-test-migration (7): money_carrier_cost_witness — witness authored, v1 module deleted

dsl/test/claim/cost_estimate_float_witness_test.dag

@@ -0,0 +1,10 @@
+module test.claim.cost_estimate_float_witness_test
+
+import examples.cost_estimate { cost_projection_float_witness }
+import std.logic { Bool }
+
+data cost_estimate_float_witness_provenance: String = "Floor witness migrated from src/v1/tests/src/money_carrier_cost_witness_test.rs (5-test-migration lane): the Float-in-v2 cost-projection witness, marker-discovered instead of the v1 Rust harness."
+
+test fn cost_projection_float_witness_holds() -> Bool {
+  cost_projection_float_witness()
+}

src/v1/tests/src/lib.rs

@@ -45,7 +45,6 @@ mod derive_bound_fail_closed_test;
 #[cfg(test)]
 mod diagnostics;
 #[cfg(test)]
-#[cfg(test)]
 mod effects;
 #[cfg(test)]
 mod eval_measurement_purity_test;
@@ -56,7 +55,6 @@ mod floor_skip_discovery_host_test;
 #[cfg(test)]
 mod fn_as_value_test;
 #[cfg(test)]
-#[cfg(test)]
 mod fold_unused_element_clone_elision_test;
 #[cfg(test)]
 mod func_env_scope_chain_test;
@@ -107,11 +105,8 @@ mod measure_value_arg_unit_collapse_test;
 #[cfg(test)]
 mod module_authority_resolution_test;
 #[cfg(test)]
-mod money_carrier_cost_witness_test;
-#[cfg(test)]
 mod nested_list_alias_emit_test;
 #[cfg(test)]
-#[cfg(test)]
 mod nodefold_generic_instantiation_test;
 #[cfg(test)]
 mod optional_carrier_signature_test;
@@ -130,7 +125,6 @@ mod peano_materialization_cap_test;
 #[cfg(test)]
 mod pipeline;
 #[cfg(test)]
-#[cfg(test)]
 mod rc_probe_wire_decode_call_test;
 #[cfg(test)]
 mod render_repeat_test;