{"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"}