{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2YAKZTSX6L5YF52MYGJQZHQ4IY","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":"d1907208ba735b3bbf7172ae13616fbc8155b476b67a95ae8f534e730df4983c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-04T18:10:21Z","title_canon_sha256":"0814283b91c9de6ce14897740b5e36f0caa4b97a40e5e6b0a800d8072896561d"},"schema_version":"1.0","source":{"id":"1502.01278","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.01278","created_at":"2026-05-18T02:27:56Z"},{"alias_kind":"arxiv_version","alias_value":"1502.01278v2","created_at":"2026-05-18T02:27:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.01278","created_at":"2026-05-18T02:27:56Z"},{"alias_kind":"pith_short_12","alias_value":"2YAKZTSX6L5Y","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"2YAKZTSX6L5YF52M","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"2YAKZTSX","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:8538af3c435763e098171ec8690be43aac5f09e5175aa68d32c85eef84dd9cf6","target":"graph","created_at":"2026-05-18T02:27:56Z","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":"Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure. Hence, unit testing is the prevalent incomplete method for validating programs in such languages.\n  Falsification is an alternative approach that uncovers definite errors in programs. A falsifier computes a set of inputs that definitely crash a program.\n  Success typing is a type-based approach to document programs in dynamic languages. We demonstrate that success typing is, in fact, an instance of falsification by m","authors_text":"Peter Thiemann, Robert Jakob","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-04T18:10:21Z","title":"A Falsification View of Success Typing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.01278","kind":"arxiv","version":2},"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:c02821ac0a00bfdbaf592d344de56d5518f10d757c56efe6cc3a97ca113a0ef4","target":"record","created_at":"2026-05-18T02:27:56Z","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":"d1907208ba735b3bbf7172ae13616fbc8155b476b67a95ae8f534e730df4983c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-04T18:10:21Z","title_canon_sha256":"0814283b91c9de6ce14897740b5e36f0caa4b97a40e5e6b0a800d8072896561d"},"schema_version":"1.0","source":{"id":"1502.01278","kind":"arxiv","version":2}},"canonical_sha256":"d600acce57f2fb82f74cc1930c9e1c46215472166a6fbc0107f4e4e983514566","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d600acce57f2fb82f74cc1930c9e1c46215472166a6fbc0107f4e4e983514566","first_computed_at":"2026-05-18T02:27:56.692574Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:56.692574Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eh5Df/n/UUAJUxMVf4ctk33MmMPuy0l48UPfubFMjj5zCVIHEWPZomiXcUNz4DBvAUyokSMpuc3cFhwrtktbCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:56.693006Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.01278","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c02821ac0a00bfdbaf592d344de56d5518f10d757c56efe6cc3a97ca113a0ef4","sha256:8538af3c435763e098171ec8690be43aac5f09e5175aa68d32c85eef84dd9cf6"],"state_sha256":"f370675ff4eede112212ef585f25f9d9c466a4094d38cec6e0f156d6c1689e66"}