Commits

Commit history

1. Commits on Oct 2, 2026

   • Merge pull request #2 from JaviMaligno/chore/agents-md

     Show description for b3f9182
     JaviMaligno

     authored
     b3f9182View commit details

     Copy full SHA for b3f9182

     Browse repository at this point

   • Add AGENTS.md as shared agent instructions and link CLAUDE.md

     Show description for 5b28687
     

     JavierSKYC

     and

     claude

     committed
     5b28687View commit details

     Copy full SHA for 5b28687

     Browse repository at this point
2. Commits on Sep 20, 2026

   • Merge pull request #1 from JaviMaligno/claude/tribonacci-floor-tightness-3gb9zs

     Show description for ebd46c6
     JaviMaligno

     authored
     ebd46c6View commit details

     Copy full SHA for ebd46c6

     Browse repository at this point

   • Nota: en que sentido es ajustado el suelo de Tribonacci

     Show description for d2ec8b2
     claude

     committed
     d2ec8b2View commit details

     Copy full SHA for d2ec8b2

     Browse repository at this point
3. Commits on Sep 15, 2026

   • v2 integrada: umbral global tau = phi, cuadrado, dimension y agujeros independientes

     Show description for 6536edc
     

     JaviMaligno

     and

     claude

     committed
     6536edcView commit details

     Copy full SHA for 6536edc

     Browse repository at this point

   • v2 ENVIADA: submit/8082585, replacement de 2609.15554

     Show description for a30cbe1
     

     JaviMaligno

     and

     claude

     committed
     a30cbe1View commit details

     Copy full SHA for a30cbe1

     Browse repository at this point

   • ANUNCIADO: arXiv:2609.15554 (2026-09-15)

     Show description for 811a50e
     

     JaviMaligno

     and

     claude

     committed
     811a50eView commit details

     Copy full SHA for 811a50e

     Browse repository at this point
4. Commits on Sep 14, 2026

   • Anotar la generalizacion dimensional como siguiente paso

     Show description for 0c3f4b4
     

     JaviMaligno

     and

     claude

     committed
     0c3f4b4View commit details

     Copy full SHA for 0c3f4b4

     Browse repository at this point

   • ENVIADO A ARXIV: submit/8077477, status submitted (2026-09-14).

     Show description for 2f0dad9
     

     JaviMaligno

     and

     claude

     committed
     2f0dad9View commit details

     Copy full SHA for 2f0dad9

     Browse repository at this point

   • Hoja de envio a arXiv: endorsement CONSEGUIDO y abstract de metadatos abreviado a 1900 caracteres.

     Show description for abfa6b3
     

     JaviMaligno

     and

     claude

     committed
     abfa6b3View commit details

     Copy full SHA for abfa6b3

     Browse repository at this point
5. Commits on Aug 31, 2026

   • Hoja de envio a arXiv actualizada al estado real del manuscrito (60 pp, bundle en raiz verificado con make_arxiv_bundle, Lean 57, tikz/longtable/array declarados) y la seccion de endorsement remite…

     Show description for a4dfa97
     JaviMaligno

     committed
     a4dfa97View commit details

     Copy full SHA for a4dfa97

     Browse repository at this point
