Informatico.ai

Contenido

Ingeniería y Construcción

  1. E.01 Continuo Poroso de Stokes–Brinkman, Descomposición de Helmholtz–Hodge y Percolación
  2. E.02 Reología de Esfuerzo de Fluencia de Herschel–Bulkley: Bombeo de Concreto de Alto Desempeño y Colocación Tremie
  3. E.03 Arreglos de Metamateriales Acústicos Sub-Longitud de Onda de Helmholtz y Amortiguamiento Viscotérmico
  4. E.04 Intercambiadores de Recuperación de Entalpía a Contracorriente: Efectividad–NTU, Sorción en Membrana y Límites de Escarcha
  5. E.05 Mecánica de Suelos de Terzaghi, Pilotes Profundos CFA y Sobrecarga por Licuefacción
  6. E.06 Dinámica Estructural No Lineal, Espectros Inelásticos ASCE 7-22 y Aisladores Sísmicos de Base
  7. E.07 Flameo Aeroelástico de Puentes Colgantes de Gran Claro, Derivadas de Scanlan y Gemelos Digitales PINN
  8. E.08 Tuneladoras de Equilibrio de Presión de Tierras (EPB-TBM), Cubetas Gaussianas de Peck–Mair y Gemelos Subterráneos GNN
  9. E.09 Concreto Autocurativo Bacteriano y Cristalino: Imbibición Capilar de Lucas–Washburn, Precipitación de Calcita de Fick–Michaelis–Menten y Gemelos Digitales de Ondas Coda
  10. E.10 Reología de Extrusión e Imprimibilidad en Impresión 3D de Concreto (3DCP): Estructuración Tixotrópica de Roussel, Pandeo Elástico vs. Colapso Plástico y Control Robótico
  11. E.11 Optimización Topológica Continua SIMP y Amortiguadores Inerter en Rascacielos: Armaduras de Michell y Mecánica Ósea Trabecular
  12. E.12 Seguridad Verificada del Silicio a la Red Eléctrica: Prueba de 180M de Líneas en Rocq para RISC-V, Funciones de Barrera y Sincronización Renovable

Arquitectura

  1. A.01 Superficies Foniculares de Empuje, Duales de Maxwell–Cremona y Tectónica Nodal 1:5
  2. A.02 Retículas Recíprocas de Madera (Nexorades), Momentos de Traslape Excéntrico y Ensambles de Corte 1:5
  3. A.03 Ventilación por Flotabilidad en Fachadas de Doble Piel, Plumas Térmicas e Iluminación Circadiana CIE S 026
  4. A.04 De las Megaestructuras Plug-In de Archigram a los Exoesqueletos High-Tech: Gerberettes, Marcos Espaciales de Maxwell y Cápsulas Clínicas
  5. A.05 Reverberación Acústica de Sabin–Eyring, Bóvedas Difusoras de Residuo Cuadrático y Claridad del Habla (STI ≥ 0.68)
  6. A.06 Humedales Construidos de Agua Neta Cero: Filtración Subsuperficial de Darcy, Fotólisis UV-C y Plomería Libre de Patógenos (CSI 22 13 00)
  7. A.07 Tectónica Cromática de Luis Barragán, Radiosidad de Pigmentos de Kubelka–Munk y Campos de Onda Espaciales
  8. A.08 Cubiertas Fotónicas de Enfriamiento Radiativo Diurno al Cielo (Ventana de 8–13 μm) y Envolventes de Cambio de Fase de Stefan
  9. A.09 Pieles Arquitectónicas Programables de Madera Higroscópica: Curvatura Bicapa de Timoshenko, Hinchamiento Ortotrópico y Fachadas Climáticas de Energía Cero
  10. A.10 Origami Cinético y Fachadas Biomiméticas Desplegables Miura-Ori: Cinemática Isométrica de Pliegues, Inversión Auxética de Poisson y Envolventes Mashrabiya
  11. A.11 Estática Gráfica Poliédrica 3D y Superficies de Esfuerzo de Airy: Poliedros Recíprocos de Maxwell, Bóvedas de Guastavino y Pisos sin Acero
  12. A.12 Domos de Tensegridad Cable-Puntal y Envolventes de Enfriamiento Radiativo: Subespacios Nulos de Pellegrino y Enfriamiento sin Energía

