{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2PZGA3NSJWDAFKKWKC26DNU3KI","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":"7a3a9567b794ec91fd78de62625acd3353109b17a4275f44bee76b6328290ee0","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-23T01:11:11Z","title_canon_sha256":"c9a36a892c01e85a7a75b97f0b6c6272ad24048c34213dc581d1a499b51dcbca"},"schema_version":"1.0","source":{"id":"1501.05691","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.05691","created_at":"2026-05-18T02:28:53Z"},{"alias_kind":"arxiv_version","alias_value":"1501.05691v1","created_at":"2026-05-18T02:28:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.05691","created_at":"2026-05-18T02:28:53Z"},{"alias_kind":"pith_short_12","alias_value":"2PZGA3NSJWDA","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"2PZGA3NSJWDAFKKW","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"2PZGA3NS","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:e7bfbc56269d639b21dd61d780ccdd6f216cba9631b2821d50a2ba240b27dcb6","target":"graph","created_at":"2026-05-18T02:28:53Z","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"},"paper":{"abstract_excerpt":"Bezem, Coquand, and Huber have recently given a constructively valid model of higher type theory in a category of nominal cubical sets satisfying a novel condition, called the uniform Kan condition (UKC), which generalizes the standard cubical Kan condition (as considered by, for example, Williamson in his survey of combinatorial homotopy theory) to admit phantom \"additional\" dimensions in open boxes. This note, which represents the authors' attempts to fill in the details of the UKC, is intended for newcomers to the field who may appreciate a more explicit formulation and development of the m","authors_text":"Kuen-Bang Hou, Robert Harper","cross_cats":["cs.PL","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-23T01:11:11Z","title":"A Note on the Uniform Kan Condition in Nominal Cubical Sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.05691","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:b76efb956e8118e85593c95d2e3f512a56b0980d09c1aa6cca85f5c8a587f5dc","target":"record","created_at":"2026-05-18T02:28:53Z","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":"7a3a9567b794ec91fd78de62625acd3353109b17a4275f44bee76b6328290ee0","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-23T01:11:11Z","title_canon_sha256":"c9a36a892c01e85a7a75b97f0b6c6272ad24048c34213dc581d1a499b51dcbca"},"schema_version":"1.0","source":{"id":"1501.05691","kind":"arxiv","version":1}},"canonical_sha256":"d3f2606db24d8602a95650b5e1b69b52217779e36288af2bcaa05848a9df42b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d3f2606db24d8602a95650b5e1b69b52217779e36288af2bcaa05848a9df42b7","first_computed_at":"2026-05-18T02:28:53.533257Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:28:53.533257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DRPT5b+xXXIQzxQlLeq/O3kWW92g1hX8cwQzppuCeHhAXHosv/Q0fi4Bl8M4JMeIeBjQ0QuoPdQVHhYdRkpnBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:28:53.533628Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.05691","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b76efb956e8118e85593c95d2e3f512a56b0980d09c1aa6cca85f5c8a587f5dc","sha256:e7bfbc56269d639b21dd61d780ccdd6f216cba9631b2821d50a2ba240b27dcb6"],"state_sha256":"9744a051b8929e4adee3041cd3128a004ac107253226dc49c3ce346b665a11c4"}