Bu sayfa İngilizce belgenin çevirisidir. Komutlar, tanımlayıcılar ve örnekler aynıdır. Çalışma zamanı 7.24.4 · SDK 2.6.7. İngilizce kaynak

Hedef güvencesi

Durum: Güncel Kapsam: Hedef kabul denetimleri ve kaynak tazeliği Son inceleme: 2026-09-14 Sahip: AX Code çalışma zamanı bakımcıları

Hedef planlayıcının ürettiği kod değişikliği planları yürütülebilir kabul denetimleri bildirir. Her denetim kapsadığı sonucu, tam komutunu, amacını ve amaçlanan ortamı adlandırır. AX Code, ajan verify_project aracını denetimin goalCheck kimliğiyle çalıştırdığında yürütme kanıtını kaydeder.

{ "goalCheck": "invoice-parity" }

Komut dondurulmuş hedef plandan gelir. Ajan bu çağrıyla onu farklı bir komutla değiştiremez. Mevcut bash izinleri hâlâ uygulanır. Hedefi tamamlamak, bildirilen her denetimin son denemesinin eşleşen hedef, oturum, çalışma alanı, sözleşme ve kaynak içeriğiyle geçmesini gerektirir. Kabul düzyazısı sonucu açıklar; yürütülen denetimlerin yerini almaz. Olağan kabuk çalıştırmaları ve tümüyle atlanan denetimler bu kanıtı sağlayamaz.

Güvencesi olmayan eski hedef planları önceki tamamlama kurallarını korur. Yeni sözleşmeye ihtiyacınız olduğunda eski bir hedefi temizleyip yeniden oluşturun; dondurulmuş gereksinimlerini yerinde düzenlemek sözleşme uyuşmazlığına yol açar. Bir çatal sözleşmeyi korur ama yeni oturumda taze denetim çalıştırmaları gerektirir.

Bir geçiş projesi hazırlamak

Revizyon tanımlayıcılarıyla yetkili eski kaynak veya dışa aktarımlar, sınırlı bir kapsam envanteri ve doğrulamalar doğrulanamadığında başarısız olan denetim betikleri sağlayın. Yorumları ve önceki geçiş uygulamalarını araştırılacak izler olarak ele alın. Onaylanan davranış değişikliklerini eski eşlik gereksinimlerinden ayrı kaydedin.

İstenen değişikliğin gerçekten etkilediği katmanlar için denetimler seçin:

Betikler denetimlerini yapmadan önce hedef kimliği doğrulamalıdır. Kimlik bilgilerini plan metninde, komutlarda veya hedef açıklamalarında değil, projenin mevcut kimlik bilgisi düzeneğinde tutun. Bir denetim, başarısız bir doğrulama, eksik ortam veya atlanan gerekli doğrulama için sıfır olmayan bir çıkış kodu döndürmelidir. Başarısızlıkları maskeleyen sarmalayıcılardan kaçının. AX Code, başarılı bir süreç çıkışından doğrulamalar çıkaramaz.

Büyük geçişler için işi sınırlı iş akışı kümelerine düzenleyin ve formları, bağımlılıkları, eski başvuruları ve kabul denetimlerini bağlayan bir envanter tutun. Hem kabul edilen kümeyi hem kalan kapsamı raporlayın. Bir kümeyi geçmek tüm geçişi tamamlamaz.

Bir planın kaydettikleri

Planlayıcı bir assurance nesnesi sağlar. Bu örnek parça, projenin başvurulan kaynak dışa aktarımına ve denetim betiğine sahip olduğunu varsayar:

{
  "version": 1,
  "sourcePaths": ["src", "checks", "package.json"],
  "sources": [
    { "role": "legacy", "reference": "legacy/invoice-schema.sql at export-v1" },
    { "role": "requirement", "reference": "Invoice acceptance criteria supplied by the user" }
  ],
  "checks": [
    {
      "id": "invoice-parity",
      "acceptanceIds": ["AC1"],
      "command": "node checks/invoice-parity.cjs",
      "purpose": "Assert invoice behavior, database mappings and target identity",
      "environment": "Staging migration target, schema ERP"
    }
  ]
}

Tüm kabul kimlikleri kapsanmalıdır. Komutlar çalışma alanı kökünden yürütülür. Güvence nesnesi kabul sözleşmesiyle dondurulur. Ajan, süren hedef bağlamında doğrulanmış kapsam, kaynak başvuruları, denetim kimlikleri ve bildirilen hedefleri alır. Eksik veya değişmiş sözleşmeler bir geri yükleme bildirimi üretir. Üretilen konuşma özetleri yanılabilir kalır; bildirilen başvurular ve hedef etiketleri gereksinimdir, bağımsız gözlenen olgular değil.

