@codyswann/lisa 2.342.5 → 2.342.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/all/copy-overwrite/scripts/lisa-hooks/block-no-verify.sh +35 -1
- package/dist/codex/scripts/block-no-verify.sh +24 -1
- package/dist/core/upstream-evidence-manifest.js +9 -9
- package/package.json +1 -1
- package/plugins/lisa/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa/hooks/block-no-verify.agy.sh +24 -1
- package/plugins/lisa/hooks/block-no-verify.sh +35 -1
- package/plugins/lisa/hooks/threshold-ratchet-compare.mjs +23 -0
- package/plugins/lisa/hooks/threshold-ratchet.mjs +24 -0
- package/plugins/lisa-agy/hooks/block-no-verify.agy.sh +24 -1
- package/plugins/lisa-agy/plugin.json +1 -1
- package/plugins/lisa-cdk/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-cdk/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-cdk-agy/plugin.json +1 -1
- package/plugins/lisa-cdk-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-cdk-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-copilot/hooks/block-no-verify.sh +35 -1
- package/plugins/lisa-copilot/hooks/threshold-ratchet-compare.mjs +23 -0
- package/plugins/lisa-copilot/hooks/threshold-ratchet.mjs +24 -0
- package/plugins/lisa-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-cursor/hooks/block-no-verify.sh +35 -1
- package/plugins/lisa-cursor/hooks/threshold-ratchet-compare.mjs +23 -0
- package/plugins/lisa-cursor/hooks/threshold-ratchet.mjs +24 -0
- package/plugins/lisa-expo/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-expo/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-expo-agy/plugin.json +1 -1
- package/plugins/lisa-expo-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-expo-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-harper-fabric/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-harper-fabric/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-harper-fabric-agy/plugin.json +1 -1
- package/plugins/lisa-harper-fabric-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-harper-fabric-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-nestjs/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-nestjs/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-nestjs-agy/plugin.json +1 -1
- package/plugins/lisa-nestjs-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-nestjs-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-openclaw/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-openclaw/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-openclaw-agy/plugin.json +1 -1
- package/plugins/lisa-openclaw-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-openclaw-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-phaser/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-phaser/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-phaser-agy/plugin.json +1 -1
- package/plugins/lisa-phaser-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-phaser-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-rails/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-rails/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-rails-agy/plugin.json +1 -1
- package/plugins/lisa-rails-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-rails-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-typescript/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-typescript/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-typescript-agy/plugin.json +1 -1
- package/plugins/lisa-typescript-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-typescript-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-wiki/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-wiki/.codex-plugin/plugin.json +1 -1
- package/plugins/lisa-wiki-agy/plugin.json +1 -1
- package/plugins/lisa-wiki-copilot/.claude-plugin/plugin.json +1 -1
- package/plugins/lisa-wiki-cursor/.claude-plugin/plugin.json +1 -1
- package/plugins/src/base/hooks/block-no-verify.agy.sh +24 -1
- package/plugins/src/base/hooks/block-no-verify.sh +35 -1
- package/plugins/src/base/hooks/threshold-ratchet-compare.mjs +23 -0
- package/plugins/src/base/hooks/threshold-ratchet.mjs +24 -0
- package/rails/copy-overwrite/scripts/check-threshold-ratchet.mjs +24 -0
- package/rails/copy-overwrite/scripts/threshold-ratchet-compare.mjs +23 -0
- package/typescript/copy-overwrite/scripts/check-threshold-ratchet.mjs +24 -0
- package/typescript/copy-overwrite/scripts/threshold-ratchet-compare.mjs +23 -0
|
@@ -118,8 +118,42 @@ def is_permitted_hooks_path(value):
|
|
|
118
118
|
cleaned = cleaned[2:]
|
|
119
119
|
return cleaned.rstrip("/") in PERMITTED_HOOKS_PATHS
|
|
120
120
|
|
|
121
|
+
|
|
122
|
+
# Git resolves any UNAMBIGUOUS abbreviation of a long option, so `--no-verify`
|
|
123
|
+
# is only the longest of the spellings that disable verification: `git commit
|
|
124
|
+
# --no-veri` skips hooks exactly as completely. An equality check therefore
|
|
125
|
+
# enforced the guard against the one spelling nobody in a hurry types.
|
|
126
|
+
#
|
|
127
|
+
# Matched as "a prefix of --no-verify" rather than by listing abbreviations,
|
|
128
|
+
# because the set of accepted abbreviations is a property of git's parser and
|
|
129
|
+
# changes with the surrounding options. `--no-verbose` is NOT caught, and must
|
|
130
|
+
# not be: it diverges from `--no-verify` at the character after `--no-ver`, so
|
|
131
|
+
# it fails the prefix test.
|
|
132
|
+
#
|
|
133
|
+
# The floor is `--no-v`. Shorter is refused anyway — bare `--no-` is not a flag
|
|
134
|
+
# — and blocking an abbreviation git would reject as ambiguous costs nothing,
|
|
135
|
+
# while missing one git accepts costs the whole guard.
|
|
136
|
+
NO_VERIFY = "--no-verify"
|
|
137
|
+
NO_VERIFY_MIN_PREFIX = len("--no-v")
|
|
138
|
+
|
|
139
|
+
|
|
140
|
+
def disables_verification(token):
|
|
141
|
+
"""Whether a token is `--no-verify` or an abbreviation git would accept.
|
|
142
|
+
|
|
143
|
+
Args:
|
|
144
|
+
token: A single shell token from the command line.
|
|
145
|
+
|
|
146
|
+
Returns:
|
|
147
|
+
True if git would read this token as --no-verify.
|
|
148
|
+
"""
|
|
149
|
+
return (
|
|
150
|
+
len(token) >= NO_VERIFY_MIN_PREFIX
|
|
151
|
+
and len(token) <= len(NO_VERIFY)
|
|
152
|
+
and NO_VERIFY.startswith(token)
|
|
153
|
+
)
|
|
154
|
+
|
|
121
155
|
for i, token in enumerate(normalized_tokens):
|
|
122
|
-
if token
|
|
156
|
+
if disables_verification(token):
|
|
123
157
|
sys.exit(1)
|
|
124
158
|
if token == "HUSKY=0" or token.startswith("HUSKY_SKIP_HOOKS="):
|
|
125
159
|
sys.exit(1)
|
|
@@ -62,8 +62,31 @@ except ValueError:
|
|
|
62
62
|
|
|
63
63
|
normalized_tokens = [token.strip("();|&") for token in tokens]
|
|
64
64
|
|
|
65
|
+
# Git resolves any UNAMBIGUOUS abbreviation of a long option, so `--no-veri`
|
|
66
|
+
# skips hooks exactly as completely as `--no-verify`. Matched as a prefix
|
|
67
|
+
# rather than by listing abbreviations; `--no-verbose` diverges after
|
|
68
|
+
# `--no-ver` and so is correctly not caught.
|
|
69
|
+
NO_VERIFY = "--no-verify"
|
|
70
|
+
NO_VERIFY_MIN_PREFIX = len("--no-v")
|
|
71
|
+
|
|
72
|
+
|
|
73
|
+
def disables_verification(token):
|
|
74
|
+
"""Whether a token is `--no-verify` or an abbreviation git would accept.
|
|
75
|
+
|
|
76
|
+
Args:
|
|
77
|
+
token: A single shell token from the command line.
|
|
78
|
+
|
|
79
|
+
Returns:
|
|
80
|
+
True if git would read this token as --no-verify.
|
|
81
|
+
"""
|
|
82
|
+
return (
|
|
83
|
+
len(token) >= NO_VERIFY_MIN_PREFIX
|
|
84
|
+
and len(token) <= len(NO_VERIFY)
|
|
85
|
+
and NO_VERIFY.startswith(token)
|
|
86
|
+
)
|
|
87
|
+
|
|
65
88
|
for i, token in enumerate(normalized_tokens):
|
|
66
|
-
if token
|
|
89
|
+
if disables_verification(token):
|
|
67
90
|
sys.exit(1)
|
|
68
91
|
if token == "HUSKY=0" or token.startswith("HUSKY_SKIP_HOOKS="):
|
|
69
92
|
sys.exit(1)
|
|
@@ -6,7 +6,7 @@ export const UPSTREAM_EVIDENCE_MANIFEST = Object.freeze({
|
|
|
6
6
|
"all/copy-overwrite/scripts/lisa-enforcement-fallback.sh": "1bec5f3c284b3febdc471487ee6a23ffb72bd4e7b293f9e26b0188f32318c722",
|
|
7
7
|
"all/copy-overwrite/scripts/lisa-floor-collisions.mjs": "3c7a0234b4f5609fce49e44711d2ec86af8cf7fb82b0831e4450e3347ecefe45",
|
|
8
8
|
"all/copy-overwrite/scripts/lisa-hooks/block-instruction-file-edits.sh": "850cfc23852eb752114ae1e938a1c7bcf34bc50c85d3aaca0c02311cc8c0ef70",
|
|
9
|
-
"all/copy-overwrite/scripts/lisa-hooks/block-no-verify.sh": "
|
|
9
|
+
"all/copy-overwrite/scripts/lisa-hooks/block-no-verify.sh": "031ef7a53fc49cb18665105b834b7b50ad6a43317e0821949809e877e0562ce4",
|
|
10
10
|
"all/copy-overwrite/scripts/lisa-hooks/block-shell-json-parsing.sh": "1934a15e154fda3c2a40979a5cd6225661b14fe7bc77328a69ce499bea85dba7",
|
|
11
11
|
"all/copy-overwrite/scripts/lisa-hooks/parity-safety-net.sh": "d9ea58150aa27e7f0aa9a4ef155ed446d30bdfc932d01c64e2b8ca211aa0de7b",
|
|
12
12
|
"all/copy-overwrite/scripts/lisa-hooks/sonar-secrets.sh": "bf4132e49ba18e2f7e941520c299c15aeeacfd220e489f3d2eb8397f2048157b",
|
|
@@ -297,8 +297,8 @@ export const UPSTREAM_EVIDENCE_MANIFEST = Object.freeze({
|
|
|
297
297
|
"plugins/src/base/commands/wiki/install.md": "51392cf053c17edd549bfbaba5d19ce669dc79021aafa7cfa100324ad38de11f",
|
|
298
298
|
"plugins/src/base/hooks/block-instruction-file-edits.agy.sh": "aa249cae53caeb3e0fb6d6af114e2756084f45a2896332fb063a9f20e4902125",
|
|
299
299
|
"plugins/src/base/hooks/block-instruction-file-edits.sh": "850cfc23852eb752114ae1e938a1c7bcf34bc50c85d3aaca0c02311cc8c0ef70",
|
|
300
|
-
"plugins/src/base/hooks/block-no-verify.agy.sh": "
|
|
301
|
-
"plugins/src/base/hooks/block-no-verify.sh": "
|
|
300
|
+
"plugins/src/base/hooks/block-no-verify.agy.sh": "c549f1dadd6ac3fab72c0b670524445a08bee732a05b868954a438970d4d5bcc",
|
|
301
|
+
"plugins/src/base/hooks/block-no-verify.sh": "031ef7a53fc49cb18665105b834b7b50ad6a43317e0821949809e877e0562ce4",
|
|
302
302
|
"plugins/src/base/hooks/block-shell-json-parsing.agy.sh": "dc688efe382e7b8fe6f6c88bb0fde851527128cae778599559f23a93f1c9ec86",
|
|
303
303
|
"plugins/src/base/hooks/block-shell-json-parsing.sh": "1934a15e154fda3c2a40979a5cd6225661b14fe7bc77328a69ce499bea85dba7",
|
|
304
304
|
"plugins/src/base/hooks/cleanup-stale-worktrees.sh": "c9b2fcca1b34d6f636b5289ece11b254cbb8ee2c2bac5c2e426b6f4dcfa972f2",
|
|
@@ -314,9 +314,9 @@ export const UPSTREAM_EVIDENCE_MANIFEST = Object.freeze({
|
|
|
314
314
|
"plugins/src/base/hooks/setup-jira-cli.sh": "a675f6b17ce7f0d6b9fb7daeba6d2bc59bcb48ef79b034076ea73b2b1e72ee09",
|
|
315
315
|
"plugins/src/base/hooks/shell-write-nudge.sh": "69839af423f8792b1e52c71097316c3264425553031627c0a2f9409a9d5becd0",
|
|
316
316
|
"plugins/src/base/hooks/sonar-secrets.sh": "bf4132e49ba18e2f7e941520c299c15aeeacfd220e489f3d2eb8397f2048157b",
|
|
317
|
-
"plugins/src/base/hooks/threshold-ratchet-compare.mjs": "
|
|
317
|
+
"plugins/src/base/hooks/threshold-ratchet-compare.mjs": "90affbeaed0d65c032dccfc0bd4a4b26eda291f6b61aa8b12599f41842452e0a",
|
|
318
318
|
"plugins/src/base/hooks/threshold-ratchet-families.mjs": "db14245ed89b483912af287bdee917a7a921dc21bb29b49be37fc799c05c413f",
|
|
319
|
-
"plugins/src/base/hooks/threshold-ratchet.mjs": "
|
|
319
|
+
"plugins/src/base/hooks/threshold-ratchet.mjs": "e1e3f22b33267212b90f915f83821559d1a45cab5b16c7164b86bd6c7b53549b",
|
|
320
320
|
"plugins/src/base/hooks/threshold-ratchet.sh": "b86f4d0b554e44fd119ad8a8920cd0ba6c9dbe779f7ee219d381cf0629453990",
|
|
321
321
|
"plugins/src/base/hooks/ticket-sync-reminder.sh": "212f80bcdfd9e3ec2254987c5a7186d1d2d38065b330ddcdc631f76df7c4a6c0",
|
|
322
322
|
"plugins/src/base/hooks/track-plan-sessions.sh": "8bc47dcad3aed628df0c9efbe7b6f3df87635b94b0c54c71e0bd52eceace563a",
|
|
@@ -947,9 +947,9 @@ export const UPSTREAM_EVIDENCE_MANIFEST = Object.freeze({
|
|
|
947
947
|
"rails/copy-overwrite/ast-grep/utils/.gitkeep": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
|
|
948
948
|
"rails/copy-overwrite/config/initializers/version.rb": "fa664a84f407877b5ddbd3709a2352b30e4dc6fbce538a8503bad6c52448dc86",
|
|
949
949
|
"rails/copy-overwrite/lefthook.yml": "28bb382b9171a04fb92ebafc1f1522b8639f5edc4fcffcc6940e7fba3460fb4e",
|
|
950
|
-
"rails/copy-overwrite/scripts/check-threshold-ratchet.mjs": "
|
|
950
|
+
"rails/copy-overwrite/scripts/check-threshold-ratchet.mjs": "e1e3f22b33267212b90f915f83821559d1a45cab5b16c7164b86bd6c7b53549b",
|
|
951
951
|
"rails/copy-overwrite/scripts/lisa-clean-git-env.sh": "e7121a0ee9e1bf7c01cd2ab55f563dd6d9ab75990739bb6ddf571a513efa10e9",
|
|
952
|
-
"rails/copy-overwrite/scripts/threshold-ratchet-compare.mjs": "
|
|
952
|
+
"rails/copy-overwrite/scripts/threshold-ratchet-compare.mjs": "90affbeaed0d65c032dccfc0bd4a4b26eda291f6b61aa8b12599f41842452e0a",
|
|
953
953
|
"rails/copy-overwrite/scripts/threshold-ratchet-families.mjs": "db14245ed89b483912af287bdee917a7a921dc21bb29b49be37fc799c05c413f",
|
|
954
954
|
"rails/copy-overwrite/sgconfig.yml": "0ffe058c791d4d323f98104cf78c763bb0356d88739042060ceb86b6b1cb78d7",
|
|
955
955
|
"rails/create-only/.github/workflows/ci.yml": "ad53014bdd6cf15bfadfaef7740b6094c3c7bd044f9d176c4938154da983529d",
|
|
@@ -1070,10 +1070,10 @@ export const UPSTREAM_EVIDENCE_MANIFEST = Object.freeze({
|
|
|
1070
1070
|
"typescript/copy-overwrite/eslint.ignore.config.json": "04dcd754829cf93bf0ba0d76e4031d28cb7149afa658575d02bb13bf73f7880e",
|
|
1071
1071
|
"typescript/copy-overwrite/eslint.slow.config.ts": "f66d04381940936544931d7f20ffd4e43c38b8a907d56ffa101e2236371d8c94",
|
|
1072
1072
|
"typescript/copy-overwrite/knip.json": "6eb93d705a2d645332fbae1dd42cf2d48f85978ebc265451a53790912f277d12",
|
|
1073
|
-
"typescript/copy-overwrite/scripts/check-threshold-ratchet.mjs": "
|
|
1073
|
+
"typescript/copy-overwrite/scripts/check-threshold-ratchet.mjs": "e1e3f22b33267212b90f915f83821559d1a45cab5b16c7164b86bd6c7b53549b",
|
|
1074
1074
|
"typescript/copy-overwrite/scripts/check-verification-coverage.mjs": "3c1d27d0668fc66a18cb014f2b607878f0a88c178a773fbe964b8e46b19e86d6",
|
|
1075
1075
|
"typescript/copy-overwrite/scripts/lisa-mutation.mjs": "7d8d24dea151ef2178807046e97aea7ebfadd9c88eb50347feb7bb4bb190227d",
|
|
1076
|
-
"typescript/copy-overwrite/scripts/threshold-ratchet-compare.mjs": "
|
|
1076
|
+
"typescript/copy-overwrite/scripts/threshold-ratchet-compare.mjs": "90affbeaed0d65c032dccfc0bd4a4b26eda291f6b61aa8b12599f41842452e0a",
|
|
1077
1077
|
"typescript/copy-overwrite/scripts/threshold-ratchet-families.mjs": "db14245ed89b483912af287bdee917a7a921dc21bb29b49be37fc799c05c413f",
|
|
1078
1078
|
"typescript/copy-overwrite/sgconfig.yml": "0ffe058c791d4d323f98104cf78c763bb0356d88739042060ceb86b6b1cb78d7",
|
|
1079
1079
|
"typescript/copy-overwrite/tsconfig.eslint.json": "8a8ae5e201b18887b8eeda5eb569747221695524d4193ea03b4338b97b7fa642",
|
package/package.json
CHANGED
|
@@ -120,7 +120,7 @@
|
|
|
120
120
|
}
|
|
121
121
|
},
|
|
122
122
|
"name": "@codyswann/lisa",
|
|
123
|
-
"version": "2.342.
|
|
123
|
+
"version": "2.342.7",
|
|
124
124
|
"description": "Claude Code governance framework that applies guardrails, guidance, and automated enforcement to projects",
|
|
125
125
|
"main": "dist/index.js",
|
|
126
126
|
"exports": {
|
|
@@ -79,8 +79,31 @@ except ValueError:
|
|
|
79
79
|
|
|
80
80
|
normalized_tokens = [token.strip("();|&") for token in tokens]
|
|
81
81
|
|
|
82
|
+
# Git resolves any UNAMBIGUOUS abbreviation of a long option, so `--no-veri`
|
|
83
|
+
# skips hooks exactly as completely as `--no-verify`. Matched as a prefix
|
|
84
|
+
# rather than by listing abbreviations; `--no-verbose` diverges after
|
|
85
|
+
# `--no-ver` and so is correctly not caught.
|
|
86
|
+
NO_VERIFY = "--no-verify"
|
|
87
|
+
NO_VERIFY_MIN_PREFIX = len("--no-v")
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
def disables_verification(token):
|
|
91
|
+
"""Whether a token is `--no-verify` or an abbreviation git would accept.
|
|
92
|
+
|
|
93
|
+
Args:
|
|
94
|
+
token: A single shell token from the command line.
|
|
95
|
+
|
|
96
|
+
Returns:
|
|
97
|
+
True if git would read this token as --no-verify.
|
|
98
|
+
"""
|
|
99
|
+
return (
|
|
100
|
+
len(token) >= NO_VERIFY_MIN_PREFIX
|
|
101
|
+
and len(token) <= len(NO_VERIFY)
|
|
102
|
+
and NO_VERIFY.startswith(token)
|
|
103
|
+
)
|
|
104
|
+
|
|
82
105
|
for i, token in enumerate(normalized_tokens):
|
|
83
|
-
if token
|
|
106
|
+
if disables_verification(token):
|
|
84
107
|
sys.exit(1)
|
|
85
108
|
if token == "HUSKY=0" or token.startswith("HUSKY_SKIP_HOOKS="):
|
|
86
109
|
sys.exit(1)
|
|
@@ -118,8 +118,42 @@ def is_permitted_hooks_path(value):
|
|
|
118
118
|
cleaned = cleaned[2:]
|
|
119
119
|
return cleaned.rstrip("/") in PERMITTED_HOOKS_PATHS
|
|
120
120
|
|
|
121
|
+
|
|
122
|
+
# Git resolves any UNAMBIGUOUS abbreviation of a long option, so `--no-verify`
|
|
123
|
+
# is only the longest of the spellings that disable verification: `git commit
|
|
124
|
+
# --no-veri` skips hooks exactly as completely. An equality check therefore
|
|
125
|
+
# enforced the guard against the one spelling nobody in a hurry types.
|
|
126
|
+
#
|
|
127
|
+
# Matched as "a prefix of --no-verify" rather than by listing abbreviations,
|
|
128
|
+
# because the set of accepted abbreviations is a property of git's parser and
|
|
129
|
+
# changes with the surrounding options. `--no-verbose` is NOT caught, and must
|
|
130
|
+
# not be: it diverges from `--no-verify` at the character after `--no-ver`, so
|
|
131
|
+
# it fails the prefix test.
|
|
132
|
+
#
|
|
133
|
+
# The floor is `--no-v`. Shorter is refused anyway — bare `--no-` is not a flag
|
|
134
|
+
# — and blocking an abbreviation git would reject as ambiguous costs nothing,
|
|
135
|
+
# while missing one git accepts costs the whole guard.
|
|
136
|
+
NO_VERIFY = "--no-verify"
|
|
137
|
+
NO_VERIFY_MIN_PREFIX = len("--no-v")
|
|
138
|
+
|
|
139
|
+
|
|
140
|
+
def disables_verification(token):
|
|
141
|
+
"""Whether a token is `--no-verify` or an abbreviation git would accept.
|
|
142
|
+
|
|
143
|
+
Args:
|
|
144
|
+
token: A single shell token from the command line.
|
|
145
|
+
|
|
146
|
+
Returns:
|
|
147
|
+
True if git would read this token as --no-verify.
|
|
148
|
+
"""
|
|
149
|
+
return (
|
|
150
|
+
len(token) >= NO_VERIFY_MIN_PREFIX
|
|
151
|
+
and len(token) <= len(NO_VERIFY)
|
|
152
|
+
and NO_VERIFY.startswith(token)
|
|
153
|
+
)
|
|
154
|
+
|
|
121
155
|
for i, token in enumerate(normalized_tokens):
|
|
122
|
-
if token
|
|
156
|
+
if disables_verification(token):
|
|
123
157
|
sys.exit(1)
|
|
124
158
|
if token == "HUSKY=0" or token.startswith("HUSKY_SKIP_HOOKS="):
|
|
125
159
|
sys.exit(1)
|
|
@@ -72,6 +72,29 @@ export function compareConstraints(relPath, base, current) {
|
|
|
72
72
|
});
|
|
73
73
|
continue;
|
|
74
74
|
}
|
|
75
|
+
// A bound's DIRECTION carries as much of the gate as its number. Flipping
|
|
76
|
+
// `rate>=0.99` to `rate<=0.99` keeps the key and the value and inverts the
|
|
77
|
+
// meaning: "at least 99% success" becomes "at most 99% success", a gate
|
|
78
|
+
// that now passes when the system is broken. Comparing only values, that
|
|
79
|
+
// read as unchanged.
|
|
80
|
+
//
|
|
81
|
+
// Rejected rather than re-evaluated in the new direction, because the two
|
|
82
|
+
// bounds are not commensurable — there is no value at which `<=0.99` is
|
|
83
|
+
// "no weaker than" `>=0.99`. The honest verdict is that the change cannot
|
|
84
|
+
// be proven safe, so it belongs in the existing allow-list path where a
|
|
85
|
+
// human records why, not in a comparison that would have to invent an
|
|
86
|
+
// ordering between incomparable gates.
|
|
87
|
+
if (currentC.direction !== baseC.direction) {
|
|
88
|
+
findings.push({
|
|
89
|
+
file: relPath,
|
|
90
|
+
key,
|
|
91
|
+
type: TYPE_WEAKENED,
|
|
92
|
+
base: baseC.value,
|
|
93
|
+
current: currentC.value,
|
|
94
|
+
message: `${relPath}: ${key} changed bound direction (${baseC.direction} → ${currentC.direction}) — the gate's meaning is inverted, so preserving it cannot be proven from the value alone.`,
|
|
95
|
+
});
|
|
96
|
+
continue;
|
|
97
|
+
}
|
|
75
98
|
const weakened =
|
|
76
99
|
baseC.direction === "min"
|
|
77
100
|
? currentC.value < baseC.value
|
|
@@ -172,6 +172,30 @@ function run(mode, baseRef, onlyFiles) {
|
|
|
172
172
|
const watched = plan.files.filter(f => familyFor(f));
|
|
173
173
|
if (watched.length === 0) return 0;
|
|
174
174
|
|
|
175
|
+
// A null baseline means one of two opposite things, and they must not be
|
|
176
|
+
// conflated: the file is NEW (nothing to weaken — pass), or it exists at the
|
|
177
|
+
// baseline and could not be read (nothing could be COMPARED — the one case
|
|
178
|
+
// where the ratchet cannot do its job). Both arrive here as null because
|
|
179
|
+
// `git()` swallows every failure, so the ratchet passed exactly when it had
|
|
180
|
+
// no evidence — failing open in its blind spot.
|
|
181
|
+
//
|
|
182
|
+
// `cat-file -e` answers the question `git show` cannot: does this path exist
|
|
183
|
+
// at that ref? Absent means new; present-but-unreadable means undeterminable,
|
|
184
|
+
// and an undeterminable ratchet must refuse rather than wave the change on.
|
|
185
|
+
const unreadable = watched.filter(
|
|
186
|
+
f =>
|
|
187
|
+
git(["show", `${plan.baselineRef}:${f}`], root) === null &&
|
|
188
|
+
git(["cat-file", "-e", `${plan.baselineRef}:${f}`], root) !== null
|
|
189
|
+
);
|
|
190
|
+
if (unreadable.length > 0) {
|
|
191
|
+
return undeterminable(
|
|
192
|
+
mode,
|
|
193
|
+
`could not read the baseline for ${unreadable.join(", ")} — ` +
|
|
194
|
+
`the file exists at ${plan.baselineRef} but its contents could not be ` +
|
|
195
|
+
`retrieved, so a loosened threshold could not be detected`
|
|
196
|
+
);
|
|
197
|
+
}
|
|
198
|
+
|
|
175
199
|
const findings = watched.flatMap(f =>
|
|
176
200
|
compareFile(
|
|
177
201
|
f,
|
|
@@ -79,8 +79,31 @@ except ValueError:
|
|
|
79
79
|
|
|
80
80
|
normalized_tokens = [token.strip("();|&") for token in tokens]
|
|
81
81
|
|
|
82
|
+
# Git resolves any UNAMBIGUOUS abbreviation of a long option, so `--no-veri`
|
|
83
|
+
# skips hooks exactly as completely as `--no-verify`. Matched as a prefix
|
|
84
|
+
# rather than by listing abbreviations; `--no-verbose` diverges after
|
|
85
|
+
# `--no-ver` and so is correctly not caught.
|
|
86
|
+
NO_VERIFY = "--no-verify"
|
|
87
|
+
NO_VERIFY_MIN_PREFIX = len("--no-v")
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
def disables_verification(token):
|
|
91
|
+
"""Whether a token is `--no-verify` or an abbreviation git would accept.
|
|
92
|
+
|
|
93
|
+
Args:
|
|
94
|
+
token: A single shell token from the command line.
|
|
95
|
+
|
|
96
|
+
Returns:
|
|
97
|
+
True if git would read this token as --no-verify.
|
|
98
|
+
"""
|
|
99
|
+
return (
|
|
100
|
+
len(token) >= NO_VERIFY_MIN_PREFIX
|
|
101
|
+
and len(token) <= len(NO_VERIFY)
|
|
102
|
+
and NO_VERIFY.startswith(token)
|
|
103
|
+
)
|
|
104
|
+
|
|
82
105
|
for i, token in enumerate(normalized_tokens):
|
|
83
|
-
if token
|
|
106
|
+
if disables_verification(token):
|
|
84
107
|
sys.exit(1)
|
|
85
108
|
if token == "HUSKY=0" or token.startswith("HUSKY_SKIP_HOOKS="):
|
|
86
109
|
sys.exit(1)
|
|
@@ -118,8 +118,42 @@ def is_permitted_hooks_path(value):
|
|
|
118
118
|
cleaned = cleaned[2:]
|
|
119
119
|
return cleaned.rstrip("/") in PERMITTED_HOOKS_PATHS
|
|
120
120
|
|
|
121
|
+
|
|
122
|
+
# Git resolves any UNAMBIGUOUS abbreviation of a long option, so `--no-verify`
|
|
123
|
+
# is only the longest of the spellings that disable verification: `git commit
|
|
124
|
+
# --no-veri` skips hooks exactly as completely. An equality check therefore
|
|
125
|
+
# enforced the guard against the one spelling nobody in a hurry types.
|
|
126
|
+
#
|
|
127
|
+
# Matched as "a prefix of --no-verify" rather than by listing abbreviations,
|
|
128
|
+
# because the set of accepted abbreviations is a property of git's parser and
|
|
129
|
+
# changes with the surrounding options. `--no-verbose` is NOT caught, and must
|
|
130
|
+
# not be: it diverges from `--no-verify` at the character after `--no-ver`, so
|
|
131
|
+
# it fails the prefix test.
|
|
132
|
+
#
|
|
133
|
+
# The floor is `--no-v`. Shorter is refused anyway — bare `--no-` is not a flag
|
|
134
|
+
# — and blocking an abbreviation git would reject as ambiguous costs nothing,
|
|
135
|
+
# while missing one git accepts costs the whole guard.
|
|
136
|
+
NO_VERIFY = "--no-verify"
|
|
137
|
+
NO_VERIFY_MIN_PREFIX = len("--no-v")
|
|
138
|
+
|
|
139
|
+
|
|
140
|
+
def disables_verification(token):
|
|
141
|
+
"""Whether a token is `--no-verify` or an abbreviation git would accept.
|
|
142
|
+
|
|
143
|
+
Args:
|
|
144
|
+
token: A single shell token from the command line.
|
|
145
|
+
|
|
146
|
+
Returns:
|
|
147
|
+
True if git would read this token as --no-verify.
|
|
148
|
+
"""
|
|
149
|
+
return (
|
|
150
|
+
len(token) >= NO_VERIFY_MIN_PREFIX
|
|
151
|
+
and len(token) <= len(NO_VERIFY)
|
|
152
|
+
and NO_VERIFY.startswith(token)
|
|
153
|
+
)
|
|
154
|
+
|
|
121
155
|
for i, token in enumerate(normalized_tokens):
|
|
122
|
-
if token
|
|
156
|
+
if disables_verification(token):
|
|
123
157
|
sys.exit(1)
|
|
124
158
|
if token == "HUSKY=0" or token.startswith("HUSKY_SKIP_HOOKS="):
|
|
125
159
|
sys.exit(1)
|
|
@@ -72,6 +72,29 @@ export function compareConstraints(relPath, base, current) {
|
|
|
72
72
|
});
|
|
73
73
|
continue;
|
|
74
74
|
}
|
|
75
|
+
// A bound's DIRECTION carries as much of the gate as its number. Flipping
|
|
76
|
+
// `rate>=0.99` to `rate<=0.99` keeps the key and the value and inverts the
|
|
77
|
+
// meaning: "at least 99% success" becomes "at most 99% success", a gate
|
|
78
|
+
// that now passes when the system is broken. Comparing only values, that
|
|
79
|
+
// read as unchanged.
|
|
80
|
+
//
|
|
81
|
+
// Rejected rather than re-evaluated in the new direction, because the two
|
|
82
|
+
// bounds are not commensurable — there is no value at which `<=0.99` is
|
|
83
|
+
// "no weaker than" `>=0.99`. The honest verdict is that the change cannot
|
|
84
|
+
// be proven safe, so it belongs in the existing allow-list path where a
|
|
85
|
+
// human records why, not in a comparison that would have to invent an
|
|
86
|
+
// ordering between incomparable gates.
|
|
87
|
+
if (currentC.direction !== baseC.direction) {
|
|
88
|
+
findings.push({
|
|
89
|
+
file: relPath,
|
|
90
|
+
key,
|
|
91
|
+
type: TYPE_WEAKENED,
|
|
92
|
+
base: baseC.value,
|
|
93
|
+
current: currentC.value,
|
|
94
|
+
message: `${relPath}: ${key} changed bound direction (${baseC.direction} → ${currentC.direction}) — the gate's meaning is inverted, so preserving it cannot be proven from the value alone.`,
|
|
95
|
+
});
|
|
96
|
+
continue;
|
|
97
|
+
}
|
|
75
98
|
const weakened =
|
|
76
99
|
baseC.direction === "min"
|
|
77
100
|
? currentC.value < baseC.value
|
|
@@ -172,6 +172,30 @@ function run(mode, baseRef, onlyFiles) {
|
|
|
172
172
|
const watched = plan.files.filter(f => familyFor(f));
|
|
173
173
|
if (watched.length === 0) return 0;
|
|
174
174
|
|
|
175
|
+
// A null baseline means one of two opposite things, and they must not be
|
|
176
|
+
// conflated: the file is NEW (nothing to weaken — pass), or it exists at the
|
|
177
|
+
// baseline and could not be read (nothing could be COMPARED — the one case
|
|
178
|
+
// where the ratchet cannot do its job). Both arrive here as null because
|
|
179
|
+
// `git()` swallows every failure, so the ratchet passed exactly when it had
|
|
180
|
+
// no evidence — failing open in its blind spot.
|
|
181
|
+
//
|
|
182
|
+
// `cat-file -e` answers the question `git show` cannot: does this path exist
|
|
183
|
+
// at that ref? Absent means new; present-but-unreadable means undeterminable,
|
|
184
|
+
// and an undeterminable ratchet must refuse rather than wave the change on.
|
|
185
|
+
const unreadable = watched.filter(
|
|
186
|
+
f =>
|
|
187
|
+
git(["show", `${plan.baselineRef}:${f}`], root) === null &&
|
|
188
|
+
git(["cat-file", "-e", `${plan.baselineRef}:${f}`], root) !== null
|
|
189
|
+
);
|
|
190
|
+
if (unreadable.length > 0) {
|
|
191
|
+
return undeterminable(
|
|
192
|
+
mode,
|
|
193
|
+
`could not read the baseline for ${unreadable.join(", ")} — ` +
|
|
194
|
+
`the file exists at ${plan.baselineRef} but its contents could not be ` +
|
|
195
|
+
`retrieved, so a loosened threshold could not be detected`
|
|
196
|
+
);
|
|
197
|
+
}
|
|
198
|
+
|
|
175
199
|
const findings = watched.flatMap(f =>
|
|
176
200
|
compareFile(
|
|
177
201
|
f,
|
|
@@ -118,8 +118,42 @@ def is_permitted_hooks_path(value):
|
|
|
118
118
|
cleaned = cleaned[2:]
|
|
119
119
|
return cleaned.rstrip("/") in PERMITTED_HOOKS_PATHS
|
|
120
120
|
|
|
121
|
+
|
|
122
|
+
# Git resolves any UNAMBIGUOUS abbreviation of a long option, so `--no-verify`
|
|
123
|
+
# is only the longest of the spellings that disable verification: `git commit
|
|
124
|
+
# --no-veri` skips hooks exactly as completely. An equality check therefore
|
|
125
|
+
# enforced the guard against the one spelling nobody in a hurry types.
|
|
126
|
+
#
|
|
127
|
+
# Matched as "a prefix of --no-verify" rather than by listing abbreviations,
|
|
128
|
+
# because the set of accepted abbreviations is a property of git's parser and
|
|
129
|
+
# changes with the surrounding options. `--no-verbose` is NOT caught, and must
|
|
130
|
+
# not be: it diverges from `--no-verify` at the character after `--no-ver`, so
|
|
131
|
+
# it fails the prefix test.
|
|
132
|
+
#
|
|
133
|
+
# The floor is `--no-v`. Shorter is refused anyway — bare `--no-` is not a flag
|
|
134
|
+
# — and blocking an abbreviation git would reject as ambiguous costs nothing,
|
|
135
|
+
# while missing one git accepts costs the whole guard.
|
|
136
|
+
NO_VERIFY = "--no-verify"
|
|
137
|
+
NO_VERIFY_MIN_PREFIX = len("--no-v")
|
|
138
|
+
|
|
139
|
+
|
|
140
|
+
def disables_verification(token):
|
|
141
|
+
"""Whether a token is `--no-verify` or an abbreviation git would accept.
|
|
142
|
+
|
|
143
|
+
Args:
|
|
144
|
+
token: A single shell token from the command line.
|
|
145
|
+
|
|
146
|
+
Returns:
|
|
147
|
+
True if git would read this token as --no-verify.
|
|
148
|
+
"""
|
|
149
|
+
return (
|
|
150
|
+
len(token) >= NO_VERIFY_MIN_PREFIX
|
|
151
|
+
and len(token) <= len(NO_VERIFY)
|
|
152
|
+
and NO_VERIFY.startswith(token)
|
|
153
|
+
)
|
|
154
|
+
|
|
121
155
|
for i, token in enumerate(normalized_tokens):
|
|
122
|
-
if token
|
|
156
|
+
if disables_verification(token):
|
|
123
157
|
sys.exit(1)
|
|
124
158
|
if token == "HUSKY=0" or token.startswith("HUSKY_SKIP_HOOKS="):
|
|
125
159
|
sys.exit(1)
|
|
@@ -72,6 +72,29 @@ export function compareConstraints(relPath, base, current) {
|
|
|
72
72
|
});
|
|
73
73
|
continue;
|
|
74
74
|
}
|
|
75
|
+
// A bound's DIRECTION carries as much of the gate as its number. Flipping
|
|
76
|
+
// `rate>=0.99` to `rate<=0.99` keeps the key and the value and inverts the
|
|
77
|
+
// meaning: "at least 99% success" becomes "at most 99% success", a gate
|
|
78
|
+
// that now passes when the system is broken. Comparing only values, that
|
|
79
|
+
// read as unchanged.
|
|
80
|
+
//
|
|
81
|
+
// Rejected rather than re-evaluated in the new direction, because the two
|
|
82
|
+
// bounds are not commensurable — there is no value at which `<=0.99` is
|
|
83
|
+
// "no weaker than" `>=0.99`. The honest verdict is that the change cannot
|
|
84
|
+
// be proven safe, so it belongs in the existing allow-list path where a
|
|
85
|
+
// human records why, not in a comparison that would have to invent an
|
|
86
|
+
// ordering between incomparable gates.
|
|
87
|
+
if (currentC.direction !== baseC.direction) {
|
|
88
|
+
findings.push({
|
|
89
|
+
file: relPath,
|
|
90
|
+
key,
|
|
91
|
+
type: TYPE_WEAKENED,
|
|
92
|
+
base: baseC.value,
|
|
93
|
+
current: currentC.value,
|
|
94
|
+
message: `${relPath}: ${key} changed bound direction (${baseC.direction} → ${currentC.direction}) — the gate's meaning is inverted, so preserving it cannot be proven from the value alone.`,
|
|
95
|
+
});
|
|
96
|
+
continue;
|
|
97
|
+
}
|
|
75
98
|
const weakened =
|
|
76
99
|
baseC.direction === "min"
|
|
77
100
|
? currentC.value < baseC.value
|
|
@@ -172,6 +172,30 @@ function run(mode, baseRef, onlyFiles) {
|
|
|
172
172
|
const watched = plan.files.filter(f => familyFor(f));
|
|
173
173
|
if (watched.length === 0) return 0;
|
|
174
174
|
|
|
175
|
+
// A null baseline means one of two opposite things, and they must not be
|
|
176
|
+
// conflated: the file is NEW (nothing to weaken — pass), or it exists at the
|
|
177
|
+
// baseline and could not be read (nothing could be COMPARED — the one case
|
|
178
|
+
// where the ratchet cannot do its job). Both arrive here as null because
|
|
179
|
+
// `git()` swallows every failure, so the ratchet passed exactly when it had
|
|
180
|
+
// no evidence — failing open in its blind spot.
|
|
181
|
+
//
|
|
182
|
+
// `cat-file -e` answers the question `git show` cannot: does this path exist
|
|
183
|
+
// at that ref? Absent means new; present-but-unreadable means undeterminable,
|
|
184
|
+
// and an undeterminable ratchet must refuse rather than wave the change on.
|
|
185
|
+
const unreadable = watched.filter(
|
|
186
|
+
f =>
|
|
187
|
+
git(["show", `${plan.baselineRef}:${f}`], root) === null &&
|
|
188
|
+
git(["cat-file", "-e", `${plan.baselineRef}:${f}`], root) !== null
|
|
189
|
+
);
|
|
190
|
+
if (unreadable.length > 0) {
|
|
191
|
+
return undeterminable(
|
|
192
|
+
mode,
|
|
193
|
+
`could not read the baseline for ${unreadable.join(", ")} — ` +
|
|
194
|
+
`the file exists at ${plan.baselineRef} but its contents could not be ` +
|
|
195
|
+
`retrieved, so a loosened threshold could not be detected`
|
|
196
|
+
);
|
|
197
|
+
}
|
|
198
|
+
|
|
175
199
|
const findings = watched.flatMap(f =>
|
|
176
200
|
compareFile(
|
|
177
201
|
f,
|