{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KFUD4QE7Q634JJ2HWQUVBFCCVW","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":"90840eeb2d9c0b330a8cbb50683183b5fa89c057d432f808cfe2a31d94b7cf64","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2026-06-11T13:01:57Z","title_canon_sha256":"e64290993f896ab0b9301b87e3a811cee190db424a6bcbb15126c5d0870130e6"},"schema_version":"1.0","source":{"id":"2606.13306","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.13306","created_at":"2026-06-12T01:09:51Z"},{"alias_kind":"arxiv_version","alias_value":"2606.13306v1","created_at":"2026-06-12T01:09:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.13306","created_at":"2026-06-12T01:09:51Z"},{"alias_kind":"pith_short_12","alias_value":"KFUD4QE7Q634","created_at":"2026-06-12T01:09:51Z"},{"alias_kind":"pith_short_16","alias_value":"KFUD4QE7Q634JJ2H","created_at":"2026-06-12T01:09:51Z"},{"alias_kind":"pith_short_8","alias_value":"KFUD4QE7","created_at":"2026-06-12T01:09:51Z"}],"graph_snapshots":[{"event_id":"sha256:b8a6535ebe33ebfc1471dad25b70182ccf2e27213995839baaf68fdf3cba7b7e","target":"graph","created_at":"2026-06-12T01:09:51Z","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.13306/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents EconCSLib, a Lean 4 library and workflow for formalizing research papers in Economics and Computation with language-model assistance. The central design principle is a human-AI-Lean workflow: an LLM writes Lean code, Lean checks formal statements and proofs, and humans (assisted by an LLM) verify the translation boundary from paper claims to formal statements.\n  EconCSLib is organized around research papers, preserving their formal statements and following their proof structure to the extent possible; reusable mathematical statements are elevated into shared EconCS infrastr","authors_text":"Nikhil Garg","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2026-06-11T13:01:57Z","title":"EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.13306","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:e21843914be2d179779d7bb6a9ff458adfe3ea8d791ee0b719bd9fd736a7b250","target":"record","created_at":"2026-06-12T01:09:51Z","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":"90840eeb2d9c0b330a8cbb50683183b5fa89c057d432f808cfe2a31d94b7cf64","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2026-06-11T13:01:57Z","title_canon_sha256":"e64290993f896ab0b9301b87e3a811cee190db424a6bcbb15126c5d0870130e6"},"schema_version":"1.0","source":{"id":"2606.13306","kind":"arxiv","version":1}},"canonical_sha256":"51683e409f87b7c4a747b429509442ad9f40a6cd84eaf363a5ae19844095daf2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51683e409f87b7c4a747b429509442ad9f40a6cd84eaf363a5ae19844095daf2","first_computed_at":"2026-06-12T01:09:51.507305Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T01:09:51.507305Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p2D5td7D0LcvvCvJke86YaM+AUypkoXE2/rDMPmF9YL4cC1FibpudGadobJfUcR2uDfHbpu894v7M6c13HJyAA==","signature_status":"signed_v1","signed_at":"2026-06-12T01:09:51.507996Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.13306","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e21843914be2d179779d7bb6a9ff458adfe3ea8d791ee0b719bd9fd736a7b250","sha256:b8a6535ebe33ebfc1471dad25b70182ccf2e27213995839baaf68fdf3cba7b7e"],"state_sha256":"01dad14165af1a3bb023896d9d84659febc14f374e34a3b31b13c8ce738d47f6"}