{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IZQBIQAAWWVMFX45OAE5NJUEXK","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":"c75ad4735bc41b87d7b6ea032c6154d487194b4e3d1edb5b16d2b72b0681a2ee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-29T16:34:37Z","title_canon_sha256":"784a8538fb0ff8b9a80b7da16dbc33d262bd95d46f82b3d620fd99882111992e"},"schema_version":"1.0","source":{"id":"2605.31517","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31517","created_at":"2026-06-01T02:04:10Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31517v1","created_at":"2026-06-01T02:04:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31517","created_at":"2026-06-01T02:04:10Z"},{"alias_kind":"pith_short_12","alias_value":"IZQBIQAAWWVM","created_at":"2026-06-01T02:04:10Z"},{"alias_kind":"pith_short_16","alias_value":"IZQBIQAAWWVMFX45","created_at":"2026-06-01T02:04:10Z"},{"alias_kind":"pith_short_8","alias_value":"IZQBIQAA","created_at":"2026-06-01T02:04:10Z"}],"graph_snapshots":[{"event_id":"sha256:c70c2869d93359826f9e9302db046842edb4a8c8e28c1f5664ccdb897bda3fa4","target":"graph","created_at":"2026-06-01T02:04:10Z","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/2605.31517/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Algebraic steppers help students learn functional programming by displaying evaluation as a sequence of small-step reductions, but even simple programs produce long traces in which key ideas are buried under mundane reductions. This paper presents the filtered stepper calculus, a formal framework that gives users scoped, pattern-based control over which reduction steps are shown or hidden. Users annotate programs with lightweight filter expressions that match on the structure of redexes. Filters compose via lexical scoping so that inner filters override outer ones. We prove preservation, progr","authors_text":"Cyrus Omar, Haoxiang Fei, Matthew Keenan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-29T16:34:37Z","title":"Practical Algebraic Stepping with Scoped Filters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31517","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:40a317d74c0b9097868208b91e0e5b67b6db2bb5be71a7f446b4c0280bb8cc69","target":"record","created_at":"2026-06-01T02:04:10Z","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":"c75ad4735bc41b87d7b6ea032c6154d487194b4e3d1edb5b16d2b72b0681a2ee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-05-29T16:34:37Z","title_canon_sha256":"784a8538fb0ff8b9a80b7da16dbc33d262bd95d46f82b3d620fd99882111992e"},"schema_version":"1.0","source":{"id":"2605.31517","kind":"arxiv","version":1}},"canonical_sha256":"4660144000b5aac2df9d7009d6a684ba855b316ae08644c1d4574ca41b121891","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4660144000b5aac2df9d7009d6a684ba855b316ae08644c1d4574ca41b121891","first_computed_at":"2026-06-01T02:04:10.405521Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T02:04:10.405521Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wa52/1AyKeMqyar/RIBRA8VaHNHzTgvysV7WLfA1ojZrwEMbyQ6D/0x+vGs/LFLlzSijjifOzaV1yt5B2YjYCQ==","signature_status":"signed_v1","signed_at":"2026-06-01T02:04:10.406270Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.31517","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40a317d74c0b9097868208b91e0e5b67b6db2bb5be71a7f446b4c0280bb8cc69","sha256:c70c2869d93359826f9e9302db046842edb4a8c8e28c1f5664ccdb897bda3fa4"],"state_sha256":"833d696de93e525ab40ad83648ef239d7da109889342a86a8b523e8feafb03c7"}