{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:W4V5ICRUL6NQHJX7XWAHAJY556","short_pith_number":"pith:W4V5ICRU","canonical_record":{"source":{"id":"1409.1829","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-09-05T14:55:51Z","cross_cats_sorted":[],"title_canon_sha256":"e5f689ede429843c9eeed9781e7abc32862f2d4cab234d1385e6f02e9d0fe16d","abstract_canon_sha256":"ae794843227d3422fcefc1b3eca2005c3b085e4fec090eafb2223f5403fc1919"},"schema_version":"1.0"},"canonical_sha256":"b72bd40a345f9b03a6ffbd8070271def80f698b016a965450146c331c3981c0f","source":{"kind":"arxiv","id":"1409.1829","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.1829","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"arxiv_version","alias_value":"1409.1829v2","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.1829","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"pith_short_12","alias_value":"W4V5ICRUL6NQ","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"W4V5ICRUL6NQHJX7","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"W4V5ICRU","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:W4V5ICRUL6NQHJX7XWAHAJY556","target":"record","payload":{"canonical_record":{"source":{"id":"1409.1829","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-09-05T14:55:51Z","cross_cats_sorted":[],"title_canon_sha256":"e5f689ede429843c9eeed9781e7abc32862f2d4cab234d1385e6f02e9d0fe16d","abstract_canon_sha256":"ae794843227d3422fcefc1b3eca2005c3b085e4fec090eafb2223f5403fc1919"},"schema_version":"1.0"},"canonical_sha256":"b72bd40a345f9b03a6ffbd8070271def80f698b016a965450146c331c3981c0f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:24:10.651582Z","signature_b64":"jKhQLvWyG7jUSh/b/6F1Yu6mvxw33Uer6etp67yGVktas8rjRdyxKry0Tayfh1bVvnpnvgpfRv5cfiqTwUb6Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b72bd40a345f9b03a6ffbd8070271def80f698b016a965450146c331c3981c0f","last_reissued_at":"2026-05-18T00:24:10.650414Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:24:10.650414Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.1829","source_version":2,"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-05-18T00:24:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"phqILqm/7KKmANEYqMe/4l6dhCYdzTezbz/n9zlxyuSa/dJjUZqxtKFFFL46COtFTeQObhia6IDPcqUAfdsYDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:55:38.161038Z"},"content_sha256":"30a281a2251cd7bbeba2753a79aff49c603ed3a2f8f0ab3e050f885cd0c55d9d","schema_version":"1.0","event_id":"sha256:30a281a2251cd7bbeba2753a79aff49c603ed3a2f8f0ab3e050f885cd0c55d9d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:W4V5ICRUL6NQHJX7XWAHAJY556","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Algebraic Weak Factorisation System on 01-Substitution Sets: A Constructive Proof","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andrew Swan","submitted_at":"2014-09-05T14:55:51Z","abstract_excerpt":"We will construct an algebraic weak factorisation system on the category of 01 substitution sets such that the R-algebras are precisely the Kan fibrations together with a choice of Kan filling operation. The proof is based on Garner's small object argument for algebraic weak factorization systems. In order to ensure the proof is valid constructively, rather than applying the general small object argument, we give a direct proof based on the same ideas. We use this us to give an explanation why the J computation rule is absent from the original cubical set model and suggest a way to fix this."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.1829","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:24:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HrvL43ELeYAsZceWsCg+uKofMZWPmmQmXwro0UIMu4QciSkgsrKfAscFL+0MYXcJLrGX48vAWaGAR6Xx60AoAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:55:38.161388Z"},"content_sha256":"9e18891410919738eb429a1d7fed9b9e3648691ded6bd776ee5da1ab69761ed8","schema_version":"1.0","event_id":"sha256:9e18891410919738eb429a1d7fed9b9e3648691ded6bd776ee5da1ab69761ed8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W4V5ICRUL6NQHJX7XWAHAJY556/bundle.json","state_url":"https://pith.science/pith/W4V5ICRUL6NQHJX7XWAHAJY556/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W4V5ICRUL6NQHJX7XWAHAJY556/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-05-28T17:55:38Z","links":{"resolver":"https://pith.science/pith/W4V5ICRUL6NQHJX7XWAHAJY556","bundle":"https://pith.science/pith/W4V5ICRUL6NQHJX7XWAHAJY556/bundle.json","state":"https://pith.science/pith/W4V5ICRUL6NQHJX7XWAHAJY556/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W4V5ICRUL6NQHJX7XWAHAJY556/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:W4V5ICRUL6NQHJX7XWAHAJY556","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":"ae794843227d3422fcefc1b3eca2005c3b085e4fec090eafb2223f5403fc1919","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-09-05T14:55:51Z","title_canon_sha256":"e5f689ede429843c9eeed9781e7abc32862f2d4cab234d1385e6f02e9d0fe16d"},"schema_version":"1.0","source":{"id":"1409.1829","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.1829","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"arxiv_version","alias_value":"1409.1829v2","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.1829","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"pith_short_12","alias_value":"W4V5ICRUL6NQ","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"W4V5ICRUL6NQHJX7","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"W4V5ICRU","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:9e18891410919738eb429a1d7fed9b9e3648691ded6bd776ee5da1ab69761ed8","target":"graph","created_at":"2026-05-18T00:24:10Z","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":"We will construct an algebraic weak factorisation system on the category of 01 substitution sets such that the R-algebras are precisely the Kan fibrations together with a choice of Kan filling operation. The proof is based on Garner's small object argument for algebraic weak factorization systems. In order to ensure the proof is valid constructively, rather than applying the general small object argument, we give a direct proof based on the same ideas. We use this us to give an explanation why the J computation rule is absent from the original cubical set model and suggest a way to fix this.","authors_text":"Andrew Swan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-09-05T14:55:51Z","title":"An Algebraic Weak Factorisation System on 01-Substitution Sets: A Constructive Proof"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.1829","kind":"arxiv","version":2},"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:30a281a2251cd7bbeba2753a79aff49c603ed3a2f8f0ab3e050f885cd0c55d9d","target":"record","created_at":"2026-05-18T00:24:10Z","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":"ae794843227d3422fcefc1b3eca2005c3b085e4fec090eafb2223f5403fc1919","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-09-05T14:55:51Z","title_canon_sha256":"e5f689ede429843c9eeed9781e7abc32862f2d4cab234d1385e6f02e9d0fe16d"},"schema_version":"1.0","source":{"id":"1409.1829","kind":"arxiv","version":2}},"canonical_sha256":"b72bd40a345f9b03a6ffbd8070271def80f698b016a965450146c331c3981c0f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b72bd40a345f9b03a6ffbd8070271def80f698b016a965450146c331c3981c0f","first_computed_at":"2026-05-18T00:24:10.650414Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:10.650414Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jKhQLvWyG7jUSh/b/6F1Yu6mvxw33Uer6etp67yGVktas8rjRdyxKry0Tayfh1bVvnpnvgpfRv5cfiqTwUb6Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:10.651582Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.1829","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30a281a2251cd7bbeba2753a79aff49c603ed3a2f8f0ab3e050f885cd0c55d9d","sha256:9e18891410919738eb429a1d7fed9b9e3648691ded6bd776ee5da1ab69761ed8"],"state_sha256":"1b757fc9f4ad95b7e61225457d32082f0484a23f6bb4139ace5c0906e8b8b377"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3GXmbhVQ0UJoruRnKOy49WLtTwfU+LxkzkeRS1vmzjCQiUsvVt2xuz+ULR1gL2ehOFwF5ngkfAAmQxgnks88BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:55:38.163287Z","bundle_sha256":"06dbb61bdb0d9833bd0d236e75b60d8f4a178623a21d6a47db591e20732efd68"}}