6. Commits on Aug 30, 2026

   • SELLOS DEL REPASO (batch del referee): PUNTOS 2 Y 5 SELLADOS, 4 Y 6a COMO DECLARACIONES HONESTAS. (2) corte pesado 1.25: conjunto-sin-s2 a favor (subconjunto del sellado — omitir debilita, la direc…

     Show description for c0d1fa2
     

     JaviMaligno

     and

     claude

     committed
     c0d1fa2View commit details

     Copy full SHA for c0d1fa2

     Browse repository at this point

   • PUNTO 3 DEL REPASO COMPLETO — LAS TRES PRUEBAS COMPLETAS, VERIFICADAS POR CODEX («PRUEBAS COMPLETAS VERIFICADAS»): el mandato de completar las pruebas cumplido. (a) thm:D1written, thm:nestedwritten…

     Show description for 937a515
     

     JaviMaligno

     and

     claude

     committed
     937a515View commit details

     Copy full SHA for 937a515

     Browse repository at this point

   • PUNTOS 4 Y 5 DEL REPASO: (5) EL CRUZADO omega > 1.6 con Wz > 34 ABIERTO Y CERRADO HASTA omega <= 6 (CC_OMEGA + CC_COLAZ compatibles: el assert era prudencia, no matematica; topes de cola _COLA_TOPE…

     Show description for 749c424
     

     JaviMaligno

     and

     claude

     committed
     749c424View commit details

     Copy full SHA for 749c424

     Browse repository at this point

   • PUNTO 3a DEL REPASO — LA CAPA LEAN DE LA CAMPANA k >= 2 (lake build verde, 53 teoremas, kernel puro): 9 certificados nuevos en Identities.lean — las identidades del tramo superior de la cola W_z (c…

     Show description for 58323ab
     

     JaviMaligno

     and

     claude

     committed
     58323abView commit details

     Copy full SHA for 58323ab

     Browse repository at this point

   • PUNTO 2 DEL REPASO — EL CORTE PESADO SUBE A 1.25 (lemaA5 CC_CSTAR=1, provisional con aparato sellado): la pared c* del 3i portada a la pesada (conjunto sin s2: la particion lo absorbe); la franja […

     Show description for d2869bb
     

     JaviMaligno

     and

     claude

     committed
     d2869bbView commit details

     Copy full SHA for d2869bb

     Browse repository at this point

   • EXPERIMENTO 3j (punto 1 del repaso; negativo CONCLUYENTE): la lamina j_v >= 2 re-testada con el c* fuerte (61 rescates, 0 exitos) y con la VIA CORONA_SUF nueva (certificar sub-cajas colocando radio…

     Show description for f7dad4c
     

     JaviMaligno

     and

     claude

     committed
     f7dad4cView commit details

     Copy full SHA for f7dad4c

     Browse repository at this point

   • EL PAQUETE v2 COMPLETO (codex fase 3, dos rondas — V2 COMPLETO Y LIMPIO): todos los pendientes de la revision editorial ejecutados y verificados. (1) EL VERIFICATION MAP convertido en longtable de …

     Show description for 87ef839
     

     JaviMaligno

     and

     claude

     committed
     87ef839View commit details

     Copy full SHA for 87ef839

     Browse repository at this point

   • LA FASE DE REDACCION (codex, 2 rondas) — REDACCION LISTA PARA ARXIV v1: tras la fase matematica limpia, el paper pasa la revision editorial externa. APLICADO: el ABSTRACT reorganizado en tres parra…

     Show description for 23f2fbc
     

     JaviMaligno

     and

     claude

     committed
     23f2fbcView commit details

     Copy full SHA for 23f2fbc

     Browse repository at this point

   • LA REVISION MATEMATICA EXTERNA (codex, 4 rondas) — RONDA LIMPIA: el paper pasa por un referee matematico externo independiente (OpenAI codex) iterado hasta cero hallazgos sustanciales. LO CAZADO Y …

     Show description for 091cd67
     

     JaviMaligno

     and

     claude

     committed
     091cd67View commit details

     Copy full SHA for 091cd67

     Browse repository at this point
7. Commits on Aug 29, 2026

   • LA RONDA TRIPLE SELLADA — 3g, 3h y 3i CONFIRMADOS (el 3i con SELLO PLENO tras las correcciones): el canal k >= 2 queda en su forma final. 3g (exencion movil SOUND por spy de 12k llamadas + regresio…

     Show description for 8a06606
     

     JaviMaligno

     and

     claude

     committed
     8a06606View commit details

     Copy full SHA for 8a06606

     Browse repository at this point

   • LA PARED c* DE NECESIDAD — CICLO 3i PROVISIONAL: EL CORTE DE HOJAS SUBE A OMEGA <= 1.25 (lemaA4.py CC_CSTAR=1; sello pendiente del 2026-09-02 con 3g/3h): la continuacion identificada en el 3g imple…

     Show description for 43d18f2
     

     JaviMaligno

     and

     claude

     committed
     43d18f2View commit details

     Copy full SHA for 43d18f2

     Browse repository at this point

   • K >= 2 DEL CANAL PESADO — CICLO 3h PROVISIONAL (16 bandas verdes; el sello adversarial pendiente del reset 2026-09-02, como el 3g): lemaA5.py nuevo — la ESP pesada (SS >= 1 + s2) con k >= 2 extras,…

     Show description for 089b825
     

     JaviMaligno

     and

     claude

     committed
     089b825View commit details

     Copy full SHA for 089b825

     Browse repository at this point

   • EL TRAMO OMEGA > 1.6 DE k >= 2 — CICLO 3g PROVISIONAL (claim parcial verde; el sello adversarial pendiente del reset del limite semanal, 2026-09-02): lemaA4.py modo CC_OMEGA=1 — claim omega in [1.6…

     Show description for d742d31
     

     JaviMaligno

     and

     claude

     committed
     d742d31View commit details

     Copy full SHA for d742d31

     Browse repository at this point

   • EXPERIMENTO POST-3e (negativo, documentado): CC_TROZOS=1 — la C A TROZOS del 3e en modo hojas (Wz >= z - C0 vale en todo punto real). Re-test del corte omega (leccion 16): la banda [8,12] x [1.15,1…

     Show description for 0056e35
     

     JaviMaligno

     and

     claude

     committed
     0056e35View commit details

     Copy full SHA for 0056e35

     Browse repository at this point

   • LA COLA Wz > 34 CERTIFICADA — CICLO 3e DEL LEMA DE |A| (SEXTA RONDA ADVERSARIAL: CONFIRMADO SIN CORRECCIONES OBLIGATORIAS): lemaA4.py — el residuo del octavo patron (acta R3: el techo Rz crece 1:1 …

     Show description for 4a0bc4e
     

     JaviMaligno

     and

     claude

     committed
     4a0bc4eView commit details

     Copy full SHA for 4a0bc4e

     Browse repository at this point
8. Commits on Aug 28, 2026

   • EL RESIDUO-PADRES CONVERTIDO EN CLAIM — CICLO 3d DEL LEMA DE |A| (QUINTA RONDA ADVERSARIAL: UN FATAL POSICIONAL REFUTADO -> REPARADO EN UNA LINEA -> CONFIRMADO CON CORRECCIONES): lemaA4.py — la lec…

     Show description for 6f4fd80
     

     JaviMaligno

     and

     claude

     committed
     6f4fd80View commit details

     Copy full SHA for 6f4fd80

     Browse repository at this point
9. Commits on Aug 27, 2026

   • EL CORTE DE LA BANDA DECLARADA SUBE A OMEGA <= 1.15 — CICLO 3c DEL LEMA DE |A| (CUARTA RONDA ADVERSARIAL: CONFIRMADO CON CORRECCIONES, con una leccion de atribucion): lemaA4.py — objetivo: encoger …

     Show description for a587199
     

     JaviMaligno

     and

     claude

     committed
     a587199View commit details

     Copy full SHA for a587199

     Browse repository at this point

   • K >= 2 ANILLOS DEL CANAL LIGERO CERTIFICADO EN SU DOMINIO DECLARADO — FASE 3b DEL LEMA DE |A|, EL ULTIMO CICLO (TRES VUELTAS ADVERSARIALES: DOS REFUTADOS INTERMEDIOS -> CONFIRMADO CON CORRECCIONES)…

     Show description for 118d3db
     

     JaviMaligno

     and

     claude

     committed
     118d3dbView commit details

     Copy full SHA for 118d3db

     Browse repository at this point
10. Commits on Aug 23, 2026

    • G-e Y G-g PESADAS CERTIFICADAS — FASE 3a DEL LEMA DE |A| (REFUTADO EL CIERRE EJECUTADO -> REPARADO EN UNA LINEA -> RE-RONDA DE FIDELIDAD CONFIRMADA): lemaA3.py — el mural {Y, m} U A (c = SS+Y) y {z…

      Show description for d3fe27a
      

      JaviMaligno

      and

      claude

      committed
      d3fe27aView commit details

      Copy full SHA for d3fe27a

      Browse repository at this point

    • EL TOPE j <= 3 DE G-b' REMOVIDO — FASE 2 DEL LEMA DE |A| CERRADA (dos rondas adversariales: CONFIRMADA CON CORRECCIONES + verificacion dirigida CONFIRMADA con R1 aplicado): lemaA2.py certifica G-b'…

      Show description for 81322e6
      

      JaviMaligno

      and

      claude

      committed
      81322e6View commit details

      Copy full SHA for 81322e6

      Browse repository at this point

    • LEMA DE |A| FASE 1-BIS CERRADA (re-ronda: el MOTOR DE COLOCACION CONFIRMADO con oraculo LP exacto y cero contraejemplos nuevos; C(a) refutada otra vez por usar el motor viejo — negligencia cazada —…

      Show description for 0baae16
      

      JaviMaligno

      and

      claude

      committed
      0baae16View commit details

      Copy full SHA for 0baae16

      Browse repository at this point

    • LEMA DE |A| FASE 1 REFUTADO (acta ejemplar del referee; el borrador queda sin claim y en reparacion): corona_slots certificaba coronas INFEASIBLES — contraejemplo exacto P=[74.2, 0.1], A={25.5, 25.…

      Show description for be468fd
      

      JaviMaligno

      and

      claude

      committed
      be468fdView commit details

      Copy full SHA for be468fd

      Browse repository at this point
11. Commits on Aug 22, 2026

    • EL TOPE DE ANCHURA DEL CANAL CERRADO (omega > 1.6 en las SEIS celdas; REFUTADO EN PRIMERA RONDA -> REPARADO -> RE-RONDA CONFIRMADA): espomegacanal.py — la afirmacion central (los criterios de espca…

      Show description for b46e379
      

      JaviMaligno

      and

      claude

      committed
      b46e379View commit details

      Copy full SHA for b46e379

      Browse repository at this point

    • EXPLORACION r2bpool (sin claim): j >= 4 en G-b' por pooling+cuerda — LA CUERDA DE FILA como lema nuevo exportable (arco de fila <= [2asin(z)/z] m/(c-cap), ~35% mas fino que pi m/(c-cap)) y EL OBSTA…

      Show description for fcb2131
      

      JaviMaligno

      and

      claude

      committed
      fcb2131View commit details

      Copy full SHA for fcb2131

      Browse repository at this point