{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2R4FYVEJW5A76UFJX2SY7MNCUI","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":"d024b2c799e52f020683f3e65602d4845e9c8d7fe16995cfc1ffe11e325f10ec","cross_cats_sorted":["cs.MS","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T21:44:02Z","title_canon_sha256":"beafa697354ddf44ff673d1691b139994855f6b659379ed32a22bb30bc22578d"},"schema_version":"1.0","source":{"id":"2606.05466","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.05466","created_at":"2026-06-05T01:14:52Z"},{"alias_kind":"arxiv_version","alias_value":"2606.05466v1","created_at":"2026-06-05T01:14:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.05466","created_at":"2026-06-05T01:14:52Z"},{"alias_kind":"pith_short_12","alias_value":"2R4FYVEJW5A7","created_at":"2026-06-05T01:14:52Z"},{"alias_kind":"pith_short_16","alias_value":"2R4FYVEJW5A76UFJ","created_at":"2026-06-05T01:14:52Z"},{"alias_kind":"pith_short_8","alias_value":"2R4FYVEJ","created_at":"2026-06-05T01:14:52Z"}],"graph_snapshots":[{"event_id":"sha256:19508f2a71209049111e9594cc0f7cd4be05e8c29ef2eb315cc7df59085b9a27","target":"graph","created_at":"2026-06-05T01:14:52Z","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.05466/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Tagging of generic dynamic values is important in symbolic-computation and dynamic-language systems, but the trade-offs change as machine architectures and workloads evolve. In particular, old folklore about boxed values, immediate values, and type tags must be recalibrated from time to time. We revisit the performance of badged object headers, low-bit tagging, and two NaN-boxing layouts on a range of platforms in use today, including AArch64 and x86-64 architectures from different manufacturers. The experiments isolate two distinct effects: the cost avoided by not heap-allocating common scala","authors_text":"Stephen M. Watt","cross_cats":["cs.MS","cs.PF"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking in on Type Tag Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.05466","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:398575b91f2ebeac5f5f9fba7c811222c7ae0e2b67a18109e218e3873261f4ed","target":"record","created_at":"2026-06-05T01:14:52Z","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":"d024b2c799e52f020683f3e65602d4845e9c8d7fe16995cfc1ffe11e325f10ec","cross_cats_sorted":["cs.MS","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T21:44:02Z","title_canon_sha256":"beafa697354ddf44ff673d1691b139994855f6b659379ed32a22bb30bc22578d"},"schema_version":"1.0","source":{"id":"2606.05466","kind":"arxiv","version":1}},"canonical_sha256":"d4785c5489b741ff50a9bea58fb1a2a22a8e11a5b84a3a6cbdfe8dee277f24b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4785c5489b741ff50a9bea58fb1a2a22a8e11a5b84a3a6cbdfe8dee277f24b3","first_computed_at":"2026-06-05T01:14:52.015876Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-05T01:14:52.015876Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DuWVEldSxMHsaMyVSWL4fQB9RxNY67duupD1VwzyzLrYgMtg78K9NserVpf6W3uZp9xil4WVAhipoHCFevVVAw==","signature_status":"signed_v1","signed_at":"2026-06-05T01:14:52.016371Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.05466","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:398575b91f2ebeac5f5f9fba7c811222c7ae0e2b67a18109e218e3873261f4ed","sha256:19508f2a71209049111e9594cc0f7cd4be05e8c29ef2eb315cc7df59085b9a27"],"state_sha256":"cdd2297a56a14f23c3760dfca7c669f5bb3600b24e6831014afe82b79375bd89"}