{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:EVWILRD6MTDJZNK6CMVTVNNH2J","short_pith_number":"pith:EVWILRD6","schema_version":"1.0","canonical_sha256":"256c85c47e64c69cb55e132b3ab5a7d277420b01c7915e5a18ca6cf2188dd6eb","source":{"kind":"arxiv","id":"2607.00034","version":1},"attestation_state":"computed","paper":{"title":"Bayesian updates from coalgebraic determinisation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.FL","cs.SY","eess.SY","math.PR"],"primary_cat":"cs.LO","authors_text":"Manuel Baltieri, Nathaniel Virgo","submitted_at":"2026-06-24T11:49:30Z","abstract_excerpt":"The powerset construction is the classical determinisation procedure for nondeterministic finite automata. In the coalgebraic setting, this construction has been generalised to structured coalgebras, which are coalgebras equipped with extra data. For stochastic Moore machines over the distribution monad, a type of structured coalgebra, the determinisation construction induces a semantics assigning to each finite input word a distribution on the current output. This semantics is appropriate when only the current output matters, but it is too coarse for settings in which intermediate observation"},"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.00034","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-24T11:49:30Z","cross_cats_sorted":["cs.FL","cs.SY","eess.SY","math.PR"],"title_canon_sha256":"307087af66acbe5a49debf9575a5872947aa21b8e0e24301905012ea805d328b","abstract_canon_sha256":"6c3535e3c8ab4799d34bab6ed8499062ad1b234f7f87541a3b362d44938c1d24"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-02T00:18:31.998485Z","signature_b64":"VEvxY0IHscb8n/7jyOSISxKDxW3snnyO1R4Nn3bug7wMorczKUyJm5POgQLE1pEnXuU3dWFXSGRjscJ38MFCAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"256c85c47e64c69cb55e132b3ab5a7d277420b01c7915e5a18ca6cf2188dd6eb","last_reissued_at":"2026-07-02T00:18:31.997940Z","signature_status":"signed_v1","first_computed_at":"2026-07-02T00:18:31.997940Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bayesian updates from coalgebraic determinisation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.FL","cs.SY","eess.SY","math.PR"],"primary_cat":"cs.LO","authors_text":"Manuel Baltieri, Nathaniel Virgo","submitted_at":"2026-06-24T11:49:30Z","abstract_excerpt":"The powerset construction is the classical determinisation procedure for nondeterministic finite automata. In the coalgebraic setting, this construction has been generalised to structured coalgebras, which are coalgebras equipped with extra data. For stochastic Moore machines over the distribution monad, a type of structured coalgebra, the determinisation construction induces a semantics assigning to each finite input word a distribution on the current output. This semantics is appropriate when only the current output matters, but it is too coarse for settings in which intermediate observation"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.00034","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.00034/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.00034","created_at":"2026-07-02T00:18:31.998009+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.00034v1","created_at":"2026-07-02T00:18:31.998009+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.00034","created_at":"2026-07-02T00:18:31.998009+00:00"},{"alias_kind":"pith_short_12","alias_value":"EVWILRD6MTDJ","created_at":"2026-07-02T00:18:31.998009+00:00"},{"alias_kind":"pith_short_16","alias_value":"EVWILRD6MTDJZNK6","created_at":"2026-07-02T00:18:31.998009+00:00"},{"alias_kind":"pith_short_8","alias_value":"EVWILRD6","created_at":"2026-07-02T00:18:31.998009+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/EVWILRD6MTDJZNK6CMVTVNNH2J","json":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J.json","graph_json":"https://pith.science/api/pith-number/EVWILRD6MTDJZNK6CMVTVNNH2J/graph.json","events_json":"https://pith.science/api/pith-number/EVWILRD6MTDJZNK6CMVTVNNH2J/events.json","paper":"https://pith.science/paper/EVWILRD6"},"agent_actions":{"view_html":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J","download_json":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J.json","view_paper":"https://pith.science/paper/EVWILRD6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.00034&json=true","fetch_graph":"https://pith.science/api/pith-number/EVWILRD6MTDJZNK6CMVTVNNH2J/graph.json","fetch_events":"https://pith.science/api/pith-number/EVWILRD6MTDJZNK6CMVTVNNH2J/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J/action/storage_attestation","attest_author":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J/action/author_attestation","sign_citation":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J/action/citation_signature","submit_replication":"https://pith.science/pith/EVWILRD6MTDJZNK6CMVTVNNH2J/action/replication_record"}},"created_at":"2026-07-02T00:18:31.998009+00:00","updated_at":"2026-07-02T00:18:31.998009+00:00"}