Productivity log: fixes from the contributor report

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01RNwtXPYqFu3oKaaXwYwNWW
This commit is contained in:
Saty 2026-10-18 20:34:53 +02:00
commit 064c55f394

View file

@ -73,10 +73,22 @@ Agents produce a lot (about 27 functions per contributor-hour); the pipeline los
class, neighbouring functions), bulk peer reviews with random spread, peer queue before
auto-accept, review-first rule above 100 waiting reviews, "no decompile" claims.
Later the same day, from a contributor's report:
- Verification also compiles the unit each submitted function is emitted from on main. Header
inline functions (1708 open tasks have a header as their unit) were reported as "no compiled
function is annotated" because the one includer compiled did not use them; Win32/ copies (428
open tasks, 339 symbols moved to their x64 unit) are compiled out of the x64 build.
- Agents may edit the emitting unit, not only the task's nominal file.
- `td symbol new` accepted only 32-bit addresses (every x64 function is above 4 GB).
- Adjustor thunks and deleting destructors: agents are told to claim them no-decompile instead of
stacking annotations (they cannot bind to a body).
### What to compare at the next review
- `mergedShare` (was 3.9%) and merged/h (was 14.0 over 24 h, 8.2 in the last 6 h).
- "no compiled function is annotated" should be near zero; `withdrawn` takes its place.
- "no compiled function is annotated" should be near zero; `withdrawn` takes its place. Remaining
cases: check whether they are header or Win32 functions (should be gone) or real misses.
- "changes functions it does not hold" should drop by most of its 2022.
- `returned` should drop; "byte-identical, approved automatically" should no longer appear among
the losses.