{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:A6IF2KD6NJRKLSQPONRVY6ALJU","short_pith_number":"pith:A6IF2KD6","canonical_record":{"source":{"id":"2508.03641","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2025-08-05T16:54:01Z","cross_cats_sorted":["cs.HC","cs.PL","cs.SE"],"title_canon_sha256":"4373fc308f963ed2d22afcea1898d653bce712b7bff74e4cfa03994346b3ba49","abstract_canon_sha256":"3235969d4fb60f9089851631b2f307ccd3d42c4d01139650f5e2b24fca7f85b4"},"schema_version":"1.0"},"canonical_sha256":"07905d287e6a62a5ca0f73635c780b4d03339197b86534598de415fd48b2541c","source":{"kind":"arxiv","id":"2508.03641","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03641","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03641v1","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03641","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_12","alias_value":"A6IF2KD6NJRK","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_16","alias_value":"A6IF2KD6NJRKLSQP","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_8","alias_value":"A6IF2KD6","created_at":"2026-07-05T11:49:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:A6IF2KD6NJRKLSQPONRVY6ALJU","target":"record","payload":{"canonical_record":{"source":{"id":"2508.03641","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2025-08-05T16:54:01Z","cross_cats_sorted":["cs.HC","cs.PL","cs.SE"],"title_canon_sha256":"4373fc308f963ed2d22afcea1898d653bce712b7bff74e4cfa03994346b3ba49","abstract_canon_sha256":"3235969d4fb60f9089851631b2f307ccd3d42c4d01139650f5e2b24fca7f85b4"},"schema_version":"1.0"},"canonical_sha256":"07905d287e6a62a5ca0f73635c780b4d03339197b86534598de415fd48b2541c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:49:00.377573Z","signature_b64":"CT/ZybIRPp+hvdTCvWaNxnh5Pn109nXwpX0IeD8b+8XoAXIpdJjhaUzNBpMIHik9AOvm34LQuRsl8b0qTsArCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"07905d287e6a62a5ca0f73635c780b4d03339197b86534598de415fd48b2541c","last_reissued_at":"2026-07-05T11:49:00.377152Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:49:00.377152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.03641","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:49:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MU/I3DbuT4/AJ0DRaua3yBYy50HPic5hcbxC6Ulsy/fxjI0HpTQ45QRrXPoc9UWZDKeDvOLyrI8dvJbll5a1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T21:53:57.925082Z"},"content_sha256":"38ea1d73ad22476675be87854b39ef870a8081e297f16b25a56c7657bb2a9689","schema_version":"1.0","event_id":"sha256:38ea1d73ad22476675be87854b39ef870a8081e297f16b25a56c7657bb2a9689"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:A6IF2KD6NJRKLSQPONRVY6ALJU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.HC","cs.PL","cs.SE"],"primary_cat":"cs.FL","authors_text":"Andr\\'es M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University), Marco T. Moraz\\'an (Seton Hall University), Tijana Mini\\'c (University of Washington)","submitted_at":"2025-08-05T16:54:01Z","abstract_excerpt":"In Formal Languages and Automata Theory courses, students find understanding nondeterministic finite-state and pushdown automata difficult. In many cases, this means that it is challenging for them to comprehend the operational semantics of such machines and, as a consequence, determine why a word is accepted or rejected. This is not entirely surprising, because students are mostly trained to design and implement deterministic programs. Comprehension of pushdown automata is further complicated, because reasoning about the stack is necessary. A common difficulty students face, for example, is u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03641","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.03641/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:49:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SmCReo9OhfRB5heTGKFZN4qXxF4o7WYgvWPn8zEGpVM9hdXaJiuHYXRSOi/l7gWCakyvFMh/K/QWhFTavYMvDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T21:53:57.925682Z"},"content_sha256":"14c35ba1f29168f3a34e1ef531a9f455c587ff4c827f76deaa43dea2493be0f4","schema_version":"1.0","event_id":"sha256:14c35ba1f29168f3a34e1ef531a9f455c587ff4c827f76deaa43dea2493be0f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A6IF2KD6NJRKLSQPONRVY6ALJU/bundle.json","state_url":"https://pith.science/pith/A6IF2KD6NJRKLSQPONRVY6ALJU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A6IF2KD6NJRKLSQPONRVY6ALJU/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T21:53:57Z","links":{"resolver":"https://pith.science/pith/A6IF2KD6NJRKLSQPONRVY6ALJU","bundle":"https://pith.science/pith/A6IF2KD6NJRKLSQPONRVY6ALJU/bundle.json","state":"https://pith.science/pith/A6IF2KD6NJRKLSQPONRVY6ALJU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A6IF2KD6NJRKLSQPONRVY6ALJU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:A6IF2KD6NJRKLSQPONRVY6ALJU","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":"3235969d4fb60f9089851631b2f307ccd3d42c4d01139650f5e2b24fca7f85b4","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:54:01Z","title_canon_sha256":"4373fc308f963ed2d22afcea1898d653bce712b7bff74e4cfa03994346b3ba49"},"schema_version":"1.0","source":{"id":"2508.03641","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03641","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03641v1","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03641","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_12","alias_value":"A6IF2KD6NJRK","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_16","alias_value":"A6IF2KD6NJRKLSQP","created_at":"2026-07-05T11:49:00Z"},{"alias_kind":"pith_short_8","alias_value":"A6IF2KD6","created_at":"2026-07-05T11:49:00Z"}],"graph_snapshots":[{"event_id":"sha256:14c35ba1f29168f3a34e1ef531a9f455c587ff4c827f76deaa43dea2493be0f4","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.03641/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In Formal Languages and Automata Theory courses, students find understanding nondeterministic finite-state and pushdown automata difficult. In many cases, this means that it is challenging for them to comprehend the operational semantics of such machines and, as a consequence, determine why a word is accepted or rejected. This is not entirely surprising, because students are mostly trained to design and implement deterministic programs. Comprehension of pushdown automata is further complicated, because reasoning about the stack is necessary. A common difficulty students face, for example, is u","authors_text":"Andr\\'es M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University), Marco T. Moraz\\'an (Seton Hall University), Tijana Mini\\'c (University of Washington)","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:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03641","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:38ea1d73ad22476675be87854b39ef870a8081e297f16b25a56c7657bb2a9689","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":"3235969d4fb60f9089851631b2f307ccd3d42c4d01139650f5e2b24fca7f85b4","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:54:01Z","title_canon_sha256":"4373fc308f963ed2d22afcea1898d653bce712b7bff74e4cfa03994346b3ba49"},"schema_version":"1.0","source":{"id":"2508.03641","kind":"arxiv","version":1}},"canonical_sha256":"07905d287e6a62a5ca0f73635c780b4d03339197b86534598de415fd48b2541c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07905d287e6a62a5ca0f73635c780b4d03339197b86534598de415fd48b2541c","first_computed_at":"2026-07-05T11:49:00.377152Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:49:00.377152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CT/ZybIRPp+hvdTCvWaNxnh5Pn109nXwpX0IeD8b+8XoAXIpdJjhaUzNBpMIHik9AOvm34LQuRsl8b0qTsArCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:49:00.377573Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.03641","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38ea1d73ad22476675be87854b39ef870a8081e297f16b25a56c7657bb2a9689","sha256:14c35ba1f29168f3a34e1ef531a9f455c587ff4c827f76deaa43dea2493be0f4"],"state_sha256":"5c9b08460572fbfa0ced427066a2eaa423c806e218010b1acd604276cb317c7d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/XDxXZCr0I/KJvC5g6m3LiSW3yA9v5POafmhWICcfLh+QFUnoL5WCLSl/5qGUslWYmoWNpTWqTCPXemQMIA8BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T21:53:57.930728Z","bundle_sha256":"eb152710039a5c6e63a50a958fa18e5e3b59afa9b35072aeaa692603167c563d"}}