{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:UW6RALJPI35YGI7DQ2CP5T6OSV","short_pith_number":"pith:UW6RALJP","canonical_record":{"source":{"id":"2502.06450","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-10T13:27:03Z","cross_cats_sorted":["cs.DM","cs.FL"],"title_canon_sha256":"3dc3096e3eaaae8bb399f6447f3db00bc3485a356ce24698aa21c6052efed141","abstract_canon_sha256":"0c428e0d8e525ba6f22ef45a11f10d89f3603b17903214c8a2b7c384409cba60"},"schema_version":"1.0"},"canonical_sha256":"a5bd102d2f46fb8323e38684fecfce95429c8075c03eda21f25b413942b0a5ea","source":{"kind":"arxiv","id":"2502.06450","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.06450","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"arxiv_version","alias_value":"2502.06450v1","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.06450","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"pith_short_12","alias_value":"UW6RALJPI35Y","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"pith_short_16","alias_value":"UW6RALJPI35YGI7D","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"pith_short_8","alias_value":"UW6RALJP","created_at":"2026-07-05T10:12:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:UW6RALJPI35YGI7DQ2CP5T6OSV","target":"record","payload":{"canonical_record":{"source":{"id":"2502.06450","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-10T13:27:03Z","cross_cats_sorted":["cs.DM","cs.FL"],"title_canon_sha256":"3dc3096e3eaaae8bb399f6447f3db00bc3485a356ce24698aa21c6052efed141","abstract_canon_sha256":"0c428e0d8e525ba6f22ef45a11f10d89f3603b17903214c8a2b7c384409cba60"},"schema_version":"1.0"},"canonical_sha256":"a5bd102d2f46fb8323e38684fecfce95429c8075c03eda21f25b413942b0a5ea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:12:06.794225Z","signature_b64":"l0HqcuhvhIldBFtvcFH31tkVKXOy4CqtXptpDBBp1vl9hgCoElQw8x67MjHGtYH9XKK0R5+iShNbMZuiBl+xBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5bd102d2f46fb8323e38684fecfce95429c8075c03eda21f25b413942b0a5ea","last_reissued_at":"2026-07-05T10:12:06.793659Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:12:06.793659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.06450","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-05T10:12:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bOCDDBD6wFq7TaRfhQ4ZDmvEW0J8V4SU+CcO3tVaV8dTa7UHSfzdkCTsizIgNwWNwMQitm7bKpCpnxiRImOkBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T20:17:00.615813Z"},"content_sha256":"9148569bc06f2d30a7d8c3dfb2ca13811a1ae0a2a6058ab837c935a83af83dba","schema_version":"1.0","event_id":"sha256:9148569bc06f2d30a7d8c3dfb2ca13811a1ae0a2a6058ab837c935a83af83dba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:UW6RALJPI35YGI7DQ2CP5T6OSV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM","cs.FL"],"primary_cat":"cs.LO","authors_text":"Etienne Moutot, Marc de Visme, Titouan Carette, Victor Lutfalla, Vivien Ducros","submitted_at":"2025-02-10T13:27:03Z","abstract_excerpt":"Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility of a unified formalism. We propose finite states non-deterministic transducer as a lingua franca for automata theory, transition systems, and sofic subshifts. We introduce a compositional diagrammatical syntax for transducers in form of string diagrams interpreted as relations. This syntax comes with sound rewriting rules allowing diagrammatical reasoning. Our main result is the completeness of our equational theory,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.06450","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/2502.06450/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-05T10:12:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gckGCfQa7lzbbdZHF6+p3AxfKWkCJj9b1gTCUG8BvP8ZRemb0QdtIQ4wprwKIlpMXY2I0nb5W94Si0LGMIiQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T20:17:00.616399Z"},"content_sha256":"c1e7afb83a23ce3906d666c95a1aff29408121152e66553c4af25b39261edb4d","schema_version":"1.0","event_id":"sha256:c1e7afb83a23ce3906d666c95a1aff29408121152e66553c4af25b39261edb4d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UW6RALJPI35YGI7DQ2CP5T6OSV/bundle.json","state_url":"https://pith.science/pith/UW6RALJPI35YGI7DQ2CP5T6OSV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UW6RALJPI35YGI7DQ2CP5T6OSV/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-09T20:17:00Z","links":{"resolver":"https://pith.science/pith/UW6RALJPI35YGI7DQ2CP5T6OSV","bundle":"https://pith.science/pith/UW6RALJPI35YGI7DQ2CP5T6OSV/bundle.json","state":"https://pith.science/pith/UW6RALJPI35YGI7DQ2CP5T6OSV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UW6RALJPI35YGI7DQ2CP5T6OSV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UW6RALJPI35YGI7DQ2CP5T6OSV","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":"0c428e0d8e525ba6f22ef45a11f10d89f3603b17903214c8a2b7c384409cba60","cross_cats_sorted":["cs.DM","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-10T13:27:03Z","title_canon_sha256":"3dc3096e3eaaae8bb399f6447f3db00bc3485a356ce24698aa21c6052efed141"},"schema_version":"1.0","source":{"id":"2502.06450","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.06450","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"arxiv_version","alias_value":"2502.06450v1","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.06450","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"pith_short_12","alias_value":"UW6RALJPI35Y","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"pith_short_16","alias_value":"UW6RALJPI35YGI7D","created_at":"2026-07-05T10:12:06Z"},{"alias_kind":"pith_short_8","alias_value":"UW6RALJP","created_at":"2026-07-05T10:12:06Z"}],"graph_snapshots":[{"event_id":"sha256:c1e7afb83a23ce3906d666c95a1aff29408121152e66553c4af25b39261edb4d","target":"graph","created_at":"2026-07-05T10:12:06Z","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/2502.06450/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility of a unified formalism. We propose finite states non-deterministic transducer as a lingua franca for automata theory, transition systems, and sofic subshifts. We introduce a compositional diagrammatical syntax for transducers in form of string diagrams interpreted as relations. This syntax comes with sound rewriting rules allowing diagrammatical reasoning. Our main result is the completeness of our equational theory,","authors_text":"Etienne Moutot, Marc de Visme, Titouan Carette, Victor Lutfalla, Vivien Ducros","cross_cats":["cs.DM","cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-10T13:27:03Z","title":"Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.06450","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:9148569bc06f2d30a7d8c3dfb2ca13811a1ae0a2a6058ab837c935a83af83dba","target":"record","created_at":"2026-07-05T10:12:06Z","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":"0c428e0d8e525ba6f22ef45a11f10d89f3603b17903214c8a2b7c384409cba60","cross_cats_sorted":["cs.DM","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-10T13:27:03Z","title_canon_sha256":"3dc3096e3eaaae8bb399f6447f3db00bc3485a356ce24698aa21c6052efed141"},"schema_version":"1.0","source":{"id":"2502.06450","kind":"arxiv","version":1}},"canonical_sha256":"a5bd102d2f46fb8323e38684fecfce95429c8075c03eda21f25b413942b0a5ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5bd102d2f46fb8323e38684fecfce95429c8075c03eda21f25b413942b0a5ea","first_computed_at":"2026-07-05T10:12:06.793659Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:12:06.793659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l0HqcuhvhIldBFtvcFH31tkVKXOy4CqtXptpDBBp1vl9hgCoElQw8x67MjHGtYH9XKK0R5+iShNbMZuiBl+xBA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:12:06.794225Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.06450","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9148569bc06f2d30a7d8c3dfb2ca13811a1ae0a2a6058ab837c935a83af83dba","sha256:c1e7afb83a23ce3906d666c95a1aff29408121152e66553c4af25b39261edb4d"],"state_sha256":"f813e499e82aa84704bef55c84083e4f2b38a818b94ce8b5f5747111f023812d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ub4OeY9KWotSgwjK8MIjyIV6zCMvdZ4ULK8YYwbalrb/zQk1LuiYGP59SEwtTfqdHvy04Ot6Miv/VEtZu6oWDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T20:17:00.621829Z","bundle_sha256":"1254d1417720cdbc1d085e22a5b1a612ed3abf614795f69ba7cb40c534cc402b"}}