Glossary

Glossary

Term	Meaning
Action	Symbolic data named by a rule and optionally returned by the query; version 1 does not execute side effects
Active model	Immutable model loaded when the server process starts
Admissible query input	Current occurrence and rule set whose matching rules identify at most one distinct action
Globally admissible rule set	Rule set that forms an admissible query input with every possible occurrence
Ambiguous action selection	Invalid evaluation in which matching rules identify more than one distinct action
Condition	Named object whose predicate is evaluated against the current payload
Condition dependency	Runtime payload parameter that must be present before a condition can be true
Conformance fixture	Language-neutral input and expected output used by every implementation path
Contract	JSON Schema, OpenAPI, or fixture defining data exchanged across application boundaries
ECA	Event-condition-action
Engine	Partial query that maps each admissible current input to one action or no action and diagnoses inputs outside its domain
Event occurrence	One event type paired with an optional runtime payload
Event type	Identifier describing a possible kind of occurrence; a model declares a finite known subset
Evaluation	Application of the fixed rule set to the current occurrence
Evaluation trace	Optional explanation of condition and rule decisions for one evaluation
Match predicate M	Boolean test that an occurrence and rule set identify a candidate action
Model	Versioned document defining parameters, payload definitions, event types, conditions, actions, and rules
Parameter definition	Model-level reusable identifier, display name, and declared JSON type
Payload	Synonym for runtime payload in the mathematical model; not a model-level payload definition
Payload definition	Model-level reusable template listing the parameter identifiers an event may carry
Predicate	Total deterministic Boolean operation used to evaluate a condition
Query Q	Partial optional-action function defined for admissible occurrence and rule-set inputs
Rule	Association of one event type, one condition, and one action
Runtime payload	Finite map of parameter identifiers to values; absent and empty payloads are semantically equal
Schema version	Compatibility identifier for the model document format
Selected action	Unique action returned by a successful query; not necessarily externally performed
Stateless	Independent of all event occurrences and results preceding the current evaluation
Startup model	Synonym for active model