{
 "_doc": "One result as verifycorelabs.com prints it: the headline, the problem and the buyer cut (never reworded) from the lab's plain-English account of the result, the one figure a buyer is shown and its limit, and the lab's current claim and limits verbatim, copied at the commit named in source. A field is left out, never reworded, when it uses a word this site keeps for its own process or names a file this site does not serve (not_reprinted).",
 "slug": "aerial-image-enclosure",
 "company": "ChipletOS",
 "order": 6,
 "rank": 3,
 "served_receipt": "computational-lithography/results/aerial-enclosure-fast-gate.json",
 "lab_file_older": true,
 "headline": [
  "A check of how light will print a chip pattern computes, for every point of the printed image, a range that is guaranteed to contain the brightness the lab's own detailed simulation gives on its 64-by-64 grid of 2-nanometre pixels (not what silicon would show)",
  "across 232 test masks the simulated brightness never fell outside that range"
 ],
 "qualification": [],
 "why": [
  "Fast approximate printing checks can approve a mask pattern that the slow, accurate simulation would reject, and the error only shows up later."
 ],
 "buyer": [
  "computational-lithography software vendors, mask-inspection vendors and foundry mask-signoff teams"
 ],
 "figure": "0 soundness violations over 13,303,808 pixel-checks across 232 masks",
 "figure_from": "claim",
 "limit": "Finite battery, simulator-relative.",
 "limit_from": "lab limits",
 "plain": "232 test masks",
 "quotes": {
  "fix": "before that fix the same battery gave 90 false admits, all of them there",
  "admits": "made 0 false admits among 175 fast admits over 1,252 checks of 102 masks",
  "speed": "Speed: the figures these limits quoted before 2026-09-24 did not match their artifact"
 },
 "claim": "An outward-rounded interval enclosure of the aerial image had 0 soundness violations over 13,303,808 pixel-checks across 232 masks; its fast gate, with the full gate re-judging every check, made 0 false admits among 175 fast admits over 1,252 checks of 102 masks once it rejects any budget asking for more than the full gate's search range (350 of the checks); before that fix the same battery gave 90 false admits, all of them there, and the fix changed no fast decision on the other 902.",
 "not_reprinted": [
  "limits"
 ],
 "prior_work": [
  {
   "title": "An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis",
   "by": "Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Pavel Panchekha, Sriram Krishnamoorthy, arXiv 2004.11960, 2020",
   "url": "https://arxiv.org/abs/2004.11960"
  },
  {
   "title": "On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models",
   "by": "Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, Pushmeet Kohli, arXiv 1810.12715, 2018",
   "url": "https://arxiv.org/abs/1810.12715"
  }
 ],
 "source": {
  "claims_file": "registry/CLAIMS_CURRENT.jsonl",
  "claims_sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b",
  "ranking_file": "views/VALUE_RANKING.md",
  "ranking_sha256": "2e980e26178b34dc49ec1d365f966be292f57d7c636143fc62c12feab72ae470",
  "dossier_sha256": "ba9a67f1dd0eaf93dfb4f6c34f7b42b419a30011813742d8ee60c1693b9438b9",
  "commit": "25d755d2f06518b632c3658ae83f20312daac53e"
 }
}