feat: enforce modification procedure records - #120

Closed

rajasimman-madhivanan wants to merge 15 commits into

mainfrom

change-0002-modification-procedure-enforcement

Commits on Sep 11, 2026

feat: add safety traceability linter

rajasimman-madhivanan
and
OpenCode
committed
326a6d0

Commits on Sep 12, 2026

feat: enforce modification procedure records

rajasimman-madhivanan
and
OpenCode
committed
b8cef25
fix: keep advisory checks non-blocking

rajasimman-madhivanan
and
OpenCode
committed
01e1f74

Commits on Sep 14, 2026

fix: keep generated coverage as the only numeric source

rajasimman-madhivanan
and
OpenCode
committed
bbb4beb
fix: preserve the comparison symbol in generated coverage

rajasimman-madhivanan
and
OpenCode
committed
93dd1a5
docs: remove competing coverage claims from the summary

rajasimman-madhivanan
and
OpenCode
committed
dac1e14
docs: restore the meaning behind partial verification

rajasimman-madhivanan
and
OpenCode
committed
67234f5
fix: reject malformed traceability inputs instead of guessing

rajasimman-madhivanan
and
OpenCode
committed
d399b0d
merge: bring in the reviewed traceability fixes

rajasimman-madhivanan
and
OpenCode
committed
301ac87
fix: watch the files that define bytes on the wire

rajasimman-madhivanan
and
OpenCode
committed
64e4fde
fix: close the remaining traceability edge cases

rajasimman-madhivanan
and
OpenCode
committed
74f1e7e
merge: carry the final traceability corrections forward

rajasimman-madhivanan
and
OpenCode
committed
2680584
fix: validate every external value before using it

rajasimman-madhivanan
and
OpenCode
committed
781c551
fix: reject mistyped allocation continuations

rajasimman-madhivanan
and
OpenCode
committed
8189602
merge: carry the final allocation checks forward

rajasimman-madhivanan
and
OpenCode
committed
0b285b2