{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:IQS3VAXIKBZAPHIYNYNEH3OWFG","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":"13422e007bb7770e5c8ef945157b9cda11ce79687dd90f5e2aacc471073ab84c","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-07-04T08:35:32Z","title_canon_sha256":"d1c26e6fa6d9a18b997407cc3c8fe195ef1e205c76395763640a64a5e13f67c4"},"schema_version":"1.0","source":{"id":"1907.02275","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.02275","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"arxiv_version","alias_value":"1907.02275v1","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.02275","created_at":"2026-05-17T23:41:16Z"},{"alias_kind":"pith_short_12","alias_value":"IQS3VAXIKBZA","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"IQS3VAXIKBZAPHIY","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"IQS3VAXI","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:6aef48c175f646fb279c742c43fb65404fb89d0a20299f444135c77af37a1361","target":"graph","created_at":"2026-05-17T23:41:16Z","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 present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notion of secret paragraphs and commands in the models, it also allows the distribution and automatic evaluation of simple specification challenges, a useful mechanism that enables students to learn relational logic at their own pace. Alloy4Fun stores all versions of shared and analyzed models, as well as derivation trees that depict how those models evolved over time: this wealth of information can be mined by researcher","authors_text":"Alcino Cunha, Ana C. R. Paiva, Daniel Silva, Jos\\'e Pereira, Miguel S. Ramalho, Nuno Macedo, Renato Carvalho, Ricardo Silva","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-07-04T08:35:32Z","title":"Sharing and Learning Alloy on the Web"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.02275","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:0d8500c6b4072ce919fdb8624159359b34c7f186c3557b073c16fbf8f3239a65","target":"record","created_at":"2026-05-17T23:41:16Z","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":"13422e007bb7770e5c8ef945157b9cda11ce79687dd90f5e2aacc471073ab84c","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-07-04T08:35:32Z","title_canon_sha256":"d1c26e6fa6d9a18b997407cc3c8fe195ef1e205c76395763640a64a5e13f67c4"},"schema_version":"1.0","source":{"id":"1907.02275","kind":"arxiv","version":1}},"canonical_sha256":"4425ba82e85072079d186e1a43edd629882ade6ab1d0a2598e5d001cd081fb57","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4425ba82e85072079d186e1a43edd629882ade6ab1d0a2598e5d001cd081fb57","first_computed_at":"2026-05-17T23:41:16.926216Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:16.926216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f59TskYQyXrHYxTHJyNpm2xseFCQsTgCtFrmbp8pASvIjEqoJX0Q8oHnPG60DW/QPR9UpXqJPcmabMazGvzrAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:16.926706Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.02275","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d8500c6b4072ce919fdb8624159359b34c7f186c3557b073c16fbf8f3239a65","sha256:6aef48c175f646fb279c742c43fb65404fb89d0a20299f444135c77af37a1361"],"state_sha256":"d4f6b06df8365663461a996ca18047e7a7e9cab73950810fbfc04a50611631c8"}