{
  "VerificationSuccess": true,
  "branch": "main",
  "build_arg_commit": "10aa27768f5bcfb5e42bce921a661c47e5bfd28f",
  "cert_readme_badge_alt": "VeriLib Certified",
  "cert_readme_badge_image_url": "https://verilib.org/assets/img/verilib-certified-badge-wide.svg",
  "cert_readme_page_url": "https://verilib.org/cert/5190",
  "commit": "10aa27768f5bcfb5e42bce921a661c47e5bfd28f",
  "commit_date_utc": null,
  "image": "verilib/probe-lean-repo-5190:1",
  "image_build_date_utc": "2026-06-08T15:12:31Z",
  "probe_extract_completed_at_utc": "2026-06-08T15:12:31Z",
  "probe_lean_version": "0.7.0",
  "repo": "https://github.com/nasa-jpl/L4YAML.git",
  "source_tree_sha256": "6311961c2ff7afe7ce75edde7718b709e183f6cbdc7f316917d6007a458cd280",
  "to_be_verified": 0,
  "unified_extract_json_path": "probe_extract.json",
  "unified_extract_json_sha256": "a719b8f2130c511e7a49ddb1e210c4ba033d3a19c555345eb85710cdd3573adb",
  "verification_source": "unified_extract_json",
  "verified_functions": [],
  "verified_functions_count": 0
}