Run Control
Runs are limited to the two published research examples. Each result identifies whether it was generated now or captured earlier.
STATEFUL / P4
00 / Transparent Research Build
SpliDT
...
Loading
Evidence Status
Loading available sources...
Current Run
Ready
Choose what to inspect, then start.
01 / Execution Trace
EVERY STEP
WAITING TO START
Select a model and source above. The resulting stages, commands, inputs, outputs, and logs will appear here.
02 / Proof Files
RAW EVIDENCE
WAITING FOR A RESULT
Model files, mappings, P4 output, target state, timings, and checksums will appear here.
03 / Reading Guide