{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:6JTZ6OCAMOTBKE26KKUIE3E7WM","short_pith_number":"pith:6JTZ6OCA","canonical_record":{"source":{"id":"1206.2542","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-12T14:25:17Z","cross_cats_sorted":[],"title_canon_sha256":"24d79ed1354f65a2be34dd882e2c36fcee6006724e4bfad634e2563af5a21558","abstract_canon_sha256":"0a0b5b0ae534a0bc58c60b59b4a842bcdb7c46766c5b54a996a97252fc099e0a"},"schema_version":"1.0"},"canonical_sha256":"f2679f384063a615135e52a8826c9fb31bfc6a4671b38e672d2b658e5ed121dd","source":{"kind":"arxiv","id":"1206.2542","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.2542","created_at":"2026-05-18T03:53:44Z"},{"alias_kind":"arxiv_version","alias_value":"1206.2542v1","created_at":"2026-05-18T03:53:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.2542","created_at":"2026-05-18T03:53:44Z"},{"alias_kind":"pith_short_12","alias_value":"6JTZ6OCAMOTB","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"6JTZ6OCAMOTBKE26","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"6JTZ6OCA","created_at":"2026-05-18T12:26:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:6JTZ6OCAMOTBKE26KKUIE3E7WM","target":"record","payload":{"canonical_record":{"source":{"id":"1206.2542","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-12T14:25:17Z","cross_cats_sorted":[],"title_canon_sha256":"24d79ed1354f65a2be34dd882e2c36fcee6006724e4bfad634e2563af5a21558","abstract_canon_sha256":"0a0b5b0ae534a0bc58c60b59b4a842bcdb7c46766c5b54a996a97252fc099e0a"},"schema_version":"1.0"},"canonical_sha256":"f2679f384063a615135e52a8826c9fb31bfc6a4671b38e672d2b658e5ed121dd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:53:44.206714Z","signature_b64":"xxuwo+BwfIvomcMnv3VTxyYEGyIQQNhQZPJskRsiDGBBZPDqSuUjXkWA4W8SsvTvXBN3ruNH61PiemjjTouDBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2679f384063a615135e52a8826c9fb31bfc6a4671b38e672d2b658e5ed121dd","last_reissued_at":"2026-05-18T03:53:44.206102Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:53:44.206102Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.2542","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:53:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ERC6LmCH9olDYx9PWsYCgNlbF2YUqbB+YT1e0RURIG7jyl2f1xPFivuDR3OCV2glI66BCA2aTDI/+hbyOQP0Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:40:25.487277Z"},"content_sha256":"59a229b376da32a77932650c266414427a0fa5915766d06e7bbd242db55355bd","schema_version":"1.0","event_id":"sha256:59a229b376da32a77932650c266414427a0fa5915766d06e7bbd242db55355bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:6JTZ6OCAMOTBKE26KKUIE3E7WM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implementation of the Domain-Specific Language EasyTime using a LISA Compiler Generator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Dejan Hrn\\v{c}i\\v{c}, Iztok Fister, Iztok Fister Jr, Marjan Mernik","submitted_at":"2012-06-12T14:25:17Z","abstract_excerpt":"A manually time-measuring tool in mass sporting competitions cannot be imagined nowadays because many modern disciplines, such as IronMan, take a long time and, therefore, demand additional reliability. Moreover, automatic timing devices, based on RFID technology, have become cheaper. However, these devices cannot operate stand-alone because they need a computer measuring system that is capable of processing the incoming events, encoding the results, assigning them to the correct competitor, sorting the results according to the achieved times, and then providing a printout of the results. In t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.2542","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:53:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1Xl1dwJR0LpgdpDgnkEiAZ6nOoVXdXCyU/a69gnqCXSeOYzRHEUcmKo+Xma+/NMLgpRswSRRDs4b66Eo67RVCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:40:25.487646Z"},"content_sha256":"b5efedfccc7d5a9e5c0a27f9d77188c7ec84c75e1cbcb1dfdd2ec48d531b14fc","schema_version":"1.0","event_id":"sha256:b5efedfccc7d5a9e5c0a27f9d77188c7ec84c75e1cbcb1dfdd2ec48d531b14fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6JTZ6OCAMOTBKE26KKUIE3E7WM/bundle.json","state_url":"https://pith.science/pith/6JTZ6OCAMOTBKE26KKUIE3E7WM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6JTZ6OCAMOTBKE26KKUIE3E7WM/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-01T10:40:25Z","links":{"resolver":"https://pith.science/pith/6JTZ6OCAMOTBKE26KKUIE3E7WM","bundle":"https://pith.science/pith/6JTZ6OCAMOTBKE26KKUIE3E7WM/bundle.json","state":"https://pith.science/pith/6JTZ6OCAMOTBKE26KKUIE3E7WM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6JTZ6OCAMOTBKE26KKUIE3E7WM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:6JTZ6OCAMOTBKE26KKUIE3E7WM","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":"0a0b5b0ae534a0bc58c60b59b4a842bcdb7c46766c5b54a996a97252fc099e0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-12T14:25:17Z","title_canon_sha256":"24d79ed1354f65a2be34dd882e2c36fcee6006724e4bfad634e2563af5a21558"},"schema_version":"1.0","source":{"id":"1206.2542","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.2542","created_at":"2026-05-18T03:53:44Z"},{"alias_kind":"arxiv_version","alias_value":"1206.2542v1","created_at":"2026-05-18T03:53:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.2542","created_at":"2026-05-18T03:53:44Z"},{"alias_kind":"pith_short_12","alias_value":"6JTZ6OCAMOTB","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"6JTZ6OCAMOTBKE26","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"6JTZ6OCA","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:b5efedfccc7d5a9e5c0a27f9d77188c7ec84c75e1cbcb1dfdd2ec48d531b14fc","target":"graph","created_at":"2026-05-18T03:53:44Z","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":"A manually time-measuring tool in mass sporting competitions cannot be imagined nowadays because many modern disciplines, such as IronMan, take a long time and, therefore, demand additional reliability. Moreover, automatic timing devices, based on RFID technology, have become cheaper. However, these devices cannot operate stand-alone because they need a computer measuring system that is capable of processing the incoming events, encoding the results, assigning them to the correct competitor, sorting the results according to the achieved times, and then providing a printout of the results. In t","authors_text":"Dejan Hrn\\v{c}i\\v{c}, Iztok Fister, Iztok Fister Jr, Marjan Mernik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-12T14:25:17Z","title":"Implementation of the Domain-Specific Language EasyTime using a LISA Compiler Generator"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.2542","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:59a229b376da32a77932650c266414427a0fa5915766d06e7bbd242db55355bd","target":"record","created_at":"2026-05-18T03:53:44Z","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":"0a0b5b0ae534a0bc58c60b59b4a842bcdb7c46766c5b54a996a97252fc099e0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-12T14:25:17Z","title_canon_sha256":"24d79ed1354f65a2be34dd882e2c36fcee6006724e4bfad634e2563af5a21558"},"schema_version":"1.0","source":{"id":"1206.2542","kind":"arxiv","version":1}},"canonical_sha256":"f2679f384063a615135e52a8826c9fb31bfc6a4671b38e672d2b658e5ed121dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2679f384063a615135e52a8826c9fb31bfc6a4671b38e672d2b658e5ed121dd","first_computed_at":"2026-05-18T03:53:44.206102Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:53:44.206102Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xxuwo+BwfIvomcMnv3VTxyYEGyIQQNhQZPJskRsiDGBBZPDqSuUjXkWA4W8SsvTvXBN3ruNH61PiemjjTouDBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:53:44.206714Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.2542","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:59a229b376da32a77932650c266414427a0fa5915766d06e7bbd242db55355bd","sha256:b5efedfccc7d5a9e5c0a27f9d77188c7ec84c75e1cbcb1dfdd2ec48d531b14fc"],"state_sha256":"92fd11e645dd9df54e1777158f510203f1799558ca92c8ced5af7ef8df1f8ee6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S9Q6A+qjD9ubJZ0zbHNUedrgLfKRkbuRjP7uB7qeFsaUPyV8p3IKvhhcv8LTwtKGOpjdBZEsiTKkE5En9gxcDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T10:40:25.489595Z","bundle_sha256":"b774eb5a30e72d3108e82a6ec51bb8ea5e99a160995843309b0f31229cc442e6"}}