Popular repositories Loading

1. wcy wcy Public

   A Token-Native Reasoning Format and Epistemic Substrate for AI Systmes.

   Python 1

2. flat-clone-counting-corrected flat-clone-counting-corrected Public

   The even-carrier routing law for every k and n, the k-stratified per-signature theory of the odd flat carrier, and finite-witness refutations of the multiplicative assembly (13th release of the dua…

   Lean 1

3. collapse-code-topology collapse-code-topology Public

   Symbolic simulation framework for collapse-based emergent forces in codeword spaces. Includes topology-aware entropy models, Betti tracking, and AG code zeta function analysis.

4. caveman_BA caveman_BA Public

   Made bronze age version revision of Julius Brussee's caveman.

   Python

5. inversion-wilf-spi inversion-wilf-spi Public

   Kernel-checked resolution of the last open case of the length-4 Wilf classification on inversion sequences (Hong–Li Conj. 20), 15 length-5 equivalences, and the SPI programme. Produced by an autono…

   Lean

6. cohomological-price-of-not cohomological-price-of-not Public

   The decrease invariant of negation complexity acquires a cohomological address: unique pricing character, nested negation-tower theorem, three-zone witness. Machine-verified in core Lean 4 (kernel-…

   Lean