Skip to content

Commit bf9294e

Browse files
committed
Record no-authored-change impact reviews for parser.go (PR #283)
Clears the authored_delta_expected audit warning that blocked PR #283. Records explicit no-authored-change impact reviews for all 83 requirements owning parser.go via the per-branch sidecar (proof/impact-reviews/). Rationale: the OSS-Fuzz 4649128545288192 Delete panic fix (commit a6c5ed3) guards the data[prevTok] dereference. The owning requirements already specified no-panic on malformed input (e.g. SYS-REQ-035 'shall not panic'), so the authored intent is unchanged -- the implementation now complies with the existing specification.
1 parent b0adab0 commit bf9294e

1 file changed

Lines changed: 834 additions & 0 deletions

File tree

0 commit comments

Comments
 (0)