Publish Aurora Trinity 0.1.0 artifacts
Browse files- CHANGELOG.md +15 -0
- LICENSE +16 -0
- README.md +59 -0
- docs/TRINITY.md +46 -0
- genesis/README.md +424 -0
- genesis_dictionary.bin +3 -0
- lexicon.tsv +38 -0
CHANGELOG.md
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Changelog
|
| 2 |
+
|
| 3 |
+
## 0.1.0 - Pre-release
|
| 4 |
+
|
| 5 |
+
- Publica el núcleo Trinity como biblioteca C11 con integración CMake.
|
| 6 |
+
- Incluye propagación de TriGates, ordenación, redes, ventanas, secuencias,
|
| 7 |
+
diccionario, traducción y persistencia transaccional.
|
| 8 |
+
- Incluye Project Genesis como módulo experimental separado.
|
| 9 |
+
- Añade pruebas exhaustivas del núcleo y pruebas deterministas de Genesis.
|
| 10 |
+
- Incluye una receta experimental para empaquetado con Conan 2.
|
| 11 |
+
- El snapshot de esta versión es binario y depende de la misma ABI de
|
| 12 |
+
compilación.
|
| 13 |
+
|
| 14 |
+
Esta versión no representa todavía una API estable ni un formato de snapshot
|
| 15 |
+
portable.
|
LICENSE
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Licencias de Modelo Aurora
|
| 2 |
+
|
| 3 |
+
Salvo que un archivo indique otra cosa, el alcance previsto es:
|
| 4 |
+
|
| 5 |
+
- el código fuente y los headers: Apache License 2.0;
|
| 6 |
+
- la documentación y los materiales explicativos: Creative Commons
|
| 7 |
+
Attribution 4.0 International (CC BY 4.0).
|
| 8 |
+
|
| 9 |
+
La redistribución debe conservar los avisos aplicables y atribuir el proyecto
|
| 10 |
+
Aurora. Los textos canónicos de las licencias están disponibles en:
|
| 11 |
+
|
| 12 |
+
- Apache License 2.0: <https://www.apache.org/licenses/LICENSE-2.0>
|
| 13 |
+
- CC BY 4.0: <https://creativecommons.org/licenses/by/4.0/legalcode>
|
| 14 |
+
|
| 15 |
+
Este archivo resume el alcance del repositorio; los textos canónicos enlazados
|
| 16 |
+
son los que definen los términos completos de cada licencia.
|
README.md
ADDED
|
@@ -0,0 +1,59 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
tags:
|
| 3 |
+
- aurora
|
| 4 |
+
- trinity
|
| 5 |
+
- symbolic-reasoning
|
| 6 |
+
- ternary-logic
|
| 7 |
+
- c11
|
| 8 |
+
- experimental
|
| 9 |
+
---
|
| 10 |
+
|
| 11 |
+
# Aurora Trinity 0.1.0
|
| 12 |
+
|
| 13 |
+
Aurora Trinity is an experimental C11 execution library for the Aurora model.
|
| 14 |
+
It implements ternary domains, reversible TriGates, fixed-point propagation,
|
| 15 |
+
tensor operations, windows, dictionaries, translation, and transactional
|
| 16 |
+
persistence.
|
| 17 |
+
|
| 18 |
+
This repository is a public artifact and experiment record. It is **not** a
|
| 19 |
+
Transformer model and does not contain neural-network weights. Trinity is the
|
| 20 |
+
runtime; Project Genesis contains experimental procedures and small reproducible
|
| 21 |
+
knowledge artifacts for testing how semantic structure might emerge.
|
| 22 |
+
|
| 23 |
+
## Contents
|
| 24 |
+
|
| 25 |
+
- `genesis_dictionary.bin`: deterministic Genesis dictionary artifact.
|
| 26 |
+
- `lexicon.tsv`: small lexicalization artifact used by Genesis experiments.
|
| 27 |
+
- `docs/TRINITY.md`: executable contract and runtime overview.
|
| 28 |
+
- `genesis/README.md`: Genesis research protocol and baseline results.
|
| 29 |
+
- `CHANGELOG.md`: release history.
|
| 30 |
+
|
| 31 |
+
## Reproduce
|
| 32 |
+
|
| 33 |
+
The source code and build instructions are maintained at:
|
| 34 |
+
|
| 35 |
+
https://github.com/Aurora-Program/Aurora-Trinity
|
| 36 |
+
|
| 37 |
+
Release: `v0.1.0`
|
| 38 |
+
|
| 39 |
+
```sh
|
| 40 |
+
cmake -S . -B build
|
| 41 |
+
cmake --build build
|
| 42 |
+
ctest --test-dir build --output-on-failure
|
| 43 |
+
```
|
| 44 |
+
|
| 45 |
+
The published release has been verified with a clean CMake build and three
|
| 46 |
+
passing CTest targets. Snapshot files are binary and require the same ABI.
|
| 47 |
+
|
| 48 |
+
## Scope and limitations
|
| 49 |
+
|
| 50 |
+
The Genesis G-R baseline is a deterministic control, not evidence of acquired
|
| 51 |
+
meaning. Its measurements must be compared with shuffled controls and future
|
| 52 |
+
G-E and G-3 experiments. The artifacts here are intentionally small and are
|
| 53 |
+
not a trained language model or a general-purpose dataset.
|
| 54 |
+
|
| 55 |
+
## License
|
| 56 |
+
|
| 57 |
+
Source code is intended to be distributed under Apache License 2.0 and
|
| 58 |
+
explanatory documentation under CC BY 4.0. See `LICENSE` in the source project
|
| 59 |
+
for the repository's stated scope and the canonical license links.
|
docs/TRINITY.md
ADDED
|
@@ -0,0 +1,46 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Trinity 0.1
|
| 2 |
+
|
| 3 |
+
Trinity es la biblioteca de ejecución del Modelo Aurora. Su responsabilidad es
|
| 4 |
+
operar relaciones; no asigna significado inicial a los tokens.
|
| 5 |
+
|
| 6 |
+
## Núcleo congelado en 0.1
|
| 7 |
+
|
| 8 |
+
- dominios no vacíos de `{0,1,2}`;
|
| 9 |
+
- TriGate reversible y redes circulares hasta punto fijo;
|
| 10 |
+
- ordenación `ES/FN/FO`;
|
| 11 |
+
- operación mínima y destilador razonador;
|
| 12 |
+
- semillas operativas `DS/DE/DO`;
|
| 13 |
+
- tensores fractales con procedencia verificable;
|
| 14 |
+
- ventanas, carry, secuencias y recurrencia entre niveles;
|
| 15 |
+
- transcender `C4/C5/C6` y semilla ejecutiva `R/E/O`;
|
| 16 |
+
- diccionario emergente, traducción y backoff;
|
| 17 |
+
- arranque, LRU y persistencia transaccional.
|
| 18 |
+
|
| 19 |
+
Trinity no contiene embeddings, corpus, tokenizadores estadísticos ni pesos
|
| 20 |
+
entrenados. Es el sustrato común contra el que deben evaluarse todos los
|
| 21 |
+
experimentos de Project Genesis.
|
| 22 |
+
|
| 23 |
+
## Uso
|
| 24 |
+
|
| 25 |
+
```c
|
| 26 |
+
#include <trinity/trinity.h>
|
| 27 |
+
```
|
| 28 |
+
|
| 29 |
+
Con CMake, el target instalado es:
|
| 30 |
+
|
| 31 |
+
```cmake
|
| 32 |
+
target_link_libraries(mi_programa PRIVATE Trinity::trinity)
|
| 33 |
+
```
|
| 34 |
+
|
| 35 |
+
Durante la transición sigue disponible el alias de compilación `aurora_core`.
|
| 36 |
+
|
| 37 |
+
El módulo experimental Genesis se enlaza separadamente:
|
| 38 |
+
|
| 39 |
+
```cmake
|
| 40 |
+
target_link_libraries(mi_experimento PRIVATE Trinity::genesis)
|
| 41 |
+
```
|
| 42 |
+
|
| 43 |
+
## Compatibilidad
|
| 44 |
+
|
| 45 |
+
La API pública conserva el prefijo `aurora_`: Aurora es el modelo y Trinity su
|
| 46 |
+
motor. Los snapshots 0.1 son binarios y requieren la misma versión y ABI.
|
genesis/README.md
ADDED
|
@@ -0,0 +1,424 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Project Genesis
|
| 2 |
+
|
| 3 |
+
## Pregunta central
|
| 4 |
+
|
| 5 |
+
**¿Cómo crea Aurora su primer significado?**
|
| 6 |
+
|
| 7 |
+
El marco complementario **Butterfly / Metamorphosis** interpreta Genesis como
|
| 8 |
+
una transición progresiva desde representaciones neuronales privadas hacia un
|
| 9 |
+
espacio fractal público. El LLM puede actuar como fuente o profesor durante la
|
| 10 |
+
transición, pero Trinity continúa siendo el criterio final de operación,
|
| 11 |
+
procedencia y cierre.
|
| 12 |
+
|
| 13 |
+
Trinity ya puede operar, verificar, compartir y persistir tensores. Genesis no
|
| 14 |
+
debe modificar ese operador para favorecer una hipótesis de origen. Su tarea es
|
| 15 |
+
producir los primeros tensores semánticos públicos para tokens simples y medir
|
| 16 |
+
qué organización aparece al procesarlos con la misma biblioteca congelada.
|
| 17 |
+
|
| 18 |
+
## Definición operacional de significado
|
| 19 |
+
|
| 20 |
+
En la primera etapa, un tensor posee significado útil si, comparado con los
|
| 21 |
+
controles, mejora de forma reproducible:
|
| 22 |
+
|
| 23 |
+
- el cierre de relaciones contextuales;
|
| 24 |
+
- la discriminación entre contextos incompatibles;
|
| 25 |
+
- la transferencia a secuencias no observadas;
|
| 26 |
+
- la reconstrucción desde su procedencia;
|
| 27 |
+
- el coste en ventanas después del aprendizaje.
|
| 28 |
+
|
| 29 |
+
Ser diferente de otros tensores no es suficiente.
|
| 30 |
+
|
| 31 |
+
## Tres rutas experimentales
|
| 32 |
+
|
| 33 |
+
### G-R — Origen pseudoaleatorio
|
| 34 |
+
|
| 35 |
+
Asignar tensores mediante una semilla pública y determinista. Es el control
|
| 36 |
+
fundamental: mide cuánta estructura puede producir Trinity sin herencia
|
| 37 |
+
semántica. No se utilizará aleatoriedad irreproducible.
|
| 38 |
+
|
| 39 |
+
### G-E — Destilación de embeddings
|
| 40 |
+
|
| 41 |
+
Aprender una transformación desde embeddings existentes hacia tensores Aurora.
|
| 42 |
+
La transformación puede heredar geometría útil, pero el resultado solo se
|
| 43 |
+
acepta si cierra y se verifica dentro de Trinity. El embedding es profesor, no
|
| 44 |
+
parte del formato público final.
|
| 45 |
+
|
| 46 |
+
El primer componente de esta ruta recibe el nombre provisional `ffe_encoder`.
|
| 47 |
+
Debe producir exactamente el mismo contrato tensorial público que G-R y G-3;
|
| 48 |
+
Genesis no tendrá un formato distinto para cada origen.
|
| 49 |
+
|
| 50 |
+
### G-3 — Base semántica mínima
|
| 51 |
+
|
| 52 |
+
Partir de tres tensores fundamentales públicos y generar el resto mediante sus
|
| 53 |
+
interacciones. Es la hipótesis más fuerte y la que exige mayor cuidado para no
|
| 54 |
+
introducir manualmente la semántica que pretende explicar.
|
| 55 |
+
|
| 56 |
+
## Protocolo común
|
| 57 |
+
|
| 58 |
+
Las tres rutas usarán:
|
| 59 |
+
|
| 60 |
+
1. el mismo vocabulario y corpus;
|
| 61 |
+
2. las mismas particiones de entrenamiento, validación y novedad;
|
| 62 |
+
3. semillas y configuraciones publicadas;
|
| 63 |
+
4. Trinity 0.1 sin modificaciones;
|
| 64 |
+
5. snapshots y resultados reproducibles;
|
| 65 |
+
6. controles negativos y ablaciones.
|
| 66 |
+
|
| 67 |
+
Métricas iniciales:
|
| 68 |
+
|
| 69 |
+
- colisiones tensoriales;
|
| 70 |
+
- tasa de cierre, apertura y contradicción;
|
| 71 |
+
- ventanas por secuencia antes y después de aprender;
|
| 72 |
+
- estabilidad ante repetición;
|
| 73 |
+
- sensibilidad al contexto;
|
| 74 |
+
- exactitud de reconstrucción;
|
| 75 |
+
- igualdad entre nodos al re-ejecutar;
|
| 76 |
+
- tamaño del diccionario y tasa de backoff.
|
| 77 |
+
|
| 78 |
+
Las comparaciones de memoria deben distinguir al menos tres magnitudes:
|
| 79 |
+
|
| 80 |
+
- representación desplegada;
|
| 81 |
+
- representación canónica serializada;
|
| 82 |
+
- snapshot completo con procedencia, `DE`, `DO` y diccionario.
|
| 83 |
+
|
| 84 |
+
No se comparará un tensor aislado con todos los parámetros de un LLM como si
|
| 85 |
+
fueran unidades equivalentes.
|
| 86 |
+
|
| 87 |
+
## Orden de ejecución recomendado
|
| 88 |
+
|
| 89 |
+
1. Implementar G-R como baseline barato y necesario.
|
| 90 |
+
2. Ejecutar G-E contra exactamente el mismo protocolo.
|
| 91 |
+
3. Evaluar G-3 cuando exista una línea base capaz de detectar si realmente
|
| 92 |
+
aporta estructura y no solo una codificación distinta.
|
| 93 |
+
|
| 94 |
+
El primer entregable de Genesis será un generador G-R determinista y un informe
|
| 95 |
+
de métricas, no una afirmación de semántica conseguida.
|
| 96 |
+
|
| 97 |
+
## Primer baseline G-R implementado
|
| 98 |
+
|
| 99 |
+
El módulo experimental ya implementa el payload de 117 bits y un generador
|
| 100 |
+
pseudoaleatorio determinista:
|
| 101 |
+
|
| 102 |
+
```c
|
| 103 |
+
genesis_tensor117 tensor;
|
| 104 |
+
genesis_gr_generate(public_seed, token_id, &tensor);
|
| 105 |
+
```
|
| 106 |
+
|
| 107 |
+
La estructura física es:
|
| 108 |
+
|
| 109 |
+
```text
|
| 110 |
+
bytes 0..14
|
| 111 |
+
└── 39 máscaras consecutivas de 3 bits
|
| 112 |
+
├── raíz: 3 dominios
|
| 113 |
+
├── nivel intermedio: 9 dominios
|
| 114 |
+
└── hojas: 27 dominios
|
| 115 |
+
```
|
| 116 |
+
|
| 117 |
+
G-R genera primero nueve tripletas hoja reproducibles. Trinity sintetiza tres
|
| 118 |
+
nodos intermedios y una raíz; solo entonces se serializa el árbol. Al importar,
|
| 119 |
+
los niveles superiores se vuelven a derivar y deben coincidir exactamente con
|
| 120 |
+
el payload. Por tanto, un bloque de 117 bits aleatorio pero incoherente no se
|
| 121 |
+
acepta como tensor Genesis.
|
| 122 |
+
|
| 123 |
+
Baseline inicial con seed pública `42`:
|
| 124 |
+
|
| 125 |
+
- 256 tokens generados;
|
| 126 |
+
- cero colisiones observadas;
|
| 127 |
+
- igualdad exacta al regenerar el mismo token;
|
| 128 |
+
- round-trip payload→Trinity→payload exacto.
|
| 129 |
+
|
| 130 |
+
Este resultado valida formato y reproducibilidad, no significado. La siguiente
|
| 131 |
+
medición debe usar contextos y cierre para determinar si aparece organización
|
| 132 |
+
por encima del control pseudoaleatorio.
|
| 133 |
+
|
| 134 |
+
## Primer benchmark contextual
|
| 135 |
+
|
| 136 |
+
Se usaron doce tokens divididos externamente en tres categorías, seis frases de
|
| 137 |
+
entrenamiento y seis combinaciones internas no vistas. G-R se comparó con un
|
| 138 |
+
control que conserva exactamente los mismos tensores pero baraja la asignación
|
| 139 |
+
token↔tensor.
|
| 140 |
+
|
| 141 |
+
| Métrica | G-R | Control barajado |
|
| 142 |
+
|---|---:|---:|
|
| 143 |
+
| Ventanas en primera lectura | 6 | 6 |
|
| 144 |
+
| Ventanas al repetir lo visto | 0 | 0 |
|
| 145 |
+
| Ventanas en combinaciones nuevas | 6 | 6 |
|
| 146 |
+
| Cierres | 0 | 0 |
|
| 147 |
+
| Aperturas | 12 | 12 |
|
| 148 |
+
| Contradicciones | 0 | 0 |
|
| 149 |
+
| Colisiones de raíz en 6 heldout | 5 | 5 |
|
| 150 |
+
| Colisiones de SO completa en 6 heldout | 5 | 5 |
|
| 151 |
+
|
| 152 |
+
El resultado es nulo en el sentido correcto: G-R permite lexicalizar y recordar
|
| 153 |
+
frases exactas, pero no transfiere todavía la estructura categorial y no supera
|
| 154 |
+
al control. La colisión de raíces muestra además que el `DS` superior es
|
| 155 |
+
demasiado grueso como discriminante aislado. En este ensayo `DE/DO` tampoco
|
| 156 |
+
recuperan la diferencia: las seis combinaciones heldout colapsan a una misma SO.
|
| 157 |
+
Antes de atribuir semántica a cualquier encoder, Genesis deberá exigir que
|
| 158 |
+
supere explícitamente este colapso frente al control.
|
| 159 |
+
|
| 160 |
+
## Aprendizaje por conversación educadora
|
| 161 |
+
|
| 162 |
+
El profesor desarrolla conocimiento, pero no interpreta la representación
|
| 163 |
+
privada del estudiante. Puede enseñar experiencias, hacer preguntas y corregir
|
| 164 |
+
respuestas; no asigna significado a celdas, caras o distancias internas. El
|
| 165 |
+
contrato completo se formaliza en `PEDAGOGY.md`.
|
| 166 |
+
|
| 167 |
+
G-R inicializa identidades reproducibles; no enseña significado. El mecanismo
|
| 168 |
+
de aprendizaje de Genesis es una conversación determinista con un educador:
|
| 169 |
+
|
| 170 |
+
```text
|
| 171 |
+
experiencia
|
| 172 |
+
→ pregunta abierta
|
| 173 |
+
→ corrección
|
| 174 |
+
→ comparación con la historia
|
| 175 |
+
→ discriminante sin contraejemplos
|
| 176 |
+
→ regla usada en una salida
|
| 177 |
+
→ cristalización en el diccionario
|
| 178 |
+
```
|
| 179 |
+
|
| 180 |
+
El educador proporciona hechos y correcciones, no tensores finales ni reglas.
|
| 181 |
+
Genesis solo cristaliza un discriminante cuando aparece en al menos dos sujetos
|
| 182 |
+
con la misma salida y no existe un sujeto conocido con ese discriminante y una
|
| 183 |
+
salida diferente.
|
| 184 |
+
|
| 185 |
+
Primera lección:
|
| 186 |
+
|
| 187 |
+
- gato y perro viven con humanos y duermen en casa;
|
| 188 |
+
- vaca vive en granja y duerme en establo;
|
| 189 |
+
- hámster solo recibe el hecho `vive_con humanos`;
|
| 190 |
+
- transferencia obtenida: `hámster duerme_en casa`;
|
| 191 |
+
- murciélago y águila vuelan pero duermen en lugares distintos, por lo que
|
| 192 |
+
`vuela` se rechaza como discriminante;
|
| 193 |
+
- tras dos ejemplos compatibles con `tiene plumas`, se transfiere
|
| 194 |
+
`halcón duerme_en nido`.
|
| 195 |
+
|
| 196 |
+
Hechos, correcciones, tokens y reglas viven en el mismo diccionario Trinity con
|
| 197 |
+
espacios de nombres diferentes. El snapshot conjunto conserva toda la historia
|
| 198 |
+
educativa; después de reiniciar, ambas respuestas transferidas permanecen.
|
| 199 |
+
|
| 200 |
+
### Discriminantes compuestos y excepciones
|
| 201 |
+
|
| 202 |
+
Una propiedad aislada puede ser insuficiente. Genesis combina de forma
|
| 203 |
+
canónica hasta tres pares `(relación, objeto)` nacidos de los hechos del sujeto.
|
| 204 |
+
Cada conjunción se somete al mismo criterio educativo: al menos dos casos de
|
| 205 |
+
soporte y ningún contraejemplo conocido dentro de esa conjunción. No existe un
|
| 206 |
+
segundo motor para las excepciones.
|
| 207 |
+
|
| 208 |
+
Cuando varias reglas son aplicables, prevalece la que contiene más condiciones.
|
| 209 |
+
Dos resultados distintos con igual especificidad producen una respuesta
|
| 210 |
+
ambigua; un hecho literal prevalece siempre sobre cualquier regla.
|
| 211 |
+
|
| 212 |
+
La segunda lección conserva `tiene plumas -> duerme en nido`. La propiedad
|
| 213 |
+
`negro` aislada tiene un contraejemplo y no puede cristalizar. Dos correcciones
|
| 214 |
+
compatibles permiten, sin embargo, cristalizar la relación más precisa:
|
| 215 |
+
|
| 216 |
+
```text
|
| 217 |
+
tiene plumas AND tiene negro -> duerme en torre
|
| 218 |
+
```
|
| 219 |
+
|
| 220 |
+
Un halcón con plumas obtiene primero `nido`; al aprender que también es negro,
|
| 221 |
+
obtiene `torre`. La regla general no se borra: queda subordinada por
|
| 222 |
+
especificidad. La regla compuesta y su resultado sobreviven al snapshot.
|
| 223 |
+
|
| 224 |
+
### Rectificación con memoria histórica
|
| 225 |
+
|
| 226 |
+
`genesis_education_correct` distingue una corrección de la simple incorporación
|
| 227 |
+
de otro hecho. Si ya existe una salida diferente para el mismo sujeto y
|
| 228 |
+
relación:
|
| 229 |
+
|
| 230 |
+
1. cristaliza una revisión `anterior -> nueva`;
|
| 231 |
+
2. retira el hecho anterior de la evidencia activa;
|
| 232 |
+
3. incorpora el hecho corregido;
|
| 233 |
+
4. vuelve a evaluar las reglas cuando intentan producir una salida.
|
| 234 |
+
|
| 235 |
+
La retirada no elimina la entrada: cambia su estado y el snapshot conserva
|
| 236 |
+
tanto el hecho reemplazado como la revisión y el hecho vigente. Una regla
|
| 237 |
+
cristalizada tampoco se acepta ciegamente. Debe seguir teniendo dos soportes
|
| 238 |
+
activos y ningún contraejemplo; si una corrección destruye ese fundamento, la
|
| 239 |
+
regla permanece como historia pero deja de operar.
|
| 240 |
+
|
| 241 |
+
La prueba educativa rectifica `zorro duerme en cueva` a `zorro duerme en casa`
|
| 242 |
+
y recupera únicamente `casa` después de reiniciar. También rectifica uno de los
|
| 243 |
+
dos soportes de una regla general y comprueba que un sujeto nuevo vuelve a
|
| 244 |
+
estado desconocido.
|
| 245 |
+
|
| 246 |
+
### Currículo acumulativo en disco
|
| 247 |
+
|
| 248 |
+
La primera conversación reutilizable vive en
|
| 249 |
+
`genesis_curriculum_foundation`. Puede aplicarse sobre una educación vacía o
|
| 250 |
+
sobre un snapshot cargado. Repetirla no añade hechos, reglas ni tensores: la
|
| 251 |
+
segunda ejecución conserva exactamente los mismos contadores.
|
| 252 |
+
|
| 253 |
+
El ejecutable `genesis_educate_baby` carga primero el conocimiento existente,
|
| 254 |
+
aplica el currículo y guarda atómicamente el resultado. El estado canónico del
|
| 255 |
+
primer estudiante se conserva en:
|
| 256 |
+
|
| 257 |
+
```text
|
| 258 |
+
genesis/knowledge/genesis_dictionary.bin
|
| 259 |
+
```
|
| 260 |
+
|
| 261 |
+
Su correspondencia pública `id -> palabra` está en `lexicon.tsv`. El binario no
|
| 262 |
+
es un artefacto aislado: ambos archivos forman juntos la memoria operativa y su
|
| 263 |
+
lectura humana.
|
| 264 |
+
|
| 265 |
+
La segunda conversación amplía el conocimiento sin modificar Trinity ni el
|
| 266 |
+
inductor. León y tigre reciben la experiencia `come carne` y la corrección
|
| 267 |
+
`es carnívoro`; el lobo sólo recibe la experiencia. Aurora transfiere:
|
| 268 |
+
|
| 269 |
+
```text
|
| 270 |
+
lobo come carne -> lobo es carnívoro
|
| 271 |
+
```
|
| 272 |
+
|
| 273 |
+
La explicación señala una condición y dos soportes educativos. El snapshot
|
| 274 |
+
crece de 38 a 51 entradas y de 221 a 312 nodos. Una nueva ejecución conserva
|
| 275 |
+
exactamente 51/312: recordar incrementa el uso de la regla, pero no duplica su
|
| 276 |
+
contenido.
|
| 277 |
+
|
| 278 |
+
La tercera conversación introduce respiración acuática sin alterar el motor:
|
| 279 |
+
|
| 280 |
+
```text
|
| 281 |
+
pez, tiburón + vive en agua -> respira por branquias
|
| 282 |
+
delfín, ballena + vive en agua + es mamífero -> respira por pulmones
|
| 283 |
+
salmón (no visto) + vive en agua -> branquias
|
| 284 |
+
foca (no vista) + vive en agua + es mamífero -> pulmones
|
| 285 |
+
```
|
| 286 |
+
|
| 287 |
+
Las dos transferencias se resuelven con soporte dos. La del salmón usa la regla
|
| 288 |
+
general de una condición; la de la foca usa la excepción contextual de dos
|
| 289 |
+
condiciones. El snapshot pasa a 79 entradas y 468 nodos y permanece idempotente
|
| 290 |
+
en la siguiente sesión. Con el límite actual de 512 nodos quedan 44 libres; las
|
| 291 |
+
próximas pruebas deberían reutilizar el vocabulario o abordar explícitamente la
|
| 292 |
+
segmentación/versionado de memoria, no aumentar silenciosamente el límite.
|
| 293 |
+
|
| 294 |
+
La cuarta conversación conecta dominios sin crear nuevas entidades. Tiburón,
|
| 295 |
+
delfín, águila y foca reciben `come carne` y reutilizan la relación aprendida de
|
| 296 |
+
los dos ejemplos león/tigre. El primer intento formuló el resultado como
|
| 297 |
+
`ES carnívoro` y fue rechazado correctamente por el currículo: `ES mamífero`
|
| 298 |
+
aparecía como si fuera una salida incompatible, porque las relaciones objetivo
|
| 299 |
+
son funcionales en esta etapa.
|
| 300 |
+
|
| 301 |
+
La educación se reformuló con un único token relacional nuevo, `DIETA`, sin
|
| 302 |
+
borrar `ES mamífero`:
|
| 303 |
+
|
| 304 |
+
```text
|
| 305 |
+
delfín ES mamífero
|
| 306 |
+
delfín DIETA carnívoro
|
| 307 |
+
tiburón DIETA carnívoro
|
| 308 |
+
tiburón ES ? -> desconocido
|
| 309 |
+
```
|
| 310 |
+
|
| 311 |
+
Esto no es sólo una corrección de nombres: evita confundir dimensiones
|
| 312 |
+
semánticas diferentes y conserva la apertura ante una pregunta mal tipada.
|
| 313 |
+
|
| 314 |
+
### Explicación y uso efectivo
|
| 315 |
+
|
| 316 |
+
Responder ya no es una lectura neutra. `genesis_education_answer_explain`
|
| 317 |
+
devuelve el hecho o la regla elegida, sus condiciones, el soporte vigente, la
|
| 318 |
+
entrada del diccionario y su contador de usos. Cuando existe una salida
|
| 319 |
+
resuelta, la entrada seleccionada se registra mediante el mismo mecanismo
|
| 320 |
+
`used_in_output` de Trinity.
|
| 321 |
+
|
| 322 |
+
Una respuesta ambigua o desconocida no atribuye uso a ninguna regla. En una
|
| 323 |
+
respuesta literal se registra el hecho; en una transferencia se registra la
|
| 324 |
+
regla más específica. El contador y la recencia forman parte del snapshot, por
|
| 325 |
+
lo que el sistema conserva no sólo qué sabe, sino qué conocimiento ha utilizado
|
| 326 |
+
realmente.
|
| 327 |
+
|
| 328 |
+
La sesión fundacional explica:
|
| 329 |
+
|
| 330 |
+
```text
|
| 331 |
+
hamster -> casa: 1 condición, soporte 2
|
| 332 |
+
halcon -> torre: 2 condiciones, soporte 2
|
| 333 |
+
```
|
| 334 |
+
|
| 335 |
+
## Primera ablación semántica
|
| 336 |
+
|
| 337 |
+
Se compararon tres sistemas con los mismos seis sujetos de entrenamiento, cuatro
|
| 338 |
+
transferencias no vistas y dos consultas cuya respuesta correcta era abstenerse:
|
| 339 |
+
|
| 340 |
+
| Sistema | Vistos | Transferencia | Abstención | Falsos positivos | Bytes activos |
|
| 341 |
+
|---|---:|---:|---:|---:|---:|
|
| 342 |
+
| Memoria literal | 6/6 | 0/4 | 2/2 | 0 | 276 |
|
| 343 |
+
| Inductor simbólico | 6/6 | 4/4 | 2/2 | 0 | 476 |
|
| 344 |
+
| Genesis + Trinity | 6/6 | 4/4 | 2/2 | 0 | 36 424 |
|
| 345 |
+
|
| 346 |
+
El inductor simbólico no recibe reglas manuales: deriva condiciones simples y
|
| 347 |
+
compuestas con el mismo soporte mínimo y la misma precedencia jerárquica. La
|
| 348 |
+
prueba incluye una regla general y una excepción más específica. Además,
|
| 349 |
+
Genesis produce exactamente las mismas decisiones con semillas tensoriales `42`
|
| 350 |
+
y `99`.
|
| 351 |
+
|
| 352 |
+
La ablación refuta por ahora una ventaja semántica atribuible a los tensores:
|
| 353 |
+
Genesis supera a la memoria literal, pero no supera al inductor simbólico
|
| 354 |
+
equivalente y utiliza una representación operacional mucho mayor. Los bytes no
|
| 355 |
+
incluyen capacidad reservada sin usar; suman únicamente nodos y entradas
|
| 356 |
+
activas. Trinity aporta en este ensayo identidad pública, procedencia, cierre y
|
| 357 |
+
persistencia, no una mejora predictiva medida.
|
| 358 |
+
|
| 359 |
+
El ensayo también detectó y corrigió un fallo: los contraejemplos cubiertos por
|
| 360 |
+
una regla más específica anulaban la regla general. Ahora una excepción válida
|
| 361 |
+
subordina el caso particular sin destruir la transferencia general.
|
| 362 |
+
|
| 363 |
+
Estas cifras describen un corpus mínimo construido; no estiman todavía el
|
| 364 |
+
comportamiento en lenguaje natural ni a escala.
|
| 365 |
+
|
| 366 |
+
## Arquitectura funcional Butterfly
|
| 367 |
+
|
| 368 |
+
El documento de transición propone cinco responsabilidades. Su relación con el
|
| 369 |
+
estado actual es:
|
| 370 |
+
|
| 371 |
+
| Responsabilidad | Proyecto | Estado |
|
| 372 |
+
|---|---|---|
|
| 373 |
+
| `ffe_encoder` | Genesis G-E | Pendiente |
|
| 374 |
+
| Transcender | Trinity | Implementado en el núcleo y semilla ejecutiva |
|
| 375 |
+
| Evolver | Genesis sobre Trinity | Parcial: diccionario/LRU; faltan arquetipos y dinámicas |
|
| 376 |
+
| Harmonizer | Trinity + currículo Genesis | Parcial: configurable; calibración aprendida pendiente |
|
| 377 |
+
| Extender | Trinity/Genesis | Parcial: procedencia y backoff; texto natural pendiente |
|
| 378 |
+
|
| 379 |
+
MCP puede utilizarse posteriormente para desplegar estas responsabilidades
|
| 380 |
+
como servicios independientes, pero no forma parte del contrato matemático ni
|
| 381 |
+
es un requisito del primer experimento local.
|
| 382 |
+
|
| 383 |
+
## Hipótesis, no conclusiones
|
| 384 |
+
|
| 385 |
+
Las siguientes proposiciones del marco Butterfly deben tratarse como hipótesis
|
| 386 |
+
experimentales:
|
| 387 |
+
|
| 388 |
+
- los tensores son más interpretables que los embeddings;
|
| 389 |
+
- preservan suficiente semántica con mucha menos memoria;
|
| 390 |
+
- reducen el coste de cómputo total;
|
| 391 |
+
- permiten aprendizaje continuo sin degradación catastrófica;
|
| 392 |
+
- reorganizan conocimiento en vez de limitarse a memorizar;
|
| 393 |
+
- conservan capacidades relevantes del modelo profesor.
|
| 394 |
+
|
| 395 |
+
Las referencias a inteligencia viva, esencia cognitiva o conciencia pertenecen
|
| 396 |
+
por ahora al marco filosófico. Los experimentos medirán continuidad operativa,
|
| 397 |
+
autoorganización, memoria y adaptación, sin convertir esas métricas en una
|
| 398 |
+
afirmación automática de conciencia.
|
| 399 |
+
|
| 400 |
+
## Bloqueo de especificación antes del encoder
|
| 401 |
+
|
| 402 |
+
Butterfly propone tres niveles de 3, 9 y 27 unidades. Trinity V2 ofrece una
|
| 403 |
+
interpretación técnica especialmente natural para los 117 bits:
|
| 404 |
+
|
| 405 |
+
```text
|
| 406 |
+
3 + 9 + 27 = 39 celdas de dominio
|
| 407 |
+
cada dominio = máscara no vacía de 3 bits sobre {0,1,2}
|
| 408 |
+
39 × 3 = 117 bits
|
| 409 |
+
```
|
| 410 |
+
|
| 411 |
+
Este sería el **payload semántico canónico**, no el tamaño total de un tensor
|
| 412 |
+
operacional ni de un snapshot. Antes de implementar `ffe_encoder` todavía hay
|
| 413 |
+
que fijar:
|
| 414 |
+
|
| 415 |
+
- si son trits, dominios, tripletas o SO;
|
| 416 |
+
- cómo se relacionan FFE (Form–Function–Structure) y `FO/FN/ES` de Trinity;
|
| 417 |
+
- cómo se proyectan esas 39 máscaras sobre la SO y el tensor de Trinity;
|
| 418 |
+
- qué partes incluyen `DE`, `DO` y procedencia;
|
| 419 |
+
- cuál es la profundidad canónica de un token simple.
|
| 420 |
+
|
| 421 |
+
El orden físico seguirá el contrato de Trinity (`ES`, `FN`, `FO`). FFE describe
|
| 422 |
+
los papeles Form–Function–Structure, pero no introduce un segundo orden de
|
| 423 |
+
almacenamiento. La procedencia, `DE`, `DO`, estados y diccionario se contabilizan
|
| 424 |
+
separadamente.
|
genesis_dictionary.bin
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:6abcaba0e74da8cb94decfe8109cc9c8288f4f5a456141d434cd5f3ce4f333b6
|
| 3 |
+
size 61752
|
lexicon.tsv
ADDED
|
@@ -0,0 +1,38 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
id token kind
|
| 2 |
+
1 gato sujeto
|
| 3 |
+
2 perro sujeto
|
| 4 |
+
3 hamster sujeto
|
| 5 |
+
4 halcon sujeto
|
| 6 |
+
5 aguila sujeto
|
| 7 |
+
6 pajaro sujeto
|
| 8 |
+
7 cuervo sujeto
|
| 9 |
+
8 mirlo sujeto
|
| 10 |
+
9 leon sujeto
|
| 11 |
+
10 tigre sujeto
|
| 12 |
+
11 lobo sujeto
|
| 13 |
+
12 pez sujeto
|
| 14 |
+
13 tiburon sujeto
|
| 15 |
+
14 salmon sujeto
|
| 16 |
+
15 delfin sujeto
|
| 17 |
+
16 ballena sujeto
|
| 18 |
+
17 foca sujeto
|
| 19 |
+
20 vive_con relacion
|
| 20 |
+
21 tiene relacion
|
| 21 |
+
22 come relacion
|
| 22 |
+
23 es relacion
|
| 23 |
+
24 vive_en relacion
|
| 24 |
+
25 respira relacion
|
| 25 |
+
26 dieta relacion
|
| 26 |
+
40 humanos objeto
|
| 27 |
+
41 plumas objeto
|
| 28 |
+
42 negro objeto
|
| 29 |
+
43 carne objeto
|
| 30 |
+
44 carnivoro objeto
|
| 31 |
+
45 agua objeto
|
| 32 |
+
46 branquias objeto
|
| 33 |
+
47 mamifero objeto
|
| 34 |
+
48 pulmones objeto
|
| 35 |
+
60 duerme_en relacion
|
| 36 |
+
61 casa objeto
|
| 37 |
+
62 nido objeto
|
| 38 |
+
63 torre objeto
|