{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:HCO7H6QSLUU3THQZQG3EGE5P65","short_pith_number":"pith:HCO7H6QS","canonical_record":{"source":{"id":"2606.27138","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T15:13:24Z","cross_cats_sorted":[],"title_canon_sha256":"4df02c7a43ef11e430a39f20e9e84e608f626346a741ce0c7bf6898e7836df7c","abstract_canon_sha256":"34040759f374c30e13f9ce9a3b44271ef40e4fd34bf898fd60c9cd59d268b0ea"},"schema_version":"1.0"},"canonical_sha256":"389df3fa125d29b99e1981b64313aff75dfa895dede0201548f85b3fb6357f7b","source":{"kind":"arxiv","id":"2606.27138","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.27138","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2606.27138v1","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27138","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"HCO7H6QSLUU3","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"HCO7H6QSLUU3THQZ","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"HCO7H6QS","created_at":"2026-06-26T01:16:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:HCO7H6QSLUU3THQZQG3EGE5P65","target":"record","payload":{"canonical_record":{"source":{"id":"2606.27138","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T15:13:24Z","cross_cats_sorted":[],"title_canon_sha256":"4df02c7a43ef11e430a39f20e9e84e608f626346a741ce0c7bf6898e7836df7c","abstract_canon_sha256":"34040759f374c30e13f9ce9a3b44271ef40e4fd34bf898fd60c9cd59d268b0ea"},"schema_version":"1.0"},"canonical_sha256":"389df3fa125d29b99e1981b64313aff75dfa895dede0201548f85b3fb6357f7b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T01:16:11.311227Z","signature_b64":"ui9ZoI2QoQfcNHZFZn036LMtrhY8uPwiyn/ZLNGVM+pB1pQrtYBKgzghXSsssNvKVYi9IQSXuSLTr8VYCFelAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"389df3fa125d29b99e1981b64313aff75dfa895dede0201548f85b3fb6357f7b","last_reissued_at":"2026-06-26T01:16:11.310836Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T01:16:11.310836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.27138","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-26T01:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AFY7DFQSp3jJ1DBRMYDbI1weUvf545ytJSoRkAsnUg6fD7oDBvtmmBN3+3cMjAVEVjLaYgYKhNwZwDHRyD6VBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:07:13.400747Z"},"content_sha256":"fbe1a917471c9a813f83c0e331d6561cfa7f67699e32b2b7b3b764bed0e27d01","schema_version":"1.0","event_id":"sha256:fbe1a917471c9a813f83c0e331d6561cfa7f67699e32b2b7b3b764bed0e27d01"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:HCO7H6QSLUU3THQZQG3EGE5P65","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Bernardo Toninho, Julien Lange, Keith Randall, Philip Wadler, Raymond Hu, Robert Griesemer","submitted_at":"2026-06-25T15:13:24Z","abstract_excerpt":"Go's unique combination of structural subtyping between generics and types with non-uniform runtime representations presents significant challenges for formalising the language. We introduce WG (Welterweight Go), a core model of Go that captures key features excluded by prior work, including underlying types, type unions and type sets, and proposed new features, such as generic methods. We also develop LWG, a lower-level language that models Go's runtime mechanisms, notably the distinction between raw struct values and interface values that carry runtime type information (RTTI). We give a type"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27138","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.27138/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-26T01:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"myl2ZRiH0yCyfgKNqck96dU/ngnWQKck2lHk2vdQ0HUk6K5zNF9kFpkgXWzCWm+poAysxdm/Vfxmo0XMyR52Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:07:13.401275Z"},"content_sha256":"c0633a0379516817bfea8376ed56671bec561ffa88d58a9385cb8e205741e42f","schema_version":"1.0","event_id":"sha256:c0633a0379516817bfea8376ed56671bec561ffa88d58a9385cb8e205741e42f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HCO7H6QSLUU3THQZQG3EGE5P65/bundle.json","state_url":"https://pith.science/pith/HCO7H6QSLUU3THQZQG3EGE5P65/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HCO7H6QSLUU3THQZQG3EGE5P65/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-14T17:07:13Z","links":{"resolver":"https://pith.science/pith/HCO7H6QSLUU3THQZQG3EGE5P65","bundle":"https://pith.science/pith/HCO7H6QSLUU3THQZQG3EGE5P65/bundle.json","state":"https://pith.science/pith/HCO7H6QSLUU3THQZQG3EGE5P65/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HCO7H6QSLUU3THQZQG3EGE5P65/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:HCO7H6QSLUU3THQZQG3EGE5P65","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":"34040759f374c30e13f9ce9a3b44271ef40e4fd34bf898fd60c9cd59d268b0ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T15:13:24Z","title_canon_sha256":"4df02c7a43ef11e430a39f20e9e84e608f626346a741ce0c7bf6898e7836df7c"},"schema_version":"1.0","source":{"id":"2606.27138","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.27138","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2606.27138v1","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27138","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"HCO7H6QSLUU3","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"HCO7H6QSLUU3THQZ","created_at":"2026-06-26T01:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"HCO7H6QS","created_at":"2026-06-26T01:16:11Z"}],"graph_snapshots":[{"event_id":"sha256:c0633a0379516817bfea8376ed56671bec561ffa88d58a9385cb8e205741e42f","target":"graph","created_at":"2026-06-26T01:16:11Z","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.27138/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Go's unique combination of structural subtyping between generics and types with non-uniform runtime representations presents significant challenges for formalising the language. We introduce WG (Welterweight Go), a core model of Go that captures key features excluded by prior work, including underlying types, type unions and type sets, and proposed new features, such as generic methods. We also develop LWG, a lower-level language that models Go's runtime mechanisms, notably the distinction between raw struct values and interface values that carry runtime type information (RTTI). We give a type","authors_text":"Bernardo Toninho, Julien Lange, Keith Randall, Philip Wadler, Raymond Hu, Robert Griesemer","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27138","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:fbe1a917471c9a813f83c0e331d6561cfa7f67699e32b2b7b3b764bed0e27d01","target":"record","created_at":"2026-06-26T01:16:11Z","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":"34040759f374c30e13f9ce9a3b44271ef40e4fd34bf898fd60c9cd59d268b0ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T15:13:24Z","title_canon_sha256":"4df02c7a43ef11e430a39f20e9e84e608f626346a741ce0c7bf6898e7836df7c"},"schema_version":"1.0","source":{"id":"2606.27138","kind":"arxiv","version":1}},"canonical_sha256":"389df3fa125d29b99e1981b64313aff75dfa895dede0201548f85b3fb6357f7b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"389df3fa125d29b99e1981b64313aff75dfa895dede0201548f85b3fb6357f7b","first_computed_at":"2026-06-26T01:16:11.310836Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T01:16:11.310836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ui9ZoI2QoQfcNHZFZn036LMtrhY8uPwiyn/ZLNGVM+pB1pQrtYBKgzghXSsssNvKVYi9IQSXuSLTr8VYCFelAA==","signature_status":"signed_v1","signed_at":"2026-06-26T01:16:11.311227Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.27138","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fbe1a917471c9a813f83c0e331d6561cfa7f67699e32b2b7b3b764bed0e27d01","sha256:c0633a0379516817bfea8376ed56671bec561ffa88d58a9385cb8e205741e42f"],"state_sha256":"1b81ed3d9c84ad4abee792f9c038032c5e64d004a4c144c1b99ab8d3907bfdba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hh7j7EQKCRrfPTiSO2JftzijSJ+iOpNPH6+ZDr3qTycs9nLTeS9JVitd5T8t9cp2bj4FgOyafFHxG16Zc5O9Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T17:07:13.406760Z","bundle_sha256":"6cffeff33188590e9d8f93130372b16baea4101645d569c64d73f78cc40df8e6"}}