T81 Foundation

T81 Foundation — Arquitectura Ternaria Determinista

Última versión Estado de CI Licencia: MIT Lenguaje: C++23

La pila de computación ternaria determinista
Reproducibilidad bit a bit. Lógica nativa ternaria. Gobernanza de IA auditable.

English • 简体中文 • Español • Русский • Português

Características

¿Qué es T81?

T81 es una pila de computación soberana construida desde cero para la determinación y la lógica ternaria. Reduce el no determinismo en superficies explícitamente verificadas y proporciona una base matemáticamente rigurosa para IA de alto riesgo, criptografía y modelado científico.

Donde los sistemas tradicionales divergen entre arquitecturas, T81 apunta a reproducibilidad bit a bit en superficies explícitamente verificadas, con garantías acotadas por el registro de determinismo y el perfil del núcleo.

La promesa central: determinismo verificado

Característica El problema (Binario/IEEE 754) La solución T81
Aritmética Deriva de punto flotante entre arquitecturas CPU/GPU. Soft-float determinista (acotado): Comportamiento bit a bit en superficies explícitamente verificadas bajo el registro/perfil de determinismo.
Lógica Booleano (Verdadero/Falso) pierde matices. Ternario balanceado: {-1, 0, +1} para árboles de decisión eficientes y sin deriva.
Seguridad Los modelos de IA son cajas negras sin garantías de ejecución. Kernel Axion: Políticas de gobernanza aplicables y auditables a nivel de opcode.
Estabilidad Cambios incompatibles constantes y caos de dependencias. Especificaciones congeladas: TISC ISA y Tipos de Datos son estándares inmutables.

Arquitectura

T81 está organizado en capas estrictas de autoridad y abstracción.

flowchart TD

    %% ─────────────────────────────────────
    %% Application Layer
    %% ─────────────────────────────────────
    subgraph A["Application Layer"]
        Lang["T81Lang Source"]
        Cognitive["Cognitive Tiers"]
    end

    %% ─────────────────────────────────────
    %% Governance Layer
    %% ─────────────────────────────────────
    subgraph G["Governance Layer"]
        Axion["Axion Policy Kernel"]
    end

    %% ─────────────────────────────────────
    %% Execution Layer
    %% ─────────────────────────────────────
    subgraph E["Execution Layer"]
        VM["T81VM Interpreter"]
        JIT["Trace-JIT (Experimental)"]
    end

    %% ─────────────────────────────────────
    %% Foundation Layer
    %% ─────────────────────────────────────
    subgraph F["Foundation Layer (Frozen)"]
        ISA["TISC ISA"]
        Types["Ternary Data Types"]
    end

    %% Primary execution flow
    Lang --> VM
    VM --> ISA
    ISA --> Types

    %% Governance enforcement
    VM --> Axion
    Cognitive --> Axion
    Axion --> ISA

    %% Experimental path
    VM -. optional .-> JIT

Inicio Rápido

Construye la pila T81 desde el código fuente.

Requisitos previos

Instalación

# 1. Clonar el repositorio
git clone https://github.com/t81dev/t81-foundation.git
cd t81-foundation

# 2. Configurar y compilar
cmake -S . -B build -DCMAKE_BUILD_TYPE=Release
cmake --build build --parallel

# 3. Verificar instalación (ejecuta la compuerta de determinismo)
python3 scripts/ci/t81lang_repro_gate.py --t81-bin build/t81 --fixtures-dir tests/fixtures/t81lang_determinism --workdir build/t81lang-repro --hash-out build/t81lang-repro/hash.txt --expected-hash-file tests/fixtures/t81lang_determinism/t81lang_repro_hash.txt

Hello World (estilo ternario)

Crea un archivo llamado hello.t81:

fn main() {
    print("Hello, Deterministic World!");
    let a: trit = 1;
    let b: trit = -1;
    print(a + b); // Muestra "0"
}

Compila y ejecuta:

# Compilar a bytecode TISC
./build/t81 code build hello.t81 -o hello.tisc

# Ejecutar en la VM
./build/t81 code run hello.tisc

Plataformas Soportadas

Plataforma Arq Compilador Estado
Linux x86_64 Clang 18+, GCC 14+ ✅ Verificado
Linux ARM64 Clang 18+ ✅ Verificado
macOS Intel Apple Clang / GCC ✅ Verificado
macOS Apple Silicon Apple Clang ✅ Verificado

Ejemplos CLI

# Desarrollo
./build/t81 code build src.t81 -o out.tisc
./build/t81 code run out.tisc
./build/t81 tisc disasm out.tisc

# Diagnóstico y calidad
./build/t81 env doctor --json
./build/t81 code test --list
./build/t81 fmt --check src.t81

📚 Documentación

El ecosistema T81 está documentado en varios niveles de autoridad.

Recurso Descripción Autoridad
The Monograph El libro definitivo sobre filosofía, arquitectura y uso de T81. Empieza aquí. Alta
Normative Specs Fuente normativa de verdad de las especificaciones. Define la ISA TISC, Tipos de Datos y comportamiento de VM. Absoluta
Architecture Documento “North Star” que define límites del sistema e invariantes. Alta
Status Dashboard Seguimiento en vivo de salud del sistema, compuertas activas y superficies verificadas. En vivo
Governance Políticas de deriva de especificaciones, disciplina de release y modelos de amenazas. Alta

Temas clave

Mapa de Autoridad Documental

La autoridad normativa está en spec/; el estado operativo y de gobierno se rastrea en docs/status/ y docs/governance/.

🧩 Componentes y estado

Componente Estado Descripción
TISC ISA 🧊 Congelado El conjunto de instrucciones está verificado e inmutable (v1).
Tipos de Datos 🧊 Congelado Los tipos aritméticos del núcleo son estables; las garantías bit a bit están acotadas a superficies deterministas verificadas.
T81VM 🚧 Beta La superficie de runtime está activa y bajo verificación continua.
Axion ⚠️ Alpha El motor de políticas está activo con cobertura parcial sobre superficies en borrador.
T81Lang 🚧 Beta La madurez de implementación es Beta; la especificación normativa del lenguaje sigue en Draft.
Trace-JIT 🧪 Experimental Compilación JIT para rendimiento (opt-in).
Hanoi Kernel 🗃️ Concepto archivado Concepto histórico experimental mantenido solo como referencia de diseño.

Nota: Los componentes “congelados” tienen garantía contractual de no cambiar sin un incremento de versión mayor (por ejemplo, 2.0).

🤝 Comunidad y contribución

Damos la bienvenida a colaboradores que compartan nuestra pasión por sistemas rigurosos y deterministas.

La “Repro Gate”

Los checks requeridos de Pull Request aplican compuertas de reproducibilidad y conformidad para superficies deterministas acotadas. Si tu cambio altera salidas deterministas gobernadas, la compuerta correspondiente debe fallar. Esto es una feature, no un bug.

📄 Licencia

T81 es software de código abierto bajo la Licencia MIT.

Copyright © 2024-2026 T81 Foundation.

This site is open source. Improve this page.