Examples for Partial Evaluation post on blog.openpolicyagent.org

risk

allow {
	risk_score = (input.num_deletes * 10) + input.num_adds
	risk_score < risk_limit[input.user.title]
}

simple search

package smart_home.authz

default allow = false

allow = true {
	op = allowed_operations[_]
	input.method = op.method
	input.resource = op.resource
}

allowed_operations = [
	{“method”: “PUT”, “resource”: “air-conditioner”},
	{“method”: “GET”, “resource”: “security-camera”},
	{“method”: “POST”, “resource”: “garage-door”},
]

unrolled

default allow = false

allow {
	input.method = “PUT”
	input.resource = “air-conditioner”
}

allow {
	input.method = “GET”
	input.resource = “security-camera”
}

allow {
	input.method = “POST”
	input.resource = “garage-door”
}