{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:J7BPKSNAJ7K7RC6JYVNM7EOPAV","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":"c8a6799796f9c7ce4c58eec17c9a0c499aa56b523b2d8c2be9994449459f57f7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2026-04-29T07:30:08Z","title_canon_sha256":"0afa5a38ca8cd3cf60950a4b6ae13a052fa109e6b7457ab7612ec3c3c8c8f7ae"},"schema_version":"1.0","source":{"id":"2604.26369","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.26369","created_at":"2026-05-22T01:04:03Z"},{"alias_kind":"arxiv_version","alias_value":"2604.26369v2","created_at":"2026-05-22T01:04:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.26369","created_at":"2026-05-22T01:04:03Z"},{"alias_kind":"pith_short_12","alias_value":"J7BPKSNAJ7K7","created_at":"2026-05-22T01:04:03Z"},{"alias_kind":"pith_short_16","alias_value":"J7BPKSNAJ7K7RC6J","created_at":"2026-05-22T01:04:03Z"},{"alias_kind":"pith_short_8","alias_value":"J7BPKSNA","created_at":"2026-05-22T01:04:03Z"}],"graph_snapshots":[{"event_id":"sha256:10d2be2a76293bf1033f5cfd80354e8b4a630409957150f8213f8911cb069468","target":"graph","created_at":"2026-05-22T01:04:03Z","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":"This gives a set of 39 equivariant movie moves that suffice to go between any two movie presentations of a pair of equivariantly isotopic cobordisms."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The classification of all codimension-2 singularities of equivariant maps from S^1 to R^2 is complete and that embedded equivariant Morse theory applies without extra obstructions not captured by the listed moves."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"39 equivariant movie moves generate all transitions between movie presentations of equivariantly isotopic cobordisms between involutive links, with a singularity-theoretic proof of the equivariant Reidemeister theorem."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A set of 39 equivariant movie moves connects any two movie presentations of equivariantly isotopic cobordisms between involutive links."}],"snapshot_sha256":"b633cb3ab9d4795541c79ed736a21aaeb666d528c378748a4e527e0dd317043a"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-21T00:38:01.443423Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T20:13:06.611557Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.26369/integrity.json","findings":[],"snapshot_sha256":"e7dfb8ea951e075253603c9d7649f50c97c556c532581e408c7c84bc815f7e82","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An involutive link is a link which is invariant under the standard rotation by 180 degrees in $S^3$. We establish an equivariant analogue of the work of Carter and Saito aimed at studying equivariant cobordisms between involutive links. This gives a set of $39$ equivariant movie moves that suffice to go between any two movie presentations of a pair of equivariantly isotopic cobordisms. Along the way, we give a singularity-theoretic proof of the equivariant Reidemeister theorem and study loops of equivariant Reidemeister moves. Our approach proceeds by analyzing codimension $2$ singularities of","authors_text":"Abhishek Mallick, Irving Dai, Maciej Borodzik, Matthew Stoffregen","cross_cats":[],"headline":"A set of 39 equivariant movie moves connects any two movie presentations of equivariantly isotopic cobordisms between involutive links.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2026-04-29T07:30:08Z","title":"Reidemeister and movie moves for involutive links"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.26369","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-07T12:33:00.008178Z","id":"0820206e-245d-45b3-b38a-7f73ab0fc42c","model_set":{"reader":"grok-4.3"},"one_line_summary":"39 equivariant movie moves generate all transitions between movie presentations of equivariantly isotopic cobordisms between involutive links, with a singularity-theoretic proof of the equivariant Reidemeister theorem.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A set of 39 equivariant movie moves connects any two movie presentations of equivariantly isotopic cobordisms between involutive links.","strongest_claim":"This gives a set of 39 equivariant movie moves that suffice to go between any two movie presentations of a pair of equivariantly isotopic cobordisms.","weakest_assumption":"The classification of all codimension-2 singularities of equivariant maps from S^1 to R^2 is complete and that embedded equivariant Morse theory applies without extra obstructions not captured by the listed moves."}},"verdict_id":"0820206e-245d-45b3-b38a-7f73ab0fc42c"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3b0231feaa2e9780fb7b27f4ffbc4fe74da9cba534dafe9a7530b43aaf7ab65a","target":"record","created_at":"2026-05-22T01:04:03Z","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":"c8a6799796f9c7ce4c58eec17c9a0c499aa56b523b2d8c2be9994449459f57f7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2026-04-29T07:30:08Z","title_canon_sha256":"0afa5a38ca8cd3cf60950a4b6ae13a052fa109e6b7457ab7612ec3c3c8c8f7ae"},"schema_version":"1.0","source":{"id":"2604.26369","kind":"arxiv","version":2}},"canonical_sha256":"4fc2f549a04fd5f88bc9c55acf91cf055e3599e86eb133b420f2a42eda665797","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4fc2f549a04fd5f88bc9c55acf91cf055e3599e86eb133b420f2a42eda665797","first_computed_at":"2026-05-22T01:04:03.436538Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:04:03.436538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zRFW+6oSGp+MlpIBXljVSic5X03QLwtAV9HnS5HAhiri5i+TC63qFoy1UPaQtTQ5pUMQEmtEWOTZITpgjs9eCg==","signature_status":"signed_v1","signed_at":"2026-05-22T01:04:03.437263Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.26369","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b0231feaa2e9780fb7b27f4ffbc4fe74da9cba534dafe9a7530b43aaf7ab65a","sha256:10d2be2a76293bf1033f5cfd80354e8b4a630409957150f8213f8911cb069468"],"state_sha256":"a2cb225b9044e96a3a8d7669e162859bb5ff737e555743511b95765c3fdfdf0c"}