Skip to content
Mars® Protocol

§02e Appendix — AIGP↔Mars Bridge — Cross-references

Mars® Spec › §02e Appendix — AIGP↔Mars Bridge › Cross-references

← Externally-observable properties (bridge series) · Section index · Normative closure rules →

7. Cross-references

  • Mars® §02e — pre-invocation boundary contract, signal registry, witness classes, absence postures, cross-phase corroboration.
  • Mars® §02a — analysis battery, multi-stage witness chain (§5a.2), disambiguation (§5a.1).
  • Mars® §02b — delta-attestation lifecycle, conformance certificate, specification registry.
  • Mars® §02c — output validation gate, actuation anchor, actuation gate, AR1–AR5.
  • Mars® §03-iii — evidence-gathering verification, grounded conformance verdict.
  • AIGP RFC-009 — protocol messages (REGISTER/REQUEST/RECORD/TRACE/STATUS), HMAC authentication, governance modes, 17 governance stages.
  • AIGP schemas — anticipation.json (ANTICIPATE/VERIFY criteria), scope-envelope.json (permissions, budgets, autonomy, memory scope).

← Externally-observable properties (bridge series) · Section index · Normative closure rules →