{"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"}