AIGP Extension: Order-Typed Recomputation Witness Profile (the "Mars W1 Profile") — 4. Order typing of the emitted signal
AIGP Specification › AIGP Extension: Order-Typed Recomputation Witness Profile (the “Mars W1 Profile”) › 4. Order typing of the emitted signal
← 3. The W1 witness record · Section index · 5. What remains W2/W3 under this profile (stated honestly) →
4. Order typing of the emitted signal
Under this profile every emitted signal element carries its order and aspect
(from the predicate) so that Mars can consume it at the IR level without a
separate disambiguation step. This is the AIGP-side satisfaction of Mars’s
order-shape contract. Multi-order decisions emit one signal element per order,
each with its own predicate reference (matching Mars §02e §4 multi-order signals).
The attack/quality fork (Mars §02e §4) is emitted explicitly: an express-attack
finding is typed to the prescriptive order and disposed REFUSE with a
falsifier; a quality finding is typed to descriptive and disposed REFER.
← 3. The W1 witness record · Section index · 5. What remains W2/W3 under this profile (stated honestly) →