Skip to content
Merged
Changes from all commits
Commits
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
13 changes: 13 additions & 0 deletions tools/established.py
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,19 @@
the refusal can say what was missing.
"""

# NOT-EXECUTABLE: a module. tools/README.md: not an instrument — it is imported, never
# run. No __main__, no argv surface, so `--self-test` cannot reach a control here and
# `--zzz-not-a-flag` cannot be refused: this file never reads argv at all.
#
# ⇒ Before this line the gate scored it UNVERIFIABLE — "it accepts `--zzz-not-a-flag`
# and exits 0" — which is TRUE and describes a module, not a defective argument surface.
# Measured 2026-09-06.
#
# ⚠ ITS USER IS INVISIBLE TO AN IMPORT SCAN. tools/job-log.py loads this file with
# types.ModuleType + exec (job-log.py:71-75), not `import established`, so an AST sweep
# over ast.Import/ast.ImportFrom reports ZERO importers for a module that is in use.
# ⇒ Do not conclude from an import census that this file is dead. It is not.


class NotEstablished:
"""A refused reading. Falsy, so `if result:` cannot mistake it for a value.
Expand Down
Loading