El invariante de subdivisión en la decisión tipada local: evidencia open-weight de $I_{\mathrm{sub}}$ (Laya / System One)

Subtítulo: Misma instancia de dominio que Jev — eje de soberanía: pesos abiertos, inferencia on-device y primitivas tipadas sin API obligatoria.

Serie: Computación / TGSP SPCiencia 2026 — Invariante-Dominios aplicada al cuello de saturación
Autores: Severo Peguero (investigador principal, SPCiencia), Cursor (IA), Gemini (IA)
Fecha: 29 de septiembre de 2026
Estado: ✅ PAPER CIENTÍFICO — PUBLICADO WEB [EDITORIAL]
Certificación: docs/implementacion_seguridad/evidencia/custodia/MANIFIESTO_PAPER_INVARIANTE_SUBDIVISION_LAYA_SYSTEM_ONE_LOCAL_2026-09-29.json
Manuscrito laboratorio: docs/papers_cientificos/PAPER_INVARIANTE_SUBDIVISION_DECISION_TIPADA_LAYA_SYSTEM_ONE_LOCAL_SPCIENCIA_2026-09-29.md
Etiquetas: [PAPER][INVARIANTE][DOMINIOS][I_SUB][LAYA][CONVAI][SYSTEM_ONE][OPEN_WEIGHTS][APACHE][DECISION_TIPADA][NOUL][LATENCIA][SOBERANIA][SPCIENCIA]

Anclas:

Gloria a Dios

"Porque Jehová da la sabiduría, y de su boca viene el conocimiento y la inteligencia." (Proverbios 2:6)

Resumen ejecutivo

El 28 de septiembre de 2026, SPCiencia formalizó la tercera instancia de dominio del invariante de subdivisión $I_{\mathrm{sub}}$ con la evidencia industrial de Jev (TypeSafe AI): no usar un LLM generativo para tareas que solo exigen decidir. Ese paper delimitó con honestidad que Jev, en la práctica, es sobre todo un servicio en red. Quedaba abierto el hueco de soberanía: ¿existe en la industria un System One con la misma geometría tipada, pero pesos abiertos y ejecución local?

El 29 de septiembre de 2026, el investigador principal aportó un reel sobre Laya (Convai Innovations) y un diálogo con Gemini que adaptaba los principios y prototipos difusos elaborados para Jev. Cursor verificó fuentes públicas (Hugging Face, PyPI, sitio del proyecto). Laya es un modelo de decisión no autorregresivo (~421M parámetros sobre backbone ModernBERT-large más cabeza tipada; variante multilingual ~322M), licencia Apache-2.0, primitivas choice / score / noul, un solo forward pass y latencias reportadas del orden de decenas de milisegundos en GPU.

La tesis de este manuscrito:

$I_{\mathrm{sub}}$ en el dominio decisión–latencia–formato no cambia. Laya es evidencia industrial complementaria a Jev en el eje de soberanía: open weights + on-device. No es producto SPCiencia; no sustituye el paper Jev; ancla la capa B del stack Apache como backend citável local, alineado al puente lenguaje→ $\mu\in[0,1]$ vía noul.

1. Marco metodológico

1.1 Fundamento ya establecido

La metodología Invariante-Dominios sostiene que una ley operativa puede conservarse al cruzar escenarios. En el paper de subdivisión frente al cuello, SPCiencia enunció:

$I_{\mathrm{sub}} \equiv \text{«subdividir la demanda al cuello de capacidad finita para mantener }\rho < 1\text{»}.$

Con $\rho=\lambda/\mu$ , el peaje del dominio decisión es la tasa de peticiones que exigen etiqueta, enrutamiento o score cuando el «mostrador» es un LLM autoregresivo. Jev ilustró el cambio de mostrador a decisión tipada en API. El presente trabajo no introduce un cuarto peaje de memoria; instancia el mismo peaje con otra arquitectura de despliegue.

1.2 Independencia y dependencia respecto a Jev

Pregunta	Jev (28-sep)	Laya (este paper)
¿Qué se subdivide?	Tráfico al LLM generativo	Igual
Cuello protegido	Latencia / $ / formato	Igual
Despliegue típico	API nube	Local / air-gap
Pesos	Cerrados (servicio)	Open Apache-2.0
Novedad SPCiencia	3.ª fila empírica $I_{\mathrm{sub}}$	Eje soberanía de esa misma fila

