Mühendislik Aracı

KnowledgeCompiler

Yapılandırılmış yetki, context derleme ve transactional proje bilgisi iş akışları için deterministic, provider-neutral AI yönetişim CLI’ı.

Portföyün ana geliştirici altyapısı: kanıt ve sözleşmeleri doğrular; anlamsal kararı harici asistana bırakır.

  • Python
  • CLI
  • JSON Contracts
  • Markdown
  • SHA-256
  • Git

Kısa Bilgiler

Rol
Portföyün ana geliştirici altyapısı: kanıt ve sözleşmeleri doğrular; anlamsal kararı harici asistana bırakır.
Durum
Mühendislik Aracı
Seri
Bağımsız artifact
Kategori
AI Sistemleri / Altyapı

Sistem Özeti

KnowledgeCompiler, AI destekli çalışmada hangi kuralın yetki taşıdığını, hangi kanıtın güncel olduğunu ve hangi yazmanın izinli olduğunu sözleşmelerle sınırlar. .ai/project.md yapılandırılmış critical_rules sahibidir; prose ve retrieved context yetki değildir. Prompt yöneticisi veya otonom ajan platformu olarak konumlanmaz.

Mevcut Kapsam

Context/task/result sözleşmeleri hash ve provenance ile bağlanır; stale kanıt fail-closed reddedilir. Project-map path/symbol/test/doc yönlendirmesi yapar, adapter derleme yerel talimatları üretir. Transactional promotion; lock, exact preimage, CREATE/UPDATE, post-verification ve ownership-aware rollback kullanır.

Sync check/prepare yalnız committed kanıtı gözlemler; record harici değerlendirmeyi doğrular. Controlled autopilot, opt-in policy ve owner prefix’leriyle inert planı working-tree snapshot’ına bağlar. Vault gateway kullanıcıya özel konum/kimlik kontrolü ve sınırlı offline retrieval sağlar.

Ana Sistemler

  • Structured Authority
  • Context Bundle V2
  • Task Contract V1 / Result Contract V2
  • Native Adapter Compilation
  • Project-map Routing
  • Transactional Promotion
  • Observe-only Sync
  • Opt-in Autopilot
  • Vault Gateway

Teknik Etiketler

  • Python
  • CLI
  • JSON Contracts
  • Markdown
  • SHA-256
  • Git

Mimari Akış

  1. 1

    Validated Manifest

  2. 2

    Project-map / Adapter

  3. 3

    Frozen Context + Task Contract

  4. 4

    External Semantic Assessment

  5. 5

    Bound Result / Inert Plan

  6. 6

    Locked Check / Apply

  7. 7

    Post-verification / Audit

Tasarım Kararları

  • Yetkiyi bağlamdan ayırmak

    Routing ve retrieved prose yeni kural üretmez; lexical scope manifest’e bağlı kalır.

  • Yazmayı transaction sınırına almak

    Exact preimage ve post-check doğrulanmadan canonical işlem ilerlemez; policy yalnız sahip olunan Vault hedeflerini kapsar.

Sınırlar

  • Model dispatcher, scheduler, daemon, dağıtık lock veya crash-recovery WAL yoktur; in-process rollback crash recovery değildir.
  • Routine autopilot güvenli CREATE/additive UPDATE ile sınırlıdır. Correction/removal ve protected governance ayrı review/promotion yolunu gerektirir.
  • Anlamsal doğruluk veya evrensel ajan güvenliği garanti edilmez. Private kaynak repository için public link gösterilmez.

Bağlantılar