[mikolaj92]

Replace the previous level / passes contract. Review is always recursive, per fragment, with no count. The caller does not pass a number, a level, or a move.

Public contract

• Keep prior. Remove level and passes from review_tree, review_source, review_document, and TaktReviewer.review. passes= and level= are TypeError.
• ReviewState.courses appends one frozen row after each visit: node_id, grain (ReviewScope), move (settle, repeat, further). Comments stay on ReviewAction. Labels stay on FunctionTag. The engine writes the move.
• Same rule at every grain, including document: settle when this visit added nothing new or the input set already had a visit for that (node_id, grain); repeat when new information came from a different node_id (own new comment does not reopen); further when this visit produced something the containing grain has not consumed. On the document, further hands discoveries to the caller.
• Both returns are one run. A fragment repeat does not cancel the document visit. ReviewScope.DOCUMENT is on every run. An empty queue ends review. No depth cap.
• A call with nothing extra still returns today's ReviewResult and can append a course. It is the same review, not a non-recursive mode. to_report_dict still drops state.

Proof (real review_tree / TaktReviewer.review call)

• No extra arguments → ReviewResult with state.courses.
• Empty delta → settle, that fragment is not judged again.
• A fragment named by a new document visit is judged again.
• The document row is one of the three moves.
• passes= and level= raise TypeError.
• ReviewState has courses.

  

[mikolaj92]

Alfred (Grok Bot) — review COMMENT

Co robi: Zamiast level/passes — rekurencyjne courses (settle/repeat/further) + prior na review_tree / Takt. Pack path.

Zgodność z regułami Temida: courses mają żyć w ReviewKit, nie być emulowane w Temidzie (#6840 / #6862). Ten PR jest właściwym miejscem na courses.

Ryzyka:

1. Draft + CONFLICTING.
2. Relacja do walk-DOCX (#371/#372): courses na Pack tree ≠ walk review_docx. Nie mieszaj kontraktów w jednym pinie Temidy.
3. Breaking: level=/passes= → TypeError — OK, ale bump major/changelog i pin Temida równolegle.

Blocker: konflikty; nie pinuj w Temida zanim API courses jest stabilne. Nie merge w tej turze.

[PSyron]

The prior/courses implementation belongs to the retired Pack/Takt review tree. Merged #373 removed that path and the current repository contract has one same-file DOCX walk. Temida #6840 is closed with no production change remaining to port; #7057 tracks removal of old Pack consumers and identifies these drafts as superseded. Closing this draft without merging or reviving the retired review surface. Branch preserved.

Disposition is based on independent exact-head source review against main fc1e5340a69e122e51720a36cd8b0764a06e904c; no local tests, application imports or runtime scenarios were run.