Pudu 0.1.3 and derives

type: handoff from_role: Implementer to_role: Forensic Guardian status: in-progress tags: [handoff, delivery]

Done

• Issue #11 is the ready issue; feature/11-pudu-0-1-3 is branched from dev.
• The corpus is regenerated from pudu-lang v0.1.3 ([[src/PuduLangMcp/Generated/Docs]]).
• The reference lists trait and implementation methods, type and trait declarations with their derives clauses, and every derive strategy ([[src/PuduLangMcp/Domain/Reference/Decode]], [[src/PuduLangMcp/Domain/Reference/Derives]]).
• The prompts carry the derive rules; the server decodes and encodes its own JSON records with derives ([[src/PuduLangMcp/Domain/Catalog/Prompts]]).
• The reported server version follows the manifest, and the instructions name real tools ([[src/PuduLangMcp/Constants/Server]]).
• A built server indexes the installed library rather than its own bundle ([[src/PuduLangMcp/Services/Toolchain]]); pudu_expand is a new tool ([[src/PuduLangMcp/App/Tools/Compiler]]).
• Upstream: chrismichaelps/pudu-lang#458 (derive declarations missing from pudu doc --json) and chrismichaelps/pudu-lang#459 (standard library prose still saying the language has no deriving), and chrismichaelps/pudu-lang#460 (built executables overwriting PUDU_LIB).

Decided (do not re-litigate)

• The corpus follows the released tag, not dev.
• The derive scan stays until pudu-lang#458 is fixed, then the compiler's entries replace it.

Open / Remaining

• The pull request into dev, the release pull request into main, and the v0.1.2 release.

Exact next action

Open the pull request from feature/11-pudu-0-1-3 into dev and merge it once checks and mutation pass.

Links

[[00-INDEX]] · [[CHANGELOG]] · [[architecture/TESTING]]

Referenced by

[[handoffs/_MOC]] · [[CHANGELOG]]