{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:HJ5TTAT5P6RCARZU3NPS7I42B4","short_pith_number":"pith:HJ5TTAT5","canonical_record":{"source":{"id":"2607.15256","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-07-16T17:51:23Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"7fda1cf2e3f5aa5c2cbaf2158da3511e9c0babf5c573abb56cd643b3b2b40547","abstract_canon_sha256":"7a620cd13482a5bc00e3052df6168ff92f25a688576ab0f7b0d7f8632eac75e7"},"schema_version":"1.0"},"canonical_sha256":"3a7b39827d7fa2204734db5f2fa39a0f260f2deb6ef29adaf39875ccd0a9ab91","source":{"kind":"arxiv","id":"2607.15256","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.15256","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.15256v1","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15256","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"pith_short_12","alias_value":"HJ5TTAT5P6RC","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"pith_short_16","alias_value":"HJ5TTAT5P6RCARZU","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"pith_short_8","alias_value":"HJ5TTAT5","created_at":"2026-07-17T01:22:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:HJ5TTAT5P6RCARZU3NPS7I42B4","target":"record","payload":{"canonical_record":{"source":{"id":"2607.15256","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-07-16T17:51:23Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"7fda1cf2e3f5aa5c2cbaf2158da3511e9c0babf5c573abb56cd643b3b2b40547","abstract_canon_sha256":"7a620cd13482a5bc00e3052df6168ff92f25a688576ab0f7b0d7f8632eac75e7"},"schema_version":"1.0"},"canonical_sha256":"3a7b39827d7fa2204734db5f2fa39a0f260f2deb6ef29adaf39875ccd0a9ab91","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-17T01:22:17.025569Z","signature_b64":"MiTw/KM4j+fVUX3pesNgpDzV/wM4xp0J+Bt2N0zG1HHhrToRUkxeYL/QMYoY/4eHFPJ8tAyt92ixsNBvLCpQCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a7b39827d7fa2204734db5f2fa39a0f260f2deb6ef29adaf39875ccd0a9ab91","last_reissued_at":"2026-07-17T01:22:17.024748Z","signature_status":"signed_v1","first_computed_at":"2026-07-17T01:22:17.024748Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.15256","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-07-17T01:22:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Vh9O4uePgx4wBpDmN5y1dCrhMXc805E3ZfbpfUvq4fwgDsKPvwP1ruTBSvSnwCz4pZblMTtYZFNaXHjp2efDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:27:59.100665Z"},"content_sha256":"8ea62c56bce158f2b451bdd21e0d86024f9dbf824a60e7f4496ef770acafe1ab","schema_version":"1.0","event_id":"sha256:8ea62c56bce158f2b451bdd21e0d86024f9dbf824a60e7f4496ef770acafe1ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:HJ5TTAT5P6RCARZU3NPS7I42B4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Analytic finite-rank corrections for singularly weighted estimates in a computer-assisted proof of 3D Euler singularity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"math.AP","authors_text":"Jiajie Chen, Thomas Y. Hou","submitted_at":"2026-07-16T17:51:23Z","abstract_excerpt":"Computer-assisted proofs of self-similar singularity formation for fluid equations often rely on numerically constructed approximate profiles. One effective approach to establishing stability of perturbations around a numerically constructed profile is to perform weighted energy estimates with singular weights near the singularity. However, the weighted norms require exact local vanishing conditions that are not automatically preserved by the equations nor the numerical construction. In this paper, we review an analytic low-rank correction method first developed in [ChenHou2023a,ChenHou2023b] "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15256","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.15256/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-17T01:22:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c/Q99E0/PZ8IoBg+3MVHG8vFs6qsfI3RAlXL717ujfGEfkzR9LghHP4cyG4s8tfZZky4vvfu2I8IkjwG9N/dBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:27:59.101170Z"},"content_sha256":"04e5e7584d64c1c6009567b0928d9e664758698e16f571dcf56eca7a44028ff4","schema_version":"1.0","event_id":"sha256:04e5e7584d64c1c6009567b0928d9e664758698e16f571dcf56eca7a44028ff4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HJ5TTAT5P6RCARZU3NPS7I42B4/bundle.json","state_url":"https://pith.science/pith/HJ5TTAT5P6RCARZU3NPS7I42B4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HJ5TTAT5P6RCARZU3NPS7I42B4/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-08-08T22:27:59Z","links":{"resolver":"https://pith.science/pith/HJ5TTAT5P6RCARZU3NPS7I42B4","bundle":"https://pith.science/pith/HJ5TTAT5P6RCARZU3NPS7I42B4/bundle.json","state":"https://pith.science/pith/HJ5TTAT5P6RCARZU3NPS7I42B4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HJ5TTAT5P6RCARZU3NPS7I42B4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:HJ5TTAT5P6RCARZU3NPS7I42B4","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":"7a620cd13482a5bc00e3052df6168ff92f25a688576ab0f7b0d7f8632eac75e7","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-07-16T17:51:23Z","title_canon_sha256":"7fda1cf2e3f5aa5c2cbaf2158da3511e9c0babf5c573abb56cd643b3b2b40547"},"schema_version":"1.0","source":{"id":"2607.15256","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.15256","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.15256v1","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15256","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"pith_short_12","alias_value":"HJ5TTAT5P6RC","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"pith_short_16","alias_value":"HJ5TTAT5P6RCARZU","created_at":"2026-07-17T01:22:17Z"},{"alias_kind":"pith_short_8","alias_value":"HJ5TTAT5","created_at":"2026-07-17T01:22:17Z"}],"graph_snapshots":[{"event_id":"sha256:04e5e7584d64c1c6009567b0928d9e664758698e16f571dcf56eca7a44028ff4","target":"graph","created_at":"2026-07-17T01:22:17Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.15256/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Computer-assisted proofs of self-similar singularity formation for fluid equations often rely on numerically constructed approximate profiles. One effective approach to establishing stability of perturbations around a numerically constructed profile is to perform weighted energy estimates with singular weights near the singularity. However, the weighted norms require exact local vanishing conditions that are not automatically preserved by the equations nor the numerical construction. In this paper, we review an analytic low-rank correction method first developed in [ChenHou2023a,ChenHou2023b] ","authors_text":"Jiajie Chen, Thomas Y. Hou","cross_cats":["cs.NA","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-07-16T17:51:23Z","title":"Analytic finite-rank corrections for singularly weighted estimates in a computer-assisted proof of 3D Euler singularity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15256","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:8ea62c56bce158f2b451bdd21e0d86024f9dbf824a60e7f4496ef770acafe1ab","target":"record","created_at":"2026-07-17T01:22:17Z","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":"7a620cd13482a5bc00e3052df6168ff92f25a688576ab0f7b0d7f8632eac75e7","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-07-16T17:51:23Z","title_canon_sha256":"7fda1cf2e3f5aa5c2cbaf2158da3511e9c0babf5c573abb56cd643b3b2b40547"},"schema_version":"1.0","source":{"id":"2607.15256","kind":"arxiv","version":1}},"canonical_sha256":"3a7b39827d7fa2204734db5f2fa39a0f260f2deb6ef29adaf39875ccd0a9ab91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a7b39827d7fa2204734db5f2fa39a0f260f2deb6ef29adaf39875ccd0a9ab91","first_computed_at":"2026-07-17T01:22:17.024748Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-17T01:22:17.024748Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MiTw/KM4j+fVUX3pesNgpDzV/wM4xp0J+Bt2N0zG1HHhrToRUkxeYL/QMYoY/4eHFPJ8tAyt92ixsNBvLCpQCA==","signature_status":"signed_v1","signed_at":"2026-07-17T01:22:17.025569Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.15256","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ea62c56bce158f2b451bdd21e0d86024f9dbf824a60e7f4496ef770acafe1ab","sha256:04e5e7584d64c1c6009567b0928d9e664758698e16f571dcf56eca7a44028ff4"],"state_sha256":"791f8017762f9858bba7bafcabcb8ff9ee6a061702c10c63975f5bdd9a60b516"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9MZWXeQce0J/xG6BvvoKV9s3qrk7od/o4v+fMvxiNcy5ASXbd25QWMA+tM2DRmk1nmjCEADOfcjioUeidvNhCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T22:27:59.105767Z","bundle_sha256":"2f78c3dbf71b6cb71e59f94d13e1997267136e096af19b473eed5bdde0d67bab"}}