Física

  1. P.01 Teoremas de Fluctuación-Disipación Fuera del Equilibrio y Energética de Compuerta Alostérica
  2. P.02 Hidrodinámica de Materia Activa y Sincronización de Ondas Metacrónicas Ciliares
  3. P.03 Reología de Materia Blanda y Subdifusión Anómala en Hidrogeles Entrelazados de Mucina
  4. P.04 Electrocinética, Equilibrio de Donnan y el Colapso Osmótico de la Capa Periciliar
  5. P.05 Penetración Cuántica de Barrera WKB, Transferencia Electrón-Protón Acoplada y Catálisis de Edición de Bases
  6. P.06 Reptación de Polímeros de de Gennes (D_rep ~ N⁻²), Relajación en Tubo de Doi–Edwards y Transporte de Carga Genética de 4.5 kb
  7. P.07 Aerodinámica Venturi de Efecto Suelo en Fórmula 1, Alerones Activos Modo X/Z 2026, Sellado por Vórtices y Ciclos Límite de Porpoising
  8. P.08 Física de Ondas Electromagnéticas del Color: Interferencia de Bragg en Película Delgada, Perlado Automotriz y Óptica de Estuco de Barragán
  9. P.09 Conos Electrohidrodinámicos de Taylor (49.3°), Límites de Fisión de Rayleigh y Física de Chorros de Aerosol Monodispersos de Precisión
  10. P.10 Fotónica Topológica, Aislantes de Chern Fotónicos de Haldane–Raghu, Curvatura de Berry y Guías de Onda Quirales Libres de Retrodispersión
  11. P.11 Computación Cuántica Tolerante a Fallos y Fijación Limpia de Nitrógeno: Estabilizadores de Código de Superficie, Trenzado de Anyones y FeMoCo
  12. P.12 El Sexto Problema de Hilbert Resuelto: De la Cinética de Esferas Duras de Boltzmann al Continuo de Navier–Stokes y Operadores Climáticos

Serie · Tiempo y Gravedad · 9 pasos (T.00–T.10)

  1. T.00 Tiempo y Gravedad
  2. T.01 La Gravedad como Pendiente en el Ritmo del Tiempo
  3. T.02 Todos Avanzamos a un Mismo Ritmo
  4. T.03 Qué Fija la Pendiente
  5. T.04 Un Reloj en Dos Lugares
  6. T.05 ¿La Gravedad Entrelaza, y Eso Bastaría?
  7. T.06 ¿La Gravedad Colapsa la Onda?
  8. T.07 La Ecuación sin Tiempo
  9. T.10 El Argumento de Conteo de Page

Matemáticas

  1. M.01 Levantamiento de Modularidad, Barreras de Densidad de Ceros Espectrales y Esparsificación de #3-SAT
  2. M.02 Estimaciones de Densidad de Ceros de la Función Zeta de Riemann, Desigualdades de Gran Criba y Cotas Espectrales de XiPrime
  3. M.03 Conjuntos Cap Extremales en F_3^n, Cotas del Método Polinomial y Tensores Matriciales de Rango 48
  4. M.04 Cálculo de Entropía Polinomial de Freiman–Ruzsa (PFR) y el Grafo Ecuacional de 22 Millones de Leyes de Magmas
  5. M.05 Búsqueda Deductiva Neuro-Simbólica (AlphaGeometry 2): Construcciones Auxiliares y Triangulación de Bolsillos Alostéricos
  6. M.06 Reducciones Subcúbicas de Grano Fino (3SUM → APSP) y Supervisión de Procesos Paso a Paso (PRM800K)
  7. M.07 Control Óptimo de Energía de Pontryagin para MGU-K de 350 kW en Fórmula 1, Minimización de Tiempo de Vuelta HJB y Operadores Neuronales de Fourier
  8. M.08 Geometría Diferencial Riemanniana de la Percepción del Color: Geodésicas de Helmholtz–Schrödinger, Tensores Métricos de MacAdam y Proyecciones de Grassmann
  9. M.09 Transporte Óptimo de Monge–Kantorovich, Dinámica de Fluidos Geodésica Wasserstein-2 de Benamou–Brenier, Regularización Entrópica de Sinkhorn y Flow Matching
  10. M.10 Homología Persistente, Filtraciones Simpliciales de Vietoris–Rips, Códigos de Barras de Betti y Umbrales Topológicos de Percolación en Medios Desordenados
  11. M.11 Resolución de la Conjetura de Kakeya 3D y Ruptura de la Barrera de Ingham (1940): Wang–Zahl, Guth–Maynard 30/13 y Lean 4
  12. M.12 Complejidad en Lean 4 de Anthropic y Cerraduras Cristalinas Post-Cuánticas: Refutación ETH (ETHIsFalse), Rango de Ocho Cuadrados y Retículos ML-KEM

