Fixed in 308ce5e: the ruled-out rule now stands in the severity rubric, as [low] also, above the rules for [high] and [medium]: ….
6afb1dd3ac
werkrevisor 0.66.0: --attach replaces the report of the same commit and folds earlier ones
Fixed in 5caafdf: test_the_descriptions_are_the_documented_ones pins each text literally; the other tests keep the constants, so one place holds the contract.
Fixed in 5caafdf: a broken sandbox now shows operator 🔧: the Codex sandbox fails on the workstation; see the runner log, a queued PR keeps queued ⏳:.
Fixed in e3417f8: Scenario#137.01 has only the case without quotes; Scenario#137.02 is the case in quotes.
The rename stays only in the config, with its condition that other code still uses the…
Round 2 (9c6c9090), fixed in e3417f8:
- YELLOW spec, Scenario#137.01 implementation_details: one case per scenario, without SQL terms; the quoted case is now Scenario#137.02.
- Line comments:…
Does not hold: the PR changes no step or decision of werkrevisor.
tools/diagrams/review_decisions.py draws the code path, and it is unchanged:
the model rates a finding, "Jev judges each…
Round 1 (bce22a5d), fixed in 9c6c909, rebased onto main with PR#135:
- YELLOW spec, Scenario#137.01 implementation_details: both scenarios now describe what the review reports, not the…