{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:LO6NZUQLE6ICZ7KVHJXH7IAI5V","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":"3f9188db82c30a583311c94023ca664cebe4763b2a20f5c32b00acf2ed719b2d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-02-26T21:24:17Z","title_canon_sha256":"d199aa852c077d2b6f666f0da93d50a3f6e40d1406bae5248e23a0b01c87082a"},"schema_version":"1.0","source":{"id":"1902.10231","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.10231","created_at":"2026-05-17T23:52:31Z"},{"alias_kind":"arxiv_version","alias_value":"1902.10231v1","created_at":"2026-05-17T23:52:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.10231","created_at":"2026-05-17T23:52:31Z"},{"alias_kind":"pith_short_12","alias_value":"LO6NZUQLE6IC","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"LO6NZUQLE6ICZ7KV","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"LO6NZUQL","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:483f9d71eef06e4ab9d2e15acc18454e41bcdf17b58c6a9ab445cc0ae22086a7","target":"graph","created_at":"2026-05-17T23:52:31Z","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":"In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Invariants are specified simply as methods whose execution is statically guaranteed to be deterministic and not access any externally mutable state. We automatically call such invariant methods only when objects are created or the state they refer to may have been mutated. Our design restricts the range of expressible invariants but improves upon the ","authors_text":"Alex Potanin, Isaac Oscar Gariano, Marco Servetto","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-02-26T21:24:17Z","title":"Sound Invariant Checking Using Type Modifiers and Object Capabilities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.10231","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:5f5a554da181b956e57b5ec94b7dfa99c9b4badad4f265e0f66d6e124448765c","target":"record","created_at":"2026-05-17T23:52:31Z","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":"3f9188db82c30a583311c94023ca664cebe4763b2a20f5c32b00acf2ed719b2d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-02-26T21:24:17Z","title_canon_sha256":"d199aa852c077d2b6f666f0da93d50a3f6e40d1406bae5248e23a0b01c87082a"},"schema_version":"1.0","source":{"id":"1902.10231","kind":"arxiv","version":1}},"canonical_sha256":"5bbcdcd20b27902cfd553a6e7fa008ed48a9b5a7ff9b9c8fd525d0a83b0e0c97","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5bbcdcd20b27902cfd553a6e7fa008ed48a9b5a7ff9b9c8fd525d0a83b0e0c97","first_computed_at":"2026-05-17T23:52:31.417203Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:31.417203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2XG0FuQd/n0nSYdJbOEO0nNMpV0NtAR6+0/KHXUrzUslG1DlusyYsIH2tNKKHcfJUM12jxGmPTkQqQY2l745BQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:31.417676Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.10231","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f5a554da181b956e57b5ec94b7dfa99c9b4badad4f265e0f66d6e124448765c","sha256:483f9d71eef06e4ab9d2e15acc18454e41bcdf17b58c6a9ab445cc0ae22086a7"],"state_sha256":"5ee025d8380d326ddc37512e37c290ce8e0784ec2f26b50bf52726fb3987a96b"}