{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:HS644LQZ5FZNJJWJV7LAYI2BZE","short_pith_number":"pith:HS644LQZ","canonical_record":{"source":{"id":"1905.00973","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2019-05-02T21:38:54Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"68fbabc90516dedbad5df1eb5d96371b143c182f30e272de452a1cc33d9341a7","abstract_canon_sha256":"3b0e9a2bf71da913cd5a18b7ac9fcbd9e582e5e4a4569e42ccd9955b911087c6"},"schema_version":"1.0"},"canonical_sha256":"3cbdce2e19e972d4a6c9afd60c2341c91440c843857996e9d5ad55ff8cd691ba","source":{"kind":"arxiv","id":"1905.00973","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.00973","created_at":"2026-05-17T23:47:08Z"},{"alias_kind":"arxiv_version","alias_value":"1905.00973v1","created_at":"2026-05-17T23:47:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.00973","created_at":"2026-05-17T23:47:08Z"},{"alias_kind":"pith_short_12","alias_value":"HS644LQZ5FZN","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"HS644LQZ5FZNJJWJ","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"HS644LQZ","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:HS644LQZ5FZNJJWJV7LAYI2BZE","target":"record","payload":{"canonical_record":{"source":{"id":"1905.00973","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2019-05-02T21:38:54Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"68fbabc90516dedbad5df1eb5d96371b143c182f30e272de452a1cc33d9341a7","abstract_canon_sha256":"3b0e9a2bf71da913cd5a18b7ac9fcbd9e582e5e4a4569e42ccd9955b911087c6"},"schema_version":"1.0"},"canonical_sha256":"3cbdce2e19e972d4a6c9afd60c2341c91440c843857996e9d5ad55ff8cd691ba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:08.100264Z","signature_b64":"Wy0J8jLSPTCepoDd4+nHxPq0Vrak9z/petN7p0YpFlDAG28Od/W2HCaVfZInf6jeysSls7wS6GvB+JHwpl5qCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3cbdce2e19e972d4a6c9afd60c2341c91440c843857996e9d5ad55ff8cd691ba","last_reissued_at":"2026-05-17T23:47:08.099623Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:08.099623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.00973","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:47:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hnsmM0mJJ/SAi6uhW07QgXUPHgbRWZSn54i+Gi+nqqPlqVcbXdpKpUFUd4fztHdGPEecXdJCzSzZoAsAbTSrDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:47:15.641466Z"},"content_sha256":"96947e1eace8cdb49e5e05a6d3601e133937eae56953f1472b8e273f2d9d78fd","schema_version":"1.0","event_id":"sha256:96947e1eace8cdb49e5e05a6d3601e133937eae56953f1472b8e273f2d9d78fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:HS644LQZ5FZNJJWJV7LAYI2BZE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.DM","authors_text":"Arinei Lindbeck, Gilbert Laporte, Leandro C. Coelho, Thibaut Vidal","submitted_at":"2019-05-02T21:38:54Z","abstract_excerpt":"Hashiwokakero, or simply Hashi, is a Japanese single-player puzzle played on a rectangular grid with no standard size. Some cells of the grid contain a circle, called island, with a number inside it ranging from one to eight. The remaining positions of the grid are empty. The player must connect all of the islands by drawing a series of horizontal or vertical bridges between them, respecting a series of rules: the number of bridges incident to an island equals the number indicated in the circle, at most two bridges are incident to any side of an island, bridges cannot cross each other or pass "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.00973","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:47:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5HTdlMhCSgtPjiGqhX8WW9hnkXTjE7JRQSBePK2phebCp9ScuRd79SdZDmeglWn2+MG0iOtSTt3u50eIsjGRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:47:15.642092Z"},"content_sha256":"4255d3b2cc25c80e46329841fb37f0734fe8a0063104a9308a50f7642fc005f2","schema_version":"1.0","event_id":"sha256:4255d3b2cc25c80e46329841fb37f0734fe8a0063104a9308a50f7642fc005f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HS644LQZ5FZNJJWJV7LAYI2BZE/bundle.json","state_url":"https://pith.science/pith/HS644LQZ5FZNJJWJV7LAYI2BZE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HS644LQZ5FZNJJWJV7LAYI2BZE/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-30T16:47:15Z","links":{"resolver":"https://pith.science/pith/HS644LQZ5FZNJJWJV7LAYI2BZE","bundle":"https://pith.science/pith/HS644LQZ5FZNJJWJV7LAYI2BZE/bundle.json","state":"https://pith.science/pith/HS644LQZ5FZNJJWJV7LAYI2BZE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HS644LQZ5FZNJJWJV7LAYI2BZE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:HS644LQZ5FZNJJWJV7LAYI2BZE","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":"3b0e9a2bf71da913cd5a18b7ac9fcbd9e582e5e4a4569e42ccd9955b911087c6","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2019-05-02T21:38:54Z","title_canon_sha256":"68fbabc90516dedbad5df1eb5d96371b143c182f30e272de452a1cc33d9341a7"},"schema_version":"1.0","source":{"id":"1905.00973","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.00973","created_at":"2026-05-17T23:47:08Z"},{"alias_kind":"arxiv_version","alias_value":"1905.00973v1","created_at":"2026-05-17T23:47:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.00973","created_at":"2026-05-17T23:47:08Z"},{"alias_kind":"pith_short_12","alias_value":"HS644LQZ5FZN","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"HS644LQZ5FZNJJWJ","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"HS644LQZ","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:4255d3b2cc25c80e46329841fb37f0734fe8a0063104a9308a50f7642fc005f2","target":"graph","created_at":"2026-05-17T23:47:08Z","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":"Hashiwokakero, or simply Hashi, is a Japanese single-player puzzle played on a rectangular grid with no standard size. Some cells of the grid contain a circle, called island, with a number inside it ranging from one to eight. The remaining positions of the grid are empty. The player must connect all of the islands by drawing a series of horizontal or vertical bridges between them, respecting a series of rules: the number of bridges incident to an island equals the number indicated in the circle, at most two bridges are incident to any side of an island, bridges cannot cross each other or pass ","authors_text":"Arinei Lindbeck, Gilbert Laporte, Leandro C. Coelho, Thibaut Vidal","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2019-05-02T21:38:54Z","title":"Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.00973","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:96947e1eace8cdb49e5e05a6d3601e133937eae56953f1472b8e273f2d9d78fd","target":"record","created_at":"2026-05-17T23:47:08Z","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":"3b0e9a2bf71da913cd5a18b7ac9fcbd9e582e5e4a4569e42ccd9955b911087c6","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2019-05-02T21:38:54Z","title_canon_sha256":"68fbabc90516dedbad5df1eb5d96371b143c182f30e272de452a1cc33d9341a7"},"schema_version":"1.0","source":{"id":"1905.00973","kind":"arxiv","version":1}},"canonical_sha256":"3cbdce2e19e972d4a6c9afd60c2341c91440c843857996e9d5ad55ff8cd691ba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3cbdce2e19e972d4a6c9afd60c2341c91440c843857996e9d5ad55ff8cd691ba","first_computed_at":"2026-05-17T23:47:08.099623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:08.099623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wy0J8jLSPTCepoDd4+nHxPq0Vrak9z/petN7p0YpFlDAG28Od/W2HCaVfZInf6jeysSls7wS6GvB+JHwpl5qCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:08.100264Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.00973","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:96947e1eace8cdb49e5e05a6d3601e133937eae56953f1472b8e273f2d9d78fd","sha256:4255d3b2cc25c80e46329841fb37f0734fe8a0063104a9308a50f7642fc005f2"],"state_sha256":"8d73deed1a1d44ab8266785576e5c194061cdaeeeb776b7050fe5a10888966f9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+uGnJwhqq/XnAVJGWG4FhyW2+ykBL2jD/5j7Apcy+FIgI+Pd6dEzYT5fm0eRLntupWJah2ypGz3oCzbstGSwBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T16:47:15.646848Z","bundle_sha256":"3b9a2a2053b6cbc2e0bdb46348cd839e2450bc7c8ccb05998c252f274ea5e241"}}