{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CWZN4ENABJ2FMTW563IVBZCPXF","short_pith_number":"pith:CWZN4ENA","canonical_record":{"source":{"id":"2402.15632","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-23T22:27:56Z","cross_cats_sorted":[],"title_canon_sha256":"d60ec556a0b3373caadec407ac8b1897c6bbe894a6ad59350184d6146061e6d3","abstract_canon_sha256":"0ff4574b9691e9c322e208fce5bc0d720e3eff7704c2b9bcfd589629eebc9e40"},"schema_version":"1.0"},"canonical_sha256":"15b2de11a00a74564eddf6d150e44fb969a151994b4a28ea077a87603dcd0578","source":{"kind":"arxiv","id":"2402.15632","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.15632","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"arxiv_version","alias_value":"2402.15632v1","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.15632","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"pith_short_12","alias_value":"CWZN4ENABJ2F","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"pith_short_16","alias_value":"CWZN4ENABJ2FMTW5","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"pith_short_8","alias_value":"CWZN4ENA","created_at":"2026-07-05T07:48:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CWZN4ENABJ2FMTW563IVBZCPXF","target":"record","payload":{"canonical_record":{"source":{"id":"2402.15632","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-23T22:27:56Z","cross_cats_sorted":[],"title_canon_sha256":"d60ec556a0b3373caadec407ac8b1897c6bbe894a6ad59350184d6146061e6d3","abstract_canon_sha256":"0ff4574b9691e9c322e208fce5bc0d720e3eff7704c2b9bcfd589629eebc9e40"},"schema_version":"1.0"},"canonical_sha256":"15b2de11a00a74564eddf6d150e44fb969a151994b4a28ea077a87603dcd0578","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:48:55.926126Z","signature_b64":"i2bh/OefN4qE0fNMeuTdAC+p/SNRIbUxyJ2kjZmxIwkvX7PDmwpUmsmoVcunjgXcCf259wBAjEF9nA4YfzOxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15b2de11a00a74564eddf6d150e44fb969a151994b4a28ea077a87603dcd0578","last_reissued_at":"2026-07-05T07:48:55.925654Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:48:55.925654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.15632","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-05T07:48:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"49fF+ycf3zxw6A6v5NEnPDflcntrZ0UsQ/4JhQ8IXqhXiS3JfN4p4UTdPyAHRFlWk0TRNWGAOTMqF/CGrHPqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T08:16:55.577726Z"},"content_sha256":"3944351184294da6e4fa34d2ff61172eca70e9c4a0f206583056c46f2c68bd96","schema_version":"1.0","event_id":"sha256:3944351184294da6e4fa34d2ff61172eca70e9c4a0f206583056c46f2c68bd96"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CWZN4ENABJ2FMTW563IVBZCPXF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Statically Inferring Usage Bounds for Infrastructure as Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aryana Mohammadi, Feitong Qiao, J\\\"urgen Cito, Mark Santolucito","submitted_at":"2024-02-23T22:27:56Z","abstract_excerpt":"Infrastructure as Code (IaC) has enabled cloud customers to have more agility in creating and modifying complex deployments of cloud-provisioned resources. By writing a configuration in IaC languages such as CloudFormation, users can declaratively specify their infrastructure and CloudFormation will handle the creation of the resources. However, understanding the complexity of IaC deployments has emerged as an unsolved issue. In particular, estimating the cost of an IaC deployment requires estimating the future usage and pricing models of every cloud resource in the deployment. Gaining transpa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.15632","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/2402.15632/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-05T07:48:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mx12PyK/oOugONYpZYDEC/APF2mrW3sKb74SPKuZxiiELu9z5th7gKhEo8wI4dE2OQuIRk6rQKFCBLGks7aNCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T08:16:55.578226Z"},"content_sha256":"64afee8dc5a20f168d0436b799ee58d51a2bc8b93f3c57c2f530bd949dd4ec6a","schema_version":"1.0","event_id":"sha256:64afee8dc5a20f168d0436b799ee58d51a2bc8b93f3c57c2f530bd949dd4ec6a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CWZN4ENABJ2FMTW563IVBZCPXF/bundle.json","state_url":"https://pith.science/pith/CWZN4ENABJ2FMTW563IVBZCPXF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CWZN4ENABJ2FMTW563IVBZCPXF/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-16T08:16:55Z","links":{"resolver":"https://pith.science/pith/CWZN4ENABJ2FMTW563IVBZCPXF","bundle":"https://pith.science/pith/CWZN4ENABJ2FMTW563IVBZCPXF/bundle.json","state":"https://pith.science/pith/CWZN4ENABJ2FMTW563IVBZCPXF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CWZN4ENABJ2FMTW563IVBZCPXF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CWZN4ENABJ2FMTW563IVBZCPXF","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":"0ff4574b9691e9c322e208fce5bc0d720e3eff7704c2b9bcfd589629eebc9e40","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-23T22:27:56Z","title_canon_sha256":"d60ec556a0b3373caadec407ac8b1897c6bbe894a6ad59350184d6146061e6d3"},"schema_version":"1.0","source":{"id":"2402.15632","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.15632","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"arxiv_version","alias_value":"2402.15632v1","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.15632","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"pith_short_12","alias_value":"CWZN4ENABJ2F","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"pith_short_16","alias_value":"CWZN4ENABJ2FMTW5","created_at":"2026-07-05T07:48:55Z"},{"alias_kind":"pith_short_8","alias_value":"CWZN4ENA","created_at":"2026-07-05T07:48:55Z"}],"graph_snapshots":[{"event_id":"sha256:64afee8dc5a20f168d0436b799ee58d51a2bc8b93f3c57c2f530bd949dd4ec6a","target":"graph","created_at":"2026-07-05T07:48:55Z","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/2402.15632/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Infrastructure as Code (IaC) has enabled cloud customers to have more agility in creating and modifying complex deployments of cloud-provisioned resources. By writing a configuration in IaC languages such as CloudFormation, users can declaratively specify their infrastructure and CloudFormation will handle the creation of the resources. However, understanding the complexity of IaC deployments has emerged as an unsolved issue. In particular, estimating the cost of an IaC deployment requires estimating the future usage and pricing models of every cloud resource in the deployment. Gaining transpa","authors_text":"Aryana Mohammadi, Feitong Qiao, J\\\"urgen Cito, Mark Santolucito","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-23T22:27:56Z","title":"Statically Inferring Usage Bounds for Infrastructure as Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.15632","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:3944351184294da6e4fa34d2ff61172eca70e9c4a0f206583056c46f2c68bd96","target":"record","created_at":"2026-07-05T07:48:55Z","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":"0ff4574b9691e9c322e208fce5bc0d720e3eff7704c2b9bcfd589629eebc9e40","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-02-23T22:27:56Z","title_canon_sha256":"d60ec556a0b3373caadec407ac8b1897c6bbe894a6ad59350184d6146061e6d3"},"schema_version":"1.0","source":{"id":"2402.15632","kind":"arxiv","version":1}},"canonical_sha256":"15b2de11a00a74564eddf6d150e44fb969a151994b4a28ea077a87603dcd0578","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15b2de11a00a74564eddf6d150e44fb969a151994b4a28ea077a87603dcd0578","first_computed_at":"2026-07-05T07:48:55.925654Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:48:55.925654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i2bh/OefN4qE0fNMeuTdAC+p/SNRIbUxyJ2kjZmxIwkvX7PDmwpUmsmoVcunjgXcCf259wBAjEF9nA4YfzOxBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:48:55.926126Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.15632","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3944351184294da6e4fa34d2ff61172eca70e9c4a0f206583056c46f2c68bd96","sha256:64afee8dc5a20f168d0436b799ee58d51a2bc8b93f3c57c2f530bd949dd4ec6a"],"state_sha256":"c401453f9c2e904067936f388fc7e5c85dd3a8fab55c31e7af62cb07a2125da2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J9SJ/T+hfVVSnPpVWSH8k1jWFsNzw4hkYicsMRTtWHktdk/RfzIVIMY7A70eoHiMEPfY3lrtqcdhAWa0zJvaCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T08:16:55.581865Z","bundle_sha256":"59cb091605ba9d3ae9b1ccfe84779d1ff4144e6713a2a83c90f4c0b153a0b137"}}