AIGP Extension: Order-Typed Recomputation Witness Profile (the "Mars W1 Profile") — 2. Order-typed predicate form
AIGP Specification › AIGP Extension: Order-Typed Recomputation Witness Profile (the “Mars W1 Profile”) › 2. Order-typed predicate form
← 1. Purpose · Section index · 3. The W1 witness record →
2. Order-typed predicate form
A deployment adopting this profile declares a governing predicate set: the formally-evaluable artifact against which decisions are rendered. This is the element Mars requires (a “governing specification in Mars’s sense”) and that base AIGP policy configs do not provide.
Each predicate carries:
| Field | Meaning |
|---|---|
predicate_id |
Stable identifier, unique within the predicate set + version |
order |
The order it structures: descriptive / prescriptive / procedural / normative / … (open set) |
aspect |
The order-decomposition aspect the predicate belongs to |
assertion |
A machine-evaluable expression over declared, recorded input facts |
prohibited |
true if failure is a falsifier (prescriptive/anti-style) |
spec_version |
The governing-specification version the predicate belongs to |
The assertion grammar MUST be a closed, published expression language whose
evaluation is a pure function of the recorded input facts (no network calls, no
model inference, no wall-clock dependence). A reference grammar sufficient for
policy and anticipation predicates is: predicate lookups name('arg') with
comparison against boolean/enumerated literals, composed with and/or/not.