{"id":"iam-access-analyzer-uses-formal-reasoning","text":"IAM Access Analyzer uses logic-based reasoning (automated reasoning / formal methods) to analyze policies, not sampling or heuristics.","truth_value":"IN","source":"entries/2026/03/11/IAM-latest-UserGuide-what-is-access-analyzerhtml.md","source_url":"","source_hash":"c8fbc0fcae81736b","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"iam-access-analyzer-uses-formal-reasoning","truth_value":"IN","reason":"premise"}]}}