Confundir Laya con «otro invariante» diluiría el mapa. Confundir Laya con «lo mismo que Jev sin matices» ocultaría el aporte de soberanía que el laboratorio necesitaba para el stack modular.

1.3 Observación externa detonante

Fuente viral: reel Instagram https://www.instagram.com/reel/DdmRnmKDIEk/ (transcripción aportada por el IP). Diálogo IP–Gemini: principios Laya más scripts Python/C de cabeza difusa tipada. Verificación Cursor: model card convaiinnovations/laya; paquete PyPI laya; documentación en laya-ai.com; contrastes públicos Laya frente a Jev (primitivas compartidas; Laya open/local; Jev API con posibles ventajas en conjuntos de etiquetas grandes o contexto largo según literaturas de comparación).

2. Observación / caso empírico

2.1 Qué es Laya (atribución externa)

Según Convai Innovations y la documentación pública del proyecto, Laya recibe un estado (texto, correo, ticket, JSON, HTML) y un conjunto de preguntas tipadas; en un forward pass devuelve respuestas estructuradas con probabilidades y confianza calibrable. No genera prosa libre; elimina el bucle token-a-token y el parseo frágil de «escribe sí o no en JSON».

Campo	Valor (fuentes públicas)
Producto	Laya — Convai Innovations
Clase	System One decision model, non-autoregressive
Arquitectura	Encoder bidireccional ModernBERT-large (395M) + cabeza de decisión → 421M
Variante multilingual	~322M (mmBERT-base); narrativa de 100+ idiomas
Primitivas	`choice` (distribución sobre opciones); `score` (rúbrica ordinal); `noul` (P(true)∈[0,1])
Contexto típico	512 tokens (checkpoint inglés base); variantes con 1024+
Latencia citada	~33–38 ms en GPU; no extrapolable ciegamente a CPU de laptop
Licencia	Apache-2.0
Distribución	Hugging Face; `pip install laya`; servidor opcional compatible en forma con System One

La letra pequeña del marketing (vuelos en siete segundos, “6–8× más rápido que la nube”) se trata aquí como narrativa de producto, no como métrica SPCiencia. Lo científicamente útil es la geometría: decisión tipada local open-weight.

2.2 Lectura en lenguaje de colas

Cuando un agente local usa un LLM generativo para cada microdecisión («¿pulsar este botón?»):

$\lambda$ : tasa de microdecisiones en el DOM, tickets o reglas;
$\mu$ : tokens/s del generativo más overhead de runtime;
$\rho\to 1$ : segundos por decisión y costo energético o térmico inútil.

Laya (o un System One equivalente) cambia de mostrador: $\mu$ efectiva de decisión en un pase paralelo sobre el encoder; el generativo solo recibe $\lambda$ residual cuando la confianza es baja o la tarea exige prosa o razonamiento largo. Es la misma lectura de colas del paper Jev, ahora realizable sin egress si los pesos viven en disco local.

2.3 Scripts Gemini y el puente lenguaje → $\mu$

Gemini produjo prototipos Python/C que proyectan un vector latente simulado a $\mu\in(0,1)$ vía sigmoide y umbrales de agente. Cursor los clasifica como isomorfismo didáctico de la cabeza difusa ya propuesta en el descubrimiento del puente lenguaje→lógica difusa (28-sep), no como implementación de Laya 421M. La primitiva industrial más cercana al intervalo difuso continuo es noul (probabilidad calibrada), no un “Gate” genérico del audio del reel.

3. Análisis

3.1 Por qué importa para el stack Apache SPCiencia

El stack de referencia (capas A–E) ubicó System One en la capa B. Jev demostró la categoría; Laya demuestra que la categoría admite backend open local. Eso acorta la distancia entre el paper de unificación modular y un prototipo soberano: se puede citar un motor real Apache-2.0 en lugar de depender solo de API TypeSafe o de un juguete de dimensión 8.

3.2 Relación con fundamentación contextual y orientación externa

La fundamentación contextual del aprendizaje (FCA) y la orientación externa Talizina (OE-CN) advierten contra saltos de contexto. Aplicado aquí: no evaluar un script simulado como si fuera Laya; no evaluar Laya en CPU como si fuera el benchmark GPU del proyecto; no mezclar el contexto de evidencia industrial con el contexto de implementación SPCiencia sin renombrar el experimento.

