{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:MNUJ4NQ565XY4MKN5XULKGUSUR","short_pith_number":"pith:MNUJ4NQ5","canonical_record":{"source":{"id":"2210.14434","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-26T02:55:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"7c3ee16bf93b4badedebdd6733a33241c42281328ed2c7646629431fa27aaba2","abstract_canon_sha256":"2df30b0c6b308ca616085a235e18ff98b8a757cc58dfcf4bc062df2d964a2a9f"},"schema_version":"1.0"},"canonical_sha256":"63689e361df76f8e314dede8b51a92a4753e35bac9aa31c68eba978522107453","source":{"kind":"arxiv","id":"2210.14434","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.14434","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"arxiv_version","alias_value":"2210.14434v2","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.14434","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"pith_short_12","alias_value":"MNUJ4NQ565XY","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"pith_short_16","alias_value":"MNUJ4NQ565XY4MKN","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"pith_short_8","alias_value":"MNUJ4NQ5","created_at":"2026-05-20T00:02:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:MNUJ4NQ565XY4MKN5XULKGUSUR","target":"record","payload":{"canonical_record":{"source":{"id":"2210.14434","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-26T02:55:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"7c3ee16bf93b4badedebdd6733a33241c42281328ed2c7646629431fa27aaba2","abstract_canon_sha256":"2df30b0c6b308ca616085a235e18ff98b8a757cc58dfcf4bc062df2d964a2a9f"},"schema_version":"1.0"},"canonical_sha256":"63689e361df76f8e314dede8b51a92a4753e35bac9aa31c68eba978522107453","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:01.110944Z","signature_b64":"8TaIFK0hV0q4yL78k1+8aSGnS7tFYT6xmnz3eqpIlg84KEeGP4yOuMOX6moB+JwiqDqBJcBedv/GJBoQEnvkDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63689e361df76f8e314dede8b51a92a4753e35bac9aa31c68eba978522107453","last_reissued_at":"2026-05-20T00:02:01.110233Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:01.110233Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.14434","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-05-20T00:02:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wxnssXNnogotOXxWTaMD3nwcmMZKQmjIzIDZczDzOfGS4dayJCNwDRoWLq6aAL+Yn81NWE0Zi3f/UhJzuK+IAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:50:58.982333Z"},"content_sha256":"4623724be8bb9b37ceea6439105c53f7cb3cd10dbb9b594997629cf8e0d5a20a","schema_version":"1.0","event_id":"sha256:4623724be8bb9b37ceea6439105c53f7cb3cd10dbb9b594997629cf8e0d5a20a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:MNUJ4NQ565XY4MKN5XULKGUSUR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Functional requirements decomposition in set-based design","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Cody Fleming, Georgios Bakirtzis, Hassan Jafarzadeh, Minghui Sun, Zhaoyang Chen","submitted_at":"2022-10-26T02:55:57Z","abstract_excerpt":"Designing systems is typically uncertain and ambiguous at early stages. Set-based design supports alternative exploration and gradual uncertainty reduction during the early lifecycle, making it practical for complex systems design. In parallel, the functional requirements decomposition helps to advance the design incrementally. However, current literature on set-based design lacks formal guidance in how to decompose functional requirements. To bridge this gap, we introduce a four-step method to decompose functional requirements for set-based design hierarchically. We systematically define, rea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.14434","kind":"arxiv","version":2},"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/2210.14434/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-05-20T00:02:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XR5BKlzOCsIUIkte5w3y9osE1/gW4MDomevw+uXdHQF/G2na/nlW/Ii++MrvWjbJfdA8wMF04b1rywCubiXsBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:50:58.982742Z"},"content_sha256":"4663a163ea4f3fb9bd467c42d61cb0aa7b7303badb885aa3388b25cb0218da69","schema_version":"1.0","event_id":"sha256:4663a163ea4f3fb9bd467c42d61cb0aa7b7303badb885aa3388b25cb0218da69"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MNUJ4NQ565XY4MKN5XULKGUSUR/bundle.json","state_url":"https://pith.science/pith/MNUJ4NQ565XY4MKN5XULKGUSUR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MNUJ4NQ565XY4MKN5XULKGUSUR/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-03T04:50:58Z","links":{"resolver":"https://pith.science/pith/MNUJ4NQ565XY4MKN5XULKGUSUR","bundle":"https://pith.science/pith/MNUJ4NQ565XY4MKN5XULKGUSUR/bundle.json","state":"https://pith.science/pith/MNUJ4NQ565XY4MKN5XULKGUSUR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MNUJ4NQ565XY4MKN5XULKGUSUR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:MNUJ4NQ565XY4MKN5XULKGUSUR","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":"2df30b0c6b308ca616085a235e18ff98b8a757cc58dfcf4bc062df2d964a2a9f","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-26T02:55:57Z","title_canon_sha256":"7c3ee16bf93b4badedebdd6733a33241c42281328ed2c7646629431fa27aaba2"},"schema_version":"1.0","source":{"id":"2210.14434","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.14434","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"arxiv_version","alias_value":"2210.14434v2","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.14434","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"pith_short_12","alias_value":"MNUJ4NQ565XY","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"pith_short_16","alias_value":"MNUJ4NQ565XY4MKN","created_at":"2026-05-20T00:02:01Z"},{"alias_kind":"pith_short_8","alias_value":"MNUJ4NQ5","created_at":"2026-05-20T00:02:01Z"}],"graph_snapshots":[{"event_id":"sha256:4663a163ea4f3fb9bd467c42d61cb0aa7b7303badb885aa3388b25cb0218da69","target":"graph","created_at":"2026-05-20T00:02:01Z","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/2210.14434/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Designing systems is typically uncertain and ambiguous at early stages. Set-based design supports alternative exploration and gradual uncertainty reduction during the early lifecycle, making it practical for complex systems design. In parallel, the functional requirements decomposition helps to advance the design incrementally. However, current literature on set-based design lacks formal guidance in how to decompose functional requirements. To bridge this gap, we introduce a four-step method to decompose functional requirements for set-based design hierarchically. We systematically define, rea","authors_text":"Cody Fleming, Georgios Bakirtzis, Hassan Jafarzadeh, Minghui Sun, Zhaoyang Chen","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-26T02:55:57Z","title":"Functional requirements decomposition in set-based design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.14434","kind":"arxiv","version":2},"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:4623724be8bb9b37ceea6439105c53f7cb3cd10dbb9b594997629cf8e0d5a20a","target":"record","created_at":"2026-05-20T00:02:01Z","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":"2df30b0c6b308ca616085a235e18ff98b8a757cc58dfcf4bc062df2d964a2a9f","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-10-26T02:55:57Z","title_canon_sha256":"7c3ee16bf93b4badedebdd6733a33241c42281328ed2c7646629431fa27aaba2"},"schema_version":"1.0","source":{"id":"2210.14434","kind":"arxiv","version":2}},"canonical_sha256":"63689e361df76f8e314dede8b51a92a4753e35bac9aa31c68eba978522107453","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63689e361df76f8e314dede8b51a92a4753e35bac9aa31c68eba978522107453","first_computed_at":"2026-05-20T00:02:01.110233Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:02:01.110233Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8TaIFK0hV0q4yL78k1+8aSGnS7tFYT6xmnz3eqpIlg84KEeGP4yOuMOX6moB+JwiqDqBJcBedv/GJBoQEnvkDg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:02:01.110944Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.14434","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4623724be8bb9b37ceea6439105c53f7cb3cd10dbb9b594997629cf8e0d5a20a","sha256:4663a163ea4f3fb9bd467c42d61cb0aa7b7303badb885aa3388b25cb0218da69"],"state_sha256":"17c12066a5a140a0463d8a009952c97a2c0a07c00b1f90eb517be925ab6aca0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tTGsF8Hng4cB8ueaTxufGVczSuN2kdJyrLNsrz+MNJxGYR4XOS90OFaEaU3rXxtEpR6akZccqooT/OP1dSkVAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T04:50:58.984931Z","bundle_sha256":"60bae7bbd38b970bb37ccb2f90767aecb0292fd0444169edfa064e1766b622d0"}}