{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DBZ5N5X7D2EMFKYHSEO6LLCIHK","short_pith_number":"pith:DBZ5N5X7","canonical_record":{"source":{"id":"1807.04561","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-12T12:05:41Z","cross_cats_sorted":[],"title_canon_sha256":"9434044c672efe9ddcca7c4c3cc7130e25accea6edb7be0e7500ca2c06b269e4","abstract_canon_sha256":"8819f93a7c083b660b7bce85013089971c4d3e87f12c20dd237a7f655e66a569"},"schema_version":"1.0"},"canonical_sha256":"1873d6f6ff1e88c2ab07911de5ac483a85e187af304c893b31bf24c0dd247c9c","source":{"kind":"arxiv","id":"1807.04561","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.04561","created_at":"2026-05-18T00:10:53Z"},{"alias_kind":"arxiv_version","alias_value":"1807.04561v1","created_at":"2026-05-18T00:10:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.04561","created_at":"2026-05-18T00:10:53Z"},{"alias_kind":"pith_short_12","alias_value":"DBZ5N5X7D2EM","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DBZ5N5X7D2EMFKYH","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DBZ5N5X7","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DBZ5N5X7D2EMFKYHSEO6LLCIHK","target":"record","payload":{"canonical_record":{"source":{"id":"1807.04561","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-12T12:05:41Z","cross_cats_sorted":[],"title_canon_sha256":"9434044c672efe9ddcca7c4c3cc7130e25accea6edb7be0e7500ca2c06b269e4","abstract_canon_sha256":"8819f93a7c083b660b7bce85013089971c4d3e87f12c20dd237a7f655e66a569"},"schema_version":"1.0"},"canonical_sha256":"1873d6f6ff1e88c2ab07911de5ac483a85e187af304c893b31bf24c0dd247c9c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:53.100768Z","signature_b64":"tFfckoDKHKDxiIH0UbYZR/9Lb/Y929NUov8m+Wd489DUZFg9eJ6kQMHRqoGgJ7IN2Pv7jhngNGpezLQKAxX9Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1873d6f6ff1e88c2ab07911de5ac483a85e187af304c893b31bf24c0dd247c9c","last_reissued_at":"2026-05-18T00:10:53.100081Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:53.100081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.04561","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-05-18T00:10:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4higs8eg/g78mG9MWCG/4f5x2GI7vf4KKLMePavBNIPoUKEpsq2h4iO2RwzveM7PQEvIrXV7CfzYbEzu0duZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T22:59:19.289565Z"},"content_sha256":"6930f650d340209768f722baf75f9fa0627c319bd96657f97315c484495d6271","schema_version":"1.0","event_id":"sha256:6930f650d340209768f722baf75f9fa0627c319bd96657f97315c484495d6271"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DBZ5N5X7D2EMFKYHSEO6LLCIHK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Situation Calculus for Synthesis of Manufacturing Controllers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Brian Logan, Fabio Patrizi, Giuseppe De Giacomo, Paolo Felli, Sebastian Sardina","submitted_at":"2018-07-12T12:05:41Z","abstract_excerpt":"Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to bid for a complex, previously unseen product, a manufacturing facility must be able to synthesize, 'on the fly', a process plan controller that delegates abstract manufacturing tasks in the supplied process recipe to the appropriate manufacturing resources, e.g., CNC machines, robots etc. Previous work in applying AI behaviour composition to synthesize process plan controllers has considered only finite state ad-hoc "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.04561","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":""},"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-18T00:10:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U6PjAq7CzUt/MRsArcGr2RZaP5rjqEAlg3Ln71jTf4q89v4FaZ2oaII1SuOpFIdvTlbybYCNHt+nvvvlPx44Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T22:59:19.290128Z"},"content_sha256":"0d757e6b389db65364df9c740aea7c4b6728836aed54a842313d1066adac4021","schema_version":"1.0","event_id":"sha256:0d757e6b389db65364df9c740aea7c4b6728836aed54a842313d1066adac4021"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DBZ5N5X7D2EMFKYHSEO6LLCIHK/bundle.json","state_url":"https://pith.science/pith/DBZ5N5X7D2EMFKYHSEO6LLCIHK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DBZ5N5X7D2EMFKYHSEO6LLCIHK/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-05-26T22:59:19Z","links":{"resolver":"https://pith.science/pith/DBZ5N5X7D2EMFKYHSEO6LLCIHK","bundle":"https://pith.science/pith/DBZ5N5X7D2EMFKYHSEO6LLCIHK/bundle.json","state":"https://pith.science/pith/DBZ5N5X7D2EMFKYHSEO6LLCIHK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DBZ5N5X7D2EMFKYHSEO6LLCIHK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DBZ5N5X7D2EMFKYHSEO6LLCIHK","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":"8819f93a7c083b660b7bce85013089971c4d3e87f12c20dd237a7f655e66a569","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-12T12:05:41Z","title_canon_sha256":"9434044c672efe9ddcca7c4c3cc7130e25accea6edb7be0e7500ca2c06b269e4"},"schema_version":"1.0","source":{"id":"1807.04561","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.04561","created_at":"2026-05-18T00:10:53Z"},{"alias_kind":"arxiv_version","alias_value":"1807.04561v1","created_at":"2026-05-18T00:10:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.04561","created_at":"2026-05-18T00:10:53Z"},{"alias_kind":"pith_short_12","alias_value":"DBZ5N5X7D2EM","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DBZ5N5X7D2EMFKYH","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DBZ5N5X7","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:0d757e6b389db65364df9c740aea7c4b6728836aed54a842313d1066adac4021","target":"graph","created_at":"2026-05-18T00:10:53Z","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":"Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to bid for a complex, previously unseen product, a manufacturing facility must be able to synthesize, 'on the fly', a process plan controller that delegates abstract manufacturing tasks in the supplied process recipe to the appropriate manufacturing resources, e.g., CNC machines, robots etc. Previous work in applying AI behaviour composition to synthesize process plan controllers has considered only finite state ad-hoc ","authors_text":"Brian Logan, Fabio Patrizi, Giuseppe De Giacomo, Paolo Felli, Sebastian Sardina","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-12T12:05:41Z","title":"Situation Calculus for Synthesis of Manufacturing Controllers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.04561","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:6930f650d340209768f722baf75f9fa0627c319bd96657f97315c484495d6271","target":"record","created_at":"2026-05-18T00:10:53Z","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":"8819f93a7c083b660b7bce85013089971c4d3e87f12c20dd237a7f655e66a569","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-12T12:05:41Z","title_canon_sha256":"9434044c672efe9ddcca7c4c3cc7130e25accea6edb7be0e7500ca2c06b269e4"},"schema_version":"1.0","source":{"id":"1807.04561","kind":"arxiv","version":1}},"canonical_sha256":"1873d6f6ff1e88c2ab07911de5ac483a85e187af304c893b31bf24c0dd247c9c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1873d6f6ff1e88c2ab07911de5ac483a85e187af304c893b31bf24c0dd247c9c","first_computed_at":"2026-05-18T00:10:53.100081Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:53.100081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tFfckoDKHKDxiIH0UbYZR/9Lb/Y929NUov8m+Wd489DUZFg9eJ6kQMHRqoGgJ7IN2Pv7jhngNGpezLQKAxX9Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:53.100768Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.04561","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6930f650d340209768f722baf75f9fa0627c319bd96657f97315c484495d6271","sha256:0d757e6b389db65364df9c740aea7c4b6728836aed54a842313d1066adac4021"],"state_sha256":"d73c42e1e27c192754b50c3d940455a00c3b520a1c81a88d8e6ae3e0b6a6f1bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dOXFdclWqTNfZg6SDnluPEAXGnU7MyMYSbQ4c5Kky9c+PaZMwo/arBotwOeFw6RAALcibpA0oGF0cl57mdQCAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T22:59:19.293216Z","bundle_sha256":"219f4baf1cc32f3426a99cc112eb9fae288402750a801f787c51a1e4e85a4111"}}