Playground/bitmanipulation seooc rebased - #529

Draft

antonkri wants to merge 15 commits into

mainfrom

playground/bitmanipulation-seooc-rebased

Commits on Aug 28, 2026

bitmanipulation: wire SEooC dependable_element (assumptions_of_use, requirements, architecture, certified scope)
antonkri
committed
e446bed
Point dependable_element_bitmanipulation at narrow feat_req_bitmanipulation
antonkri
committed
4424ed8
bitmanipulation: instrument unit tests with requirement traceability properties
antonkri
committed
85f5b13
Add Lobster traceability report page for bitmanipulation docs
antonkri
committed
e18cf0f
Add checklists table to traceability report; switch to git_override
antonkri
committed
eff5afc
bitmanipulation SEooC: wire public_api into dependability_analysis
antonkri
committed
4aa51bc
Point score_docs_as_code at pushed lobster-traceability-report fix; update traceability.rst prose
antonkri
committed
c749f2f
bitmanipulation SEooC: restore GTest traceability, fix docs warnings, switch score_tooling to pushed git_override
antonkri
committed
9bcc5bb

Commits on Sep 1, 2026