From 63f47511137a73d2dfe477f8c684b107d4587229 Mon Sep 17 00:00:00 2001 From: Sean Huh Date: Wed, 22 Jul 2026 20:14:29 -0700 Subject: [PATCH] Minor fix to readme.md PiperOrigin-RevId: 952483022 --- verifier/README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/verifier/README.md b/verifier/README.md index bf98643af..c8d838e95 100644 --- a/verifier/README.md +++ b/verifier/README.md @@ -47,17 +47,17 @@ properties about your expressions. counterexample showing the inputs that caused the violation. When checking satisfiability (`isSatisfiable`), it generates concrete variable assignments (satisfying model / witness) showing the inputs that satisfy the condition. -* **Partial Evaluation (Unknowns) Support:** Define variables that are - permitted to evaluate to `Unknown` during verification, mirroring CEL's - runtime partial evaluation. * **Custom Invariants Verification:** Allows policy authors to define safety invariants (e.g., "port must always be secure if external access is allowed") and mathematically prove that the policy never violates them across all possible input states. +* **Partial Evaluation (Unknowns) Support:** Define variables that are + permitted to evaluate to `Unknown` during verification, mirroring CEL's + runtime partial evaluation. ```java CelVerifier verifier = CelVerifierFactory.newVerifier() - .addUnknownIdentifier("request.headers") // Exclude dynamic fields from failure paths + .addUnknownIdentifier("request.headers") // Exclude unknown fields from failure paths .build(); ```