{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:2SUR252IMMFJPPQ4AJ5T27GA73","short_pith_number":"pith:2SUR252I","canonical_record":{"source":{"id":"1512.01898","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-07T03:17:50Z","cross_cats_sorted":[],"title_canon_sha256":"5f9346b80e05af7707e71580e628deef1dfa1a0f54ac8b70e333140920df62bf","abstract_canon_sha256":"d72e8ee001b5d2ffccadb32e399f9074a521e538d679857de04bc43f07f297e2"},"schema_version":"1.0"},"canonical_sha256":"d4a91d7748630a97be1c027b3d7cc0fed4b0a8cfc97935feb991ab8b5504ce08","source":{"kind":"arxiv","id":"1512.01898","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.01898","created_at":"2026-05-18T01:25:10Z"},{"alias_kind":"arxiv_version","alias_value":"1512.01898v1","created_at":"2026-05-18T01:25:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.01898","created_at":"2026-05-18T01:25:10Z"},{"alias_kind":"pith_short_12","alias_value":"2SUR252IMMFJ","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"2SUR252IMMFJPPQ4","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"2SUR252I","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:2SUR252IMMFJPPQ4AJ5T27GA73","target":"record","payload":{"canonical_record":{"source":{"id":"1512.01898","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-07T03:17:50Z","cross_cats_sorted":[],"title_canon_sha256":"5f9346b80e05af7707e71580e628deef1dfa1a0f54ac8b70e333140920df62bf","abstract_canon_sha256":"d72e8ee001b5d2ffccadb32e399f9074a521e538d679857de04bc43f07f297e2"},"schema_version":"1.0"},"canonical_sha256":"d4a91d7748630a97be1c027b3d7cc0fed4b0a8cfc97935feb991ab8b5504ce08","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:25:10.066442Z","signature_b64":"sAkxurNIFvDYsVtXQCvZYay8j/Ovh9U77G76hSiz8vzDiXp4wqVtqz7zS9p5SVx3GDjuYdyymlJ5Cs2c106XBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4a91d7748630a97be1c027b3d7cc0fed4b0a8cfc97935feb991ab8b5504ce08","last_reissued_at":"2026-05-18T01:25:10.065785Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:25:10.065785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.01898","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-18T01:25:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NB4HnP4s8AznKtsZ8BXNNvIPD0Bs1IkEC0uBvovOVF88Bn/uK3xBFfbD8xhUwQXnhwBPIstxLvgiPN5EYljbCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T07:42:53.277941Z"},"content_sha256":"050ba98cf0982a6de4d9a33275e0cd1b28c878337f87e7afdd55eb38e0d8c3db","schema_version":"1.0","event_id":"sha256:050ba98cf0982a6de4d9a33275e0cd1b28c878337f87e7afdd55eb38e0d8c3db"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:2SUR252IMMFJPPQ4AJ5T27GA73","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Simple and Practical Linear Algebra Library Interface with Static Size Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Akinori Abe, Eijiro Sumii","submitted_at":"2015-12-07T03:17:50Z","abstract_excerpt":"Linear algebra is a major field of numerical computation and is widely applied. Most linear algebra libraries (in most programming languages) do not statically guarantee consistency of the dimensions of vectors and matrices, causing runtime errors. While advanced type systems--specifically, dependent types on natural numbers--can ensure consistency among the sizes of collections such as lists and arrays, such type systems generally require non-trivial changes to existing languages and application programs, or tricky type-level programming.\n  We have developed a linear algebra library interface"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.01898","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-18T01:25:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f88RUuM4N95bfzVjTyRvM7u4q+7WgN7x8w5h7KVrcKpJNClDnOA5C+U2dLAPOZVoFqC8j6WT2vwZ7ctqpMqBCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T07:42:53.278280Z"},"content_sha256":"8acc5004e4fbd4d919d02c29791092acce379e288fac468b479f1712c719e42f","schema_version":"1.0","event_id":"sha256:8acc5004e4fbd4d919d02c29791092acce379e288fac468b479f1712c719e42f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2SUR252IMMFJPPQ4AJ5T27GA73/bundle.json","state_url":"https://pith.science/pith/2SUR252IMMFJPPQ4AJ5T27GA73/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2SUR252IMMFJPPQ4AJ5T27GA73/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-06-30T07:42:53Z","links":{"resolver":"https://pith.science/pith/2SUR252IMMFJPPQ4AJ5T27GA73","bundle":"https://pith.science/pith/2SUR252IMMFJPPQ4AJ5T27GA73/bundle.json","state":"https://pith.science/pith/2SUR252IMMFJPPQ4AJ5T27GA73/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2SUR252IMMFJPPQ4AJ5T27GA73/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2SUR252IMMFJPPQ4AJ5T27GA73","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":"d72e8ee001b5d2ffccadb32e399f9074a521e538d679857de04bc43f07f297e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-07T03:17:50Z","title_canon_sha256":"5f9346b80e05af7707e71580e628deef1dfa1a0f54ac8b70e333140920df62bf"},"schema_version":"1.0","source":{"id":"1512.01898","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.01898","created_at":"2026-05-18T01:25:10Z"},{"alias_kind":"arxiv_version","alias_value":"1512.01898v1","created_at":"2026-05-18T01:25:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.01898","created_at":"2026-05-18T01:25:10Z"},{"alias_kind":"pith_short_12","alias_value":"2SUR252IMMFJ","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"2SUR252IMMFJPPQ4","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"2SUR252I","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:8acc5004e4fbd4d919d02c29791092acce379e288fac468b479f1712c719e42f","target":"graph","created_at":"2026-05-18T01:25:10Z","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":"Linear algebra is a major field of numerical computation and is widely applied. Most linear algebra libraries (in most programming languages) do not statically guarantee consistency of the dimensions of vectors and matrices, causing runtime errors. While advanced type systems--specifically, dependent types on natural numbers--can ensure consistency among the sizes of collections such as lists and arrays, such type systems generally require non-trivial changes to existing languages and application programs, or tricky type-level programming.\n  We have developed a linear algebra library interface","authors_text":"Akinori Abe, Eijiro Sumii","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-07T03:17:50Z","title":"A Simple and Practical Linear Algebra Library Interface with Static Size Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.01898","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:050ba98cf0982a6de4d9a33275e0cd1b28c878337f87e7afdd55eb38e0d8c3db","target":"record","created_at":"2026-05-18T01:25:10Z","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":"d72e8ee001b5d2ffccadb32e399f9074a521e538d679857de04bc43f07f297e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-12-07T03:17:50Z","title_canon_sha256":"5f9346b80e05af7707e71580e628deef1dfa1a0f54ac8b70e333140920df62bf"},"schema_version":"1.0","source":{"id":"1512.01898","kind":"arxiv","version":1}},"canonical_sha256":"d4a91d7748630a97be1c027b3d7cc0fed4b0a8cfc97935feb991ab8b5504ce08","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4a91d7748630a97be1c027b3d7cc0fed4b0a8cfc97935feb991ab8b5504ce08","first_computed_at":"2026-05-18T01:25:10.065785Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:25:10.065785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sAkxurNIFvDYsVtXQCvZYay8j/Ovh9U77G76hSiz8vzDiXp4wqVtqz7zS9p5SVx3GDjuYdyymlJ5Cs2c106XBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:25:10.066442Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.01898","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:050ba98cf0982a6de4d9a33275e0cd1b28c878337f87e7afdd55eb38e0d8c3db","sha256:8acc5004e4fbd4d919d02c29791092acce379e288fac468b479f1712c719e42f"],"state_sha256":"b5e1103585b41ba8c703ab1105f2472f137489b731135601018786d1d0d5e4ea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bvqABbCjkmgP8+fZ62bsKSXbrW3qNeBqlJUs8kSOddlp9jJPa08A/uGFx7mDRmRz9vCfss/aE2eEYm/fAwDyDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T07:42:53.283174Z","bundle_sha256":"b4161163b1c19fb188a56c812a7410376927e8e73f03ea2825c0720f041bc2f8"}}