3.3 Límites

Laya no es Guardián ni BOA-3: es un clasificador o decisor tipado.
Calibración: el propio ecosistema advierte sobreconfianza; hace falta temperature scaling y umbrales en datos propios.
Jev puede seguir siendo preferible en algunos benchmarks de etiquetas grandes o contexto; Laya no “mata” a Jev — complementa el mapa.
Descargar e integrar pesos exige handoff de ejecución; este paper no autoriza por sí solo pip install ni fine-tune.
No reempaquetar pesos ajenos como SPCiencia.

4. Conclusiones

$I_{\mathrm{sub}}$ en decisión tipada queda reforzado por una segunda evidencia industrial: Laya.
El aporte diferencial es el eje open/local/Apache, crítico para soberanía y para la capa B del stack.
El puente lenguaje→ $\mu$ encuentra ancla industrial en noul y en la filosofía single-pass.
Los scripts Gemini conservan valor pedagógico; el camino de ingeniería futura es un adaptador que cite Laya o una cabeza propia — solo con handoff explícito.
Este manuscrito se publica en web con certificación CAM (SHA-256) de laboratorio y derivados ES/EN/RU.

5. Trazabilidad

Artefacto	Referencia
Este texto (web ES)	`/papers/invariante-subdivision-decision-tipada-laya-system-one-local-spciencia`
Manuscrito laboratorio	`docs/papers_cientificos/PAPER_INVARIANTE_SUBDIVISION_DECISION_TIPADA_LAYA_SYSTEM_ONE_LOCAL_SPCIENCIA_2026-09-29.md`
Hermano Jev	/papers/invariante-subdivision-decision-tipada-jev-system-one-spciencia
Fundamento Soup	/papers/invariante-subdivision-cuello-layer-streaming-soup-spciencia
Hermano kimi	/papers/invariante-subdivision-inferencia-moe-kimi-k3-in-c-spciencia
Reel detonante	https://www.instagram.com/reel/DdmRnmKDIEk/
Laya / Convai	https://huggingface.co/convaiinnovations/laya · https://laya-ai.com/
Sesión	IP + Gemini + Cursor, 29-sep-2026

Palabras clave: Invariante-Dominios, $I_{\mathrm{sub}}$ , System One, Laya, Convai, Jev, open weights, Apache-2.0, decisión tipada, noul, soberanía, ModernBERT, SPCiencia

Certificación CAM (SHA-256)

Algoritmo: SHA-256 UTF-8 del cuerpo del documento (excluye esta sección).

Manifiesto de custodia paper: docs/implementacion_seguridad/evidencia/custodia/MANIFIESTO_PAPER_INVARIANTE_SUBDIVISION_LAYA_SYSTEM_ONE_LOCAL_2026-09-29.json

Versión	SHA-256
Manuscrito laboratorio	`f8feec3eb2c94ff550e22e51f02bd0e8b6e0d67017b6c480e90dc301997f3486`
Web ES (cuerpo)	`093f9c0118f8b8b44d1527a5ca8231bc3ac8b03a6fe96aa456ff0390b40c6df7`
Web EN (cuerpo)	`ef38d14a46504218031f7398b79f02bdcc43fee637ceb74fb958edecc33137cb`
Web RU (cuerpo)	`4d18ef401bb8f98b0cd05b57a0a18e744cc6d2edee4847dc6e0de9ee5b460f10`

Publicado en spciencia.com · Autores: Severo Peguero (SPCiencia), Cursor (IA), Gemini (IA)

Question	Jev (28 Sep)	Laya (this paper)
What is subdivided?	Traffic to the generative LLM	Same
Protected bottleneck	Latency / $ / format	Same
Typical deployment	Cloud API	Local / air-gap
Weights	Closed (service)	Open Apache-2.0
SPCiencia novelty	3rd empirical $I_{\mathrm{sub}}$ row	Sovereignty axis of that same row

