Glossary · Meaning and specification
Temporal pattern
2InstrumentA trajectory requirement written with temporal operators: safety invariant 𝖦 ¬bad, precedence ¬a 𝖴 b, liveness 𝖥 goal, bounded response, or reachability. The same property grades offline trials and runs as a runtime monitor.
Also called: trajectory pattern, temporal property, precedence pattern
Defined in
Handbook · InstrumentSpecification: what counts as successTurn a latent construct into a checkable demand, outcome or trajectory, boolean or margin, without mistaking formality for validity.Related terms
- Trajectory
- The sequence of states and actions (s₀, a₀, …, s_T) generated by an agent interaction.
- Specification
- The operational statement of success or acceptable behavior: formal, executable, rubric-based, preference-based, or state-based.
- Robustness margin
- A signed or graded distance to satisfying a formal or quantitative specification; useful for partial credit, early warning, and search.
Where it comes up
- Monitoring and control in productionHandbook · Regime
- Evaluating agentsHandbook · Agents and self-improvement
- F: Production safety monitorHandbook · Case studies
- Notation and formula cardHandbook · Reference
- CrosswalkHandbook · Reference