GDP Proof fail-closed çalışır. Operation identity explicit'tir, proof obligation verification öncesinde freeze edilir, verify_operation yalnız GDP-owned bounded journal evidence kabul eder ve prove_patch exact incoming patch identity ile matching full-apply ve hash-bound terminal verification evidence ister.
Tek exact typed operation identity ile başlayın
Operation Proof incoming:<id>, suggestion:<id>, run:<id> veya task:<id> gibi canonical typed reference kullanır. Bare identifier reddedilir; çünkü aynı string shape farklı GDP journal'larında bulunabilir ve yalnız birlikte görünmeleri correlation proof değildir.
inspect_operation tek exact typed identity için bounded GDP-owned evidence okur; operation'ı verify, retry, cancel veya mutate etmez. Missing evidence caller narrative ile doldurulmak yerine unknown kalır.
Success'in ne anlama geldiğini tanımlamadan önce sonucu önemli olan exact operation'ı seçin.
Geçip geçmediğini sormadan önce proof obligation'ları freeze edin
build_proof_obligations keyed success criteria'yı exact operation identity'ye bağlayıp pending obligation taşıyan deterministic proof contract döndürür. Builder evidence inspect etmez ve verified=false tutar.
verify_operation bu frozen schema-v2 contract'ı doğrular ve yalnız GDP-owned bounded operation-journal evidence tarafından desteklenen predicate'leri değerlendirir. Caller-supplied authoritative evidence hiçbir zaman kabul edilmez. GDP'nin journal'dan kanıtlayamadığı unsupported/custom criterion true tahmin edilmek yerine unproven kalır.
Tamper edilmiş proof identity, criteria, obligation text veya verified state fail-closed biçimde unverifiable olur.
Zero-exit run desteklenen terminal/success predicate'lerini satisfy edebilir; nonzero exit bunları contradict edebilir.
Completed Suggested Check, desteklenen success predicate'ini yalnız material count'ları terminal olup failed, skipped, pending veya unresolved other check kalmadığında kanıtlar.
Stale veya incomplete evidence bazı obligation'lar satisfied diye verified'a yükseltilemez.
Tek exact full patch apply için prove_patch kullanın
prove_patch generic operation view'dan daha spesifiktir. Tek exact incoming patch ID ve exact lowercase SHA-256 content hash alır; yalnız GDP-owned full-apply receipt ile aynı hash'e bound patch-attached verification bundle'ı sınıflandırır.
Full-apply obligation yalnız matching patch hash taşıyan apply_patch veya apply_all receipt ile satisfy olabilir. Verification patch-attached, hash-bound ve terminal material check'ten gelmelidir. Standalone Suggested Check, historical unbound bundle, queue presence veya caller claim exact patch proof'u satisfy edemez.
Matching full apply + tamamen terminal ve passing hash-bound verification: verified.
Matching full apply + missing, pending, skipped veya başka biçimde insufficient verification: partial veya unproven verification.
Exact full-apply receipt olmadan passing verification: material apply hâlâ unproven olduğu için unverifiable.
Hash conflict, failed bound check veya contradictory apply identity: contradicted.
Proof status'unu temkinli yorumlayın
verified o exact proof contract tarafından istenen bütün obligation'ların gerekli authoritative GDP evidence ile satisfy edildiğini anlatır. partial bazı required evidence bulunduğu fakat en az bir obligation unproven kaldığı anlamına gelir. contradicted authoritative evidence'ın istenen success condition ile çeliştiğini gösterir. unverifiable ise GDP'nin gerekli evidence chain'i kuramadığı anlamına gelir.
Bu classification authority genişletmez veya işi yeniden çalıştırmaz. Proof partial/unverifiable ise listed unknown ve evidence reference'ları inceleyip zaten proven mutation'ı tekrar etmek yerine missing operation veya verification step'ten devam edin.
Proof authoritative GDP evidence'ın neyi kurduğunu anlatır; successful check'i apply receipt'e, queue item'ı execution'a veya model statement'ı repository truth'a dönüştürmez.
