Skip to content
AIGP

AIGP Extension: Order-Typed Recomputation Witness Profile (the "Mars W1 Profile") — 5. What remains W2/W3 under this profile (stated honestly)

AIGP Specification › AIGP Extension: Order-Typed Recomputation Witness Profile (the “Mars W1 Profile”) › 5. What remains W2/W3 under this profile (stated honestly)

← 4. Order typing of the emitted signal · Section index · 6. Conformance →

5. What remains W2/W3 under this profile (stated honestly)

  • MODEL-graded (heuristic) evaluations — no derivation trace → W2.
  • HUMAN-graded evaluations — a named-authority attestation → W3.
  • Non-deterministic evaluations without a declared re-derivation procedure → W2. A non-deterministic method MAY reach W1 only if it additionally emits a declared re-derivation procedure reference plus all parameters (seed, model identity+version, decoding parameters) sufficient for independent re-execution, per Mars §02e recomputation-witness definition. This profile does not require that; it permits it.

← 4. Order typing of the emitted signal · Section index · 6. Conformance →