{
 "view": "machines",
 "locale": "en",
 "locale_report": null,
 "rendered_at": "2026-09-21T05:48:10.663092+00:00",
 "canon_epoch": "2026-09-21T05:48:09.997137+00:00",
 "claims_sha256": "34431a895b42c29d18d3c59d29421eeb161cee8a5d8cf9e445cb4eeaf3534caf",
 "selected_claims": [
  "identity.one_line",
  "not_proven.robot_execution_capacity",
  "not_proven.autonomous_execution",
  "boundary.public_api",
  "truth.contradictions",
  "human_comprehension",
  "proof_correctness"
 ],
 "statements": [
  {
   "claim_id": "identity.one_line",
   "kind": "purpose",
   "text": "Tell AstraNL what needs to happen. It finds a real way to get it done and shows the evidence.",
   "claim_revision": 4,
   "visible_state": {
    "maturity": "CANON",
    "observation_state": "EXTERNALLY_CONVERGED"
   }
  },
  {
   "claim_id": "identity.one_line",
   "kind": "claim",
   "text": "Tell AstraNL what needs to happen. It finds a real way to get it done and shows the evidence.",
   "claim_revision": 4,
   "visible_state": {
    "maturity": "CANON",
    "observation_state": "EXTERNALLY_CONVERGED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "identity.one_line",
   "kind": "trust_state",
   "text": "State: CANON. Stated identity, rendered from canon; external copies verified: EXTERNALLY_CONVERGED",
   "claim_revision": 4,
   "visible_state": {
    "maturity": "CANON",
    "observation_state": "EXTERNALLY_CONVERGED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "identity.one_line",
   "kind": "limitation",
   "text": "Limitation: a statement of what AstraNL is built to be; adoption and volume are separate claims",
   "claim_revision": 4,
   "visible_state": {
    "maturity": "CANON",
    "observation_state": "EXTERNALLY_CONVERGED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "not_proven.robot_execution_capacity",
   "kind": "claim",
   "text": "Not proven: AstraNL routes work to operator-backed machines.",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "NOT_PROVEN",
    "observation_state": "NOT_PROVEN"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "not_proven.robot_execution_capacity",
   "kind": "trust_state",
   "text": "State: NOT_PROVEN. catalogue only; registered operators 0",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "NOT_PROVEN",
    "observation_state": "NOT_PROVEN"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "not_proven.robot_execution_capacity",
   "kind": "limitation",
   "text": "Limitation: catalogue only; registered operators 0",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "NOT_PROVEN",
    "observation_state": "NOT_PROVEN"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "not_proven.autonomous_execution",
   "kind": "claim",
   "text": "Not proven: AstraNL executes real work without founder initiation.",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "NOT_PROVEN",
    "observation_state": "NOT_PROVEN"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "not_proven.autonomous_execution",
   "kind": "trust_state",
   "text": "State: NOT_PROVEN. no autonomy-labelled case has a machine-checkable lifecycle",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "NOT_PROVEN",
    "observation_state": "NOT_PROVEN"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "not_proven.autonomous_execution",
   "kind": "limitation",
   "text": "Limitation: no autonomy-labelled case has a machine-checkable lifecycle",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "NOT_PROVEN",
    "observation_state": "NOT_PROVEN"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "boundary.public_api",
   "kind": "claim",
   "text": "Only explicitly approved operations are in the public API.",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "LIVE",
    "observation_state": "ENFORCED_FAIL_CLOSED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "boundary.public_api",
   "kind": "trust_state",
   "text": "State: LIVE. Build fails closed on any leak; 210 operations approved",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "LIVE",
    "observation_state": "ENFORCED_FAIL_CLOSED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "boundary.public_api",
   "kind": "limitation",
   "text": "Limitation: idempotency metadata debt is published, not hidden",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "LIVE",
    "observation_state": "ENFORCED_FAIL_CLOSED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "truth.contradictions",
   "kind": "claim",
   "text": "AstraNL publishes its own contradictions.",
   "claim_revision": 5,
   "visible_state": {
    "maturity": "LIVE",
    "observation_state": "PUBLISHED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "truth.contradictions",
   "kind": "trust_state",
   "text": "State: LIVE. 4 still open or index-stale: C133-08, C133-11, E133-07, E133-13",
   "claim_revision": 5,
   "visible_state": {
    "maturity": "LIVE",
    "observation_state": "PUBLISHED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "human_comprehension",
   "kind": "claim",
   "text": "Whether these pages are understandable to a first-time reader has not been tested.",
   "claim_revision": 1,
   "visible_state": {
    "maturity": "NOT_TESTED",
    "observation_state": "NOT_TESTED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "human_comprehension",
   "kind": "trust_state",
   "text": "State: NOT_TESTED. NOT_TESTED",
   "claim_revision": 1,
   "visible_state": {
    "maturity": "NOT_TESTED",
    "observation_state": "NOT_TESTED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "human_comprehension",
   "kind": "limitation",
   "text": "Limitation: PROOF_CORRECTNESS is not HUMAN_COMPREHENSION; the two are separate claims",
   "claim_revision": 1,
   "visible_state": {
    "maturity": "NOT_TESTED",
    "observation_state": "NOT_TESTED"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "proof_correctness",
   "kind": "claim",
   "text": "This page decides nothing; every state is copied from its source.",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "IMPLEMENTED",
    "observation_state": "PROJECTION_EXTERNALLY_OBSERVED_CONSISTENT"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "proof_correctness",
   "kind": "trust_state",
   "text": "State: IMPLEMENTED. External-path fetch 2026-09-04T19:21 (a separate network path, not an audit): bytes identical to origin True, claims hash recomputed True, 6 evidence files hash-matched",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "IMPLEMENTED",
    "observation_state": "PROJECTION_EXTERNALLY_OBSERVED_CONSISTENT"
   },
   "locale": "en",
   "fallback": null
  },
  {
   "claim_id": "proof_correctness",
   "kind": "limitation",
   "text": "Limitation: the observation receipt is for the previous render of /data/claims.json, since this render includes the receipt itself; each render is observed on the next cycle",
   "claim_revision": 3,
   "visible_state": {
    "maturity": "IMPLEMENTED",
    "observation_state": "PROJECTION_EXTERNALLY_OBSERVED_CONSISTENT"
   },
   "locale": "en",
   "fallback": null
  }
 ],
 "suppressed": [],
 "capabilities": [
  "verify_reality",
  "machine_intelligence",
  "technics_sourcing"
 ],
 "checks": {
  "1_statements_bound_to_claims": true,
  "2_no_hardcoded_success": {
   "hits": [],
   "all_from_claims": true
  },
  "3_no_maturity_escalation": true,
  "4_no_hidden_limitations": true,
  "5_visible_state_equals_claim_state": true,
  "6_see_evidence_identity": true,
  "7_machine_human_same_claim_ids": true,
  "11_no_orphan_facts": true,
  "12_no_silent_claim_loss": true,
  "10_view_cannot_manufacture_states": "view code sets no maturity/observation fields; states are read from claims.json only (static property of core/view_projection.py)"
 },
 "external_checks_pending": [
  "8_external_fetch_sees_current_revision",
  "9_negative_projection_behaviour"
 ],
 "page_sha256": "d4dd27684eea757c50a4204ae3cd35b0c4a32e9e9bad725529d814455dcf5bd4",
 "proof_authorization": {
  "state": "AUTHORIZED",
  "evaluated_against": {
   "claims_sha256": "34431a895b42c29d18d3c59d29421eeb161cee8a5d8cf9e445cb4eeaf3534caf",
   "projection_code_sha256": "229ac480b7f94a703d5cbf52f9c86c7f0a2d3dadfb22731118233178e4c9da73",
   "view_spec_sha256": "e097cc544aef6c221ff6ce7774fe9a1a55c9029b9400dddc1c87f7cd353b52a1",
   "capability_graph_sha256": "087a339621ec4cb43bb84965302dca48e5330f76a644f1b2438449b48a94c1bd",
   "canon_epoch": "2026-09-21T05:48:09.997137+00:00"
  },
  "current_failures": [],
  "negative_test_receipt": {
   "path": "/data/views/machines_negative_projection_test.json",
   "verdict": "PASS",
   "at": "2026-09-04T19:48:39.313927+00:00"
  },
  "external_current_revision": {
   "pass": true,
   "revisions": 7,
   "external_sha256_prefix": "dbdf68da22b422e7",
   "observed_at": "2026-09-04T19:48:56.080492+00:00"
  },
  "last_pass_receipt": {
   "rendered_at": "2026-09-21T05:48:10.663092+00:00",
   "page_sha256": "d4dd27684eea757c50a4204ae3cd35b0c4a32e9e9bad725529d814455dcf5bd4"
  },
  "rule": "AUTHORIZED only while this render passes every check AND a negative A/B/C receipt and an external current-revision receipt exist for this view; any failure suspends"
 }
}