Skip to content
Merged
Show file tree
Hide file tree
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
7 changes: 7 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,13 @@ This is not an audit-after-the-fact tool. The point is that the agent
*authors* against the typed schema while the oracle is firing — so the
evidence is born compliant instead of being reverse-engineered later.

> **Before you build Rivet into a process, read [What Rivet is
> not](docs/rivet-is-not.md).** It enumerates — in the register of an
> ISO 26262-10 SEooC Safety Manual — the boundaries of Rivet's
> competence and the obligations that remain the integrator's, not the
> tool's. It is shorter than this README; reading it first saves a
> day's debugging.

## Install

```bash
Expand Down
2 changes: 1 addition & 1 deletion docs/srs.md
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@ audit, deny, vet, coverage).

[[REQ-009]] ties test results to GitHub releases as evidence artifacts.

[[REQ-011]] pins Rust edition 2024 with MSRV 1.85.
[[REQ-011]] pins Rust edition 2024 with MSRV 1.89.

### 3.7 V-Model Traceability Flow

Expand Down
2 changes: 1 addition & 1 deletion docs/verification.md
Original file line number Diff line number Diff line change
Expand Up @@ -134,7 +134,7 @@ a qualification gate:
| `deny` | `cargo deny` | License violations, duplicate deps |
| `vet` | `cargo vet` | Supply chain verification |
| `coverage` | `cargo llvm-cov` | Code coverage metrics |
| `msrv` | MSRV 1.85 check | Backward compatibility ([[REQ-011]]) |
| `msrv` | MSRV 1.89 check | Backward compatibility ([[REQ-011]]) |

## 9. Requirement-to-Test Mapping

Expand Down
12 changes: 12 additions & 0 deletions schemas/common.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -353,6 +353,18 @@ artifact-types:
description: >
Optional contract / PO / DIA reference for traceability into
the legal artefact (ISO 26262-8 §5 DIA, ASPICE SUP.10).
- name: cited-source
type: mapping
required: false
description: >
Optional sha256-stamped reference to the upstream document this
anchor delegates to. The mapping carries `uri`, `kind` (file |
reqif | url | github | oslc | polarion), `sha256`, and
`last-checked`. `rivet supplier pull` fetches it into the
local supplier cache; `rivet validate` checks drift. Declared
here so the field that makes `external-anchor` functional for
federation is no longer an undefined-field INFO at validate
time (REQ-066). See `rivet docs schema-cited-sources`.
link-fields: []

# ──────────────────────────────────────────────────────────────────────────
Expand Down
Loading