From d1a699a6ec411ff9f8dc9d5f42ac770600eb8d4b Mon Sep 17 00:00:00 2001
From: "g. nicholas d'andrea" <nick@gnidan.org>
Date: Mon, 3 Feb 2025 22:32:13 -0500
Subject: [PATCH] Make variables contexts a bit more strict

- Require at least one property for each variable
- Disallow other properties in variable
---
 schemas/program/context/variables.schema.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/schemas/program/context/variables.schema.yaml b/schemas/program/context/variables.schema.yaml
index 32cf2585f..a64b43725 100644
--- a/schemas/program/context/variables.schema.yaml
+++ b/schemas/program/context/variables.schema.yaml
@@ -70,6 +70,9 @@ $defs:
           Allocation information for the variable, if it exists.
         $ref: "schema:ethdebug/format/pointer"
 
+    minProperties: 1
+    unevaluatedProperties: false
+
     examples:
       - identifier: x
         declaration: