Flight Deck planlamayı execution'a dönüştürmeden MCP çağrısı öncesindeki belirsizliği azaltır. Discovery, descriptor inspection, static validation, effect preview ve invocation planning read-only kalır; gerçek capability yine kendi yetkisi altında çalışır ve ardından authoritative postcondition evidence gerekir.
Önce caller-effective capability'yi keşfedin
GDP client'ların tek kalıcı tool sayısını hard-code etmesini veya her runtime'ın aynı yüzeyi sunacağını varsaymasını istemez. inspect_server güncel effective catalog ve policy identity'yi açıklar; search_tools ise yalnız bu caller-effective descriptor set içinde arama yapar.
Discovery sonrasında inspect_tool tek capability'nin exact descriptor, input schema, annotation, execution policy ve authority summary bilgisini döndürür. inspect_authority runtime visibility, policy knowledge, target readiness ile hâlâ kanıtlanmamış consent/downstream availability katmanlarını ayırır; inspect_limits kapasite ayırmadan secret olmayan server/schema sınırlarını gösterir.
Tarihsel tool adı tahmin etmek yerine current discovery'nin exact isimlerini kullanın.
Sonraki validation veya plan aynı yüzeye bağlıysa catalog identity'yi precondition olarak görün.
Görünür tool istenebilen capability'yi anlatır; onu execute etme iznini kanıtlamaz.
Caller profile, enabled capability, host loading davranışı ve runtime sürümü effective catalog'u daraltabilir.
Execute etmeden validate, preview ve plan yapın
validate_tool_call proposed JSON argument object'i effective descriptor, catalog precondition, bounded schema, static execution policy ve tool repository-scoped ise exact repository target'a karşı kontrol eder. Target capability'yi invoke veya queue etmez.
preview_tool_call bu static validation üzerine caller-only output, local journal record veya queue item gibi bounded predicted effect'leri açıklar. compile_invocation_plan ise bounded sayıdaki explicit call için caller order'u korur ve step bazında blocker, effect class, replay class, target identity ve stop condition kaydeder.
Valid call shape static precondition'ların geçtiğini gösterir; future workspace state'i kanıtlamaz.
Preview çağrının neyi etkilemesinin beklendiğini açıklar; effect receipt değildir.
Compiled plan execution_authorized=false ve execution_started=false tutar çünkü planning authority vermez.
Catalog değişirse, target kaybolursa, argument validation değişirse, gerekli approval yoksa veya authoritative postcondition gözlenmezse stale plan'dan devam etmek yerine durup state'i yenileyin.
Static admissibility'yi consent ve outcome'dan ayırın
Flight Deck diagnostics user consent, downstream availability ve future execution outcome'u başka authoritative layer kanıtlamadıkça bilinçli olarak unproven gösterir. Bu read-only diagnostics içindeki false proof boolean otomatik denial değil, o diagnostic tarafından kanıtlanmamış anlamına gelir.
Yalnız explicit static blocker veya execution-time authority error denial evidence'dır. Tersine static_request_blocked=false yalnız request'in kontrol edilen static layer'da admissible olduğunu söyler; local policy, user decision, external service veya sonraki repository state'in successful execution'a izin vereceğini garanti etmez.
Flight Deck'i başka authority katmanına ait approval'ı üretmek için değil, execution öncesindeki önlenebilir ambiguity'yi azaltmak için kullanın.
Exact capability'yi çalıştırın, sonra postcondition okuyun
Preflight sonrasında değişmiş olabilecek effective catalog veya exact target'ı yenileyin.
Amaçlanan capability'yi kendi execution policy ve local authority boundary'si altında invoke edin.
Queueing tool'larda intake receipt ile sonraki local apply veya run'ı ayırın.
Maddi sonuç için uygulanabilir GDP operation, repository, check-run veya proof evidence'ını okuyun.
Yalnız authoritative postcondition'ı hâlâ unproven olan ilk adımdan devam edin.
Flight Deck Proof ile birlikte en güçlüdür: preflight proposed call'ın yapısal olarak hazır olup olmadığını, fresh GDP evidence ise real call'ın gerçekte ne başardığını anlatır.
