docs: make Sphinx and ubc agree - #4

Draft

ubmarco wants to merge 24 commits into

feat/adopt-spl-core-docs-pipelinefrom

feat/docs-parity-sweep

Commits on Sep 29, 2026

chore: drop uv.lock
ubmarco
committed
59e5e7d
docs: highlight the JSON blocks with comments as json
ubmarco
committed
464cdb1
docs: give every page a place in the navigation
ubmarco
committed
cbef21a
feat(needs): declare the fields the imported needs carry
ubmarco
committed
d610d5b
chore(ubc): ignore tabs in the generated source listings
ubmarco
committed
d84d052
fix(brightness_controller): implement SWDD_BC-203 in the automatic branch only
ubmarco
committed
d5f4fb1
docs(agents): a condition that cannot be evaluated warns
ubmarco
committed
db9e968
docs(variants): trace code to the design, per variant
ubmarco
committed
6825977
refactor: define implementation needs as one-line comments
ubmarco
committed
dd8216e
docs(variants): name the component directory in src-trace
ubmarco
committed
218247e
fix(csv): put the requirement images into the needs' content
ubmarco
committed
e0bebae
feat: select a variant with generated files instead of a link
ubmarco
committed
f439624
feat: import the test results as needs in both readers
ubmarco
committed
5c4c6e8
feat: hand codelinks the selected build's compile database
ubmarco
committed
d3df1b3
docs: give every generated page a place in the navigation
ubmarco
committed
3b630bd
docs: describe the generated selection
ubmarco
committed
5076fdc
ci: gate the documentation on both readers, strictly
ubmarco
committed
40a8046
build: pin the spl-core commit that the generated selection needs
ubmarco
committed
8cd0dbe
feat: check the configuration whenever Sphinx reads it
ubmarco
committed
3303b5a
test: check the generated selection instead of the link
ubmarco
committed
b4f38a4
fix(csv): let ubc show the images of the imported requirements
ubmarco
committed
bfb7ab1
test: run the documentation gate in a linked worktree too
ubmarco
committed
6550277
fix: show only its own component in a component report
ubmarco
committed
536f633
ci: gate the per-component reports as well
ubmarco
committed
9b3c644

Navigation Menu

docs: make Sphinx and ubc agree - #4

docs: make Sphinx and ubc agree#4
ubmarco wants to merge 24 commits into
feat/adopt-spl-core-docs-pipelinefrom
feat/docs-parity-sweep

Commits on Sep 29, 2026

chore: drop uv.lock

docs: highlight the JSON blocks with comments as json

docs: give every page a place in the navigation

feat(needs): declare the fields the imported needs carry

chore(ubc): ignore tabs in the generated source listings

fix(brightness_controller): implement SWDD_BC-203 in the automatic branch only

docs(agents): a condition that cannot be evaluated warns

docs(variants): trace code to the design, per variant

refactor: define implementation needs as one-line comments

docs(variants): name the component directory in src-trace

fix(csv): put the requirement images into the needs' content

feat: select a variant with generated files instead of a link

feat: import the test results as needs in both readers

feat: hand codelinks the selected build's compile database

docs: give every generated page a place in the navigation

docs: describe the generated selection

ci: gate the documentation on both readers, strictly

build: pin the spl-core commit that the generated selection needs

feat: check the configuration whenever Sphinx reads it

test: check the generated selection instead of the link

fix(csv): let ubc show the images of the imported requirements

test: run the documentation gate in a linked worktree too

fix: show only its own component in a component report

ci: gate the per-component reports as well