{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:JGJB3FYXUOWKGX3YRZPWM4KFZX","short_pith_number":"pith:JGJB3FYX","canonical_record":{"source":{"id":"1312.2359","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-12-09T09:47:08Z","cross_cats_sorted":[],"title_canon_sha256":"deff8e982cf7b10d67820903ebe5287560d47bc5b0d9b5ee16b8b49ec65b12be","abstract_canon_sha256":"880a635d2c9e424c716a99e432510a3537c016905165502b0860d31e21c648d5"},"schema_version":"1.0"},"canonical_sha256":"49921d9717a3aca35f788e5f667145cdd8c894a35fed1ec72436de5d9e1a66ca","source":{"kind":"arxiv","id":"1312.2359","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.2359","created_at":"2026-05-18T03:04:58Z"},{"alias_kind":"arxiv_version","alias_value":"1312.2359v2","created_at":"2026-05-18T03:04:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.2359","created_at":"2026-05-18T03:04:58Z"},{"alias_kind":"pith_short_12","alias_value":"JGJB3FYXUOWK","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JGJB3FYXUOWKGX3Y","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JGJB3FYX","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:JGJB3FYXUOWKGX3YRZPWM4KFZX","target":"record","payload":{"canonical_record":{"source":{"id":"1312.2359","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-12-09T09:47:08Z","cross_cats_sorted":[],"title_canon_sha256":"deff8e982cf7b10d67820903ebe5287560d47bc5b0d9b5ee16b8b49ec65b12be","abstract_canon_sha256":"880a635d2c9e424c716a99e432510a3537c016905165502b0860d31e21c648d5"},"schema_version":"1.0"},"canonical_sha256":"49921d9717a3aca35f788e5f667145cdd8c894a35fed1ec72436de5d9e1a66ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:58.921730Z","signature_b64":"IgzHp1Qz0sl3eovrIRKQFpmyn8M2+Hj8JkVbg7JABiGh+iiNPTZC0qzdwH0bJKU+kFLgszdecJQxRcMpeLk6Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49921d9717a3aca35f788e5f667145cdd8c894a35fed1ec72436de5d9e1a66ca","last_reissued_at":"2026-05-18T03:04:58.921041Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:58.921041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.2359","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-18T03:04:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6zruCBW+xNhwuLeqUPNpq+bfvzVE0aT6E9a3MUWdZZYY6jO0F0vP7BVbEG15YVp9faNM1g3dj7aI/OBzEDjECQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:30:11.662402Z"},"content_sha256":"3cd4fb0b53b85145e7bb42aab50b70a13f04c6ab5cad87695ef413d0c1d3ff99","schema_version":"1.0","event_id":"sha256:3cd4fb0b53b85145e7bb42aab50b70a13f04c6ab5cad87695ef413d0c1d3ff99"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:JGJB3FYXUOWKGX3YRZPWM4KFZX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Ontological Support for Principle Solutions in Mechanical Engineering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Constantin Jucovschi, Lutz Schr\\\"oder, Michael Kohlhase, Mihai Codescu, Sandro Wartzack, Thilo Breitsprecher","submitted_at":"2013-12-09T09:47:08Z","abstract_excerpt":"The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design specification, fixing as it does the way the final product works. It is usually constructed as an abstract sketch (hand-drawn or constructed with a CAD system) where the functional parts of the product are identified, and geometric and topological constraints are formulated. Here, we outline a semantic approach where the principle solution is annotated with onto"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.2359","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":""},"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-18T03:04:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WsjlKpH7UPf5Hid1Fpqap301ttI+P1NUXCzU+jfcPID74jjUNVU00lnwI7aAdtYomcD9tlutH6cuehz9IhFdDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:30:11.662761Z"},"content_sha256":"01543d1415018e7256440d2738a52c1059d5788c29631784dc8ee177cf7b208b","schema_version":"1.0","event_id":"sha256:01543d1415018e7256440d2738a52c1059d5788c29631784dc8ee177cf7b208b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JGJB3FYXUOWKGX3YRZPWM4KFZX/bundle.json","state_url":"https://pith.science/pith/JGJB3FYXUOWKGX3YRZPWM4KFZX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JGJB3FYXUOWKGX3YRZPWM4KFZX/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-24T04:30:11Z","links":{"resolver":"https://pith.science/pith/JGJB3FYXUOWKGX3YRZPWM4KFZX","bundle":"https://pith.science/pith/JGJB3FYXUOWKGX3YRZPWM4KFZX/bundle.json","state":"https://pith.science/pith/JGJB3FYXUOWKGX3YRZPWM4KFZX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JGJB3FYXUOWKGX3YRZPWM4KFZX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:JGJB3FYXUOWKGX3YRZPWM4KFZX","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":"880a635d2c9e424c716a99e432510a3537c016905165502b0860d31e21c648d5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-12-09T09:47:08Z","title_canon_sha256":"deff8e982cf7b10d67820903ebe5287560d47bc5b0d9b5ee16b8b49ec65b12be"},"schema_version":"1.0","source":{"id":"1312.2359","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.2359","created_at":"2026-05-18T03:04:58Z"},{"alias_kind":"arxiv_version","alias_value":"1312.2359v2","created_at":"2026-05-18T03:04:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.2359","created_at":"2026-05-18T03:04:58Z"},{"alias_kind":"pith_short_12","alias_value":"JGJB3FYXUOWK","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JGJB3FYXUOWKGX3Y","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JGJB3FYX","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:01543d1415018e7256440d2738a52c1059d5788c29631784dc8ee177cf7b208b","target":"graph","created_at":"2026-05-18T03:04:58Z","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"},"paper":{"abstract_excerpt":"The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design specification, fixing as it does the way the final product works. It is usually constructed as an abstract sketch (hand-drawn or constructed with a CAD system) where the functional parts of the product are identified, and geometric and topological constraints are formulated. Here, we outline a semantic approach where the principle solution is annotated with onto","authors_text":"Constantin Jucovschi, Lutz Schr\\\"oder, Michael Kohlhase, Mihai Codescu, Sandro Wartzack, Thilo Breitsprecher","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-12-09T09:47:08Z","title":"Towards Ontological Support for Principle Solutions in Mechanical Engineering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.2359","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:3cd4fb0b53b85145e7bb42aab50b70a13f04c6ab5cad87695ef413d0c1d3ff99","target":"record","created_at":"2026-05-18T03:04:58Z","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":"880a635d2c9e424c716a99e432510a3537c016905165502b0860d31e21c648d5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-12-09T09:47:08Z","title_canon_sha256":"deff8e982cf7b10d67820903ebe5287560d47bc5b0d9b5ee16b8b49ec65b12be"},"schema_version":"1.0","source":{"id":"1312.2359","kind":"arxiv","version":2}},"canonical_sha256":"49921d9717a3aca35f788e5f667145cdd8c894a35fed1ec72436de5d9e1a66ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"49921d9717a3aca35f788e5f667145cdd8c894a35fed1ec72436de5d9e1a66ca","first_computed_at":"2026-05-18T03:04:58.921041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:04:58.921041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IgzHp1Qz0sl3eovrIRKQFpmyn8M2+Hj8JkVbg7JABiGh+iiNPTZC0qzdwH0bJKU+kFLgszdecJQxRcMpeLk6Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:04:58.921730Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.2359","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3cd4fb0b53b85145e7bb42aab50b70a13f04c6ab5cad87695ef413d0c1d3ff99","sha256:01543d1415018e7256440d2738a52c1059d5788c29631784dc8ee177cf7b208b"],"state_sha256":"192a71b4f4beda999ae5082bde8337af06d62afea00a31aed6f3897296115307"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wrGKWN58E+fkddVhnomM/QWdaf5F++H5udZfDnlsKH7jdglWpqD12em43ltkhsclSTyjTvEZ6DIO+52cSAUiAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T04:30:11.664707Z","bundle_sha256":"a044ce5512b3342b351569227bd9fa1c64b42b1c2119fbf289c60bac0223c9a4"}}