{"as_of":"2026-08-07T23:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4fd22fbbb973087b17d57ed895ffb0edb936aefb85699c929b8bb1f153207864","coverage":[{"denominator":125,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T13:23:12.676375Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.00699/citation-record","integrity":"/paper/2509.00699/integrity","json":"/paper/2509.00699/citation-record.json","paper":"/paper/2509.00699"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.236886Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.236886Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:524363e06decee3534c387b548bfe2a47b5690464982815739d8d0bb01ecc917","observation_id":"398ccbfc-c186-471d-88f6-114c83fea1e0","resolution":{"observed_at":"2026-08-05T13:23:12.236886Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.243183Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.243183Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:97b4f2e6837ddf52153404cda01e3d32de8a4e347af5f3741ebebe5af6423425","observation_id":"37e24a7b-e4cb-4b20-a4ed-b440c9c7afa7","resolution":{"observed_at":"2026-08-05T13:23:12.243183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.249541Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.249541Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:9cde5511454cb55129015dbbf27a54f64bc6fd4f729b8c7004868b4b93cef84b","observation_id":"fe4feb49-0920-4a06-8911-67ed86c1a00d","resolution":{"observed_at":"2026-08-05T13:23:12.249541Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1115/detc2011-48530","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.112423Z","title":null,"venue":null,"work_id":"85cb2fe0-d36a-45b5-8cd0-8b7575328fb0","year":2011},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.254970Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:154df6dfa3ff97aeed30605d97bf9b13c1817d0c415b66e8146baa8c58d7a628","observation_id":"f8feeb88-c5ec-4388-9628-b3a19bf46893","resolution":{"observed_at":"2026-08-05T13:23:13.117110Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2002.10358","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:14.688919Z","title":"Aspert, D","venue":null,"work_id":"4cb2d5e7-b22d-44ab-98ae-1a6e21dcdc14","year":2002},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.260546Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:5251470fba4e482af1debeb9e59ac44525b3f5c7ddb304998ea32965a82a0925","observation_id":"6bf2566e-5f14-4ee9-a518-008e0c9da527","resolution":{"observed_at":"2026-08-05T13:23:14.696296Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.265674Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.265674Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:b9c1b6a5fe07516b3e4b53d52fac6dcf6534ae95def8ba100851d00ed20e015d","observation_id":"c6fff911-71fb-4516-8321-5e50588ddc26","resolution":{"observed_at":"2026-08-05T13:23:12.265674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.270776Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.270776Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:a815f65b587da70da990d500f52642d36e832031a4f85790a1638e11a41c7b29","observation_id":"7da88730-961c-46cb-82a0-12f009eb6387","resolution":{"observed_at":"2026-08-05T13:23:12.270776Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.aiepr.2023.03.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.098023Z","title":null,"venue":null,"work_id":"dd67040c-4fe7-4249-af78-ae89362812cd","year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.276306Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:60e14dbd5b92593d771c19008b3d70ccbdcdbc49bcee1596ce249b9e64731d55","observation_id":"36cf0bb3-4ac0-437c-97d0-0d2bf9583ce9","resolution":{"observed_at":"2026-08-05T13:23:13.102588Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1088/1757-899x/280/1/012033","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.083526Z","title":null,"venue":null,"work_id":"cc3e7f3e-2dc9-499c-92bf-f6f45939a957","year":2017},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.280634Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:1fc4852198bc70a05a2d96a51fc3c76b00a3ea391a4952388296ca370581a213","observation_id":"4991e093-77d6-4b91-9a37-b045debb5be2","resolution":{"observed_at":"2026-08-05T13:23:13.088041Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.284976Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.284976Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:e35da673f68b0dedad2407da4dc2fb5149bf97a7311c758755d4c9603fe77505","observation_id":"9cfdea3f-1d61-4518-a91f-ad76750fccc5","resolution":{"observed_at":"2026-08-05T13:23:12.284976Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.289389Z","title":"Birsan and D","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.289389Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:f4a8d8fa7bba66d9076a70c15c0bb35d651a8c608ba477074ef59648dc000193","observation_id":"1a1182a4-f363-46e1-8a76-aa8280a835a7","resolution":{"observed_at":"2026-08-05T13:23:12.289389Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1108/rpj-02-2020-0034","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.068153Z","title":null,"venue":null,"work_id":"7c0f7c7f-504b-4abd-b244-4f3a2a1684a5","year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.293729Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:452b07687c3e0fec232e7db4981769cf7f9a9fc0c208a7a07ec5eee09081300b","observation_id":"a558242c-9753-4522-b77f-232ca7b0f7c2","resolution":{"observed_at":"2026-08-05T13:23:13.072640Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/machines9080163","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.053734Z","title":null,"venue":null,"work_id":"85d1b569-c955-406a-98e7-ca776b915c6c","year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.297967Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:030e279fe9ee84792b9695bb42fd83808cc384bf9d59720ec23be8ec353701dd","observation_id":"b3a17910-df2b-45a5-a443-a2eda9eaad52","resolution":{"observed_at":"2026-08-05T13:23:13.058163Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.302118Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.302118Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:53cf8e05b18981eb5fde3181d945990dbcd7566bcde8cf65ca52831896570dff","observation_id":"5618fba2-01f0-4d1f-8c6b-b27e9eaf570b","resolution":{"observed_at":"2026-08-05T13:23:12.302118Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.306150Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.306150Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:1e67300e1d57ecaf97cb2a7eadddca04656e116712ce0dc48b51c97e8315ca80","observation_id":"77bcb5e1-9867-480a-8826-b0cbddd81084","resolution":{"observed_at":"2026-08-05T13:23:12.306150Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.310341Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.310341Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:2faa957d5f9378a9c71096dc1138ea9433406a8e22b8d7c99eceacdc47296fa6","observation_id":"12740763-0222-468c-b49b-fd06e749e98e","resolution":{"observed_at":"2026-08-05T13:23:12.310341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.314727Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.314727Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:3b2eab329e93ff151c92547f0f7907b7bcbfdcc779dcf807324af17b6095c9f2","observation_id":"642a1302-63c4-40ea-87a7-d3b390891cee","resolution":{"observed_at":"2026-08-05T13:23:12.314727Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.26153/tsw/17639","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.027536Z","title":null,"venue":null,"work_id":"c5317afb-7868-48e5-8bcc-f53816ddc2b4","year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.318841Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:91386eedf5fc327d4918a0c20bdfd65427b459bc97022998701f1ec2b341dc39","observation_id":"896fe630-cad7-4a4f-8b05-5f916fc0938a","resolution":{"observed_at":"2026-08-05T13:23:13.032476Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.323691Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.323691Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:23b83ba6a8e63ef0ed7177b52dbf5fba5bb2be515f414df7ebfebd5c8499f89c","observation_id":"caf6d82b-8798-40df-a4ee-d180f0fcc30c","resolution":{"observed_at":"2026-08-05T13:23:12.323691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.327773Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.327773Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:fb93aab073e4350ccea7bc1b316fca9c428abb673f135aab9d43befb5071282c","observation_id":"12d89891-a894-460d-8733-aab795ddf428","resolution":{"observed_at":"2026-08-05T13:23:12.327773Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.331818Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.331818Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:71928de72d5fcd41b97493255d445c371d818b8c617772dbd35ddc7cb2c10605","observation_id":"bb1f5bf0-98d5-459f-8317-aba0d029cdac","resolution":{"observed_at":"2026-08-05T13:23:12.331818Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.336019Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.336019Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:0cab33f07ccef535f1ba9a05cd705021ba157a3267633a2c23247080ffd810b4","observation_id":"31df634a-fad8-480a-b332-17184e129941","resolution":{"observed_at":"2026-08-05T13:23:12.336019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.340193Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.340193Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:63701e656bf58f86263b63dfd46bcabbd73a7b2f484dbf2f60ddfce973f67cd8","observation_id":"4f1ef2f3-999d-428e-9a9a-9104ed042ad5","resolution":{"observed_at":"2026-08-05T13:23:12.340193Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.344779Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.344779Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:b1657f523af0c0a33be11fcdc301db533a23598fefca33a39ae54ab0e2d14617","observation_id":"2ff4d870-f65f-493e-b05b-f83a7aaab876","resolution":{"observed_at":"2026-08-05T13:23:12.344779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.348792Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.348792Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:0509ffdaeb19c78b38da313e2d267e48b78743560609761831b13bf48eb91ed7","observation_id":"fb206ddd-bf7b-41aa-91f7-bd682851110e","resolution":{"observed_at":"2026-08-05T13:23:12.348792Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.addma.2016.06.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.012778Z","title":"Delfs, M","venue":null,"work_id":"ba4046f6-83f8-4922-b901-2bd9d59aaf14","year":2016},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.352849Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:88c651458a19122c58dca43fcccd60db0ca3eaf5085f4af6a21600e1b8031c78","observation_id":"e25554e2-9b52-49c5-b516-aa4e2913d633","resolution":{"observed_at":"2026-08-05T13:23:13.017443Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.357185Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.357185Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:7cca630a747ac22ac1399d6f4cb06be7b249a0add761486c4584dd893e3c435c","observation_id":"e3edc9f3-8caf-4197-8a2f-6c6b7bdc1196","resolution":{"observed_at":"2026-08-05T13:23:12.357185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0010-4485(94)90032-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.998234Z","title":"Dolenc and I","venue":null,"work_id":"870e4788-b010-4f8e-bc72-a354fef625d6","year":1994},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.361277Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:da89bd129cf3ff0bbadedc517dd213e71ce6aa20a39260d56d937f29baa0f0e9","observation_id":"b39c6d6c-c981-4beb-9f06-8b17ede44e62","resolution":{"observed_at":"2026-08-05T13:23:13.002837Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2127.32750","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:14.596222Z","title":null,"venue":null,"work_id":"243f8cbb-9c43-4f12-a9a2-9d3903139fc7","year":2018},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.365606Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:a71468fe0b686baf81dd48dfed9fd90a9869498f5a16aea293fa170292910310","observation_id":"c410fbd6-c4cc-4d49-8218-60108184b769","resolution":{"observed_at":"2026-08-05T13:23:14.603487Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.369716Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.369716Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:ea6f53768779cb922653ff33e25d5077f2cbfa95714999ad9d8a874018713e1e","observation_id":"43d6110e-aec0-4b21-9325-094ab4a96991","resolution":{"observed_at":"2026-08-05T13:23:12.369716Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.374000Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.374000Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:4cde6629bc3161107be7394cbc236b2d4f9d45ed7260b05afbb66b6873e9fdef","observation_id":"05568133-53f5-4dee-b582-f7fbb8e00ab2","resolution":{"observed_at":"2026-08-05T13:23:12.374000Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.378308Z","title":"Wang, Jonàs Martínez, Sara Mcmains, Marc Alexa, Brian Wyvill, and Sylvain Lefebvre","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.378308Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:b31f80a1b4408e889a2bf23426c71577e2975a96d8ac2348ec59ab76ef59d88d","observation_id":"40aca593-d943-4be6-a376-3ae300d271c4","resolution":{"observed_at":"2026-08-05T13:23:12.378308Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.382561Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.382561Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:4b0bf85d7e9cb48b911ae2025219dfc8d12a12e0e16f6cc4386717b9f04d210c","observation_id":"4f9ede01-348b-451a-9154-8a77ff1d9cbe","resolution":{"observed_at":"2026-08-05T13:23:12.382561Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.386690Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.386690Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:a6198a7cf506fcee414cdf17fac6bdce8d335e2ca22460786ed171204ddc1242","observation_id":"dd39d592-8c42-4810-b46a-00e7b8bf94d0","resolution":{"observed_at":"2026-08-05T13:23:12.386690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.391451Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.391451Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:3bd764c75613d5030dca94072d6018efb0312dacfbd68f3a0c51e03fe0372f90","observation_id":"46f83ad5-8c4d-4ca1-a9cd-1a800e67c3fa","resolution":{"observed_at":"2026-08-05T13:23:12.391451Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.395686Z","title":"Cobb, and Nadya Peek","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.395686Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:9976f57f85ffd4bb6d0f4071b694972bcaaf2da6004436f733a67377610ad581","observation_id":"ab75eb96-ab2e-4eef-81e6-d2d5bf341380","resolution":{"observed_at":"2026-08-05T13:23:12.395686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.399973Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.399973Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:a8d42b3734ef94db59a6f97402b0b89cba8d8f514872ac854944e0850af98e4b","observation_id":"c0c39c46-ce73-45a6-bfdc-1d4ab8f99f85","resolution":{"observed_at":"2026-08-05T13:23:12.399973Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4028/p-src0bo","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.983473Z","title":null,"venue":null,"work_id":"d118a6d0-7a20-4152-967b-56e236d41897","year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.404144Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:c039a1d67dda2cd1a38d13574bdd6ce8df21dd53230e5a71988fc9b979a02a37","observation_id":"3b720bf4-2375-46f2-9f29-5f41e2ec7ccb","resolution":{"observed_at":"2026-08-05T13:23:12.987752Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.408489Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.408489Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:3e8d98b02cc61a17cc4c866d54221b061dad6a032820d947b24b5db6c50a4dc5","observation_id":"fbfeab61-935a-4211-8c36-d6425e32c4ef","resolution":{"observed_at":"2026-08-05T13:23:12.408489Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.413021Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.413021Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:d8c113413380a5de435bb111291fde0838463ea516df559174ec078cb4a022a4","observation_id":"8e7a76c7-558a-4681-a787-be7a6ca2955d","resolution":{"observed_at":"2026-08-05T13:23:12.413021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.417148Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.417148Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:fdeb2bac73c0bb412180efb7fc23f7fb36253dc7625d324c0ac1476c698f9c9c","observation_id":"1a169b84-339b-4214-bb29-5e8bb5785f84","resolution":{"observed_at":"2026-08-05T13:23:12.417148Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.16595028","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.958903Z","title":null,"venue":null,"work_id":"ad936a65-9bb8-400b-9170-60bda731ac99","year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.422117Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:d0aca08d2c78319dbad849f9f3e0209c87ba856edd465bc457668c7e2ded08ef","observation_id":"0506e1b9-7241-4cce-8235-8c88bb399d79","resolution":{"observed_at":"2026-08-05T13:23:12.963237Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.426446Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.426446Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:7518324451e8abf7c1223525be27ed07e20030f7fd2b700c2f65d3fc18a73883","observation_id":"ad6c1d17-6069-41d1-b91c-34743e4b2240","resolution":{"observed_at":"2026-08-05T13:23:12.426446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.430610Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.430610Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:ccd672c033c2f475da970fe839fd7746239da22ee2ae9ac725d2afdab75b557f","observation_id":"dddcdfe0-53a2-4af3-b2e6-eddc6fc38bcf","resolution":{"observed_at":"2026-08-05T13:23:12.430610Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.435303Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.435303Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:45c7e65f7c2326ca5ae7284d549d79b01cc1fa4f9075c2d53bbde0a8f5c24b0d","observation_id":"c9eacf66-ff74-4621-8a40-b77d9d6400bc","resolution":{"observed_at":"2026-08-05T13:23:12.435303Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.439994Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.439994Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:449bdfb4e4bd358758025c9656f3fb1cdfcb6e4ccd43cec08954680df7538333","observation_id":"35be8643-7611-4d3a-8605-7b1016b3a0a7","resolution":{"observed_at":"2026-08-05T13:23:12.439994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.444473Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.444473Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:7bbb771eb4a1905c4eca63ebd045cb94fcc676871567608138b3664f96972c92","observation_id":"cb6e1665-9ed7-45b5-a88b-ca16484e8d2a","resolution":{"observed_at":"2026-08-05T13:23:12.444473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.448754Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.448754Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:e72f5e1c65296d437108032399f6779cb2c6dff56faaf978cdf5b0fda6924b52","observation_id":"79fbd036-0b15-47a1-a85d-8babe11dabaa","resolution":{"observed_at":"2026-08-05T13:23:12.448754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.452751Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.452751Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:faec6332f0c059e5a8040825288912f8044bb17af91471bbc4b84b9dfa71c671","observation_id":"38d23bd9-bd2e-47b9-a0fc-327cc59c9ea9","resolution":{"observed_at":"2026-08-05T13:23:12.452751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.02465","last_updated":"2023-09-04T21:22:28Z","snapshot_observed_at":"2026-07-06T16:14:53.027414Z","submitted_at":"2023-09-04T21:22:28Z","title":"Towards Foundational AI Models for Additive Manufacturing: Language Models for G-Code Debugging, Manipulation, and Comprehension","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.02465","snapshot_observed_at":"2026-08-05T13:23:12.456679Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.456679Z"},"links":{"cited_paper":"/paper/2309.02465","citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:a2f0315189aecc9422dbb1ef8139d522986faf6b4fe381cf821335e2ed943e70","observation_id":"bb3d8f50-cc11-4c1d-955d-db09b08ad485","resolution":{"observed_at":"2026-08-05T13:23:12.456679Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.461368Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.461368Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:e848e9999d0f15780b0bacb1e3b0ceb1fc2782e41606441be4c7a22f2b3887d9","observation_id":"8fcb5b13-e936-4e4b-9b5e-e09b01689e04","resolution":{"observed_at":"2026-08-05T13:23:12.461368Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.466136Z","title":"Kenny Jones, David Charatan, Paul Guerrero, Niloy J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.466136Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:ba83b1693b100880474b403339dfefc246a2353df491e9aa145936a574636cf1","observation_id":"65a8bbb0-880c-4202-a8bd-f61c093b27ad","resolution":{"observed_at":"2026-08-05T13:23:12.466136Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.470278Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.470278Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:bfae8cb3c99f4ea2b3e6dd44eaea2e05b73053aac4f92fc66ab124ebca8f5e17","observation_id":"0e781922-83c7-47b4-8d65-8699224c0fad","resolution":{"observed_at":"2026-08-05T13:23:12.470278Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.474267Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.474267Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:f2e6219c65e888c5990f087a3c0112f5616da09b39243376acbc5135904a52d2","observation_id":"1bb182f7-90e3-4585-bb15-57fec1b68a38","resolution":{"observed_at":"2026-08-05T13:23:12.474267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.478548Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.478548Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:41837c114b4d6b8613d5328c2016cb3f1bc491830dbde02888884b3599a7108e","observation_id":"8e9fa209-d136-4da6-872b-a7c71d7603d8","resolution":{"observed_at":"2026-08-05T13:23:12.478548Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.482449Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.482449Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:557d046ccfc2de9edbaa17e963899e58b276ee260a38de26cb74573f78b2aa28","observation_id":"132382fd-f683-402a-a822-bc9b117902be","resolution":{"observed_at":"2026-08-05T13:23:12.482449Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6356.25943","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:13.983298Z","title":null,"venue":null,"work_id":"8e5d49bd-0cbd-429d-89f1-2419ca9d60b4","year":2014},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.486591Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:9959291434709af977b8a68740e881600e7786f3e6cbb2de9731b8534ee696bc","observation_id":"751b0968-342c-4e02-917b-38ea997d04f0","resolution":{"observed_at":"2026-08-05T13:23:13.991143Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.490806Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.490806Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:93ac8811e34557ebebf0555fb2fd83b1d053b050d35ad7611033d331fe9aac02","observation_id":"3c9d4af8-52b9-449d-916a-f1831324f17f","resolution":{"observed_at":"2026-08-05T13:23:12.490806Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.addma.2016.06.004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.933184Z","title":"Buswell, Philip J","venue":null,"work_id":"0585d945-d273-4968-a422-a69a22d972a2","year":2016},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.495664Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:cc32b10e114e8ec4d3bea23d2b050049f8560a3a4d999779da3b9292bc2a6c2c","observation_id":"37cbebf8-b52f-455e-8436-1e7801a92305","resolution":{"observed_at":"2026-08-05T13:23:12.937654Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.499776Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.499776Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:9db8093784d65e8a9669ce9eac96754df77feb33daece51fbdfb256856dc95b1","observation_id":"92712da6-c474-4f36-b241-17cf6b1d48e7","resolution":{"observed_at":"2026-08-05T13:23:12.499776Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.503785Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.503785Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:4c37da6e3763ecead53db976e1f525f2204d1f2586ac76c21ae4700105eae592","observation_id":"085caed7-d5ac-49cf-a253-c787e967d97e","resolution":{"observed_at":"2026-08-05T13:23:12.503785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.507748Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.507748Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:5a13344ae06378468a51bce2320386c288f347ac661a0251680b0da61f3cba4e","observation_id":"a7566bb2-ce1f-4335-905b-146bc29e55e0","resolution":{"observed_at":"2026-08-05T13:23:12.507748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.511759Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.511759Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:0b9dd51f980eedff8b823f2c068942a7d821ef4108f5a0793467bc6a591a209f","observation_id":"f8d07dea-3db3-49e8-9b00-73b85c31a27b","resolution":{"observed_at":"2026-08-05T13:23:12.511759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.14377","last_updated":"2023-07-25T17:30:38Z","snapshot_observed_at":"2026-07-06T15:58:55.330444Z","submitted_at":"2023-07-25T17:30:38Z","title":"How Can Large Language Models Help Humans in Design and Manufacturing?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.14377","snapshot_observed_at":"2026-08-05T13:23:12.516193Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.516193Z"},"links":{"cited_paper":"/paper/2307.14377","citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:5bf2f4716e5721756ddbc6a0060d6250a19fc674c5028853ebc7629b03ffd759","observation_id":"c332dc3b-ee26-4c17-a295-8bbee6d85b49","resolution":{"observed_at":"2026-08-05T13:23:12.516193Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.521241Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.521241Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:823cc98345991bd1047c04274fd72b78a845d010984efc4ba2ed906e74564ddb","observation_id":"e35f7451-da48-4539-8b35-152b170f7e54","resolution":{"observed_at":"2026-08-05T13:23:12.521241Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.525532Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.525532Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:10d9fd2c113138676d66b8d031d414aa71e94c3241bbf464297b28cf4c72e71d","observation_id":"2f47a92b-63c1-461e-a136-68af366c309a","resolution":{"observed_at":"2026-08-05T13:23:12.525532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.529880Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.529880Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:2945eae199dd5219f8f7285703e960d226a335eed5ea45b820a1775f3ce002de","observation_id":"a1948542-9a88-47ee-b7ce-83786e14b892","resolution":{"observed_at":"2026-08-05T13:23:12.529880Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.534246Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.534246Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:45622551e04d1f285b42928159b3482fcb817f265866de2661ad9449383eaa1a","observation_id":"037d7c2d-8660-4757-92ea-f69eb34978e2","resolution":{"observed_at":"2026-08-05T13:23:12.534246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1088/1755-1315/114/1/012018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.907704Z","title":"H T Baharudin, C N A Jaafar, and M I S Ismail","venue":null,"work_id":"6dae8ae1-32a9-45e9-a239-64f1c6d39828","year":2018},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.539099Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:a674d28412dee9e92827881682e5386d39ff029535939b62acb90d6342d8e220","observation_id":"b61bff32-8b2d-4536-ad83-f4440f0300fa","resolution":{"observed_at":"2026-08-05T13:23:12.912762Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.543359Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.543359Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:aa276eea33e0c4dd688aa1619c66b04cc1ef1f30c68942f88eb84c8570376441","observation_id":"86904c10-9b0a-44d7-83e4-7293ab573368","resolution":{"observed_at":"2026-08-05T13:23:12.543359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.244739Z","title":null,"venue":null,"work_id":"ab5642ae-705c-491f-a9d7-ac5f88d79c16","year":2000},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.547457Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:5a30b46cf5d82a68f95a849aaf18e9bb352b61fea34327c56bfcf2deec602669","observation_id":"0f04f7a7-20f0-4823-9def-f8caedcf2fa5","resolution":{"observed_at":"2026-08-05T13:23:15.248846Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.551726Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.551726Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:6ec79e1d2da3d2376e1b52d5ff976b1df83f8b1fc69b44ef3107b006a9399e06","observation_id":"62a13353-05d5-4d69-bb4a-9864a92146ae","resolution":{"observed_at":"2026-08-05T13:23:12.551726Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3236794","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.882422Z","title":"Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock","venue":null,"work_id":"a3997101-467b-4cb3-9599-61d0f8d5450a","year":2018},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.555808Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:67e99fb2780aad0a7bf04a36add063e595d1fbd7834eecbdff7014780009064f","observation_id":"1712d728-510e-4fce-861a-502f7f9b5230","resolution":{"observed_at":"2026-08-05T13:23:12.887513Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.559872Z","title":"Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.559872Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:60210c0ce1c41c997ee0f64cfc88ae897ffb7d44584b4d83971e9fb4498683ca","observation_id":"70761831-6e47-4a25-b26a-c97efce07e3b","resolution":{"observed_at":"2026-08-05T13:23:12.559872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.230885Z","title":null,"venue":null,"work_id":"7aecfae3-b516-4653-bca2-e9c6642bbf6b","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.564250Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:4c27bd6e897ec9e6597f7dcd28d4c796e5565ab7e25bcf7877199594d4679147","observation_id":"40811ee5-4218-43a6-90c7-03e26580c934","resolution":{"observed_at":"2026-08-05T13:23:15.235011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.216956Z","title":null,"venue":null,"work_id":"80521685-7f08-448e-803e-16027bcd7693","year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.568289Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:dda80bdc8aa8659f3f41f4c1ed30c5903b222fd10c8db395ba652ef7582e659e","observation_id":"cf375008-6e39-4a08-b321-407919cfde23","resolution":{"observed_at":"2026-08-05T13:23:15.221198Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.202685Z","title":null,"venue":null,"work_id":"a1784907-0525-4af3-81d1-2e0f4deed639","year":2014},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.572295Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:0fbd73a1982c47ae2fcaee227bccf62e4f472721d69269f242a1f1dfeb48fb5e","observation_id":"ea38a3de-f36a-4605-9695-e0e70e0cfa80","resolution":{"observed_at":"2026-08-05T13:23:15.206978Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.188077Z","title":null,"venue":null,"work_id":"9c056eae-1f1c-4c5b-b7b0-3e9f0432cfb4","year":2022},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.576894Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:955e0a1de36a05705fb705492cb22cf5846e3c431dc21ee85897932d918f06b3","observation_id":"35423a7a-2306-423a-b7b9-bfd0e8094ca6","resolution":{"observed_at":"2026-08-05T13:23:15.192705Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.4081343","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.856217Z","title":null,"venue":null,"work_id":"0509fa55-567f-4bdf-8398-c103317354b0","year":2020},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.581015Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:4a93dc54bcfb00b3ffb24bd5f4fde1e0ceb61359d2556059ab332d6f8159a0a9","observation_id":"7a340c76-4458-4802-a81b-0828180f4c2d","resolution":{"observed_at":"2026-08-05T13:23:12.861123Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.173902Z","title":null,"venue":null,"work_id":"4887b709-3d70-4363-990a-41e35ef1a333","year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.585132Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:5113e0972a5df31129770949d7f28d193da8d9b454c216ecb4b9c6b531e21687","observation_id":"d0dc89c7-1b3d-46be-acef-ccedc67a8ae4","resolution":{"observed_at":"2026-08-05T13:23:15.178268Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.160462Z","title":null,"venue":null,"work_id":"f3bb77e7-06bc-4c69-8d8a-648f6f676c9f","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.589429Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:dbb53bb15543806977848de05407c2181ee221d48cc69285ab5af898de6b6526","observation_id":"a8e06c57-5bb4-40f2-a0ef-983a538adfa3","resolution":{"observed_at":"2026-08-05T13:23:15.164600Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.146596Z","title":null,"venue":null,"work_id":"cbc6d78e-bf54-4525-9f78-32c4e90698a1","year":2019},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.593479Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:47d1fce8755c52d4ece5902ba7580f302f530c79cedacc31b9cf0b9c6d05ed40","observation_id":"b68126c8-ca8d-4570-9139-9548faded037","resolution":{"observed_at":"2026-08-05T13:23:15.150704Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.132921Z","title":null,"venue":null,"work_id":"92f6ba57-274a-4b75-92d6-91944cc944f1","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.598180Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:2501f1065bf84a95bc6e063826f15bb2c0271bf1b95f73f2de93c38f8eb9abdf","observation_id":"e04cc78b-3f6b-42d9-8443-66a1ad1dd1d6","resolution":{"observed_at":"2026-08-05T13:23:15.137119Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.118986Z","title":null,"venue":null,"work_id":"8d30c036-a547-412d-a13a-b646b6f5f201","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.602220Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:f1435c7ce7fcd4aa650d807ea92a85d68fee9b94ecb748a3e97eacc4077ab6f8","observation_id":"3d269774-af3f-4fee-82d4-0d657913176e","resolution":{"observed_at":"2026-08-05T13:23:15.123388Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.105106Z","title":null,"venue":null,"work_id":"cb326859-07ec-48b7-a28c-807d467dd9a5","year":2021},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.606207Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:e37506cd06f5167f35da1347805b0412b0bfca4445efacd547ffcaad0771ba98","observation_id":"10bc5a51-dd0c-4e46-9f4a-50d36bb91947","resolution":{"observed_at":"2026-08-05T13:23:15.109212Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1712.08290","last_updated":"2018-03-31T18:03:22Z","snapshot_observed_at":"2026-08-06T05:00:35.960296Z","submitted_at":"2017-12-22T03:18:57Z","title":"CSGNet: Neural Shape Parser for Constructive Solid Geometry","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1712.08290","snapshot_observed_at":"2026-08-05T13:23:12.610896Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.610896Z"},"links":{"cited_paper":"/paper/1712.08290","citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:321beeee0dd5cde152a3bcc9b387bbba7dca193b0ab2d069851c29090873a45d","observation_id":"8ef2b1d1-f947-4386-95ee-da9ac6bb4649","resolution":{"observed_at":"2026-08-05T13:23:12.610896Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3341703","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.841725Z","title":null,"venue":null,"work_id":"56fffaa9-1c87-4b33-b522-e92a84521892","year":2019},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.615369Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:827b79e745cfe8b0945a00a3df709be7f28fdf490062abd499023b3e0165c3c1","observation_id":"a9ff4e16-1d7d-4dd9-a9b0-53681b830dbc","resolution":{"observed_at":"2026-08-05T13:23:12.845974Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.091132Z","title":null,"venue":null,"work_id":"79f229b6-f15b-4a78-be87-429bde8275b5","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.619476Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:e4fca43a221a36ecd31457230cfa5a9e6ae082fd4e40d5980427845b1c144e84","observation_id":"a19ebb8b-9736-4a89-ae96-da94a8ab776f","resolution":{"observed_at":"2026-08-05T13:23:15.095331Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.077194Z","title":null,"venue":null,"work_id":"e269a8ab-dd37-4cfa-af47-859f586dfd72","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.623664Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:f50307b59db3ce6af015cb216f7436f63b32928d1af2c1ecc20bdee1c2686da8","observation_id":"8af34366-e0ef-4cf0-9487-da6f776fdb3e","resolution":{"observed_at":"2026-08-05T13:23:15.081505Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.063319Z","title":null,"venue":null,"work_id":"52c8a9cf-56a1-48f9-96fe-38b74af41e94","year":2003},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.628035Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:bb5ec682170db138e6a34191c98361aec4f50545eec8d0bf4390fde2d4ad8895","observation_id":"11f8e662-821a-4f95-bc0a-9937c261243c","resolution":{"observed_at":"2026-08-05T13:23:15.067612Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.049628Z","title":null,"venue":null,"work_id":"341a15fb-214a-48a4-90e6-ccdd3e038150","year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.632338Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:1a7d193f2b4d75f06b661bd75f1b203c7f8128eb09c2364ac30738fb10d17b5c","observation_id":"9eb30022-5290-4a62-adb5-70f11fdbdef1","resolution":{"observed_at":"2026-08-05T13:23:15.053795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.035795Z","title":null,"venue":null,"work_id":"620fbcf2-7fef-4beb-a12c-780141927021","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.636543Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:4c6c5e167795ac69d087121f7be8cd605bc5656c51b908d6dbe2071b053a44ea","observation_id":"dc321563-96fb-4626-9a43-2f2f931714aa","resolution":{"observed_at":"2026-08-05T13:23:15.040016Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.021614Z","title":null,"venue":null,"work_id":"962df34f-a1ac-4e95-bbba-9ee08fe1a487","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.640809Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:ecfd97b304896280c4ab02840ccdc5935b93197354a0e27048d707123ef1da45","observation_id":"f5a9a381-7a3e-49dc-bf3e-5fed47121918","resolution":{"observed_at":"2026-08-05T13:23:15.025706Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:15.008371Z","title":null,"venue":null,"work_id":"e9ee1c8d-22a1-423a-bc8c-ca9bcf3b6e9a","year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.645097Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:82f667d57f05a96efa05302f1cd418e064d3c4b0d148d81c673c750a31a5faff","observation_id":"b5259fa4-c0bf-48d4-b772-c3935f43f84f","resolution":{"observed_at":"2026-08-05T13:23:15.012320Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.649432Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.649432Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:9b4e7eecf01c528e443305266ce48b69054da667d61882bbd8afb43cb9a3b239","observation_id":"480e46e9-e610-46d4-88a1-4d435ea99584","resolution":{"observed_at":"2026-08-05T13:23:12.649432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.05071","last_updated":"2025-03-07T01:31:40Z","snapshot_observed_at":"2026-08-07T17:23:13.660634Z","submitted_at":"2025-03-07T01:31:40Z","title":"Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver","version":1},"cited_work":{"arxiv_id":"2503.05071","doi":null,"metadata_source":"pith","pith_arxiv_id":"2503.05071","snapshot_observed_at":"2026-08-05T13:23:13.737668Z","title":"Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver","venue":"cs.CG","work_id":"ee781008-5e4a-43e9-bb33-dc28ed4007db","year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.653641Z"},"links":{"cited_paper":"/paper/2503.05071","citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:c16e932367d62e290b76538e7990cbd7c78752e6182558a14c0325775dedbf50","observation_id":"587e50bf-1f86-4253-bfa5-34808ae8035d","resolution":{"observed_at":"2026-08-05T13:23:13.743629Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:14.994143Z","title":null,"venue":null,"work_id":"bee89152-28b3-4fc1-b62a-3547e11e9594","year":2023},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.658280Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:61d79a2d14e12cbe8347a550bd1e87ae541b436160a50f7c75ea022e69236334","observation_id":"66d8a76e-6e54-429d-bf41-b8f95aa2a392","resolution":{"observed_at":"2026-08-05T13:23:14.998723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-93706-4_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:12.824419Z","title":null,"venue":null,"work_id":"e010d8aa-b810-48f3-ad71-54032a44eddb","year":2025},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.662640Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:b2c7d45c1ceffd5437ce0e0bf326f5edfa4cc49f73decd5baeba1d8d7af44055","observation_id":"7ed120ea-5ac0-4a77-907c-aa648ab78c2e","resolution":{"observed_at":"2026-08-05T13:23:12.830492Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:14.979871Z","title":"Freeman, Joshua B","venue":null,"work_id":"33f59004-1e9c-4999-beb8-1ea9c1f5e4fe","year":null},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.667419Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:3b90df3554d1aa225d040a5b203c48aec3e215178ab15120f2dce48736cfd34b","observation_id":"d330c9c3-d7e8-4d8d-9049-48f1ce41d0a0","resolution":{"observed_at":"2026-08-05T13:23:14.984453Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T13:23:14.952159Z","title":null,"venue":null,"work_id":"3bc1f405-1adb-4881-9abd-15d09f99413f","year":2024},"citing_paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-05T13:23:12.676375Z"},"links":{"citing_paper":"/paper/2509.00699"},"observation_digest":"sha256:a8fdea02401d1c603dadaa237f51d1fde438d066095f059476d3b643ca030e3c","observation_id":"a3a3259b-3b1b-4abb-b675-c0ea8feb6fdc","resolution":{"observed_at":"2026-08-05T13:23:14.956755Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.00699","last_updated":"2025-08-31T04:50:26Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-05T13:23:01.994091Z","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":3,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":76,"verified_exact":17,"verified_fuzzy":1},"total_outbound_references":125},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 100 of 125 outbound references and 0 inbound Pith citation observations for arXiv:2509.00699."}