01
The finding
Eight bounded prototype cycles corrected or superseded earlier assumptions. Automated auditing found measurable implementation defects that repeated close reading had missed. Structured review found a separate failure in the meaning of an interface that the automation did not report.
02
The practice
- Use both lenses. Automated rules and semantic review address different problem classes.
- Make consequential state visible. Evidence, uncertainty, reversibility, and human control must be visible when they affect a decision.
- Keep corrections legible. A later cycle can amend or supersede an earlier conclusion without pretending the earlier work never happened.
- Do not overclaim. A clean automated run is evidence about the rules it exercised—not proof of an accessible or trustworthy experience.