{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NKVUVAIR7TGFPMZNGKXEXCCZH5","short_pith_number":"pith:NKVUVAIR","canonical_record":{"source":{"id":"1705.02058","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-05T01:33:39Z","cross_cats_sorted":[],"title_canon_sha256":"489cfe179600ea76c8137f2ec02ea932f0f0f6a141a223b0a0e6c9abbe5a1a79","abstract_canon_sha256":"50e1478d3b394bc9f334c5ca6bb2a96116e02c56d7567285a1e59fc4c884c658"},"schema_version":"1.0"},"canonical_sha256":"6aab4a8111fccc57b32d32ae4b88593f42e66e3a2f7965ca4a6978269a8b7118","source":{"kind":"arxiv","id":"1705.02058","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02058","created_at":"2026-05-18T00:45:00Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02058v1","created_at":"2026-05-18T00:45:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02058","created_at":"2026-05-18T00:45:00Z"},{"alias_kind":"pith_short_12","alias_value":"NKVUVAIR7TGF","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKVUVAIR7TGFPMZN","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKVUVAIR","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NKVUVAIR7TGFPMZNGKXEXCCZH5","target":"record","payload":{"canonical_record":{"source":{"id":"1705.02058","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-05T01:33:39Z","cross_cats_sorted":[],"title_canon_sha256":"489cfe179600ea76c8137f2ec02ea932f0f0f6a141a223b0a0e6c9abbe5a1a79","abstract_canon_sha256":"50e1478d3b394bc9f334c5ca6bb2a96116e02c56d7567285a1e59fc4c884c658"},"schema_version":"1.0"},"canonical_sha256":"6aab4a8111fccc57b32d32ae4b88593f42e66e3a2f7965ca4a6978269a8b7118","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:00.734341Z","signature_b64":"wVJIwSYNQwenzXUAWFZ1QrzqZkfdZ10pfAyHvuUvt9m6Ac5cyNVqeLlLGOrcBHbHOkUvy1cGpWPJ4oW344PVBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6aab4a8111fccc57b32d32ae4b88593f42e66e3a2f7965ca4a6978269a8b7118","last_reissued_at":"2026-05-18T00:45:00.733812Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:00.733812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.02058","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-18T00:45:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y26Hq/L7HyCBXvu4i0FOZXOogpjs2NBtGB5AK4I2T0lB8N4W0umAK5J4eaijgbcaJYJTcLYPX0WQH5vi58CBCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:00:32.513348Z"},"content_sha256":"1b87f89c7a320387d5d206fbea9a07c7f12f56e5cfb5c2283a79e04c92a20fd0","schema_version":"1.0","event_id":"sha256:1b87f89c7a320387d5d206fbea9a07c7f12f56e5cfb5c2283a79e04c92a20fd0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NKVUVAIR7TGFPMZNGKXEXCCZH5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Systematic Approach for Exploring Tradeoffs in Predictive HVAC Control Systems for Buildings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Anind Dey, Christian Koehler, Jennifer Mankoff, Joshua Gluck, Yuvraj Agarwal","submitted_at":"2017-05-05T01:33:39Z","abstract_excerpt":"Heating, Ventilation, and Cooling (HVAC) systems are often the most significant contributor to the energy usage, and the operational cost, of large office buildings. Therefore, to understand the various factors affecting the energy usage, and to optimize the operational efficiency of building HVAC systems, energy analysts and architects often create simulations (e.g., EnergyPlus or DOE-2), of buildings prior to construction or renovation to determine energy savings and quantify the Return-on-Investment (ROI). While useful, these simulations usually use static HVAC control strategies such as lo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02058","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-18T00:45:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kEzaRXNcywMISlD9oaeALjGlfk3PsJ7V+rHkArZPuneyEQiMrFNuxVYbYf/c/DUV5vZtRkWjeKOlfsT4JLIOAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:00:32.513725Z"},"content_sha256":"a34b80221dbcbf74048eb3c842a0045b539365b893d2cc4717f9506222d2cc05","schema_version":"1.0","event_id":"sha256:a34b80221dbcbf74048eb3c842a0045b539365b893d2cc4717f9506222d2cc05"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NKVUVAIR7TGFPMZNGKXEXCCZH5/bundle.json","state_url":"https://pith.science/pith/NKVUVAIR7TGFPMZNGKXEXCCZH5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NKVUVAIR7TGFPMZNGKXEXCCZH5/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-30T05:00:32Z","links":{"resolver":"https://pith.science/pith/NKVUVAIR7TGFPMZNGKXEXCCZH5","bundle":"https://pith.science/pith/NKVUVAIR7TGFPMZNGKXEXCCZH5/bundle.json","state":"https://pith.science/pith/NKVUVAIR7TGFPMZNGKXEXCCZH5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NKVUVAIR7TGFPMZNGKXEXCCZH5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NKVUVAIR7TGFPMZNGKXEXCCZH5","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":"50e1478d3b394bc9f334c5ca6bb2a96116e02c56d7567285a1e59fc4c884c658","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-05T01:33:39Z","title_canon_sha256":"489cfe179600ea76c8137f2ec02ea932f0f0f6a141a223b0a0e6c9abbe5a1a79"},"schema_version":"1.0","source":{"id":"1705.02058","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02058","created_at":"2026-05-18T00:45:00Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02058v1","created_at":"2026-05-18T00:45:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02058","created_at":"2026-05-18T00:45:00Z"},{"alias_kind":"pith_short_12","alias_value":"NKVUVAIR7TGF","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKVUVAIR7TGFPMZN","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKVUVAIR","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:a34b80221dbcbf74048eb3c842a0045b539365b893d2cc4717f9506222d2cc05","target":"graph","created_at":"2026-05-18T00:45:00Z","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":"Heating, Ventilation, and Cooling (HVAC) systems are often the most significant contributor to the energy usage, and the operational cost, of large office buildings. Therefore, to understand the various factors affecting the energy usage, and to optimize the operational efficiency of building HVAC systems, energy analysts and architects often create simulations (e.g., EnergyPlus or DOE-2), of buildings prior to construction or renovation to determine energy savings and quantify the Return-on-Investment (ROI). While useful, these simulations usually use static HVAC control strategies such as lo","authors_text":"Anind Dey, Christian Koehler, Jennifer Mankoff, Joshua Gluck, Yuvraj Agarwal","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-05T01:33:39Z","title":"A Systematic Approach for Exploring Tradeoffs in Predictive HVAC Control Systems for Buildings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02058","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:1b87f89c7a320387d5d206fbea9a07c7f12f56e5cfb5c2283a79e04c92a20fd0","target":"record","created_at":"2026-05-18T00:45:00Z","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":"50e1478d3b394bc9f334c5ca6bb2a96116e02c56d7567285a1e59fc4c884c658","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-05T01:33:39Z","title_canon_sha256":"489cfe179600ea76c8137f2ec02ea932f0f0f6a141a223b0a0e6c9abbe5a1a79"},"schema_version":"1.0","source":{"id":"1705.02058","kind":"arxiv","version":1}},"canonical_sha256":"6aab4a8111fccc57b32d32ae4b88593f42e66e3a2f7965ca4a6978269a8b7118","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6aab4a8111fccc57b32d32ae4b88593f42e66e3a2f7965ca4a6978269a8b7118","first_computed_at":"2026-05-18T00:45:00.733812Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:00.733812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wVJIwSYNQwenzXUAWFZ1QrzqZkfdZ10pfAyHvuUvt9m6Ac5cyNVqeLlLGOrcBHbHOkUvy1cGpWPJ4oW344PVBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:00.734341Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.02058","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b87f89c7a320387d5d206fbea9a07c7f12f56e5cfb5c2283a79e04c92a20fd0","sha256:a34b80221dbcbf74048eb3c842a0045b539365b893d2cc4717f9506222d2cc05"],"state_sha256":"a62840054efd28f4dd7cfb549f1fde996428e15fa12c44d51c8e75e5edab2348"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7+LfwQp6R+ipZ9pcIy0Y+AlSux/0RM2zh0I7e1TKDhO4/8RpqOch+uCY2V/IpRtQpMDHrZUc6QL5MQX8luxkCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T05:00:32.516026Z","bundle_sha256":"1fda51d9c6a9508337a10ee9f911e2cee553067832ed91bbb76878b6ab4965a6"}}