{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:2YFTWZ3U2UFOPIUR5GILRO4AVL","short_pith_number":"pith:2YFTWZ3U","canonical_record":{"source":{"id":"2606.27406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T08:02:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b16e003fde0714b4ce6d0490efac4160b3e1c31c909a32f5c8fa7315f0767256","abstract_canon_sha256":"26a3084abfe0912541cd8c3f325e3ce7c628467d0f5ca9b3d4f56c70ea338ca8"},"schema_version":"1.0"},"canonical_sha256":"d60b3b6774d50ae7a291e990b8bb80aaf988fd3ecfa3484eac3abb811ba8f785","source":{"kind":"arxiv","id":"2606.27406","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.27406","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.27406v1","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27406","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_12","alias_value":"2YFTWZ3U2UFO","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_16","alias_value":"2YFTWZ3U2UFOPIUR","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_8","alias_value":"2YFTWZ3U","created_at":"2026-06-29T00:14:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:2YFTWZ3U2UFOPIUR5GILRO4AVL","target":"record","payload":{"canonical_record":{"source":{"id":"2606.27406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T08:02:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b16e003fde0714b4ce6d0490efac4160b3e1c31c909a32f5c8fa7315f0767256","abstract_canon_sha256":"26a3084abfe0912541cd8c3f325e3ce7c628467d0f5ca9b3d4f56c70ea338ca8"},"schema_version":"1.0"},"canonical_sha256":"d60b3b6774d50ae7a291e990b8bb80aaf988fd3ecfa3484eac3abb811ba8f785","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-29T00:14:04.996461Z","signature_b64":"X1WXAiW4jB251xS+63Bxp4xMXr0pG4C9yOZvma88jaYbcQ//CgEOFN2rPJ1UnTgl2/8w/bUTth4BFp+wtdLYDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d60b3b6774d50ae7a291e990b8bb80aaf988fd3ecfa3484eac3abb811ba8f785","last_reissued_at":"2026-06-29T00:14:04.995989Z","signature_status":"signed_v1","first_computed_at":"2026-06-29T00:14:04.995989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.27406","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-06-29T00:14:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xsdb2odADtIorB+tf77vs4CZzJsHdHkiwir+M51BJQQff5Ya5MGMGc0TNb7hVVM7jUfjVJFvaVNb5uewPnG4Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T07:21:30.263301Z"},"content_sha256":"e91c4121311ca2d74bd90a605bc0fe090e8046ac127a4f348b400ee3bd4c9740","schema_version":"1.0","event_id":"sha256:e91c4121311ca2d74bd90a605bc0fe090e8046ac127a4f348b400ee3bd4c9740"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:2YFTWZ3U2UFOPIUR5GILRO4AVL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Evaluation of Implicit Software World Models in Coding LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Egor Bogomolov, Yaroslav Zharov","submitted_at":"2026-06-25T08:02:32Z","abstract_excerpt":"Software engineering, whether performed by humans or by AI agents, requires reasoning about how software behaves. We call the internal model that supports such reasoning the software world model, and view current code-execution benchmarks as covering one well-studied slice of it -- control flow. In this paper, we take a step toward a broader evaluation by shifting the observable axis to execution resources: alongside test outcome and exception class, we predict peak memory, wall-clock time, and ranked profiler outputs at method and line granularity. We use SWE-bench Verified as the source of d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27406","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/2606.27406/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-06-29T00:14:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2iOYIk6BUwnLXQ/xu49N9JiSpHaKYOUD5v2YtCwmy+wIJHGk6HDBDlZxJbnopDu2I4uFGXlSiO435JrWX9JoAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T07:21:30.263693Z"},"content_sha256":"ab2b2b9ea2a57d84b41ba887841e21fda8bbf7b8e1456daa4b795c6766b567b2","schema_version":"1.0","event_id":"sha256:ab2b2b9ea2a57d84b41ba887841e21fda8bbf7b8e1456daa4b795c6766b567b2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2YFTWZ3U2UFOPIUR5GILRO4AVL/bundle.json","state_url":"https://pith.science/pith/2YFTWZ3U2UFOPIUR5GILRO4AVL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2YFTWZ3U2UFOPIUR5GILRO4AVL/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-06-30T07:21:30Z","links":{"resolver":"https://pith.science/pith/2YFTWZ3U2UFOPIUR5GILRO4AVL","bundle":"https://pith.science/pith/2YFTWZ3U2UFOPIUR5GILRO4AVL/bundle.json","state":"https://pith.science/pith/2YFTWZ3U2UFOPIUR5GILRO4AVL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2YFTWZ3U2UFOPIUR5GILRO4AVL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2YFTWZ3U2UFOPIUR5GILRO4AVL","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":"26a3084abfe0912541cd8c3f325e3ce7c628467d0f5ca9b3d4f56c70ea338ca8","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T08:02:32Z","title_canon_sha256":"b16e003fde0714b4ce6d0490efac4160b3e1c31c909a32f5c8fa7315f0767256"},"schema_version":"1.0","source":{"id":"2606.27406","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.27406","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.27406v1","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27406","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_12","alias_value":"2YFTWZ3U2UFO","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_16","alias_value":"2YFTWZ3U2UFOPIUR","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_8","alias_value":"2YFTWZ3U","created_at":"2026-06-29T00:14:04Z"}],"graph_snapshots":[{"event_id":"sha256:ab2b2b9ea2a57d84b41ba887841e21fda8bbf7b8e1456daa4b795c6766b567b2","target":"graph","created_at":"2026-06-29T00:14:04Z","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/2606.27406/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software engineering, whether performed by humans or by AI agents, requires reasoning about how software behaves. We call the internal model that supports such reasoning the software world model, and view current code-execution benchmarks as covering one well-studied slice of it -- control flow. In this paper, we take a step toward a broader evaluation by shifting the observable axis to execution resources: alongside test outcome and exception class, we predict peak memory, wall-clock time, and ranked profiler outputs at method and line granularity. We use SWE-bench Verified as the source of d","authors_text":"Egor Bogomolov, Yaroslav Zharov","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T08:02:32Z","title":"Towards Evaluation of Implicit Software World Models in Coding LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27406","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:e91c4121311ca2d74bd90a605bc0fe090e8046ac127a4f348b400ee3bd4c9740","target":"record","created_at":"2026-06-29T00:14:04Z","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":"26a3084abfe0912541cd8c3f325e3ce7c628467d0f5ca9b3d4f56c70ea338ca8","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T08:02:32Z","title_canon_sha256":"b16e003fde0714b4ce6d0490efac4160b3e1c31c909a32f5c8fa7315f0767256"},"schema_version":"1.0","source":{"id":"2606.27406","kind":"arxiv","version":1}},"canonical_sha256":"d60b3b6774d50ae7a291e990b8bb80aaf988fd3ecfa3484eac3abb811ba8f785","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d60b3b6774d50ae7a291e990b8bb80aaf988fd3ecfa3484eac3abb811ba8f785","first_computed_at":"2026-06-29T00:14:04.995989Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-29T00:14:04.995989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X1WXAiW4jB251xS+63Bxp4xMXr0pG4C9yOZvma88jaYbcQ//CgEOFN2rPJ1UnTgl2/8w/bUTth4BFp+wtdLYDg==","signature_status":"signed_v1","signed_at":"2026-06-29T00:14:04.996461Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.27406","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e91c4121311ca2d74bd90a605bc0fe090e8046ac127a4f348b400ee3bd4c9740","sha256:ab2b2b9ea2a57d84b41ba887841e21fda8bbf7b8e1456daa4b795c6766b567b2"],"state_sha256":"a421f7b8cf4d874063775ff9b69dd8488b5396474ec64a1fc3b3922f049a8e23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y8SgedqZ/4/fdH53M6BRu3ynjtTjtYHNFRhPLcIRMOeDZV1YOCMHPYnxCf+Y6/C1FHfHg5x5pPUgb4CAfbVxDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T07:21:30.265748Z","bundle_sha256":"e89e85a777c33b4d036cfa0c9df30e33bd9f699b449a9c2167e5161b97dd797f"}}