1 files changed, 26 insertions, 0 deletions
diff --git a/src/main/java/testing/VerificationRule.java b/src/main/java/testing/VerificationRule.java
new file mode 100644
index 0000000..43d3933
--- /dev/null
+++ b/src/main/java/testing/VerificationRule.java
@@ -0,0 +1,26 @@
+package testing;
+
+import java.util.List;
+
+/**
+ * Interface for defining verification rules that can be applied
+ * to simulation logs to verify protocol behavior.
+ */
+public interface VerificationRule {
+    /**
+     * Verify the rule against the provided logs.
+     * 
+     * @param logs The complete list of log entries from the simulation
+     * @return Result indicating whether the rule passed and details
+     */
+    RuleResult verify(List<LogEntry> logs);
+    
+    /**
+     * Get a human-readable description of what this rule verifies.
+     * 
+     * @return Description of the rule
+     */
+    default String getDescription() {
+        return this.getClass().getSimpleName();
+    }
+}
+\ No newline at end of file