Coverage-driven alignment—What ‘Teaching Claude Why’ can borrow from AV verification by Yoav Hollander

:root, body.force-light-mode { --user-color-FFFFFFFF: #FFFFFFFF; } @media (prefers-color-scheme: dark) { :root { --user-color-FFFFFFFF: #000000FF; } } body.force-dark-mode { --user-color-FFFFFFFF: #000000FF; } Cross-posted from The Foretel­lix CTO Blog. Also on LessWrong.Epistemic sta­tus: A method­ol­ogy im­port ar­gu­ment, not a re­sult. I’m fairly con­fi­dent that cov­er­age-driven ver­ifi­ca­tion (CDV), bor­rowed from au­tonomous-ve­hi­cle de­vel­op­ment, has trans­fer­able struc­ture for al...