{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:BBPOI7KDGC4NH57TFR6SBPIARM","short_pith_number":"pith:BBPOI7KD","canonical_record":{"source":{"id":"2607.16708","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-18T08:50:55Z","cross_cats_sorted":[],"title_canon_sha256":"7d4e31a9b94f1080650a27f1eaedb86fa10788a0561bdf13fb779d2768f34c9e","abstract_canon_sha256":"20f23c25b3dbe4bce096f9518bc58701c4712a9d4fd092d9e1bd6c410049d6d8"},"schema_version":"1.0"},"canonical_sha256":"085ee47d4330b8d3f7f32c7d20bd008b201e9ce7221e7c89bfc9c5b160dd13bc","source":{"kind":"arxiv","id":"2607.16708","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16708","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16708v1","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16708","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"BBPOI7KDGC4N","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"pith_short_16","alias_value":"BBPOI7KDGC4NH57T","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"pith_short_8","alias_value":"BBPOI7KD","created_at":"2026-07-21T01:20:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:BBPOI7KDGC4NH57TFR6SBPIARM","target":"record","payload":{"canonical_record":{"source":{"id":"2607.16708","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-18T08:50:55Z","cross_cats_sorted":[],"title_canon_sha256":"7d4e31a9b94f1080650a27f1eaedb86fa10788a0561bdf13fb779d2768f34c9e","abstract_canon_sha256":"20f23c25b3dbe4bce096f9518bc58701c4712a9d4fd092d9e1bd6c410049d6d8"},"schema_version":"1.0"},"canonical_sha256":"085ee47d4330b8d3f7f32c7d20bd008b201e9ce7221e7c89bfc9c5b160dd13bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-21T01:20:23.097126Z","signature_b64":"wWuS5uY5o7EQgAkgE6q/FYnJWYFkVCOqqqv3j6xAcZcKayxa8SgdjF8seeGWyNxZy1E3fMYVSnUkhmH5/RxIDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"085ee47d4330b8d3f7f32c7d20bd008b201e9ce7221e7c89bfc9c5b160dd13bc","last_reissued_at":"2026-07-21T01:20:23.096245Z","signature_status":"signed_v1","first_computed_at":"2026-07-21T01:20:23.096245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.16708","source_version":1,"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-07-21T01:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4ZxVLe+jcVBj4UP4dD+tIdH0rd/DrV40ErRe3qg/WUlDTiYlM1mh3A49KX0ly9waengov58fL2ESPBjo6ZIFCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:57:25.655921Z"},"content_sha256":"342aaa1fe508ebb90e6c4aafe18493dd19617771291105f3141be23237aa4a2b","schema_version":"1.0","event_id":"sha256:342aaa1fe508ebb90e6c4aafe18493dd19617771291105f3141be23237aa4a2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:BBPOI7KDGC4NH57TFR6SBPIARM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haochi Wang, Jiapeng Guan, Le Zhu, Ran Wei, Ruizhe Yang, Siyuan Ji, Xiangyang Ji, Yuchen Hu, Zhe Jiang","submitted_at":"2026-07-18T08:50:55Z","abstract_excerpt":"Software complexity is a long-standing challenge for system engineers. Model-Driven Engineering (MDE) addresses it by treating models as first-class artefacts, but a typical MDE process spans many tools and produces heterogeneous models of different system aspects, making traceability, maintenance, and change management difficult.\n  We propose RADIANT, an engineering methodology that combines MDE with Multi-Agent Large Language Models (LLMs) for complete model-based system development, with a focus on safety-critical systems. From a carefully specified requirement model, RADIANT automatically "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16708","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.16708/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-21T01:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vmPQmgbPgc+9V61X7kMY1bdqAcW3uHEsruzCh5a1gu29ykAgK43+lvgU8IKB//m/hBvZbI2BoBmvQ1YrlvTeAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:57:25.656416Z"},"content_sha256":"d689804eb54f6e9062cf109750e4cf2088d1f5abc3029b0f6759537454f1c934","schema_version":"1.0","event_id":"sha256:d689804eb54f6e9062cf109750e4cf2088d1f5abc3029b0f6759537454f1c934"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BBPOI7KDGC4NH57TFR6SBPIARM/bundle.json","state_url":"https://pith.science/pith/BBPOI7KDGC4NH57TFR6SBPIARM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BBPOI7KDGC4NH57TFR6SBPIARM/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-08-06T16:57:25Z","links":{"resolver":"https://pith.science/pith/BBPOI7KDGC4NH57TFR6SBPIARM","bundle":"https://pith.science/pith/BBPOI7KDGC4NH57TFR6SBPIARM/bundle.json","state":"https://pith.science/pith/BBPOI7KDGC4NH57TFR6SBPIARM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BBPOI7KDGC4NH57TFR6SBPIARM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:BBPOI7KDGC4NH57TFR6SBPIARM","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":"20f23c25b3dbe4bce096f9518bc58701c4712a9d4fd092d9e1bd6c410049d6d8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-18T08:50:55Z","title_canon_sha256":"7d4e31a9b94f1080650a27f1eaedb86fa10788a0561bdf13fb779d2768f34c9e"},"schema_version":"1.0","source":{"id":"2607.16708","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.16708","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"2607.16708v1","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.16708","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"BBPOI7KDGC4N","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"pith_short_16","alias_value":"BBPOI7KDGC4NH57T","created_at":"2026-07-21T01:20:23Z"},{"alias_kind":"pith_short_8","alias_value":"BBPOI7KD","created_at":"2026-07-21T01:20:23Z"}],"graph_snapshots":[{"event_id":"sha256:d689804eb54f6e9062cf109750e4cf2088d1f5abc3029b0f6759537454f1c934","target":"graph","created_at":"2026-07-21T01:20:23Z","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/2607.16708/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software complexity is a long-standing challenge for system engineers. Model-Driven Engineering (MDE) addresses it by treating models as first-class artefacts, but a typical MDE process spans many tools and produces heterogeneous models of different system aspects, making traceability, maintenance, and change management difficult.\n  We propose RADIANT, an engineering methodology that combines MDE with Multi-Agent Large Language Models (LLMs) for complete model-based system development, with a focus on safety-critical systems. From a carefully specified requirement model, RADIANT automatically ","authors_text":"Haochi Wang, Jiapeng Guan, Le Zhu, Ran Wei, Ruizhe Yang, Siyuan Ji, Xiangyang Ji, Yuchen Hu, Zhe Jiang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-18T08:50:55Z","title":"Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.16708","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:342aaa1fe508ebb90e6c4aafe18493dd19617771291105f3141be23237aa4a2b","target":"record","created_at":"2026-07-21T01:20:23Z","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":"20f23c25b3dbe4bce096f9518bc58701c4712a9d4fd092d9e1bd6c410049d6d8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-18T08:50:55Z","title_canon_sha256":"7d4e31a9b94f1080650a27f1eaedb86fa10788a0561bdf13fb779d2768f34c9e"},"schema_version":"1.0","source":{"id":"2607.16708","kind":"arxiv","version":1}},"canonical_sha256":"085ee47d4330b8d3f7f32c7d20bd008b201e9ce7221e7c89bfc9c5b160dd13bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"085ee47d4330b8d3f7f32c7d20bd008b201e9ce7221e7c89bfc9c5b160dd13bc","first_computed_at":"2026-07-21T01:20:23.096245Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-21T01:20:23.096245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wWuS5uY5o7EQgAkgE6q/FYnJWYFkVCOqqqv3j6xAcZcKayxa8SgdjF8seeGWyNxZy1E3fMYVSnUkhmH5/RxIDA==","signature_status":"signed_v1","signed_at":"2026-07-21T01:20:23.097126Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.16708","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:342aaa1fe508ebb90e6c4aafe18493dd19617771291105f3141be23237aa4a2b","sha256:d689804eb54f6e9062cf109750e4cf2088d1f5abc3029b0f6759537454f1c934"],"state_sha256":"e646de63879c6b12c3644619c826cde1ce3d5eece0dfe12eeb170cc3879fe085"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QsTwOBgEdQEL8qWD13cweDF8bJpVdqkxUio4xiYhUqYssgyXBLFdA5JG6l8jSf42dQluUHahiBgcflJkB41GDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T16:57:25.662429Z","bundle_sha256":"7d03365ed5f8a3c8caee7843e6c8aaf07248b006c13a869e3d38cc17343d530e"}}