{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:DGVM7ZWQUJXVR3R2U3SWIHFU57","short_pith_number":"pith:DGVM7ZWQ","canonical_record":{"source":{"id":"1203.2704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.SE","submitted_at":"2012-03-13T03:28:55Z","cross_cats_sorted":[],"title_canon_sha256":"1bad68089dcf42ff838290071bdd2b707d256e76a4c969ccff718a6c2ffc5c34","abstract_canon_sha256":"9b22e5a4d411b72a87600444adf2e8a758fb8a509c3180bf6d16e27358923694"},"schema_version":"1.0"},"canonical_sha256":"19aacfe6d0a26f58ee3aa6e5641cb4efcb0eeefb8d2257984681ad46f3611289","source":{"kind":"arxiv","id":"1203.2704","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.2704","created_at":"2026-05-18T04:00:14Z"},{"alias_kind":"arxiv_version","alias_value":"1203.2704v1","created_at":"2026-05-18T04:00:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.2704","created_at":"2026-05-18T04:00:14Z"},{"alias_kind":"pith_short_12","alias_value":"DGVM7ZWQUJXV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DGVM7ZWQUJXVR3R2","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DGVM7ZWQ","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:DGVM7ZWQUJXVR3R2U3SWIHFU57","target":"record","payload":{"canonical_record":{"source":{"id":"1203.2704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.SE","submitted_at":"2012-03-13T03:28:55Z","cross_cats_sorted":[],"title_canon_sha256":"1bad68089dcf42ff838290071bdd2b707d256e76a4c969ccff718a6c2ffc5c34","abstract_canon_sha256":"9b22e5a4d411b72a87600444adf2e8a758fb8a509c3180bf6d16e27358923694"},"schema_version":"1.0"},"canonical_sha256":"19aacfe6d0a26f58ee3aa6e5641cb4efcb0eeefb8d2257984681ad46f3611289","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:00:14.857936Z","signature_b64":"lUcHIPER/pmDPiZQCw7ZkcFR3RPzzqm3IxwH7bXygK2oCTnBmWbhUfgK2vwOCMyJVOfwEojLoNP5XgxqiV7nBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19aacfe6d0a26f58ee3aa6e5641cb4efcb0eeefb8d2257984681ad46f3611289","last_reissued_at":"2026-05-18T04:00:14.857235Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:00:14.857235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.2704","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-05-18T04:00:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/gtBlXncxGovHYf5b3T18beyLAD+R2CnQHtvqUotwGKBL93T4fD3t1QU8IrPAp1GFtPaFEdffzFKz3PUPC7MAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:12:45.844499Z"},"content_sha256":"33d0500310e207cdf33ac6fa80c588e4b0f7b2276be1245074908f91d5cc69e1","schema_version":"1.0","event_id":"sha256:33d0500310e207cdf33ac6fa80c588e4b0f7b2276be1245074908f91d5cc69e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:DGVM7ZWQUJXVR3R2U3SWIHFU57","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A model and framework for reliable build systems","license":"http://creativecommons.org/licenses/publicdomain/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Anand Bhaskar, Derrick Coetzee, George Necula","submitted_at":"2012-03-13T03:28:55Z","abstract_excerpt":"Reliable and fast builds are essential for rapid turnaround during development and testing. Popular existing build systems rely on correct manual specification of build dependencies, which can lead to invalid build outputs and nondeterminism. We outline the challenges of developing reliable build systems and explore the design space for their implementation, with a focus on non-distributed, incremental, parallel build systems. We define a general model for resources accessed by build tasks and show its correspondence to the implementation technique of minimum information libraries, APIs that r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.2704","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":""},"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-18T04:00:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oYG8RQpuTVs2hEQBNsAkNm3mFnAxkHZn1LAvyoep6yL7q1cPHnUwSJxHOzXrGwj3nRNkJrjhojYhU4kAefqcDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:12:45.845158Z"},"content_sha256":"cbcb078214870c5101c5d098870bd0daab62dc292d0a5bd254f9eeae45bf12a0","schema_version":"1.0","event_id":"sha256:cbcb078214870c5101c5d098870bd0daab62dc292d0a5bd254f9eeae45bf12a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DGVM7ZWQUJXVR3R2U3SWIHFU57/bundle.json","state_url":"https://pith.science/pith/DGVM7ZWQUJXVR3R2U3SWIHFU57/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DGVM7ZWQUJXVR3R2U3SWIHFU57/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-05-28T23:12:45Z","links":{"resolver":"https://pith.science/pith/DGVM7ZWQUJXVR3R2U3SWIHFU57","bundle":"https://pith.science/pith/DGVM7ZWQUJXVR3R2U3SWIHFU57/bundle.json","state":"https://pith.science/pith/DGVM7ZWQUJXVR3R2U3SWIHFU57/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DGVM7ZWQUJXVR3R2U3SWIHFU57/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:DGVM7ZWQUJXVR3R2U3SWIHFU57","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":"9b22e5a4d411b72a87600444adf2e8a758fb8a509c3180bf6d16e27358923694","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.SE","submitted_at":"2012-03-13T03:28:55Z","title_canon_sha256":"1bad68089dcf42ff838290071bdd2b707d256e76a4c969ccff718a6c2ffc5c34"},"schema_version":"1.0","source":{"id":"1203.2704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.2704","created_at":"2026-05-18T04:00:14Z"},{"alias_kind":"arxiv_version","alias_value":"1203.2704v1","created_at":"2026-05-18T04:00:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.2704","created_at":"2026-05-18T04:00:14Z"},{"alias_kind":"pith_short_12","alias_value":"DGVM7ZWQUJXV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DGVM7ZWQUJXVR3R2","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DGVM7ZWQ","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:cbcb078214870c5101c5d098870bd0daab62dc292d0a5bd254f9eeae45bf12a0","target":"graph","created_at":"2026-05-18T04:00:14Z","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":"Reliable and fast builds are essential for rapid turnaround during development and testing. Popular existing build systems rely on correct manual specification of build dependencies, which can lead to invalid build outputs and nondeterminism. We outline the challenges of developing reliable build systems and explore the design space for their implementation, with a focus on non-distributed, incremental, parallel build systems. We define a general model for resources accessed by build tasks and show its correspondence to the implementation technique of minimum information libraries, APIs that r","authors_text":"Anand Bhaskar, Derrick Coetzee, George Necula","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.SE","submitted_at":"2012-03-13T03:28:55Z","title":"A model and framework for reliable build systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.2704","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:33d0500310e207cdf33ac6fa80c588e4b0f7b2276be1245074908f91d5cc69e1","target":"record","created_at":"2026-05-18T04:00:14Z","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":"9b22e5a4d411b72a87600444adf2e8a758fb8a509c3180bf6d16e27358923694","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/publicdomain/","primary_cat":"cs.SE","submitted_at":"2012-03-13T03:28:55Z","title_canon_sha256":"1bad68089dcf42ff838290071bdd2b707d256e76a4c969ccff718a6c2ffc5c34"},"schema_version":"1.0","source":{"id":"1203.2704","kind":"arxiv","version":1}},"canonical_sha256":"19aacfe6d0a26f58ee3aa6e5641cb4efcb0eeefb8d2257984681ad46f3611289","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"19aacfe6d0a26f58ee3aa6e5641cb4efcb0eeefb8d2257984681ad46f3611289","first_computed_at":"2026-05-18T04:00:14.857235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:00:14.857235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lUcHIPER/pmDPiZQCw7ZkcFR3RPzzqm3IxwH7bXygK2oCTnBmWbhUfgK2vwOCMyJVOfwEojLoNP5XgxqiV7nBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:00:14.857936Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.2704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:33d0500310e207cdf33ac6fa80c588e4b0f7b2276be1245074908f91d5cc69e1","sha256:cbcb078214870c5101c5d098870bd0daab62dc292d0a5bd254f9eeae45bf12a0"],"state_sha256":"63548475d1d134b737efaf9fb1d57760e28f504edb93c5455ca48515ba1c1334"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1fK8PbAzBn+s0ONNJDJqEILifUMkdofcUVS0Q5kZNutJJEx09WEoL7EETzCL5U3GZbkQFUKv8RrcF4xuc33zDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T23:12:45.848653Z","bundle_sha256":"7761f0a58e3c9558a8b851c9974ab7f4200237244d75a23fd9e0b7dd34d82930"}}