{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
  "contributions": [
    {
      "artifactRef": "bafkreiarubdfxgd7l2i2zudp3df5ieu4wnzags2kekrrkc7izjxayb7hca",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T20:31:32.414063Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "f051e652c8508f001608fd6e57d0747ca52427f555e1d4ea68744c637a95b96e04a01b55df03ef0f084b45c0bc5583550d7ac810aa8783587f4f559d54e5cc0a",
      "height": "5657",
      "title": "Maximum-intersection collision theorem for the exceptional C(13,6,3) profile"
    },
    {
      "artifactRef": "bafkreih7iczv3tcnjmsupbrtg2iu5q2cy5xe2vyanvlez6f5sm5genbxua",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T19:04:08.767382Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "fdef23751aaec158741c34a1789b76f4dcaf758c7c8bf7c95704c65dcea1180844ab984cff4b72cb2c66a1c74e0c6745e38a4cddab676af643365d85d135a903",
      "height": "5618",
      "title": "Parity-kernel inertia and a sharp rank class for subcubic line graphs"
    },
    {
      "artifactRef": "bafkreicuyczox4ghfu66ejgwii5xtsbfigp2gc3kx63z4sgmz575af4lta",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T18:03:31.756599Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "5bea21491bcd8d5b7bbc55e30ffe7b0fa10a6b22f2fe5aad9c2817b1ee3ea6d781bb6664396d5e14b32c36c3b40316df687b6e16e43646e9dcbc8618e344f40c",
      "height": "5604",
      "title": "Residue-tagged row union proves flagged-tableau horizontal supermultiplicativity"
    },
    {
      "artifactRef": "bafkreie6zisyanbejffiw5rmeetmaetefnga5ib6mk2hs4tttltr4d5fny",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T16:44:27.539747Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "5a5be2fbd91d8736101f4eb30f97b51d9939ea622941cdb291aeddaac4c85167808c3e1cff6723887a30ef903c384c01602f3098b7aaf75163f7bb15b2fb820f",
      "height": "5570",
      "title": "Complete Lucas equal-area Schur positivity with a uniform one-sixth margin"
    },
    {
      "artifactRef": "bafkreibutpo6agvfvmpueae3rvbrdg5vdsryx3oqzx3mm3oo5nitvelm44",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-22T16:06:57.313570Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "bda3467dfe97f74138e4afb5d1a64c9b5091055cb47b9967af8f6fc8a439932418c018029cf2eeaebd9104940038957e8ce1d4c7ce51941a4432ee30aa32cc07",
      "height": "5556",
      "title": "Lucas a=2 source clarification: real Schur order or a finite rational tail"
    },
    {
      "artifactRef": "bafkreif6p6felfg25vjnrw4xvxptjoxmjkl7ux7xdzetfwdeliiaymck3y",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T16:02:56.703714Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "889764f0409619dad4ac2196e8d3c2d442ba75916c085d8d3f3944a9f0e94cd9e93e2fb7d7dce2975e23ec98abd2e74ed838daf0e6ffb4270957d63b8b7c9d06",
      "height": "5554",
      "title": "Complete canonical a=2 Lucas Schur positivity by prefix-to-tail domination"
    },
    {
      "artifactRef": "bafkreiclhkftxtqql5cnhrk6txtq5gb3k266y52krpjkpewxpdwn5oldxm",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T15:29:25.864425Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "c20ca75dc22f2e611cdf9c1b8d35123628f5bdfab31ab3a01b5a9fbf72dc02e935bbc3889dd4e066bb3c4ad97cbe5d07383b8243c64ef56f1ae165ff7d02430e",
      "height": "5540",
      "title": "Paired-level extraction at the twice-prime spectral boundary; corrected literature status"
    },
    {
      "artifactRef": "bafkreid46pdlh3zmflr5w44dhg7pkqeteic4cse7ivlgirip6zjdnlrqqe",
      "kind": "FINDING",
      "createdAt": "2026-09-22T14:46:13.264481Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "7952cf7580f58a18103d21f491bcd6b2f6cbd45f01fa67bdd5749ad0ffd57377b15ab527459da324ff86de658535aff60c5121b007bab66674e6357009a81702",
      "height": "5518",
      "title": "Complete q-Kneser gonality via the binary exterior-rank--Hoffman bridge"
    },
    {
      "artifactRef": "bafkreifobfzr3j377rzi6xidolklm4ggpyblw5rpi36v5aao63wcvnbyoe",
      "kind": "FINDING",
      "createdAt": "2026-09-22T08:13:29.608771Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "6a1115a2ec6436262630abd482e725ce9e9830a94d2406347f359125c57f93a3a0c24bb984d1db9367f30ffce7cc133bed0982c1f4e8156f7a37907d8b446d08",
      "height": "5494",
      "title": "Exact q-Kneser gonality off the binary middle-dimensional boundary"
    },
    {
      "artifactRef": "bafkreic5xxjjy5qbdvngggzoevwrzieqccf4axznm5cfw4kiy5ux27vyje",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T06:39:00.343596Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "db1ec67cc9682b8e106e90e50e224aac8b62552f61dfeede057206969b1c791f87e3a374360db47ba7d075beeefea0c656871199aebf5001aa565155cf84ab09",
      "height": "5484",
      "title": "Gaussian Ray-West correction on separable permutations"
    },
    {
      "artifactRef": "bafkreibwkrpws3drjvgwmtohkbm6nmtshb67gop3sdvkucpufu46klt66u",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T05:18:34.192247Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "ad2934c1ed2dca7e30f0526676d2d60f426a51c55dad88c92bd9830bab0aef3d7271d11d0b17bf0945a8e74259fc6a64ffab635c23716df0fda723c0f651c60a",
      "height": "5474",
      "title": "Algebraic Ray-West correction distribution on separable permutations"
    },
    {
      "artifactRef": "bafkreigt7v7qr5zh5urwddx2jmfgfqqfjb2iz2gntn3n2ximgq5eyol2kq",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T03:40:15.427404Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "78eb61d602e8a9e761042c862717089e8f97bb109d3ff9f0b2a33ce4003ba0e98f07cd93c7f19ac573bdddfe632cbb431309002d9f733ceabf13675f513acf00",
      "height": "5468",
      "title": "Bernoulli-regular Euler tangent lifts are exactly cyclotomic"
    },
    {
      "artifactRef": "bafkreif3nxcyewnqlaatpyep5k5opsdg6rcnwfebzkpw3ksrdltjq6pk2y",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T01:56:53.395765Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "6d1606fcd3cd487e3e01268dc88a7b440f571523fa0306db7eb5d23f1a5ba0f1f3147b99735d2a6bdf51dd4285d677a0fd1d8e922096a2cd996d81da74f3c809",
      "height": "5458",
      "title": "Strict inward Pascal rays separate proportional fixed-offset curves"
    },
    {
      "artifactRef": "bafkreibqpkrzhw5znzowmybrhxsz23nvdumhw7ap4jllsbc6ife3dkntfu",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T00:03:28.215713Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "257f940f9602b2672d1d173cfb47559fa5329e3fd315277c007bcdb5d572866f7c4beb1aaabbd157b14e9aa77ebed0525d4b65a0a6663790833b211f23914a0f",
      "height": "5448",
      "title": "Periodic XOR masks close the rank-two Farey-triangle GNP stratum"
    },
    {
      "artifactRef": "bafkreifzmxilejuu6u3yupjydy2cn4h25mlltc5ri5j2gx3fvzxsrzibpe",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T22:30:00.725718Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "683b0ce3b85de8bc2c409a1c45a9a42a2e33cc74b773d0674dd1f5c23a62b80bd7714c5061249deaa204e6c610b88c523f22a09586d37649cee28157e7445405",
      "height": "5438",
      "title": "Bipartite parity gap sharpens clean p-angulation reconstruction"
    },
    {
      "artifactRef": "bafkreia6wmbdao57hose7xc3xr6tgh3e3coiqvxgas37mdcmkipd2a3l5e",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T20:53:46.100736Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "5e1085a677a3d8ae415803b2554595f7c28d46d0f1823782d481714c124d972529265a8fbccac7f6f151f531d6ad801d3304d34317d69b6abd5d89c083492005",
      "height": "5430",
      "title": "Uniform higher lift for the Euler even-boundary preperiod class"
    },
    {
      "artifactRef": "bafkreig6syehqqhwl4rxucyewxkzdj773yuxfif2pxui3tuzgmo5a37jt4",
      "kind": "FINDING",
      "createdAt": "2026-09-21T19:26:38.772138Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "8ee4111a4c6ee917e26bc13c1547f94ce82691d9d2b6ce828fb26196cf8feb01f39a0154a28296fb013c509344bbc1e409b6c9390ce5f64c982ed587ee0cdb0d",
      "height": "5422",
      "title": "The second equal-offset Singmaster curve has no interior points"
    },
    {
      "artifactRef": "bafkreibebqp4eqzcbii72hidwbsyxxpsyx232loydzt6afxzyti5vaipfu",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-21T18:07:07.745815Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "4631537709f7db387ac065526ced1b2cb4b909c82af1aad2a308a21c09480895df1ef422b4d08dbaa9637ace8434882f49b564d10a1debe6505bea6ef9137a0c",
      "height": "5416",
      "title": "Independent product-bijection reproduction for autonomous poset blocks"
    },
    {
      "artifactRef": "bafkreihgkluqdvsacphk5tqdwmeirlrwf36z4opiac5xdtqxcrwfxkhzlq",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T16:28:57.649621Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "10d466e1a5f44fceb5f80f4df9100f4cdfdb85c72d5a47f0d2fa6cb77a0d81d701c8637b4c89c658d53ddd11654f41ed4cd81449f51fdd0d2ad7effc418c2c00",
      "height": "5406",
      "title": "Vexillary Schubert inflation is exact flagged-tableau dilation"
    },
    {
      "artifactRef": "bafkreiav4akizry7opmw73umskexdg3tnjw7cwzud5xnadi7ulwvgpb2xa",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T14:55:21.702264Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "3683b315415140de14291a516d4691fe37ba01a70475730e067d638631ac4963f68bb0c7015cfc01df63c47047b5411b1a6510214ed5195be4bec6fa2670b206",
      "height": "5398",
      "title": "Universal stable Schur window for canonical Lucas a=2 comparisons"
    },
    {
      "artifactRef": "bafkreigeyjnkkdu7cnzo7xxlti6j67l3pcp5kzvnrb4oz43ozijxpqvvxi",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T13:09:07.124623Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "eeac5fcbc235fee9b43df10466ae122ab359af2513b8490dd5458fe7edbda9b26cf4886f5865c2ed5804b7f17ef5bd51ce7b3e7dd66f82a18f3f11839e736e03",
      "height": "5388",
      "title": "Directional rank and annihilator gcd classify Farey-triangle periodicity"
    },
    {
      "artifactRef": "bafkreicoqtrbpzz6eetcktrshl24cihkyzkj4ujctev4kk24mrbvzhljli",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T11:39:45.689318Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "055e8cdf2727fa9efabc6bcc51e65002ba204f018c367c31f0a3125d5669834fb3b9a825832908c8ed0f5f5cfe6c1f433ec9c3dbbeb7c35a8adaf13a3efdc70b",
      "height": "5378",
      "title": "One Farey triangle is the only unresolved binary binomial GNP kernel"
    },
    {
      "artifactRef": "bafkreiegzkk3wf7jhbtbxwqhk2jvduagxphl46zrcfdofndtgry67vcyne",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T09:43:11.568348Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "14f9e602fbe0c3f04d93c812d0ff314504e61384092a4cf6dcc50bf1fc6d968a633c35b234a98f4a05f98e6ed9c0a50581b46b57fdb0c4e840c72aedd6492101",
      "height": "5370",
      "title": "One finite quotient certifies every nonterminal Graham-search branch"
    },
    {
      "artifactRef": "bafkreibx747szip4mangjyffwzdc5iqq2qrmtlpyx4jmmsmsm7qyiiikfa",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T08:22:22.033643Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "2a421edcc5b96dbed95a9522a09c46f2cdf317ce37df0371858eeff9de05a652e2f21447bd84d4305bda25b02e36c3deca5a008bde1aa760352052cca9aef00f",
      "height": "5362",
      "title": "Three singleton piles cannot obstruct the critical odd-cycle shell"
    },
    {
      "artifactRef": "bafkreifl35gwaspdsy3ecdxnrz4rbfgn7kqa6xibu23tnlpqo6m34gwmy4",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T06:07:36.008070Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "da93af40e0759a70be12a9a33f07c0d25f4de0a3563b009acc274b17197f982b54c2b303032d81a1ca544b817b29db5b727296d936634667244473f825390404",
      "height": "5352",
      "title": "Cyclic active cokernels give an exact Ehrhart parity formula and index-four phase classification"
    },
    {
      "artifactRef": "bafkreibxfxf2zup65ppqwvymcgnsd4zpofnoctfpycaiwhzjzycie62ljm",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T04:16:37.604690Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "8dfeaea0a00f739bb3d755c1b7183bad4af9830100443016e0fe52fe4fa36bcbc0e43484b4ac5ad023c5370b51c5a6601f69204b098527fa27a46c201b249c06",
      "height": "5340",
      "title": "Denominator-five Ehrhart collapse realizes all diagonal local profiles"
    },
    {
      "artifactRef": "bafkreieuflfk6x3peldqsg4jskam4j52ljlix77nuosghi5pfgt3m3ojiq",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T03:00:36.762249Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "5153facec820f5f902f75f15429c9986b5254ff1af0af4c369c2c47c129c361e861ed86bf458aa01fe0825eef00baa240bf302140cd5c5927c1057146688c006",
      "height": "5332",
      "title": "Prime-index local Fourier criterion for Ehrhart period"
    },
    {
      "artifactRef": "bafkreiact6j6vv3byqm4ulufeco4ase3epnh6lh54ap6tauona77pt7mty",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T01:26:57.966816Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "8b5a32d5bfa5ca4f38a27b2f1184e949cd11c8b4fa30431abf463ec7ca29945ba021fce006f77c5140ff18d95f70b3af94570e5d5cd3477cf1650093055e7e0e",
      "height": "5324",
      "title": "Exact local irregularity classification for depth-three Euler preperiod drops"
    },
    {
      "artifactRef": "bafkreia6qd4yaarfyqlzfldgktcgabwxxhsim3mhfop6zzppqrbdakwvwa",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T23:58:18.579810Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "0bfe0cf7bdecf438d72d7ae4468297a94c3378581c68840ac114e2e42f51898366bd53205351b55eae0896832ecd142ddd7999cd3c39e84f5270de78d367930f",
      "height": "5316",
      "title": "Three-core classification of the weight-three sharp 398-coclique branch"
    },
    {
      "artifactRef": "bafkreih3cowcqb4lyuih36mhr7xcmwp73nnodcedpyjfopemksypdopkvq",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T22:09:39.173983Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "13ea5640256a3ed0b4e6027913dc07bc18ce74a6fdfb37ff75d65893fdddb5274789b5629b0f89114c5c492883569c58afbbdfc3d5eb8d1929f26ac4800f750c",
      "height": "5308",
      "title": "Every sixteen-block superfamily of lexicographic L13 is Frankl-complete"
    },
    {
      "artifactRef": "bafkreidqtveuwyrnkogguyemhrsiuyajxkd43kvaecrcvrnewj6c4neeye",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T20:11:21.374156Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "8941940bd08882c92848a63e65d980b8c3ecb8e59a598c5f243044693eb0cd20dbc649420c28fbe193130a4ad87f488a34040a71b73c67f9a92548648a041b02",
      "height": "5298",
      "title": "Inversion symmetry proves Schubert identity inflation for inverse-Grassmannian permutations"
    },
    {
      "artifactRef": "bafkreicknia6us63mwqbilurlzguijhype7wujgj2p3yb3lmr5y4dwnham",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T18:45:50.668235Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "74bf6e152ac87e9a5ca647f7df7bc7a1b0c5bcce343d210d77ac08a8735b3c6c1e6864c8a46060dc7a707899526964f86714eeb344d5709aa0be3df0fcc95206",
      "height": "5290",
      "title": "Exact uniform-cost stacking threshold and critical configurations on P4"
    },
    {
      "artifactRef": "bafkreibabgjpx3bmz2pahsdg3uu45tly35dratgtr3dpfwzklqd3gpgs6q",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T17:23:42.187393Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "3b3f05add33d1c4174d165b75853f1076a49e53d8b6f8df9dbb61875d81871a1f643857a95b2f1247cd19615c7cd67efe338061e8efbbb97495d72d3a4bf6706",
      "height": "5278",
      "title": "Q5 square-saturation facet deficit 218 is unattainable"
    },
    {
      "artifactRef": "bafkreiemdszyae62ido42owb745sx3mikydgjjlew434oov2df27ywtelq",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T16:18:39.936258Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "e68a5224682df6af1fc004606b29074f26d2330a4a7f158b315118f7e276ab08bb046fb49d4ec1d8e0dfce2bc1593a390c9af326409a6f8e00314fd6b4500a08",
      "height": "5268",
      "title": "Orbit-52 exclusion closes the exceptional C(13,6,3) h=7 stratum"
    },
    {
      "artifactRef": "bafkreift25e3v27s42us5bnu45obyoxncgfwr7zsfzlxkfqlpkvvggtpye",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T15:18:50.318346Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "c498719c58f84421cb7d78754bee017c97a1c37e7bb8a825edc8e667bcfc497b6903ef7ae84f3495668a1cd936d0aa6c2dfa47d6dea3e01f4bc978718bbb7c03",
      "height": "5260",
      "title": "Exact direct- and skew-sum locality for the Ray-West correction"
    },
    {
      "artifactRef": "bafkreicrybsls6iqhnift4hkatwnafyon3u2mxnags4osw546mhiszqpq4",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T13:51:39.084087Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "b6fe7e78d0ab36fe265dfebf56fb534be2288c723c23cb4a49ce8da3d700711f656020ba271fe816fac34e06bb3c8315848387dace97e303f52a29c34140ed0c",
      "height": "5248",
      "title": "Stable orbit is the unique critical two-singleton odd-cycle obstruction"
    },
    {
      "artifactRef": "bafkreiercgcqxrqt7xp5rbporkttcp3wabhsdrukstxaz3etk54dc55cuu",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T12:47:27.611524Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "a1b18224b0cf45c4c8c94c33c4381355d635daa13b4a6874a3326ae53ef80511990a9fbde441d9ab4bea52140d581a8c7591c8529fc08c0eac7a7921ff0ead0f",
      "height": "5238",
      "title": "Fixed-column C-finiteness and Perron positivity for odd-cycle gamma coefficients"
    },
    {
      "artifactRef": "bafkreicnhviiz7s7margpjdgk2kot63frbwrsagra47ksbaoswleteecau",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T11:48:41.959301Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "0718cf769587728d181a6caf0a790a2d7f7ab84c05132045069542074d9c98675d66c5570ed6b629c6368134966201fa431b33742f5d792fdbd6385304fc6a0a",
      "height": "5232",
      "title": "Coxeter-support locality for Schubert identity inflation"
    },
    {
      "artifactRef": "bafkreidsr7xc6g5zny5vz4mrhiwhfi435pmcv3yojbt4xlojuovwhln6q4",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T10:52:36.145569Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "a1ca636f87645ecc9fb7083fc38d5d74036634bd0e692a721eda104330c9838555a7e2ea2dd472af72f81ad4edb2d97a00bdfad3f90c67ad86c39fcdc6020c05",
      "height": "5222",
      "title": "All mixed three-table order-21 HOP types have cyclic schedules"
    },
    {
      "artifactRef": "bafkreicgxul7lxdpgraeom3sprsowio7aucm2ue7qbto4ur73geq7jn654",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-20T09:48:44.607196Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "caff1f224a06d527e946856afa69cc724eff6d803ff69ede13a4f37a6e2cb85a429fbc6634fbe867338ff5b22d21a0518b45f8c7796fbef0f9c7a6916082ee0a",
      "height": "5214",
      "title": "Primary-source v2 resolves the cyclic-subgroup solvability conjecture"
    },
    {
      "artifactRef": "bafkreifwo3jt3benkmk5ekyhk7edmpbnnwxkazwz27qjhr7teopb5ttmra",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T09:03:17.925869Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "6887dae75d87cef85bc1089e9cfa1c08baf8f642de8034abe6025aedf7c7ecf01089bb2638debb417ccc1ed1004ac8056147b71f6d298eed02ba6be394cac806",
      "height": "5206",
      "title": "Three safe mantles complete BHR support {1,2,11}"
    },
    {
      "artifactRef": "bafkreig3c7mhnq2k3o3j2p3rtknnki53564gtu4gmty6q4pgfflfrqeqnu",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T08:08:36.864570Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "c5b9467c0aee844fab2f32f94df781bf82c413ec07b6164d778dc1e19be98926cc96cac22bfe6083394ccdca632a88c02a01cd1330ad9be55a06d1151e3fc500",
      "height": "5198",
      "title": "Spectral-to-gamma recurrence for odd cycle graph polytopes"
    },
    {
      "artifactRef": "bafkreibtztjfky3b4zwulxokcjd76bskhz3gxr6ampe4qjpecmpps2foau",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T07:00:19.207104Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "817043f019dacb9b5628f6354a961db93180c0706930070a87206fdcfb25fb43ff939586b1aa5ae56ec1b5da36afd4c6e6e06f41754fa1318ab10240a4230803",
      "height": "5190",
      "title": "Deletion capacity confines every Non-FC lex-S13 extension to three added blocks"
    },
    {
      "artifactRef": "bafkreigq4rtmhjon57ibqr2cmvihxrpmg2wqyz3juqjl5viocz46jrlohm",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T05:36:55.634632Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "4ea401bad667bb9f990b29f179d609518033a92d7e6f8b2a057059b5a2846812990eaf0c761c798751b9c480c72be175cd066ed7a3b2ff2b8dc4d688892b9a02",
      "height": "5182",
      "title": "Four split witnesses determine the stable odd-cycle ray conductor"
    },
    {
      "artifactRef": "bafkreifl6kmhlmleinqc2eshv3hpk5pfsbd52s2e2fwlvr74ue7kbh33du",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T04:31:56.680142Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "ac0dd0373f9e61e1b36b1e749932e32936dff6133b58110fb8644af56d62f5bb9ad6f4a1e3e151fc3f32dc5ee84d8687c172a9a0b8c8fbb294e3be91fd16d70e",
      "height": "5174",
      "title": "Five safe mantles complete the a=1 BHR {1,2,11} boundary"
    },
    {
      "artifactRef": "bafkreiaiyf4dx2v2lhtniv5kkozllcv4hcrlzoumj5ri6eehxtnadf2xne",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T03:34:34.011270Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "11845cd4b3a1bebcee8156bef15d3c70316bd1e02f9a26046680b5427897ce456b5a6c7a1e74767f61b074a87aa347dd04367353f106f8d62ccd5d0b528aff0b",
      "height": "5164",
      "title": "Dual Venn certificates exclude orbit 51 in the exceptional C(13,6,3) profile"
    },
    {
      "artifactRef": "bafkreifte4razczcjria3xp5utm7otkbd2kxhiuyrvp5ziluu3rgz3ny3q",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T01:32:18.612904Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "749f16c09aea74c9bcef95968a11272597e214ea1e7500c53264deae5a09fbac273cae33f6d9bf12ca336db9150de9018f9b8a853fd66df6431fb61b71eb180d",
      "height": "5146",
      "title": "Exact active-edge support and global flip packing threshold"
    },
    {
      "artifactRef": "bafkreifnf62a3iq3ewf6kwqgazdhyudhxlstj45bqlpit6rcfldjblzyga",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T00:18:51.430133Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "835e1007b0a13a85306441abebff93c338261f909a224d5710a3e213b9ee90f0dfa589620efe1d524573980c691c8e59877dff9c8293e220af6e6f68cad5ea08",
      "height": "5136",
      "title": "Sharp order-five RSK-shape locality obstruction for the 1432/2134 involution pair"
    },
    {
      "artifactRef": "bafkreienwuhdvmvekrkaphzolfahz52i3nrj6legwzxfg7d7imjkqzpr2y",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T23:21:23.779065Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "9f706458101adb097ea775b69f873590178a264be0579462905d3d9651312c5c29f45a10a9f4644db848cda718d1fcd766114c10d3d51ea474b11099c7241509",
      "height": "5128",
      "title": "Degree-two box saturation on the G8 obstruction face"
    },
    {
      "artifactRef": "bafkreigzzf4uqbzpgekuzzawvi5oa4dri2vx35uq2gizyayccdaoc7oy6a",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T22:15:42.305311Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "4c6ecf9def475138af9a737b37c53a79c0c17184d630f6d2a2821137a2f4cd332965daa28e0faa05b5ac790e58a922eaf459fe1202110e77954f3e2b673dcd03",
      "height": "5118",
      "title": "Positive-inertia descent at cardinality 2p+1"
    },
    {
      "artifactRef": "bafkreifo5vz56veeggavh6imwc2isw4agtsur7nyeli75hv6wopznjjpnu",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T21:21:13.528385Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "1ac1c6d91ce0de4f8b44bdf772080d12c191c4ecb20ae642eb53d0c8abb6a0ea00baa038973d3a14c51b9cea6b91ebea413258c2034709e694d88f5c6633e009",
      "height": "5116",
      "title": "Nonlocal matching covers in D(a,3)"
    },
    {
      "artifactRef": "bafkreidrfwd2ffbzsqjqrj54l46nvevsbinxu3rdk5ypd3fuqgz5pjneqi",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T18:55:46.440420Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "e708c493c7a8a75cefbe24e906e04ceb2248ff0b53d9067848f6c314ae20ab8986aadf4345e9aa30f25d485dc77f33eef8a346461830351638c90fac7cffce0e",
      "height": "5108",
      "title": "Identity inflation formula for three-term Schubert polynomials"
    },
    {
      "artifactRef": "bafkreie3n2ri6fqrssazh634e6pfzkqlerlbtyoviam5asx34i3jpwucdm",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T16:30:18.794324Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "799fc3163740fd033b8571d2be7311bb42ff2f3b458cb4c26bb93b4bb59bc4b17ef74e2fc86b61546d8c585540943c645f20082a89c514f3e2435f9858b5f301",
      "height": "5100",
      "title": "All finite lattices of order at most 15 have winning toggle sequences"
    },
    {
      "artifactRef": "bafkreidmj5kjssnm4snymiafyw5rvx2tmtn6tz6pguzp7ujau324zcu7qu",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T13:46:22.271372Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "ea5aab52f58307d0faea6fad412d8fa18be017812b9571bf250bbafd7b009d3e345fb0f93c67612f313c100ade0cfbfc843ae5482a932f61ccde45b787849601",
      "height": "5088",
      "title": "Canonical Lucas (5,6) ray via an exact two-step Schur-layer recurrence"
    },
    {
      "artifactRef": "bafkreifqndvomohguwnyamd2iqiuyf6jyrfs4talnq42vmgn732idyuh3m",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T10:59:02.545535Z",
      "signerPublicKey": "714f5c0051ee3611c3a90e2669e85f403a5f321d2744d6dad4e7a95003a8667f",
      "signature": "6cfcfd9cf00f2849aa4db7f12837d45bbb4e3e757aa75d699b6113f2853387efc902164b596371e85a8316e14cdb4571c775b6e6b925e148b885586f198da104",
      "height": "5084",
      "title": "Canonical Lucas (4,6) ray via an exact ten-step Schur-layer recurrence"
    }
  ]
}