{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:V7U3OFZ2PS5P3WWIBZDZSN7MBE","short_pith_number":"pith:V7U3OFZ2","canonical_record":{"source":{"id":"1803.07130","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-19T19:29:47Z","cross_cats_sorted":[],"title_canon_sha256":"0d5e3f129d4c0b15ab6aae10743ef34bbe3b9f3fbf1d62520d7ce415cdee2074","abstract_canon_sha256":"82ccc34ba6c5b7daf922467180ba136a00eb2b179f990aeee197577ea4b65355"},"schema_version":"1.0"},"canonical_sha256":"afe9b7173a7cbafddac80e479937ec0922ecb86dd85baad66799f12395560fe9","source":{"kind":"arxiv","id":"1803.07130","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.07130","created_at":"2026-05-18T00:14:21Z"},{"alias_kind":"arxiv_version","alias_value":"1803.07130v2","created_at":"2026-05-18T00:14:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.07130","created_at":"2026-05-18T00:14:21Z"},{"alias_kind":"pith_short_12","alias_value":"V7U3OFZ2PS5P","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"V7U3OFZ2PS5P3WWI","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"V7U3OFZ2","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:V7U3OFZ2PS5P3WWIBZDZSN7MBE","target":"record","payload":{"canonical_record":{"source":{"id":"1803.07130","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-19T19:29:47Z","cross_cats_sorted":[],"title_canon_sha256":"0d5e3f129d4c0b15ab6aae10743ef34bbe3b9f3fbf1d62520d7ce415cdee2074","abstract_canon_sha256":"82ccc34ba6c5b7daf922467180ba136a00eb2b179f990aeee197577ea4b65355"},"schema_version":"1.0"},"canonical_sha256":"afe9b7173a7cbafddac80e479937ec0922ecb86dd85baad66799f12395560fe9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:21.571941Z","signature_b64":"Ll1zPbHDzcReQvMRYfAoGM6wr8K/mQggvVYemQ7V/cDpBCPj8z9D291olnhGhChHmE5Yu7+BPPBYFOA+21trAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"afe9b7173a7cbafddac80e479937ec0922ecb86dd85baad66799f12395560fe9","last_reissued_at":"2026-05-18T00:14:21.571175Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:21.571175Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.07130","source_version":2,"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-05-18T00:14:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aX1m+X4tLMhsNU9yLNHLU3k6ntJdiTkfJasvgCkz/Ls6XzEVRSiQFPhp0P/o+fef+7K+NKaBY1dN2XZtOK7nDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T20:06:43.894078Z"},"content_sha256":"c236257be0095537ddb545578dbc80303616f21094f95d4ba750a2fbf9f22a7f","schema_version":"1.0","event_id":"sha256:c236257be0095537ddb545578dbc80303616f21094f95d4ba750a2fbf9f22a7f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:V7U3OFZ2PS5P3WWIBZDZSN7MBE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A promise checked is a promise kept: Inspection Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Joachim Breitner","submitted_at":"2018-03-19T19:29:47Z","abstract_excerpt":"Occasionally, developers need to ensure that the compiler treats their code in a specific way that is only visible by inspecting intermediate or final compilation artifacts. This is particularly common with carefully crafted compositional libraries, where certain usage patterns are expected to trigger an intricate sequence of compiler optimizations -- stream fusion is a well-known example.\n  The developer of such a library has to manually inspect build artifacts and check for the expected properties. Because this is too tedious to do often, it will likely go unnoticed if the property is broken"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.07130","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:14:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xH5CCUXCiNIeQrplG3WKBXrJ+aPGnCsKanvMmj4CCWtMkC8nW+9x8XysFHGhbN4Uo4tjnNwcSFtVXYLouBzTDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T20:06:43.894446Z"},"content_sha256":"a5cbdb57eaf0a532b70732f6bbd85722587be572c7e8d3ad6d66f6565c7a039d","schema_version":"1.0","event_id":"sha256:a5cbdb57eaf0a532b70732f6bbd85722587be572c7e8d3ad6d66f6565c7a039d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V7U3OFZ2PS5P3WWIBZDZSN7MBE/bundle.json","state_url":"https://pith.science/pith/V7U3OFZ2PS5P3WWIBZDZSN7MBE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V7U3OFZ2PS5P3WWIBZDZSN7MBE/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-07-03T20:06:43Z","links":{"resolver":"https://pith.science/pith/V7U3OFZ2PS5P3WWIBZDZSN7MBE","bundle":"https://pith.science/pith/V7U3OFZ2PS5P3WWIBZDZSN7MBE/bundle.json","state":"https://pith.science/pith/V7U3OFZ2PS5P3WWIBZDZSN7MBE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V7U3OFZ2PS5P3WWIBZDZSN7MBE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:V7U3OFZ2PS5P3WWIBZDZSN7MBE","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":"82ccc34ba6c5b7daf922467180ba136a00eb2b179f990aeee197577ea4b65355","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-19T19:29:47Z","title_canon_sha256":"0d5e3f129d4c0b15ab6aae10743ef34bbe3b9f3fbf1d62520d7ce415cdee2074"},"schema_version":"1.0","source":{"id":"1803.07130","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.07130","created_at":"2026-05-18T00:14:21Z"},{"alias_kind":"arxiv_version","alias_value":"1803.07130v2","created_at":"2026-05-18T00:14:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.07130","created_at":"2026-05-18T00:14:21Z"},{"alias_kind":"pith_short_12","alias_value":"V7U3OFZ2PS5P","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"V7U3OFZ2PS5P3WWI","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"V7U3OFZ2","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:a5cbdb57eaf0a532b70732f6bbd85722587be572c7e8d3ad6d66f6565c7a039d","target":"graph","created_at":"2026-05-18T00:14: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"},"paper":{"abstract_excerpt":"Occasionally, developers need to ensure that the compiler treats their code in a specific way that is only visible by inspecting intermediate or final compilation artifacts. This is particularly common with carefully crafted compositional libraries, where certain usage patterns are expected to trigger an intricate sequence of compiler optimizations -- stream fusion is a well-known example.\n  The developer of such a library has to manually inspect build artifacts and check for the expected properties. Because this is too tedious to do often, it will likely go unnoticed if the property is broken","authors_text":"Joachim Breitner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-19T19:29:47Z","title":"A promise checked is a promise kept: Inspection Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.07130","kind":"arxiv","version":2},"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:c236257be0095537ddb545578dbc80303616f21094f95d4ba750a2fbf9f22a7f","target":"record","created_at":"2026-05-18T00:14: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":"82ccc34ba6c5b7daf922467180ba136a00eb2b179f990aeee197577ea4b65355","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-19T19:29:47Z","title_canon_sha256":"0d5e3f129d4c0b15ab6aae10743ef34bbe3b9f3fbf1d62520d7ce415cdee2074"},"schema_version":"1.0","source":{"id":"1803.07130","kind":"arxiv","version":2}},"canonical_sha256":"afe9b7173a7cbafddac80e479937ec0922ecb86dd85baad66799f12395560fe9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"afe9b7173a7cbafddac80e479937ec0922ecb86dd85baad66799f12395560fe9","first_computed_at":"2026-05-18T00:14:21.571175Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:21.571175Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ll1zPbHDzcReQvMRYfAoGM6wr8K/mQggvVYemQ7V/cDpBCPj8z9D291olnhGhChHmE5Yu7+BPPBYFOA+21trAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:21.571941Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.07130","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c236257be0095537ddb545578dbc80303616f21094f95d4ba750a2fbf9f22a7f","sha256:a5cbdb57eaf0a532b70732f6bbd85722587be572c7e8d3ad6d66f6565c7a039d"],"state_sha256":"47a5513831fa42a0769cda8b4754a868873ee8d1e14b27ae9516d680c440aeb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VDUqFHE2Is+xCMc5LQZUka5uoBIp29tYeb+J/ZpQEc/89zk3lPSs0aBiAi9fjXros5a/ouCjhXE1I1Mpe2CSCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T20:06:43.896504Z","bundle_sha256":"9d6736a477dfc213f57eebd39c0423889ab6e9039dabe051f235d6e4d3eaa582"}}