{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:JXDBPNF6S2XLQSRPVN7YXO4EFI","short_pith_number":"pith:JXDBPNF6","canonical_record":{"source":{"id":"1509.05100","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-09-17T01:53:49Z","cross_cats_sorted":[],"title_canon_sha256":"c5c79f7930fd7d81b4261378db7f8c0df5a52c1d6256e6b878644544df7f6754","abstract_canon_sha256":"f057c7b8b7eeb526726c975520c918a647002a633e07ca18b571bad818ba4db5"},"schema_version":"1.0"},"canonical_sha256":"4dc617b4be96aeb84a2fab7f8bbb842a042f8e784bf85f755f8064335bcaa3db","source":{"kind":"arxiv","id":"1509.05100","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05100","created_at":"2026-05-18T01:14:45Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05100v3","created_at":"2026-05-18T01:14:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05100","created_at":"2026-05-18T01:14:45Z"},{"alias_kind":"pith_short_12","alias_value":"JXDBPNF6S2XL","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JXDBPNF6S2XLQSRP","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JXDBPNF6","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:JXDBPNF6S2XLQSRPVN7YXO4EFI","target":"record","payload":{"canonical_record":{"source":{"id":"1509.05100","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-09-17T01:53:49Z","cross_cats_sorted":[],"title_canon_sha256":"c5c79f7930fd7d81b4261378db7f8c0df5a52c1d6256e6b878644544df7f6754","abstract_canon_sha256":"f057c7b8b7eeb526726c975520c918a647002a633e07ca18b571bad818ba4db5"},"schema_version":"1.0"},"canonical_sha256":"4dc617b4be96aeb84a2fab7f8bbb842a042f8e784bf85f755f8064335bcaa3db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:45.009154Z","signature_b64":"DsHUE/uQk3XCMndC8xCABFNhehHhEbj6DGTz/3YxfSij8h1+Wq6PJJUQgBORS9zWbCzudhLt/P9187O/ICBGAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4dc617b4be96aeb84a2fab7f8bbb842a042f8e784bf85f755f8064335bcaa3db","last_reissued_at":"2026-05-18T01:14:45.008531Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:45.008531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.05100","source_version":3,"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-18T01:14:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D9S2LhNyh1GdU6NB1s3vKE+5sAUhUO0mbT6FdqFa0Nv0vu4t8gRV4WTfYCOpLMJtCbP7ulspm/rybvuHQOQ4Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T02:08:35.607938Z"},"content_sha256":"3f2134b45089892a2b9000c177ec78db0f7f717269a8234cb954f51f5bf81303","schema_version":"1.0","event_id":"sha256:3f2134b45089892a2b9000c177ec78db0f7f717269a8234cb954f51f5bf81303"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:JXDBPNF6S2XLQSRPVN7YXO4EFI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rehearsal: A Configuration Verification Tool for Puppet","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aaron Weiss, Arjun Guha, Rian Shambaugh","submitted_at":"2015-09-17T01:53:49Z","abstract_excerpt":"Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and many more open-source users. The heart of Puppet is a domain-specific language that describes the state of a system. Puppet already performs some basic static checks, but they only prevent a narrow ran"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05100","kind":"arxiv","version":3},"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-18T01:14:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NNyRMiP2swZrzP2TmtUancvCNeNR++ot1vfsoFd2IwXFNDiZuM/ZdDGiMObjUCRWL9jaqmO77JAdwXQfKYLWBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T02:08:35.608576Z"},"content_sha256":"8efd6fd696a62ef58cd153a8199214b6e5ad9723e0d1290d7c30536a499c3d0b","schema_version":"1.0","event_id":"sha256:8efd6fd696a62ef58cd153a8199214b6e5ad9723e0d1290d7c30536a499c3d0b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JXDBPNF6S2XLQSRPVN7YXO4EFI/bundle.json","state_url":"https://pith.science/pith/JXDBPNF6S2XLQSRPVN7YXO4EFI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JXDBPNF6S2XLQSRPVN7YXO4EFI/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-06-08T02:08:35Z","links":{"resolver":"https://pith.science/pith/JXDBPNF6S2XLQSRPVN7YXO4EFI","bundle":"https://pith.science/pith/JXDBPNF6S2XLQSRPVN7YXO4EFI/bundle.json","state":"https://pith.science/pith/JXDBPNF6S2XLQSRPVN7YXO4EFI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JXDBPNF6S2XLQSRPVN7YXO4EFI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:JXDBPNF6S2XLQSRPVN7YXO4EFI","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":"f057c7b8b7eeb526726c975520c918a647002a633e07ca18b571bad818ba4db5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-09-17T01:53:49Z","title_canon_sha256":"c5c79f7930fd7d81b4261378db7f8c0df5a52c1d6256e6b878644544df7f6754"},"schema_version":"1.0","source":{"id":"1509.05100","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05100","created_at":"2026-05-18T01:14:45Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05100v3","created_at":"2026-05-18T01:14:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05100","created_at":"2026-05-18T01:14:45Z"},{"alias_kind":"pith_short_12","alias_value":"JXDBPNF6S2XL","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JXDBPNF6S2XLQSRP","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JXDBPNF6","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:8efd6fd696a62ef58cd153a8199214b6e5ad9723e0d1290d7c30536a499c3d0b","target":"graph","created_at":"2026-05-18T01:14:45Z","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":"Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and many more open-source users. The heart of Puppet is a domain-specific language that describes the state of a system. Puppet already performs some basic static checks, but they only prevent a narrow ran","authors_text":"Aaron Weiss, Arjun Guha, Rian Shambaugh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-09-17T01:53:49Z","title":"Rehearsal: A Configuration Verification Tool for Puppet"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05100","kind":"arxiv","version":3},"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:3f2134b45089892a2b9000c177ec78db0f7f717269a8234cb954f51f5bf81303","target":"record","created_at":"2026-05-18T01:14:45Z","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":"f057c7b8b7eeb526726c975520c918a647002a633e07ca18b571bad818ba4db5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-09-17T01:53:49Z","title_canon_sha256":"c5c79f7930fd7d81b4261378db7f8c0df5a52c1d6256e6b878644544df7f6754"},"schema_version":"1.0","source":{"id":"1509.05100","kind":"arxiv","version":3}},"canonical_sha256":"4dc617b4be96aeb84a2fab7f8bbb842a042f8e784bf85f755f8064335bcaa3db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4dc617b4be96aeb84a2fab7f8bbb842a042f8e784bf85f755f8064335bcaa3db","first_computed_at":"2026-05-18T01:14:45.008531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:45.008531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DsHUE/uQk3XCMndC8xCABFNhehHhEbj6DGTz/3YxfSij8h1+Wq6PJJUQgBORS9zWbCzudhLt/P9187O/ICBGAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:45.009154Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05100","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f2134b45089892a2b9000c177ec78db0f7f717269a8234cb954f51f5bf81303","sha256:8efd6fd696a62ef58cd153a8199214b6e5ad9723e0d1290d7c30536a499c3d0b"],"state_sha256":"b9b87295d698dc898884abdca6701e3b85bba53536411e8ac799d377fa201730"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZsNgDbdUKO60BWVGbQpMvcnvnXR8cW407naZjiGWcUlEQtt1w62HhbxAGVUWOeKxAhMAPURmq8yyElK5/JuJAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T02:08:35.612113Z","bundle_sha256":"acbb158e86edfd7ddac880ea7cc3f6c362fbfbf1dac8477d412021d540c04e9f"}}