⚙️ Ingeniería · edición portable

Arrancando el motor

Este documento lleva dentro un intérprete PHP, el motor determinista de 349 familias y el corpus académico completo. No se descarga nada: todo se descomprime aquí.

0 %Preparando…
PHP-WASM · sin servidor · sin red · sin telemetría

⚙️ INGENIERÍA

Mesa académica y técnica multidisciplinar

No es sólo ingeniería del software.

Esta mesa trabaja sobre un corpus académico de Ingeniería Técnica Informática y organiza cada consulta por dominio, tarea y forma de conocimiento. El objetivo es utilizar la bibliografía como fundamento y a la IA local como herramienta de relación, explicación y contraste.

32PDF académicos
15.988páginas
26.544fragmentos RAG
12dominios

Dominios

Tres capas de respuesta

📚 Fuente académica

Lo que puede respaldarse con fragmentos concretos del corpus, documento y página.

🧠 Razonamiento IA

Explicación, síntesis, deducción o propuesta elaborada por Gemma a partir de la consulta y las fuentes.

⚠️ Por verificar actual

APIs, versiones, vulnerabilidades, productos, estándares o compatibilidades que pueden haber cambiado.

Consulta de ingeniería

Todo ocurre en esta pestaña. «Resolver» ejecuta el motor determinista sobre PHP-WASM y devuelve una traza verificada. «Explicar» recupera además bibliografía del corpus incrustado. Si has configurado un modelo de lenguaje en ⚙️ Motor, éste sólo redacta y su respuesta se audita después contra el cálculo. Sin modelo configurado, ninguna petición sale del navegador.
Formatos verificables (motor determinista; ejemplos adicionales): tipo: mealy; estados:{q0,q1}; alfabeto:{0,1}; inicial:q0; transiciones:q0,0->q0/0;q0,1->q1/1;q1,0->q0/1;q1,1->q1/0; cadena:101
tipo: moore; estados:{q0,q1}; alfabeto:{0,1}; inicial:q0; salidas:q0:0;q1:1; transiciones:q0,0->q0;q0,1->q1;q1,0->q0;q1,1->q1; cadena:101
BNF: <S> ::= "a" <S> "b" | ε ; cadena: aabb
grafo:no dirigido; vertices:{A,B,C,D}; aristas:A-B:4,A-C:2,C-B:1,B-D:5,C-D:8; inicio:A; recorrido:bfs
grafo:no dirigido; vertices:{A,B,C,D}; aristas:A-B:4,A-C:2,C-B:1,B-D:5,C-D:8; algoritmo:kruskal
planificación:rr; procesos:P1(0,5),P2(1,3),P3(2,1); quantum:2
paginas:lru; marcos:3; referencias:7,0,1,2,0,3,0,4
amdahl: fracción:0.8; aceleración:4
estadística: datos:2,4,4,4,5,5,7,9

Fuentes recuperadas

🧭 Descubre INGENIERÍA

Programación didáctica en modo libertad aumentada. Explora el grafo determinista como un mapa de ideas: encuentra relaciones, genera retos de varios pasos y descubre usos que no necesitan estar escritos como una ficha previa.

Regla del juego: esta pestaña no modifica ni sustituye el resolutor. Sólo recorre las aristas ya certificadas y prepara enunciados para que, si quieres, los lleves a la Consulta.
—aristas del grafo
—variables relacionadas
—dominios conectados
—relaciones del reto

🎲 Trivial INGENIERÍA vía grafo

Pulsa «Nuevo reto». El sistema escogerá una ruta resoluble del grafo sin pedir ayuda al LLM.

🔭 Explorar una variable libremente

Escribe una magnitud y observa qué relaciones la producen o la utilizan. Es una vista del grafo, no un catálogo de ejercicios prefabricados.

Cada magnitud y cada relación es navegable. Pulsa una variable para continuar el paseo o una ley para preparar un reto resoluble y exportable.

🧰 Catálogo determinista

Este catálogo se obtiene del mismo registro que publica el backend. Cada ficha muestra un contrato de entrada de una familia ya soportada; no implica que cualquier problema en lenguaje natural de ese tema sea resoluble.

Cartografía del corpus

El RAG v1 procede de 32 PDF completos. Física Universitaria I–III se incorpora con trazabilidad por volumen y página; los fragmentos exactamente repetidos se omiten durante la ingesta.

Formas de conocimiento detectadas

definiciónteorema / fórmulamétodo / algoritmoejemploejerciciosolucióncódigocircuito / diagramacomparación

