{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:N5A2NOM3SLC733JPM5R6KDEIO3","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":"038fd2aeff09c92c97cd63317300f0935f7629640b1bf47ec58e8233921068e5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-01-19T15:03:46Z","title_canon_sha256":"3b3a0aed9bc69968fc7fbedd7b18f93b550e99513f3499287c701dc016d13a00"},"schema_version":"1.0","source":{"id":"1501.04511","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.04511","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"arxiv_version","alias_value":"1501.04511v1","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.04511","created_at":"2026-05-18T02:29:08Z"},{"alias_kind":"pith_short_12","alias_value":"N5A2NOM3SLC7","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"N5A2NOM3SLC733JP","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"N5A2NOM3","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:71795dabf00a6f7a502a730e7689889a7dee342bae1551fc7da62189a22892b5","target":"graph","created_at":"2026-05-18T02:29:08Z","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":"The call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a \"bad variable\" construct in the sense of Reynolds. We consider the fragment of (finitary) RML terms of order at most 1 with free variables of order at most 2, and identify two subfragments of this for which we show observational equivalence to be decidable. The first subfragment consists of those terms in which the P-pointers in the game semantic representation are determined by the underlying sequence of moves. The second subfragment consists of terms in which the O","authors_text":"Andrzej S. Murawski, C.-H. Luke Ong, Conrad Cotton-Barratt, David Hopkins","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-01-19T15:03:46Z","title":"Fragments of ML Decidable by Nested Data Class Memory Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.04511","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:c2719fb0f88fb7762474c35d83e03834e15c7806157712ccf6adf35efd0fca7c","target":"record","created_at":"2026-05-18T02:29:08Z","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":"038fd2aeff09c92c97cd63317300f0935f7629640b1bf47ec58e8233921068e5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-01-19T15:03:46Z","title_canon_sha256":"3b3a0aed9bc69968fc7fbedd7b18f93b550e99513f3499287c701dc016d13a00"},"schema_version":"1.0","source":{"id":"1501.04511","kind":"arxiv","version":1}},"canonical_sha256":"6f41a6b99b92c5fded2f6763e50c8876cb3b1203a7da3033729d3f701489fd6f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6f41a6b99b92c5fded2f6763e50c8876cb3b1203a7da3033729d3f701489fd6f","first_computed_at":"2026-05-18T02:29:08.833012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:08.833012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hDZS9bwBNDWo2AfW7oYe9VY26aii6qVk2gJK8CMx8PGp8l5GFBHYDfhyV5AGIdEjXyB8LN6WNsBVUyh+7xGbBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:08.833616Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.04511","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c2719fb0f88fb7762474c35d83e03834e15c7806157712ccf6adf35efd0fca7c","sha256:71795dabf00a6f7a502a730e7689889a7dee342bae1551fc7da62189a22892b5"],"state_sha256":"5d85db3920f6861915e27f24443e59e9c68ebccc3e687cd26a1514453aa64a93"}