comment on the limitation

maurycy · maurycy · commit b5d08a5218e2 · 2026-07-29T21:29:10.000+02:00
diff --git a/Tools/inspection/oracle_external_inspection.py b/Tools/inspection/oracle_external_inspection.py
@@ -188,6 +188,8 @@ def run_mode(case, mode_name, args):
             result["samples"] += 1
             for unit in iter_units(trace, op):
                 frames = unit[3]
+                # Classifiers recognize selected impossible patterns; False
+                # does not imply that the complete stack is valid.
                 impossible = classify is not None and (
                     classify(unit) if classify_units else classify(frames)
                 )

Original file line number	Diff line number	Diff line change
`@@ -188,6 +188,8 @@ def run_mode(case, mode_name, args):`
`188`	`188`	`result["samples"] += 1`
`189`	`189`	`for unit in iter_units(trace, op):`
`190`	`190`	`frames = unit[3]`
	`191`	`+ # Classifiers recognize selected impossible patterns; False`
	`192`	`+ # does not imply that the complete stack is valid.`
`191`	`193`	`impossible = classify is not None and (`
`192`	`194`	`classify(unit) if classify_units else classify(frames)`
`193`	`195`	`)`