Repository navigation

Add human sign-off tooling - #6212

Draft

patrl wants to merge 7 commits into

linglib-community:mainfrom

patrl:human-review-status

Draft

Add human sign-off tooling#6212
patrl wants to merge 7 commits into
linglib-community:mainfrom
patrl:human-review-status

Commits on Nov 3, 2026
- feat(checks): add human sign-off tooling
  
  patrl
  and
  Copilot
  committed
  563909c
- style(scripts): wrap long lines in checks.py
  
  patrl
  and
  claude
  committed
  376bf0c
- feat(checks): add the reviewed core and an axiom audit
  
  patrl
  and
  claude
  committed
  b1784b3
- feat(checks): show human checks on the docs pages
  
  patrl
  and
  claude
  committed
  3dd7bd3
- docs(checks): describe the checks line on the docs pages
  
  patrl
  and
  claude
  committed
  6245450
- ci(checks): fail on an invalid check file or a broken claim
  
  patrl
  and
  claude
  committed
  0bbdd4c
- Revert "ci(checks): fail on an invalid check file or a broken claim"
  
  patrl
  and
  claude
  committed
  a629504