Run Behavioral Verification
cleanroom_verify_runBlack-box verify a reimplementation by feeding identical inputs to original and reimplemented commands and comparing outputs in exact, fuzzy, or semantic modes.
Instructions
Compare the reimplementation's behavior against the original software using black-box testing. Feeds identical inputs to both commands and compares outputs. Does NOT access or analyze source code of either — both are treated as opaque executables. Comparison modes: exact (byte-for-byte), fuzzy (whitespace-normalized), semantic (JSON-aware).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| test_cases | Yes | Test cases to run against both implementations | |
| timeout_ms | No | Timeout per test case in milliseconds | |
| reimpl_command | Yes | Command to invoke the reimplementation | |
| comparison_mode | No | exact | |
| original_command | Yes | Command to invoke the original software |