Kılavuzlar

Uyumluluk bulguları

Bir gereksinim kataloğu, bir yönergeyi denetlenebilir girdilere dönüştürür. Oloproof, Kanada Hazine Kurulu'nun Otomatik Karar Verme Yönergesi için bir katalog sunar; yargı alanları sayfasının listelediği diğerleri de onunla birlikte gelir. oloproof init --example governance bunları bir projenin catalogues/ dizinine, onları okuyan bir governance.yaml dosyasının yanına kopyalar; böylece oloproof governance check orada hemen çalışır. oloproof governance check bunu sistemlerinize karşı okur ve her gereksinim için karşılanıp karşılanmadığını, kısmen karşılandığını, karşılanmadığını, uygulanamaz olduğunu ya da belirlenemediğini söyler. Her bulgu neye dayandığını belirtir: gate'inizin kararları, adı verilen bir kişinin beyanı veya incelenmiş bir taslak.

Bulgu, bir okuyucu için bir özettir. Hiçbir zaman bir kararı değiştirmez ve hiçbir zaman işletme izni değildir. Hukuki tavsiye değildir.

Yönetişim dosyası

governance.yaml, oloproof.yaml dosyasının yanında durur:

catalogue: catalogues/dadm_catalogue_2025-06-24.yaml   # as `init --example governance` copies it
systems:
  - id: triage
    name: Benefits triage
    system: triage            # the oloproof system name its runs are recorded under
    in_scope: true
    scope_reason: assesses eligibility for a federal benefit
    environment: production
    production_since: 2026-06-01
    aia_level: II
    review_period_days: 365
    bindings:
      DADM-6.3.1: [accuracy-floor]      # the gate rules that decide a measured requirement
      DADM-6.3.3#1: [every-region]      # or one part of a composite
statements:
  - id: s1
    system: triage
    target: DADM-6.1.1
    says: met                 # met, not_met or not_applicable
    by: A. Officer
    role: CIO office
    on: 2026-10-01
    link: https://example.org/aia

Bir bulguya nasıl varılır

Ölçülen gereksinimler, kendilerine bağlı gate kurallarını, sistemin güncel sürümündeki her paketin en yeni çalıştırmasında ve inceleme dönemi içinde okur. Yalnızca bağlı her kural PASS olduğunda karşılanır; biri FAIL olduğunda karşılanmaz; aksi halde belirlenemez. Hiçbir zaman kısmen karşılanmaz.
Beyan edilen gereksinimler en son geçerli beyanı okur. Bir beyan, inceleme döneminden sonra ya da sistemin sürümü beyanın adını verdiği sürümü geride bıraktığında eskir.
Destekli gereksinimler bir modelin taslağıyla başlar, oloproof governance draft --system triage --target DADM-6.2.1 --document notice.txt --model <model>; bu taslak, bir inceleyici üzerinde işlem yapana kadar asla bulgu değildir: oloproof governance review --action validate|reject|modify|annotate.
Bileşik gereksinimler parçalarını birleştirir: belirlenemeyen tek bir parça karşılanmayı engeller.

Kurallar docs/engine/FINDING_RULES.md içindedir ve 2 Kasım 2026'da denetimleriyle kabul edilmiştir.

Gruplar arasında adillik

DADM 6.3.3 ve 6.3.8, sonuçların her grup için geçerli olup olmadığını sorar. Bunları bir worst_group metriği üzerindeki bir min kuralına bağlayın (Yapılandırma başvurusu); bu kural adı verilen her grubu aynı anda eşiğe tabi tutar.

Mühürleme, imzalama ve yeniden değerlendirme

oloproof governance check --seal, numaralandırılmış ve bir öncekine zincirlenmiş, içinde inceleme günlüğünün başı bulunan bir bulgu kaydı yazar. oloproof runner keygen ile oluşturulmuş bir anahtarla imzalamak için --sign office.key --signer "CIO office" ekleyin; herkes onu oloproof governance verify RECORD --public-key KEY ile denetleyebilir. İmza onu kimin mühürlediğini söyler, bulguların doğru olduğunu değil. Bir sistem hiç değerlendirilmediğinde, inceleme dönemi dolduğunda, sürümü değiştiğinde veya katalog değiştiğinde yeniden değerlendirme için işaretlenir.

Düzeltici eylemler oloproof governance ticket ile izlenir. oloproof governance export-tickets --to jira --project GOV, henüz dışa aktarılmamış her açık bilet için oluşturacağı Jira kaydını yazdırır (REST v3 /rest/api/3/issue, açıklama Atlassian Document Format ile); --to servicenow, incident için ya da --table problem ile problem için bir Table API kaydı yazdırır. Oluşturmak için --send --by "A. Officer" ekleyin; OLOPROOF_JIRA_URL, OLOPROOF_JIRA_EMAIL, OLOPROOF_JIRA_TOKEN veya OLOPROOF_SERVICENOW_URL, OLOPROOF_SERVICENOW_USER, OLOPROOF_SERVICENOW_PASSWORD tanımlı olmalıdır (asla saklanmaz veya yazdırılmaz). Her hizmetin döndürdüğü anahtar, biletin gereksinimine not olarak günlüğe yazılır: bulgular onu gösterir ve bir bilet asla iki kez gönderilmez. Gerçek bir Jira veya ServiceNow örneğine değil, kaydedilmiş yanıtlara karşı test edildi.

Bir bilet gönderilmeden önce günlük, dışa aktarımı beklemede olarak kaydeder; bir çökmeden sonra yeniden çalıştırma bileti hizmette arar (Jira'da bir etiketle, ServiceNow'da correlation_id ile) ve ikincisini oluşturmak yerine mevcut anahtarı kaydeder. Bu notlar oloproof-export: ile başlar; bir gözden geçirenin kendi notu bu öneki kullanamaz. Kuruluşunuzdan çıkanlar: biletin notu, gereksinimi ve sistemi, günlükte yazıldığı haliyle açan kişinin adı, tarihi ve özeti; vaka içeriği yok.

oloproof governance mlflow bir MLflow model kayıt defterini okur: MLFLOW_TRACKING_URI ve sunucu isterse MLFLOW_TRACKING_TOKEN tanımlayın (hiçbiri saklanmaz veya yazdırılmaz). Her kayıtlı model, system veya id alanı model adı olan sisteme karşılık gelir; hiçbir sistemin adlandırmadığı bir model, governance.yaml dosyasına eklenecek bir sistem olarak yazdırılır ve bir kişi karar verene kadar kapsam dışıdır. Her sürümün numarası, çalıştırma kimliği ve kaynağı .oloproof/governance/mlflow/ altında tutulur. --tag ile son mühürlü kaydın bulguları, eşleşen her modelin en son sürümüne oloproof.findings, oloproof.findings_digest, oloproof.assessed_on, oloproof.catalogue etiketleri olarak yazılır. Kaydedilmiş yanıtlara ve 4 Kasım 2026'da yerel olarak çalıştırılan gerçek bir MLflow 3.18.0 sunucusuna karşı test edildi; etiketler geri okundu.

oloproof governance azureml, oloproof governance sagemaker, bir Azure Machine Learning çalışma alanı ve bir Amazon SageMaker Model Registry için aynısını yapar. Azure ML, AZURE_SUBSCRIPTION_ID, AZURE_RESOURCE_GROUP, AZURE_ML_WORKSPACE ile adlandırılan çalışma alanını yönetim API'si üzerinden, AZURE_ACCESS_TOKEN (az account get-access-token) içindeki bir belirteçle okur; --tag dört etiketi en son sürümün etiketlerine ekler. SageMaker, model paket gruplarını model, paket sürümlerini sürüm olarak okur ve her isteği standart AWS_ACCESS_KEY_ID, AWS_SECRET_ACCESS_KEY, AWS_SESSION_TOKEN, AWS_REGION ile imzalar; --tag dört değeri en son paketin müşteri meta verisi olarak ayarlar. Hiçbir kimlik bilgisi saklanmaz veya yazdırılmaz; içe aktarmalar .oloproof/governance/azureml/, .oloproof/governance/sagemaker/ altında tutulur. Her ikisi de her hizmetin belgelenmiş biçimlerindeki kaydedilmiş yanıtlara karşı test edildi; gerçek bir Azure veya AWS hesabı kullanılmadı.

Saklama, erişim ve veri yerleşimi

Barındırılan bir çalışma alanında Owner, Ayarlar'da çalıştırma vaka içeriğinin, izlerin ve okuma günlüğünün kaç gün saklanacağını belirler; worker daha eskisini siler ve Owner ile Admin'lerin indirebileceği bir makbuz yazar. Kararlar, onaylar, mühürler ve yönetişim kayıtları her zaman saklanır. Bir çalıştırmanın, bulguların veya bir mührün her açılışı hesap ve zamanla denetim günlüğüne yazılır. Veriler dağıtımın tek bölgesinde kalır (oloproof.com: Toronto, yedekler Toronto'da, şifreli bir kopyası Chicago'da); veri yerleşimi bölge başına bir dağıtım demektir.

Birden çok katalog, çalışma alanında inceleme ve API

Bir proje catalogues: [dadm.yaml, ethics.yaml] ile birden çok katalog adlandırabilir. Her sistem listelediği kataloglara (sistemdeki catalogues:), onu adlandıran grupların kataloglarına (groups: {public: {catalogues: [ethics.yaml], systems: [chatbot]}}) ya da bunlar yoksa bildirilen tüm kataloglara göre okunur ve her bulgu kendi kataloğunu adlandırır. Bir kataloğun yeni sürümü bir gereksinimi silmek yerine retired: "2027-01-01" ve replaced_by: <id> ile işaretler: o günden sonra bulgu üretmez ve kayıt onu adlandırır.

Barındırılan çalışma alanında bir Owner veya Admin, Governance sayfasında bir bulguyu doğrular, reddeder, değiştirir ya da not ekler. Her eylem kendi hesabıyla çalışma alanının hash zincirli kendi inceleme günlüğüne kaydedilir, gönderilen günlükten sonra okunur ve bir mühür iki günlüğü de dışa aktarır.

Okuma kapsamına sahip bir belirteç kendi projesi için aynı nesneleri okur: GET /api/governance/findings, /seal, /statements, /reviews, /approvals; bunlar /api/openapi.json adresinde OpenAPI 3.1 ile tanımlanır. Hiçbiri vaka içeriği taşımaz.

Size söyleyemeyecekleri

Beyanlar insanların sözüdür; Oloproof kimin neyi ne zaman söylediğini kaydeder ve bunu denetlemez. Bir bulgu, ona bağlı kurallar kadar güçlüdür. Barındırılan bir çalışma alanında aynı bulgular projenin Yönetişim sayfasında görünür.