compilers

Concrete already reports facts about authority, allocation, recursion, loop boundedness, trust, fingerprints, and proof evidence. The next step is making those facts queryable.

I ran an autoresearch-style loop on a Concrete program. The compiler told an agent where authority, allocation, and proof surface could improve and confirmed when those properties changed. No profiler, no benchmark noise. Your compiler can answer questions instead of saying pass/fail.