AIGP Extension: Order-Typed Recomputation Witness Profile (the "Mars W1 Profile") — 1. Purpose

AIGP Specification › AIGP Extension: Order-Typed Recomputation Witness Profile (the “Mars W1 Profile”) › 1. Purpose

Section index · 2. Order-typed predicate form →

AIGP Extension: Order-Typed Recomputation Witness Profile (the “Mars W1 Profile”)

Extension specification. Owned by Kanjani AI Research & Causum; commercially licensed through Causum. This extension defines an OPTIONAL emission profile that makes AIGP-produced signals independently re-derivable under the Mars® post-invocation governance protocol. It does not change the base AIGP protocol (RFC-010); a deployment that does not emit this profile remains fully AIGP-conformant.

1. Purpose

Base AIGP evidence (REGISTER/REQUEST/RECORD/TRACE) is authenticated with HMAC-SHA256 and sealed with D-DNA. Those mechanisms establish tamper-evidence and attribution — they do not, by themselves, let an independent party re-derive a decision from first principles. Under the Mars witness taxonomy that makes base AIGP evidence a W2 (execution record) or W3 (attestation) link, never W1 (full recomputation witness).

This profile closes that gap on the AIGP side. It specifies how an AIGP governance authority emits, for a chosen class of decisions, an order-typed signal plus a derivation trace sufficient for an independent inspector to re-derive the signal value from the recorded inputs and the governing-specification version, without executing AIGP. Signals emitted under this profile qualify as W1 under Mars §02e §5.1 and extend end-to-end recomputability through the pre-invocation phase.

Scope of realism. Not every AIGP decision can be W1. A heuristic (MODEL) or HUMAN grade is not re-derivable and remains W2/W3 under this profile — and that is stated, not hidden. The profile applies to decisions that are, or can be reduced to, deterministic evaluations of order-typed predicates. In practice this covers: policy-rule decisions (RFC-010 §5A generic policies), and RFC-032 anticipation criteria whose measurement is DETERMINISTIC.

Section index · 2. Order-typed predicate form →