{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RASIG24G73KDEVLAVSXKIOX4VS","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":"8837407b72f904bdd661b6a204525ca60d76b94867bf57eb9df019954952d1d1","cross_cats_sorted":["cs.NA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2026-07-02T10:56:49Z","title_canon_sha256":"2bcecacca4b620dc6486acb43cc501f3e77f7cf64eb4cce4ea40a9f5b21dac60"},"schema_version":"1.0","source":{"id":"2607.02030","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.02030","created_at":"2026-07-03T01:17:37Z"},{"alias_kind":"arxiv_version","alias_value":"2607.02030v1","created_at":"2026-07-03T01:17:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02030","created_at":"2026-07-03T01:17:37Z"},{"alias_kind":"pith_short_12","alias_value":"RASIG24G73KD","created_at":"2026-07-03T01:17:37Z"},{"alias_kind":"pith_short_16","alias_value":"RASIG24G73KDEVLA","created_at":"2026-07-03T01:17:37Z"},{"alias_kind":"pith_short_8","alias_value":"RASIG24G","created_at":"2026-07-03T01:17:37Z"}],"graph_snapshots":[{"event_id":"sha256:5a8b96f949c0748eceacfa77a41f3eddb96b6288a29493352c5bc1e3eba2ec5f","target":"graph","created_at":"2026-07-03T01:17:37Z","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.02030/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider a mathematical model of a poro-visco-elastic medium subject to frictional contact with a rigid obstacle, and study its numerical approximation. This model couples the Biot equations and contact conditions in the form of normal compliance and Coulomb friction. The resulting variational problem consists of a linear partial differential equation coupled to a nonlinear variational inequality. We propose and analyze a fully discrete numerical scheme for this problem, using conformal finite elements in space and the implicit Euler method in time. Existence and uniqueness of the discrete ","authors_text":"Eirik Keilegavlen, Inga Berre, Jakub Wiktor Both, Kundan Kumar, Marius Nevland","cross_cats":["cs.NA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2026-07-02T10:56:49Z","title":"Numerical analysis of the Biot equations coupled to frictional contact mechanics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02030","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:cb3bad68cef9a62dedbcf9d54e92d5d74ef0affadbf293acbfc0adf52fee94e8","target":"record","created_at":"2026-07-03T01:17:37Z","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":"8837407b72f904bdd661b6a204525ca60d76b94867bf57eb9df019954952d1d1","cross_cats_sorted":["cs.NA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NA","submitted_at":"2026-07-02T10:56:49Z","title_canon_sha256":"2bcecacca4b620dc6486acb43cc501f3e77f7cf64eb4cce4ea40a9f5b21dac60"},"schema_version":"1.0","source":{"id":"2607.02030","kind":"arxiv","version":1}},"canonical_sha256":"8824836b86fed4325560acaea43afcaca08a0ddbf9866e35ca3aaa0cf8e7396e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8824836b86fed4325560acaea43afcaca08a0ddbf9866e35ca3aaa0cf8e7396e","first_computed_at":"2026-07-03T01:17:37.522489Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T01:17:37.522489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"owrc+3hyJVPBO2wJ8/Ncz5mjeZomqJnxG+CJaPuNVEcCXPvup3DYhESRJIb3CJXvfQd6sReaZaX6bX42IuahBw==","signature_status":"signed_v1","signed_at":"2026-07-03T01:17:37.522981Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.02030","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb3bad68cef9a62dedbcf9d54e92d5d74ef0affadbf293acbfc0adf52fee94e8","sha256:5a8b96f949c0748eceacfa77a41f3eddb96b6288a29493352c5bc1e3eba2ec5f"],"state_sha256":"316592f640f69c4519464364a7ebe85be88b8eed73a2e24a4ecc8790097b5686"}