invar-tools 1.17.5__py3-none-any.whl → 1.17.6__py3-none-any.whl
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.
- invar/node_tools/eslint-plugin/node_modules/.package-lock.json +1 -1
- invar/templates/protocol/universal/completion.md +54 -0
- {invar_tools-1.17.5.dist-info → invar_tools-1.17.6.dist-info}/METADATA +1 -1
- {invar_tools-1.17.5.dist-info → invar_tools-1.17.6.dist-info}/RECORD +9 -9
- {invar_tools-1.17.5.dist-info → invar_tools-1.17.6.dist-info}/WHEEL +0 -0
- {invar_tools-1.17.5.dist-info → invar_tools-1.17.6.dist-info}/entry_points.txt +0 -0
- {invar_tools-1.17.5.dist-info → invar_tools-1.17.6.dist-info}/licenses/LICENSE +0 -0
- {invar_tools-1.17.5.dist-info → invar_tools-1.17.6.dist-info}/licenses/LICENSE-GPL +0 -0
- {invar_tools-1.17.5.dist-info → invar_tools-1.17.6.dist-info}/licenses/NOTICE +0 -0
|
@@ -11,4 +11,58 @@ A task is complete only when ALL conditions are met:
|
|
|
11
11
|
|
|
12
12
|
---
|
|
13
13
|
|
|
14
|
+
## Baseline Protocol (Technical Debt)
|
|
15
|
+
|
|
16
|
+
When working on projects with existing verification failures:
|
|
17
|
+
|
|
18
|
+
### Establishing Baseline
|
|
19
|
+
|
|
20
|
+
Before starting implementation:
|
|
21
|
+
1. Run verification from **repository root**: `invar_guard(path=".")`
|
|
22
|
+
2. If failures exist and are pre-existing debt → **Record as baseline**
|
|
23
|
+
3. Note the failure count and affected files
|
|
24
|
+
|
|
25
|
+
### During Implementation
|
|
26
|
+
|
|
27
|
+
**Allowed:**
|
|
28
|
+
- Continue work despite baseline failures
|
|
29
|
+
- Use language-specific local checks (e.g., linters, type checkers, unit tests)
|
|
30
|
+
- Focus on ensuring new code doesn't introduce violations
|
|
31
|
+
|
|
32
|
+
**Required:**
|
|
33
|
+
- New code must not expand the failure surface
|
|
34
|
+
- Changes to existing files must not add new violations
|
|
35
|
+
|
|
36
|
+
### Final Output Format
|
|
37
|
+
|
|
38
|
+
**When baseline is cleared:**
|
|
39
|
+
```
|
|
40
|
+
✓ Final: guard PASS | 0 errors, 2 warnings
|
|
41
|
+
```
|
|
42
|
+
|
|
43
|
+
**When baseline still exists (known debt):**
|
|
44
|
+
```
|
|
45
|
+
✓ Final: guard BASELINE_FAIL (known debt) | local checks PASS
|
|
46
|
+
```
|
|
47
|
+
|
|
48
|
+
**If new violations introduced:**
|
|
49
|
+
```
|
|
50
|
+
✗ Final: guard FAIL | X new errors (baseline: Y)
|
|
51
|
+
```
|
|
52
|
+
|
|
53
|
+
### Guard Best Practices
|
|
54
|
+
|
|
55
|
+
**Always run from repository root:**
|
|
56
|
+
```python
|
|
57
|
+
# ✅ CORRECT - Runs from repo root
|
|
58
|
+
invar_guard(path=".")
|
|
59
|
+
|
|
60
|
+
# ❌ WRONG - May fail language detection in subdirectories
|
|
61
|
+
invar_guard(path="src/components")
|
|
62
|
+
```
|
|
63
|
+
|
|
64
|
+
**Reason:** Subdirectories may lack language marker files (pyproject.toml, tsconfig.json), causing incorrect detection defaults.
|
|
65
|
+
|
|
66
|
+
---
|
|
67
|
+
|
|
14
68
|
*Protocol v5.0 — USBV workflow | [Examples](.invar/examples/)*
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: invar-tools
|
|
3
|
-
Version: 1.17.
|
|
3
|
+
Version: 1.17.6
|
|
4
4
|
Summary: AI-native software engineering tools with design-by-contract verification
|
|
5
5
|
Project-URL: Homepage, https://github.com/tefx/invar
|
|
6
6
|
Project-URL: Documentation, https://github.com/tefx/invar#readme
|
|
@@ -60,7 +60,7 @@ invar/node_tools/eslint-plugin/cli.js,sha256=ImpQUercYO3R8BWkV7k1xxYfWxwqPOBCxyW
|
|
|
60
60
|
invar/node_tools/eslint-plugin/cli.js.map,sha256=AZt_DYAD6NnHGjR6oxXfGYaOHc6-vfDs0ENvYsbw5Ro,4489
|
|
61
61
|
invar/node_tools/eslint-plugin/index.js,sha256=atrI37dn1yDznQrgKY-1xIhLnCdvJQTU53123ZI_9J4,5132
|
|
62
62
|
invar/node_tools/eslint-plugin/index.js.map,sha256=MlFuNso9sZ4v9ggGJLyMq4Pt_JdEzP1OyouyCCki1wA,2344
|
|
63
|
-
invar/node_tools/eslint-plugin/node_modules/.package-lock.json,sha256=
|
|
63
|
+
invar/node_tools/eslint-plugin/node_modules/.package-lock.json,sha256=jsPJ0tWH59w4vqd_UQsLTQXtbdyHC87cuISV3zQfxqg,56185
|
|
64
64
|
invar/node_tools/eslint-plugin/node_modules/.bin/acorn,sha256=TD628diTJ5Db_wQ4Ofjudoa8YUpZ71d-lv7WGKSksbg,60
|
|
65
65
|
invar/node_tools/eslint-plugin/node_modules/.bin/eslint,sha256=ZHNmEDMURrQxBRaqXK3GmrjHkacDiEZ8Gd1xFGUEZkc,5458
|
|
66
66
|
invar/node_tools/eslint-plugin/node_modules/.bin/js-yaml,sha256=bXdJ39gBkJWXD0NmzQnsOr753qo_hwcJ3_7LAn5YkC0,2736
|
|
@@ -2753,7 +2753,7 @@ invar/templates/protocol/typescript/markers.md,sha256=8mHzYfBlQ2baeQSV2e7uY2p6_E
|
|
|
2753
2753
|
invar/templates/protocol/typescript/tools.md,sha256=c0xu0n15iFcNAET8wOqKdcgG2n_OC0hP4xE7rZaFDI0,1691
|
|
2754
2754
|
invar/templates/protocol/typescript/troubleshooting.md,sha256=kHx4Ykfgv6S1OXMmLZ3jMft6aqy60c9ODEhfs5kcybo,2588
|
|
2755
2755
|
invar/templates/protocol/universal/architecture.md,sha256=WT6wL0VDPD4n8yXBQEOXXnzh2IkK18oOt76lZelN3As,1379
|
|
2756
|
-
invar/templates/protocol/universal/completion.md,sha256=
|
|
2756
|
+
invar/templates/protocol/universal/completion.md,sha256=6pAG9qxgrulaqtvV11dpoDKWjKjMSFrV7InT--z8zKI,1803
|
|
2757
2757
|
invar/templates/protocol/universal/contracts-concept.md,sha256=7XDdzz_obI8JbkZfKDD4yJIpo5DmaL4xyjmxRjwSq4Q,780
|
|
2758
2758
|
invar/templates/protocol/universal/header.md,sha256=ttg9wtbqw3jWUocwMn2AUbqPXT_hOk15VwWosWYnAUQ,965
|
|
2759
2759
|
invar/templates/protocol/universal/session.md,sha256=bOaHfu-1QsCXaNyL-412W6b0YFuk0-L4sd0VItrf0V0,418
|
|
@@ -2778,10 +2778,10 @@ invar/templates/skills/invar-reflect/template.md,sha256=Rr5hvbllvmd8jSLf_0ZjyKt6
|
|
|
2778
2778
|
invar/templates/skills/investigate/SKILL.md.jinja,sha256=cp6TBEixBYh1rLeeHOR1yqEnFqv1NZYePORMnavLkQI,3231
|
|
2779
2779
|
invar/templates/skills/propose/SKILL.md.jinja,sha256=6BuKiCqO1AEu3VtzMHy1QWGqr_xqG9eJlhbsKT4jev4,3463
|
|
2780
2780
|
invar/templates/skills/review/SKILL.md.jinja,sha256=ET5mbdSe_eKgJbi2LbgFC-z1aviKcHOBw7J5Q28fr4U,14105
|
|
2781
|
-
invar_tools-1.17.
|
|
2782
|
-
invar_tools-1.17.
|
|
2783
|
-
invar_tools-1.17.
|
|
2784
|
-
invar_tools-1.17.
|
|
2785
|
-
invar_tools-1.17.
|
|
2786
|
-
invar_tools-1.17.
|
|
2787
|
-
invar_tools-1.17.
|
|
2781
|
+
invar_tools-1.17.6.dist-info/METADATA,sha256=2KB-3ghp_lXr5Tokxmprkgu4hbpDVJrCRud1tVkL2L8,28595
|
|
2782
|
+
invar_tools-1.17.6.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
|
|
2783
|
+
invar_tools-1.17.6.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
|
|
2784
|
+
invar_tools-1.17.6.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
|
|
2785
|
+
invar_tools-1.17.6.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
|
|
2786
|
+
invar_tools-1.17.6.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
|
|
2787
|
+
invar_tools-1.17.6.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|