SIGNAL TEMPORAL LOGIC

Semantic Sentinel

Delivered 0 / 12
Violation rate 0%
Semantic margin +1.00
Response cost 0

Detection threshold

Lower thresholds warn sooner but raise false alarms; higher thresholds reduce false alarms but can miss drift.

33%

STL semantic monitor

Reports persistent semantic mismatch; it does not alter reward or policy.

MONITOR ONLY

Twelve-slot semantic trace

An observation forms a semantic expectation; the result then tests it.

0 / 3

Start the trace. Isolated failures are noise; persistent mismatch calls for a response.

Independent response policy

Choose only when the trace pauses at a checkpoint.

Before a trace, press 1, 2, or 3 to choose the threshold. Press Enter or Space to start. At a checkpoint, press 1 to hold, 2 for local repair, or 3 to probe longer. Press R to reset.