Bu hedefin neyi değiştirdiğini ölçen Git aralıkları önceki durum olarak {BASELINE} kullanmalıdır. Planlayıcı bu yer tutucuyu plan gönderildiğinde yakalanan HEAD SHA değerine yeniden yazar; böylece origin/main önündeki önceden var olan commit değerleri veya kirli bir çalışma ağacı hedefi tamamlanamaz kılamaz. Uzak izleme başvuruları (origin/main, @{u}, refs/remotes/…) hedef amacı uzak adı vermedikçe o önceki durum olarak reddedilir. Hâlihazırda ayrılmış veya kirli yolları Riskler altında kaydedin; amaç o başarısızlığı düzeltmek değilse hâlihazırda başarısız olan bir kapı denetimini dondurmayın.

Tazelik ve sınırlar

Git kaynak parmak izleri, bildirilen sourcePaths içindeki izlenen ve yok sayılmayan izlenmeyen dosyaların gerçek baytlarını içerir. Açık dosya yolları yok sayılan yapılandırma dosyalarını da içerir; dizin yolları Git yok sayma kurallarını korur. Değişebilir hedef plan denetim listeleri dışlanır; dondurulmuş gereksinimleri sözleşme özeti üzerinden denetlenir. Git olmayan projeler, eksik yollar dahil, bildirilen sourcePaths değerini özyinelemeli parmak izler. İlgili her kaynağı, yapılandırma dosyasını ve denetim betiğini o kapsama alın.

Parmak izleme 20.000 girdi ve 128 MiB dosya içeriğiyle sınırlıdır. Bağlı kaynak, iç içe Git depoları, özel dosyalar, kaçan yollar, değişen dosyalar ve kullanılamayan okumalar taze kanıt üretemez. Bu tür başarısızlıklar güvenceli tamamlamayı engeller. Denetim çıktı yapıtları yok sayılan bir konuma gitmelidir; böylece bir rapor üretmek doğrulanan kaynağı değiştirmez.

Açıkça adlandırılmayan yok sayılan dosyalar, kaynak kapsamı dışındaki bağımlılıklar, veritabanları ve dağıtımlar proje komutunda doğrulama gerektirir. Bir makbuz, yürütme anındaki bir gözlemi kaydeder; dış durumun değişmeden kaldığını kanıtlamaz. Yapılandırma, veritabanları veya dağıtımlar değiştikten sonra etkilenen denetimleri yeniden çalıştırın. AX Code tüm eski davranışı otomatik keşfetmez veya geçiş eşliğini belgelemez.

Planlama ne zaman çalışır

Planlama her iki yüzeyde de isteğe bağlıdır. /goal <objective> ve create_goal, assure olmadan, hedefi hemen başlatır: dondurulmuş kabul ölçütü taşımaz ve tamamlama, son değişiklikten sonra geçen bir doğrulama artı çalışan plana (bekleyen yapılacaklar) göre yargılanır. /goal --assure <objective> ve create_goal, assure: true ile, önce plan yazıcısını çalıştırır; aşağıdaki yürütülen denetim makbuzlarını tamamlama gereksinimi yapan budur.

Sözleşmesi olmayan bir hedef, gösterildiği her yerde bunu söyler (/goal view, hedef iletişim kutusu, denetim iletileri); böylece tamamlama kapısını çıkarmanız gerekmez. /goal replace, değiştirilen hedefin geçerli bir sözleşmesi varsa güvenceyi korur.

Planlama bağlamı ve model seçimi

Hedef planlama, seçilen oturum modelini hem /goal hem create_goal aracı üzerinden devralır. Uyumlu çağıran çeşitleri korunur. Salt okunur yazıcı, 16 KiB kayıt bütçesiyle son özgün kullanıcı gereksinimlerini ve ek başvurularını alır. Fazla büyük bir kayıt, bir bildirimle daha eski kayıtların eklenmesini durdurur; böylece daha eski gereksinimler atlanan bir düzeltmenin yerini sessizce alamaz. Satır içi ortam içeriği incelenmiş kanıt olarak ele alınmaz. Yalnızca ortamda bulunan gereksinimler için incelenebilir kaynak dosyalar sağlayın.

İlerleme ve engeller

