Valeur.Ürünler · Kanıt Zinciri
Dosyanız, kimin ne zaman ne dediğini kendi üzerinde taşısın
Bir hak talebi dosyası çoğu zaman olaydan aylar sonra, olayı yaşamayan biri tarafından toplanır. O kişinin cevaplaması gereken sorular teknik değildir: bu satır nereden geldi, kim ne zaman söyledi, sonradan değişti mi. Cevap dosyanın içinde yoksa cevap bir insanın hatırasındadır ve karşı taraf da bunu bilir.
Dosya bir iddia değildir. Çıktı “haklısınız” demez; neyin, nereden, ne zaman geldiğini gösterir ve gösteremediği yeri boş bırakır.
- Bu satır nereden geldi? — her bölüm kendi kaydına bağlı olarak kurulur.
- Kim, ne zaman? — üreten ve üretim anı dosyanın içinde durur.
- Sonradan değişti mi? — içerik mühürlenir; mühür içeriğin dışındaki alanlara bakmaz.
- Bu bölümün karşılığı yoksa ne olur? — boş döner. Doldurulmaz.
Dosya kendiliğinden bir araya gelmez; birileri onu bir araya getirir
Bu işin maliyeti dosyanın kendisinde görünmez. Saatlerde görünür — ve o saatler, dosyanın taşımadığı cevabı hatırlayan birini bulmakla geçer.
Çalışan başına haftada 14,1 saat verimsiz faaliyet raporlanmıştır; bunun 5,5 saati proje verisini aramak ve uyuşmazlık çözmekle geçmektedir. Aynı çalışmada, dünya genelinde yeniden yapımın ortalama %52’si kötü veri ve iletişime bağlanmıştır.
PlanGrid & FMI · Construction Disconnected, 2018. Beyana dayalı anket verisidir (599 katılımcı) ve çalışmayı yaptıran PlanGrid bir inşaat yazılımı firmasıdır — yani sayı, yazılımın çözdüğünü söylediği sorunu ölçen tarafça toplanmıştır. Buraya bizim ölçümümüz olarak değil, sektörün kendi beyanı olarak ve bu çekincesiyle birlikte konuyor.
Valeur bu saatleri azalttığını söylemez. Ölçmedik, ve ölçmediğimiz bir şeyi kendimize yazmayız. Valeur dosyayı on üç adlandırılmış bölümden kurar ve her bölümün kendi üreticisi vardır. İçeriği SHA-256 ile mühürler; mührü hesaplarken üretim anına, duruma ve mührün kendisine bakmaz — böylece aynı içerik iki kez üretildiğinde aynı mühür çıkar.
BUGÜN: On üç bölüm türünün on üçünün de kendi üreticisi var. Dosya, istenen bölümlerle kurulur; istenmeyen bölüm dosyada yer almaz, karşılığı olmayan bölüm boş yer alır.
On üç bölüm, on üç ayrı üretici
Aşağıdaki liste bir özet değil, dosyanın içerebileceği bölümlerin tamamıdır. Her satırın karşılığında ürün ağacında o bölümü kuran ayrı bir üretici vardır; iki liste birebir örtüşür, karşılığı olmayan bölüm türü de üreticisi olmayan bölüm de yoktur.
- Proje künyesi — sözleşmenin kimliği ve dosyanın hangi kapsam için üretildiği.
- Zaman çizelgesi — olayların sırası, her biri kendi kaydına bağlı.
- Saha kayıtları — sahadan alınan kayıtlar, alındıkları an ve alan kişiyle.
- Çıkarımlar — kayıtlardan türetilen sonuçlar, hangi kayıttan türediğiyle.
- Uygunsuzluklar — açılan uygunsuzluk kayıtları ve durumları.
- Süre uzatımı — talep edilen süre ve dayandığı olaylar.
- Hak talepleri — talep zinciri ve her halkanın dayanağı.
- Kamera ve tarama bulguları — drone ve kask kamerası kareleri, işaretçi sayımı, nokta bulutu yoğunluğu; her ham dosya kendi özetiyle birlikte.
- Program — iş programı ve üzerindeki hareketler.
- Miktar ve tutar — talebin sayısallaştırılmış hâli.
- Yazışmalar — bildirimler ve cevapları, tarihleriyle.
- Sözleşme maddeleri — dayanılan maddeler ve metinleri.
- Kayıt defteri kanıtı — dosyanın kendi bütünlük kaydı.
SınırBir dosya, istenen bölümlerle kurulur; on üçünün hepsini istemek on üç dolu bölüm getirmez. Kamera çalışması olmayan bir projede sekizinci bölüm boş döner — üretilmiş bir içerikle değil, boş. Bir bölümün var olması, o bölümde veri olduğu anlamına gelmez.
BUGÜN: Bölüm türleri ile üreticiler arasındaki eşleşme bu sayfa yazılırken iki yönlü kontrol edildi: üreticisi olmayan tür yok, türü olmayan üretici yok.
İçerik mühürlenir; mühür kendi dışındaki üç alana bakmaz
Mühür, dosyanın içeriğinden hesaplanan tek bir sayıdır. Hangi alanların hesaba girdiği kadar, hangilerinin girmediği de tanımın parçasıdır — ve dışarıda bırakılan üç alanın her biri, dışarıda bırakılmasaydı mührü işe yaramaz hâle getirirdi.
SHA-256( kanonik JSON( dosya içeriği ) ) → küçük harfli onaltılık
- Mührün kendisi
- Hesabın dışında. Kendi çıktısını girdisine katan bir özet zaten yazılamaz.
- Üretim anı
- Hesabın dışında. Aynı içerik yarın yeniden üretilirse mühür aynı çıkar. Girseydi mühür içeriği değil saati doğrulardı ve iki özdeş dosya farklı görünürdü.
- Durum
- Hesabın dışında. Dosyayı kesinleştirmek mührü değiştirmez. Girseydi mühürleme, mührün atlatamadığı tek işlem olurdu.
Sonuç okurun elinde tutabileceği bir şeydir: aynı içerik her zaman aynı mührü verir, ve bir dosyanın mührü onun kesinleştirilmesiyle değişmez. Mühür değiştiyse içerik değişmiştir; başka açıklaması yoktur.
BUGÜN: Mühür SHA-256, kanonik JSON üzerinden ve küçük harfli onaltılık olarak üretiliyor. Bölümlerin seçimi ve sırası da ayrıca özetleniyor: aynı bölümler farklı sırayla istendiğinde bu ayrı bir dosyadır.
Üç durum, ve kesinleştirme yalnızca birinden yapılır
Bir dosyanın hangi durumda olduğu, onunla ne yapılabileceğini belirler. Buradaki değer, durumların varlığında değil, aralarındaki geçişin reddedilebilir olmasındadır.
Taslak
Dosya kurulmuştur ve değişebilir. Bu, üzerinde çalışılan hâldir.
Kesinleşmiş
İçerik yeniden mühürlenir ve dosya bundan sonra bu mühürle anılır.
Çıkarılmış
Dosya dışarıya verilmiş hâliyle anılır.
KuralKesinleştirme yalnızca taslaktan yapılır. Kesinleşmiş ya da çıkarılmış bir dosyayı yeniden kesinleştirme isteği reddedilir ve reddin gerekçesi dosyanın o anki durumudur. Bu bir uyarı değil, işlemin durdurulmasıdır.
BUGÜN: Üç durum tanımlı ve geçiş kapısı tek yönlü. Dosya dört biçimde dışarı verilebiliyor.
Dosya neyin etrafında kurulur
Bir kanıt dosyası her zaman bütün projeyi taşımaz; çoğu zaman taşımaması gerekir. Aşağıdaki beş hedeften biri seçilir ve dosyaya yalnızca o hedefe bağlanan kayıtlar girer.
- Proje
- Kapsam daraltılmaz; projeye bağlı bütün kayıtlar dosyaya girer.
- İş kalemi
- Yalnızca o iş kalemine bağlanan olaylar, uygunsuzluklar, süre uzatımları ve talep zincirleri.
- Değişiklik emri
- Değişiklik emrinin olayları üzerinden bağlanan kayıtlar — olaya doğrudan bağlı olanlar ve o olaylara atıf yapan talep zincirleri.
- Talep zinciri
- Zincirin kendisi ve zincirin bağlı olduğu iş kalemi üzerinden erişilen kayıtlar.
- Uygunsuzluk
- Tek bir uygunsuzluk kaydı ve onun iş kalemi üzerinden bağlanan olaylar.
Kapsam bir filtredir, bir özet değil. Daraltılmış bir dosya, geniş bir dosyanın kısaltılmışı değildir: hedefe bağlanmayan kayıt dosyaya hiç girmez, girmediği için de dosyanın mührüne girmez.
BUGÜN: Beş hedefin beşi de ayrı daraltma kuralıyla çalışıyor; hiçbiri diğerinin takma adı değil.
Bu dosyanın yapmadıkları
Üçü de bugün böyle ve üçü de bir sonraki sürümü beklemiyor. Bir kanıt dosyasının ne olmadığını söylemek, ne olduğunu söylemenin şartıdır.
-
01
Mühür değişmezliği gösterir, doğruluğu değil
Mühür, içeriğin sonradan değişmediğini gösterir. İçeriğin baştan doğru olduğunu göstermez ve gösteremez: yanlış bir tarih de, doğru bir tarih kadar sağlam mühürlenir. Mühürün cevapladığı soru “değişti mi”, “doğru mu” değil.
İzlenenMühür, dosya içeriğinin kanonik hâli üzerinden hesaplanır; içeriğin kendisi hakkında hiçbir denetim yapmaz.
-
02
Boş bölüm bir yol haritası maddesi değildir
Boş dönen bir bölüm yapılmadığı anlamına gelmez. O projede o bölümün karşılığı olmadığı anlamına gelir. Kamera çalışması olmayan bir işte kamera bölümünün dolu dönmesi, dosyanın güvenilir olmadığının işareti olurdu.
İzlenenBölüm üreticileri kapsamda bulduğu kayıtlar üzerinden çalışır; kayıt yoksa satır sayısı sıfırdır.
-
03
İç tutarlılık, bir merciin kabulü değildir
Dosyanın kendi içinde tutarlı ve mühürlü olması, hiçbir mahkemenin, hakem heyetinin ya da uyuşmazlık kurulunun onu kabul edeceği anlamına gelmez. Delil kabul edilebilirliği bu dosyanın değil, tabi olduğunuz usulün konusudur.
İzlenenKanıt dosyasını üreten kodda kabul edilebilirliği değerlendiren hiçbir alan ya da adım yok; dosya böyle bir iddia taşımıyor.
Bu sayfadaki yapısal sayılar
Dördü de üründeki tanımlardan, bu sayfa yazılırken okundu. Hiçbiri bir sonuç ölçümü değildir; hepsi malzemenin kendi özelliğidir.
- Bölüm türü
- On üç. Her birinin kendi üreticisi var ve iki liste birebir örtüşüyor.
- Kapsam hedefi
- Beş. Proje, iş kalemi, değişiklik emri, talep zinciri, uygunsuzluk.
- Durum
- Üç. Taslak, kesinleşmiş, çıkarılmış — ve kesinleştirme yalnızca taslaktan yapılır.
- Çıkarım biçimi
- Dört. Dördü aynı içeriğin dört kopyası değil: biri dosyanın tamamını, biri okunabilir raporu, biri ekleriyle birlikte paketi, biri de yalnızca zaman çizelgesi ile miktar satırlarını veriyor.
BUGÜN: Dört sayı da tanımlarından okundu. Sayılar büyüdükçe değil, karşılıkları doğrulandıkça anlam kazanır; bu yüzden her biri iki yönlü kontrol edilen eşleşmeye dayanıyor.
Sık sorulanlar
Mühür, dosyanın doğru olduğunu kanıtlar mı?
Hayır. Mühür, içeriğin mühürlendiği andan sonra değişmediğini gösterir. İçeriğin baştan doğru olup olmadığı ayrı bir sorudur ve mühür o soruya cevap vermez. Yanlış bir kayıt da doğru bir kayıt kadar sağlam mühürlenir.
Aynı dosyayı iki kez üretirsem iki farklı mühür mü alırım?
Hayır — içerik aynıysa mühür de aynıdır. Üretim anı hesabın dışında tutulduğu için, aynı içeriğin bugün ve yarın üretilmiş hâli aynı mührü verir. Mühür değiştiyse içerik değişmiştir.
Dosyayı kesinleştirince mührü değişir mi?
Değişmez. Durum alanı da hesabın dışındadır; kesinleştirme dosyanın durumunu değiştirir, içeriğini değil. Kesinleştirme sırasında içerik yeniden mühürlenir ve aynı içerik aynı mührü verir.
Kesinleşmiş bir dosyayı tekrar kesinleştirebilir miyim?
Hayır. Kesinleştirme yalnızca taslak durumundaki bir dosyadan yapılır; kesinleşmiş ya da çıkarılmış bir dosya için istek reddedilir ve reddin gerekçesi dosyanın o anki durumudur.
Bölümlerden biri boş geldi. Eksik mi?
Büyük ihtimalle hayır. Bölümler, kapsamda bulunan kayıtlardan kurulur; o kapsamda karşılığı olmayan bölüm boş döner. Boş dönmesi, doldurulmamış olmasıdır — uydurulmamış olmasıdır. Beklediğiniz bir kayıt boş bölümde çıkıyorsa sorun bölümde değil, kaydın kapsama bağlanmasındadır.
Bu dosya mahkemede delil olarak kabul edilir mi?
Bunu söyleyemeyiz ve söylemeyeceğiz. Delil kabul edilebilirliği tabi olduğunuz usule ve merciye bağlıdır; bir yazılımın kendi çıktısı hakkında verebileceği bir karar değildir. Dosyanın iddia ettiği tek şey, taşıdığı içeriğin mühürlendiği andan sonra değişmediğidir.
Elinizdeki dosyanın hangi sorulara cevap verdiğine birlikte bakalım.
Görüşme bir tanıtım değil: bir hak talebinizi ele alıp hangi bölümlerin dolu, hangilerinin bugün boş döneceğine ve boş dönenlerin neden boş döndüğüne birlikte bakarız.