T81 Foundation

T81 Foundation — детерминированная троичная архитектура

Последний релиз Статус CI Лицензия: MIT Язык: C++23

Детерминированный троичный вычислительный стек
Побитовая воспроизводимость. Нативная троичная логика. Аудируемая AI-управляемость.

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

Возможности

Что такое T81?

T81 — это суверенный вычислительный стек, созданный с нуля для детерминизма и троичной логики. Он снижает недетерминизм на явно верифицированных поверхностях и предоставляет математически строгую основу для высокорискового ИИ, криптографии и научного моделирования.

Там, где традиционные системы расходятся между архитектурами, T81 нацелен на побитовую воспроизводимость на явно верифицированных поверхностях, с гарантиями, ограниченными реестром детерминизма и профилем ядра.

Ключевое обещание: верифицированный детерминизм

Возможность Проблема (Binary/IEEE 754) Решение T81
Арифметика Дрейф вычислений с плавающей точкой между архитектурами CPU/GPU. Детерминированный soft-float (ограниченно): Побитовое поведение на явно верифицированных поверхностях в рамках реестра/профиля детерминизма.
Логика Булева логика (True/False) теряет нюансы. Сбалансированная троичная логика: {-1, 0, +1} для эффективных деревьев решений без дрейфа.
Безопасность AI-модели — «чёрные ящики» без гарантий выполнения. Ядро Axion: Применяемые и аудитируемые политики управления на уровне опкодов.
Стабильность Постоянные ломающие изменения и зависимостный хаос. Замороженные спецификации: TISC ISA и типы данных — неизменяемые стандарты.

Архитектура

T81 организован в строгие слои полномочий и абстракций.

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

Быстрый Старт

Соберите стек T81 из исходников.

Предварительные требования

Установка

# 1. Клонировать репозиторий
git clone https://github.com/t81dev/t81-foundation.git
cd t81-foundation

# 2. Настроить и собрать
cmake -S . -B build -DCMAKE_BUILD_TYPE=Release
cmake --build build --parallel

# 3. Проверить установку (запускает determinism gate)
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 (в троичном стиле)

Создайте файл hello.t81:

fn main() {
    print("Hello, Deterministic World!");
    let a: trit = 1;
    let b: trit = -1;
    print(a + b); // Выводит "0"
}

Скомпилируйте и запустите:

# Компиляция в TISC-байткод
./build/t81 code build hello.t81 -o hello.tisc

# Выполнение в VM
./build/t81 code run hello.tisc

Поддерживаемые Платформы

Платформа Архитектура Компилятор Статус
Linux x86_64 Clang 18+, GCC 14+ ✅ Проверено
Linux ARM64 Clang 18+ ✅ Проверено
macOS Intel Apple Clang / GCC ✅ Проверено
macOS Apple Silicon Apple Clang ✅ Проверено

Примеры CLI

# Разработка
./build/t81 code build src.t81 -o out.tisc
./build/t81 code run out.tisc
./build/t81 tisc disasm out.tisc

# Диагностика и качество
./build/t81 env doctor --json
./build/t81 code test --list
./build/t81 code fmt --check src.t81

📚 Документация

Экосистема T81 документирована на нескольких уровнях полномочий.

Ресурс Описание Полномочие
The Monograph Ключевая книга по философии, архитектуре и использованию T81. Начните здесь. Высокое
Normative Specs Нормативный источник истины по спецификациям. Определяет TISC ISA, типы данных и поведение VM. Абсолютное
Architecture Документ «North Star», определяющий границы системы и инварианты. Высокое
Status Dashboard Живое отслеживание состояния системы, активных gate’ов и верифицированных поверхностей. Живое
Governance Политики по дрейфу спецификаций, дисциплине релизов и моделям угроз. Высокое

Ключевые темы

Карта Авторитетной Документации

Нормативный источник — spec/; операционный и управленческий статус отслеживается в docs/status/ и docs/governance/.

🧩 Компоненты и статус

Компонент Статус Описание
TISC ISA 🧊 Frozen Набор инструкций верифицирован и неизменяем (v1).
Data Types 🧊 Frozen Базовые арифметические типы стабильны; побитовые гарантии ограничены верифицированными детерминированными поверхностями.
T81VM 🚧 Beta Поверхность runtime активна и находится под постоянной верификацией.
Axion ⚠️ Alpha Движок политик активен с частичным покрытием draft-поверхностей.
T81Lang 🚧 Beta Зрелость реализации — Beta; нормативная спецификация языка остаётся в Draft.
Trace-JIT 🧪 Experimental JIT-компиляция для производительности (opt-in).
Hanoi Kernel 🗃️ Archived Concept Историческая экспериментальная концепция, сохранённая только как референс дизайна.

Примечание: «Замороженные» компоненты имеют контрактную гарантию не меняться без повышения major-версии (например, 2.0).

🤝 Сообщество и вклад

Мы приветствуем участников, разделяющих нашу страсть к строгим детерминированным системам.

“Repro Gate”

Обязательные проверки Pull Request применяют gate’ы воспроизводимости и соответствия для ограниченных детерминированных поверхностей. Если ваше изменение меняет управляемые детерминированные выходы, соответствующий gate должен упасть. Это feature, а не bug.

📄 Лицензия

T81 — open-source ПО под лицензией MIT License.

Copyright © 2024-2026 T81 Foundation.

This site is open source. Improve this page.