{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:SYSRGOQDKDZQP5VR23PSKM5P72","short_pith_number":"pith:SYSRGOQD","canonical_record":{"source":{"id":"2006.16282","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-06-29T18:03:36Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"cd954839141ffce772109f662a260299a5b82527224065f23346098b66427e65","abstract_canon_sha256":"03aa8086389d46f830cbc86177859dec116bd1d6dc8c53a4f8037d7b75035243"},"schema_version":"1.0"},"canonical_sha256":"9625133a0350f307f6b1d6df2533affebf8633d5ff68e5777e6cefd6853d6753","source":{"kind":"arxiv","id":"2006.16282","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.16282","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"arxiv_version","alias_value":"2006.16282v1","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.16282","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"pith_short_12","alias_value":"SYSRGOQDKDZQ","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"pith_short_16","alias_value":"SYSRGOQDKDZQP5VR","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"pith_short_8","alias_value":"SYSRGOQD","created_at":"2026-07-05T01:14:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:SYSRGOQDKDZQP5VR23PSKM5P72","target":"record","payload":{"canonical_record":{"source":{"id":"2006.16282","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-06-29T18:03:36Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"cd954839141ffce772109f662a260299a5b82527224065f23346098b66427e65","abstract_canon_sha256":"03aa8086389d46f830cbc86177859dec116bd1d6dc8c53a4f8037d7b75035243"},"schema_version":"1.0"},"canonical_sha256":"9625133a0350f307f6b1d6df2533affebf8633d5ff68e5777e6cefd6853d6753","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:14:14.353049Z","signature_b64":"YkgghfUyvJoP/rBa5/2Kwm/iUwq7nhfqkEiMZebU/2ubWjcZJUQOG5eNvEjVYCz5jIME76Dojzcqn6VaozRxBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9625133a0350f307f6b1d6df2533affebf8633d5ff68e5777e6cefd6853d6753","last_reissued_at":"2026-07-05T01:14:14.352582Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:14:14.352582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2006.16282","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-05T01:14:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nh/YGjeRWN49sxOulep3V3fI6DuKlVmZLxPg7fEPo8I11PYt3Ct47opKstrtSwM8v0XK0e81QbUnhVxEathsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T18:44:07.229386Z"},"content_sha256":"37753128c875a54870d4059bba11067f27a55af2039dc957bb69e94828da30dc","schema_version":"1.0","event_id":"sha256:37753128c875a54870d4059bba11067f27a55af2039dc957bb69e94828da30dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:SYSRGOQDKDZQP5VR23PSKM5P72","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Irksome: Automating Runge--Kutta time-stepping for finite element methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"math.NA","authors_text":"Jorge Marchena-Menendez, Patrick E. Farrell, Robert C. Kirby","submitted_at":"2020-06-29T18:03:36Z","abstract_excerpt":"While implicit Runge--Kutta methods possess high order accuracy and important stability properties, implementation difficulties and the high expense of solving the coupled algebraic system at each time step are frequently cited as impediments. We present IIrksome, a high-level library for manipulating UFL (Unified Form Language) expressions of semidiscrete variational forms to obtain UFL expressions for the coupled Runge--Kutta stage equations at each time step. Irksome works with the Firedrake package to enable the efficient solution of the resulting coupled algebraic systems. Numerical examp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.16282","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/2006.16282/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-05T01:14:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GAm/0PwXUoEwdHJzrhjk4q3uOypPtT2OaQjvYqHfrUH+62rWh9ZlgsnDqjLukZ/d2Dd8qlNC7vwhq4QMy+d1Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T18:44:07.229759Z"},"content_sha256":"8796377004fd52e6b44341624d4a1e97da2f0bf4d3b7df1136268bad05f50bf9","schema_version":"1.0","event_id":"sha256:8796377004fd52e6b44341624d4a1e97da2f0bf4d3b7df1136268bad05f50bf9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SYSRGOQDKDZQP5VR23PSKM5P72/bundle.json","state_url":"https://pith.science/pith/SYSRGOQDKDZQP5VR23PSKM5P72/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SYSRGOQDKDZQP5VR23PSKM5P72/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-07-06T18:44:07Z","links":{"resolver":"https://pith.science/pith/SYSRGOQDKDZQP5VR23PSKM5P72","bundle":"https://pith.science/pith/SYSRGOQDKDZQP5VR23PSKM5P72/bundle.json","state":"https://pith.science/pith/SYSRGOQDKDZQP5VR23PSKM5P72/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SYSRGOQDKDZQP5VR23PSKM5P72/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:SYSRGOQDKDZQP5VR23PSKM5P72","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":"03aa8086389d46f830cbc86177859dec116bd1d6dc8c53a4f8037d7b75035243","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-06-29T18:03:36Z","title_canon_sha256":"cd954839141ffce772109f662a260299a5b82527224065f23346098b66427e65"},"schema_version":"1.0","source":{"id":"2006.16282","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.16282","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"arxiv_version","alias_value":"2006.16282v1","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.16282","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"pith_short_12","alias_value":"SYSRGOQDKDZQ","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"pith_short_16","alias_value":"SYSRGOQDKDZQP5VR","created_at":"2026-07-05T01:14:14Z"},{"alias_kind":"pith_short_8","alias_value":"SYSRGOQD","created_at":"2026-07-05T01:14:14Z"}],"graph_snapshots":[{"event_id":"sha256:8796377004fd52e6b44341624d4a1e97da2f0bf4d3b7df1136268bad05f50bf9","target":"graph","created_at":"2026-07-05T01:14:14Z","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/2006.16282/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While implicit Runge--Kutta methods possess high order accuracy and important stability properties, implementation difficulties and the high expense of solving the coupled algebraic system at each time step are frequently cited as impediments. We present IIrksome, a high-level library for manipulating UFL (Unified Form Language) expressions of semidiscrete variational forms to obtain UFL expressions for the coupled Runge--Kutta stage equations at each time step. Irksome works with the Firedrake package to enable the efficient solution of the resulting coupled algebraic systems. Numerical examp","authors_text":"Jorge Marchena-Menendez, Patrick E. Farrell, Robert C. Kirby","cross_cats":["cs.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-06-29T18:03:36Z","title":"Irksome: Automating Runge--Kutta time-stepping for finite element methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.16282","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:37753128c875a54870d4059bba11067f27a55af2039dc957bb69e94828da30dc","target":"record","created_at":"2026-07-05T01:14:14Z","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":"03aa8086389d46f830cbc86177859dec116bd1d6dc8c53a4f8037d7b75035243","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-06-29T18:03:36Z","title_canon_sha256":"cd954839141ffce772109f662a260299a5b82527224065f23346098b66427e65"},"schema_version":"1.0","source":{"id":"2006.16282","kind":"arxiv","version":1}},"canonical_sha256":"9625133a0350f307f6b1d6df2533affebf8633d5ff68e5777e6cefd6853d6753","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9625133a0350f307f6b1d6df2533affebf8633d5ff68e5777e6cefd6853d6753","first_computed_at":"2026-07-05T01:14:14.352582Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:14:14.352582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YkgghfUyvJoP/rBa5/2Kwm/iUwq7nhfqkEiMZebU/2ubWjcZJUQOG5eNvEjVYCz5jIME76Dojzcqn6VaozRxBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:14:14.353049Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.16282","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:37753128c875a54870d4059bba11067f27a55af2039dc957bb69e94828da30dc","sha256:8796377004fd52e6b44341624d4a1e97da2f0bf4d3b7df1136268bad05f50bf9"],"state_sha256":"3d6edb7b1d00dc0240c7b2a8ea6e9e9b9e4074165a27f8fafe5ff143b6a1ae11"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o2MXLMz5nEX744gsHAgjICmbdzn0kWW3qqrS7pdoDbDOJNHHq8oyWA5c8NkcLas8EmmQ1cizn1eItI25QAymAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T18:44:07.231685Z","bundle_sha256":"bac5a75107e037f5cc1252b0abc972955579187527a48126349c91b91d2ce69c"}}