{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TYZQXUVQVLI6AAFNRGWBT7AD3Z","short_pith_number":"pith:TYZQXUVQ","canonical_record":{"source":{"id":"1811.10821","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-27T05:02:15Z","cross_cats_sorted":["cs.HC"],"title_canon_sha256":"0b04d97df52232afac5bc690f9ef6c6a647b8da58d39d97a4adf016b51e26f04","abstract_canon_sha256":"149b6f555f6a160ea8b6e9f3fa8ab68f02aefccc484a91de24391dd2e2d81dbe"},"schema_version":"1.0"},"canonical_sha256":"9e330bd2b0aad1e000ad89ac19fc03de59a0651ae40212b82f041ba65bbc431a","source":{"kind":"arxiv","id":"1811.10821","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.10821","created_at":"2026-05-17T23:59:47Z"},{"alias_kind":"arxiv_version","alias_value":"1811.10821v1","created_at":"2026-05-17T23:59:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.10821","created_at":"2026-05-17T23:59:47Z"},{"alias_kind":"pith_short_12","alias_value":"TYZQXUVQVLI6","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TYZQXUVQVLI6AAFN","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TYZQXUVQ","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TYZQXUVQVLI6AAFNRGWBT7AD3Z","target":"record","payload":{"canonical_record":{"source":{"id":"1811.10821","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-27T05:02:15Z","cross_cats_sorted":["cs.HC"],"title_canon_sha256":"0b04d97df52232afac5bc690f9ef6c6a647b8da58d39d97a4adf016b51e26f04","abstract_canon_sha256":"149b6f555f6a160ea8b6e9f3fa8ab68f02aefccc484a91de24391dd2e2d81dbe"},"schema_version":"1.0"},"canonical_sha256":"9e330bd2b0aad1e000ad89ac19fc03de59a0651ae40212b82f041ba65bbc431a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:47.436553Z","signature_b64":"zLzGgcrkmqKRR5emvE5g6yvRs9H39+Y+6XAk/liCsJ8yj780lLATpO4kkr2RmUNMn9b4ogYkYzZzQkmwExpeCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e330bd2b0aad1e000ad89ac19fc03de59a0651ae40212b82f041ba65bbc431a","last_reissued_at":"2026-05-17T23:59:47.435999Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:47.435999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.10821","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-17T23:59:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"grVLCszoiIS8V+0byEZ0oPt3/bgGPC+4P3HiMcJfmxWWNyMzler/63CTQQRNGK8xSeoReus4t/vwq/XsSJqIBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:20:11.837968Z"},"content_sha256":"713d564383bff51e47415ef52a708b27055803c5bc669cb8f59477de4cfbc493","schema_version":"1.0","event_id":"sha256:713d564383bff51e47415ef52a708b27055803c5bc669cb8f59477de4cfbc493"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TYZQXUVQVLI6AAFNRGWBT7AD3Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integrating User Design and Formal Models within PVSio-Web","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.HC"],"primary_cat":"cs.SE","authors_text":"Braga, Hamilton, INESC TEC, Nathaniel Watson (Department of Computer Science, New Zealand), Paolo Masci (High Assurance Software Laboratory (HASLab), Portugal), Steve Reeves (Department of Computer Science, Universidade do Minho, University of Waikato","submitted_at":"2018-11-27T05:02:15Z","abstract_excerpt":"Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logically and consistently. Despite this, tools for designing user experiences and tools for creating and working with formal models are typically distinctly separate systems. This work aims to bridge this divide by allowing the generation of state machine diagrams and formal models via a simple, interactive prototyping tool that mirrors the basic functionality of many modern digital prototyping applications."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.10821","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-17T23:59:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B/Q5y56H9t7gw5AGrdUqzKvHgjTR6opM4pE4ynLQa6STzPODHgCQ1Ih9+wo8oBXjrGEwnHd6IZfQ4nH32uEwAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:20:11.838628Z"},"content_sha256":"86f178b8ea784320344e7e0f83b4cae75101a50bf0672ee2465f3f7653f432bb","schema_version":"1.0","event_id":"sha256:86f178b8ea784320344e7e0f83b4cae75101a50bf0672ee2465f3f7653f432bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TYZQXUVQVLI6AAFNRGWBT7AD3Z/bundle.json","state_url":"https://pith.science/pith/TYZQXUVQVLI6AAFNRGWBT7AD3Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TYZQXUVQVLI6AAFNRGWBT7AD3Z/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-05-26T00:20:11Z","links":{"resolver":"https://pith.science/pith/TYZQXUVQVLI6AAFNRGWBT7AD3Z","bundle":"https://pith.science/pith/TYZQXUVQVLI6AAFNRGWBT7AD3Z/bundle.json","state":"https://pith.science/pith/TYZQXUVQVLI6AAFNRGWBT7AD3Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TYZQXUVQVLI6AAFNRGWBT7AD3Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TYZQXUVQVLI6AAFNRGWBT7AD3Z","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":"149b6f555f6a160ea8b6e9f3fa8ab68f02aefccc484a91de24391dd2e2d81dbe","cross_cats_sorted":["cs.HC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-27T05:02:15Z","title_canon_sha256":"0b04d97df52232afac5bc690f9ef6c6a647b8da58d39d97a4adf016b51e26f04"},"schema_version":"1.0","source":{"id":"1811.10821","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.10821","created_at":"2026-05-17T23:59:47Z"},{"alias_kind":"arxiv_version","alias_value":"1811.10821v1","created_at":"2026-05-17T23:59:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.10821","created_at":"2026-05-17T23:59:47Z"},{"alias_kind":"pith_short_12","alias_value":"TYZQXUVQVLI6","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TYZQXUVQVLI6AAFN","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TYZQXUVQ","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:86f178b8ea784320344e7e0f83b4cae75101a50bf0672ee2465f3f7653f432bb","target":"graph","created_at":"2026-05-17T23:59: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":"Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logically and consistently. Despite this, tools for designing user experiences and tools for creating and working with formal models are typically distinctly separate systems. This work aims to bridge this divide by allowing the generation of state machine diagrams and formal models via a simple, interactive prototyping tool that mirrors the basic functionality of many modern digital prototyping applications.","authors_text":"Braga, Hamilton, INESC TEC, Nathaniel Watson (Department of Computer Science, New Zealand), Paolo Masci (High Assurance Software Laboratory (HASLab), Portugal), Steve Reeves (Department of Computer Science, Universidade do Minho, University of Waikato","cross_cats":["cs.HC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-27T05:02:15Z","title":"Integrating User Design and Formal Models within PVSio-Web"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.10821","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:713d564383bff51e47415ef52a708b27055803c5bc669cb8f59477de4cfbc493","target":"record","created_at":"2026-05-17T23:59: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":"149b6f555f6a160ea8b6e9f3fa8ab68f02aefccc484a91de24391dd2e2d81dbe","cross_cats_sorted":["cs.HC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-27T05:02:15Z","title_canon_sha256":"0b04d97df52232afac5bc690f9ef6c6a647b8da58d39d97a4adf016b51e26f04"},"schema_version":"1.0","source":{"id":"1811.10821","kind":"arxiv","version":1}},"canonical_sha256":"9e330bd2b0aad1e000ad89ac19fc03de59a0651ae40212b82f041ba65bbc431a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e330bd2b0aad1e000ad89ac19fc03de59a0651ae40212b82f041ba65bbc431a","first_computed_at":"2026-05-17T23:59:47.435999Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:47.435999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zLzGgcrkmqKRR5emvE5g6yvRs9H39+Y+6XAk/liCsJ8yj780lLATpO4kkr2RmUNMn9b4ogYkYzZzQkmwExpeCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:47.436553Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.10821","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:713d564383bff51e47415ef52a708b27055803c5bc669cb8f59477de4cfbc493","sha256:86f178b8ea784320344e7e0f83b4cae75101a50bf0672ee2465f3f7653f432bb"],"state_sha256":"ae1164803d003f9d43615aed932af17d6e0547acfa768fe6773e93d7ef27c9e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4Ng9RlCb/BGKk5z2xk4ZqeJSSkyWBQ2fsSMuIfZwLOg1WtlCIial+HQdLGDuNcCof9XfuxNQeSLAGYTOvXhmCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T00:20:11.842128Z","bundle_sha256":"d976956fa5d47674fe636bc450c866a25d04c4907b9a69eeefd46a1f50628207"}}