Implementation Plan: T5-P5-A2-WP1 — Invariant Registry Coverage Meta-Test#4143
Merged
Trecek merged 4 commits intoJun 28, 2026
Merged
Conversation
- tests/arch/test_invariant_registry_coverage.py verifies every InvariantDef has a resolvable gate_target, non-empty required fields, and a source_doc that still contains the original prohibition prose anchor. - tests/arch/AGENTS.md file-table updated with the new entry.
Without this fallback, single-word gate_target values (e.g. "autoskillit") would silently return False despite being importable modules. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…ry_entries Avoids O(invariants × files) disk reads — content is now read once per unique source_doc and reused for subsequent invariants sharing the same doc. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…action A 30-char prefix may not appear verbatim in source_doc if formatting differs. Extracting the longest word (>= 5 chars) is more distinctive and reliable. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Trecek
deleted the
t5-p5-a2-wp1-provide-a-load-bearing-meta-test-that-validates/4033
branch
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Add a load-bearing meta-test at
tests/arch/test_invariant_registry_coverage.pythat validates everyInvariantDefinINVARIANT_REGISTRYhas a resolvablegate_target, non-empty required fields, and asource_docthat still contains the original prohibition prose. Three test functions plus a helper. Updatetests/arch/AGENTS.mdfile-table with the new entry.Closes #4033
Implementation Plan
Plan file:
/home/talon/projects/autoskillit-runs/impl-20260628-082224-932884/.autoskillit/temp/make-plan/t5-p5-a2-wp1-invariant-registry-meta-test_plan_2026-06-28_090000.md🤖 Generated with Claude Code via AutoSkillit
Token Usage Summary
* Step used a non-Anthropic provider; caching behavior may differ.
Token Efficiency
Model Usage Breakdown