Crisol de Premios y Retos Abiertos · 6 Folios Dedicados (B.01–B.06)

  1. B.01 · BOUNTY-M1 Conjuntos de Sidon B₂ de Erdős, Reglas de Golomb y Formalización en Lean 4
  2. B.02 · BOUNTY-P1 XPRIZE Quantum ($5M) y Unitary Foundation: Umbrales de Código de Superficie y Catálisis FeMoCo
  3. B.03 · BOUNTY-E1 XPRIZE Carbon Removal ($100M) e IStructE: Losas Estructurales SIMP Bajo 45 kg CO₂e/m²
  4. B.04 · BOUNTY-A1 Premios Holcim ($1M) y Global Cooling ($3M): Bóvedas 3D sin Acero y Enfriamiento Radiativo
  5. B.05 · BOUNTY-P2 Regresión Simbólica de Pareto (PySR) y Descubrimiento Disperso de EDPs (PySINDy + Dedalus)
  6. B.06 · BOUNTY-M2 Física Gauge Verificada en PhysLean y Criticidad Cuántica con Redes Tensoriales (ITensors.jl + NetKet)

Tecnología y Herramientas · Caja de Herramientas 3D y CAD Abierto (X.01–X.06)

  1. X.01 · TOOL-CORE-1 Visor WebGL2 GLB sin Dependencias y Verificador Geométrico 2-Variedad a Nivel de Bytes
  2. X.02 · TOOL-ENG-1 Sólidos Paramétricos en Código y Fidelidad Medida entre STEP AP242, 3MF y GLB
  3. X.03 · TOOL-ARCH-1 El Kit de Bóvedas, Madera y Marcos Recíprocos para Pequeños Estudios de Arquitectura
  4. X.04 · TOOL-ARCH-2 Pantallas Solares Desplegables Miura-Ori: De la Cinemática 3D (GLB) al Patrón Plano DXF
  5. X.05 · TOOL-FAB-1 Puntales Estructurales Optimizados por Topología a 3MF Hermético y Auditoría de Voladizo
  6. X.06 · TOOL-PHYS-MATH-1 Celdas Unitarias de Metamateriales Acústicos y Topológicos: Verificación de Género g = 1 y Números de Betti

ENSAYO CERO · ACERCA DE INFORMATICO.AI Y SENSEI EWOK LAB

Por Qué Cada Afirmación Aquí Lleva un Verificador

LÍMITE DE INVESTIGACIÓN NO CLÍNICA Investigación independiente, no asesoramiento médico. Sensei Ewok CF Lab no promete curas ni tratamientos clínicos.

Informatico.ai es una publicación de código abierto con ensayos interactivos sobre ingeniería civil, arquitectura, física y matemáticas, construida sobre el mismo motor determinista de verificación que audita investigación abierta de Fibrosis Quística en senseiewok.ai.

Bitácora interactiva abajo: selecciona cualquier oración subrayada (o presiona Tab y Enter) para inspeccionar su fuente primaria, Nivel de Respuesta (T0–T3), fecha de lectura y comando de verificación.

8 oraciones indexadas en about-evidence.json; abre la tabla abajo o selecciona una oración para inspeccionar su prueba.

