İçeriğe geç
KarbonVerisi

CarbonOS doğrulama veri odası

Kısa cevap

Kanıt kapsaması emisyon ağırlıklı ölçülür. “1000 kaydın 950’sinde belge var” cümlesi hiçbir şey ifade etmiyor: belgesiz 50 kayıt emisyonun %60’ını taşıyorsa doğrulama düşer. Modül hem kayıt oranını hem emisyon ağırlıklı oranı raporlar; asıl gösterge ikincisidir. Dönem kilitli değilse paket “TASLAK” damgası taşır ve bu engelleyici bulgu olarak yazılır.

Örneklem yeniden üretilebilir: rastgele başlangıç dönem kimliğinin özetinden türetilir, yani doğrulayıcı aynı örneklemi kendisi hesaplayabilir. Hesaplanamayan bir örneklem denetlenebilir değildir.

PPS olasılığı büyüklükle orantılı örnekleme
sha256 her kanıt dosyasının künyesi
Kilit dönem kilitli değilse TASLAK damgası
Yazar KarbonVerisi ekibi
Son güncelleme 5 Ekim 2026
2 birincil kaynak

Üç ilke

Kapsama

Emisyon ağırlıklı kanıt

Belgesi olan kayıtların oranı iki türlü hesaplanır: kayıt sayısına göre ve emisyon payına göre.

  • Kayıt oranı da raporlanır
  • Asıl gösterge emisyon ağırlıklı oran
Örneklem

Yeniden üretilebilir PPS

Denetimdeki parasal birim örneklemesinin (MUS) emisyona uyarlanmış hâli.

  • Rastgele başlangıç dönem özetinden türer
  • Aralıktan büyük her kalem kesin seçilir
Kilit

Kilitli dönem şartı

Doğrulayıcı altından kayan rakamlarla çalışamaz.

  • Kilitsiz dönem TASLAK damgası alır
  • Sessizce paketlemek klasik hata

Kanıt kapsaması neden emisyon ağırlıklı?

Kayıt saymak, doğrulamanın düşeceği yeri gizliyor.

Bir envanterde binlerce kayıt olur ve emisyon bunlara eşit dağılmaz. Birkaç büyük kalem toplamın çoğunu taşır. Belgesiz kayıtlar tam o kalemlerdeyse, yüksek bir “kayıt kapsaması” oranı yanıltıcıdır.

Kanıt kapsaması neden emisyon ağırlıklı? — tablo 1
GöstergeNe söylerDeğeri
Kayıt kapsamasıKaç kaydın belgesi varBilgilendirici
Emisyon kapsamasıBelgeli kayıtlar toplamın ne kadarını taşıyorBelirleyici

Modül ikisini birden verir ve eksik kanıtı emisyon büyüklüğüne göre sıralar — yani hangi belgeyi bulmanın doğrulamayı kurtaracağını söyler. Doğrulama tarihine iki hafta kala bu liste, işin ne kadarının kaldığını gösteren tek dürüst göstergedir.

Örneklem: PPS ve yeniden üretilebilirlik

Doğrulayıcının kendisi hesaplayamadığı bir örneklem, denetlenebilir değildir.

Sistematik PPS örnekleminin dört adımı Kaydın seçilme olasılığı emisyonuyla orantılı; başlangıç dönem özetinden geldiği için doğrulayıcı aynı örneklemi yeniden üretir. Kaynak: CarbonOS doğrulama motoru (örneklem planı); kanıt toplama şartları ISO 14064-3 (R1)
  1. Adım 1 Emisyon ekseni Kayıtlar emisyonlarıyla orantılı uzunlukta art arda dizilir.
  2. Adım 2 Rastgele başlangıç Dönem kimliğinin kriptografik özetinden türetilir.
  3. Adım 3 Eşit aralıklı seçim Her aralıkta bir nokta; noktanın denk geldiği kayıt seçilir. Aralıktan büyük kalem kesin seçilir.
  4. Adım 4 Örneklem planı Seçilen kayıtlar, yöntem ve tohum bilgisi pakete yazılır.

Örnekleme yöntemi sistematik PPS — olasılığı büyüklükle orantılı seçim. Denetimde kullanılan parasal birim örneklemesinin (MUS) emisyona uyarlanmış hâli: bir kaydın seçilme olasılığı taşıdığı emisyonla orantılıdır.

Yöntemin kendiliğinden gelen bir özelliği var: örnekleme aralığından büyük her kalem kesin olarak seçilir. Yani büyük kalemler şansa bırakılmaz.

Rastgelelik ama tekrarlanabilir

Rastgele başlangıç noktası, dönem kimliğinin kriptografik özetinden türetilir. Sonuç iki şeyi birden sağlar: seçim yönlendirilemez (kimse “kolay” kayıtları seçemez) ve doğrulayıcı aynı örneklemi kendisi hesaplayabilir. Üretilemeyen bir örneklem, doğrulayıcı için kanıt değil iddiadır.

Kilitli dönem ve TASLAK damgası

Paketlenen veri sabit olmalı — yoksa doğrulama neyi doğruladığını bilemez.

Kilitli dönemden kanıt paketine Paket kilitli dönemden üretilir; dönem kilitlenmeden üretilen paket TASLAK damgası taşır ve bu engelleyici bulgu olarak yazılır. Kaynak: CarbonOS doğrulama motoru; kanıt şartları ISO 14064-3 (R1)
  1. Dönem verisi Kilitlenene kadar rakamlar değişebilir. Sonra: Kanıt paketi · TASLAK damgası ve engelleyici bulgu (kesikli ok: dönem kilitlenmeden)
  2. Dönem kilitlenir Paketlenecek veri sabitlenir.
  3. Kanıt paketi Aynı dönem için yeniden üretildiğinde bayt bayt aynı çıkar.

Dönem kilitlenmeden paket üretilebilir, ama üzerinde TASLAK damgası taşır ve bu durum paketin içinde engelleyici bulgu olarak yazılır.

Bunun kasıtlı olmasının sebebi: kilitsiz bir dönemi sessizce paketlemek doğrulamanın en klasik hatası. Doğrulayıcı dosyayı incelerken altındaki rakamlar değişirse yapılan iş boşa gider ve bu genellikle işin sonunda fark edilir.

Kanıt paketi ve denetim izi

Paketin içinde ne var.

  • Kanıt dosyaları — her birinin sha256 künyesiyle. Belge sonradan değişirse özet tutmaz.
  • Hesap girdilerinin özeti — aynı girdi aynı sonucu verir; farklıysa girdi değişmiştir.
  • Denetim izi — kim, ne zaman, hangi değerden hangi değere. Veritabanı düzeyinde değiştirilemez: UPDATE ve DELETE tetikleyiciyle reddedilir.
  • Örneklem planı — seçilen kayıtlar, seçim yöntemi ve tohum bilgisi.
  • Kanıt kapsaması raporu — kayıt ve emisyon ağırlıklı oranlar, eksikler sıralı.

Paket yeniden üretilebilir: aynı dönem için ikinci kez üretildiğinde bayt bayt aynı çıkar. Bu, doğrulayıcıya gönderilen dosyanın sonradan değiştirilmediğini göstermenin en basit yolu.

Modül bugün ne durumda?

Motor yazılmış ve testli; arayüz geliştiriliyor.

Doğrulama veri odası mantığı kod tabanında çalışıyor ve testleri geçiyor. Müşteriye dönük panel henüz yok; bu yüzden bu sayfada ekran görüntüsü, “tek tıkla” vaadi ya da kurulum süresi yazmıyoruz.

Bugün doğrulamaya hazırlanan bir kuruma hizmet olarak çalışıyoruz: paketi biz üretiyoruz, siz doğrulayıcıya teslim ediyorsunuz.

Sık yapılan hatalar

  • 1

    Kanıt kapsamasını kayıt sayısıyla ölçmek

    Belgesiz 50 kayıt emisyonun %60’ını taşıyorsa, %95 kayıt kapsaması doğrulamayı kurtarmaz. Ağırlık emisyonda.

  • 2

    Kilitsiz dönemi paketlemek

    Doğrulayıcı incelerken rakamlar değişirse yapılan iş boşa gider ve bu genellikle işin sonunda fark edilir.

  • 3

    Örneklemi elle seçmek

    Yönlendirilebilir ve doğrulayıcının yeniden üretemediği bir seçim, kanıt değil iddiadır.

  • 4

    Doğrulamayı çalışmanın sonuna bırakmak

    Veri izi ve yöntem gerekçesi sonradan üretilemez. Kayıt düzeni baştan kurulmadıysa doğrulama tarihinde yapılabilecek bir şey kalmaz.

Değişiklik günlüğü