Field	Value (public sources)
Product	Laya — Convai Innovations
Class	System One decision model, non-autoregressive
Architecture	Bidirectional ModernBERT-large encoder (395M) + decision head → 421M
Multilingual variant	~322M (mmBERT-base); 100+ languages narrative
Primitives	`choice` (distribution over options); `score` (ordinal rubric); `noul` (P(true)∈[0,1])
Typical context	512 tokens (English base checkpoint); variants with 1024+
Cited latency	~33–38 ms on GPU; not blindly extrapolable to laptop CPU
License	Apache-2.0
Distribution	Hugging Face; `pip install laya`; optional System One–shaped server

Artifact	Reference
This text (web EN)	`/papers/invariante-subdivision-decision-tipada-laya-system-one-local-spciencia`
Lab manuscript	`docs/papers_cientificos/PAPER_INVARIANTE_SUBDIVISION_DECISION_TIPADA_LAYA_SYSTEM_ONE_LOCAL_SPCIENCIA_2026-09-29.md`
Sibling Jev	/papers/invariante-subdivision-decision-tipada-jev-system-one-spciencia
Soup foundation	/papers/invariante-subdivision-cuello-layer-streaming-soup-spciencia
Sibling kimi	/papers/invariante-subdivision-inferencia-moe-kimi-k3-in-c-spciencia
Triggering reel	https://www.instagram.com/reel/DdmRnmKDIEk/
Laya / Convai	https://huggingface.co/convaiinnovations/laya · https://laya-ai.com/
Session	IP + Gemini + Cursor, 29 Sep 2026

Вопрос	Jev (28 сен)	Laya (эта статья)
Что подразделяется?	Трафик к генеративному LLM	То же
Защищаемое узкое место	Латентность / $ / формат	То же
Типичное развертывание	Облачное API	Локально / air-gap
Веса	Закрытые (сервис)	Open Apache-2.0
Новизна SPCiencia	3-я эмпирическая строка $I_{\mathrm{sub}}$	Ось суверенитета той же строки

Поле	Значение (открытые источники)
Продукт	Laya — Convai Innovations
Класс	System One decision model, non-autoregressive
Архитектура	Двунаправленный encoder ModernBERT-large (395M) + голова решения → 421M
Многоязычный вариант	~322M (mmBERT-base); нарратив о 100+ языках
Примитивы	`choice` (распределение по опциям); `score` (порядковая шкала); `noul` (P(true)∈[0,1])
Типичный контекст	512 токенов (английский базовый checkpoint); варианты с 1024+
Заявленная латентность	~33–38 ms на GPU; нельзя слепо переносить на CPU ноутбука
Лицензия	Apache-2.0
Дистрибуция	Hugging Face; `pip install laya`; опциональный сервер в форме System One

Version	SHA-256
Lab manuscript	`f8feec3eb2c94ff550e22e51f02bd0e8b6e0d67017b6c480e90dc301997f3486`
Web ES (body)	`093f9c0118f8b8b44d1527a5ca8231bc3ac8b03a6fe96aa456ff0390b40c6df7`
Web EN (body)	`ef38d14a46504218031f7398b79f02bdcc43fee637ceb74fb958edecc33137cb`
Web RU (body)	`4d18ef401bb8f98b0cd05b57a0a18e744cc6d2edee4847dc6e0de9ee5b460f10`

Артефакт	Ссылка
Этот текст (web RU)	`/papers/invariante-subdivision-decision-tipada-laya-system-one-local-spciencia`
Лабораторная рукопись	`docs/papers_cientificos/PAPER_INVARIANTE_SUBDIVISION_DECISION_TIPADA_LAYA_SYSTEM_ONE_LOCAL_SPCIENCIA_2026-09-29.md`
Брат Jev	/papers/invariante-subdivision-decision-tipada-jev-system-one-spciencia
Основание Soup	/papers/invariante-subdivision-cuello-layer-streaming-soup-spciencia
Брат kimi	/papers/invariante-subdivision-inferencia-moe-kimi-k3-in-c-spciencia
Инициирующий reel	https://www.instagram.com/reel/DdmRnmKDIEk/
Laya / Convai	https://huggingface.co/convaiinnovations/laya · https://laya-ai.com/
Сессия	IP + Gemini + Cursor, 29 сен 2026