Architectural cross-section of a sun-lit engineering atelier and civic infrastructure span.
Lámina 0-A · Taller de Verificación Compartido. Armaduras civiles, medios porosos y marcos biomoleculares comparten un mismo arnés determinista en Informatico.ai y senseiewok.ai.

1 · El Pasador Faltante en la Posición 508

Cuatro archivos públicos de coordenadas reposan en nuestro repositorio desde el archivo mundial de proteínas. Cada archivo traza una válvula a nanoescala de 1,480 eslabones que regula sal y agua en las vías respiratorias. En dos archivos, la cadena pasa limpia por el eslabón 508 y la compuerta gira libre sobre su bisagra. En los otros dos, la tabla salta directo del eslabón 507 al 509. Falta el eslabón 508. Dos pequeñas cuñas moleculares se anclan dentro del marco, arriostrando la armadura para que pasen los iones. Nuestros scripts miden las distancias exactas entre las cuñas y las barras, y dejan en blanco las regiones no resueltas. Esas cuatro estructuras (6MSM, 5UAK, 8EIQ y 8EJ1) nos enseñaron nuestra primera regla: un modelo de lenguaje rellena una coordenada faltante con un párrafo plausible, mientras que un verificador determinista reporta que el residuo 508 no está.

Lámina 0-D. Cómo una oración se gana su lugar: fuente, fila del catálogo, verificador, página. Cuatro cajas en fila unidas por flechas: 1. Fuente (cita primaria T1, resumen T0), 2. Fila del catálogo (permisos y fecha de lectura), 3. Verificador (script verificado en cruce T2 con salida 0), y 4. Página (oración revisada por una persona T3), con una flecha roja de retorno y una roseta geométrica de 65 facetas en la esquina superior derecha. LÁMINA 0-D · CÓMO UNA ORACIÓN SE GANA SU LUGAR · MOTOR DE VERIFICACIÓN COMPARTIDO 1 Fuente El documento primario, leído en una fecha declarada. T1 cita primaria T0 solo resumen 2 Fila del catálogo Lo que la editorial permite, la ruta, la fecha de lectura. catalog.yaml (330 rows) permite: cita, doi, enlace date_read: 2026-11-08 3 Verificador Un script falla con cualquier número que no esté en el archivo de evidencia. T2 verificado en cruce exit 0 = los números existen 4 Página La oración ya publicada, con su nivel al lado. T3 revisado por alguien alguien comparó la cita Una verificación que falla devuelve la oración a su fuente. niveles: T0 resumen · T1 cita primaria · T2 verificado en cruce · T3 revisado por una persona
Lámina 0-D · Cómo una oración se gana su lugar. Una fuente se lee en una fecha; la fila del catálogo registra lo que la editorial permite; un verificador falla con cualquier número que no esté en el archivo de evidencia; la página muestra la oración con su nivel. Cuando seleccionas una oración abajo, su nivel se ilumina aquí.

Niveles de respuesta

T0
Resumen: palabras propias del laboratorio sobre una fuente; una pista, no una cita.
T1
Cita primaria: el número o la frase aparece en la fuente, leída en la fecha indicada.
T2
Verificado en cruce: dos fuentes independientes o un script coinciden.
T3
Revisado por una persona: alguien comparó la oración con su cita.

4 · Rastrea una Oración: Un Laboratorio, No una Clínica

Los repositorios públicos del laboratorio se abrieron el 2026-10-06, uniendo ensayos interactivos de ingeniería en informatico.ai con investigación abierta de Fibrosis Quística en senseiewok.ai. Un catálogo compartido registra 330 fuentes primarias y lo que cada editorial permite antes de publicar cualquier cita o ecuación. El modelo de la válvula a nanoescala dibuja únicamente lo que cuatro estructuras crio-EM publicadas (6MSM, 5UAK, 8EIQ y 8EJ1) ubican en el espacio 3D, dejando en blanco los huecos no medidos.

