{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MBLE2KNC42HKB7Q4AZ2XID4OGI","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":"d2856e41259f2793a663c2d219fdc1ba2150a995d0d8d2b3c4ee8420ff29ba62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-04-07T08:47:11Z","title_canon_sha256":"10fe2d48a201fa17795e47db3738b5e8f34e7dc218ef5d0b1be163c22e7ef02f"},"schema_version":"1.0","source":{"id":"2604.05597","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.05597","created_at":"2026-06-12T01:09:27Z"},{"alias_kind":"arxiv_version","alias_value":"2604.05597v2","created_at":"2026-06-12T01:09:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.05597","created_at":"2026-06-12T01:09:27Z"},{"alias_kind":"pith_short_12","alias_value":"MBLE2KNC42HK","created_at":"2026-06-12T01:09:27Z"},{"alias_kind":"pith_short_16","alias_value":"MBLE2KNC42HKB7Q4","created_at":"2026-06-12T01:09:27Z"},{"alias_kind":"pith_short_8","alias_value":"MBLE2KNC","created_at":"2026-06-12T01:09:27Z"}],"graph_snapshots":[{"event_id":"sha256:22683ee656e59a77c51a36c46ac1041b048938eb746011fa33cd49c57ba3a110","target":"graph","created_at":"2026-06-12T01:09:27Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"starting from a minimal generating set of ordinary Reidemeister moves of types I--III, we prove that the singular moves admit exactly 96 distinct inclusion-minimal generating sets, and that these exhaust all possibilities."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The newly introduced invariant, constructed via projection to self-singular links, correctly distinguishes the two families of type IV moves and supplies a genuine obstruction to generating type V from types I--IV."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"There are exactly 96 inclusion-minimal generating sets of oriented singular Reidemeister moves and 8 in the unoriented case."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Singular Reidemeister moves admit exactly 96 distinct inclusion-minimal generating sets once classical moves are fixed."}],"snapshot_sha256":"8a9415d90923e2268517b2599e7f280a861ada027cbaf4a580ca926a6816cca9"},"formal_canon":{"evidence_count":3,"snapshot_sha256":"afba594237701c59528b59d68d47185ccfcd9d4ecbe125047b5fefe6238d70b7"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.05597/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Singular knot theory extends classical knot theory by allowing transverse double points without over/under information, together with singular Reidemeister moves of types IV and V. A central open problem in this theory is to determine the minimal generating sets of oriented singular Reidemeister moves. In this paper, we completely solve this problem. In addition, we establish independence results for singular Reidemeister moves by introducing an invariant that provides obstructions and lower bounds for generating sets, including the independence of type III from types I, II, IV, and V. More pr","authors_text":"Noboru Ito, Yuichiro Iwamoto","cross_cats":[],"headline":"Singular Reidemeister moves admit exactly 96 distinct inclusion-minimal generating sets once classical moves are fixed.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-04-07T08:47:11Z","title":"Minimal Generating Sets of Singular Reidemeister Moves and Their Classification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.05597","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-10T19:15:57.366439Z","id":"08b876bc-2359-4b57-a4c1-cd15296bdaff","model_set":{"reader":"grok-4.3"},"one_line_summary":"There are exactly 96 inclusion-minimal generating sets of oriented singular Reidemeister moves and 8 in the unoriented case.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Singular Reidemeister moves admit exactly 96 distinct inclusion-minimal generating sets once classical moves are fixed.","strongest_claim":"starting from a minimal generating set of ordinary Reidemeister moves of types I--III, we prove that the singular moves admit exactly 96 distinct inclusion-minimal generating sets, and that these exhaust all possibilities.","weakest_assumption":"The newly introduced invariant, constructed via projection to self-singular links, correctly distinguishes the two families of type IV moves and supplies a genuine obstruction to generating type V from types I--IV."}},"verdict_id":"08b876bc-2359-4b57-a4c1-cd15296bdaff"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:12ff8b71e018e9986073b289ca3626c31f650eaa591dfa715b2925d5e6e4b001","target":"record","created_at":"2026-06-12T01:09:27Z","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":"d2856e41259f2793a663c2d219fdc1ba2150a995d0d8d2b3c4ee8420ff29ba62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2026-04-07T08:47:11Z","title_canon_sha256":"10fe2d48a201fa17795e47db3738b5e8f34e7dc218ef5d0b1be163c22e7ef02f"},"schema_version":"1.0","source":{"id":"2604.05597","kind":"arxiv","version":2}},"canonical_sha256":"60564d29a2e68ea0fe1c0675740f8e3220378635a7177b9954d53d4d995a7069","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60564d29a2e68ea0fe1c0675740f8e3220378635a7177b9954d53d4d995a7069","first_computed_at":"2026-06-12T01:09:27.424212Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T01:09:27.424212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fqx4hsV3o6VZ02fhdjo5bn7P9WUyDB6CT0kN4CMDXqkIWxPX7Q3ZIDgv1TM6Xb+qyqXO9pcHYvyI3U8taHqmCA==","signature_status":"signed_v1","signed_at":"2026-06-12T01:09:27.424682Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.05597","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:12ff8b71e018e9986073b289ca3626c31f650eaa591dfa715b2925d5e6e4b001","sha256:22683ee656e59a77c51a36c46ac1041b048938eb746011fa33cd49c57ba3a110"],"state_sha256":"b8501364d01a58aadc056b004e63604abdf114a467d7ee29f3227472b9c78e65"}