Evidence Export

Copy this JSON into your own archive. It is not a certification issued by Rasta Imperium. expected/observed remain null until you run the verifier offline.

{
  "artifactId": "ART-L3-DECISION-001",
  "artifactUrl": "/evidence/artifacts/ART-L3-DECISION-001.json",
  "artifactHash": "88db345296504fa85c62d108ba24b9e64a772a764043bd85419c47ad51ad8577",
  "invariant": "INV-L3-001",
  "invariantDescription": "deterministic_operational_transition_decision — ALLOW/DENY under frozen policySnapshot with stable reason codes; sealed digest reproducible offline.",
  "verifier": "Node + Python pure verifiers",
  "verifierPath": "non-kernel/frontend/scripts/verify-art-l3-decision-001.mjs · scripts/verify_art_l3_decision_001.py",
  "expected": null,
  "observed": null,
  "status": "VERIFIED",
  "scope": "Capsule-scoped deterministic L3 decision fixture",
  "productionAuthority": false,
  "limitations": [
    "Does not establish production enforcement or full EVO-V runtime verification.",
    "VERIFIED applies only to the sealed public capsule ART-L3-DECISION-001 under independent pure verifiers.",
    "Seal is over the canonical payload; file SHA is transport integrity only."
  ],
  "reproduction": {
    "method": "offline pure verifier",
    "command": "# See PURE_VERIFIER_README.md",
    "environment": "Node.js ≥ 18 (and Python 3 where parity scripts require it). Offline; no network required for pure verifiers.",
    "documentation": "https://github.com/laszlomazsar-hash/rastaimperium/blob/main/docs/evidence/L3_DECISION_VERIFICATION.md"
  },
  "receiptHref": "/proof/#receipt-ART-L3-DECISION-001",
  "note": "Evaluator-local export template. Not a Rasta Imperium certification. Expected/observed require offline execution."
}

Copy this JSON into your own archive. It is not a certification issued by Rasta Imperium. expected/observed remain null until you run the verifier offline.

{
  "artifactId": "ART-L7-REPLAY-001",
  "artifactUrl": "/evidence/artifacts/ART-L7-REPLAY-001.json",
  "artifactHash": "3f1705c85e156b965908f9b604c432461ff105333f27481df800b3b37940dc9f",
  "invariant": "INV-001",
  "invariantDescription": "replay_parity — deterministic replay under identical inputs and event order yields identical terminal state, receipt, and ledger head hashes.",
  "verifier": "Node + Python pure verifiers",
  "verifierPath": "non-kernel/frontend/scripts/verify-art-l7-replay-001.mjs · verify_art_l7_replay_001.py",
  "expected": null,
  "observed": null,
  "status": "VERIFIED",
  "scope": "Capsule-scoped only",
  "productionAuthority": false,
  "limitations": [
    "Does not prove production EVO-V health, LIVE telemetry, or full-kernel parity.",
    "VERIFIED applies only to the sealed public capsule under independent pure-engine replay."
  ],
  "reproduction": {
    "method": "offline pure verifier",
    "command": "node non-kernel/frontend/scripts/verify-art-l7-replay-001.mjs",
    "environment": "Node.js ≥ 18 (and Python 3 where parity scripts require it). Offline; no network required for pure verifiers.",
    "documentation": "https://github.com/laszlomazsar-hash/rastaimperium/blob/main/docs/evidence/REPRODUCE_OFFLINE.md"
  },
  "receiptHref": "/proof/#receipt-ART-L7-REPLAY-001",
  "note": "Evaluator-local export template. Not a Rasta Imperium certification. Expected/observed require offline execution."
}

Copy this JSON into your own archive. It is not a certification issued by Rasta Imperium. expected/observed remain null until you run the verifier offline.

{
  "artifactId": "ART-L7-REJECT-001",
  "artifactUrl": "/evidence/artifacts/ART-L7-REJECT-001.json",
  "artifactHash": "4e208e48227cb5387b8d745f2cb5e35db3ec80c2f1844ce4b3b185c0c6a21f5a",
  "invariant": "INV-002",
  "invariantDescription": "illegal_transition_rejection — illegal lifecycle edge is rejected with no state mutation and a sealed rejection receipt.",
  "verifier": "Node + Python pure verifiers",
  "verifierPath": "non-kernel/frontend/scripts/verify-art-l7-reject-001.mjs · verify_art_l7_reject_001.py",
  "expected": null,
  "observed": null,
  "status": "VERIFIED",
  "scope": "Capsule-scoped only",
  "productionAuthority": false,
  "limitations": [
    "Capsule-scoped rejection proof only. Not a general security certification.",
    "Complements valid-path ART-L7-REPLAY-001 with adversarial rejection."
  ],
  "reproduction": {
    "method": "offline pure verifier",
    "command": "node non-kernel/frontend/scripts/verify-art-l7-reject-001.mjs",
    "environment": "Node.js ≥ 18 (and Python 3 where parity scripts require it). Offline; no network required for pure verifiers.",
    "documentation": "https://github.com/laszlomazsar-hash/rastaimperium/blob/main/docs/evidence/REPRODUCE_OFFLINE.md"
  },
  "receiptHref": "/proof/#receipt-ART-L7-REJECT-001",
  "note": "Evaluator-local export template. Not a Rasta Imperium certification. Expected/observed require offline execution."
}

Copy this JSON into your own archive. It is not a certification issued by Rasta Imperium. expected/observed remain null until you run the verifier offline.

{
  "artifactId": "ART-L7-PARITY-001",
  "artifactUrl": "/evidence/artifacts/ART-L7-PARITY-001.json",
  "artifactHash": null,
  "invariant": "cross_implementation_parity",
  "invariantDescription": "Independent Node and Python pure verifiers produce identical sealed hashes for the same capsule.",
  "verifier": "Node + Python pure verifiers (parity gate)",
  "verifierPath": "non-kernel/frontend/scripts/parity-art-l7.mjs",
  "expected": null,
  "observed": null,
  "status": "VERIFIED",
  "scope": "Capsule-scoped (Node + Python pure verifiers)",
  "productionAuthority": false,
  "limitations": [
    "Parity among pure verifiers for this capsule — not full-kernel parity or production runtime agreement."
  ],
  "reproduction": {
    "method": "offline pure verifier",
    "command": "node non-kernel/frontend/scripts/parity-art-l7.mjs",
    "environment": "Node.js ≥ 18 (and Python 3 where parity scripts require it). Offline; no network required for pure verifiers.",
    "documentation": "https://github.com/laszlomazsar-hash/rastaimperium/blob/main/docs/evidence/REPRODUCE_OFFLINE.md"
  },
  "receiptHref": "/proof/#receipt-ART-L7-PARITY-001",
  "note": "Evaluator-local export template. Not a Rasta Imperium certification. Expected/observed require offline execution."
}