Estas etiquetas se detectan mediante heurísticas textuales y sirven para dar prioridad a fuentes distintas según la tarea. No pretenden clasificar perfectamente cada página.

Historial local

El historial guardado por esta página se conserva en localStorage del navegador. No se envía automáticamente al servidor.

Arquitectura del sistema

1 · Interfaz autocontenida

index.html. Consulta, historial local, corpus, privacidad y exportación.

2 · Índice RAG compacto

rag_ingenieria_index_v1.json.gz: metadatos, taxonomía, palabras clave TF-IDF, índice invertido y rutas a fragmentos.

3 · Shards por dominio

rag_shards/*.json.gz. Los textos completos no se cargan hasta saber qué fuentes han ganado la recuperación.

4 · Recuperación

Tokenización → expansión conceptual → ranking → dominio → forma de conocimiento → diversidad por obra.

5 · Intérprete en la pestaña

llm_ingenieria.php, íntegro, se ejecuta sobre PHP 8.3 compilado a WebAssembly. Construye el prompt con fuentes y reglas, y audita después la redacción recibida.

6 · Modelo opcional

Único servicio que puede quedar fuera. Se configura en ⚙️ Motor (Ollama o API compatible con OpenAI) y nunca sustituye al cálculo determinista.

Por qué el RAG está dividido

El RAG monolítico completo ocupa unos 58 MB descomprimido y su decodificación JSON puede multiplicar el consumo de memoria en PHP. La versión de despliegue usa un índice de unos 3,5 MB comprimido y carga sólo los shards de los dominios que contienen los resultados elegidos.

Qué no hace

No es un motor vectorial ni un buscador semántico completo. Es un RAG híbrido léxico enriquecido con taxonomía, expansión conceptual y prioridad por tarea. Esta elección mantiene el despliegue simple —HTML + PHP + gzip— y permite evolucionar posteriormente a embeddings sin cambiar la interfaz ni la estructura conceptual.

Datos y portabilidad

⚙️ Motor local y modelo de lenguaje

Esta edición no tiene servidor. El intérprete PHP, el motor determinista y el corpus bibliográfico viajan dentro del propio fichero HTML y se ejecutan en la pestaña mediante WebAssembly. La única pieza que puede vivir fuera es el modelo de lenguaje, y es opcional.

Estado del runtime

Intérprete
—
Binario WebAssembly
—
Arranque
—
Familias deterministas
—
Corpus montado
—
Última llamada al motor
—
Resolver · cálculo determinista verificado, siempre sin red
Corpus RAG · recuperación léxica sobre 26.544 fragmentos, sin red
Narración IA · no configurada

Modelo de lenguaje (opcional)

Qué cambia si lo configuras. Sin modelo, una consulta devuelve el cálculo verificado del motor y los fragmentos del corpus con su página: nada sale del navegador. Con modelo, el motor sigue calculando igual y el LLM sólo redacta; después la respuesta se audita aquí contra la traza determinista, los invariantes y las citas.
CORS. El navegador exige que el servidor del modelo autorice a esta página. Abierto desde un fichero local el origen es null, así que en Ollama hay que arrancar con OLLAMA_ORIGINS="*" (por ejemplo OLLAMA_ORIGINS="*" ollama serve). Si el endpoint es http:// y esta página se sirve por https://, el navegador bloqueará la llamada por contenido mixto.
Privacidad. La clave API y la URL se guardan sólo en este navegador. Con proveedor «Ninguno» no se realiza ninguna petición de red en toda la sesión.

Cómo está construido este fichero

1 · Intérprete

PHP 8.3 compilado a WebAssembly, incrustado comprimido en base64 y descomprimido con DecompressionStream al abrir la página.

2 · Motor

llm_ingenieria.php íntegro —el mismo que valida la batería de pruebas— cargado como biblioteca en un sistema de ficheros virtual.

3 · Corpus

Índice invertido y doce shards de dominio, incrustados tal cual en gzip: PHP los abre con gzdecode igual que en el servidor.

4 · Puente

browser_api.php expone catálogo, resolver, preparación RAG y auditoría semántica sin abrir un solo socket.

5 · Interfaz

La misma aplicación de siempre: sólo se ha sustituido la llamada HTTP al proxy por una llamada al intérprete local.

6 · Límite honesto

Un LLM no cabe en un HTML. Por eso la narración es externa, opcional y siempre auditada contra el cálculo determinista.