Policy decision, generatif modelin niyet yorumundan ayrı deterministik bir kontrol olarak tasarlanır. Önerilen kurallarda varsayılan deny; explicit allow; deny-overrides; scope daraltma; kısa ömürlü istisna ve audit kaydı ilkeleri uygulanır.
Örnek policy DSL
policy_id: agent-finance-transfer-v1
subject: {type: ai_agent, id: procurement-assistant}
action: payment.create
resource: finance://company-42/transfers
conditions:
amount_lte: 100000
recipient_allowlisted: true
user_delegation_required: true
human_approval_required: true
token_ttl_seconds_lte: 900
effect: deny_unless_all_conditions_pass
on_error: fail_closed
audit: {redact_pii: true, immutable: true}Bu YAML yalnızca ürün tasarım gösterimidir; gerçek derleyici/yorumlayıcı sözleşmesi değildir. Özellikle semantik olarak belirsiz alanların tür doğrulaması ve şema sürümlemesi üretimde tanımlanmalıdır.
Politika çatışması ve istisna kuralları
| Kural | Beklenen davranış |
|---|---|
| Deny overrides | Aynı eylem için allow ve deny bulunduğunda deny üstündür. |
| Scope intersection | Delegation, ebeveyn ajan ve kullanıcı yetkisinin kesişimiyle sınırlandırılır. |
| Time-to-live | İstisna ve token süresi bitince otomatik revoke; cache invalidation. |
| Policy snapshot | Her karar uygulanan policy hash/version ile ilişkilendirilir. |
| Dry-run | Yeni policy geçmiş telemetry üzerinde simüle edilir; blokaj etkisi gösterilir. |
| High impact | HITL onay tokenı tek kullanımlık; gerekçe ve onay sahibi bağlanır. |
| Error fallback | Risk sınıfına göre fail-open veya fail-closed; default kritik için closed. |
| Explainability | Karar “neden” alanıyla ve uygulanmış kurallar listesiyle sunulur. |