Implement headless testing framework for DS-Sim protocol simulations

- Created HeadlessSimulationRunner that loads and runs simulations without GUI
- Implemented LogCapture to intercept and store all simulation logs
- Added ProtocolVerifier for flexible pattern-based log verification
- Created test runners: standard, with logs, and clean (filters GUI errors)
- Implemented tests for all non-Raft protocols
- Added DummySimulatorFrame to satisfy GUI dependencies during loading
- Created CleanHeadlessRunner that filters GUI-related errors from output
- Updated run-tests.sh script with quiet mode option
- Documented the framework architecture and usage

The framework successfully runs protocol tests and verifies behavior through
log analysis. GUI errors occur internally due to tight coupling in DS-Sim
but are filtered in quiet mode for clean output.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>

1 files changed, 40 insertions, 0 deletions

diff --git a/src/main/java/testing/RuleResult.java b/src/main/java/testing/RuleResult.java
new file mode 100644
index 0000000..4414f34
--- /dev/null
+++ b/src/main/java/testing/RuleResult.java
@@ -0,0 +1,40 @@
+package testing;
+
+import java.util.Collections;
+import java.util.List;
+
+/**
+ * Result of applying a verification rule to simulation logs.
+ */
+public class RuleResult {
+    private final boolean passed;
+    private final String message;
+    private final List<LogEntry> relevantLogs;
+    
+    public RuleResult(boolean passed, String message, List<LogEntry> relevantLogs) {
+        this.passed = passed;
+        this.message = message;
+        this.relevantLogs = Collections.unmodifiableList(relevantLogs);
+    }
+    
+    public RuleResult(boolean passed, String message) {
+        this(passed, message, Collections.emptyList());
+    }
+    
+    public boolean isPassed() {
+        return passed;
+    }
+    
+    public String getMessage() {
+        return message;
+    }
+    
+    public List<LogEntry> getRelevantLogs() {
+        return relevantLogs;
+    }
+    
+    @Override
+    public String toString() {
+        return (passed ? "PASS" : "FAIL") + ": " + message;
+    }
+}
\ No newline at end of file