{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:3WNHOOCIB35OWYZNRKLEPBJHO5","short_pith_number":"pith:3WNHOOCI","canonical_record":{"source":{"id":"1504.04715","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-18T13:19:49Z","cross_cats_sorted":[],"title_canon_sha256":"c2cf67669a1b709cca497ad01bbba72fbbbd55930b450256320c634a1a153332","abstract_canon_sha256":"3734cae818434557bb1de47617ed6119f20e8445ff915d6725d11d33e65075f2"},"schema_version":"1.0"},"canonical_sha256":"dd9a7738480efaeb632d8a96478527776e74012006c9c97ef3b945ba327bd285","source":{"kind":"arxiv","id":"1504.04715","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.04715","created_at":"2026-05-18T01:10:15Z"},{"alias_kind":"arxiv_version","alias_value":"1504.04715v2","created_at":"2026-05-18T01:10:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.04715","created_at":"2026-05-18T01:10:15Z"},{"alias_kind":"pith_short_12","alias_value":"3WNHOOCIB35O","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3WNHOOCIB35OWYZN","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3WNHOOCI","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:3WNHOOCIB35OWYZNRKLEPBJHO5","target":"record","payload":{"canonical_record":{"source":{"id":"1504.04715","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-18T13:19:49Z","cross_cats_sorted":[],"title_canon_sha256":"c2cf67669a1b709cca497ad01bbba72fbbbd55930b450256320c634a1a153332","abstract_canon_sha256":"3734cae818434557bb1de47617ed6119f20e8445ff915d6725d11d33e65075f2"},"schema_version":"1.0"},"canonical_sha256":"dd9a7738480efaeb632d8a96478527776e74012006c9c97ef3b945ba327bd285","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:15.211160Z","signature_b64":"J5/hA+aFYISsU+Z6FDrcLOsUJVfYbBm4OzDlU7Yv0jUfCXp6FIcnWc1WysjltaTjpWH6nP7w/m4Rp7ouRC2QDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd9a7738480efaeb632d8a96478527776e74012006c9c97ef3b945ba327bd285","last_reissued_at":"2026-05-18T01:10:15.210542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:15.210542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.04715","source_version":2,"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-05-18T01:10:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yU9s0HAn6+HVCy/cyPwV5UsBlf+jUP+gJpXm+pU+71L1Y2lPcOlca8A8I9YSZQavs8wY1bkCIg3hOWLt1G0rAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:13:12.756209Z"},"content_sha256":"09938a837cde247d82156767b0637674f29a03d5562d2c2ab7d381546566afe0","schema_version":"1.0","event_id":"sha256:09938a837cde247d82156767b0637674f29a03d5562d2c2ab7d381546566afe0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:3WNHOOCIB35OWYZNRKLEPBJHO5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Manipulation of Code Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Casey Meijer, Nelma Moreira, Rog\\'erio Reis, Stavros Konstantinidis","submitted_at":"2015-04-18T13:19:49Z","abstract_excerpt":"The FAdo system is a symbolic manipulator of formal languages objects, implemented in Python. In this work, we extend its capabilities by implementing methods to manipulate transducers and we go one level higher than existing formal language systems and implement methods to manipulate objects representing classes of independent languages (widely known as code properties). Our methods allow users to define their own code properties and combine them between themselves or with fixed properties such as prefix codes, suffix codes, error detecting codes, etc. The satisfaction and maximality decision"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.04715","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T01:10:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JlmE1XDwob7RvIggE/kr8KHH/0dBy5ggMY0N5JEviG1pt+dD0PhY1vC4axL8KS4uRmQLGKu2ECf67AZu+5AtDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:13:12.756867Z"},"content_sha256":"c6795bbcf6946edef5c99b45e0c57bfe68a69b6093d1357b32868273ca2aa860","schema_version":"1.0","event_id":"sha256:c6795bbcf6946edef5c99b45e0c57bfe68a69b6093d1357b32868273ca2aa860"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3WNHOOCIB35OWYZNRKLEPBJHO5/bundle.json","state_url":"https://pith.science/pith/3WNHOOCIB35OWYZNRKLEPBJHO5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3WNHOOCIB35OWYZNRKLEPBJHO5/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-05-30T07:13:12Z","links":{"resolver":"https://pith.science/pith/3WNHOOCIB35OWYZNRKLEPBJHO5","bundle":"https://pith.science/pith/3WNHOOCIB35OWYZNRKLEPBJHO5/bundle.json","state":"https://pith.science/pith/3WNHOOCIB35OWYZNRKLEPBJHO5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3WNHOOCIB35OWYZNRKLEPBJHO5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3WNHOOCIB35OWYZNRKLEPBJHO5","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":"3734cae818434557bb1de47617ed6119f20e8445ff915d6725d11d33e65075f2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-18T13:19:49Z","title_canon_sha256":"c2cf67669a1b709cca497ad01bbba72fbbbd55930b450256320c634a1a153332"},"schema_version":"1.0","source":{"id":"1504.04715","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.04715","created_at":"2026-05-18T01:10:15Z"},{"alias_kind":"arxiv_version","alias_value":"1504.04715v2","created_at":"2026-05-18T01:10:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.04715","created_at":"2026-05-18T01:10:15Z"},{"alias_kind":"pith_short_12","alias_value":"3WNHOOCIB35O","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3WNHOOCIB35OWYZN","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3WNHOOCI","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:c6795bbcf6946edef5c99b45e0c57bfe68a69b6093d1357b32868273ca2aa860","target":"graph","created_at":"2026-05-18T01:10:15Z","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"},"paper":{"abstract_excerpt":"The FAdo system is a symbolic manipulator of formal languages objects, implemented in Python. In this work, we extend its capabilities by implementing methods to manipulate transducers and we go one level higher than existing formal language systems and implement methods to manipulate objects representing classes of independent languages (widely known as code properties). Our methods allow users to define their own code properties and combine them between themselves or with fixed properties such as prefix codes, suffix codes, error detecting codes, etc. The satisfaction and maximality decision","authors_text":"Casey Meijer, Nelma Moreira, Rog\\'erio Reis, Stavros Konstantinidis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-18T13:19:49Z","title":"Symbolic Manipulation of Code Properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.04715","kind":"arxiv","version":2},"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:09938a837cde247d82156767b0637674f29a03d5562d2c2ab7d381546566afe0","target":"record","created_at":"2026-05-18T01:10:15Z","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":"3734cae818434557bb1de47617ed6119f20e8445ff915d6725d11d33e65075f2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-04-18T13:19:49Z","title_canon_sha256":"c2cf67669a1b709cca497ad01bbba72fbbbd55930b450256320c634a1a153332"},"schema_version":"1.0","source":{"id":"1504.04715","kind":"arxiv","version":2}},"canonical_sha256":"dd9a7738480efaeb632d8a96478527776e74012006c9c97ef3b945ba327bd285","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd9a7738480efaeb632d8a96478527776e74012006c9c97ef3b945ba327bd285","first_computed_at":"2026-05-18T01:10:15.210542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:15.210542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J5/hA+aFYISsU+Z6FDrcLOsUJVfYbBm4OzDlU7Yv0jUfCXp6FIcnWc1WysjltaTjpWH6nP7w/m4Rp7ouRC2QDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:15.211160Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.04715","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09938a837cde247d82156767b0637674f29a03d5562d2c2ab7d381546566afe0","sha256:c6795bbcf6946edef5c99b45e0c57bfe68a69b6093d1357b32868273ca2aa860"],"state_sha256":"b28deb6f21ee126fba4f04ac9594f2d8cef7c167e675968a438f6925e0965e87"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nXTLVCH2uIOh8J9o4wjfSTgbwUTkmaYOuGAEzRzM5+v/tercc6Dixk7/kr+dsPW47i0sicQGyL2iFImI4pERCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T07:13:12.760324Z","bundle_sha256":"3df91f96c8aa4313664678c60ec1800399bf710bee1916a6c8cb72edd4379371"}}