{
 "_doc": "The results verifycorelabs.com prints, in the home page's order, each with the served file that holds its words and figures. The value rank is the lab's own judgement of what each result would be worth to a buyer.",
 "source": {
  "claims_file": "registry/CLAIMS_CURRENT.jsonl",
  "claims_sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b",
  "ranking_file": "views/VALUE_RANKING.md",
  "ranking_sha256": "2e980e26178b34dc49ec1d365f966be292f57d7c636143fc62c12feab72ae470",
  "commit": "25d755d2f06518b632c3658ae83f20312daac53e"
 },
 "home_order": [
  "txn-crash-recovery",
  "owned-3d-end-effect",
  "proof-carrying-mask-edits",
  "independent-solver-anchors",
  "reorder-memory-mechanism",
  "aerial-image-enclosure",
  "uec-interconnect-essentiality",
  "pairwise-impossibility",
  "composition-certificates",
  "proof-of-deletion"
 ],
 "results": {
  "txn-crash-recovery": {
   "file": "holdco/v3/measured/result-txn-crash-recovery.json",
   "company": "OrbitalProof",
   "rank": 4
  },
  "owned-3d-end-effect": {
   "file": "holdco/v3/measured/result-owned-3d-end-effect.json",
   "company": "ChipletOS",
   "rank": 6
  },
  "proof-carrying-mask-edits": {
   "file": "holdco/v3/measured/result-proof-carrying-mask-edits.json",
   "company": "ChipletOS",
   "rank": 12
  },
  "independent-solver-anchors": {
   "file": "holdco/v3/measured/result-independent-solver-anchors.json",
   "company": "ChipletOS",
   "rank": 1
  },
  "reorder-memory-mechanism": {
   "file": "holdco/v3/measured/result-reorder-memory-mechanism.json",
   "company": "AxiomLimit",
   "rank": 2
  },
  "aerial-image-enclosure": {
   "file": "holdco/v3/measured/result-aerial-image-enclosure.json",
   "company": "ChipletOS",
   "rank": 3
  },
  "uec-interconnect-essentiality": {
   "file": "holdco/v3/measured/result-uec-interconnect-essentiality.json",
   "company": "OrbitalProof",
   "rank": 7
  },
  "pairwise-impossibility": {
   "file": "holdco/v3/measured/result-pairwise-impossibility.json",
   "company": "ChipletOS",
   "rank": 8
  },
  "composition-certificates": {
   "file": "holdco/v3/measured/result-composition-certificates.json",
   "company": "OrbitalProof",
   "rank": 9
  },
  "proof-of-deletion": {
   "file": "holdco/v3/measured/result-proof-of-deletion.json",
   "company": "AxiomLimit",
   "rank": 10
  },
  "ap-memory-bound": {
   "file": "holdco/v3/measured/result-ap-memory-bound.json",
   "company": "OrbitalProof",
   "rank": 17
  },
  "unseeded-hunt": {
   "file": "holdco/v3/measured/result-unseeded-hunt.json",
   "company": "OrbitalProof",
   "rank": 15
  },
  "tn-bits": {
   "file": "holdco/v3/measured/result-tn-bits.json",
   "company": "AxiomLimit",
   "rank": 27
  },
  "reticle-certificate": {
   "file": "holdco/v3/measured/result-reticle-certificate.json",
   "company": "ChipletOS",
   "rank": 45
  }
 }
}