Harden irrevocull judgment contract and repository precondition

irrevocull.sh

@@ -1,18 +1,30 @@
 #!/bin/sh
-# IRREVOCULL v0.0.0
+# IRREVOCULL v0.1.0
 # Irreversible Judgment Utility
 # Judgment only. No execution. No mitigation. No appeal.
 
 set -eu
 
-# Read stdin (verbatim)
+# --- Preconditions ---------------------------------------------------------
+
+git rev-parse --is-inside-work-tree >/dev/null 2>&1 || {
+  printf '%s\n' "IRREVOCULL: not a git repository" >&2
+  exit 2
+}
+
+# --- Input -----------------------------------------------------------------
+
 INPUT="$(cat)"
 
-# Rule 0 — Silence is invalid
-[ -z "$INPUT" ] && { printf '%s\n' "INVALID"; exit 2; }
+[ -z "$INPUT" ] && {
+  printf '%s\n' "DENIED"
+  exit 1
+}
 
 TEXT="$(printf '%s' "$INPUT")"
 
+# --- Judgment Rules --------------------------------------------------------
+
 # Rule 1 — Incompleteness is terminal
 printf '%s' "$TEXT" | grep -Eiq \
   '(^|[^a-z])(todo|tbd|fixme|wip|partial|incomplete|later|edge case|skipped|hack)([^a-z]|$)' \
@@ -21,24 +33,24 @@ printf '%s' "$TEXT" | grep -Eiq \
 # Rule 2 — Uncertainty voids judgment
 printf '%s' "$TEXT" | grep -Eiq \
   '(^|[^a-z])(maybe|might|could|should|approx|guess|try|attempt|assume|probably)([^a-z]|$)' \
-  && { printf '%s\n' "INVALID"; exit 2; }
+  && { printf '%s\n' "DENIED"; exit 1; }
 
 # Rule 3 — Questions indicate misalignment
 printf '%s' "$TEXT" | grep -Eq '\?' \
-  && { printf '%s\n' "INVALID"; exit 2; }
+  && { printf '%s\n' "DENIED"; exit 1; }
 
 # Rule 4 — Over-explanation signals lack of conviction
 LINES="$(printf '%s' "$TEXT" | wc -l | tr -d ' ')"
-[ "$LINES" -gt 300 ] && { printf '%s\n' "INVALID"; exit 2; }
+[ "$LINES" -gt 300 ] && { printf '%s\n' "DENIED"; exit 1; }
 
 # Rule 5 — Excessive qualification density
 WORDS="$(printf '%s' "$TEXT" | wc -w | tr -d ' ')"
 QUALS="$(printf '%s' "$TEXT" | grep -Eio \
   '(however|but|although|generally|typically|in most cases)' | wc -l | tr -d ' ')"
 
 [ "$WORDS" -gt 0 ] && [ "$QUALS" -gt $((WORDS / 100)) ] && {
-  printf '%s\n' "INVALID"
-  exit 2
+  printf '%s\n' "DENIED"
+  exit 1
 }
 
 printf '%s\n' "PASS"