From 064c55f394e0aa970949309af1b077135a2a6193 Mon Sep 17 00:00:00 2001 From: Saty <5752427+SatyPardus@users.noreply.github.com> Date: Sun, 18 Oct 2026 20:34:53 +0200 Subject: [PATCH] Productivity log: fixes from the contributor report Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01RNwtXPYqFu3oKaaXwYwNWW --- docs/productivity.md | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/docs/productivity.md b/docs/productivity.md index 608e7e3..955000b 100644 --- a/docs/productivity.md +++ b/docs/productivity.md @@ -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.