[FIX]: Return UNDETERMINED when an evaluator cannot observe the evidence it needs - #141

Open

Mahdi Alhakim (mahdi-al-hakim) wants to merge 9 commits into

microsoft:mainfrom

mahdi-al-hakim:fix/observability-aware-evaluators

Commits on Aug 15, 2026

[FIX]: Return UNDETERMINED when an evaluator cannot observe the evidence it needs
Mahdi Alhakim (mahdi-al-hakim)
committed
afe70e2
[FIX]: Evaluate the right operand of & when the left is undetermined
Mahdi Alhakim (mahdi-al-hakim)
committed
153b11d
[TEST]: Apply the _async naming convention to the tests added here
Mahdi Alhakim (mahdi-al-hakim)
committed
63535d4
[FIX]: Keep operand evidence on an undetermined conjunction
Mahdi Alhakim (mahdi-al-hakim)
committed
9e65cb3
[FIX]: Filter the XPIA undetermined summary to undetermined rationales
Mahdi Alhakim (mahdi-al-hakim)
committed
8e2d36e
[DOCS]: Correct the observability wording the declared level made stale
Mahdi Alhakim (mahdi-al-hakim)
committed
bdf30d9
[TEST]: Pin how a blind evaluator composes, and tidy the tests added here
Mahdi Alhakim (mahdi-al-hakim)
committed
afacd6a
[TEST]: Restore the metadata test that a new class had reparented
Mahdi Alhakim (mahdi-al-hakim)
committed
d3d2cdd
[FIX]: Carry the operand rationale through an undetermined disjunction
Mahdi Alhakim (mahdi-al-hakim)
committed
c3e6eea