Fixed in 4578286: after a failed edit, attach reads the comment again and deletes only the new SVGs that it does not link; if the read fails too, it keeps them. The old SVGs go only if the new…
Fixed in 4578286: the fake counts asset IDs up and puts the ID into the URL, as Gitea never reuses them; the replacement test now replaces twice and checks the URL of the new asset.
Partly fixed in a048f26: the Given of Scenario#137.01 now says that tariffNos stands without quotes.
The scenarios stay without SQL terms, since the classifier rates those as implementation…
Round 5 (72372b63), answered in a048f26:
- YELLOW spec, Scenario#137.01 implementation_details 0.62: left to the human. The scenario is about the name of a database field, so it cannot…
Does not hold as a gap of this PR: the rules change what the model writes, which no deterministic test can show.
The dry runs in the PR document ran with [engine] mode = "combined" of `config/hsa…
Fixed in ff0dd74: a replacement folds the reports of the other heads too; test_a_replaced_report_folds_the_reports_of_other_heads failed before the fix.
Round 4 (1bd10be7), fixed in 72372b6:
- Merge conflict: rebased onto
mainwith PR#138; version 0.66.1, above PR#139 with 0.66.0. - YELLOW spec, Scenario#137.01 and #137.02: both use the…
Fixed in 020d14e: the Solution of the PR document now names the help texts in werkrevisor/draftreview.py.
Fixed in 020d14e: the line is wrapped after a comma.
Answer to the review of 5caafdf (round 2), fixed in aedea5d:
- ORANGE "RED Status": fixed, see the line comment.
- Hint "Rollout Claim": holds; the PR document now says that a WIP PR keeps…
Fixed in aedea5d: a RED head now shows author ✍️: werkrevisor found RED; push a commit that fixes the cause; only a missing result shows queued ⏳:. test_a_red_head_gets_no_codex_review…
Round 3 (e3417f81), fixed in 308ce5e:
- ORANGE, blanket suppression: fixed, see its thread.
- Ambiguous severity: fixed, see its thread.
- Finding 3, stale diagrams: does not hold, as in…
Fixed in 308ce5e: only the case of unquoted identifiers is exempt now.
A quoted identifier that the PR adds or refers to, with a case that differs from other code, is still a finding.
The…