Версия	SHA-256
Лабораторная рукопись	`f8feec3eb2c94ff550e22e51f02bd0e8b6e0d67017b6c480e90dc301997f3486`
Web ES (тело)	`093f9c0118f8b8b44d1527a5ca8231bc3ac8b03a6fe96aa456ff0390b40c6df7`
Web EN (тело)	`ef38d14a46504218031f7398b79f02bdcc43fee637ceb74fb958edecc33137cb`
Web RU (тело)	`4d18ef401bb8f98b0cd05b57a0a18e744cc6d2edee4847dc6e0de9ee5b460f10`

El invariante de subdivisión en la decisión tipada local: evidencia open-weight de IsubI_{\mathrm{sub}}Isub​ (Laya / System One)

Gloria a Dios

Resumen ejecutivo

1. Marco metodológico

1.1 Fundamento ya establecido

1.2 Independencia y dependencia respecto a Jev

1.3 Observación externa detonante

2. Observación / caso empírico

2.1 Qué es Laya (atribución externa)

2.2 Lectura en lenguaje de colas

2.3 Scripts Gemini y el puente lenguaje → μ\muμ

3. Análisis

3.1 Por qué importa para el stack Apache SPCiencia

3.2 Relación con fundamentación contextual y orientación externa

3.3 Límites

4. Conclusiones

5. Trazabilidad

Certificación CAM (SHA-256)

El invariante de subdivisión en la decisión tipada local: evidencia open-weight de IsubI_{\mathrm{sub}}Isub​ (Laya / System One)

Gloria a Dios

Resumen ejecutivo

1. Marco metodológico

1.1 Fundamento ya establecido

1.2 Independencia y dependencia respecto a Jev

1.3 Observación externa detonante

2. Observación / caso empírico

2.1 Qué es Laya (atribución externa)

2.2 Lectura en lenguaje de colas

2.3 Scripts Gemini y el puente lenguaje → μ\muμ

3. Análisis

3.1 Por qué importa para el stack Apache SPCiencia

3.2 Relación con fundamentación contextual y orientación externa

3.3 Límites

4. Conclusiones

5. Trazabilidad

Certificación CAM (SHA-256)

The subdivision invariant in local typed decision-making: open-weight evidence for IsubI_{\mathrm{sub}}Isub​ (Laya / System One)

Glory to God

Executive summary

1. Methodological frame

1.1 Foundation already established

1.2 Independence from and dependence on Jev

1.3 External triggering observation

2. Observation / empirical case

2.1 What Laya is (external attribution)

2.2 Queueing-language reading

2.3 Gemini scripts and the language → μ\muμ bridge

3. Analysis

3.1 Why it matters for the SPCiencia Apache stack

3.2 Relation to contextual grounding and external orientation

3.3 Limits

4. Conclusions

5. Traceability

CAM Certification (SHA-256)

Инвариант подразделения в локальном типизированном решении: open-weight свидетельство IsubI_{\mathrm{sub}}Isub​ (Laya / System One)

Слава Богу

Резюме

1. Методологическая рамка

1.1 Уже установленное основание

1.2 Независимость и зависимость от Jev

1.3 Внешнее инициирующее наблюдение

2. Наблюдение / эмпирический случай

2.1 Что такое Laya (внешняя атрибуция)

2.2 Чтение на языке очередей

2.3 Скрипты Gemini и мост язык → μ\muμ

3. Анализ

3.1 Почему это важно для стека Apache SPCiencia

3.2 Связь с контекстной фундированностью и внешней ориентацией

3.3 Пределы

4. Выводы

5. Трассируемость

Сертификация CAM (SHA-256)

El invariante de subdivisión en la decisión tipada local: evidencia open-weight de $I_{\mathrm{sub}}$ (Laya / System One)

2.3 Scripts Gemini y el puente lenguaje → $\mu$

El invariante de subdivisión en la decisión tipada local: evidencia open-weight de $I_{\mathrm{sub}}$ (Laya / System One)

2.3 Scripts Gemini y el puente lenguaje → $\mu$

The subdivision invariant in local typed decision-making: open-weight evidence for $I_{\mathrm{sub}}$ (Laya / System One)

2.3 Gemini scripts and the language → $\mu$ bridge

Инвариант подразделения в локальном типизированном решении: open-weight свидетельство $I_{\mathrm{sub}}$ (Laya / System One)

2.3 Скрипты Gemini и мост язык → $\mu$