{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:L2DXTM73H7YFHY7HK7GWHMS6Q4","short_pith_number":"pith:L2DXTM73","schema_version":"1.0","canonical_sha256":"5e8779b3fb3ff053e3e757cd63b25e873d70f32f9bc50563128abe2e27a6315f","source":{"kind":"arxiv","id":"2605.22213","version":1},"attestation_state":"computed","paper":{"title":"Towards a compositional semantics for quantitative confidence assessment in assurance arguments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Benjamin Herd, Jan Sabsch, Jessica Kelly, Lydia Gauerhof","submitted_at":"2026-05-21T09:17:27Z","abstract_excerpt":"Assurance arguments provide a clear and structured way to explain why stakeholders should trust that a system satisfies certain properties, yet widely used notations, e.g.Goal Structuring Notation (GSN), typically lack an operational semantics for deriving assurance confidence. Existing approaches address structure and soundness but largely reason over truth values, not over confidence in the justification of claims. Subjective Logic (SL) offers a calculus of belief, disbelief, and uncertainty with operators for combining opinions, enabling confidence propagation under incomplete, conflicting,"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.22213","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T09:17:27Z","cross_cats_sorted":[],"title_canon_sha256":"a0f3ffe2c41ea6f5f752ce4cd55a93f3cb43f3f028fd9ad0a5d3e88e62c01bf6","abstract_canon_sha256":"d4b6b5a71230c3ef29fb0233d33ece4c912c267a57d47f20ec4decf56a7efcff"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:04:32.463208Z","signature_b64":"eE+ifdKIwccVFTEqQslvKhpY74gREZwG+i/KMcShNdAtrMKzep5uwyAG0JunblabVhURjE8GaMrY8Y+vdirMAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e8779b3fb3ff053e3e757cd63b25e873d70f32f9bc50563128abe2e27a6315f","last_reissued_at":"2026-05-22T01:04:32.462517Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:04:32.462517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards a compositional semantics for quantitative confidence assessment in assurance arguments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Benjamin Herd, Jan Sabsch, Jessica Kelly, Lydia Gauerhof","submitted_at":"2026-05-21T09:17:27Z","abstract_excerpt":"Assurance arguments provide a clear and structured way to explain why stakeholders should trust that a system satisfies certain properties, yet widely used notations, e.g.Goal Structuring Notation (GSN), typically lack an operational semantics for deriving assurance confidence. Existing approaches address structure and soundness but largely reason over truth values, not over confidence in the justification of claims. Subjective Logic (SL) offers a calculus of belief, disbelief, and uncertainty with operators for combining opinions, enabling confidence propagation under incomplete, conflicting,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22213","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/2605.22213/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.22213","created_at":"2026-05-22T01:04:32.462621+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.22213v1","created_at":"2026-05-22T01:04:32.462621+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22213","created_at":"2026-05-22T01:04:32.462621+00:00"},{"alias_kind":"pith_short_12","alias_value":"L2DXTM73H7YF","created_at":"2026-05-22T01:04:32.462621+00:00"},{"alias_kind":"pith_short_16","alias_value":"L2DXTM73H7YFHY7H","created_at":"2026-05-22T01:04:32.462621+00:00"},{"alias_kind":"pith_short_8","alias_value":"L2DXTM73","created_at":"2026-05-22T01:04:32.462621+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4","json":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4.json","graph_json":"https://pith.science/api/pith-number/L2DXTM73H7YFHY7HK7GWHMS6Q4/graph.json","events_json":"https://pith.science/api/pith-number/L2DXTM73H7YFHY7HK7GWHMS6Q4/events.json","paper":"https://pith.science/paper/L2DXTM73"},"agent_actions":{"view_html":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4","download_json":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4.json","view_paper":"https://pith.science/paper/L2DXTM73","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.22213&json=true","fetch_graph":"https://pith.science/api/pith-number/L2DXTM73H7YFHY7HK7GWHMS6Q4/graph.json","fetch_events":"https://pith.science/api/pith-number/L2DXTM73H7YFHY7HK7GWHMS6Q4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4/action/storage_attestation","attest_author":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4/action/author_attestation","sign_citation":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4/action/citation_signature","submit_replication":"https://pith.science/pith/L2DXTM73H7YFHY7HK7GWHMS6Q4/action/replication_record"}},"created_at":"2026-05-22T01:04:32.462621+00:00","updated_at":"2026-05-22T01:04:32.462621+00:00"}