{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:EF7R7DGBDKOZ7ZYXDSFVWDORZJ","short_pith_number":"pith:EF7R7DGB","schema_version":"1.0","canonical_sha256":"217f1f8cc11a9d9fe7171c8b5b0dd1ca52fb1052d0c42c81c28195d51c4a511e","source":{"kind":"arxiv","id":"2605.18450","version":1},"attestation_state":"computed","paper":{"title":"Continuous Algebras with Hypotheses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Damien Pous (PLUME, Jana Wagemaker, LIP), Lukas Mulder","submitted_at":"2026-05-18T14:18:24Z","abstract_excerpt":"In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the presence of additional assumptions, called hypotheses. We propose a unifying framework encompassing all the previous structures, as well as regular tree languages. This is done by considering algebras ordered by complete lattices, where least fixpoints can be computed. We provide a canonical model consisting of closed languages, which we prove sound and com"},"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":"2605.18450","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-18T14:18:24Z","cross_cats_sorted":[],"title_canon_sha256":"478aefea117649abeb279b0184e67994819878e9bf1fd439abc63309968687ce","abstract_canon_sha256":"193426028a13fecf62b9779d9348e4e4c25d94dd57f877b8ddb055119f1b5a43"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:06:01.671017Z","signature_b64":"foqLTPUDHlJNuMhpHQVno+e4+DsbAyh1AesHYFhGc0IeubBWsGU0VrG8/siTCZdKnXz92bqHqNjc5ieRC7v2Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"217f1f8cc11a9d9fe7171c8b5b0dd1ca52fb1052d0c42c81c28195d51c4a511e","last_reissued_at":"2026-05-20T00:06:01.670252Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:06:01.670252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Continuous Algebras with Hypotheses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Damien Pous (PLUME, Jana Wagemaker, LIP), Lukas Mulder","submitted_at":"2026-05-18T14:18:24Z","abstract_excerpt":"In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the presence of additional assumptions, called hypotheses. We propose a unifying framework encompassing all the previous structures, as well as regular tree languages. This is done by considering algebras ordered by complete lattices, where least fixpoints can be computed. We provide a canonical model consisting of closed languages, which we prove sound and com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.18450","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/2605.18450/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":"2605.18450","created_at":"2026-05-20T00:06:01.670384+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.18450v1","created_at":"2026-05-20T00:06:01.670384+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.18450","created_at":"2026-05-20T00:06:01.670384+00:00"},{"alias_kind":"pith_short_12","alias_value":"EF7R7DGBDKOZ","created_at":"2026-05-20T00:06:01.670384+00:00"},{"alias_kind":"pith_short_16","alias_value":"EF7R7DGBDKOZ7ZYX","created_at":"2026-05-20T00:06:01.670384+00:00"},{"alias_kind":"pith_short_8","alias_value":"EF7R7DGB","created_at":"2026-05-20T00:06:01.670384+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/EF7R7DGBDKOZ7ZYXDSFVWDORZJ","json":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ.json","graph_json":"https://pith.science/api/pith-number/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/graph.json","events_json":"https://pith.science/api/pith-number/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/events.json","paper":"https://pith.science/paper/EF7R7DGB"},"agent_actions":{"view_html":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ","download_json":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ.json","view_paper":"https://pith.science/paper/EF7R7DGB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.18450&json=true","fetch_graph":"https://pith.science/api/pith-number/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/graph.json","fetch_events":"https://pith.science/api/pith-number/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/action/storage_attestation","attest_author":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/action/author_attestation","sign_citation":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/action/citation_signature","submit_replication":"https://pith.science/pith/EF7R7DGBDKOZ7ZYXDSFVWDORZJ/action/replication_record"}},"created_at":"2026-05-20T00:06:01.670384+00:00","updated_at":"2026-05-20T00:06:01.670384+00:00"}