diff --git a/core/tests/trust_tests.adb b/core/tests/trust_tests.adb
index f71f396..d25ae02 100644
--- a/core/tests/trust_tests.adb
+++ b/core/tests/trust_tests.adb
@@ -4,67 +4,6 @@
 
 pragma SPARK_Mode (Off);  --  test harness uses Ada.Text_IO
 with Ada.Text_IO; use Ada.Text_IO;
-with Trust_Boundary;
-with Mafiabot_Types; use Mafiabot_Types;
-
-procedure Trust_Tests is
-   Fails : Natural := 0;
-
-   procedure Check (Name : String; Cond : Boolean) is
-   begin
-      if Cond then
-         Put_Line ("PASS " & Name);
-      else
-         Put_Line ("FAIL " & Name);
-         Fails := Fails + 1;
-      end if;
-   end Check;
-
-   St : Operation_Status;
-begin
-   --  Blocklist substring matching.
-   Check ("blocks 'execute'",
-     Trust_Boundary.Matches_Blocklist
-       (Make_Text ("please execute this"), Trust_Boundary.Default_Blocklist));
-   Check ("blocks 'base64'",
-     Trust_Boundary.Matches_Blocklist
-       (Make_Text ("base64 decode chain"), Trust_Boundary.Default_Blocklist));
-   Check ("allows benign text",
-     not Trust_Boundary.Matches_Blocklist
-       (Make_Text ("hello there friend"), Trust_Boundary.Default_Blocklist));
-
-   --  Provenance: no message may reclassify its own authority.
-   Trust_Boundary.Validate_Provenance (User_Input, LLM_Output, St);
-   Check ("provenance mismatch rejected", St = Error_Trust_Violation);
-   Trust_Boundary.Validate_Provenance (System_Internal, System_Internal, St);
-   Check ("provenance match accepted", St = OK);
-
-   --  System-internal messages always pass Check_Message (proven invariant).
-   declare
-      M : constant Trust_Boundary.Border_Message :=
-        (Provenance => System_Internal,
-         Payload    => Make_Text ("execute"));
-      R : Operation_Status;
-   begin
-      Trust_Boundary.Check_Message (M, R);
-      Check ("system_internal bypasses blocklist", R = OK);
-   end;
-
-   --  Rate limiting within a tick window.
-   declare
-      RL : Trust_Boundary.Rate_Limit :=
-        (Max_Per_Window => 2, Current_Count => 0,
-         Window_Start => 0, Window_Size => 100);
-      R : Operation_Status;
-   begin
-      Trust_Boundary.Check_Rate (RL, 1, R);
-      Check ("rate hit 1 ok", R = OK);
-      Trust_Boundary.Check_Rate (RL, 1, R);
-      Check ("rate hit 2 ok", R = OK);
-      Trust_Boundary.Check_Rate (RL, 1, R);
-      Check ("rate hit 3 blocked", R = Error_Blocked);
-   end;
-
    if Fails = 0 then
       Put_Line ("ALL TRUST TESTS PASSED");
    else