{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZYB7T5VEWDT67IHVEMLGCZ2KMG","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":"552e5218b912de8b311a42e12a1e96085abd78dcfa400c0eb6f7601cedfd2324","cross_cats_sorted":["cs.HC","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2025-08-05T16:53:33Z","title_canon_sha256":"61787de40cd8bbca0a6c9d6c9d03fd3e2d2d9557d4bf1d4c9d0a5d933f696084"},"schema_version":"1.0","source":{"id":"2508.03639","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03639","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03639v1","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03639","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_12","alias_value":"ZYB7T5VEWDT6","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_16","alias_value":"ZYB7T5VEWDT67IHV","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_8","alias_value":"ZYB7T5VE","created_at":"2026-07-05T11:49:00Z"}],"graph_snapshots":[{"event_id":"sha256:3f9ef8864305e9e7985710f63012417b16ab8b9cbb235421928039ba5e9a1aea","target":"graph","created_at":"2026-07-05T11:49: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2508.03639/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This article presents a novel framework to provide Formal Languages and Automata Theory students design support for the development of regular expressions. This framework includes a design recipe for regular expressions and a customized error messaging system. The error messaging system produces recipe-based errors that include the step of the design recipe not successfully completed. Furthermore, the error messages follow the established practices of being concise, succinct, jargon-free, and nonprescriptive. In addition, a shorthand syntax developed for writing unit tests is described. The in","authors_text":"Andr\\'es M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University), Josephine Des Rosiers (Penguin Random House), Marco T. Moraz\\'an (Seton Hall University), Shamil Dzhatdoyev (Axoni, Tijana Mini\\'c (University of Washington), USA)","cross_cats":["cs.HC","cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2025-08-05T16:53:33Z","title":"A Design Recipe and Recipe-Based Errors for Regular Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03639","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:5420fe196d7e9e3d84704ae23af83c20435e6a35fa88aec74dfab91878b8389d","target":"record","created_at":"2026-07-05T11:49: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":"552e5218b912de8b311a42e12a1e96085abd78dcfa400c0eb6f7601cedfd2324","cross_cats_sorted":["cs.HC","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2025-08-05T16:53:33Z","title_canon_sha256":"61787de40cd8bbca0a6c9d6c9d03fd3e2d2d9557d4bf1d4c9d0a5d933f696084"},"schema_version":"1.0","source":{"id":"2508.03639","kind":"arxiv","version":1}},"canonical_sha256":"ce03f9f6a4b0e7efa0f5231661674a61a5d8d218ce7f063554695082631dfeb0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce03f9f6a4b0e7efa0f5231661674a61a5d8d218ce7f063554695082631dfeb0","first_computed_at":"2026-07-05T11:49:00.335022Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:49:00.335022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8vCuDJzZKC4lEAN7VHlIQpRIvBoQmKT4QCI+oZLIX01P1Lm9kREBBGfEgc//zau6YuCCf3w4XTVwOjbg/QB3CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:49:00.335573Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.03639","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5420fe196d7e9e3d84704ae23af83c20435e6a35fa88aec74dfab91878b8389d","sha256:3f9ef8864305e9e7985710f63012417b16ab8b9cbb235421928039ba5e9a1aea"],"state_sha256":"94f256b22facdb5dc95cb34b243e5660be9d50950b053ca27b60484c2465ed86"}