{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:OKJRCBMY5ZWW3NOF5WKPPWX2VY","short_pith_number":"pith:OKJRCBMY","canonical_record":{"source":{"id":"1503.04522","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-16T04:45:58Z","cross_cats_sorted":[],"title_canon_sha256":"b9e0a0af4ec8e88a05d5e14db98690618439622d31a783cb5d16da1d9bb65735","abstract_canon_sha256":"b108bb4bbb26239ebfe2a811c734461d798b3bfa82a6887371f44815f23cd6d7"},"schema_version":"1.0"},"canonical_sha256":"7293110598ee6d6db5c5ed94f7dafaae0ba6fdd3e8fc1ded4b97d10d43e16b89","source":{"kind":"arxiv","id":"1503.04522","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.04522","created_at":"2026-05-18T00:21:00Z"},{"alias_kind":"arxiv_version","alias_value":"1503.04522v1","created_at":"2026-05-18T00:21:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.04522","created_at":"2026-05-18T00:21:00Z"},{"alias_kind":"pith_short_12","alias_value":"OKJRCBMY5ZWW","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OKJRCBMY5ZWW3NOF","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OKJRCBMY","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:OKJRCBMY5ZWW3NOF5WKPPWX2VY","target":"record","payload":{"canonical_record":{"source":{"id":"1503.04522","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-16T04:45:58Z","cross_cats_sorted":[],"title_canon_sha256":"b9e0a0af4ec8e88a05d5e14db98690618439622d31a783cb5d16da1d9bb65735","abstract_canon_sha256":"b108bb4bbb26239ebfe2a811c734461d798b3bfa82a6887371f44815f23cd6d7"},"schema_version":"1.0"},"canonical_sha256":"7293110598ee6d6db5c5ed94f7dafaae0ba6fdd3e8fc1ded4b97d10d43e16b89","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:00.555608Z","signature_b64":"erqm3gnlJYTt/cxAsf1NPO2jFEjs8hvb1miSk84LjE2rUkJJ2/+1GeWcz7iFX7naHV8L2JywW/gqOkev1eJkDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7293110598ee6d6db5c5ed94f7dafaae0ba6fdd3e8fc1ded4b97d10d43e16b89","last_reissued_at":"2026-05-18T00:21:00.555156Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:00.555156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.04522","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-05-18T00:21:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6GuP91X3j4/VOFmTV6Sn5p8J9fyTLwfJGPUqQiH8GCScVr8RnVzqPA2gsOHAP6LgltXf2DmBognzxaTTCvG2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:41:20.703385Z"},"content_sha256":"068c3f43c1f5c29e65462f6394ad0785658e5b0f89737be8e382df8d19077d7d","schema_version":"1.0","event_id":"sha256:068c3f43c1f5c29e65462f6394ad0785658e5b0f89737be8e382df8d19077d7d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:OKJRCBMY5ZWW3NOF5WKPPWX2VY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Really Natural Linear Indexed Type Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Arthur Azevedo de Amorim, Emilio Jes\\'us Gallego Arias, Justin Hsu, Marco Gaboardi","submitted_at":"2015-03-16T04:45:58Z","abstract_excerpt":"Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices, allowing more fine-grained analyses. Such systems have been fruitfully applied in diverse domains, including implicit complexity and differential privacy. A natural way to enhance the expressiveness of this approach is by allowing the indices to depend on runtime information, in the spirit of dependent types. This approach is used in DFuzz, a language for differential privacy. The DFuzz type system relies on an inde"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.04522","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":""},"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-05-18T00:21:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nN9bE01EdYh4+o5NUPbpsonR4E26aDEUGpK+DbwypRjfntXvzop0KG97fofFQWNZ2Nrr3hq7fwSeLZWqu2mPCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:41:20.703998Z"},"content_sha256":"c7e63347c95fbf7c63ae9d67134fc1778ad6ff7cb7af8603b393639b690a9aa8","schema_version":"1.0","event_id":"sha256:c7e63347c95fbf7c63ae9d67134fc1778ad6ff7cb7af8603b393639b690a9aa8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OKJRCBMY5ZWW3NOF5WKPPWX2VY/bundle.json","state_url":"https://pith.science/pith/OKJRCBMY5ZWW3NOF5WKPPWX2VY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OKJRCBMY5ZWW3NOF5WKPPWX2VY/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-05-28T08:41:20Z","links":{"resolver":"https://pith.science/pith/OKJRCBMY5ZWW3NOF5WKPPWX2VY","bundle":"https://pith.science/pith/OKJRCBMY5ZWW3NOF5WKPPWX2VY/bundle.json","state":"https://pith.science/pith/OKJRCBMY5ZWW3NOF5WKPPWX2VY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OKJRCBMY5ZWW3NOF5WKPPWX2VY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:OKJRCBMY5ZWW3NOF5WKPPWX2VY","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":"b108bb4bbb26239ebfe2a811c734461d798b3bfa82a6887371f44815f23cd6d7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-16T04:45:58Z","title_canon_sha256":"b9e0a0af4ec8e88a05d5e14db98690618439622d31a783cb5d16da1d9bb65735"},"schema_version":"1.0","source":{"id":"1503.04522","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.04522","created_at":"2026-05-18T00:21:00Z"},{"alias_kind":"arxiv_version","alias_value":"1503.04522v1","created_at":"2026-05-18T00:21:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.04522","created_at":"2026-05-18T00:21:00Z"},{"alias_kind":"pith_short_12","alias_value":"OKJRCBMY5ZWW","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OKJRCBMY5ZWW3NOF","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OKJRCBMY","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:c7e63347c95fbf7c63ae9d67134fc1778ad6ff7cb7af8603b393639b690a9aa8","target":"graph","created_at":"2026-05-18T00:21:00Z","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"},"paper":{"abstract_excerpt":"Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices, allowing more fine-grained analyses. Such systems have been fruitfully applied in diverse domains, including implicit complexity and differential privacy. A natural way to enhance the expressiveness of this approach is by allowing the indices to depend on runtime information, in the spirit of dependent types. This approach is used in DFuzz, a language for differential privacy. The DFuzz type system relies on an inde","authors_text":"Arthur Azevedo de Amorim, Emilio Jes\\'us Gallego Arias, Justin Hsu, Marco Gaboardi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-16T04:45:58Z","title":"Really Natural Linear Indexed Type Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.04522","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:068c3f43c1f5c29e65462f6394ad0785658e5b0f89737be8e382df8d19077d7d","target":"record","created_at":"2026-05-18T00:21:00Z","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":"b108bb4bbb26239ebfe2a811c734461d798b3bfa82a6887371f44815f23cd6d7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-16T04:45:58Z","title_canon_sha256":"b9e0a0af4ec8e88a05d5e14db98690618439622d31a783cb5d16da1d9bb65735"},"schema_version":"1.0","source":{"id":"1503.04522","kind":"arxiv","version":1}},"canonical_sha256":"7293110598ee6d6db5c5ed94f7dafaae0ba6fdd3e8fc1ded4b97d10d43e16b89","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7293110598ee6d6db5c5ed94f7dafaae0ba6fdd3e8fc1ded4b97d10d43e16b89","first_computed_at":"2026-05-18T00:21:00.555156Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:00.555156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"erqm3gnlJYTt/cxAsf1NPO2jFEjs8hvb1miSk84LjE2rUkJJ2/+1GeWcz7iFX7naHV8L2JywW/gqOkev1eJkDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:00.555608Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.04522","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:068c3f43c1f5c29e65462f6394ad0785658e5b0f89737be8e382df8d19077d7d","sha256:c7e63347c95fbf7c63ae9d67134fc1778ad6ff7cb7af8603b393639b690a9aa8"],"state_sha256":"abd87015aa9e715bf8d030bbf079928fd042ee73c237cec8f9ab79e22ec8f0ad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sAsFSx36i1zCXdGR1mfXvMCeqUavsvavxZw+ct7Q2IYMzeNevtyrXj+UWtOZ6zTkCT/qT3AeTkX19cvL2//rCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T08:41:20.706929Z","bundle_sha256":"e3f28b0fcaabdee6ed6fd8c8ebbc586c00135d7a3f19fa0141e810697a9bc36c"}}