get_goal güncel denetim durumunu (geçti, başarısız, eskimiş, çalışıyor veya eksik) ve son araç kanıtı kimliklerini içerir. Tamamlama kapısı hâlâ güncel başarılı makbuzlar gerektirir. Engellenmiş bir güncelleme bir engel türü, gerekçe, gereken dış değişiklik, özgün kanıt kimlikleri ve bağımsız iş kalmadığı onayı gerektirir. Engel gerekçeleri, incelenebilir kayıtlarla desteklenen model bildirimleridir; bir dış hizmetin kullanılamaz kaldığının belgesi değildir.

Yinelenen biçimde yeni başarılı araç kanıtı üretmeyen bitmiş turlar kurtarma rehberi alır, sonra bitmemiş iş açıklanarak hedef duraklatılır. Yeni araştırma sonuçları kaynak düzenlemesi olmadan sayılabilir; yapılacak yeniden yazımları ve yinelenen özdeş sonuçlar sayılmaz. Bu sınırlı bir sezgiseldir, anlamsal ilerlemenin kanıtı değildir. /goal resume başka bir deneme başlatır. Daha önceki bir hedef için üretilen araç çağrıları onun yerine geçen hedefi sonlandıramaz. Araçla oluşturulan bir hedef, model oluşturma sonucunu sonraki adımında aldıktan sonra durum güncellemelerine açıktır.

Mevcut bir planı gözden geçirme

Etkin, duraklatılmış veya engellenmiş dondurulmuş bir hedefi açıkça gözden geçirmek için /goal revise <correction> kullanın. Tamamlanan iş ve tükenmiş bütçeler yeni bir hedef gerektirir. Önceki plan ve özet bozulmadan kalır. Gözden geçirilen plan taze bir kimlik ve her iki özeti ile düzeltmeyi bağlayan yerel bir hazırlanmış revizyon kaydı alır. Güncel hedef kimliği hangi adayın gerçekten kurulduğunu belirler; başarısız eşzamanlı adaylar inceleme için diskte kalabilir. Eski makbuzlar geçmişte kalır ve yeni revizyonu karşılayamaz. Belirteç bütçesi ve birikmiş kullanım devredilir; gözden geçirme taze bir harcama bütçesi vermez.

Gözden geçirme güncel çalıştırmayı iptal eder ve yeni plan hazırlanırken hedefi duraklatır. Planlama başarısız olursa önceki sözleşme sürdürülebilir kalır; daha önce engellenmiş bir hedef o durumu korur. Planlama sırasında bir kullanıcı duraklatması veya iptali etkinleştirmeyi engeller. Eşzamanlı bir değiştirme adayın devralmasını engeller. Model araçları dondurulmuş gereksinimleri sessizce gözden geçiremez. Ortaya çıkan planı ve kabul ölçütlerini inceleyin; yürütülebilir bir komut tek başına doğrulamalarının düzeltilmiş isteği kapsadığını kurmaz.

İnceleme sonuçları ve sonraki kaynak değişiklikleri

Boş olmayan bir inceleme günlüğü başarılı incelemeyi kurmaz. Gerekli dış inceleyenler için gerçek çıkış kodunu, uç tamamlanmayı, kaynak veya fark kimliğini ve son bulguları ya da açık bir bulgu yok hükmünü doğrulayan, projeye ait bir denetim kullanın. Yalnızca uyarı günlükleri, kısmi akıl yürütme ve zaman aşımları başarısız olmalıdır. Başarısız denemeleri tanı için ayrı tutun.

Yeni kod değişikliği gönderimleri, tanınan basit dosya varlığı ve inceleme denetimlerini reddeder. Bu dar bir kabul korumasıdır, keyfi kabuk komutlarının anlamsal kanıtı değildir. Mevcut dondurulmuş sözleşmeler şema ve özetlerini korur; denetim noktaları daha eski bir denetimin bu zayıflığı olduğunda uyarır.

Hedef denetimi tazeliği, güncel hedef sırasında başarılı dosya düzenleme araçlarının bildirdiği çözümlenmiş dosya yollarını da parmak izler; her multiedit sonucu ve özgün kaynak listesinden atlanan yollar dahil. Bu dosyalardaki sonraki düzenlemeler önceki makbuzları geçersiz kılar. Dondurulmuş sözleşme ve özet değişmez. Bu izleme dosya aracı sonuç üst verisini kullanır; keyfi kabuk yan etkilerini veya test kapsamını çıkarmaz. Mevcut dosya sistemi kapsama, bağ, boyut ve dosya sayısı sınırları hâlâ uygulanır.

