{
 "_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": "proof-carrying-mask-edits",
 "company": "ChipletOS",
 "order": 3,
 "rank": 12,
 "served_receipt": "computational-lithography/results/proof-carrying-mask-edits.json",
 "lab_file_older": false,
 "headline": [
  "When a single, isolated small edit is made to a chip-printing stencil (mask) design, the lab's method proves in its own simulator that neighbouring design tiles affected by the edit are still valid without recomputing them"
 ],
 "qualification": [
  "by checking that a proven limit on the edit's effect fits inside the safety margin each tile already had",
  "on the lab's own test edits it saved recomputing only about 1% of tiles"
 ],
 "why": [
  "After every small change to a mask design, the affected tiles normally have to be re-simulated and re-checked from scratch, which is slow at full-chip scale"
 ],
 "buyer": [
  "mask-synthesis and physical-verification software vendors (mask correction and mask-data preparation)"
 ],
 "figure": "with 0 violations over 9,175,040 pointwise comparisons",
 "figure_from": "claim",
 "limit": "over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm",
 "limit_from": "lab limits",
 "plain": "0 violations",
 "limfig": "only about 1% of tiles",
 "quotes": {
  "honest": "On the same chain the honest declaration served 0 of 64 below from-scratch",
  "planted": "with update(declared_halo=0), a falsification knob whose every result is stamped NOT a certificate, over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm"
 },
 "claim": "A tile whose inputs did move is proved still valid when a certified bound on the edit's influence fits inside the margin its stored certificate was already carrying, with 0 violations over 9,175,040 pointwise comparisons.",
 "not_reprinted": [
  "limits"
 ],
 "prior_work": [
  {
   "title": "Incremental Verification of Neural Networks",
   "by": "Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh, PLDI 2023 (arXiv 2304.01874)",
   "url": "https://arxiv.org/abs/2304.01874"
  },
  {
   "title": "Shared Certificates for Neural Network Verification",
   "by": "Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev, CAV 2022 (arXiv 2109.00542)",
   "url": "https://arxiv.org/abs/2109.00542"
  }
 ],
 "source": {
  "claims_file": "registry/CLAIMS_CURRENT.jsonl",
  "claims_sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b",
  "ranking_file": "views/VALUE_RANKING.md",
  "ranking_sha256": "2e980e26178b34dc49ec1d365f966be292f57d7c636143fc62c12feab72ae470",
  "dossier_sha256": "f2e72122caad2b2f667ebdabd9b8fffe21e3964af72df88a19d205af273ef797",
  "commit": "25d755d2f06518b632c3658ae83f20312daac53e"
 }
}