3 kayıt

Ne zaman, hangi bölüm, neden değişti. Bu sayfayı bir uyum dosyasına dayanak gösterecekseniz hangi sürümü okuduğunuzu bilmeniz gerekir.

5 EKIM 2026 en son Başlıklar

Bölüm başlıkları soru biçimine çevrildi; içerik değişmedi.

Önceki 2 kaydı göster
27 EYLÜL 2026 Örneklem, kilitli dönem ve künye

PPS örnekleminin adımları ve kilitli dönemden kanıt paketine giden yol akış şeması olarak eklendi; yöntem ve kurallar değişmedi. Künyedeki metodoloji sürümü tasarım maketinden kalmıştı ve karşılığı olan bir belge yoktu; yerine sayfanın dayandığı standartlar yazıyor.

2 EYLÜL 2026 İlk yayın

Doğrulama veri odası sayfası yayımlandı. Yetenekler kod tabanından doğrulandı; arayüz henüz olmadığı için ekran görüntüsü yazılmadı.

Sık sorulanlar

Kanıt kapsaması yüzde kaç olmalı?

Tek bir eşik yok; doğrulayıcı önemlilik eşiğine göre karar verir. Belirleyici olan oran değil, eksik kanıtın hangi emisyon kalemlerinde olduğu. Modül eksikleri emisyon büyüklüğüne göre sıralar.

PPS örneklemesi ne demek?

Olasılığı büyüklükle orantılı seçim: bir kaydın seçilme olasılığı taşıdığı emisyonla orantılı. Denetimde kullanılan parasal birim örneklemesinin emisyona uyarlanmış hâli. Örnekleme aralığından büyük her kalem kesin seçilir.

Doğrulayıcı örneklemi kendisi kontrol edebilir mi?

Evet, tasarım gereği. Rastgele başlangıç dönem kimliğinin özetinden türetilir; doğrulayıcı aynı örneklemi bağımsız olarak hesaplayabilir.

Dönemi kilitlemeden paket alabilir miyim?

Alabilirsiniz ama paket TASLAK damgası taşır ve bu engelleyici bulgu olarak yazılır. Kilitsiz dönemi sessizce paketlemek doğrulamanın klasik hatası olduğu için gizlenmiyor.

Bugün bu modülü kullanabilir miyim?

Panel geliştiriliyor. Bugün doğrulamaya hazırlanan kuruma hizmet olarak çalışıyoruz: paketi biz üretiyoruz, siz doğrulayıcıya teslim ediyorsunuz.

Kaynaklar

Bu sayfadaki kapsam, yükümlülük ve takvim ifadeleri aşağıdaki birincil kaynaklara dayanır. Mevzuat değiştiğinde sayfa güncellenir ve değişiklik günlüğüne kaydı düşülür.

  1. R1
    ISO 14064-3:2019 — doğrulama ve geçerli kılma
    ISO

    Güvence düzeyi, önemlilik eşiği ve kanıt toplama şartları.

    erişim 02.09.2026
  2. R2
    ISO 14065:2020 — doğrulama kuruluşları için şartlar
    ISO

    Doğrulayıcının akredite olduğu standart; paketin muhatabı.

    erişim 02.09.2026

İlgili sayfalar

Bu sayfa hakkında

Yazar
KarbonVerisi ekibi
Kurumsal yazarlık
Teknik gözden geçiren

İç teknik gözden geçirme: KarbonVerisi ekibi. Bağımsız dış gözden geçirme yapıldığında gözden geçirenin adı burada yayımlanır.

Sürüm bilgisi
İlk yayın
02.09.2026
Son gözden geçirme
02.09.2026
Son güncelleme
05.10.2026
Sonraki gözden geçirme
02.12.2026
Metodoloji sürümü
ISO 14064-3:2019 · ISO 14065:2020
Bu sayfayı kaynak gösterin

KarbonVerisi ekibi. CarbonOS doğrulama veri odası. KarbonVerisi. Son güncelleme 05.10.2026. https://karbonverisi.com/carbonos/moduller/dogrulama/ (erişim: [okuduğunuz tarih]).

Bu sayfa bilgilendirme amaçlıdır, hukuki görüş değildir. Yükümlülüğünüzün kesin kapsamı tesisinize ve güncel ikincil mevzuata göre belirlenir. Hata bildirimi: iletişim sayfası. Düzeltme ilkesi: Yayın ilkeleri.