-
-
Notifications
You must be signed in to change notification settings - Fork 0
fix(ci): the invisible-character gate never matched anything #74
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.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -129,7 +129,7 @@ jobs: | |
| # Checks for: zero-width spaces, zero-width joiners, BOM, soft hyphens, | ||
| # non-breaking spaces, null bytes, and other invisible Unicode in source files. | ||
| set +e | ||
| PATTERNS='\xc2\xa0|\xe2\x80\x8b|\xe2\x80\x8c|\xe2\x80\x8d|\xef\xbb\xbf|\xc2\xad|\xe2\x80\x8e|\xe2\x80\x8f|\xe2\x80\xaa|\xe2\x80\xab|\xe2\x80\xac|\xe2\x80\xad|\xe2\x80\xae|\x00' | ||
| PATTERNS='(*UTF)[\x00-\x08\x0B\x0C\x0E-\x1F\x{a0}\x{ad}\x{200b}-\x{200f}\x{202a}-\x{202f}\x{2060}\x{2066}-\x{2069}\x{feff}]' | ||
| find "$GITHUB_WORKSPACE" \ | ||
| -not -path '*/.git/*' -not -path '*/node_modules/*' \ | ||
| -not -path '*/.deno/*' -not -path '*/target/*' \ | ||
|
|
@@ -140,7 +140,7 @@ jobs: | |
| -o -name '*.yml' -o -name '*.yaml' -o -name '*.md' -o -name '*.adoc' \ | ||
| -o -name '*.idr' -o -name '*.zig' -o -name '*.v' -o -name '*.jl' \ | ||
| -o -name '*.gleam' -o -name '*.hs' -o -name '*.ml' -o -name '*.sh' \) \ | ||
| -exec grep -Prl "$PATTERNS" {} \; > /tmp/empty-lint-results.txt 2>/dev/null | ||
| -exec grep -aPrl "$PATTERNS" {} \; > /tmp/empty-lint-results.txt 2>/dev/null | ||
| EL_EXIT=$? | ||
| set -e | ||
|
|
||
|
|
@@ -149,13 +149,41 @@ jobs: | |
| echo "exit_code=$EL_EXIT" >> "$GITHUB_OUTPUT" | ||
| echo "ready=true" >> "$GITHUB_OUTPUT" | ||
|
|
||
| # Blocking subset: C0 controls and NUL only (owner ruling 2026-08-28). | ||
| # Invisible Unicode (NBSP/BOM/zero-width) stays ADVISORY - about 2,100 | ||
| # estate files carry it as legitimate typography in prose. | ||
| blocking=0 | ||
| while IFS= read -r bf; do | ||
| [ -z "$bf" ] && continue | ||
| if grep -qaP '\x00|[\x01-\x08\x0B\x0C\x0E-\x1F]' "$bf"; then | ||
| blocking=$((blocking+1)) | ||
| echo "::error file=${bf#$GITHUB_WORKSPACE/}::C0 control characters or NUL bytes - file corruption, blocks the gate" | ||
| fi | ||
| done < /tmp/empty-lint-results.txt | ||
| echo "blocking=$blocking" >> "$GITHUB_OUTPUT" | ||
|
|
||
| # Emit annotations for each file with invisible chars | ||
| while IFS= read -r filepath; do | ||
| [ -z "$filepath" ] && continue | ||
| REL_PATH="${filepath#$GITHUB_WORKSPACE/}" | ||
| echo "::warning file=${REL_PATH}::Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)" | ||
| done < /tmp/empty-lint-results.txt | ||
|
|
||
| # Enforce (owner ruling 2026-08-28): C0/NUL corruption BLOCKS; other | ||
| # invisible Unicode stays advisory. Enforcement lives inside this step | ||
| # so a crash above fails the job directly - counts can never arrive | ||
| # empty into a separate check that then passes silently. | ||
| if [ "$EL_EXIT" -ne 0 ]; then | ||
| echo "::warning::invisible-character scan exited $EL_EXIT - results may be incomplete" | ||
| fi | ||
|
Comment on lines
+176
to
+178
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🎯 Functional Correctness | 🟠 Major | ⚡ Quick win 🔎 Supported by static analysis🏁 Script executed: #!/bin/bash
set -eu
printf '%s\n' '--- repository conventions and learnings ---'
find /tmp/coderabbit-repo-knowledge/hyperpolymath-asdf-tool-plugins-85857e9f \
-type f -name '*.md' -print
printf '%s\n' '--- workflow lines 110-190 ---'
sed -n '110,190p' .github/workflows/dogfood-gate.yml
printf '%s\n' '--- relevant workflow references ---'
rg -n -C 4 'EL_EXIT|FINDINGS|blocking|find .*exec|grep' .github/workflows/dogfood-gate.ymlRepository: hyperpolymath/asdf-tool-plugins Length of output: 11297 🌐 Web query:
💡 Result: The GNU find command returns a nonzero exit status if errors occur during its execution [1][2][3]. If all files are processed successfully, it exits with a status of 0 [1][3][4]. Regarding child processes and exit statuses: 1. Executed Commands (-exec... +): If the find command uses the -exec... + variant to run commands, and any of those command invocations return a nonzero exit status, the find command itself will return a nonzero exit status [4]. 2. General Error Handling: The find utility maintains a broad definition of "errors" that lead to a nonzero exit status, such as being unable to stat a file or directory [1][3]. If a nonzero exit status is returned, users are cautioned not to rely on the correctness or completeness of the command's results [1][2][3]. 3. Specific Actions: - The -delete action is explicitly documented to set find's exit status to a nonzero value if the removal fails [1][2][3]. - The -quit action causes find to exit immediately; if no errors have occurred, it exits with a return value of 0 [5][1]. Any command lines built by -exec... + or -execdir... + are invoked before find exits, even if -quit was called [5][1]. Because the exit status description is intentionally broad, a nonzero status serves as a general indicator that an error occurred, but it does not specify which part of the operation failed [1][3]. Citations:
🌐 Web query:
💡 Result: In GNU findutils, the behavior of the -exec command; primary regarding the exit status of the child command is as follows: The -exec command; primary evaluates as true only if the executed command returns an exit status of 0 [1][2]. If the command returns a non-zero exit status, the primary evaluates as false [1][2]. This is distinct from the -exec command {} + variant, which always evaluates as true regardless of the child command's exit status [3][4]. However, for the + variant, if any invocation of the command returns a non-zero exit status, the overall exit status of the find utility itself will be non-zero [3][1][5]. In summary: -exec command;: Evaluates to true if the command succeeds (exit status 0) and false otherwise [1][2]. -exec command {} +: Always evaluates to true, but a failure (non-zero exit status) in the child command will cause the find process to exit with a non-zero status [3][1][5]. Citations:
Fail the job when the scan fails. When 🤖 Prompt for AI Agents |
||
| if [ "${blocking:-0}" -gt 0 ]; then | ||
| echo "## Empty-linter: BLOCKED - $blocking file(s) with C0/NUL corruption" >> "$GITHUB_STEP_SUMMARY" | ||
| echo "::error::$blocking file(s) contain C0 control characters or NUL bytes - corruption, not typography. See file annotations." | ||
| exit 1 | ||
| elif [ "${FINDINGS:-0}" -gt 0 ]; then | ||
| echo "::notice::$FINDINGS file(s) carry invisible Unicode (NBSP/BOM/zero-width) - advisory only" | ||
| fi | ||
|
|
||
| - name: Write summary | ||
| run: | | ||
| if [ "${{ steps.lint.outputs.ready }}" = "true" ]; then | ||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🟡 MEDIUM RISK
Suggestion: Optimize the execution and improve error visibility by using
+instead of\;and removing the redundant-rflag (sincefindprovides individual paths). Most importantly, remove2>/dev/nullso that regex engine failures or system errors are logged in the CI output rather than failing silently.