{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QWZVFU6XVDOMQCGRF4XIF25XOD","short_pith_number":"pith:QWZVFU6X","canonical_record":{"source":{"id":"2607.15870","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-17T11:34:30Z","cross_cats_sorted":[],"title_canon_sha256":"eeb2c3858a95b2f9bdb5794b17cc50dd2bd591a74a79d87eb04489ae945c02c2","abstract_canon_sha256":"e4575b32f92c44e0c82de449e461936d578d3995943bd9982330075a8e5c8d25"},"schema_version":"1.0"},"canonical_sha256":"85b352d3d7a8dcc808d12f2e82ebb770f3d015609915be97d24dc1cbe72f9f8b","source":{"kind":"arxiv","id":"2607.15870","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.15870","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"2607.15870v1","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15870","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"QWZVFU6XVDOM","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_16","alias_value":"QWZVFU6XVDOMQCGR","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_8","alias_value":"QWZVFU6X","created_at":"2026-07-20T01:19:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QWZVFU6XVDOMQCGRF4XIF25XOD","target":"record","payload":{"canonical_record":{"source":{"id":"2607.15870","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-17T11:34:30Z","cross_cats_sorted":[],"title_canon_sha256":"eeb2c3858a95b2f9bdb5794b17cc50dd2bd591a74a79d87eb04489ae945c02c2","abstract_canon_sha256":"e4575b32f92c44e0c82de449e461936d578d3995943bd9982330075a8e5c8d25"},"schema_version":"1.0"},"canonical_sha256":"85b352d3d7a8dcc808d12f2e82ebb770f3d015609915be97d24dc1cbe72f9f8b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T01:19:14.670269Z","signature_b64":"g7fBb3IHRnPEeh7jVi8scZBLY0zAipN6XM4D+CY0DqDljseb0zPsHdZmCylTNFG3Xv/Fu518zoT0KfcVwr1zDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85b352d3d7a8dcc808d12f2e82ebb770f3d015609915be97d24dc1cbe72f9f8b","last_reissued_at":"2026-07-20T01:19:14.669420Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T01:19:14.669420Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.15870","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-20T01:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mopWHO5kzh2YqzcQK+PtIe8/6rMp4kXjPLu+Aw3zAYkwKkyxWYcl7pmfyQDd4JUEYpOgnlwkmW4bHAxcIBcPAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:49:53.920358Z"},"content_sha256":"16eee2814fa8eec512b63e148df4e9161b6945d951fc09367cb6f448446c8f7a","schema_version":"1.0","event_id":"sha256:16eee2814fa8eec512b63e148df4e9161b6945d951fc09367cb6f448446c8f7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QWZVFU6XVDOMQCGRF4XIF25XOD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How Much Human Label Variation Does Formal Semantic Structure Explain?: Group-Level Effects and Item-Level Ceilings in NLI","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Haram Choi (University of Bremen)","submitted_at":"2026-07-17T11:34:30Z","abstract_excerpt":"Human label variation in natural language inference is increasingly treated as signal rather than noise, but how much of it formal semantic structure explains has not been measured directly. We measure it on the 3,113 SNLI and MNLI items of ChaosNLI, using a rule-based operator and monotonicity tagger validated against MED (0.883 agreement at the edit site, 0.807 on the sentence-level summary our analyses consume), three preregistered analysis blocks, and full reporting of negative results. Three bounds emerge. First, a group-level boundary: hypotheses that are not purely upward monotone show "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15870","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.15870/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-20T01:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lWVdRpSFTAxewFJ11cuETNm1ovSPiNQ+X5rnF3lfAPWegjD7Fqi81veZ0ZmlwzNxOUoYRyogKI3f2/yEdhJEAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:49:53.920850Z"},"content_sha256":"24dc2c1e6ad5ef5acaaee5bc85cdcf625e844fdcfcdb6089a40bef0f8bbdee92","schema_version":"1.0","event_id":"sha256:24dc2c1e6ad5ef5acaaee5bc85cdcf625e844fdcfcdb6089a40bef0f8bbdee92"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QWZVFU6XVDOMQCGRF4XIF25XOD/bundle.json","state_url":"https://pith.science/pith/QWZVFU6XVDOMQCGRF4XIF25XOD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QWZVFU6XVDOMQCGRF4XIF25XOD/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-05T13:49:53Z","links":{"resolver":"https://pith.science/pith/QWZVFU6XVDOMQCGRF4XIF25XOD","bundle":"https://pith.science/pith/QWZVFU6XVDOMQCGRF4XIF25XOD/bundle.json","state":"https://pith.science/pith/QWZVFU6XVDOMQCGRF4XIF25XOD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QWZVFU6XVDOMQCGRF4XIF25XOD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QWZVFU6XVDOMQCGRF4XIF25XOD","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":"e4575b32f92c44e0c82de449e461936d578d3995943bd9982330075a8e5c8d25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-17T11:34:30Z","title_canon_sha256":"eeb2c3858a95b2f9bdb5794b17cc50dd2bd591a74a79d87eb04489ae945c02c2"},"schema_version":"1.0","source":{"id":"2607.15870","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.15870","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"2607.15870v1","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15870","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"QWZVFU6XVDOM","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_16","alias_value":"QWZVFU6XVDOMQCGR","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_8","alias_value":"QWZVFU6X","created_at":"2026-07-20T01:19:14Z"}],"graph_snapshots":[{"event_id":"sha256:24dc2c1e6ad5ef5acaaee5bc85cdcf625e844fdcfcdb6089a40bef0f8bbdee92","target":"graph","created_at":"2026-07-20T01:19:14Z","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.15870/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Human label variation in natural language inference is increasingly treated as signal rather than noise, but how much of it formal semantic structure explains has not been measured directly. We measure it on the 3,113 SNLI and MNLI items of ChaosNLI, using a rule-based operator and monotonicity tagger validated against MED (0.883 agreement at the edit site, 0.807 on the sentence-level summary our analyses consume), three preregistered analysis blocks, and full reporting of negative results. Three bounds emerge. First, a group-level boundary: hypotheses that are not purely upward monotone show ","authors_text":"Haram Choi (University of Bremen)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-17T11:34:30Z","title":"How Much Human Label Variation Does Formal Semantic Structure Explain?: Group-Level Effects and Item-Level Ceilings in NLI"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15870","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:16eee2814fa8eec512b63e148df4e9161b6945d951fc09367cb6f448446c8f7a","target":"record","created_at":"2026-07-20T01:19:14Z","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":"e4575b32f92c44e0c82de449e461936d578d3995943bd9982330075a8e5c8d25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-17T11:34:30Z","title_canon_sha256":"eeb2c3858a95b2f9bdb5794b17cc50dd2bd591a74a79d87eb04489ae945c02c2"},"schema_version":"1.0","source":{"id":"2607.15870","kind":"arxiv","version":1}},"canonical_sha256":"85b352d3d7a8dcc808d12f2e82ebb770f3d015609915be97d24dc1cbe72f9f8b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85b352d3d7a8dcc808d12f2e82ebb770f3d015609915be97d24dc1cbe72f9f8b","first_computed_at":"2026-07-20T01:19:14.669420Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T01:19:14.669420Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g7fBb3IHRnPEeh7jVi8scZBLY0zAipN6XM4D+CY0DqDljseb0zPsHdZmCylTNFG3Xv/Fu518zoT0KfcVwr1zDg==","signature_status":"signed_v1","signed_at":"2026-07-20T01:19:14.670269Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.15870","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16eee2814fa8eec512b63e148df4e9161b6945d951fc09367cb6f448446c8f7a","sha256:24dc2c1e6ad5ef5acaaee5bc85cdcf625e844fdcfcdb6089a40bef0f8bbdee92"],"state_sha256":"18558efbd186cb306ce8ae897c5df0fc08417dec693da68641406e31362c86e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fwk4pihhj3Bx3XCOHd+N+jtRNc3cdsdGz3TCUadQUUU5C12xiHoXZ38TxjH4KgnNvxcg0TGoMJdcupeDQBDOAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T13:49:53.925870Z","bundle_sha256":"2f6fc993dc253a8920d44019491abd64271e5d58b0c938dcb80a1bf87b3cfd46"}}