From 41c424d975287b60fd0b575183f5586486f98b5f Mon Sep 17 00:00:00 2001
From: gravermistakes <evermoor.a.a@gmail.com>
Date: Tue, 14 Jul 2026 15:49:21 -0700
Subject: [PATCH] Update trust_tests.adb

---
 core/tests/trust_tests.adb | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/tests/trust_tests.adb b/core/tests/trust_tests.adb
index e47ab3a..f71f396 100644
--- a/core/tests/trust_tests.adb
+++ b/core/tests/trust_tests.adb
@@ -1,3 +1,7 @@
+--  this whole file is ad hoc and a placeholder
+--  as a whole, this is out of date and needs correction
+
+
 pragma SPARK_Mode (Off);  --  test harness uses Ada.Text_IO
 with Ada.Text_IO; use Ada.Text_IO;
 with Trust_Boundary;