{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:EPYFCFHO3JSI53S2BF53LRGOZR","short_pith_number":"pith:EPYFCFHO","canonical_record":{"source":{"id":"1307.1942","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-08T04:41:18Z","cross_cats_sorted":["cs.HC","cs.MS"],"title_canon_sha256":"85b47b2f443fe406b827b458332b3331bf33e7f4db5f42967a2be814a6fe8312","abstract_canon_sha256":"dfa2a65d88fc9f8fe0b67b0f18f645560190f8aae0b7d5d3bdc587728d528059"},"schema_version":"1.0"},"canonical_sha256":"23f05114eeda648eee5a097bb5c4cecc41cb041915589388aa01237a42c2af3d","source":{"kind":"arxiv","id":"1307.1942","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.1942","created_at":"2026-05-18T03:19:03Z"},{"alias_kind":"arxiv_version","alias_value":"1307.1942v1","created_at":"2026-05-18T03:19:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.1942","created_at":"2026-05-18T03:19:03Z"},{"alias_kind":"pith_short_12","alias_value":"EPYFCFHO3JSI","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"EPYFCFHO3JSI53S2","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"EPYFCFHO","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:EPYFCFHO3JSI53S2BF53LRGOZR","target":"record","payload":{"canonical_record":{"source":{"id":"1307.1942","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-08T04:41:18Z","cross_cats_sorted":["cs.HC","cs.MS"],"title_canon_sha256":"85b47b2f443fe406b827b458332b3331bf33e7f4db5f42967a2be814a6fe8312","abstract_canon_sha256":"dfa2a65d88fc9f8fe0b67b0f18f645560190f8aae0b7d5d3bdc587728d528059"},"schema_version":"1.0"},"canonical_sha256":"23f05114eeda648eee5a097bb5c4cecc41cb041915589388aa01237a42c2af3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:19:03.035936Z","signature_b64":"BU0fNXrN4L6K8LLIZfPXu4RXX9gkyluH5cytQY3yRVg+uRqN/KgcNvJhzuMse+mkisn/L2qIg97IuakIaM+eDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23f05114eeda648eee5a097bb5c4cecc41cb041915589388aa01237a42c2af3d","last_reissued_at":"2026-05-18T03:19:03.035456Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:19:03.035456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.1942","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:19:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jOCmnAaUyNyfUo++dffNCAWnRnggccrwIURZO5161SEoFqu027eh/xFdP0jJkBfwitKRk2P+rdENEplocP1aBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:35:04.183636Z"},"content_sha256":"2f8ee67b67c3d30e1dee136b85fd25ca49c8903e7de393f11126d41cce94f5b8","schema_version":"1.0","event_id":"sha256:2f8ee67b67c3d30e1dee136b85fd25ca49c8903e7de393f11126d41cce94f5b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:EPYFCFHO3JSI53S2BF53LRGOZR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PROOFTOOL: a GUI for the GAPT Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.HC","cs.MS"],"primary_cat":"cs.LO","authors_text":"Alexander Leitsch (Institute of Computer Languages (E185), Bruno Woltzenlogel-Paleo (Institute of Computer Languages (E185), Cvetan Dunchev (Institute of Computer Languages (E185), Daniel Weller (Institute of Discrete Mathematics, Geometry (E104), Martin Riener (Institute of Computer Languages (E185), Mikheil Rukhaia (Institute of Computer Languages (E185), Tomer Libal (Institute of Computer Languages (E185), Vienna University of Technology)","submitted_at":"2013-07-08T04:41:18Z","abstract_excerpt":"This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for proofs."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.1942","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:19:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6K9DTbCTq4h3gkJxP/eLCz//94NZad/RwiZiZDpsPgmSq5MqMih3Ehbv1Abxhad2sFTmYF/X5h6k3uSYC17pDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:35:04.184271Z"},"content_sha256":"96c93b5078233355bcf109217ffca4f4aa5b8819abc66f698c2ac700ffaf59d2","schema_version":"1.0","event_id":"sha256:96c93b5078233355bcf109217ffca4f4aa5b8819abc66f698c2ac700ffaf59d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EPYFCFHO3JSI53S2BF53LRGOZR/bundle.json","state_url":"https://pith.science/pith/EPYFCFHO3JSI53S2BF53LRGOZR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EPYFCFHO3JSI53S2BF53LRGOZR/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-06T19:35:04Z","links":{"resolver":"https://pith.science/pith/EPYFCFHO3JSI53S2BF53LRGOZR","bundle":"https://pith.science/pith/EPYFCFHO3JSI53S2BF53LRGOZR/bundle.json","state":"https://pith.science/pith/EPYFCFHO3JSI53S2BF53LRGOZR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EPYFCFHO3JSI53S2BF53LRGOZR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:EPYFCFHO3JSI53S2BF53LRGOZR","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":"dfa2a65d88fc9f8fe0b67b0f18f645560190f8aae0b7d5d3bdc587728d528059","cross_cats_sorted":["cs.HC","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-08T04:41:18Z","title_canon_sha256":"85b47b2f443fe406b827b458332b3331bf33e7f4db5f42967a2be814a6fe8312"},"schema_version":"1.0","source":{"id":"1307.1942","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.1942","created_at":"2026-05-18T03:19:03Z"},{"alias_kind":"arxiv_version","alias_value":"1307.1942v1","created_at":"2026-05-18T03:19:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.1942","created_at":"2026-05-18T03:19:03Z"},{"alias_kind":"pith_short_12","alias_value":"EPYFCFHO3JSI","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"EPYFCFHO3JSI53S2","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"EPYFCFHO","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:96c93b5078233355bcf109217ffca4f4aa5b8819abc66f698c2ac700ffaf59d2","target":"graph","created_at":"2026-05-18T03:19:03Z","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 paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for proofs.","authors_text":"Alexander Leitsch (Institute of Computer Languages (E185), Bruno Woltzenlogel-Paleo (Institute of Computer Languages (E185), Cvetan Dunchev (Institute of Computer Languages (E185), Daniel Weller (Institute of Discrete Mathematics, Geometry (E104), Martin Riener (Institute of Computer Languages (E185), Mikheil Rukhaia (Institute of Computer Languages (E185), Tomer Libal (Institute of Computer Languages (E185), Vienna University of Technology)","cross_cats":["cs.HC","cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-08T04:41:18Z","title":"PROOFTOOL: a GUI for the GAPT Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.1942","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:2f8ee67b67c3d30e1dee136b85fd25ca49c8903e7de393f11126d41cce94f5b8","target":"record","created_at":"2026-05-18T03:19:03Z","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":"dfa2a65d88fc9f8fe0b67b0f18f645560190f8aae0b7d5d3bdc587728d528059","cross_cats_sorted":["cs.HC","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-08T04:41:18Z","title_canon_sha256":"85b47b2f443fe406b827b458332b3331bf33e7f4db5f42967a2be814a6fe8312"},"schema_version":"1.0","source":{"id":"1307.1942","kind":"arxiv","version":1}},"canonical_sha256":"23f05114eeda648eee5a097bb5c4cecc41cb041915589388aa01237a42c2af3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23f05114eeda648eee5a097bb5c4cecc41cb041915589388aa01237a42c2af3d","first_computed_at":"2026-05-18T03:19:03.035456Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:19:03.035456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BU0fNXrN4L6K8LLIZfPXu4RXX9gkyluH5cytQY3yRVg+uRqN/KgcNvJhzuMse+mkisn/L2qIg97IuakIaM+eDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:19:03.035936Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.1942","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f8ee67b67c3d30e1dee136b85fd25ca49c8903e7de393f11126d41cce94f5b8","sha256:96c93b5078233355bcf109217ffca4f4aa5b8819abc66f698c2ac700ffaf59d2"],"state_sha256":"daa6b806d6fdfaeccea7960c6238528bbce5c17b2712a0662346d6a1e08fb94f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RkdIXFgDU9K3OttZYNLcMuXPp1adAGGlCMUfLXI10k2K5gbfJeTwLVf+GXlLQCrbJyd70aGmYgKd7GT5kLTRDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T19:35:04.187366Z","bundle_sha256":"b1a08c390e5d3b2d5576be22f874981176387b9470d29359198a69af87d90bb4"}}