1.6 Nagini

Nagini

GitHub shows this file for the folder. The verified note is 01.06.01-advance.

Nagini checks column on a frozen Span. The proof does not call Lark and does not override a dunder. The Nix JDK is not registered with java_home, so the run needs JAVA_HOME pointed at the Zulu 21 home.