{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:WK5U62DRM66ODJOR3OCHHFNFIB","short_pith_number":"pith:WK5U62DR","canonical_record":{"source":{"id":"1207.2892","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-12T09:35:47Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"8ccc2f497209bdafec1a80fac3052902505d0365898017a6a0ace3c4a2535737","abstract_canon_sha256":"aca7a3d5c069197c178cbf3a1596780735ac225554e3c2ad3dd64bcd2b7782e1"},"schema_version":"1.0"},"canonical_sha256":"b2bb4f687167bce1a5d1db847395a54058e13965fd3620ac1457c5f9ff5404e4","source":{"kind":"arxiv","id":"1207.2892","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.2892","created_at":"2026-05-18T03:51:13Z"},{"alias_kind":"arxiv_version","alias_value":"1207.2892v1","created_at":"2026-05-18T03:51:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.2892","created_at":"2026-05-18T03:51:13Z"},{"alias_kind":"pith_short_12","alias_value":"WK5U62DRM66O","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"WK5U62DRM66ODJOR","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"WK5U62DR","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:WK5U62DRM66ODJOR3OCHHFNFIB","target":"record","payload":{"canonical_record":{"source":{"id":"1207.2892","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-12T09:35:47Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"8ccc2f497209bdafec1a80fac3052902505d0365898017a6a0ace3c4a2535737","abstract_canon_sha256":"aca7a3d5c069197c178cbf3a1596780735ac225554e3c2ad3dd64bcd2b7782e1"},"schema_version":"1.0"},"canonical_sha256":"b2bb4f687167bce1a5d1db847395a54058e13965fd3620ac1457c5f9ff5404e4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:51:13.539511Z","signature_b64":"RpAYm/pB/xUGpEoFgxR/WvUhNSwCxbYfyjK3WNJnfmuAd3bXyiSwfts3P6diuGk/59oYrKG711px+nkcPxGUBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b2bb4f687167bce1a5d1db847395a54058e13965fd3620ac1457c5f9ff5404e4","last_reissued_at":"2026-05-18T03:51:13.538904Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:51:13.538904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.2892","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-18T03:51:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fQCimdg14OOl1daICve+6OD8LKcdw+Xk42N5az0KP9RtMfHJFE8MBpdBwjh45BxPot7QcC4foUu7OQXV3DDLCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T04:10:16.505368Z"},"content_sha256":"c0e92d5045b164ad155cb995a84834077a75476b87dd370041fc25f851669d7b","schema_version":"1.0","event_id":"sha256:c0e92d5045b164ad155cb995a84834077a75476b87dd370041fc25f851669d7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:WK5U62DRM66ODJOR3OCHHFNFIB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Web Interface for Matita","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Andrea Asperti, Wilmer Ricciotti","submitted_at":"2012-07-12T09:35:47Z","abstract_excerpt":"This article describes a prototype implementation of a web interface for the Matita proof assistant. The interface supports all basic functionalities of the local Gtk interface, but takes advantage of the markup to enrich the document with several kinds of annotations or active elements. Annotations may have both a presentational/hypertextual nature, aimed to improve the quality of the proof script as a human readable document, or a more semantic nature, aimed to help the system in its processing of the script. The latter kind comprises information automatically generated by the proof assistan"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.2892","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-18T03:51:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IyMwJKCW3+WhqHKCdtOieGDUFpAM4A4WrP5tDyowOSg9VMHFv1hrpumF7lB+N6gSBv/i/ND+pufYXl23nQxsCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T04:10:16.506000Z"},"content_sha256":"50e093b931068c765250821f9c5b38cd85e73d39f438a6118e52391b0c33ffc9","schema_version":"1.0","event_id":"sha256:50e093b931068c765250821f9c5b38cd85e73d39f438a6118e52391b0c33ffc9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WK5U62DRM66ODJOR3OCHHFNFIB/bundle.json","state_url":"https://pith.science/pith/WK5U62DRM66ODJOR3OCHHFNFIB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WK5U62DRM66ODJOR3OCHHFNFIB/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-06T04:10:16Z","links":{"resolver":"https://pith.science/pith/WK5U62DRM66ODJOR3OCHHFNFIB","bundle":"https://pith.science/pith/WK5U62DRM66ODJOR3OCHHFNFIB/bundle.json","state":"https://pith.science/pith/WK5U62DRM66ODJOR3OCHHFNFIB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WK5U62DRM66ODJOR3OCHHFNFIB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:WK5U62DRM66ODJOR3OCHHFNFIB","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":"aca7a3d5c069197c178cbf3a1596780735ac225554e3c2ad3dd64bcd2b7782e1","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-12T09:35:47Z","title_canon_sha256":"8ccc2f497209bdafec1a80fac3052902505d0365898017a6a0ace3c4a2535737"},"schema_version":"1.0","source":{"id":"1207.2892","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.2892","created_at":"2026-05-18T03:51:13Z"},{"alias_kind":"arxiv_version","alias_value":"1207.2892v1","created_at":"2026-05-18T03:51:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.2892","created_at":"2026-05-18T03:51:13Z"},{"alias_kind":"pith_short_12","alias_value":"WK5U62DRM66O","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"WK5U62DRM66ODJOR","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"WK5U62DR","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:50e093b931068c765250821f9c5b38cd85e73d39f438a6118e52391b0c33ffc9","target":"graph","created_at":"2026-05-18T03:51:13Z","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":"This article describes a prototype implementation of a web interface for the Matita proof assistant. The interface supports all basic functionalities of the local Gtk interface, but takes advantage of the markup to enrich the document with several kinds of annotations or active elements. Annotations may have both a presentational/hypertextual nature, aimed to improve the quality of the proof script as a human readable document, or a more semantic nature, aimed to help the system in its processing of the script. The latter kind comprises information automatically generated by the proof assistan","authors_text":"Andrea Asperti, Wilmer Ricciotti","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-12T09:35:47Z","title":"A Web Interface for Matita"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.2892","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:c0e92d5045b164ad155cb995a84834077a75476b87dd370041fc25f851669d7b","target":"record","created_at":"2026-05-18T03:51:13Z","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":"aca7a3d5c069197c178cbf3a1596780735ac225554e3c2ad3dd64bcd2b7782e1","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-12T09:35:47Z","title_canon_sha256":"8ccc2f497209bdafec1a80fac3052902505d0365898017a6a0ace3c4a2535737"},"schema_version":"1.0","source":{"id":"1207.2892","kind":"arxiv","version":1}},"canonical_sha256":"b2bb4f687167bce1a5d1db847395a54058e13965fd3620ac1457c5f9ff5404e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b2bb4f687167bce1a5d1db847395a54058e13965fd3620ac1457c5f9ff5404e4","first_computed_at":"2026-05-18T03:51:13.538904Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:51:13.538904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RpAYm/pB/xUGpEoFgxR/WvUhNSwCxbYfyjK3WNJnfmuAd3bXyiSwfts3P6diuGk/59oYrKG711px+nkcPxGUBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:51:13.539511Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.2892","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0e92d5045b164ad155cb995a84834077a75476b87dd370041fc25f851669d7b","sha256:50e093b931068c765250821f9c5b38cd85e73d39f438a6118e52391b0c33ffc9"],"state_sha256":"b61147be6392375c19168ad8c337bbc09147a76449c89ef8c04c66c3a5b3c940"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/WFSzmRB6WMjnv4IpIY1yXpoYuVIRe7eryKkS+fJcF9XWn9FmbgInR3Og/G4xhj9abUL0vbnakgjl+lMJq2qAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T04:10:16.509346Z","bundle_sha256":"31b70794ad1914ef9370938925bfa8b29bf042323a1263618e76ad58d3452b1a"}}