Denetim çıktısı ve hedef denetim noktaları ek yolları açıklar. Dondurulmuş bir test komutu gereken gerilemeleri atlarsa /goal revise <correction> isteyin ve gözden geçirilen denetimleri çalıştırın. Bir dosyayı parmak izine almak tazeliği kanıtlar, bir testin o dosyayı çalıştırdığını değil. Açık uçlu bir hata taraması planlarken sınırlı kaynak dizinlerini ve yeni gerilemeleri içeren test komutlarını yeğleyin.

Çalışma alanı takma adları gözlenen dosya yolları için normalleştirilir. Dış taslak dosyalar çalışma alanı kaynak girdileri olmaz; denetim noktaları dış içeriğin parmak izlenmediğini açıklar. Gerekli dış durum hâlâ projeye ait doğrulama gerektirir.

Commit kapsamı kanıtı

Boş olmayan bir git log <baseline>..HEAD -- <paths> yalnızca bir commit değerinin süzgeçle eşleştiğini kanıtlar. O commit içindeki ilgisiz dosyaları veya diğer commit değerlerini dışlamaz. Yeni kod değişikliği planları, tanınan bağımsız boş olmayan yol süzgeçli Git günlüğü doğrulamalarını reddeder; daha eski dondurulmuş denetimler özetlerini veya okuma zamanı doğrulamasını değiştirmeden gözden geçirme rehberi alır.

Taban soyunu denetleyen, boş olmayan bir aralık gerektiren ve her commit içindeki her değişen yolu yol süzgeci olmadan inceleyen, projeye ait bir doğrulayıcı kullanın. Silinen dosyaları ve yeniden adlandırmaların her iki yanını dahil edin, birleştirme commit değerlerini açıkça ele alın ve gereken dal veya ileti özelliklerini ayrı doğrulayın. Mevcut bir sözleşmeyi güçlendirmek için /goal revise kullanın; dondurulmuş gereksinimleri düzenlemeyin.

Plan boyutu ve tam yeniden gönderim

Markdown ve güvence JSON dahil görüntülenen plan 8.192 UTF-8 bayt içine sığmalıdır. 7.168 baytın altında kalmayı hedefleyin. Gönderim tavanı aşarsa yinelenen düzyazıyı kısaltın ve kind ile tüm gereken alanlar dahil tam nesneyi yeniden gönderin. Kabul kimliklerini ve denetimleri koruyun; çalışma zamanı gereksinimleri kırpmaz veya fazla büyük bir planı kabul etmek için okuyucu sınırını yükseltmez.

Yerel CLI animasyon inceleme makbuzları

Depoya ait packages/ax-code/script/verify-cli-review-receipts.ts, round-* yapıtlarını --root ile seçilen makbuz kökü altında denetler. Her tur revision.txt gerektirir ve grok, claude ile codex her biri exit.txt ister; 0 ile ve stdout.jsonl (Grok metin olayları) veya stdout.txt (Claude/Codex) içinde tek bir son hüküm. Başarısız denemeleri tamamlanan tur dizinlerinin dışında saklayın; başarısızlıkları çıkış sıfır makbuzlara çevirmeyin.

dispositions.json bir findings dizisi içerir. Her girdi round, cli, id, status (fixed veya rejected) ve boş olmayan evidence adlandırır. Sabit girdiler ayrıca bir regression nesnesi gerektirir; hazır depo yolu file, packages/ax-code/test/cli/tui/ altında ve tam Vitest fullName. Yinelenen eğilimler veya belirsiz birden çok hüküm başarısız olur.

Doğrulayıcı bu dosyaları, genel yeniden deneme varsayılanı sıfır olarak kurulu Vitest ile çalıştırır (tekil test seçenekleri bu varsayılanı geçersiz kılabilir), sonra başvurulan her doğrulamanın tam olarak bir kez geçtiğini denetler. Eksik, atlanan, başarısız veya belirsiz doğrulamalar doğrulamayı başarısız kılar. Bu, başvurulan testlerin geçtiğini kanıtlar; doğrulamalarının bulguyu anlamsal olarak kapsadığını değil. Reddedilen eğilimler kaydedilmiş yargılar olarak kalır. Son bir tur güncel HEAD ile eşleşmelidir; sabit işaretli bulgular daha yeni bir revizyon ve inceleme turu gerektirir. İşlenmemiş çekirdek paket kaynağı, testi veya yapılandırma değişiklikleri doğrulamayı engeller. İlgisiz yerel ax-code.json yapılandırmasını commit değerlerinin dışında tutun.

Bu depo için vitest run --dir test/cli/tui, TUI dizinini tararken normal şeridin dışlamalarını korur. Grup çalıştırıcılar tam dosyaları AX_TEST_FILES ile hâlâ seçebilir; dizin seçimi dışlamaları kapatmaz.