{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2UGU4WBBRVZEINV6W4CD2DGPMH","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":"35db5841f50f8bac1c7a7f2496cb94517965575f50ca1dcf6bc0d332e3144974","cross_cats_sorted":["cs.SY","math.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-07T19:46:48Z","title_canon_sha256":"7051d29d6d30347bbaf4ce64ab10901b6c8d8f7bb2f7867a579bc7dc06ac98a9"},"schema_version":"1.0","source":{"id":"2606.08803","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.08803","created_at":"2026-06-09T02:07:40Z"},{"alias_kind":"arxiv_version","alias_value":"2606.08803v1","created_at":"2026-06-09T02:07:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.08803","created_at":"2026-06-09T02:07:40Z"},{"alias_kind":"pith_short_12","alias_value":"2UGU4WBBRVZE","created_at":"2026-06-09T02:07:40Z"},{"alias_kind":"pith_short_16","alias_value":"2UGU4WBBRVZEINV6","created_at":"2026-06-09T02:07:40Z"},{"alias_kind":"pith_short_8","alias_value":"2UGU4WBB","created_at":"2026-06-09T02:07:40Z"}],"graph_snapshots":[{"event_id":"sha256:0c00bc18a926cac5306836be119399187f5454cf67d2c2867e6654ff43988bfd","target":"graph","created_at":"2026-06-09T02:07:40Z","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/2606.08803/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This work develops several constructive foundations for systems and control within Bishop-style constructive mathematics. For an engineer, the guiding principle is that an object claimed to exist, such as a trajectory, an optimal control law, a selector, or a viable solution, should come with finite data and an operation computing approximations to any prescribed precision. The style remains close to classical analysis, but existential statements are organized so that their computational content is visible. The paper begins with elementary geometric data in finite-dimensional Euclidean spaces:","authors_text":"Pavel Osinenko","cross_cats":["cs.SY","math.DS","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-07T19:46:48Z","title":"Some Essential Constructive Foundations for Systems and Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.08803","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:3ed65bd37ba25ec7d42fa6ba364a2a9441612ac621d86a4783625da422d904bf","target":"record","created_at":"2026-06-09T02:07:40Z","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":"35db5841f50f8bac1c7a7f2496cb94517965575f50ca1dcf6bc0d332e3144974","cross_cats_sorted":["cs.SY","math.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-07T19:46:48Z","title_canon_sha256":"7051d29d6d30347bbaf4ce64ab10901b6c8d8f7bb2f7867a579bc7dc06ac98a9"},"schema_version":"1.0","source":{"id":"2606.08803","kind":"arxiv","version":1}},"canonical_sha256":"d50d4e58218d724436beb7043d0ccf61d876ec6e9e707618c395945a6717d038","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d50d4e58218d724436beb7043d0ccf61d876ec6e9e707618c395945a6717d038","first_computed_at":"2026-06-09T02:07:40.396549Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T02:07:40.396549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OlQ5UcoqIqMWdl2RKzQpsbXL7EHHdy1rUWJnQcukUPK3ykmGdu9fahp9V/F5KY+ZZW4k3YZ9AG9F1JdPyQ5PBg==","signature_status":"signed_v1","signed_at":"2026-06-09T02:07:40.397350Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.08803","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ed65bd37ba25ec7d42fa6ba364a2a9441612ac621d86a4783625da422d904bf","sha256:0c00bc18a926cac5306836be119399187f5454cf67d2c2867e6654ff43988bfd"],"state_sha256":"172221e3092bf5cb657a253ca69974fd8a6f2abee489798432ca29d0e27802f1"}