Задача
Внедрить и закрепить Core Development Law (TDGS-1) как самостоятельный слой L0 Enforcement.
Scope (guarded files)
- ttc:
.trinity/, .trinity/ttc, .trinity/ttc/*
- tri_lang:
.trinity/tri_lang_core, .trinity/tri_lang/**
- tri_stdlib:
src/ (все tri_* модули)
- tri_canon:
.trinity/sacred, .trinity/vibeec/*
- t27:
.trinity/tri27/*
- docs_norm:
docs/, docs/**/*.md
- neuro_core:
src/neuro/*
- queen_core:
src/queen/*
Enforcement
- PreToolUse hook: запрет любых изменений в
src/sacred/ и src/vibeec/ (sacred)
- TRI-27 core: защита типов и владение
- Настройка TTC:
.trinity/ttc.toml с MAX_TTC_LOC=3000
- CI: git pre‑commit hook → вызывает
tri dev core pre-commit
Реализация
dev_guarded.zig: модуль для проверки guarded файлов
tri dev core audit --changed — JSON списка из stdin
tri dev core audit --verify — проверка подписей, exit 0/1
tri dev core audit --strict — полная проверка (LOC + подписи + scope), exit 0/1
tri dev core install-hook — создание .git/hooks/pre-commit
Только Guarded Core enforcement — без src/temple, без zig build temple
Связан: #411 (Linear Types + Ownership Modes)
Связан: #412 (Effects + Handlers)
Связан: #413 (Array Combinators)
Задача
Внедрить и закрепить Core Development Law (TDGS-1) как самостоятельный слой L0 Enforcement.
Scope (guarded files)
.trinity/,.trinity/ttc,.trinity/ttc/*.trinity/tri_lang_core,.trinity/tri_lang/**src/(все tri_* модули).trinity/sacred,.trinity/vibeec/*.trinity/tri27/*docs/,docs/**/*.mdsrc/neuro/*src/queen/*Enforcement
src/sacred/иsrc/vibeec/(sacred).trinity/ttc.tomlс MAX_TTC_LOC=3000tri dev core pre-commitРеализация
dev_guarded.zig: модуль для проверки guarded файлов
tri dev core audit --changed— JSON списка из stdintri dev core audit --verify— проверка подписей, exit 0/1tri dev core audit --strict— полная проверка (LOC + подписи + scope), exit 0/1tri dev core install-hook— создание.git/hooks/pre-commitТолько Guarded Core enforcement — без src/temple, без zig build temple
Связан: #411 (Linear Types + Ownership Modes)
Связан: #412 (Effects + Handlers)
Связан: #413 (Array Combinators)