{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:GMXWEF2ZWUW3VBOKJXLNPRP6R5","short_pith_number":"pith:GMXWEF2Z","canonical_record":{"source":{"id":"2606.20454","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-06-18T16:35:12Z","cross_cats_sorted":[],"title_canon_sha256":"5a25d94de0c22af88fca8b0376c5835a22d04801aa24ec42fa20d40dc85b13e8","abstract_canon_sha256":"99fdcc19d7f753182da288a479968a78d95e9f851878612713b3f8be0bc8c214"},"schema_version":"1.0"},"canonical_sha256":"332f621759b52dba85ca4dd6d7c5fe8f46590933c6739c373d98ae2ec2c697f2","source":{"kind":"arxiv","id":"2606.20454","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.20454","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"arxiv_version","alias_value":"2606.20454v1","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.20454","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"pith_short_12","alias_value":"GMXWEF2ZWUW3","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"pith_short_16","alias_value":"GMXWEF2ZWUW3VBOK","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"pith_short_8","alias_value":"GMXWEF2Z","created_at":"2026-06-19T16:13:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:GMXWEF2ZWUW3VBOKJXLNPRP6R5","target":"record","payload":{"canonical_record":{"source":{"id":"2606.20454","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-06-18T16:35:12Z","cross_cats_sorted":[],"title_canon_sha256":"5a25d94de0c22af88fca8b0376c5835a22d04801aa24ec42fa20d40dc85b13e8","abstract_canon_sha256":"99fdcc19d7f753182da288a479968a78d95e9f851878612713b3f8be0bc8c214"},"schema_version":"1.0"},"canonical_sha256":"332f621759b52dba85ca4dd6d7c5fe8f46590933c6739c373d98ae2ec2c697f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:13:12.794528Z","signature_b64":"iPI6iwY0lD+mzLsM7T2jEdJYnL6q8aIZQ7+Axy67HwKTWXYms+vq1xUM8Im1YqnSQzptlQxlNAJ9EO9QaOQJCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"332f621759b52dba85ca4dd6d7c5fe8f46590933c6739c373d98ae2ec2c697f2","last_reissued_at":"2026-06-19T16:13:12.794143Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:13:12.794143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.20454","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-06-19T16:13:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v/CoRTEwFdlHYlHv/PXW45fCsbg2oyN3XVlOc3LhqB+e6erNbXPb6Yb9wDMnOvsk5eJfyBLohD5+2vh7CqtEAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T21:32:01.919165Z"},"content_sha256":"5811c8f0f1b142eb6557ad027484392cecc9345425f60686df50629d36993db6","schema_version":"1.0","event_id":"sha256:5811c8f0f1b142eb6557ad027484392cecc9345425f60686df50629d36993db6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:GMXWEF2ZWUW3VBOKJXLNPRP6R5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Minimality of Random Moore Automata under Prefix-Dependent Congruences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Mat\\'ias Carrasco, Sergio Yovine","submitted_at":"2026-06-18T16:35:12Z","abstract_excerpt":"We study prefix-dependent congruences for random deterministic transition systems with state outputs. In this setting, the admissible continuations used to compare two states may depend on the observed prefix, and two states are identified only if no common admissible continuation distinguishes their future outputs. The framework includes probabilistic deterministic finite automata as a motivating special case. We analyze the random transition model in which all transition values are independent and uniform. Each state is also assigned an independent label that specifies both its output and it"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.20454","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/2606.20454/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-06-19T16:13:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oG189ePocY9qZwOxJ1FYPcLdWrEL/BVO9Qqk0y5oH837vgF77hEMGX4VLNIrApuxGsbw8Lrf9HY6SRG8XeTUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T21:32:01.919662Z"},"content_sha256":"25d04b0feecdfbc254c4f3476d29cf8faa36e56a4b22a8e9ab302770b8fa50e8","schema_version":"1.0","event_id":"sha256:25d04b0feecdfbc254c4f3476d29cf8faa36e56a4b22a8e9ab302770b8fa50e8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GMXWEF2ZWUW3VBOKJXLNPRP6R5/bundle.json","state_url":"https://pith.science/pith/GMXWEF2ZWUW3VBOKJXLNPRP6R5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GMXWEF2ZWUW3VBOKJXLNPRP6R5/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-19T21:32:01Z","links":{"resolver":"https://pith.science/pith/GMXWEF2ZWUW3VBOKJXLNPRP6R5","bundle":"https://pith.science/pith/GMXWEF2ZWUW3VBOKJXLNPRP6R5/bundle.json","state":"https://pith.science/pith/GMXWEF2ZWUW3VBOKJXLNPRP6R5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GMXWEF2ZWUW3VBOKJXLNPRP6R5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GMXWEF2ZWUW3VBOKJXLNPRP6R5","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":"99fdcc19d7f753182da288a479968a78d95e9f851878612713b3f8be0bc8c214","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-06-18T16:35:12Z","title_canon_sha256":"5a25d94de0c22af88fca8b0376c5835a22d04801aa24ec42fa20d40dc85b13e8"},"schema_version":"1.0","source":{"id":"2606.20454","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.20454","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"arxiv_version","alias_value":"2606.20454v1","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.20454","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"pith_short_12","alias_value":"GMXWEF2ZWUW3","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"pith_short_16","alias_value":"GMXWEF2ZWUW3VBOK","created_at":"2026-06-19T16:13:12Z"},{"alias_kind":"pith_short_8","alias_value":"GMXWEF2Z","created_at":"2026-06-19T16:13:12Z"}],"graph_snapshots":[{"event_id":"sha256:25d04b0feecdfbc254c4f3476d29cf8faa36e56a4b22a8e9ab302770b8fa50e8","target":"graph","created_at":"2026-06-19T16:13:12Z","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/2606.20454/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study prefix-dependent congruences for random deterministic transition systems with state outputs. In this setting, the admissible continuations used to compare two states may depend on the observed prefix, and two states are identified only if no common admissible continuation distinguishes their future outputs. The framework includes probabilistic deterministic finite automata as a motivating special case. We analyze the random transition model in which all transition values are independent and uniform. Each state is also assigned an independent label that specifies both its output and it","authors_text":"Mat\\'ias Carrasco, Sergio Yovine","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-06-18T16:35:12Z","title":"Minimality of Random Moore Automata under Prefix-Dependent Congruences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.20454","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:5811c8f0f1b142eb6557ad027484392cecc9345425f60686df50629d36993db6","target":"record","created_at":"2026-06-19T16:13:12Z","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":"99fdcc19d7f753182da288a479968a78d95e9f851878612713b3f8be0bc8c214","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-06-18T16:35:12Z","title_canon_sha256":"5a25d94de0c22af88fca8b0376c5835a22d04801aa24ec42fa20d40dc85b13e8"},"schema_version":"1.0","source":{"id":"2606.20454","kind":"arxiv","version":1}},"canonical_sha256":"332f621759b52dba85ca4dd6d7c5fe8f46590933c6739c373d98ae2ec2c697f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"332f621759b52dba85ca4dd6d7c5fe8f46590933c6739c373d98ae2ec2c697f2","first_computed_at":"2026-06-19T16:13:12.794143Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:13:12.794143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iPI6iwY0lD+mzLsM7T2jEdJYnL6q8aIZQ7+Axy67HwKTWXYms+vq1xUM8Im1YqnSQzptlQxlNAJ9EO9QaOQJCg==","signature_status":"signed_v1","signed_at":"2026-06-19T16:13:12.794528Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.20454","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5811c8f0f1b142eb6557ad027484392cecc9345425f60686df50629d36993db6","sha256:25d04b0feecdfbc254c4f3476d29cf8faa36e56a4b22a8e9ab302770b8fa50e8"],"state_sha256":"cb401f947e92d58a7a58b141c2b04ff53bb2bea7b6665ef2e6714d287de14733"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V8pX4ktEFKNrTqnzse7WOnzjb1DbQsJt4UO8FQl79NIls0pTc8NAThGVSsAa4Ynci3gv6Zx9Aq79401XRwYJCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T21:32:01.924661Z","bundle_sha256":"c4ca7ebabd67814d28e0a4dce6368a7a93f2c685bee398099706c5815493413f"}}