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
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
10 changes: 8 additions & 2 deletions .github/workflows/validate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,10 +46,16 @@ jobs:
uses: actions/checkout@v4

- name: Install rivet
# Pin to a published rivet release. v0.13.0 is the first
# release after the eclipse-score schema deltas (chore branch)
# were expected to land. If validate fails because the score
# schema doesn't have the deltas yet, bump to the release that
# does — the chore branch was published as: rounds 1+2 + the
# docs-check allowlist on `chore/score-schema-eclipse-comparison-update`.
run: |
cargo install --git https://github.com/pulseengine/rivet \
--branch chore/score-schema-eclipse-comparison-update \
--bin rivet --locked
--tag v0.13.0 \
rivet-cli --bin rivet --locked
rivet --version

- name: Sync upstream eclipse-score repos at pinned SHAs
Expand Down
14 changes: 13 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,9 @@ REPOS := \
eclipse-score-toolchains_qnx eclipse-score-toolchains_rust \
eclipse-score-tooling eclipse-score-tools

RIVET := /Users/r/.cargo/bin/rivet
# Resolved from PATH by default. Override for a specific install:
# make RIVET=/usr/local/bin/rivet validate
RIVET ?= rivet
SCHEMAS := vendor/rivet-schemas
PYTHON := python3

Expand All @@ -48,6 +50,7 @@ all: convert validate

# ── Convert every upstream RST tree → rivet YAML ─────────────────────────
convert: $(addprefix convert-,$(REPOS))
@$(PYTHON) tools/regen_docs_paths.py

convert-%:
@echo "→ converting upstream/$* …"
Expand All @@ -57,6 +60,15 @@ convert-%:
--docs-out rivet/$*/docs \
--report rivet/$*/coverage.md

# rivet's `docs:` directive does NOT recurse — it loads markdown from
# each listed directory at one level only. So after `make convert` emits
# markdown into new subdirectories, we rewrite both per-repo and
# top-level rivet.yaml `docs:` blocks to enumerate every leaf dir that
# contains .md files. The `convert:` target above invokes this
# automatically; `make regen-docs` is exposed for manual runs.
regen-docs:
@$(PYTHON) tools/regen_docs_paths.py

# ── Mechanical oracle — corpus-scale rivet validate + variant gate ─────
#
# Two gates: rivet schema validation across all 58 repos AND the
Expand Down
577 changes: 274 additions & 303 deletions README.md

Large diffs are not rendered by default.

