record.edited: Generated record was edited by hand

Generated record was edited by hand.

Area 18, Review and records; not declinable; the next step is usually the agent's.

A record is never edited by hand. Here someone added a note to the API record, which Jadpo never writes:

example

// Generated by Jadpo from the routes of API main; update it with `jadpo api update`, never by hand.record api 1POST /memos    authentication none    input AddMemo (body)    output MemoView    // Clients rely on 200 here.    status 200GET /openapi.json    generated openapi    authentication none    status 200input AddMemo    text: Text { max_length: 200 }output MemoView    text: Text { max_length: 200 }

jadpo checkcheck failed: 1 error, 6 files

error api/main.jadpo_record was edited by hand: a comment isn't part of a record

--> api/main.jadpo_record:8:1

  |8 |     // Clients rely on 200 here.  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not what Jadpo writes

reason: Jadpo writes this record with jadpo api update, and a record is never edited by hand, so its diff always means what the source or a command changed.
next: Run jadpo api update, which writes it again (agent)
rule: record.edited
help: https://jadpo.dev/docs/errors/record.edited