{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:IQS3VAXIKBZAPHIYNYNEH3OWFG","short_pith_number":"pith:IQS3VAXI","canonical_record":{"source":{"id":"1907.02275","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-07-04T08:35:32Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"d1c26e6fa6d9a18b997407cc3c8fe195ef1e205c76395763640a64a5e13f67c4","abstract_canon_sha256":"13422e007bb7770e5c8ef945157b9cda11ce79687dd90f5e2aacc471073ab84c"},"schema_version":"1.0"},"canonical_sha256":"4425ba82e85072079d186e1a43edd629882ade6ab1d0a2598e5d001cd081fb57","source":{"kind":"arxiv","id":"1907.02275","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:IQS3VAXIKBZAPHIYNYNEH3OWFG","target":"record","payload":{"canonical_record":{"source":{"id":"1907.02275","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-07-04T08:35:32Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"d1c26e6fa6d9a18b997407cc3c8fe195ef1e205c76395763640a64a5e13f67c4","abstract_canon_sha256":"13422e007bb7770e5c8ef945157b9cda11ce79687dd90f5e2aacc471073ab84c"},"schema_version":"1.0"},"canonical_sha256":"4425ba82e85072079d186e1a43edd629882ade6ab1d0a2598e5d001cd081fb57","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:16.926706Z","signature_b64":"f59TskYQyXrHYxTHJyNpm2xseFCQsTgCtFrmbp8pASvIjEqoJX0Q8oHnPG60DW/QPR9UpXqJPcmabMazGvzrAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4425ba82e85072079d186e1a43edd629882ade6ab1d0a2598e5d001cd081fb57","last_reissued_at":"2026-05-17T23:41:16.926216Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:16.926216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.02275","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:41:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zB8ZOtXB/YoBqN054MLudXtGbCtpr56s7w78Ew4LQgcjRno9+Y1FyBfY5uUAcHuTXjRzJ0xsqTDIDR7ys0IvBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T14:41:24.498752Z"},"content_sha256":"0d8500c6b4072ce919fdb8624159359b34c7f186c3557b073c16fbf8f3239a65","schema_version":"1.0","event_id":"sha256:0d8500c6b4072ce919fdb8624159359b34c7f186c3557b073c16fbf8f3239a65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:IQS3VAXIKBZAPHIYNYNEH3OWFG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sharing and Learning Alloy on the Web","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CY","authors_text":"Alcino Cunha, Ana C. R. Paiva, Daniel Silva, Jos\\'e Pereira, Miguel S. Ramalho, Nuno Macedo, Renato Carvalho, Ricardo Silva","submitted_at":"2019-07-04T08:35:32Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.02275","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:41:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"prQM0JU4kje3/BviQUg7WhzzG0JLORg2TrtFbDQZUjgAUaYBA1tPOAfFAOhh0Ow+JguiO55yMJ/gG0EtcYvFDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T14:41:24.499096Z"},"content_sha256":"6aef48c175f646fb279c742c43fb65404fb89d0a20299f444135c77af37a1361","schema_version":"1.0","event_id":"sha256:6aef48c175f646fb279c742c43fb65404fb89d0a20299f444135c77af37a1361"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IQS3VAXIKBZAPHIYNYNEH3OWFG/bundle.json","state_url":"https://pith.science/pith/IQS3VAXIKBZAPHIYNYNEH3OWFG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IQS3VAXIKBZAPHIYNYNEH3OWFG/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-11T14:41:24Z","links":{"resolver":"https://pith.science/pith/IQS3VAXIKBZAPHIYNYNEH3OWFG","bundle":"https://pith.science/pith/IQS3VAXIKBZAPHIYNYNEH3OWFG/bundle.json","state":"https://pith.science/pith/IQS3VAXIKBZAPHIYNYNEH3OWFG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IQS3VAXIKBZAPHIYNYNEH3OWFG/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BESYm2HZhOMk3NvHZQYReQd07/osxCjpbfZ5cm7W+IOdYSNlsZVNXqTGRFb10a2gRhYUwhQqS/NKcVODPD4gCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T14:41:24.501041Z","bundle_sha256":"9a2eac7130a9eb56931eeaf678e080386cf9b9ee7ef271d0c059fe7a93f602ef"}}