{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YCMKA7JX3OAHFHDUPDZ7DUWM54","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":"2ba22bdf4eb09aeae83e934b45b70037976ffcf70ccb4df56dc22aecb9767b4c","cross_cats_sorted":["cs.FL","cs.LO","math.LO","math.RT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-20T19:38:13Z","title_canon_sha256":"e6577c49ceb4437ef121d7d982749e562bcb3e0a6b8a0a6b4f4b47475fff8616"},"schema_version":"1.0","source":{"id":"2605.21681","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21681","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21681v1","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21681","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_12","alias_value":"YCMKA7JX3OAH","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_16","alias_value":"YCMKA7JX3OAHFHDU","created_at":"2026-05-22T01:03:27Z"},{"alias_kind":"pith_short_8","alias_value":"YCMKA7JX","created_at":"2026-05-22T01:03:27Z"}],"graph_snapshots":[{"event_id":"sha256:b66c07743af222bbce8ef57d46577dd23998aa3cf1eb4445e097c039ecbd4837","target":"graph","created_at":"2026-05-22T01:03:27Z","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/2605.21681/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable pure set and the countable dense linear order without endpoints have this property. We generalise these results to (a) any structure approximated by finite substructures with few orbits, provided the field is of characteristic zero, and (b) any Fra\\\"iss\\'e limit with free amalgamation in a finite vocabulary consisting of unary and binary relations, possibly ","authors_text":"Bartek Klin, Jingjie Yang, Miko{\\l}aj Boja\\'nczyk","cross_cats":["cs.FL","cs.LO","math.LO","math.RT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-20T19:38:13Z","title":"The Finite Length Property of the Rado Graph and Friends"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21681","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:4dcdf4999e13a771f92976a1d3897bce80376b978cff090aee1ae6d7a5143e4b","target":"record","created_at":"2026-05-22T01:03:27Z","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":"2ba22bdf4eb09aeae83e934b45b70037976ffcf70ccb4df56dc22aecb9767b4c","cross_cats_sorted":["cs.FL","cs.LO","math.LO","math.RT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-20T19:38:13Z","title_canon_sha256":"e6577c49ceb4437ef121d7d982749e562bcb3e0a6b8a0a6b4f4b47475fff8616"},"schema_version":"1.0","source":{"id":"2605.21681","kind":"arxiv","version":1}},"canonical_sha256":"c098a07d37db80729c7478f3f1d2ccef226e3696ba390e75fd0de1f2073c79de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c098a07d37db80729c7478f3f1d2ccef226e3696ba390e75fd0de1f2073c79de","first_computed_at":"2026-05-22T01:03:27.929673Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:03:27.929673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qqfSUAuGVNUsP3UpgmiCs5VBjBJrPrMB0HOIKrJDBiaNbCyhlFPB/KMKyUsdLpoa3qk2CSVN2kRrQHUl1z2fCg==","signature_status":"signed_v1","signed_at":"2026-05-22T01:03:27.930104Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.21681","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4dcdf4999e13a771f92976a1d3897bce80376b978cff090aee1ae6d7a5143e4b","sha256:b66c07743af222bbce8ef57d46577dd23998aa3cf1eb4445e097c039ecbd4837"],"state_sha256":"e34a3f3365b763294301a94f0d97e4cf7cb461c6e22d0adc37166ebd4f6265c5"}