{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:S3LXAYEJ77ADXKB4HRUL7C7EKT","short_pith_number":"pith:S3LXAYEJ","canonical_record":{"source":{"id":"2606.23395","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-22T14:20:11Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"488a3451dc2845724eeaa11d9feb1d61e5ed56a95f3f6562928f982fa7697746","abstract_canon_sha256":"3e00814c59f2625a678104ca44a988a065927eec4bbf0c5225cc31cd6982f232"},"schema_version":"1.0"},"canonical_sha256":"96d7706089ffc03ba83c3c68bf8be454e09007cb286448a62566b1db064acdfb","source":{"kind":"arxiv","id":"2606.23395","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23395","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23395v1","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23395","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"S3LXAYEJ77AD","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_16","alias_value":"S3LXAYEJ77ADXKB4","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_8","alias_value":"S3LXAYEJ","created_at":"2026-06-23T03:14:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:S3LXAYEJ77ADXKB4HRUL7C7EKT","target":"record","payload":{"canonical_record":{"source":{"id":"2606.23395","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-22T14:20:11Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"488a3451dc2845724eeaa11d9feb1d61e5ed56a95f3f6562928f982fa7697746","abstract_canon_sha256":"3e00814c59f2625a678104ca44a988a065927eec4bbf0c5225cc31cd6982f232"},"schema_version":"1.0"},"canonical_sha256":"96d7706089ffc03ba83c3c68bf8be454e09007cb286448a62566b1db064acdfb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:14:18.885360Z","signature_b64":"PGObtnIORo6JFikEuheKi+NrhUJGicaWothhKE3NVf9c3H6HwBVQJ/md5FSIMHo7JIle+65ROfXg2iF4kxXAAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96d7706089ffc03ba83c3c68bf8be454e09007cb286448a62566b1db064acdfb","last_reissued_at":"2026-06-23T03:14:18.884935Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:14:18.884935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.23395","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-06-23T03:14:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ilpeuMvCUfTrQrBE5SkBsoxa7nd6SY2xHM2snvN3cpumciwln1cC//1IdogAxSpFmlgEX2f7Exr5UtFwvtHYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T23:33:16.940971Z"},"content_sha256":"303e9e5a4b05c31bc03e57ffdd9db3628dd07850eb97e960a5a9057942f38c16","schema_version":"1.0","event_id":"sha256:303e9e5a4b05c31bc03e57ffdd9db3628dd07850eb97e960a5a9057942f38c16"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:S3LXAYEJ77ADXKB4HRUL7C7EKT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Semantic Fault Localization in SysML v2: A Human-in-the-Loop Framework Using Knowledge-Graph Augmented LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Haitham Al-Shami, Jari Veps\\\"al\\\"ainen, Raine Viitala, Riku Ala-Laurinaho, Rohail Malik","submitted_at":"2026-06-22T14:20:11Z","abstract_excerpt":"SysML v2's textual syntax enables compiler-based validation of model structure and language conformance. However, semantic mistakes that preserve syntactic validity but violate domain rules cannot be detected through compilers. These errors can propagate through the design process and surface late as costly integration failures. This paper presents a human-in-the-loop framework for identifying and repairing such errors automatically. It combines a fine-tuned Small Language Model (SLM) with a domain knowledge graph encoding physical compatibility rules between system elements. The knowledge gra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23395","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/2606.23395/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-06-23T03:14:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C12VWJ65g2lRswAb5ri0qsKLgoDxMI9QeGIU0rAjmONpBWIJKYxyhXDeKD9BBgIgstd/0ZMuSQzN1k6gFsWACg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T23:33:16.941344Z"},"content_sha256":"788ecfe70505f6f390a3b51639ffc555be554ebab63309d2a9fef272e0f10e13","schema_version":"1.0","event_id":"sha256:788ecfe70505f6f390a3b51639ffc555be554ebab63309d2a9fef272e0f10e13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S3LXAYEJ77ADXKB4HRUL7C7EKT/bundle.json","state_url":"https://pith.science/pith/S3LXAYEJ77ADXKB4HRUL7C7EKT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S3LXAYEJ77ADXKB4HRUL7C7EKT/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-28T23:33:16Z","links":{"resolver":"https://pith.science/pith/S3LXAYEJ77ADXKB4HRUL7C7EKT","bundle":"https://pith.science/pith/S3LXAYEJ77ADXKB4HRUL7C7EKT/bundle.json","state":"https://pith.science/pith/S3LXAYEJ77ADXKB4HRUL7C7EKT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S3LXAYEJ77ADXKB4HRUL7C7EKT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:S3LXAYEJ77ADXKB4HRUL7C7EKT","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":"3e00814c59f2625a678104ca44a988a065927eec4bbf0c5225cc31cd6982f232","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-22T14:20:11Z","title_canon_sha256":"488a3451dc2845724eeaa11d9feb1d61e5ed56a95f3f6562928f982fa7697746"},"schema_version":"1.0","source":{"id":"2606.23395","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23395","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23395v1","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23395","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"S3LXAYEJ77AD","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_16","alias_value":"S3LXAYEJ77ADXKB4","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_8","alias_value":"S3LXAYEJ","created_at":"2026-06-23T03:14:18Z"}],"graph_snapshots":[{"event_id":"sha256:788ecfe70505f6f390a3b51639ffc555be554ebab63309d2a9fef272e0f10e13","target":"graph","created_at":"2026-06-23T03:14:18Z","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/2606.23395/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"SysML v2's textual syntax enables compiler-based validation of model structure and language conformance. However, semantic mistakes that preserve syntactic validity but violate domain rules cannot be detected through compilers. These errors can propagate through the design process and surface late as costly integration failures. This paper presents a human-in-the-loop framework for identifying and repairing such errors automatically. It combines a fine-tuned Small Language Model (SLM) with a domain knowledge graph encoding physical compatibility rules between system elements. The knowledge gra","authors_text":"Haitham Al-Shami, Jari Veps\\\"al\\\"ainen, Raine Viitala, Riku Ala-Laurinaho, Rohail Malik","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-22T14:20:11Z","title":"Automated Semantic Fault Localization in SysML v2: A Human-in-the-Loop Framework Using Knowledge-Graph Augmented LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23395","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:303e9e5a4b05c31bc03e57ffdd9db3628dd07850eb97e960a5a9057942f38c16","target":"record","created_at":"2026-06-23T03:14:18Z","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":"3e00814c59f2625a678104ca44a988a065927eec4bbf0c5225cc31cd6982f232","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-22T14:20:11Z","title_canon_sha256":"488a3451dc2845724eeaa11d9feb1d61e5ed56a95f3f6562928f982fa7697746"},"schema_version":"1.0","source":{"id":"2606.23395","kind":"arxiv","version":1}},"canonical_sha256":"96d7706089ffc03ba83c3c68bf8be454e09007cb286448a62566b1db064acdfb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96d7706089ffc03ba83c3c68bf8be454e09007cb286448a62566b1db064acdfb","first_computed_at":"2026-06-23T03:14:18.884935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:14:18.884935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PGObtnIORo6JFikEuheKi+NrhUJGicaWothhKE3NVf9c3H6HwBVQJ/md5FSIMHo7JIle+65ROfXg2iF4kxXAAQ==","signature_status":"signed_v1","signed_at":"2026-06-23T03:14:18.885360Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23395","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:303e9e5a4b05c31bc03e57ffdd9db3628dd07850eb97e960a5a9057942f38c16","sha256:788ecfe70505f6f390a3b51639ffc555be554ebab63309d2a9fef272e0f10e13"],"state_sha256":"01d248aa988a7500b86b38a2404f3f75232e27d0f215512c97e43ec0e54ddce5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o0qaCu43zlPfg3P8cqRDUSrdlP5bBrN2bqYywXn7PIVIWHqSbnK4KFQeqp/UP4qYLY0cCGJKQcOwmojm10X5BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T23:33:16.943272Z","bundle_sha256":"684cdeec986c6a9fe9da349ac9fe8eab6d5afcb659eec4f9212dd89b431963a6"}}