{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:55D3FJFCTRXMX2E46SQIIGSX37","short_pith_number":"pith:55D3FJFC","canonical_record":{"source":{"id":"2607.03996","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-04T19:38:03Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"bef4beeb3778322873783a4cef56bf251662eb686c570f4848bbadcfaeba7158","abstract_canon_sha256":"e897a51c4c06d57ae8e9aff4b2286756059f138930067f90e244b098c1e90318"},"schema_version":"1.0"},"canonical_sha256":"ef47b2a4a29c6ecbe89cf4a0841a57dfeee1a55a8f340694720ebc54bac397bf","source":{"kind":"arxiv","id":"2607.03996","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.03996","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"arxiv_version","alias_value":"2607.03996v1","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.03996","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"pith_short_12","alias_value":"55D3FJFCTRXM","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"pith_short_16","alias_value":"55D3FJFCTRXMX2E4","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"pith_short_8","alias_value":"55D3FJFC","created_at":"2026-07-07T02:18:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:55D3FJFCTRXMX2E46SQIIGSX37","target":"record","payload":{"canonical_record":{"source":{"id":"2607.03996","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-04T19:38:03Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"bef4beeb3778322873783a4cef56bf251662eb686c570f4848bbadcfaeba7158","abstract_canon_sha256":"e897a51c4c06d57ae8e9aff4b2286756059f138930067f90e244b098c1e90318"},"schema_version":"1.0"},"canonical_sha256":"ef47b2a4a29c6ecbe89cf4a0841a57dfeee1a55a8f340694720ebc54bac397bf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T02:18:52.352051Z","signature_b64":"/bZkuoLT3Xape26zFMJnLnMqZTHWZHtgnHogdWn3hkgWTVcWiR6ssoTSf32ofrspaxQM3RWj0FRUZEHy5KOhAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef47b2a4a29c6ecbe89cf4a0841a57dfeee1a55a8f340694720ebc54bac397bf","last_reissued_at":"2026-07-07T02:18:52.351442Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T02:18:52.351442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.03996","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-07T02:18:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RAl3qCPD7890jb6rFjldieI5E9Cn0I8qX2sCh38V9RaatuB1aYjHwPQfxsBydjyVB2gu/P1XCJ4w17f6krmUAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T22:27:22.902679Z"},"content_sha256":"8da3d9d12e5b608d2355b7c79956e8326c216f0d44f6237cb92c4275af1b70b1","schema_version":"1.0","event_id":"sha256:8da3d9d12e5b608d2355b7c79956e8326c216f0d44f6237cb92c4275af1b70b1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:55D3FJFCTRXMX2E46SQIIGSX37","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Cole Comfort, Giovanni De Felice","submitted_at":"2026-07-04T19:38:03Z","abstract_excerpt":"Time-dependent processes are often described by machines with an internal state which is updated as time evolves. An external observer cannot see this state and learns about a process only through finite observations of its inputs and outputs, each of which imposes a constraint on the trajectories the process can exhibit. We introduce a semantic construction in which two stateful processes have the same behaviour when they have the same constraints, as determined by finite observations, independent of their internal state. The construction is defined over any preorder-enriched monoidal categor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.03996","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/2607.03996/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-07T02:18:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q5nV5+mO646HIAg5sQMRA5b77l9waTjl+oE7kV6vnvRH172B0lGhL5rig+yQExbybiy3VWU1wNd7FXod+36XCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T22:27:22.903523Z"},"content_sha256":"9b19a5008c072c6107673f464e563e598bf99d12385b02d8f166d8d985b824fa","schema_version":"1.0","event_id":"sha256:9b19a5008c072c6107673f464e563e598bf99d12385b02d8f166d8d985b824fa"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:55D3FJFCTRXMX2E46SQIIGSX37","target":"integrity","payload":{"note":"Identifier '10.1051/ita:2002009.pdf' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"URL: https://www.numdam.org/item/10.1051/ita:2002009.pdf, doi:10.1051/ ita:2002009","arxiv_id":"2607.03996","detector":"doi_compliance","evidence":{"doi":"10.1051/ita:2002009.pdf","arxiv_id":null,"ref_index":39,"raw_excerpt":"URL: https://www.numdam.org/item/10.1051/ita:2002009.pdf, doi:10.1051/ ita:2002009","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":39,"audited_at":"2026-07-11T22:35:37.790451Z","event_type":"pith.integrity.v1","detected_doi":"10.1051/ita:2002009.pdf","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"be2a96d1ac2f8629b551781f489a41769c2380e2b8480f9142f75732bf02dc79","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12322,"payload_sha256":"66ad178a2f63c2d19d0e3151b0a20d50709fe46cec3aa5357ab8ba1be020a787","signature_b64":"Vr8nGlh3v3JuNEpWeNg6max3zGNBq6vv/MwSsRjcoXLc14TrFpOs0aoZEMu3cAeJq6rfPjnQxtumOLah4jpvDw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-11T22:36:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lqa7ihbgMuHOYCEg2HSNu5jM0u4RZzTjxX8ByIhTIobYdIjtEExldKJSmUDSOBCRgyeovvVD+1xPUsOx0igDCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T22:27:22.908174Z"},"content_sha256":"1154831bd35e590c19d01cfe370c9f6a7e1c8dcc62c2c0e154fe912e4269a620","schema_version":"1.0","event_id":"sha256:1154831bd35e590c19d01cfe370c9f6a7e1c8dcc62c2c0e154fe912e4269a620"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/bundle.json","state_url":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/55D3FJFCTRXMX2E46SQIIGSX37/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-04T22:27:22Z","links":{"resolver":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37","bundle":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/bundle.json","state":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/state.json","well_known_bundle":"https://pith.science/.well-known/pith/55D3FJFCTRXMX2E46SQIIGSX37/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:55D3FJFCTRXMX2E46SQIIGSX37","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e897a51c4c06d57ae8e9aff4b2286756059f138930067f90e244b098c1e90318","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-04T19:38:03Z","title_canon_sha256":"bef4beeb3778322873783a4cef56bf251662eb686c570f4848bbadcfaeba7158"},"schema_version":"1.0","source":{"id":"2607.03996","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.03996","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"arxiv_version","alias_value":"2607.03996v1","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.03996","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"pith_short_12","alias_value":"55D3FJFCTRXM","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"pith_short_16","alias_value":"55D3FJFCTRXMX2E4","created_at":"2026-07-07T02:18:52Z"},{"alias_kind":"pith_short_8","alias_value":"55D3FJFC","created_at":"2026-07-07T02:18:52Z"}],"graph_snapshots":[{"event_id":"sha256:9b19a5008c072c6107673f464e563e598bf99d12385b02d8f166d8d985b824fa","target":"graph","created_at":"2026-07-07T02:18:52Z","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/2607.03996/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Time-dependent processes are often described by machines with an internal state which is updated as time evolves. An external observer cannot see this state and learns about a process only through finite observations of its inputs and outputs, each of which imposes a constraint on the trajectories the process can exhibit. We introduce a semantic construction in which two stateful processes have the same behaviour when they have the same constraints, as determined by finite observations, independent of their internal state. The construction is defined over any preorder-enriched monoidal categor","authors_text":"Cole Comfort, Giovanni De Felice","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-04T19:38:03Z","title":"Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.03996","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:8da3d9d12e5b608d2355b7c79956e8326c216f0d44f6237cb92c4275af1b70b1","target":"record","created_at":"2026-07-07T02:18:52Z","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":"e897a51c4c06d57ae8e9aff4b2286756059f138930067f90e244b098c1e90318","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-04T19:38:03Z","title_canon_sha256":"bef4beeb3778322873783a4cef56bf251662eb686c570f4848bbadcfaeba7158"},"schema_version":"1.0","source":{"id":"2607.03996","kind":"arxiv","version":1}},"canonical_sha256":"ef47b2a4a29c6ecbe89cf4a0841a57dfeee1a55a8f340694720ebc54bac397bf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ef47b2a4a29c6ecbe89cf4a0841a57dfeee1a55a8f340694720ebc54bac397bf","first_computed_at":"2026-07-07T02:18:52.351442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T02:18:52.351442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/bZkuoLT3Xape26zFMJnLnMqZTHWZHtgnHogdWn3hkgWTVcWiR6ssoTSf32ofrspaxQM3RWj0FRUZEHy5KOhAw==","signature_status":"signed_v1","signed_at":"2026-07-07T02:18:52.352051Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.03996","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8da3d9d12e5b608d2355b7c79956e8326c216f0d44f6237cb92c4275af1b70b1","sha256:9b19a5008c072c6107673f464e563e598bf99d12385b02d8f166d8d985b824fa","sha256:1154831bd35e590c19d01cfe370c9f6a7e1c8dcc62c2c0e154fe912e4269a620"],"state_sha256":"e99090cc55c6ca3223ee60892b23cd3b7c44ae3ff3df0c70a5418d34439b5821"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TDdfZo3xu10D7j7CwqXfqz2E7OQxhYiEh/TaWksUFNZwN++rZRv6MAZMK0l4XX6foO+g/sUEOjJDh5de215yAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T22:27:22.911510Z","bundle_sha256":"3e616576af7b04059fbf59a89fc5617eb655a988c05097a41a36919b3880b02d"}}