Evidence security page says 40 invariants; the matrix defines 55
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 75/100
- Issue type
- Documentation
- Clarity
- Clearly specified
- Activity status
- Active
- Tech stack
- rust, yaml
- Domain
- documentation
Research direction
The issue is in docs/site/src/content/docs/security/evidence.mdx. First, read the file to see the current text about '40 numbered invariants'. Then, examine products/evidence/contracts/security-invariant-matrix.yaml to confirm the count of 55 invariants. Decide whether to update the hard-coded number, generate it dynamically, or add a summary with a link. Update the documentation accordingly, ensuring the prose for invariants I41-I55 is either added or a link to the matrix is provided. Verify the changes locally.
Written by the indexing model from the issue text.
Description
docs/site/src/content/docs/security/evidence.mdx says, under "What the invariant matrix guarantees": "The matrix pins 40 numbered invariants, V1-I01 through V1-I40". On main, products/evidence/contracts/security-invariant-matrix.yaml defines 55, V1-I01 through V1-I55, so the page understates the set, and its per-invariant prose stops at I40.
Fix: state the count without a hard-coded upper bound, or generate the number from the matrix, and cover the invariants from I41 onwards in the prose (or say the page summarizes, with a link to the matrix).
- Dominant language
- Rust
- Stars
- 2
- Forks
- 0
- Avg merge
- 5h 8m
- Merged PRs (30d)
- 167
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from registrystack/registry-stack
-
bug github_actions
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
registrystack/registry-stack#1393 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
registrystack/registry-stack#1383 ·
-
area:breg enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
registrystack/registry-stack#1380 ·
-
area:breg enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
registrystack/registry-stack#1379 ·
-
area:casework documentation
Difficulty 1/5 Under an hour Newbie friendliness 90/100
registrystack/registry-stack#1369 ·
All issues in registrystack/registry-stack
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
-
bug good first issue package: quic
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
-
Difficulty 1/5 Under an hour Newbie friendliness 78/100
-
`dora trace view` sends a non-canonical full UUID as-is, so a valid trace ID shows "No spans found" Opencli coordinator rust
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
area: tasks enhancement good first issue help wanted
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
Jason-jo17/Polybench#15 · 1 comment ·