Skip to content

fix: medium ARM bugs + cross-compilation pipeline design #60

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
avrabe merged 2 commits into from
Mar 21, 2026
Merged

fix: medium ARM bugs + cross-compilation pipeline design #60

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
dfbbf1b
fix: medium ARM bugs + cross-compilation pipeline design
avrabe Mar 21, 2026
50aad86
docs: refresh AGENTS.md via rivet init --agents
avrabe Mar 21, 2026
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
10 changes: 5 additions & 5 deletions AGENTS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
This project uses **Rivet** for SDLC artifact traceability.
- Config: `rivet.yaml`
- Schemas: common, stpa, aspice, dev
- Artifacts: 231 across 17 types
- Validation: `rivet validate` (current status: 47 errors)
- Artifacts: 252 across 17 types
- Validation: `rivet validate` (current status: 95 errors)

## Available Commands

Expand Down Expand Up @@ -41,12 +41,12 @@ This project uses **Rivet** for SDLC artifact traceability.
| `stakeholder-req` | 4 | Stakeholder requirement (SYS.1) |
| `sub-hazard` | 3 | A refinement of a hazard into a more specific unsafe condition. |
| `sw-arch-component` | 11 | Software architectural element (SWE.2) |
| `sw-req` | 21 | Software requirement (SWE.1) |
| `sw-req` | 26 | Software requirement (SWE.1) |
| `sw-verification` | 12 | Software verification measure against SW requirements (SWE.6 — Software Verification) |
| `sys-verification` | 27 | System verification measure against system requirements (SYS.5 — System Verification) |
| `sys-verification` | 29 | System verification measure against system requirements (SYS.5 — System Verification) |
| `system-arch-component` | 6 | System architectural element (SYS.3) |
| `system-constraint` | 10 | A condition or behavior that must be satisfied to prevent a hazard. Each constraint is the inversion of a hazard. |
| `system-req` | 54 | System requirement derived from stakeholder needs (SYS.2) |
| `system-req` | 68 | System requirement derived from stakeholder needs (SYS.2) |
| `uca` | 18 | An Unsafe Control Action — a control action that, in a particular context and worst-case environment, leads to a hazard. Four types (provably complete): 1. Not providing the control action leads to a hazard 2. Providing the control action leads to a hazard 3. Providing too early, too late, or in the wrong order 4. Control action stopped too soon or applied too long |
| `design-decision` | 0 | An architectural or design decision with rationale |
| `feature` | 0 | A user-visible capability or feature |
Expand Down
Loading
Loading