How would you describe them?
Extracts every assumption your coding agent made, links each one to the code it justifies, and tells you which ones broke. Stdlib only.
