{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:55D3FJFCTRXMX2E46SQIIGSX37","short_pith_number":"pith:55D3FJFC","schema_version":"1.0","canonical_sha256":"ef47b2a4a29c6ecbe89cf4a0841a57dfeee1a55a8f340694720ebc54bac397bf","source":{"kind":"arxiv","id":"2607.03996","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.03996","created_at":"2026-07-07T02:18:52.351553+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.03996v1","created_at":"2026-07-07T02:18:52.351553+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.03996","created_at":"2026-07-07T02:18:52.351553+00:00"},{"alias_kind":"pith_short_12","alias_value":"55D3FJFCTRXM","created_at":"2026-07-07T02:18:52.351553+00:00"},{"alias_kind":"pith_short_16","alias_value":"55D3FJFCTRXMX2E4","created_at":"2026-07-07T02:18:52.351553+00:00"},{"alias_kind":"pith_short_8","alias_value":"55D3FJFC","created_at":"2026-07-07T02:18:52.351553+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37","json":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37.json","graph_json":"https://pith.science/api/pith-number/55D3FJFCTRXMX2E46SQIIGSX37/graph.json","events_json":"https://pith.science/api/pith-number/55D3FJFCTRXMX2E46SQIIGSX37/events.json","paper":"https://pith.science/paper/55D3FJFC"},"agent_actions":{"view_html":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37","download_json":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37.json","view_paper":"https://pith.science/paper/55D3FJFC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.03996&json=true","fetch_graph":"https://pith.science/api/pith-number/55D3FJFCTRXMX2E46SQIIGSX37/graph.json","fetch_events":"https://pith.science/api/pith-number/55D3FJFCTRXMX2E46SQIIGSX37/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/action/timestamp_anchor","attest_storage":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/action/storage_attestation","attest_author":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/action/author_attestation","sign_citation":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/action/citation_signature","submit_replication":"https://pith.science/pith/55D3FJFCTRXMX2E46SQIIGSX37/action/replication_record"}},"created_at":"2026-07-07T02:18:52.351553+00:00","updated_at":"2026-07-07T02:18:52.351553+00:00"}