{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KFEP5DAGBVDRM7LJONOKF62JA4","short_pith_number":"pith:KFEP5DAG","canonical_record":{"source":{"id":"2606.03872","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-06-02T16:42:29Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"207408377f014cd04ee63a1a558327e10b659452bdbdc5099b1968550d5e41db","abstract_canon_sha256":"b41b407c53816e66b63f6971963417849c6d8ef6c4c6d64dae92ea08dabe0313"},"schema_version":"1.0"},"canonical_sha256":"5148fe8c060d47167d69735ca2fb49070524e200ca55922f415b4e5e69736639","source":{"kind":"arxiv","id":"2606.03872","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.03872","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.03872v1","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.03872","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_12","alias_value":"KFEP5DAGBVDR","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_16","alias_value":"KFEP5DAGBVDRM7LJ","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_8","alias_value":"KFEP5DAG","created_at":"2026-06-03T02:06:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KFEP5DAGBVDRM7LJONOKF62JA4","target":"record","payload":{"canonical_record":{"source":{"id":"2606.03872","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-06-02T16:42:29Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"207408377f014cd04ee63a1a558327e10b659452bdbdc5099b1968550d5e41db","abstract_canon_sha256":"b41b407c53816e66b63f6971963417849c6d8ef6c4c6d64dae92ea08dabe0313"},"schema_version":"1.0"},"canonical_sha256":"5148fe8c060d47167d69735ca2fb49070524e200ca55922f415b4e5e69736639","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T02:06:04.933802Z","signature_b64":"fVSp+dclHPFqVdvUbLNkx0jt/X6maBNt0YbKwxf3oUA6wwyDPM8i0VcVqHXoAg1IKe4LCrcn2766GW2iyYOSAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5148fe8c060d47167d69735ca2fb49070524e200ca55922f415b4e5e69736639","last_reissued_at":"2026-06-03T02:06:04.933486Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T02:06:04.933486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.03872","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-03T02:06:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gu95rsoyHBb8YKUPhHFT5dOzZlmcoPjAvtTs4nb705s8cIaSBAp6Nm/M9Z+9kY/npUsk+t2JoJ8kO8ttrbQgDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:29:40.235796Z"},"content_sha256":"2feb4ae1f72b4305fa14ced7d624ae90c97a30f7d263ff5540c093329ef1d7b5","schema_version":"1.0","event_id":"sha256:2feb4ae1f72b4305fa14ced7d624ae90c97a30f7d263ff5540c093329ef1d7b5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KFEP5DAGBVDRM7LJONOKF62JA4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Ilya Kovalenko, Jonghan Lim, R\\^omulo Meira-G\\'oes, Shih-Jie Shih","submitted_at":"2026-06-02T16:42:29Z","abstract_excerpt":"Supervisory control of discrete-event systems provides formal guarantees of correctness with respect to a plant model and specification. However, these guarantees heavily rely on the plant model, which could deviate from nominal behavior due to modeling errors or faults. Recent notions of discrete robustness model deviations as a set of additional transitions that are added to the plant. The discrete robustness is defined as all sets of extra transitions for which the supervised system still guarantees a desired specification. However, this notion suffers from scalability due to the large solu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03872","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.03872/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-03T02:06:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XtzWt7x0DbmwpcusJfp6QZ9s3OB/rOq1ELr00FooV2YYPEN+1hfYvnagS9T6w9pn7HRaiB1tJ3Ok2vVK4pDFCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:29:40.236546Z"},"content_sha256":"97879dca689665062f7d3190ed61a749fcc9dc32aee34f7934aa0d3d239da3ad","schema_version":"1.0","event_id":"sha256:97879dca689665062f7d3190ed61a749fcc9dc32aee34f7934aa0d3d239da3ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KFEP5DAGBVDRM7LJONOKF62JA4/bundle.json","state_url":"https://pith.science/pith/KFEP5DAGBVDRM7LJONOKF62JA4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KFEP5DAGBVDRM7LJONOKF62JA4/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-06-05T20:29:40Z","links":{"resolver":"https://pith.science/pith/KFEP5DAGBVDRM7LJONOKF62JA4","bundle":"https://pith.science/pith/KFEP5DAGBVDRM7LJONOKF62JA4/bundle.json","state":"https://pith.science/pith/KFEP5DAGBVDRM7LJONOKF62JA4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KFEP5DAGBVDRM7LJONOKF62JA4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KFEP5DAGBVDRM7LJONOKF62JA4","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":"b41b407c53816e66b63f6971963417849c6d8ef6c4c6d64dae92ea08dabe0313","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-06-02T16:42:29Z","title_canon_sha256":"207408377f014cd04ee63a1a558327e10b659452bdbdc5099b1968550d5e41db"},"schema_version":"1.0","source":{"id":"2606.03872","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.03872","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.03872v1","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.03872","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_12","alias_value":"KFEP5DAGBVDR","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_16","alias_value":"KFEP5DAGBVDRM7LJ","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_8","alias_value":"KFEP5DAG","created_at":"2026-06-03T02:06:04Z"}],"graph_snapshots":[{"event_id":"sha256:97879dca689665062f7d3190ed61a749fcc9dc32aee34f7934aa0d3d239da3ad","target":"graph","created_at":"2026-06-03T02:06:04Z","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.03872/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Supervisory control of discrete-event systems provides formal guarantees of correctness with respect to a plant model and specification. However, these guarantees heavily rely on the plant model, which could deviate from nominal behavior due to modeling errors or faults. Recent notions of discrete robustness model deviations as a set of additional transitions that are added to the plant. The discrete robustness is defined as all sets of extra transitions for which the supervised system still guarantees a desired specification. However, this notion suffers from scalability due to the large solu","authors_text":"Ilya Kovalenko, Jonghan Lim, R\\^omulo Meira-G\\'oes, Shih-Jie Shih","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03872","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:2feb4ae1f72b4305fa14ced7d624ae90c97a30f7d263ff5540c093329ef1d7b5","target":"record","created_at":"2026-06-03T02:06:04Z","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":"b41b407c53816e66b63f6971963417849c6d8ef6c4c6d64dae92ea08dabe0313","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-06-02T16:42:29Z","title_canon_sha256":"207408377f014cd04ee63a1a558327e10b659452bdbdc5099b1968550d5e41db"},"schema_version":"1.0","source":{"id":"2606.03872","kind":"arxiv","version":1}},"canonical_sha256":"5148fe8c060d47167d69735ca2fb49070524e200ca55922f415b4e5e69736639","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5148fe8c060d47167d69735ca2fb49070524e200ca55922f415b4e5e69736639","first_computed_at":"2026-06-03T02:06:04.933486Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T02:06:04.933486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fVSp+dclHPFqVdvUbLNkx0jt/X6maBNt0YbKwxf3oUA6wwyDPM8i0VcVqHXoAg1IKe4LCrcn2766GW2iyYOSAQ==","signature_status":"signed_v1","signed_at":"2026-06-03T02:06:04.933802Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.03872","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2feb4ae1f72b4305fa14ced7d624ae90c97a30f7d263ff5540c093329ef1d7b5","sha256:97879dca689665062f7d3190ed61a749fcc9dc32aee34f7934aa0d3d239da3ad"],"state_sha256":"0a513479fceccd7787521c06ce30797044bfd762ed66153de5bb998dd312cbcc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u/55Y8L+C18NeTgfE7KBdg1Xf6Ys1NKTiRLia98t8XgSGB708wrxMPh7EuvdtntakkCRqOasecIaqyBxKew3Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T20:29:40.239966Z","bundle_sha256":"482c91fbaa8aaa41f79ec64f751fbbc963445f6df7d4ac2536bbfa9ba4d6ac0c"}}