Nuestra bitácora pública de errores registraba 138 fallos y correcciones en su último conteo, porque una libreta de ingeniería solo es honesta si conserva sus cierres fallidos. La herramienta de verificación cf-evidence-loop ejecuta 47 subcomandos deterministas sin ningún modelo de lenguaje dentro del ciclo. Informatico exporta 60 compañeros SKILL.md portables y verificadores en Python estándar para que cualquier ingeniero pueda poner a prueba el mismo motor de verificación localmente.

Entre ingeniería civil, arquitectura, física y matemáticas, informatico.ai publica 48 Folios en cinco actos junto con 6 Folios de Retos y 6 Folios de Herramientas CAD. El laboratorio no ha producido ninguna terapia, ningún resultado clínico ni ningún premio, y ninguna de sus páginas ha sido revisada por un clínico.

Toda la evidencia de esta página (8 oraciones)
Cada oración anterior con su Nivel de Respuesta, fuente, fecha de lectura, comando de verificación y limitación.
# Nivel Fuente Fecha de lectura Verificación Limitación
1T1cf-lab, cf-research, cf-skills: initial public git commit2026-11-08git log --reverse --format=%ad --date=short | head -1La fecha del primer commit registra cuándo inicia el historial público en git, no cuándo comenzó el trabajo previo.
2T1cf-research/sources/catalog.yaml2026-11-08python tools/claims/check_claims.py --catalog sources/catalog.yamlUn conteo de filas del catálogo y permisos editoriales, no una afirmación de respaldo clínico.
3T2cf-research/tools/cftr-model/web/ (RCSB PDB: 6MSM, 5UAK, 8EIQ, 8EJ1)2026-11-08python tools/claims/check_claims.py --helpVerificado en cruce contra archivos de coordenadas PDB publicados; las coordenadas estáticas no predicen respuesta clínica.
4T0cf-research/README.md & cf-research/ledger/2026-10-04-first-session.md2026-11-08python tasks/check_anti_hallucination.pyUn conteo resumido de la bitácora; atrapar errores de sintaxis y citas no garantiza cero puntos ciegos científicos.
5T0cf-skills/.claude/skills/cf-evidence-loop/SKILL.md2026-11-08python .claude/skills/cf-evidence-loop/scripts/evidence_cli.py --helpLos scripts deterministas verifican invariantes exactos de texto, coordenadas y números; no reemplazan la revisión por pares.
6T1informatico.ai/src/research/skills/ (48 Pillar + 6 Bounty + 6 Toolbox SKILL.md)2026-11-08python -m unittest discover -s tests -p "test_informatico_*.py"Cuenta los compañeros SKILL.md exportados en los 60 Folios de Informatico; cada verificador acota un modelo físico o matemático simplificado.
7T2informatico.ai/src/research/{engineering,architecture,physics,math}/*/index.html2026-11-08python tools/build_longform_folios.pyVerificado en cruce entre el catálogo JSON, los directorios HTML y las pruebas; los modelos educativos no son planos firmados de obra.
8T3Sensei Ewok CF Lab non-clinical charter & What We Have Not Done boundary2026-11-08python .claude/skills/lab-voice/scripts/check-voice.py --check-distillation src/research/about/index.htmlUn límite negativo revisado por el mantenedor; los linters automáticos revisan reglas de redacción, mientras la disciplina humana mantiene la frontera honesta.

5 · Hacia Dónde Va el Motor Compartido: Investigación de Fibrosis Quística en senseiewok.ai

Cuando terminas un ensayo de ingeniería o física en Informatico.ai, puedes seguir exactamente los mismos núcleos matemáticos y físicos hacia senseiewok.ai, donde se aplican a preguntas abiertas de Fibrosis Quística, especialmente para el 8.0% de las personas en el Registro de Pacientes de la CFF cuyos genotipos raros de paro prematuro, corrimiento de marco o empalme no pueden usar los moduladores actuales de molécula pequeña.

Cómo Cuatro Disciplinas de Ingeniería Impulsan la Investigación Abierta en Fibrosis Quística

Cada simulador interactivo y verificador en Python en Informatico.ai está diseñado como un núcleo matemático de doble uso. En este sitio, esos núcleos explican puentes civiles, bóvedas acústicas, motores fuera del equilibrio y teoremas formales en términos de ingeniería. En senseiewok.ai, exactamente las mismas ecuaciones verificadas se aplican a cuatro retos biofísicos abiertos en Fibrosis Quística:

PILAR I · MECÁNICA DE ARMADURAS → PLEGAMIENTO DE CFTR Arriostramiento de una Armadura de 1,480 Eslabones Las matrices de rigidez de Maxwell–Calladine y las leyes de pandeo térmico usadas en nuestros ensayos de armaduras civiles también modelan cómo la falta del residuo 508 desestabiliza la interfaz NBD1–ICL4 y cómo dos cuñas moleculares arriostran el canal.
PILAR II · MEDIOS POROSOS → ENTREGA EN VÍAS AÉREAS Cruzar el Tamiz de Hidrogel de Mucina de 65 nm Los solucionadores de flujo poroso de Brinkman y percolación estérica de nuestros folios de materiales cuantifican cómo las mucinas hiperconcentradas comprimen los cilios y atrapan nanopartículas a menos que recubrimientos neutros reduzcan la adhesión.
PILARES III Y IV · FÍSICA ESTOCÁSTICA Y LEAN 4 → EL ÚLTIMO 8% Rescate Genético y Pruebas sin Alucinaciones Los solucionadores de ciclos de Markov fuera del equilibrio y las pruebas formales en Lean 4 ayudan a modelar la lectura de codones de paro prematuro, la edición genética y los denominadores de registros globales sin cabos sueltos.

Cómo se Audita Cada Ensayo: Consejo de 4 Asientos y Compuerta Playwright 2x Retina

ASIENTO 01 · NÚCLEO DETERMINISTA Candado de Afirmaciones y Catálogo Cada número y cita se verifica contra sources/catalog.yaml, Crossref Retraction Watch y candados SHA-256.
ASIENTO 02 · CONSEJO MULTILINAJE Revisión por Pares Adversarial Modelos independientes de frontera y de pesos abiertos auditan ecuaciones, analogías y límites no clínicos.
ASIENTO 03 · PLAYWRIGHT 2X RETINA Compuerta Visual y de Contraste Pruebas headless 2x Retina en Playwright inspeccionan contraste WCAG, geometría SVG, temas claro/oscuro y cero desbordamiento.

Para la Comunidad de Fibrosis Quística · Apoyo al Cuidado Directo e Investigación Clínica

Las niñas, niños y adultos que viven con Fibrosis Quística —y quienes cuidan a su lado— sostienen una disciplina diaria de limpieza de vías aéreas, enzimas, nebulizadores y consultas clínicas para darle espacio y aliento a la vida cotidiana. Quien mantiene este laboratorio forma parte de la comunidad de FQ; el laboratorio no habla en su nombre. Construimos herramientas abiertas de verificación y monografías educativas en tiempo donado porque la ingeniería rigurosa y honesta es nuestra forma de mostrar respeto.

Si nuestros ensayos, solucionadores de código abierto o herramientas CAD 3D han sido útiles para tu trabajo y deseas apoyar directamente ensayos clínicos acreditados, centros de atención y programas de apoyo a pacientes, considera hacer un donativo a la Cystic Fibrosis Foundation. Sensei Ewok CF Lab e Informatico.ai son independientes y no están afiliados ni respaldados por la Cystic Fibrosis Foundation; los donativos en give.cff.org van directamente a la Fundación.

Donar directamente a la Cystic Fibrosis Foundation (give.cff.org) →

Lo Que No Hemos Hecho

Revisa Nuestras Matemáticas y Escríbenos

Cada página, solucionador y script de verificación está abierto a inspección en nuestros repositorios públicos de GitHub: senseiewok/informatico.ai, senseiewok/cf-research y senseiewok/cf-skills. Si encuentras una cita rota, un caso límite numérico en un solucionador o una oración que rebase su fuente, abre un issue o escríbenos directamente a contact@senseiewok.ai (por favor nunca incluyas datos médicos personales).

Evidencia

Nivel
Fuente
Fecha de lectura
Verificación que la cubre
Limitación