{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:RXJO4JATSRKFG7YHR2SBWWPULH","short_pith_number":"pith:RXJO4JAT","schema_version":"1.0","canonical_sha256":"8dd2ee24139454537f078ea41b59f459c8c1efccee4b47acb2e43ca99b2af30d","source":{"kind":"arxiv","id":"2605.14189","version":1},"attestation_state":"computed","paper":{"title":"The KnotMosaics Package for SageMath","license":"http://creativecommons.org/licenses/by/4.0/","headline":"KnotMosaics package represents knot mosaics as matrices of tile labels to validate and analyze them in SageMath.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Allison K. Henrich, Andrew R. Tawfeek, Mary Y. Deng, Sean H. Kawano","submitted_at":"2026-05-13T23:11:35Z","abstract_excerpt":"We introduce KnotMosaics, a SageMath package for constructing, visualizing, and analyzing knot mosaic diagrams. The package represents an n-mosaic as a matrix of standard tile labels and implements the local connectivity rules needed to validate mosaics, trace strands and components, compute planar diagram codes, generate random examples, and construct rational tangle mosaics. The planar diagram interface connects the mosaic representation to existing knot and link software, enabling computations such as Jones polynomials and knot Floer homology checks. We describe the package design, its main"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.14189","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2026-05-13T23:11:35Z","cross_cats_sorted":[],"title_canon_sha256":"0cd1ed247ac122672c70bccd2544965055e32e7919f3fa0889aae0de9e28b0ef","abstract_canon_sha256":"6eeaf0dbfaa16af540ccdd5500f327bd5917e85930e41bbb0e0857eaf679776e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:11.156205Z","signature_b64":"f5XcN64glMSheXH2KsV70R7JWEnEFndE23zFGvx5NyhZa8vbpm7IhSPWLBwvvSXH+QaNAyoiWFJ+TsM/N0DYCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8dd2ee24139454537f078ea41b59f459c8c1efccee4b47acb2e43ca99b2af30d","last_reissued_at":"2026-05-17T23:39:11.155712Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:11.155712Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The KnotMosaics Package for SageMath","license":"http://creativecommons.org/licenses/by/4.0/","headline":"KnotMosaics package represents knot mosaics as matrices of tile labels to validate and analyze them in SageMath.","cross_cats":[],"primary_cat":"math.GT","authors_text":"Allison K. Henrich, Andrew R. Tawfeek, Mary Y. Deng, Sean H. Kawano","submitted_at":"2026-05-13T23:11:35Z","abstract_excerpt":"We introduce KnotMosaics, a SageMath package for constructing, visualizing, and analyzing knot mosaic diagrams. The package represents an n-mosaic as a matrix of standard tile labels and implements the local connectivity rules needed to validate mosaics, trace strands and components, compute planar diagram codes, generate random examples, and construct rational tangle mosaics. The planar diagram interface connects the mosaic representation to existing knot and link software, enabling computations such as Jones polynomials and knot Floer homology checks. We describe the package design, its main"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The package represents an n-mosaic as a matrix of standard tile labels and implements the local connectivity rules needed to validate mosaics, trace strands and components, compute planar diagram codes, generate random examples, and construct rational tangle mosaics.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the chosen tile labels and local connectivity rules faithfully reproduce the standard mathematical definition of knot mosaics from the existing literature.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"KnotMosaics is a SageMath package that constructs, validates, and analyzes knot mosaic diagrams while linking them to existing knot invariant computations.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"KnotMosaics package represents knot mosaics as matrices of tile labels to validate and analyze them in SageMath.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"54603085b8ba8126f6c2a7bf0377e89a3d8ec30ed71a0920dfd656dd3c89707e"},"source":{"id":"2605.14189","kind":"arxiv","version":1},"verdict":{"id":"fe3ba10d-45d8-4fed-b3bd-085edac589c8","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T01:32:27.638642Z","strongest_claim":"The package represents an n-mosaic as a matrix of standard tile labels and implements the local connectivity rules needed to validate mosaics, trace strands and components, compute planar diagram codes, generate random examples, and construct rational tangle mosaics.","one_line_summary":"KnotMosaics is a SageMath package that constructs, validates, and analyzes knot mosaic diagrams while linking them to existing knot invariant computations.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the chosen tile labels and local connectivity rules faithfully reproduce the standard mathematical definition of knot mosaics from the existing literature.","pith_extraction_headline":"KnotMosaics package represents knot mosaics as matrices of tile labels to validate and analyze them in SageMath."},"references":{"count":16,"sample":[{"doi":"","year":2014,"title":"Bounds on mosaic knots","work_id":"42b5988d-f0f5-48e6-8c14-d656423794c4","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2013,"title":"On upper bounds for toroidal mosaic numbers","work_id":"9b2a96dd-4c26-4458-8c7e-dd05bbd93116","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1016/b978-0-08-012975-4.50034-","year":1970,"title":"An Enumeration of Knots and Links, and Some of Their Algebraic Properties","work_id":"187cf3b6-db6e-42e2-8bbd-17065e76aa92","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Taming Wild Knots with Recursive Mosaics","work_id":"9cd645ce-7b9d-429e-960c-543ead5eff73","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2020,"title":"Virtual mosaic knot theory","work_id":"23267dda-fb42-48b5-96de-6f83eaec3790","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":16,"snapshot_sha256":"82aa5eff98a6ac0ee19134dcd0e9ca91ea3fa7971e9cf7dc99e91bf4e996761e","internal_anchors":0},"formal_canon":{"evidence_count":1,"snapshot_sha256":"e35376d372c2ea3ec0281f173d5996c233d15bb51dbdf643b8dfab67e50983a3"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.14189","created_at":"2026-05-17T23:39:11.155778+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.14189v1","created_at":"2026-05-17T23:39:11.155778+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14189","created_at":"2026-05-17T23:39:11.155778+00:00"},{"alias_kind":"pith_short_12","alias_value":"RXJO4JATSRKF","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"RXJO4JATSRKFG7YH","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"RXJO4JAT","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":1,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH","json":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH.json","graph_json":"https://pith.science/api/pith-number/RXJO4JATSRKFG7YHR2SBWWPULH/graph.json","events_json":"https://pith.science/api/pith-number/RXJO4JATSRKFG7YHR2SBWWPULH/events.json","paper":"https://pith.science/paper/RXJO4JAT"},"agent_actions":{"view_html":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH","download_json":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH.json","view_paper":"https://pith.science/paper/RXJO4JAT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.14189&json=true","fetch_graph":"https://pith.science/api/pith-number/RXJO4JATSRKFG7YHR2SBWWPULH/graph.json","fetch_events":"https://pith.science/api/pith-number/RXJO4JATSRKFG7YHR2SBWWPULH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH/action/storage_attestation","attest_author":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH/action/author_attestation","sign_citation":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH/action/citation_signature","submit_replication":"https://pith.science/pith/RXJO4JATSRKFG7YHR2SBWWPULH/action/replication_record"}},"created_at":"2026-05-17T23:39:11.155778+00:00","updated_at":"2026-05-17T23:39:11.155778+00:00"}