{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:W36J7RO26COWURPWUXXIJXXRGP","short_pith_number":"pith:W36J7RO2","canonical_record":{"source":{"id":"2605.04222","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-05T19:05:46Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"541e96a690a8a1a5ce9db7aea481d47ce8768a3227522cda46393c9fd3e0a0b5","abstract_canon_sha256":"f2cf6a617e8b390071691d8d2147478f650ab7bc8856b785796fdaf328b8aa67"},"schema_version":"1.0"},"canonical_sha256":"b6fc9fc5daf09d6a45f6a5ee84def133dc2447c64b8960856d56a6d7d463b602","source":{"kind":"arxiv","id":"2605.04222","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.04222","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.04222v2","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.04222","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"W36J7RO26COW","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"pith_short_16","alias_value":"W36J7RO26COWURPW","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"pith_short_8","alias_value":"W36J7RO2","created_at":"2026-06-08T01:04:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:W36J7RO26COWURPWUXXIJXXRGP","target":"record","payload":{"canonical_record":{"source":{"id":"2605.04222","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-05T19:05:46Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"541e96a690a8a1a5ce9db7aea481d47ce8768a3227522cda46393c9fd3e0a0b5","abstract_canon_sha256":"f2cf6a617e8b390071691d8d2147478f650ab7bc8856b785796fdaf328b8aa67"},"schema_version":"1.0"},"canonical_sha256":"b6fc9fc5daf09d6a45f6a5ee84def133dc2447c64b8960856d56a6d7d463b602","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:04:06.593898Z","signature_b64":"BrNhX8szBhCksgA05rayA+0kY2zZiDiUh54v9oGOnckw6W8X7W/10wLzVFh4sGeLq98LDNxkYrsNtZeBHi3OAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6fc9fc5daf09d6a45f6a5ee84def133dc2447c64b8960856d56a6d7d463b602","last_reissued_at":"2026-06-08T01:04:06.592782Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:04:06.592782Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.04222","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-08T01:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s3nHFFYeQjVa4Ka1MSEq+KMlxxp4qwGA/cnBUeNM2CrmrfvEklNy5k0/lmh73JS3mQWJZ5l5tFt3DIGfhU78Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T07:04:07.627863Z"},"content_sha256":"178ee217ff522f11e5d45c9a1374b07e29dd863c0c6835b397846f0fee475727","schema_version":"1.0","event_id":"sha256:178ee217ff522f11e5d45c9a1374b07e29dd863c0c6835b397846f0fee475727"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:W36J7RO26COWURPWUXXIJXXRGP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"A heterogeneous contract framework enforces safety by invariance at the continuous layer and liveness by refinement at the discrete layer for layered control.","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Adnane Saoud, Alessio Iovine, Bart Besselink, Guillaume Sandou, Yoshinari Takayama","submitted_at":"2026-05-05T19:05:46Z","abstract_excerpt":"Real-world control systems must achieve long-horizon objectives (liveness) while respecting continuous-time safety constraints, a combination that motivates hierarchical layered control architectures (LCAs). Existing LCA research, however, lacks (i) a uniform specification language across discrete planning and continuous execution, (ii) formal guarantees that specifications are preserved when interconnecting subsystems at heterogeneous time scales, and (iii) compositional separation between layers, owing to reliance on naive input-filtering laws. This paper addresses all three gaps by importin"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"safety is enforced by invariance at the continuous-time layer, while liveness is achieved through refinement at the discrete-time layer, with inter-layer coordination formalized via vertical refinement and timing-compatibility conditions","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the vertical refinement and timing-compatibility conditions can be satisfied when interconnecting an MPC planner, ISS low-level controller, and reference-governor bridge without introducing new safety violations or performance loss in the target system.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A heterogeneous assume-guarantee contract framework for layered control architectures enforces safety by invariance at continuous-time layers and liveness by refinement at discrete-time layers, with vertical refinement and timing conditions, instantiated using MPC, ISS control, and a reference-gover","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A heterogeneous contract framework enforces safety by invariance at the continuous layer and liveness by refinement at the discrete layer for layered control.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"43e27c13044318aeffa89d15af43ff539736738c137491c7130b48e2cd4337cb"},"source":{"id":"2605.04222","kind":"arxiv","version":2},"verdict":{"id":"0ff59376-a546-4319-9635-633e3b8f2d45","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-08T18:22:58.075753Z","strongest_claim":"safety is enforced by invariance at the continuous-time layer, while liveness is achieved through refinement at the discrete-time layer, with inter-layer coordination formalized via vertical refinement and timing-compatibility conditions","one_line_summary":"A heterogeneous assume-guarantee contract framework for layered control architectures enforces safety by invariance at continuous-time layers and liveness by refinement at discrete-time layers, with vertical refinement and timing conditions, instantiated using MPC, ISS control, and a reference-gover","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the vertical refinement and timing-compatibility conditions can be satisfied when interconnecting an MPC planner, ISS low-level controller, and reference-governor bridge without introducing new safety violations or performance loss in the target system.","pith_extraction_headline":"A heterogeneous contract framework enforces safety by invariance at the continuous layer and liveness by refinement at the discrete layer for layered control."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.04222/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-20T12:36:20.493557Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T23:31:21.051700Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T14:41:54.139469Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"201865342b98be01743cc2211a64c73a1e9e9d31dc6096dec577bb48acb66696"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":3,"snapshot_sha256":"46fb3285ae62bad1a439304e77f7fdce38fb28fb69e6d52ca2c980ceddd388d2"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"0ff59376-a546-4319-9635-633e3b8f2d45"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-08T01:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0zWNZesGdgdtoSaSG054d+pAwVyMtUmpUJVZSQFVbIwf9rPbV4QlEAwAXMw1CrBCVA7x4wfnD30qeGkfMYGHAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T07:04:07.628907Z"},"content_sha256":"1384672f86a4a55aeb393688fb4cb337df46f431fce08343add3a1effe9d79fa","schema_version":"1.0","event_id":"sha256:1384672f86a4a55aeb393688fb4cb337df46f431fce08343add3a1effe9d79fa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W36J7RO26COWURPWUXXIJXXRGP/bundle.json","state_url":"https://pith.science/pith/W36J7RO26COWURPWUXXIJXXRGP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W36J7RO26COWURPWUXXIJXXRGP/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-09T07:04:07Z","links":{"resolver":"https://pith.science/pith/W36J7RO26COWURPWUXXIJXXRGP","bundle":"https://pith.science/pith/W36J7RO26COWURPWUXXIJXXRGP/bundle.json","state":"https://pith.science/pith/W36J7RO26COWURPWUXXIJXXRGP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W36J7RO26COWURPWUXXIJXXRGP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:W36J7RO26COWURPWUXXIJXXRGP","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":"f2cf6a617e8b390071691d8d2147478f650ab7bc8856b785796fdaf328b8aa67","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-05T19:05:46Z","title_canon_sha256":"541e96a690a8a1a5ce9db7aea481d47ce8768a3227522cda46393c9fd3e0a0b5"},"schema_version":"1.0","source":{"id":"2605.04222","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.04222","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.04222v2","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.04222","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"W36J7RO26COW","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"pith_short_16","alias_value":"W36J7RO26COWURPW","created_at":"2026-06-08T01:04:06Z"},{"alias_kind":"pith_short_8","alias_value":"W36J7RO2","created_at":"2026-06-08T01:04:06Z"}],"graph_snapshots":[{"event_id":"sha256:1384672f86a4a55aeb393688fb4cb337df46f431fce08343add3a1effe9d79fa","target":"graph","created_at":"2026-06-08T01:04:06Z","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":"safety is enforced by invariance at the continuous-time layer, while liveness is achieved through refinement at the discrete-time layer, with inter-layer coordination formalized via vertical refinement and timing-compatibility conditions"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the vertical refinement and timing-compatibility conditions can be satisfied when interconnecting an MPC planner, ISS low-level controller, and reference-governor bridge without introducing new safety violations or performance loss in the target system."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A heterogeneous assume-guarantee contract framework for layered control architectures enforces safety by invariance at continuous-time layers and liveness by refinement at discrete-time layers, with vertical refinement and timing conditions, instantiated using MPC, ISS control, and a reference-gover"},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A heterogeneous contract framework enforces safety by invariance at the continuous layer and liveness by refinement at the discrete layer for layered control."}],"snapshot_sha256":"43e27c13044318aeffa89d15af43ff539736738c137491c7130b48e2cd4337cb"},"formal_canon":{"evidence_count":3,"snapshot_sha256":"46fb3285ae62bad1a439304e77f7fdce38fb28fb69e6d52ca2c980ceddd388d2"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-20T12:36:20.493557Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T23:31:21.051700Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T14:41:54.139469Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.04222/integrity.json","findings":[],"snapshot_sha256":"201865342b98be01743cc2211a64c73a1e9e9d31dc6096dec577bb48acb66696","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Real-world control systems must achieve long-horizon objectives (liveness) while respecting continuous-time safety constraints, a combination that motivates hierarchical layered control architectures (LCAs). Existing LCA research, however, lacks (i) a uniform specification language across discrete planning and continuous execution, (ii) formal guarantees that specifications are preserved when interconnecting subsystems at heterogeneous time scales, and (iii) compositional separation between layers, owing to reliance on naive input-filtering laws. This paper addresses all three gaps by importin","authors_text":"Adnane Saoud, Alessio Iovine, Bart Besselink, Guillaume Sandou, Yoshinari Takayama","cross_cats":["cs.RO","cs.SY"],"headline":"A heterogeneous contract framework enforces safety by invariance at the continuous layer and liveness by refinement at the discrete layer for layered control.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-05T19:05:46Z","title":"Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.04222","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-08T18:22:58.075753Z","id":"0ff59376-a546-4319-9635-633e3b8f2d45","model_set":{"reader":"grok-4.3"},"one_line_summary":"A heterogeneous assume-guarantee contract framework for layered control architectures enforces safety by invariance at continuous-time layers and liveness by refinement at discrete-time layers, with vertical refinement and timing conditions, instantiated using MPC, ISS control, and a reference-gover","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A heterogeneous contract framework enforces safety by invariance at the continuous layer and liveness by refinement at the discrete layer for layered control.","strongest_claim":"safety is enforced by invariance at the continuous-time layer, while liveness is achieved through refinement at the discrete-time layer, with inter-layer coordination formalized via vertical refinement and timing-compatibility conditions","weakest_assumption":"That the vertical refinement and timing-compatibility conditions can be satisfied when interconnecting an MPC planner, ISS low-level controller, and reference-governor bridge without introducing new safety violations or performance loss in the target system."}},"verdict_id":"0ff59376-a546-4319-9635-633e3b8f2d45"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:178ee217ff522f11e5d45c9a1374b07e29dd863c0c6835b397846f0fee475727","target":"record","created_at":"2026-06-08T01:04:06Z","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":"f2cf6a617e8b390071691d8d2147478f650ab7bc8856b785796fdaf328b8aa67","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-05T19:05:46Z","title_canon_sha256":"541e96a690a8a1a5ce9db7aea481d47ce8768a3227522cda46393c9fd3e0a0b5"},"schema_version":"1.0","source":{"id":"2605.04222","kind":"arxiv","version":2}},"canonical_sha256":"b6fc9fc5daf09d6a45f6a5ee84def133dc2447c64b8960856d56a6d7d463b602","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6fc9fc5daf09d6a45f6a5ee84def133dc2447c64b8960856d56a6d7d463b602","first_computed_at":"2026-06-08T01:04:06.592782Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-08T01:04:06.592782Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BrNhX8szBhCksgA05rayA+0kY2zZiDiUh54v9oGOnckw6W8X7W/10wLzVFh4sGeLq98LDNxkYrsNtZeBHi3OAQ==","signature_status":"signed_v1","signed_at":"2026-06-08T01:04:06.593898Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.04222","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:178ee217ff522f11e5d45c9a1374b07e29dd863c0c6835b397846f0fee475727","sha256:1384672f86a4a55aeb393688fb4cb337df46f431fce08343add3a1effe9d79fa"],"state_sha256":"a3bf6f50f7708141eda5d65fcfecdc2ba79a5670bd5f14d067725cb27537fbb5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l/EaTlWjhX2ovhhlyr5Ie1LYhq5Me4AQMxU0noGYr6gueUJsC6ezEf9hC9njRgKrUjtfjiBowFfDvTQIQymMAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T07:04:07.633782Z","bundle_sha256":"943e10da308a6dc34c18afc81e2b23bf51ebfb7b7bb075bb139fca04d4787258"}}