{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TYZ3ANBF2KLYU4PCWJZGTY2XDB","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":"dfc767a18eb91c8bb8488b260714c6b4eb581168ec80c990d31861c2ed991700","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2026-08-02T15:45:54Z","title_canon_sha256":"00dc06c5b9dcd7351cb0080d9be30bfcf506ae7229de591eaa31423aabc04240"},"schema_version":"1.0","source":{"id":"2608.01326","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.01326","created_at":"2026-08-04T02:04:09Z"},{"alias_kind":"arxiv_version","alias_value":"2608.01326v1","created_at":"2026-08-04T02:04:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.01326","created_at":"2026-08-04T02:04:09Z"},{"alias_kind":"pith_short_12","alias_value":"TYZ3ANBF2KLY","created_at":"2026-08-04T02:04:09Z"},{"alias_kind":"pith_short_16","alias_value":"TYZ3ANBF2KLYU4PC","created_at":"2026-08-04T02:04:09Z"},{"alias_kind":"pith_short_8","alias_value":"TYZ3ANBF","created_at":"2026-08-04T02:04:09Z"}],"graph_snapshots":[{"event_id":"sha256:c3e9bd6e267413f5fb1a8b304f3026ce4f1da3bca0ec2eedeaec81aed4d14584","target":"graph","created_at":"2026-08-04T02:04:09Z","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/2608.01326/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have a bounded context window. The context window is the maximum input size an LLM can consume for a single inference. AI agents rely on a process called context compaction to fit their state within the context window when calling an LLM. Despite its ubiquity, context compaction has received essentially no formal analysis. In this paper, we initiate a formal study of context compaction. We first introduce a framework consisting of two games that capture the two algorithmic strategies for context compaction used by contemporary AI agents in practice. The Context Sel","authors_text":"Allison Bishop, Hayder Tirmazi, Michael Mitzenmacher, Sam Markelon","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2026-08-02T15:45:54Z","title":"Context Compaction Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.01326","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:bc4dc1d4f321ade6d10292c1e2e15032c88a899009ed9bf9e298c999429ad2aa","target":"record","created_at":"2026-08-04T02:04:09Z","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":"dfc767a18eb91c8bb8488b260714c6b4eb581168ec80c990d31861c2ed991700","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2026-08-02T15:45:54Z","title_canon_sha256":"00dc06c5b9dcd7351cb0080d9be30bfcf506ae7229de591eaa31423aabc04240"},"schema_version":"1.0","source":{"id":"2608.01326","kind":"arxiv","version":1}},"canonical_sha256":"9e33b03425d2978a71e2b27269e3571858bf93f4837f16f09111856ae62de2d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e33b03425d2978a71e2b27269e3571858bf93f4837f16f09111856ae62de2d9","first_computed_at":"2026-08-04T02:04:09.910871Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T02:04:09.910871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Pefq/iDZRvih0alBwUWH7k1BxR+HG3C4W+38e+3jJbfd8tDPbSVWXimr/IIdx/2P8+y4goXTdDaLhUKCFv1lDQ==","signature_status":"signed_v1","signed_at":"2026-08-04T02:04:09.912683Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.01326","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc4dc1d4f321ade6d10292c1e2e15032c88a899009ed9bf9e298c999429ad2aa","sha256:c3e9bd6e267413f5fb1a8b304f3026ce4f1da3bca0ec2eedeaec81aed4d14584"],"state_sha256":"c6b150e90f0e69d19ff54ce316a61ae2e1e28e9af5b102cf5829664e74c80983"}