Verified knowledge infrastructure for agent-native research teams.