{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QERZJDRIBAXUJHH7LVNGQCTXKX","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":"5168552f62fb5c4a4b0f7842b5c378f2bd22e78a51f6707a2b5723652a5e540a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-18T12:55:40Z","title_canon_sha256":"24d66edae42993869d4f23b96d1a54dd910d0e18d16b225d3502aad13f3e1ffe"},"schema_version":"1.0","source":{"id":"2605.18342","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.18342","created_at":"2026-05-20T00:05:56Z"},{"alias_kind":"arxiv_version","alias_value":"2605.18342v1","created_at":"2026-05-20T00:05:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.18342","created_at":"2026-05-20T00:05:56Z"},{"alias_kind":"pith_short_12","alias_value":"QERZJDRIBAXU","created_at":"2026-05-20T00:05:56Z"},{"alias_kind":"pith_short_16","alias_value":"QERZJDRIBAXUJHH7","created_at":"2026-05-20T00:05:56Z"},{"alias_kind":"pith_short_8","alias_value":"QERZJDRI","created_at":"2026-05-20T00:05:56Z"}],"graph_snapshots":[{"event_id":"sha256:295ad35842dce981d96507d4053693fedbb98e217855b84f56f81ff89cad2342","target":"graph","created_at":"2026-05-20T00:05:56Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We introduce a formal notion of algorithm as a finite directed graph whose edges are labelled by partial maps over an abstract data structure. This yields a precise notion of implementation and situates algorithms as abstract partial specifications of computational behaviour."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That models of computation can be uniformly described as monoid actions on a configuration space and that programs are dynamical systems constrained by this action, allowing a correspondence between computational steps and labelled graph transitions that preserves induced transformations on data representations."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Algorithms are defined as finite directed graphs with edges labelled by partial maps on abstract data structures, with programs implementing them via step correspondences that preserve data transformations in monoid-action models."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Algorithms are defined as finite directed graphs whose edges are labelled by partial maps over an abstract data structure."}],"snapshot_sha256":"28f1ab8b988ac21540e1e769a7fd5b23487cf5d18f4dec4c2dbbf03eb53e1dcb"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-20T00:01:20.421911Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T23:40:58.068350Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T23:33:35.162306Z","status":"skipped","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T23:21:58.826338Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.18342/integrity.json","findings":[],"snapshot_sha256":"ef12570b3b3c2ab1c61496d4171c26a40f2e1f5eaba5bda2b43bf78c8cb7b4c1","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This work continues the development of an intensional approach to computability initiated in previous work, in which programs and computations, rather than functions, constitute the primary objects of study. In this setting, models of computation are described as monoid actions on a configuration space, and programs as dynamical systems constrained by this action. Within this framework, we introduce a formal notion of algorithm as a finite directed graph whose edges are labelled by partial maps over an abstract data structure. This definition separates control from data, representing the forme","authors_text":"JFLI), Thomas Seiller (CNRS","cross_cats":[],"headline":"Algorithms are defined as finite directed graphs whose edges are labelled by partial maps over an abstract data structure.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-18T12:55:40Z","title":"Mathematical Informatics: Algorithms"},"references":{"count":25,"internal_anchors":0,"resolved_work":25,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Polity Press (2022), https://books.google.fr/books?id=sIVdzgEACAAJ","work_id":"e5984e2f-44e3-44b0-b930-ea15578a7f36","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Anh-Ton Le, H.L., Valarcher, P.: Completeness of Seiller ’s Abstract Machine (2025), https://hal.u-pec.fr/hal-05137612 , preprint","work_id":"992a24f8-0c13-4d2d-bf03-b8f4567b8518","year":2025},{"cited_arxiv_id":"","doi":"10.1007/bf01201998","is_internal_anchor":false,"ref_index":3,"title":"Computational Complexity 2 (1992), https://doi.org/10.1007/BF01201998","work_id":"a9f84e8f-5e5a-4c14-8da3-e688ef221750","year":1992},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Bulletin of the European Association for Theoretical Computer Science (2003)","work_id":"1788b944-1770-48d1-86d3-75dd0097e120","year":2003},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Blass, A., Dershowitz, N., Gurevich, Y.: When are two algo rithms the same? CoRR abs/0811.0811 (2008), http://arxiv.org/abs/0811.0811","work_id":"fecd590c-0f9c-4546-831a-87ab6046ca02","year":2008}],"snapshot_sha256":"eda05253232013f925164c379214a7ee998cc555bbda6ea6cb835866f71d41ce"},"source":{"id":"2605.18342","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T23:35:58.289370Z","id":"f790d6d3-dacc-46c8-9f9b-dbffe4a7242b","model_set":{"reader":"grok-4.3"},"one_line_summary":"Algorithms are defined as finite directed graphs with edges labelled by partial maps on abstract data structures, with programs implementing them via step correspondences that preserve data transformations in monoid-action models.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Algorithms are defined as finite directed graphs whose edges are labelled by partial maps over an abstract data structure.","strongest_claim":"We introduce a formal notion of algorithm as a finite directed graph whose edges are labelled by partial maps over an abstract data structure. This yields a precise notion of implementation and situates algorithms as abstract partial specifications of computational behaviour.","weakest_assumption":"That models of computation can be uniformly described as monoid actions on a configuration space and that programs are dynamical systems constrained by this action, allowing a correspondence between computational steps and labelled graph transitions that preserves induced transformations on data representations."}},"verdict_id":"f790d6d3-dacc-46c8-9f9b-dbffe4a7242b"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:cda5037af4bfaf672d5d39a636170d07ee8ce7371b19c99d52e4697223526311","target":"record","created_at":"2026-05-20T00:05:56Z","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":"5168552f62fb5c4a4b0f7842b5c378f2bd22e78a51f6707a2b5723652a5e540a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-18T12:55:40Z","title_canon_sha256":"24d66edae42993869d4f23b96d1a54dd910d0e18d16b225d3502aad13f3e1ffe"},"schema_version":"1.0","source":{"id":"2605.18342","kind":"arxiv","version":1}},"canonical_sha256":"8123948e28082f449cff5d5a680a7755c7ab99f091379a18f4f76da891448b21","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8123948e28082f449cff5d5a680a7755c7ab99f091379a18f4f76da891448b21","first_computed_at":"2026-05-20T00:05:56.020880Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:56.020880Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/LmCqlLKaJEqT1Eu+ZDmsdsryB/H4fWljCa1UzPqFmHY/8QJ3U/eeSeLP/NivwkTge2NzCJfMH+BrYsx+fzsAg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:56.021417Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.18342","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cda5037af4bfaf672d5d39a636170d07ee8ce7371b19c99d52e4697223526311","sha256:295ad35842dce981d96507d4053693fedbb98e217855b84f56f81ff89cad2342"],"state_sha256":"168896b5534049decff7c96ab0ee3824db4a9766fc18119179d79f2a14363942"}