{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:RNHSIBYXANNIHABJMIDUIZLTGU","short_pith_number":"pith:RNHSIBYX","canonical_record":{"source":{"id":"1706.02400","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-07T22:30:58Z","cross_cats_sorted":[],"title_canon_sha256":"785158be674edd3235167aee0603f322b27998ede79bd6491d830fbe4e036387","abstract_canon_sha256":"6ec0bd3797e8f43dbc6889167b5c519c56a8fbd8e3b2fa704fcee19c02d74c0d"},"schema_version":"1.0"},"canonical_sha256":"8b4f240717035a83802962074465733523bb28387c61f896051bfa332ed6a35c","source":{"kind":"arxiv","id":"1706.02400","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.02400","created_at":"2026-05-18T00:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"1706.02400v1","created_at":"2026-05-18T00:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.02400","created_at":"2026-05-18T00:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"RNHSIBYXANNI","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RNHSIBYXANNIHABJ","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RNHSIBYX","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:RNHSIBYXANNIHABJMIDUIZLTGU","target":"record","payload":{"canonical_record":{"source":{"id":"1706.02400","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-07T22:30:58Z","cross_cats_sorted":[],"title_canon_sha256":"785158be674edd3235167aee0603f322b27998ede79bd6491d830fbe4e036387","abstract_canon_sha256":"6ec0bd3797e8f43dbc6889167b5c519c56a8fbd8e3b2fa704fcee19c02d74c0d"},"schema_version":"1.0"},"canonical_sha256":"8b4f240717035a83802962074465733523bb28387c61f896051bfa332ed6a35c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:45.581851Z","signature_b64":"s/dJPOYHT5af4XG8JnJtLeRC2Xq3HKMXDM0zg0VFYXVZlaWhW9+8Ri3cpIBBtQk43fl69pYHsZdatEPHt7ZDDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8b4f240717035a83802962074465733523bb28387c61f896051bfa332ed6a35c","last_reissued_at":"2026-05-18T00:42:45.581198Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:45.581198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.02400","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-18T00:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+cTduCvblkOkJRGXmy69wDlEUqDsyrGzHZlQvQLo+489HT520RXspkSmFmBM1lFO4DCg3Rr3bD3STaMvZd9cCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:55:57.239406Z"},"content_sha256":"9c82471b22afa974d6a22fdb3ef37258f1bcf322ec2d487da2bb00769407d6ef","schema_version":"1.0","event_id":"sha256:9c82471b22afa974d6a22fdb3ef37258f1bcf322ec2d487da2bb00769407d6ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:RNHSIBYXANNIHABJMIDUIZLTGU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decoding Lua: Formal Semantics for the Developer and the Semanticist","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas, Mallku Soldevila","submitted_at":"2017-06-07T22:30:58Z","abstract_excerpt":"We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, confirming that our model accurately represents the language. In addition, we set us an ambitious goal: to target both a PL semanticist ---not necessarily versed in Lua---, and a Lua developer ---not necessarily versed in semantic frameworks. To the former, we present the peculiarities of the language, and how we model them in a traditional small-step operational semantics, embedded"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.02400","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-18T00:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/3a9//RGG2gu3gi5KMyJNBhfgAHL11nrC8TFighQeuZAzQjbK385ulevNBzQFN7aSvrk5hRfYmijZx3nTv/XCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:55:57.240109Z"},"content_sha256":"27f20adf1bd5fc5268a4baea514962d20aefc6eb8448c55a9843183a21d659b4","schema_version":"1.0","event_id":"sha256:27f20adf1bd5fc5268a4baea514962d20aefc6eb8448c55a9843183a21d659b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RNHSIBYXANNIHABJMIDUIZLTGU/bundle.json","state_url":"https://pith.science/pith/RNHSIBYXANNIHABJMIDUIZLTGU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RNHSIBYXANNIHABJMIDUIZLTGU/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-12T03:55:57Z","links":{"resolver":"https://pith.science/pith/RNHSIBYXANNIHABJMIDUIZLTGU","bundle":"https://pith.science/pith/RNHSIBYXANNIHABJMIDUIZLTGU/bundle.json","state":"https://pith.science/pith/RNHSIBYXANNIHABJMIDUIZLTGU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RNHSIBYXANNIHABJMIDUIZLTGU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RNHSIBYXANNIHABJMIDUIZLTGU","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":"6ec0bd3797e8f43dbc6889167b5c519c56a8fbd8e3b2fa704fcee19c02d74c0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-07T22:30:58Z","title_canon_sha256":"785158be674edd3235167aee0603f322b27998ede79bd6491d830fbe4e036387"},"schema_version":"1.0","source":{"id":"1706.02400","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.02400","created_at":"2026-05-18T00:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"1706.02400v1","created_at":"2026-05-18T00:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.02400","created_at":"2026-05-18T00:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"RNHSIBYXANNI","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RNHSIBYXANNIHABJ","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RNHSIBYX","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:27f20adf1bd5fc5268a4baea514962d20aefc6eb8448c55a9843183a21d659b4","target":"graph","created_at":"2026-05-18T00:42:45Z","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":"We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, confirming that our model accurately represents the language. In addition, we set us an ambitious goal: to target both a PL semanticist ---not necessarily versed in Lua---, and a Lua developer ---not necessarily versed in semantic frameworks. To the former, we present the peculiarities of the language, and how we model them in a traditional small-step operational semantics, embedded","authors_text":"Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas, Mallku Soldevila","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-07T22:30:58Z","title":"Decoding Lua: Formal Semantics for the Developer and the Semanticist"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.02400","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:9c82471b22afa974d6a22fdb3ef37258f1bcf322ec2d487da2bb00769407d6ef","target":"record","created_at":"2026-05-18T00:42:45Z","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":"6ec0bd3797e8f43dbc6889167b5c519c56a8fbd8e3b2fa704fcee19c02d74c0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-06-07T22:30:58Z","title_canon_sha256":"785158be674edd3235167aee0603f322b27998ede79bd6491d830fbe4e036387"},"schema_version":"1.0","source":{"id":"1706.02400","kind":"arxiv","version":1}},"canonical_sha256":"8b4f240717035a83802962074465733523bb28387c61f896051bfa332ed6a35c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b4f240717035a83802962074465733523bb28387c61f896051bfa332ed6a35c","first_computed_at":"2026-05-18T00:42:45.581198Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:45.581198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s/dJPOYHT5af4XG8JnJtLeRC2Xq3HKMXDM0zg0VFYXVZlaWhW9+8Ri3cpIBBtQk43fl69pYHsZdatEPHt7ZDDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:45.581851Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.02400","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c82471b22afa974d6a22fdb3ef37258f1bcf322ec2d487da2bb00769407d6ef","sha256:27f20adf1bd5fc5268a4baea514962d20aefc6eb8448c55a9843183a21d659b4"],"state_sha256":"171b1f220c3a0705f14ebfddf405e277b1adf1f58d9a48dbfbb4fbdf8bbeb45d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SKe3QDfOR4TAm1dXDOVp4QPZ4ZoVxzkBwq5QxmgiraQ08BEMdfaaGYFAwd5lk7N90se548QqBIjN+KOoV638Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T03:55:57.244154Z","bundle_sha256":"98ac2d57e4977a604142fc46abfdb6e5ce373cbe5fb4a7f6aae9e8e2ffc62b58"}}