{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4MSNRTWLS65T37FJUKQSCZMWK2","short_pith_number":"pith:4MSNRTWL","canonical_record":{"source":{"id":"1309.5141","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"f95693d4535490699c6d18290539eb23bcf3945cef01a9ec5455d70ceabf2d48","abstract_canon_sha256":"0c30340714cc7e9cf287a200d837f429da743ec53865ae01bf1c1e355b519956"},"schema_version":"1.0"},"canonical_sha256":"e324d8cecb97bb3dfca9a2a121659656a03c96f838cf97065b5a473ab7dc7800","source":{"kind":"arxiv","id":"1309.5141","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5141","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5141v1","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5141","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"pith_short_12","alias_value":"4MSNRTWLS65T","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4MSNRTWLS65T37FJ","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4MSNRTWL","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4MSNRTWLS65T37FJUKQSCZMWK2","target":"record","payload":{"canonical_record":{"source":{"id":"1309.5141","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"f95693d4535490699c6d18290539eb23bcf3945cef01a9ec5455d70ceabf2d48","abstract_canon_sha256":"0c30340714cc7e9cf287a200d837f429da743ec53865ae01bf1c1e355b519956"},"schema_version":"1.0"},"canonical_sha256":"e324d8cecb97bb3dfca9a2a121659656a03c96f838cf97065b5a473ab7dc7800","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:12:47.515870Z","signature_b64":"RQdxO6dNa6zWReEQt5mAbK+eE0qeImh1MaF1iBRcGzrvOjqutXdqgUXNBUv/GKVnXXqmUOuc0ZOP7u91yRlVAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e324d8cecb97bb3dfca9a2a121659656a03c96f838cf97065b5a473ab7dc7800","last_reissued_at":"2026-05-18T03:12:47.515249Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:12:47.515249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.5141","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:12:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PT2/YMRJoxXsIBPzKILoLzQGAeaKbOrp3D/3r8dvSwcYtmGSSADNarSt4vg/fUYfQqQDPR/5IAB9gRSAHK7WCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T02:31:33.288704Z"},"content_sha256":"65a2508111ac00a0413163cb883f73e71c6492d51e06f03c9ff91e5a8b92b592","schema_version":"1.0","event_id":"sha256:65a2508111ac00a0413163cb883f73e71c6492d51e06f03c9ff91e5a8b92b592"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4MSNRTWLS65T37FJUKQSCZMWK2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Denotational Semantics of A User-Oriented, Domain-Specific Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Charles Consel, Julien Mercadal, Zo\\'e Drey","submitted_at":"2013-09-20T01:44:48Z","abstract_excerpt":"This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks.\n  Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that mak"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5141","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:12:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hkEjlw/ycJdbDtez1V2ehyLmh7ZB6o45yEckOyDTEvgDqOU/VSXfyKLRZ0B/9B1aqHlvj+rxVV014QUZq/dyCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T02:31:33.289089Z"},"content_sha256":"3fce78e1598c5ea98c746df2e03ab2888960d9efff37e1e343ec7f1844b9015a","schema_version":"1.0","event_id":"sha256:3fce78e1598c5ea98c746df2e03ab2888960d9efff37e1e343ec7f1844b9015a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4MSNRTWLS65T37FJUKQSCZMWK2/bundle.json","state_url":"https://pith.science/pith/4MSNRTWLS65T37FJUKQSCZMWK2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4MSNRTWLS65T37FJUKQSCZMWK2/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-30T02:31:33Z","links":{"resolver":"https://pith.science/pith/4MSNRTWLS65T37FJUKQSCZMWK2","bundle":"https://pith.science/pith/4MSNRTWLS65T37FJUKQSCZMWK2/bundle.json","state":"https://pith.science/pith/4MSNRTWLS65T37FJUKQSCZMWK2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4MSNRTWLS65T37FJUKQSCZMWK2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4MSNRTWLS65T37FJUKQSCZMWK2","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":"0c30340714cc7e9cf287a200d837f429da743ec53865ae01bf1c1e355b519956","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","title_canon_sha256":"f95693d4535490699c6d18290539eb23bcf3945cef01a9ec5455d70ceabf2d48"},"schema_version":"1.0","source":{"id":"1309.5141","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5141","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5141v1","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5141","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"pith_short_12","alias_value":"4MSNRTWLS65T","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4MSNRTWLS65T37FJ","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4MSNRTWL","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:3fce78e1598c5ea98c746df2e03ab2888960d9efff37e1e343ec7f1844b9015a","target":"graph","created_at":"2026-05-18T03:12:47Z","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 presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks.\n  Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that mak","authors_text":"Charles Consel, Julien Mercadal, Zo\\'e Drey","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","title":"Denotational Semantics of A User-Oriented, Domain-Specific Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5141","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:65a2508111ac00a0413163cb883f73e71c6492d51e06f03c9ff91e5a8b92b592","target":"record","created_at":"2026-05-18T03:12:47Z","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":"0c30340714cc7e9cf287a200d837f429da743ec53865ae01bf1c1e355b519956","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","title_canon_sha256":"f95693d4535490699c6d18290539eb23bcf3945cef01a9ec5455d70ceabf2d48"},"schema_version":"1.0","source":{"id":"1309.5141","kind":"arxiv","version":1}},"canonical_sha256":"e324d8cecb97bb3dfca9a2a121659656a03c96f838cf97065b5a473ab7dc7800","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e324d8cecb97bb3dfca9a2a121659656a03c96f838cf97065b5a473ab7dc7800","first_computed_at":"2026-05-18T03:12:47.515249Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:47.515249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RQdxO6dNa6zWReEQt5mAbK+eE0qeImh1MaF1iBRcGzrvOjqutXdqgUXNBUv/GKVnXXqmUOuc0ZOP7u91yRlVAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:47.515870Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5141","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65a2508111ac00a0413163cb883f73e71c6492d51e06f03c9ff91e5a8b92b592","sha256:3fce78e1598c5ea98c746df2e03ab2888960d9efff37e1e343ec7f1844b9015a"],"state_sha256":"1b85575c05a2816fcd12a1433b362e59ebc0cfb61df59b3e794e48ddcba7e3a2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6Xlk46/FrV1KukSvDZVYD54Rxn5XNlCK6VLG5nEwcfi/mxfqOi9pPy1vx7WOpNk+9+J0lZrXlM77w2qL+KdHDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T02:31:33.291418Z","bundle_sha256":"4c123983508eaa981f00d19216a3bd40626090a72d4f3d5aa30c1c7a8d2fda3c"}}