feat(k9): normative Nickel contract, canonical validator, conformance suite (#1058, D173) - #1143

Merged

hyperpolymath merged 5 commits into

mainfrom

arena/01a10407-standards

Oct 4, 2026

Commits on Oct 4, 2026

feat(k9): normative Nickel contract, canonical validator, conformance suite (#1058, D173)
arena-agent
committed
b256bbe
ci(k9): mirror validator output to the job summary
arena-agent
committed
6a3b9b4
ci(k9): publish the validator verdict as a pull-request comment
arena-agent
committed
40783e8
fix(k9): the contract never typechecked, and the negative controls could not fail
arena-agent
committed
5387bf2
Merge branch 'main' into arena/01a10407-standards
hyperpolymath
authored
b206161