Merge pull request #6 from raws-labs/hardening/plan-sized-workspace

Measure plan-sized executor metadata

Author: asteinh

core-versions.json

@@ -1,22 +1,22 @@
 {
   "format_version": 1,
-  "profile": "coordinated-develop-2026-07-15",
+  "profile": "plan-sized-workspace-2026-07-19",
   "plan_schema": 4,
   "compatibility_manifest": {
     "repository": "https://github.com/raws-labs/tigris.git",
     "path": "compatibility.json",
-    "commit": "f8a188d5bbf0d9a7f6dc9b1bf35836b4b9bffaf1"
+    "commit": "69b8b7d93628e8f32ec101bee78113ec1f05fb89"
   },
   "compiler": {
     "repository": "https://github.com/raws-labs/tigris.git",
     "branch": "develop",
-    "commit": "f8a188d5bbf0d9a7f6dc9b1bf35836b4b9bffaf1",
+    "commit": "69b8b7d93628e8f32ec101bee78113ec1f05fb89",
     "emits_schema": 4
   },
   "runtime": {
     "repository": "https://github.com/raws-labs/tigris-runtime.git",
     "branch": "develop",
-    "commit": "89170124df0b67a57d9c4322645b92bd4e79c387",
+    "commit": "e9fd8020c2f2a8c42871b0601de492341ad18428",
     "accepts_schemas": [2, 3, 4]
   }
 }

cortex-m-deployability/harness/main.c

@@ -63,7 +63,8 @@ extern const unsigned int  g_tigris_plan_len;
 static uint8_t s_fast_arena[TIGRIS_FAST_ARENA_BYTES] __attribute__((aligned(16)));
 static uint8_t s_slow_arena[TIGRIS_SLOW_ARENA_BYTES] __attribute__((aligned(16)));
 static void   *s_tensor_ptrs[BENCH_MAX_TENSORS];
-static tigris_executor_workspace_t s_executor_workspace;
+static uint8_t s_executor_workspace[
+    TIGRIS_CODEGEN_EXECUTOR_WORKSPACE_BYTES];
 
 static const char *kernel_name(void)
 {
@@ -131,12 +132,14 @@ static uint32_t run_once(tigris_plan_t *plan, tigris_mem_t *mem,
     tigris_exec_stats_t stats;
     uint32_t c0 = platform_cycles();
 #ifdef BENCH_PROFILE_OPS
-    tigris_exec_error_t err = tigris_run_with_workspace(
-        plan, mem, dispatch, NULL, &stats, &s_executor_workspace);
+    tigris_exec_error_t err = tigris_run_with_workspace_buffer(
+        plan, mem, dispatch, NULL, &stats, s_executor_workspace,
+        sizeof(s_executor_workspace));
 #else
     (void)dispatch;  /* generated core owns the normal dispatch call. */
-    tigris_exec_error_t err = tigris_codegen_run(
-        plan, mem, &stats, &s_executor_workspace);
+    tigris_exec_error_t err = tigris_codegen_run_with_workspace_buffer(
+        plan, mem, &stats, s_executor_workspace,
+        sizeof(s_executor_workspace));
 #endif
     uint32_t c1 = platform_cycles();
 

tests/test_provenance.py

@@ -287,5 +287,23 @@ def test_rp2350_requires_pico_sdk_revision(self) -> None:
         )
 
 
+class HarnessWorkspaceContractTest(unittest.TestCase):
+    def test_tigris_metadata_uses_generated_plan_sized_workspace(self) -> None:
+        harness = (
+            ROOT / "cortex-m-deployability/harness/main.c").read_text()
+
+        self.assertIn(
+            "s_executor_workspace[\n"
+            "    TIGRIS_CODEGEN_EXECUTOR_WORKSPACE_BYTES]",
+            harness,
+        )
+        self.assertIn("tigris_codegen_run_with_workspace_buffer(", harness)
+        self.assertIn("tigris_run_with_workspace_buffer(", harness)
+        self.assertIn(
+            "sizeof(s_executor_workspace)", harness)
+        self.assertNotIn(
+            "tigris_executor_workspace_t s_executor_workspace", harness)
+
+
 if __name__ == "__main__":
     unittest.main()