record.edited: Generated record was edited by hand

Generated record was edited by hand.

Area 18, Records and manifest; 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 }

text

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.editedcheck failed: 1 error, 6 files