{"as_of":"2026-08-21T21:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4753ce318dfe5a43b9af65a8a5cc080f57cfbda2eed03b233726a8df031ec433","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-21T06:32:19.484+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-20T07:18:13.947731Z","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:ff3c83154f2d71a9127fe61071c3b761afa31daf4ba85e7c4e24a8dafb650a16","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-20T07:18:13.947731Z","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:bc1a1c98bc51d8c18daa973f7ec0039004fbd0ac28c1a5bc93f2dc701847a55f","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-20T07:18:13.947731Z","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:519e54ea4188e538114d61743eb8c7434bb39bc02ed74b89d940f2a08196f59e","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","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-20T07:18:13.947731Z","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:180b926196c14a2f65e92337fe016a45e48e91330510fcde2bd0dfc594fc62a6","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:9c993a90ff6b853b12d0a3b6bed577c8888025dfe2b0bf800e93db98692ddde3","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:d55b5e529845db87af8e9cfe53fc1184b91944e2141c6d30e2489ffa0b97e2e5","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-20T07:18:13.947731Z","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:76a2dddac552a3ddeb90a361e5c70c02d4b503eaf5a068c0f2ef45a729375748","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Advanced Industrial and Engineering Polymer Research","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-20T07:18:13.947731Z","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:f838119a65d38c4b09e20461e55628e59f7e5d17f9aae12b9fd0cde52d2a93f4","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"IOP Conference Series Materials Science and Engineering","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-20T07:18:13.947731Z","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:5c82672d456aac231736b0a1453b1f20a5a29e7a9d253592e531d2d24fdb0200","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:8079f481761f8caf0f88d04816019ddcc8da62de8d7c19d06a6a04c6613cab55","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-20T07:18:13.947731Z","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:a2ba7fab990a941a76d2b314daaca0dd0de7c7f257ba41a26dab2f2207dd7276","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Rapid Prototyping Journal","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-20T07:18:13.947731Z","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:f740e6841a2ef48711fc4b73fa4ee1964a86f15690efd2a92accb99d649e1cb4","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/machines9080163","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Machines","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-20T07:18:13.947731Z","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:8845d2373c070383a59ca7563ba00dd2cf76b32b5e19817824e0baed643eb86f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:2fec530bc88d8fb5ebf0d06f64a3879d35123e6bf96c3c6c1c7f8aebcc97ce39","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-20T07:18:13.947731Z","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:cf3859228baee5d76134d7d1b92b408a559f614df1fa84bb6345ca3e4e5f908a","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-20T07:18:13.947731Z","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:076e9b7bd731cb677d582a303dff9cbb4e4bfd043b8e9f22fc803c92d4a99330","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-20T07:18:13.947731Z","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:9597ca0728f7737c895c8fcc9588b140e49cb07f8b7c16711ca0749d4d059872","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Texas Digital Library (University of Texas)","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-20T07:18:13.947731Z","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:4181181c8c569ae792affafa9bcb76c9c4ae11e3af28dfd7a69fa340133cf191","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:a926fed30b21ca2246ffba4ce049307471b8985f44ca9b4038dda21feb6af5a3","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-20T07:18:13.947731Z","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:7d69ec7d241336684b49735785fefab6ff1970d97e5f1f14ae567e8801ed5837","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-20T07:18:13.947731Z","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:af4eabe6988be431545f06f7ef87e71ec37703d087e250c0db1b545e27087183","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-20T07:18:13.947731Z","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:b5bab5d99f82de1a558b3c4438be74630a382279182d940f1ff5f8a0bebffba3","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-20T07:18:13.947731Z","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:f47364020e395917c013e66bb295ad3c610b7be9d37506d96ac2198e5c15661f","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-20T07:18:13.947731Z","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:7da6b02c01f0ffd280b82bc183affcb2e8be37b7d9c805304cffa786aa472ee8","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-20T07:18:13.947731Z","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:ab5d021ff03244747fdbda0fcc8da0ccd3c2f26c631a9861642a95c054ea9747","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Delfs, M","venue":"Additive manufacturing","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-20T07:18:13.947731Z","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:fbcc7000bf13ffc0b66c9c002b1cf5aae7cbf55678f96aa548b205bfd8debe34","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:811e5f7747ec15995b37822d8c78f4ada09568fc7c61b618736732d30dbf0d52","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Dolenc and I","venue":"Computer-Aided Design","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-20T07:18:13.947731Z","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:26794dc050405303ea0e06675063b78c78a16b3896fbdbbd7c14e7242cb66fee","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:8819d522e2a082994690153494994fdefed9651e2b6b7d1110d8eda399856dfc","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:73b46601b7ace31853908852435be8c00d10b1bc5bbecbfd5e3af115e176ed0f","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-20T07:18:13.947731Z","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:926ef5d660a9b1b6a0daf258a4a60d401f886ef71cb16277c96eaeca7cd64a93","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-20T07:18:13.947731Z","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:917c2433bc5d7043b21421bc9d068d417c2e03f6fe81ba03db5282a7ace44acb","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-20T07:18:13.947731Z","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:e3a2796c09dc95e31fb4b41b85d3804da960ade1b1c01a801a61bbff4e3f6203","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-20T07:18:13.947731Z","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:f3878f1620898602ebeade3ae761a1b3ce9e929b1531d67a4461f32f5dafac34","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-20T07:18:13.947731Z","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:f6f36448e4ad60349286468c04b1d2a28b35646e0289a4dff12e9076de7d8803","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-20T07:18:13.947731Z","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:d063d5057cd77ea715443c66997dd51ca7d6dc9b159af9b3a48bcf63c39b5ba0","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-20T07:18:13.947731Z","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:aec4650c66b102cb04ff355a3ef77239ff528faedbd0379eea7371d38c3c1ff6","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Advances in science and technology","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-20T07:18:13.947731Z","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:a6f8e25f53af05119c5b00b0dd3ecdfd7e2f908d16c346eb707123dcbf72f6b8","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:7e9cc7cd7a5d12aa25d6312ebdcef83254aa090c918fd925f4b9486491b4716d","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-20T07:18:13.947731Z","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:15c33ad6e4b64054af1c33667da9e86856312c034c48fa1a4f01d14c17a3bf3d","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-20T07:18:13.947731Z","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:f741babd574a3371c4fd44689f0af3a0532cde27745abe239cfeeeb92c9b155b","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Zenodo (CERN European Organization for Nuclear Research)","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-20T07:18:13.947731Z","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:70fe5225c9373e3cdc6f41bde45c3b8de0c2ef0ab73a3aa82198b871ed1506cd","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:01419b1d4cd0785b05c86b67a5173dcfddb090180e0706cd23388e29c8b6c91d","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-20T07:18:13.947731Z","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:80a7ea70e291ad158ef0d7cdc3b75cb02d201cddceea7da34eef13ea00267331","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-20T07:18:13.947731Z","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:1424c80889877a96af273b5357d373436d084a469c4318227e9dc0d7b1f76b71","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-20T07:18:13.947731Z","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:ea9189bfdde32d2d1c0c98b58341dbe452cdd8b3620c0601fc68c704ed4615f5","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-20T07:18:13.947731Z","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:936a0ab1bd07d0df873466a66767af225acae5f1fd90003027042f7d411117a7","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-20T07:18:13.947731Z","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:30d7baed45884797560c272917d58d5905ba0744b77df6e5209d276b613a01ed","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-20T07:18:13.947731Z","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:47bf4287988b22246fc866dc69c56e89fb82dc87b97b5745e914d07e5a7a846f","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-08-16T15:03:23.245873Z","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-20T07:18:13.947731Z","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:015ad48bf4d9541041c247e4a42a80e8fe038c81d96598b12cf839700d4880ce","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-20T07:18:13.947731Z","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:fb43decd686a080e77d4d07cb6373b9f27d5d8721b5dae78395d822ec51812da","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-20T07:18:13.947731Z","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:6f2d477dcabb2fd330e4875ae273e55e370b237a0704faa5bc7e56b4f6c94d36","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-20T07:18:13.947731Z","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:9b6704dc8074646cd7d103a6fc36a87497569d79704f49800b0558e36f6800a9","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-20T07:18:13.947731Z","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:815892e7f08be2453bbb3e9e3318d2936da81afc4fdcb401d3187d2e1fe3f595","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-20T07:18:13.947731Z","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:f277ccc115ba2eb33e9d3d65925f8110db2a9c49377e255ede916aedcc7413ba","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-20T07:18:13.947731Z","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:2c60c0e5a6b880f2bd6adac40dbb9c4879a9683cc64346d6ee41d9d3b0e7bb83","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-20T07:18:13.947731Z","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:e07b8672a613befc22894f362ed156b776376abd4d0acd24ca24eb0995f8153e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:9ad186de7b290a7482357852aaa89a195995bcb4d41c706fd57a782ef013bfa2","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Buswell, Philip J","venue":"Additive manufacturing","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-20T07:18:13.947731Z","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:dc2bd52206dcc74c54008649d08b6ac441934978af9c4b671d87b73bfdd40c73","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:d11ccbe31ce5ab4c780b4f812c9b58142a4d7cea578689b01cb6476325cc4bbc","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-20T07:18:13.947731Z","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:1b30173c1247e7ff5070960d7c15f1ff34f4f9a288f1b6549d5f9015f435954e","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-20T07:18:13.947731Z","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:e3cd1fb7457b2c128524b1a3375b8835e76cb533803e6a5a95a40d33fafbd145","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-20T07:18:13.947731Z","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:fe6860dd5b0e072947c473f4c1ccc63ff9f9ac55312c429743877dc55478aec4","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-08-16T15:13:22.487046Z","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-20T07:18:13.947731Z","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:25463b9e2112a737f6d0b0f7eee056b73e7dd287c6f95650f8163df32c31f73e","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-20T07:18:13.947731Z","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:3951bd2eff5e080cbd1977526a02344b22d18f52b123637790ca65746e8e656f","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-20T07:18:13.947731Z","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:9703f2cc9d7f2e3f51cb39734396f00897d15fc4fd3554f61cebfd9027cb3969","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-20T07:18:13.947731Z","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:c963274e7d4d12563ef058fedd728c0b8c75c948f63b52d3bd959d7988b682d7","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-20T07:18:13.947731Z","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:e1f577da5852f44794f436f14c9c8365f477b3f9f70e189772233fb72c3fb8f6","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"H T Baharudin, C N A Jaafar, and M I S Ismail","venue":"IOP Conference Series Earth and Environmental Science","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-20T07:18:13.947731Z","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:4fbb36560845ae937221573f3b07b3cb16f7271f70f1ba34662a88df3308c92d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:13a8f3f9b6c50618c6de1f159c8f752a7164bec427db6cff3979ca026f09cb39","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-20T07:18:13.947731Z","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:781e5c3b365d4c2d59a00e0e468172019fdc1e4932b3434ab178915b49251d9d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:9a4ab794aac01a430609e8fd8502dfdefdc75a4babe49a5336fc4d42667b2d94","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock","venue":"Proceedings of the ACM on Programming Languages","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-20T07:18:13.947731Z","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:cae2bdd763760892888f135786ab239756dbba5547b907b4b25a8e2e6f9c3316","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:1c67cb58b19994267b271c4b68bfadd9b1dc3f0af79eba2c5df87394030a8671","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-20T07:18:13.947731Z","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:a8d0680d935924f1e66788d0d49bfcb7d74b60efe0b6b9c84a43b7c9505c3ac8","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:3fc9fde3c644ad6b58a6910329775bc8dffeeba04be1ae9caf05cd50e376bfae","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:5178eb411bde0aed7aaf592b69e5bfd92919fa4b045a4ce62ac6977d4d3901cc","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:e5b9f459cb3443e925ce18ea84b91ce3c486cc6dfceae22f63c265a47cbe0cde","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.4081343","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","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-20T07:18:13.947731Z","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:d1aa17a9eab6eb5e15674a5ee989a39199aee5a9c5ee9a6c6bf84d84f7d3167f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:e17e9e4231d8f2bfca171b3ff6f3ba2c6ce0609a68c9796bc59840ce3f2fbbc7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:b0cd6d72305e276262df85c781266fe8d0072bbb22be6da8c3eaff952b06342e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:b4f11b3fe281202c40895670bf1f16587dd9645941d9fc1eb55b5e109bed7243","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:545f8126bbd332fcc2e0c534bece328476b396977838bdf340411d8c889930ea","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:31d795e324e5e2687b7b1c25030e0a2bce822e47c0fde509c2c1da1b1f7ca0fc","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:869de7a13073d7f3b85a5c0c55cad336c1af057c87ea8bccc47be63a5477b76e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T20:00:58.584857Z","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-20T07:18:13.947731Z","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:421036444f0a4aafab933055d6aff72279d57c7409f716b9d98c2961a9798381","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","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-20T07:18:13.947731Z","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:c40baa7335d5cabecf13ab2e448e625b859279399dfe87e2152b90aad1056f78","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:51a7a42bd85c3b1a17f489829c3a9eb2d9f530f15578212c1fa94ed3c219d63b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:d40fa7315cf1c99a73dcd07d66a0d5c54865229a4cfc6e94506e51d5b624aa7b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:7cd0d0f212a8b51d8e1781bd38432918d2e7a8725a60bb331b4d8aef3e4adac5","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:2d49b2c8bfb3d18ece8d6faea847bac724884fd4dda14a0c721a26d6572a3ba9","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:b4f0a5a36364bd4e915d9dfb95b0144adb40bbca359bf23054026d6ed559b0ee","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:ce11ee1e38ce50e53cad4149be09aff2cb51ed966dfd3de1fc78f77f7dc80379","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:aac3dfaaa823352ca485396da095bf8ec5be89f50bbe23d41aa81b31cba648a4","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:1ad8613b96981f166ae91748695ed58886a1c96c046e3c585a5e7e98ca1a36ae","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-16T12:52:19.210330Z","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-20T07:18:13.947731Z","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:d88f7425a2ce8cac0edb2e4b977dd3a184d448c9dface53330f4803beb53c059","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:ea22f19d462897b2094a5fc4deac06f36d046e5983bc4db80a5e08112144a4d4","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Lecture notes in computer science","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-20T07:18:13.947731Z","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:c64d89cb4c14de20d4932686fef1538286e59d365ca7e83cc03fd4b3492b27dd","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:6f944f5b8c675f131ce4f7a1dd214c3a602a6020e2d8ff87e4de3f184004344a","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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:4d653be481e34a4e8ce99e30f86b059e49ee7d9cb64aaec4fb4a1168fd814a5f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-20T07:18:13.947731Z","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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 100 of 125 outbound references and 0 inbound Pith citation observations for arXiv:2509.00699."}