{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IXGWYDYE6FPKW4OESADXGWAWJ2","short_pith_number":"pith:IXGWYDYE","canonical_record":{"source":{"id":"2509.00699","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-31T04:50:26Z","cross_cats_sorted":[],"title_canon_sha256":"b30d82ea67890a72e597e88f1ab991634985b734c761299046d4f5fe68656062","abstract_canon_sha256":"92c0685453a9284aebcf5df4753730a233db8151f8526704679f5247ebab4033"},"schema_version":"1.0"},"canonical_sha256":"45cd6c0f04f15eab71c490077358164e89a677fc25604f6584de272ac583c40f","source":{"kind":"arxiv","id":"2509.00699","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.00699","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"arxiv_version","alias_value":"2509.00699v1","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.00699","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"pith_short_12","alias_value":"IXGWYDYE6FPK","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"pith_short_16","alias_value":"IXGWYDYE6FPKW4OE","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"pith_short_8","alias_value":"IXGWYDYE","created_at":"2026-07-05T12:02:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IXGWYDYE6FPKW4OESADXGWAWJ2","target":"record","payload":{"canonical_record":{"source":{"id":"2509.00699","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-31T04:50:26Z","cross_cats_sorted":[],"title_canon_sha256":"b30d82ea67890a72e597e88f1ab991634985b734c761299046d4f5fe68656062","abstract_canon_sha256":"92c0685453a9284aebcf5df4753730a233db8151f8526704679f5247ebab4033"},"schema_version":"1.0"},"canonical_sha256":"45cd6c0f04f15eab71c490077358164e89a677fc25604f6584de272ac583c40f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:02:21.400883Z","signature_b64":"yf/6jKarEpYFESCkXEPm4v+64aeVhBuscIu+fufLL3LxSgQ9WPP1OeAguUsjPszq1QiXJD0Mj+HjlxKxGhQFBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"45cd6c0f04f15eab71c490077358164e89a677fc25604f6584de272ac583c40f","last_reissued_at":"2026-07-05T12:02:21.400410Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:02:21.400410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.00699","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:02:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OzKXk6fcEaatLFA7/dNU992fYpA18AGbnvtP43vquFRxyNSMcRYELMDP+bNrVDCtovm4vQuvLK63BKT4AwUjAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:56:21.048496Z"},"content_sha256":"b4f3e93d91fda93c06c8de6d359c5416f63b1761324395f05814286831975d03","schema_version":"1.0","event_id":"sha256:b4f3e93d91fda93c06c8de6d359c5416f63b1761324395f05814286831975d03"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IXGWYDYE6FPKW4OESADXGWAWJ2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Chandrakana Nandi, Sreepathi Pai, Yumeng He","submitted_at":"2025-08-31T04:50:26Z","abstract_excerpt":"The computational fabrication pipeline for 3D printing is much like a compiler - users design models in Computer Aided Design (CAD) tools that are lowered to polygon meshes to be ultimately compiled to machine code by 3D slicers. For traditional compilers and programming languages, techniques for checking program invariants are well-established. Similarly, methods like differential testing are often used to uncover bugs in compilers themselves, which makes them more reliable. The fabrication pipeline would benefit from similar techniques but traditional approaches do not directly apply to the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.00699","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2509.00699/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:02:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U/Hnb8hQEeKvMC3fB9IJorQJyAKrcQraqvXZq14taok+al/IGY4b9Ro8fT5rqf5nZ/tqKBMRQPnlzUTjaQARAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:56:21.048980Z"},"content_sha256":"dee39ade8be482aa736e6a735601b3de9ebaba54b891de441c887e63bfc86df2","schema_version":"1.0","event_id":"sha256:dee39ade8be482aa736e6a735601b3de9ebaba54b891de441c887e63bfc86df2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IXGWYDYE6FPKW4OESADXGWAWJ2/bundle.json","state_url":"https://pith.science/pith/IXGWYDYE6FPKW4OESADXGWAWJ2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IXGWYDYE6FPKW4OESADXGWAWJ2/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-09T06:56:21Z","links":{"resolver":"https://pith.science/pith/IXGWYDYE6FPKW4OESADXGWAWJ2","bundle":"https://pith.science/pith/IXGWYDYE6FPKW4OESADXGWAWJ2/bundle.json","state":"https://pith.science/pith/IXGWYDYE6FPKW4OESADXGWAWJ2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IXGWYDYE6FPKW4OESADXGWAWJ2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IXGWYDYE6FPKW4OESADXGWAWJ2","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"92c0685453a9284aebcf5df4753730a233db8151f8526704679f5247ebab4033","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-31T04:50:26Z","title_canon_sha256":"b30d82ea67890a72e597e88f1ab991634985b734c761299046d4f5fe68656062"},"schema_version":"1.0","source":{"id":"2509.00699","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.00699","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"arxiv_version","alias_value":"2509.00699v1","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.00699","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"pith_short_12","alias_value":"IXGWYDYE6FPK","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"pith_short_16","alias_value":"IXGWYDYE6FPKW4OE","created_at":"2026-07-05T12:02:21Z"},{"alias_kind":"pith_short_8","alias_value":"IXGWYDYE","created_at":"2026-07-05T12:02:21Z"}],"graph_snapshots":[{"event_id":"sha256:dee39ade8be482aa736e6a735601b3de9ebaba54b891de441c887e63bfc86df2","target":"graph","created_at":"2026-07-05T12:02:21Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2509.00699/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The computational fabrication pipeline for 3D printing is much like a compiler - users design models in Computer Aided Design (CAD) tools that are lowered to polygon meshes to be ultimately compiled to machine code by 3D slicers. For traditional compilers and programming languages, techniques for checking program invariants are well-established. Similarly, methods like differential testing are often used to uncover bugs in compilers themselves, which makes them more reliable. The fabrication pipeline would benefit from similar techniques but traditional approaches do not directly apply to the ","authors_text":"Chandrakana Nandi, Sreepathi Pai, Yumeng He","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-31T04:50:26Z","title":"Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.00699","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b4f3e93d91fda93c06c8de6d359c5416f63b1761324395f05814286831975d03","target":"record","created_at":"2026-07-05T12:02:21Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"92c0685453a9284aebcf5df4753730a233db8151f8526704679f5247ebab4033","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-31T04:50:26Z","title_canon_sha256":"b30d82ea67890a72e597e88f1ab991634985b734c761299046d4f5fe68656062"},"schema_version":"1.0","source":{"id":"2509.00699","kind":"arxiv","version":1}},"canonical_sha256":"45cd6c0f04f15eab71c490077358164e89a677fc25604f6584de272ac583c40f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"45cd6c0f04f15eab71c490077358164e89a677fc25604f6584de272ac583c40f","first_computed_at":"2026-07-05T12:02:21.400410Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:02:21.400410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yf/6jKarEpYFESCkXEPm4v+64aeVhBuscIu+fufLL3LxSgQ9WPP1OeAguUsjPszq1QiXJD0Mj+HjlxKxGhQFBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:02:21.400883Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.00699","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4f3e93d91fda93c06c8de6d359c5416f63b1761324395f05814286831975d03","sha256:dee39ade8be482aa736e6a735601b3de9ebaba54b891de441c887e63bfc86df2"],"state_sha256":"f70fc3f5544650d12a75dd97520c3567df87ff4e52b8f27b9b4f57ac87c9d57a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zcbixYHDD6gpHGycgmcw1rMWJk6Hr33gwzIfEVmLwnWzlsX2474R7h4doMZ0i1/dLfU4eDttVHTnRQj7JYkUAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T06:56:21.052138Z","bundle_sha256":"bc6f1f02fe86a7bb71524df61d2fbe15a0c46ba48b63422c945e213aa0db80d4"}}