housebroken-cli 0.3.0__tar.gz → 0.4.0__tar.gz

{housebroken_cli-0.3.0 → housebroken_cli-0.4.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: housebroken-cli
-Version: 0.3.0
+Version: 0.4.0
 Summary: Agent-written pull requests that do not make a mess in someone else's house.
 Project-URL: Repository, https://github.com/lenamonj/housebroken
 License-Expression: MIT
@@ -146,6 +146,7 @@ uv tool install git+https://github.com/lenamonj/housebroken
 | `scripts/prior-art.sh` | issues and pull requests on the touched files, type stated, rulings quoted |
 | `scripts/comment-census.sh` | added code versus added comments, per branch |
 | `scripts/diff-defaults.sh` | default arguments and one-line wrappers added to keep call sites untouched |
+| `scripts/claim-check.sh` | every falsifiable claim in a body or a reply, listed to re-derive |
 | `scripts/branch-check.sh` | the branch's mechanical facts: clean tree, file modes, artifacts, absolute claims |
 | `scripts/file-pr.sh` | the only way a pull request gets filed |
 | `scripts/verify-filed-pr.sh` | the filed pull request is what was meant, and CI settled |

{housebroken_cli-0.3.0 → housebroken_cli-0.4.0}/README.md

@@ -134,6 +134,7 @@ uv tool install git+https://github.com/lenamonj/housebroken
 | `scripts/prior-art.sh` | issues and pull requests on the touched files, type stated, rulings quoted |
 | `scripts/comment-census.sh` | added code versus added comments, per branch |
 | `scripts/diff-defaults.sh` | default arguments and one-line wrappers added to keep call sites untouched |
+| `scripts/claim-check.sh` | every falsifiable claim in a body or a reply, listed to re-derive |
 | `scripts/branch-check.sh` | the branch's mechanical facts: clean tree, file modes, artifacts, absolute claims |
 | `scripts/file-pr.sh` | the only way a pull request gets filed |
 | `scripts/verify-filed-pr.sh` | the filed pull request is what was meant, and CI settled |

{housebroken_cli-0.3.0 → housebroken_cli-0.4.0}/bin/housebroken

@@ -48,6 +48,7 @@ usage: housebroken <subcommand> [args...]
   1  outside     count outside contributors merged in the last 120 days
   2  prior-art   issues and pull requests on the touched files, rulings quoted
   6  census      added code lines against added comment lines, per branch
+  6  claims      every falsifiable claim in outbound text, listed to re-derive
   9  branch      the mechanical facts about the branch: tree, modes, artifacts, claims
   9  file        the only way a pull request gets filed
  10  verify      the filed pull request is what was meant, and CI settled
@@ -90,6 +91,7 @@ case "$cmd" in
   outside)   script=distinct-outside.sh ;;
   prior-art) script=prior-art.sh ;;
   census)    script=comment-census.sh ;;
+  claims)    script=claim-check.sh ;;
   branch)    script=branch-check.sh ;;
   file)      script=file-pr.sh ;;
   verify)    script=verify-filed-pr.sh ;;

{housebroken_cli-0.3.0 → housebroken_cli-0.4.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "housebroken-cli"
-version = "0.3.0"
+version = "0.4.0"
 description = "Agent-written pull requests that do not make a mess in someone else's house."
 dynamic = ["readme"]
 license = "MIT"

housebroken_cli-0.4.0/scripts/claim-check.sh

@@ -0,0 +1,67 @@
+#!/bin/bash
+# claim-check.sh - lists every claim in outbound text that a maintainer can
+# falsify, so each one gets re-derived before it is sent.
+#
+# On microsoft/GSL #1272 a reply draft said "The five new static_asserts fail on
+# main." A reviewer falsified it in one pass. The number had come from a red arm
+# that grepped only for `static assertion failed`, so it counted five matches
+# and never saw the twenty-one other errors beside them; and against the commit
+# a maintainer would actually revert to, only four of the five fail. The
+# sentence named a basis and was still wrong about it.
+#
+# So this does not try to judge a claim. Text checks cannot: the bad sentence
+# named its revision and read perfectly. It lists them, and the rule in step 6
+# is that every listed line is re-measured, at the moment of writing, against
+# the exact revision the sentence names. The gap this closes is that until now
+# every gate here read code and nothing read the prose, while the prose is what
+# the maintainer reads first.
+#
+# Usage:
+#   bash claim-check.sh FILE
+#   bash claim-check.sh --help
+#
+# Exits 1 when it finds claims to re-derive, 0 when it finds none, 2 on a usage
+# error. Exit 1 is not a refusal to send; it is a refusal to send unread.
+set -u
+
+usage() { awk 'NR>1 && /^#/ {sub(/^# ?/, ""); print; next} NR>1 {exit}' "$0"; }
+
+case "${1:-}" in
+  --help|-h) usage; exit 0 ;;
+  "") echo "REFUSED: name the file holding the text" >&2; exit 2 ;;
+esac
+file="$1"
+[ -f "$file" ] || { echo "REFUSED: $file does not exist" >&2; exit 2; }
+
+# Strip fenced code and quoted logs: a number inside pasted output is evidence,
+# not a claim being made.
+body=$(awk '/^```/ {fence = !fence; next} !fence && !/^ *[|>]/ {print NR": "$0}' "$file")
+
+quantified=$(printf '%s
+' "$body" | grep -nEi '[0-9]+ *(of|/) *[0-9]+|\b([0-9]+|one|two|three|four|five|six|seven|eight|nine|ten|no) +([a-z_-]+ +){0,3}(tests?|assertions?|static_asserts?|checks?|errors?|failures?|jobs?|files?|warnings?|projects?|commits?|suites?)\b' | cut -d: -f2-)
+
+absolute=$(printf '%s\n' "$body" | grep -nEi \
+  '\b(only|exactly|always|never|every|all|none|nothing|everything|guaranteed|any)\b' \
+  | cut -d: -f2-)
+
+found=0
+if [ -n "$quantified" ]; then
+  found=1
+  echo "COUNTED: re-derive each, against the revision the sentence names, now:"
+  printf '%s\n' "$quantified" | sed 's/^/    /'
+fi
+if [ -n "$absolute" ]; then
+  found=1
+  echo "ABSOLUTE: falsify each against the code, not against your memory of it:"
+  printf '%s\n' "$absolute" | sed 's/^/    /'
+fi
+
+if [ "$found" -eq 0 ]; then
+  echo "claim-check: no falsifiable claim found in $file"
+  exit 0
+fi
+echo
+echo "claim-check: $file makes claims a maintainer can check. Re-measure each"
+echo "one before sending. A sentence that names its revision can still be wrong"
+echo "about it; that is the failure this exists for."
+exit 1

{housebroken_cli-0.3.0 → housebroken_cli-0.4.0}/skills/housebroken/SKILL.md

@@ -118,7 +118,11 @@ report it in one line and do not proceed to the next step.
    you reproduced on the fresh clone in this session, never a line carried
    from a journal. No tool footer, no session link, no
    co-author trailer, no typographic dashes. When a template asks whether AI
-   was used, answer in one truthful sentence.
+   was used, answer in one truthful sentence. Run `housebroken claims` over
+   the body and re-measure every line it lists, now, against the exact
+   revision that sentence names. A claim that names its revision can still
+   be wrong about it, which is why the listing is the whole gate: the
+   re-derivation is yours to do.
 
 7. **Know the paperwork.**
    Before the first pull request to an organization, find its agreement: CLA,
@@ -157,7 +161,9 @@ report it in one line and do not proceed to the next step.
     on every open pull request. A list of who commented is not a read, and a
     conversion to draft is a review. Act on every human item, then run
     `housebroken inbox --ack`. Answer every maintainer comment the same day,
-    in the user's voice. Rework what is asked for as a second commit so the reviewer sees
+    in the user's voice, and run `housebroken claims` over the reply before
+    it is posted: the only claim that has gone out wrong here was in a
+    reply, not a body. Rework what is asked for as a second commit so the reviewer sees
     the change. When the maintainer is
     right, concede in one sentence and let them close it. Never nudge a
     silent maintainer without the user's explicit word. After answering a