438 changes: 379 additions & 59 deletions rivet.yaml

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-89805
id: DOC-INDEX-84906
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-87116
id: DOC-INDEX-8662
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-48254
id: DOC-INDEX-20504
title: Index
type: specification
status: approved
Expand Down
4 changes: 3 additions & 1 deletion rivet/eclipse-score-baselibs/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,6 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs/json/vajson
- docs/docs/json/vajson/architecture
- docs/docs/json/vajson/requirements
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-40522
id: DOC-INDEX-12405
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-99297
id: DOC-INDEX-35973
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-30156
id: DOC-INDEX-21830
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-83257
id: DOC-INDEX-15958
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-COMPONENT-CLASSIFICATION-79718
id: DOC-COMPONENT-CLASSIFICATION-76792
title: Component Classification
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-98452
id: DOC-INDEX-34133
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-53729
id: DOC-INDEX-13528
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-8214
id: DOC-INDEX-3264
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-DFA-22181
id: DOC-DFA-97554
title: Dfa
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-FMEA-95229
id: DOC-FMEA-28598
title: Fmea
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-8567
id: DOC-INDEX-79033
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-SAFETY-MANUAL-71802
id: DOC-SAFETY-MANUAL-79606
title: Safety Manual
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-RELEASE-NOTE-60928
id: DOC-RELEASE-NOTE-78169
title: Release Note
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-MODULE-SAFETY-PACKAGE-FDR-52582
id: DOC-MODULE-SAFETY-PACKAGE-FDR-1950
title: Module Safety Package Fdr
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-MODULE-SAFETY-PLAN-FDR-59261
id: DOC-MODULE-SAFETY-PLAN-FDR-5428
title: Module Safety Plan Fdr
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-MODULE-VERIFICATION-REPORT-66650
id: DOC-MODULE-VERIFICATION-REPORT-55578
title: Module Verification Report
type: specification
status: approved
Expand Down
14 changes: 13 additions & 1 deletion rivet/eclipse-score-baselibs_rust/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,16 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs/baselibs_rust/containers_rust
- docs/docs/baselibs_rust/containers_rust/architecture
- docs/docs/baselibs_rust/containers_rust/requirements
- docs/docs/baselibs_rust/log
- docs/docs/baselibs_rust/log/architecture
- docs/docs/baselibs_rust/log/detailed_design
- docs/docs/baselibs_rust/log/requirements
- docs/docs/baselibs_rust/log/safety_analysis
- docs/docs/features/baselibs_rust/requirements
- docs/docs/module_docs/manual
- docs/docs/module_docs/release
- docs/docs/module_docs/safety_mgt
- docs/docs/module_docs/verification
2 changes: 1 addition & 1 deletion rivet/eclipse-score-bazel-tools-cc/docs/docs/index.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-13242
id: DOC-INDEX-6961
title: Index
type: specification
status: approved
Expand Down
2 changes: 1 addition & 1 deletion rivet/eclipse-score-bazel-tools-cc/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs
2 changes: 1 addition & 1 deletion rivet/eclipse-score-config_management/docs/docs/index.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-8551
id: DOC-INDEX-49416
title: Index
type: specification
status: approved
Expand Down
2 changes: 1 addition & 1 deletion rivet/eclipse-score-config_management/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-REQUIREMENTS-3107
id: DOC-REQUIREMENTS-39484
title: Requirements
type: specification
status: approved
Expand Down
2 changes: 1 addition & 1 deletion rivet/eclipse-score-docs-as-code/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,4 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs/internals/requirements
2 changes: 1 addition & 1 deletion rivet/eclipse-score-feo/docs/docs/index.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-8994
id: DOC-INDEX-16545
title: Index
type: specification
status: approved
Expand Down
2 changes: 1 addition & 1 deletion rivet/eclipse-score-feo/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs
2 changes: 1 addition & 1 deletion rivet/eclipse-score-inc_daal/docs/docs/index.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-48621
id: DOC-INDEX-52038
title: Index
type: specification
status: approved
Expand Down
2 changes: 1 addition & 1 deletion rivet/eclipse-score-inc_daal/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs
2 changes: 1 addition & 1 deletion rivet/eclipse-score-inc_diagnostics/docs/docs/index.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-64920
id: DOC-INDEX-69329
title: Index
type: specification
status: approved
Expand Down
2 changes: 1 addition & 1 deletion rivet/eclipse-score-inc_diagnostics/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs
2 changes: 1 addition & 1 deletion rivet/eclipse-score-inc_os_autosd/docs/docs/index.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-84921
id: DOC-INDEX-61529
title: Index
type: specification
status: approved
Expand Down
2 changes: 1 addition & 1 deletion rivet/eclipse-score-inc_os_autosd/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-DESIGN-DECISIONS-27627
id: DOC-DESIGN-DECISIONS-60571
title: Design Decisions
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-DYNAMIC-ARCHITECTURE-61265
id: DOC-DYNAMIC-ARCHITECTURE-88922
title: Dynamic Architecture
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-123
id: DOC-INDEX-89411
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INTERFACES-67066
id: DOC-INTERFACES-83458
title: Interfaces
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-93425
id: DOC-INDEX-85639
title: Index
type: specification
status: approved
Expand Down
3 changes: 2 additions & 1 deletion rivet/eclipse-score-inc_security_crypto/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,5 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs/crypto/architecture
- docs/score/crypto/daemon/data_manager/docs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-COMPONENTS-79813
id: DOC-COMPONENTS-91564
title: Components
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-DEC-SOMEIPGW-REGISTRATION-16425
id: DOC-DEC-SOMEIPGW-REGISTRATION-22025
title: Dec Someipgw Registration
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-STAKEHOLDER-70484
id: DOC-STAKEHOLDER-54603
title: Stakeholder
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-REQUIREMENTS-5945
id: DOC-REQUIREMENTS-27783
title: Requirements
type: specification
status: approved
Expand Down
4 changes: 3 additions & 1 deletion rivet/eclipse-score-inc_someip_gateway/rivet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,6 @@ sources:
format: generic-yaml

docs:
- docs
- docs/docs/architecture
- docs/docs/requirements
- docs/docs/tc8_conformance
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-INDEX-22941
id: DOC-INDEX-70393
title: Index
type: specification
status: approved
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: DOC-COMPONENT-CLASSIFICATION-30781
id: DOC-COMPONENT-CLASSIFICATION-13489
title: Component Classification
type: specification
status: approved
Expand Down
Loading
Loading