Modul PAB–AEOS
Evidence dan batas klaim
Beginner
Tujuan / Objective
Menilai apakah bukti benar-benar mendukung claim pada scope dan revisi yang dimaksud.
Prasyarat / Prerequisites
- decision-functions
Konsep / Concepts
- Evidence mencatat claim, source, revision atau timestamp, producer, scope, verification method, freshness, limitations, dan status.
- Pembacaan source dapat membuktikan struktur kode, tetapi bukan availability production.
Diagram
Claim → Method → Evidence → Scoped conclusion
Contoh / Example
Build lokal yang lulus mendukung claim bahwa source pada commit tertentu dapat dibangun di lingkungan itu.
Anti-pattern
Mengklaim deployment berhasil hanya dari pembacaan konfigurasi atau test lokal.
Checklist
- Tulis claim persis.
- Cocokkan metode dengan claim.
- Catat revisi, waktu, dan limitation.
- Tandai stale bila target berubah.
Expected evidence
- Output perintah dengan exit code.
- Referensi revision dan limitation statement.
Ringkasan / Summary
Bukti kuat adalah traceable, fresh, scoped, dan menggunakan metode yang sesuai dengan claim.
Langkah berikutnya / Next step
Pelajari context yang cukup tanpa memuat seluruh riwayat.