{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NZZUDDBDKFYM6N3J53LREHPB4K","short_pith_number":"pith:NZZUDDBD","canonical_record":{"source":{"id":"2607.28331","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-30T15:00:21Z","cross_cats_sorted":[],"title_canon_sha256":"31efe0f60bd3a2a220b1154f5c3ae6a202c27710d0ba17db7f9b7831d546d41e","abstract_canon_sha256":"5c396d64d4a866cdd5beecabbcd6d49ee5a3d0bbe545a518448a488db0c8de92"},"schema_version":"1.0"},"canonical_sha256":"6e73418c235170cf3769eed7121de1e2b07066cd84262e967f727f93ef4ac663","source":{"kind":"arxiv","id":"2607.28331","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.28331","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.28331v1","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.28331","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"pith_short_12","alias_value":"NZZUDDBDKFYM","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"pith_short_16","alias_value":"NZZUDDBDKFYM6N3J","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"pith_short_8","alias_value":"NZZUDDBD","created_at":"2026-07-31T01:37:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NZZUDDBDKFYM6N3J53LREHPB4K","target":"record","payload":{"canonical_record":{"source":{"id":"2607.28331","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-30T15:00:21Z","cross_cats_sorted":[],"title_canon_sha256":"31efe0f60bd3a2a220b1154f5c3ae6a202c27710d0ba17db7f9b7831d546d41e","abstract_canon_sha256":"5c396d64d4a866cdd5beecabbcd6d49ee5a3d0bbe545a518448a488db0c8de92"},"schema_version":"1.0"},"canonical_sha256":"6e73418c235170cf3769eed7121de1e2b07066cd84262e967f727f93ef4ac663","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e73418c235170cf3769eed7121de1e2b07066cd84262e967f727f93ef4ac663","last_reissued_at":"2026-07-31T01:37:15.674540Z","signature_status":"unsigned_v0","first_computed_at":"2026-07-31T01:37:15.674540Z"},"source_kind":"arxiv","source_id":"2607.28331","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-31T01:37:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fBW85aFqoXwBfsYb8HB+40FUsgwTPmNjn4UUtUuWwDRZIllLI7xFWKac71y1qej+P0cA5Ja5jpLc6p2fEO74Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:01:52.240065Z"},"content_sha256":"780584d3a2d5795330a4328303cc46aa0517e142ff735d6c5ed8c4d6a498aa5d","schema_version":"1.0","event_id":"sha256:780584d3a2d5795330a4328303cc46aa0517e142ff735d6c5ed8c4d6a498aa5d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NZZUDDBDKFYM6N3J53LREHPB4K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structural Validation of LLM-Generated Microservice Decompositions Using Source-Code Dependencies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ademar Sousa Neto, Angelo Perkusich, Daniel Silva, Danyllo Wagner Albuquerque, Emanuel Dantas Filho, Kyller Gorg\\^onio, Mirko Perkusich, Renan Alves","submitted_at":"2026-07-30T15:00:21Z","abstract_excerpt":"Decomposing monolithic systems into microservices is a key activity in software modernization. Although Large Language Models (LLMs) can generate semantically plausible decompositions from textual requirements, it remains unclear whether these proposals preserve the structural dependencies implemented in the source code. This paper evaluates the structural adherence of microservice decompositions generated by OpenAI o3 for the PetClinic and Bookstore systems. We propose an automated validation pipeline based on static dependency analysis and compare zero-shot and few-shot prompting using depen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.28331","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.28331/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-31T01:37:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H1zzywa6HWyiZ2wfVwhWIXBY8NcPbM0AXIkfRK38X5HhHyiQNlhfxpIQOXRQ4uiFXFAxs88YHL2zlt1Q7PZGAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:01:52.240589Z"},"content_sha256":"b5fdfacb56179f851d3e998d50c2d32085c9f4a29d5bd8caa44c1977ced0de31","schema_version":"1.0","event_id":"sha256:b5fdfacb56179f851d3e998d50c2d32085c9f4a29d5bd8caa44c1977ced0de31"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NZZUDDBDKFYM6N3J53LREHPB4K/bundle.json","state_url":"https://pith.science/pith/NZZUDDBDKFYM6N3J53LREHPB4K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NZZUDDBDKFYM6N3J53LREHPB4K/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-13T06:01:52Z","links":{"resolver":"https://pith.science/pith/NZZUDDBDKFYM6N3J53LREHPB4K","bundle":"https://pith.science/pith/NZZUDDBDKFYM6N3J53LREHPB4K/bundle.json","state":"https://pith.science/pith/NZZUDDBDKFYM6N3J53LREHPB4K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NZZUDDBDKFYM6N3J53LREHPB4K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NZZUDDBDKFYM6N3J53LREHPB4K","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":"5c396d64d4a866cdd5beecabbcd6d49ee5a3d0bbe545a518448a488db0c8de92","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-30T15:00:21Z","title_canon_sha256":"31efe0f60bd3a2a220b1154f5c3ae6a202c27710d0ba17db7f9b7831d546d41e"},"schema_version":"1.0","source":{"id":"2607.28331","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.28331","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.28331v1","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.28331","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"pith_short_12","alias_value":"NZZUDDBDKFYM","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"pith_short_16","alias_value":"NZZUDDBDKFYM6N3J","created_at":"2026-07-31T01:37:15Z"},{"alias_kind":"pith_short_8","alias_value":"NZZUDDBD","created_at":"2026-07-31T01:37:15Z"}],"graph_snapshots":[{"event_id":"sha256:b5fdfacb56179f851d3e998d50c2d32085c9f4a29d5bd8caa44c1977ced0de31","target":"graph","created_at":"2026-07-31T01:37:15Z","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.28331/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Decomposing monolithic systems into microservices is a key activity in software modernization. Although Large Language Models (LLMs) can generate semantically plausible decompositions from textual requirements, it remains unclear whether these proposals preserve the structural dependencies implemented in the source code. This paper evaluates the structural adherence of microservice decompositions generated by OpenAI o3 for the PetClinic and Bookstore systems. We propose an automated validation pipeline based on static dependency analysis and compare zero-shot and few-shot prompting using depen","authors_text":"Ademar Sousa Neto, Angelo Perkusich, Daniel Silva, Danyllo Wagner Albuquerque, Emanuel Dantas Filho, Kyller Gorg\\^onio, Mirko Perkusich, Renan Alves","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-30T15:00:21Z","title":"Structural Validation of LLM-Generated Microservice Decompositions Using Source-Code Dependencies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.28331","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:780584d3a2d5795330a4328303cc46aa0517e142ff735d6c5ed8c4d6a498aa5d","target":"record","created_at":"2026-07-31T01:37:15Z","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":"5c396d64d4a866cdd5beecabbcd6d49ee5a3d0bbe545a518448a488db0c8de92","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-30T15:00:21Z","title_canon_sha256":"31efe0f60bd3a2a220b1154f5c3ae6a202c27710d0ba17db7f9b7831d546d41e"},"schema_version":"1.0","source":{"id":"2607.28331","kind":"arxiv","version":1}},"canonical_sha256":"6e73418c235170cf3769eed7121de1e2b07066cd84262e967f727f93ef4ac663","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e73418c235170cf3769eed7121de1e2b07066cd84262e967f727f93ef4ac663","first_computed_at":"2026-07-31T01:37:15.674540Z","kind":"pith_receipt","last_reissued_at":"2026-07-31T01:37:15.674540Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2607.28331","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:780584d3a2d5795330a4328303cc46aa0517e142ff735d6c5ed8c4d6a498aa5d","sha256:b5fdfacb56179f851d3e998d50c2d32085c9f4a29d5bd8caa44c1977ced0de31"],"state_sha256":"00402bc36fb36437d300be860adc9c65da24098f5cced3b5e2e4e8b955934c2e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t4k8wqUrzeR6tCXTkCqqDDlzF9yQY8GfN+aID6qTVyPzTishH0v6z5tiYuwJSS8bHS1pKE0mVrkEjAXONqYhAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T06:01:52.245774Z","bundle_sha256":"0b3d8cb9b420e0d002df59a9b969e57ac9ad01b756bbdb8c0bd708d317d46edb"}}