Skip to content

TDGS-1: Tri Dev Guarded Stack #411

@gHashTag

Description

@gHashTag

Задача

Внедрить и закрепить 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

  1. PreToolUse hook: запрет любых изменений в src/sacred/ и src/vibeec/ (sacred)
  2. TRI-27 core: защита типов и владение
  3. Настройка TTC: .trinity/ttc.toml с MAX_TTC_LOC=3000
  4. 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)

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    Status

    Done

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions