Skip to content

Probe the Interpreter the Way the Host Contract Declares It #647

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ptr727 merged 2 commits into from
Aug 9, 2026
Merged

Probe the Interpreter the Way the Host Contract Declares It #647

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
0a26cd2
Probe the Interpreter the Way the Host Contract Declares It
ptr727 Aug 9, 2026
9e27e8a
Run the Probe, Since Presence Is What the Stub Satisfies
ptr727 Aug 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 16 additions & 2 deletions .husky/pre-commit
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,15 +23,29 @@ set -e
# The relative paths below would otherwise resolve against whatever directory the caller was in.
cd "$(git rev-parse --show-toplevel)"

# The interpreter is probed in the order spec/host-tools.json declares, rather than named.
# On native Windows the python.org install registers `py` and not `python3`.
# That name resolves to a Microsoft Store alias stub, and Git Bash inherits the Windows PATH.
# Naming python3 here would fail the hook on a correctly set up Windows host.
if command -v python3 >/dev/null 2>&1; then
PY=python3
elif command -v py >/dev/null 2>&1; then
PY="py -3"
else
Comment thread
ptr727 marked this conversation as resolved.
Outdated
echo "pre-commit: no python3 and no py -3 on PATH, so the doc gates did not run." >&2
echo "pre-commit: see docs/host-setup.md 'What a Host Must Provide'." >&2
exit 1
fi

# The prose gate is scoped to what changed against HEAD, which is the policy for prose.
# A rule is applied as a file is next edited rather than swept across the tree.
# Whole-tree costs about 2.2 seconds where the diff-scoped run costs about 0.13.
# The scope is the working tree rather than the index.
# A partially staged file is therefore judged on all of its edits, not only the staged ones.
# CI re-runs the same rules over the whole tree, which is what makes that affordable here.
python3 scripts/prose_lint.py . --diff HEAD
$PY scripts/prose_lint.py . --diff HEAD

# The eol check is repo-wide rather than diff-scoped, and it is here because it is already fast.
# It reads `.gitattributes` against `.editorconfig` for the whole repository and takes no file list.
# At about 0.04 seconds there is nothing to scope, so scoping it would only make it wrong.
python3 scripts/repo_gate.py --check eol
$PY scripts/repo_gate.py --check eol