Skip to content

Garden-Core Enforcer

Детерминированный движок верификации для ИИ-генерируемого C/C++ кода.

Описание

Garden-Core Enforcer — это Clojure/Babashka-движок, который аудирует код через Clang AST и EDN-контракты. Это «последняя миля» между стохастическим выводом ИИ и предсказуемым исполнением кода.

Принцип работы

Мы не исправляем ошибки ИИ. Мы создаём среду, где невалидный код физически не может пройти стадию сборки.

🔄 Жизненный цикл «Семантического Якоря»

1. Human Definition → Архитектор задаёт задачу
2. Intent Formalization → Формализация в EDN-контракт
3. Prompt Injection → Контракт + требования ИИ
4. AI Coding & Tagging → ИИ пишет код с garden-тегами
5. AST Enforcement → Валидация через Clang AST
6. Certification → Доказательство детерминированной безопасности

🚀 Быстрый старт

1. Установка окружения (Windows)

scoop install babashka llvm

2. Генерация AST

clang -Xclang -ast-dump=json -fsyntax-only test.c > ast.json

3. Запуск Enforcer

bb -m garden.enforcer ast.json

📋 Протокол тегирования (Garden-Tagging)

Каждый блок кода, связанный с Intent, ОБЯЗАТЕЛЬНО должен быть размечен:

// [[garden:intent(INTENT_ID)]]
void implementation_starts_here() {
    // Ваша логика
}
// [[/garden:intent]]

Правила тегирования

Правило Описание
No Orphans Никогда не размещайте тег без реализации
Exact ID INTENT_ID должен совпадать с ключом в .edn файле
Scope Теги оборачивают минимальную логическую единицу
Vacuum Rule Код вне [[garden:intent]] считается мёртвым и отбрасывается

📂 Структура проекта

garden-core/
├── deps.edn              # Конфигурация Babashka/Clojure
├── src/
│   ├── enforcer.clj      # Движок: парсинг AST + валидация
│   └── echo.clj          # Генератор Markdown-отчётов
├── specs/                # Локальные прототипы интентов (EDN)
└── scripts/              # Утилиты сборки

🛠️ Технологический стек

Компонент Назначение
Clojure / Babashka Быстрая обработка данных без JVM
Clang LibTooling Парсинг -ast-dump=json
EDN Формат контрактов (человек + машина)

📜 Манифест

  1. Код обесценился, Смысл подорожал — ценность в намерениях
  2. ИИ — Газ, Формальная Логика — Тормоза — детерминированный надзор
  3. Lisp — идеальный язык Контрактов — гомоиконность для Конституции
  4. Семантическая Клетка — ИИ генерирует внутри DSL-клетки правил
  5. Валидация вместо Надежды — проверка на этапе генерации
  6. Zero-Cost Security — контракт на этапе метапрограммирования
  7. Смерть «Чёрного Ящика» — ИИ в белом ящике намерений

Ссылки

🌿 Garden-Core | 📖 Rule-Rom

Bake the Future. Build the Substrate. 🛠️⚡️