{
  "publication": "Selected REA artifact inspection fields; full inventory retained locally.",
  "evidence_id": "ev_15e6621989cef4dadcf5e90e0938ef55fac965d9f6d56345c8678f6cc277f8ae",
  "subject": {
    "name": "app.asar",
    "digest": {
      "sha256": "9f793336c679ea3214542587ca42abc77e82184327e3f7677f22d47d8ae23506"
    },
    "local_path": "[Joplin resources]\\app.asar",
    "format": "asar",
    "architecture": null
  },
  "provider": {
    "id": "rea-artifact-graph",
    "name": "REA safe artifact graph provider",
    "version": "1"
  },
  "root": {
    "manifest_id": "agm_1588b1be221429332d09e5fe581a02804b0646a0fdcc806f371006991141c261",
    "root_artifact_id": "art_da1c8fb3e664608209e5d41af1b40b8c4501d524e61a597976fb10f9dc1ddc19",
    "root_sha256": "9f793336c679ea3214542587ca42abc77e82184327e3f7677f22d47d8ae23506",
    "root_format": "asar"
  },
  "coverage": {
    "status": "complete-within-substeps",
    "substeps_completed": 1,
    "observations_retained": 1,
    "observations_omitted": 0,
    "hypotheses_retained": 1,
    "hypotheses_omitted": 0,
    "unexplored_branches_retained": 1,
    "unexplored_branches_omitted": 0,
    "next_probes_retained": 1,
    "next_probes_omitted": 0
  },
  "limitations": [
    "Inspection derives bounded static hypotheses and next probes; it does not execute the artifact or claim format-specific semantics."
  ]
}