Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion dag/gunbc/witness/witness_deferral_freeze.dag
Original file line number Diff line number Diff line change
Expand Up @@ -1034,7 +1034,6 @@ data frozen_path_deferrals: List<FrozenPathDeferral> = [
"native_routing_green_control_bound_entry_reaches_subject"
]
},
FrozenPathDeferral { entry: "src/v2/test/claim/long/no_dual_representation_test_test.dag", functions: ["no_violations_in_examined_scope", "coverage_honesty_holds"] },
FrozenPathDeferral {
entry: "src/v2/test/claim/long/parse_table_memo_amortization_test.dag",
functions: [
Expand Down
19 changes: 19 additions & 0 deletions dag/test/fixture/data_handling_map_fixture.dag
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
module test.fixture.data_handling_map_fixture

import std.decl_ref { decl_ref }
import product.data_class { DataHandlingMap, public_fabric_map }

// A caller-SEALED fixture builder for test.probe.self_authored_map_probe, which must show that a
// module outside a builder's admit_callers list cannot reach it (ConstructorCallAdmissionRefused).
// It lives in an ordinary fixture module because a probe may not import a test module; the sealed
// DataHandlingMap mint itself stays admitted only to its policy authorities, so this builder hands
// back the public (empty) map and adds no second admitted route to a caller-authored policy.
fn sealed_fixture_map() -> DataHandlingMap
admit_callers: [
decl_ref(module_path: "test.fixture.data_handling_map_fixture", decl_name: "admitted_fixture_map_call"),
]
= public_fabric_map()

fn admitted_fixture_map_call() -> DataHandlingMap {
sealed_fixture_map()
}
4 changes: 0 additions & 4 deletions dag/test/parsecheck.dag
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,6 @@ import gunbc.fleet_intent { srv1_memory_population, srv3_memory_population, srv4
import gunbc.fleet_physical_inventory { fleet_dimm_verdicts, fleet_dimm_expectations }
import gunbc.host_memory_qualification { srv2_failed_64gib_population_standing }
import gunbc.ci_floor_measurement { gunbc_ci_srv3_memtotal_measured }
import test.claim.installed_bom_reconcile_witness_test {
the_dimm_lot_is_committed_with_a_read_catalog_and_no_public_cost,
}
import gunbc.runner_disk_reclaim {
admit_reclaim_operation, reclaim_admission_proceeds, reclaim_operations,
operation_requires_idle_slot, repack_admits_pack_count, review_ref_should_be_dropped,
Expand All @@ -35,7 +32,6 @@ fn memory_model_holds() -> Bool {
&& fleet_dimm_verdicts.length() == 4
&& fleet_dimm_expectations.length() == 4
&& srv1_memory_population.rows.length() == 1
&& the_dimm_lot_is_committed_with_a_read_catalog_and_no_public_cost()
}

// Git work refuses on a busy slot and proceeds on an idle one, while diagnostic rotation proceeds
Expand Down
7 changes: 4 additions & 3 deletions dag/test/probe/self_authored_map_probe.dag
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,8 @@ module test.probe.self_authored_map_probe
// SoleConstructorViolation on DataHandlingMap; the mint call refuses as
// ConstructorCallAdmissionRefused, because data_handling_map admits only the private policy
// authority and the admission witness's sealed fixture builder; and the third function reaches for
// that fixture builder directly, which refuses the same way because it is sealed to its tests.
// a caller-sealed fixture builder (test.fixture.data_handling_map_fixture sealed_fixture_map), which
// refuses the same way because it is sealed to its own admitted caller.

import std.types { NonEmptyStr, List, Bool }
import std.decl_ref { decl_ref }
Expand All @@ -20,7 +21,7 @@ import product.data_class {
admit_data_effect, durable_origin_sink, personal_identity_category, data_handling_map, public_fabric_posture,
}
import gunbc.principal_projection { oidc_projection }
import test.claim.fabric.data_class_admission_witness_test { fx_map }
import test.fixture.data_handling_map_fixture { sealed_fixture_map }

fn claims() -> OidcIdTokenClaims {
OidcIdTokenClaims {
Expand Down Expand Up @@ -72,5 +73,5 @@ fn authored_map_through_the_mint() -> OidcStandardClaims? {
}

fn authored_map_through_the_fixture_builder() -> OidcStandardClaims? {
reveal_under(handling_map: fx_map(rows: my_rows()))
reveal_under(handling_map: sealed_fixture_map())
}
18 changes: 0 additions & 18 deletions src/v2/test/claim/long/no_dual_representation_test_test.dag

This file was deleted.

Loading