driverge-mcp 0.0.0

package/dist/codegen/portable.js

@@ -0,0 +1,258 @@
+// Portable thin-HAL codegen. Renders a deterministic C driver skeleton from the
+// frozen DatasheetJson: register/command constants, bit-field mask+shift macros,
+// the 5-function thin-HAL seam (and NOTHING platform-specific — see
+// thin-hal-non-negotiable), function stubs, and TODO(driverge) markers at every
+// spot needing host-AI reasoning. Output is reproducible: no timestamps, stable
+// ordering. The host AI fills the brief and re-validates via validate_driver.
+import { HEX_ONLY, fieldMask, hex2, macro, slug } from "./ident.js";
+const AUTOGEN = (part, mfr, busLine) => [
+    "/*",
+    ` * ${part} driver — portable thin-HAL skeleton (generated by Driverge).`,
+    ` * Manufacturer: ${mfr}`,
+    ` * ${busLine}`,
+    " *",
+    " * This is a deterministic skeleton. Every TODO(driverge) marks a spot the",
+    " * host AI must complete (init sequence, vendor quirks, docs) using the",
+    " * datasheet JSON, then confirm with the validate_driver tool.",
+    " *",
+    " * Portability rule: this driver calls ONLY the hal_* seam below — never a",
+    " * vendor peripheral API. Implement the seam once per platform.",
+    " */",
+].join("\n");
+// ---------------------------------------------------------------------------
+// register_map
+// ---------------------------------------------------------------------------
+function registerConstants(prefix, registers) {
+    const lines = ["/* Register addresses. */"];
+    const seen = new Set();
+    for (const r of registers) {
+        if (!HEX_ONLY.test(r.address))
+            continue; // skip ranges like "0xE1…0xF0"
+        const macroName = `${prefix}_REG_${macro(r.name)}`;
+        if (seen.has(macroName))
+            continue;
+        seen.add(macroName);
+        lines.push(`#define ${macroName} ${r.address.toUpperCase().replace("0X", "0x")}`);
+    }
+    return lines;
+}
+function bitFieldMacros(prefix, registers) {
+    const lines = [];
+    for (const r of registers) {
+        if (r.bitFields.length === 0)
+            continue;
+        lines.push("", `/* ${r.name} bit fields. */`);
+        for (const f of r.bitFields) {
+            const base = `${prefix}_${macro(r.name)}_${macro(f.name)}`;
+            lines.push(`#define ${base}_MASK  ${hex2(fieldMask(f.msb, f.lsb))}`);
+            lines.push(`#define ${base}_SHIFT ${f.lsb}`);
+        }
+    }
+    return lines;
+}
+function registerDriver(json, name, prefix) {
+    const registers = json.interface.registers;
+    const spi = json.protocol.bus === "SPI";
+    const addr = json.protocol.addresses?.[0];
+    const guard = `${prefix}_H`;
+    const type = `${name}_t`;
+    const header = [
+        AUTOGEN(json.metadata.part || name, json.metadata.manufacturer, spi ? "Bus: SPI" : `Bus: I2C, address ${addr ?? "(unknown — see TODO)"}`),
+        "",
+        `#ifndef ${guard}`,
+        `#define ${guard}`,
+        "",
+        "#include <stddef.h>",
+        "#include <stdint.h>",
+        "",
+        '#ifdef __cplusplus',
+        'extern "C" {',
+        "#endif",
+        "",
+    ];
+    if (!spi) {
+        if (addr) {
+            header.push("/* I2C device address. */", `#define ${prefix}_I2C_ADDR ${addr}`, "");
+        }
+        else {
+            header.push("/* TODO(driverge): set the I2C device address (not found in the datasheet parse). */", `#define ${prefix}_I2C_ADDR 0x00`, "");
+        }
+    }
+    header.push(...registerConstants(prefix, registers));
+    const bits = bitFieldMacros(prefix, registers);
+    if (bits.length > 0)
+        header.push("", "/* Bit-field mask/shift accessors. */", ...bits);
+    header.push("", "/* Thin-HAL seam — implement these for your platform (see thin-hal). */", ...(spi
+        ? [
+            "void hal_spi_write(uint8_t *data, uint16_t len);",
+            "void hal_spi_read (uint8_t *data, uint16_t len);",
+        ]
+        : [
+            "void hal_i2c_write(uint8_t addr, uint8_t reg, uint8_t *data, uint16_t len);",
+            "void hal_i2c_read (uint8_t addr, uint8_t reg, uint8_t *data, uint16_t len);",
+        ]), "void hal_delay_ms (uint32_t ms);", "", "/* Driver handle. */", `typedef struct {`, spi ? "    uint8_t _reserved; /* platform CS handled in hal_spi_* */" : "    uint8_t i2c_addr;", `} ${type};`, "", "/* Public API. */", `int ${name}_init(${type} *dev);`, `int ${name}_read_register(${type} *dev, uint8_t reg, uint8_t *value);`, `int ${name}_write_register(${type} *dev, uint8_t reg, uint8_t value);`, "", '#ifdef __cplusplus', "}", "#endif", `#endif /* ${guard} */`, "");
+    const readBody = spi
+        ? ["    hal_spi_write(&reg, 1);", "    hal_spi_read(value, 1);"]
+        : ["    hal_i2c_read(dev->i2c_addr, reg, value, 1);"];
+    const writeBody = spi
+        ? ["    uint8_t frame[2];", "    frame[0] = reg;", "    frame[1] = value;", "    hal_spi_write(frame, 2);"]
+        : ["    hal_i2c_write(dev->i2c_addr, reg, &value, 1);"];
+    const source = [
+        `#include "${name}.h"`,
+        "",
+        `int ${name}_init(${type} *dev) {`,
+        "    if (dev == NULL) {",
+        "        return -1;",
+        "    }",
+        ...(spi ? [] : [`    dev->i2c_addr = ${prefix}_I2C_ADDR;`]),
+        "    /* TODO(driverge): implement the power-on / reset init sequence — the",
+        "     * correct register write order and values, plus any required startup",
+        `     * delay. See fill_in_brief.init_sequence_todo. Use ${name}_write_register()`,
+        "     * and hal_delay_ms(). */",
+        "    return 0;",
+        "}",
+        "",
+        `int ${name}_read_register(${type} *dev, uint8_t reg, uint8_t *value) {`,
+        "    if (dev == NULL || value == NULL) {",
+        "        return -1;",
+        "    }",
+        ...readBody,
+        "    return 0;",
+        "}",
+        "",
+        `int ${name}_write_register(${type} *dev, uint8_t reg, uint8_t value) {`,
+        "    if (dev == NULL) {",
+        "        return -1;",
+        "    }",
+        ...writeBody,
+        "    return 0;",
+        "}",
+        "",
+    ];
+    return {
+        files: makeFiles(name, header, source),
+        fill_in_brief: registerBrief(json),
+    };
+}
+function registerBrief(json) {
+    const part = json.metadata.part || "the device";
+    return {
+        init_sequence_todo: `Determine the correct power-on/reset init sequence for ${part}: which registers to write, in what order, with what values (mode/config), and any required startup delay. Read the datasheet init/operation section via the driverge://datasheet resource.`,
+        quirks_todo: `Capture vendor timing/behavior quirks for ${part} (e.g. mandatory power-on delay, soft-reset requirement, read-back constraints) and enforce them in ${slug(part)}_init using hal_delay_ms.`,
+        doc_todo: "Add Doxygen comments for all public functions and any device-specific compensation/conversion formulas.",
+    };
+}
+// ---------------------------------------------------------------------------
+// command_set
+// ---------------------------------------------------------------------------
+function commandDriver(json, name, prefix) {
+    const commands = json.interface.commands;
+    const addr = json.protocol.addresses?.[0];
+    const crc = commands.find((c) => c.crc)?.crc;
+    const guard = `${prefix}_H`;
+    const type = `${name}_t`;
+    const header = [
+        AUTOGEN(json.metadata.part || name, json.metadata.manufacturer, `Bus: I2C, address ${addr ?? "(unknown — see TODO)"} · command-set device`),
+        "",
+        `#ifndef ${guard}`,
+        `#define ${guard}`,
+        "",
+        "#include <stddef.h>",
+        "#include <stdint.h>",
+        "",
+        '#ifdef __cplusplus',
+        'extern "C" {',
+        "#endif",
+        "",
+    ];
+    if (addr) {
+        header.push("/* I2C device address. */", `#define ${prefix}_I2C_ADDR ${addr}`, "");
+    }
+    else {
+        header.push("/* TODO(driverge): set the I2C device address. */", `#define ${prefix}_I2C_ADDR 0x00`, "");
+    }
+    header.push("/* Command codes. */");
+    const seen = new Set();
+    for (const c of commands) {
+        const macroName = `${prefix}_CMD_${macro(c.name)}`;
+        if (seen.has(macroName))
+            continue;
+        seen.add(macroName);
+        header.push(`#define ${macroName} ${c.code.toUpperCase().replace("0X", "0x")}`);
+    }
+    if (crc) {
+        header.push("", `/* CRC-${crc.width} checksum parameters. */`, `#define ${prefix}_CRC_POLY ${crc.poly}`, `#define ${prefix}_CRC_INIT ${crc.init}`);
+    }
+    header.push("", "/* Thin-HAL seam — implement these for your platform (see thin-hal). */", "void hal_i2c_write(uint8_t addr, uint8_t reg, uint8_t *data, uint16_t len);", "void hal_i2c_read (uint8_t addr, uint8_t reg, uint8_t *data, uint16_t len);", "void hal_delay_ms (uint32_t ms);", "", "/* Driver handle. */", "typedef struct {", "    uint8_t i2c_addr;", `} ${type};`, "", "/* Public API. */", `int ${name}_init(${type} *dev);`, `int ${name}_send_command(${type} *dev, uint16_t command);`, `int ${name}_read_data(${type} *dev, uint8_t *buffer, uint16_t len);`, ...(crc ? [`uint8_t ${name}_crc8(const uint8_t *data, uint16_t len);`] : []), "", '#ifdef __cplusplus', "}", "#endif", `#endif /* ${guard} */`, "");
+    const source = [
+        `#include "${name}.h"`,
+        "",
+        `int ${name}_init(${type} *dev) {`,
+        "    if (dev == NULL) {",
+        "        return -1;",
+        "    }",
+        `    dev->i2c_addr = ${prefix}_I2C_ADDR;`,
+        "    /* TODO(driverge): power-up / soft-reset sequence and startup delay. See",
+        "     * fill_in_brief.init_sequence_todo. */",
+        "    return 0;",
+        "}",
+        "",
+        `int ${name}_send_command(${type} *dev, uint16_t command) {`,
+        "    uint8_t msb;",
+        "    uint8_t lsb;",
+        "    if (dev == NULL) {",
+        "        return -1;",
+        "    }",
+        "    msb = (uint8_t)(command >> 8);",
+        "    lsb = (uint8_t)(command & 0xFF);",
+        "    /* Command frame = [MSB][LSB]. hal_i2c_write emits the reg byte then the",
+        "     * data bytes, so MSB-as-reg + LSB-as-data yields the correct 2-byte frame. */",
+        "    hal_i2c_write(dev->i2c_addr, msb, &lsb, 1);",
+        "    return 0;",
+        "}",
+        "",
+        `int ${name}_read_data(${type} *dev, uint8_t *buffer, uint16_t len) {`,
+        "    if (dev == NULL || buffer == NULL) {",
+        "        return -1;",
+        "    }",
+        "    /* TODO(driverge): read `len` response bytes (data words each followed by a",
+        "     * CRC byte). Most command-set parts use a plain I2C read with no pointer",
+        "     * byte — adapt the HAL call to your platform, then check each word with",
+        `     * ${name}_crc8(). See fill_in_brief.quirks_todo. */`,
+        "    (void)dev;",
+        "    (void)buffer;",
+        "    (void)len;",
+        "    return 0;",
+        "}",
+        "",
+    ];
+    if (crc) {
+        source.push(`uint8_t ${name}_crc8(const uint8_t *data, uint16_t len) {`, "    (void)data;", "    (void)len;", `    /* TODO(driverge): implement CRC-${crc.width} (poly ${prefix}_CRC_POLY, init`, `     * ${prefix}_CRC_INIT) per the datasheet checksum section. See`, "     * fill_in_brief.crc_todo. */", "    return 0;", "}", "");
+    }
+    const brief = {
+        init_sequence_todo: `Determine the power-up / soft-reset sequence and any startup delay for ${json.metadata.part || "the device"}.`,
+        quirks_todo: `Implement ${name}_read_data for this part's actual read framing (clock stretching vs. fixed delay, number of data+CRC words per command) using the driverge://datasheet resource.`,
+        doc_todo: "Add Doxygen comments for all public functions and document each command's response layout.",
+    };
+    if (crc) {
+        brief.crc_todo = `Implement ${name}_crc8: CRC-${crc.width}, polynomial ${crc.poly}, init ${crc.init}, per the datasheet checksum section.`;
+    }
+    return { files: makeFiles(name, header, source), fill_in_brief: brief };
+}
+// ---------------------------------------------------------------------------
+function makeFiles(name, header, source) {
+    return [
+        { path: `${name}.h`, content: `${header.join("\n").replace(/\n{3,}/g, "\n\n")}` },
+        { path: `${name}.c`, content: `${source.join("\n").replace(/\n{3,}/g, "\n\n")}` },
+    ];
+}
+/** Render the portable thin-HAL driver skeleton for a validated datasheet. */
+export function generatePortableDriver(json) {
+    const part = json.metadata.part;
+    const name = slug(part);
+    const prefix = macro(name);
+    return json.interface.kind === "command_set"
+        ? commandDriver(json, name, prefix)
+        : registerDriver(json, name, prefix);
+}
+//# sourceMappingURL=portable.js.map

package/dist/codegen/portable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable.js","sourceRoot":"","sources":["../../src/codegen/portable.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,iFAAiF;AACjF,oEAAoE;AACpE,gFAAgF;AAChF,gFAAgF;AAChF,8EAA8E;AAI9E,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAGpE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,GAAW,EAAE,OAAe,EAAU,EAAE,CACrE;IACE,IAAI;IACJ,MAAM,IAAI,+DAA+D;IACzE,oBAAoB,GAAG,EAAE;IACzB,MAAM,OAAO,EAAE;IACf,IAAI;IACJ,4EAA4E;IAC5E,yEAAyE;IACzE,gEAAgE;IAChE,IAAI;IACJ,4EAA4E;IAC5E,iEAAiE;IACjE,KAAK;CACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEf,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,SAAS,iBAAiB,CAAC,MAAc,EAAE,SAAqB;IAC9D,MAAM,KAAK,GAAa,CAAC,2BAA2B,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,SAAS,CAAC,+BAA+B;QACxE,MAAM,SAAS,GAAG,GAAG,MAAM,QAAQ,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,WAAW,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,SAAqB;IAC3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,UAAU,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACrE,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CACrB,IAAmB,EACnB,IAAY,EACZ,MAAc;IAEd,MAAM,SAAS,GAAI,IAAI,CAAC,SAAuC,CAAC,SAAS,CAAC;IAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,KAAK,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,GAAG,MAAM,IAAI,CAAC;IAC5B,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,CAAC;IAEzB,MAAM,MAAM,GAAa;QACvB,OAAO,CACL,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,EAC1B,IAAI,CAAC,QAAQ,CAAC,YAAY,EAC1B,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,qBAAqB,IAAI,IAAI,sBAAsB,EAAE,CACzE;QACD,EAAE;QACF,WAAW,KAAK,EAAE;QAClB,WAAW,KAAK,EAAE;QAClB,EAAE;QACF,qBAAqB;QACrB,qBAAqB;QACrB,EAAE;QACF,oBAAoB;QACpB,cAAc;QACd,QAAQ;QACR,EAAE;KACH,CAAC;IAEF,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,CAAC,IAAI,CAAC,2BAA2B,EAAE,WAAW,MAAM,aAAa,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACrF,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CACT,sFAAsF,EACtF,WAAW,MAAM,gBAAgB,EACjC,EAAE,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,uCAAuC,EAAE,GAAG,IAAI,CAAC,CAAC;IAEvF,MAAM,CAAC,IAAI,CACT,EAAE,EACF,yEAAyE,EACzE,GAAG,CAAC,GAAG;QACL,CAAC,CAAC;YACE,kDAAkD;YAClD,kDAAkD;SACnD;QACH,CAAC,CAAC;YACE,6EAA6E;YAC7E,6EAA6E;SAC9E,CAAC,EACN,kCAAkC,EAClC,EAAE,EACF,sBAAsB,EACtB,kBAAkB,EAClB,GAAG,CAAC,CAAC,CAAC,+DAA+D,CAAC,CAAC,CAAC,uBAAuB,EAC/F,KAAK,IAAI,GAAG,EACZ,EAAE,EACF,mBAAmB,EACnB,OAAO,IAAI,SAAS,IAAI,SAAS,EACjC,OAAO,IAAI,kBAAkB,IAAI,sCAAsC,EACvE,OAAO,IAAI,mBAAmB,IAAI,qCAAqC,EACvE,EAAE,EACF,oBAAoB,EACpB,GAAG,EACH,QAAQ,EACR,aAAa,KAAK,KAAK,EACvB,EAAE,CACH,CAAC;IAEF,MAAM,QAAQ,GAAG,GAAG;QAClB,CAAC,CAAC,CAAC,6BAA6B,EAAE,6BAA6B,CAAC;QAChE,CAAC,CAAC,CAAC,iDAAiD,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,GAAG;QACnB,CAAC,CAAC,CAAC,uBAAuB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,8BAA8B,CAAC;QAC3G,CAAC,CAAC,CAAC,mDAAmD,CAAC,CAAC;IAE1D,MAAM,MAAM,GAAa;QACvB,aAAa,IAAI,KAAK;QACtB,EAAE;QACF,OAAO,IAAI,SAAS,IAAI,UAAU;QAClC,wBAAwB;QACxB,oBAAoB;QACpB,OAAO;QACP,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB,MAAM,YAAY,CAAC,CAAC;QAC3D,2EAA2E;QAC3E,2EAA2E;QAC3E,2DAA2D,IAAI,mBAAmB;QAClF,+BAA+B;QAC/B,eAAe;QACf,GAAG;QACH,EAAE;QACF,OAAO,IAAI,kBAAkB,IAAI,uCAAuC;QACxE,yCAAyC;QACzC,oBAAoB;QACpB,OAAO;QACP,GAAG,QAAQ;QACX,eAAe;QACf,GAAG;QACH,EAAE;QACF,OAAO,IAAI,mBAAmB,IAAI,sCAAsC;QACxE,wBAAwB;QACxB,oBAAoB;QACpB,OAAO;QACP,GAAG,SAAS;QACZ,eAAe;QACf,GAAG;QACH,EAAE;KACH,CAAC;IAEF,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;QACtC,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,YAAY,CAAC;IAChD,OAAO;QACL,kBAAkB,EAAE,0DAA0D,IAAI,6LAA6L;QAC/Q,WAAW,EAAE,6CAA6C,IAAI,uGAAuG,IAAI,CAAC,IAAI,CAAC,2BAA2B;QAC1M,QAAQ,EACN,yGAAyG;KAC5G,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,SAAS,aAAa,CACpB,IAAmB,EACnB,IAAY,EACZ,MAAc;IAEd,MAAM,QAAQ,GAAI,IAAI,CAAC,SAAqC,CAAC,QAAQ,CAAC;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;IAC7C,MAAM,KAAK,GAAG,GAAG,MAAM,IAAI,CAAC;IAC5B,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,CAAC;IAEzB,MAAM,MAAM,GAAa;QACvB,OAAO,CACL,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,EAC1B,IAAI,CAAC,QAAQ,CAAC,YAAY,EAC1B,qBAAqB,IAAI,IAAI,sBAAsB,uBAAuB,CAC3E;QACD,EAAE;QACF,WAAW,KAAK,EAAE;QAClB,WAAW,KAAK,EAAE;QAClB,EAAE;QACF,qBAAqB;QACrB,qBAAqB;QACrB,EAAE;QACF,oBAAoB;QACpB,cAAc;QACd,QAAQ;QACR,EAAE;KACH,CAAC;IAEF,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,CAAC,IAAI,CAAC,2BAA2B,EAAE,WAAW,MAAM,aAAa,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACrF,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,IAAI,CACT,mDAAmD,EACnD,WAAW,MAAM,gBAAgB,EACjC,EAAE,CACH,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,GAAG,MAAM,QAAQ,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC,WAAW,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,IAAI,CACT,EAAE,EACF,UAAU,GAAG,CAAC,KAAK,0BAA0B,EAC7C,WAAW,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,EACxC,WAAW,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,CACzC,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAI,CACT,EAAE,EACF,yEAAyE,EACzE,6EAA6E,EAC7E,6EAA6E,EAC7E,kCAAkC,EAClC,EAAE,EACF,sBAAsB,EACtB,kBAAkB,EAClB,uBAAuB,EACvB,KAAK,IAAI,GAAG,EACZ,EAAE,EACF,mBAAmB,EACnB,OAAO,IAAI,SAAS,IAAI,SAAS,EACjC,OAAO,IAAI,iBAAiB,IAAI,2BAA2B,EAC3D,OAAO,IAAI,cAAc,IAAI,wCAAwC,EACrE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,2CAA2C,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAC5E,EAAE,EACF,oBAAoB,EACpB,GAAG,EACH,QAAQ,EACR,aAAa,KAAK,KAAK,EACvB,EAAE,CACH,CAAC;IAEF,MAAM,MAAM,GAAa;QACvB,aAAa,IAAI,KAAK;QACtB,EAAE;QACF,OAAO,IAAI,SAAS,IAAI,UAAU;QAClC,wBAAwB;QACxB,oBAAoB;QACpB,OAAO;QACP,uBAAuB,MAAM,YAAY;QACzC,8EAA8E;QAC9E,6CAA6C;QAC7C,eAAe;QACf,GAAG;QACH,EAAE;QACF,OAAO,IAAI,iBAAiB,IAAI,4BAA4B;QAC5D,kBAAkB;QAClB,kBAAkB;QAClB,wBAAwB;QACxB,oBAAoB;QACpB,OAAO;QACP,oCAAoC;QACpC,sCAAsC;QACtC,8EAA8E;QAC9E,oFAAoF;QACpF,iDAAiD;QACjD,eAAe;QACf,GAAG;QACH,EAAE;QACF,OAAO,IAAI,cAAc,IAAI,yCAAyC;QACtE,0CAA0C;QAC1C,oBAAoB;QACpB,OAAO;QACP,iFAAiF;QACjF,+EAA+E;QAC/E,8EAA8E;QAC9E,UAAU,IAAI,4CAA4C;QAC1D,gBAAgB;QAChB,mBAAmB;QACnB,gBAAgB;QAChB,eAAe;QACf,GAAG;QACH,EAAE;KACH,CAAC;IAEF,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,IAAI,CACT,WAAW,IAAI,4CAA4C,EAC3D,iBAAiB,EACjB,gBAAgB,EAChB,wCAAwC,GAAG,CAAC,KAAK,UAAU,MAAM,iBAAiB,EAClF,UAAU,MAAM,oDAAoD,EACpE,mCAAmC,EACnC,eAAe,EACf,GAAG,EACH,EAAE,CACH,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAgB;QACzB,kBAAkB,EAAE,0EAA0E,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,YAAY,GAAG;QACnI,WAAW,EAAE,aAAa,IAAI,kKAAkK;QAChM,QAAQ,EAAE,4FAA4F;KACvG,CAAC;IACF,IAAI,GAAG,EAAE,CAAC;QACR,KAAK,CAAC,QAAQ,GAAG,aAAa,IAAI,cAAc,GAAG,CAAC,KAAK,gBAAgB,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,uCAAuC,CAAC;IAC7I,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AAC1E,CAAC;AAED,8EAA8E;AAE9E,SAAS,SAAS,CAAC,IAAY,EAAE,MAAgB,EAAE,MAAgB;IACjE,OAAO;QACL,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE;QACjF,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE;KAClF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,IAAmB;IACxD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa;QAC1C,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;QACnC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC"}

package/dist/codegen/stm32.d.ts

@@ -0,0 +1,4 @@
+import type { DatasheetJson } from "../schema/types.js";
+import type { DriverArtifact } from "./types.js";
+/** Portable core + a CubeHAL seam implementation for the same part. */
+export declare function generateStm32Driver(json: DatasheetJson): DriverArtifact;

package/dist/codegen/stm32.js

@@ -0,0 +1,64 @@
+// STM32 (CubeHAL) target. Like ESP32, a native target pre-fills the thin-HAL
+// seam rather than replacing it: the driver is the unchanged portable core plus a
+// <part>_hal_stm32.c that implements hal_i2c_*/hal_delay_ms with STM32 CubeHAL
+// (HAL_I2C_Mem_Read/Write, HAL_Delay). The user binds their I2C handle once via
+// <part>_stm32_bind(); the board/clock bring-up stays in their CubeMX project.
+import { prefixOf, slug } from "./ident.js";
+import { generatePortableDriver } from "./portable.js";
+function halImpl(name, prefix) {
+    const content = [
+        "/*",
+        ` * ${prefix} — STM32 CubeHAL seam implementation (generated by Driverge).`,
+        " *",
+        " * Drop this beside the portable core; it fills the thin-HAL seam with STM32",
+        " * CubeHAL. \"main.h\" is the CubeMX convention that pulls in your family's HAL",
+        " * and I2C_HandleTypeDef — if you don't use CubeMX, include your family header",
+        ` * (e.g. stm32f4xx_hal.h) instead. Call ${name}_stm32_bind(&hi2cX) once at`,
+        " * startup so the seam knows which I2C peripheral to use.",
+        " */",
+        `#include "${name}.h"`,
+        '#include "main.h"',
+        "",
+        `#ifndef ${prefix}_I2C_TIMEOUT_MS`,
+        `#define ${prefix}_I2C_TIMEOUT_MS 1000`,
+        "#endif",
+        "",
+        `static I2C_HandleTypeDef *s_${name}_hi2c;`,
+        "",
+        "/* Point the seam at the CubeMX-generated I2C handle (e.g. &hi2c1). */",
+        `void ${name}_stm32_bind(I2C_HandleTypeDef *hi2c) {`,
+        `    s_${name}_hi2c = hi2c;`,
+        "}",
+        "",
+        "void hal_i2c_write(uint8_t addr, uint8_t reg, uint8_t *data, uint16_t len) {",
+        "    /* CubeHAL takes the 8-bit (left-shifted) device address. */",
+        `    HAL_I2C_Mem_Write(s_${name}_hi2c, (uint16_t)(addr << 1), reg,`,
+        `                      I2C_MEMADD_SIZE_8BIT, data, len, ${prefix}_I2C_TIMEOUT_MS);`,
+        "}",
+        "",
+        "void hal_i2c_read(uint8_t addr, uint8_t reg, uint8_t *data, uint16_t len) {",
+        `    HAL_I2C_Mem_Read(s_${name}_hi2c, (uint16_t)(addr << 1), reg,`,
+        `                     I2C_MEMADD_SIZE_8BIT, data, len, ${prefix}_I2C_TIMEOUT_MS);`,
+        "}",
+        "",
+        "void hal_delay_ms(uint32_t ms) {",
+        "    HAL_Delay(ms);",
+        "}",
+        "",
+    ].join("\n");
+    return { path: `${name}_hal_stm32.c`, content };
+}
+/** Portable core + a CubeHAL seam implementation for the same part. */
+export function generateStm32Driver(json) {
+    const name = slug(json.metadata.part);
+    const prefix = prefixOf(json.metadata.part);
+    const base = generatePortableDriver(json);
+    return {
+        files: [...base.files, halImpl(name, prefix)],
+        fill_in_brief: {
+            ...base.fill_in_brief,
+            hal_setup_todo: `Configure the I2C peripheral in CubeMX (pins, clock, 7-bit addressing), then call ${name}_stm32_bind(&hi2cX) once at startup. Adjust ${prefix}_I2C_TIMEOUT_MS if needed.`,
+        },
+    };
+}
+//# sourceMappingURL=stm32.js.map

package/dist/codegen/stm32.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stm32.js","sourceRoot":"","sources":["../../src/codegen/stm32.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,kFAAkF;AAClF,+EAA+E;AAC/E,gFAAgF;AAChF,+EAA+E;AAG/E,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAGvD,SAAS,OAAO,CAAC,IAAY,EAAE,MAAc;IAC3C,MAAM,OAAO,GAAG;QACd,IAAI;QACJ,MAAM,MAAM,+DAA+D;QAC3E,IAAI;QACJ,8EAA8E;QAC9E,iFAAiF;QACjF,gFAAgF;QAChF,2CAA2C,IAAI,6BAA6B;QAC5E,2DAA2D;QAC3D,KAAK;QACL,aAAa,IAAI,KAAK;QACtB,mBAAmB;QACnB,EAAE;QACF,WAAW,MAAM,iBAAiB;QAClC,WAAW,MAAM,sBAAsB;QACvC,QAAQ;QACR,EAAE;QACF,+BAA+B,IAAI,QAAQ;QAC3C,EAAE;QACF,wEAAwE;QACxE,QAAQ,IAAI,wCAAwC;QACpD,SAAS,IAAI,eAAe;QAC5B,GAAG;QACH,EAAE;QACF,8EAA8E;QAC9E,kEAAkE;QAClE,2BAA2B,IAAI,oCAAoC;QACnE,0DAA0D,MAAM,mBAAmB;QACnF,GAAG;QACH,EAAE;QACF,6EAA6E;QAC7E,0BAA0B,IAAI,oCAAoC;QAClE,yDAAyD,MAAM,mBAAmB;QAClF,GAAG;QACH,EAAE;QACF,kCAAkC;QAClC,oBAAoB;QACpB,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,cAAc,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,mBAAmB,CAAC,IAAmB;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAE1C,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7C,aAAa,EAAE;YACb,GAAG,IAAI,CAAC,aAAa;YACrB,cAAc,EAAE,qFAAqF,IAAI,+CAA+C,MAAM,4BAA4B;SAC3L;KACF,CAAC;AACJ,CAAC"}

package/dist/codegen/types.d.ts

@@ -0,0 +1,20 @@
+export type CodegenTarget = "portable" | "stm32" | "esp32" | "arduino";
+export declare const CODEGEN_TARGETS: readonly CodegenTarget[];
+export interface GeneratedFile {
+    path: string;
+    content: string;
+}
+/** Reasoning gaps the host AI must fill; keys mirror the wiki tool contract. */
+export interface FillInBrief {
+    init_sequence_todo: string;
+    quirks_todo: string;
+    doc_todo: string;
+    /** Present only for command-set devices with a CRC. */
+    crc_todo?: string;
+    /** Present for native targets whose HAL seam needs board bring-up. */
+    hal_setup_todo?: string;
+}
+export interface DriverArtifact {
+    files: GeneratedFile[];
+    fill_in_brief: FillInBrief;
+}

package/dist/codegen/types.js

@@ -0,0 +1,11 @@
+// Codegen contract types. A driver artifact is the deterministic skeleton the
+// server renders (see wiki: hybrid-codegen-skeleton-plus-host-reasoning): concrete
+// files plus a fill_in_brief telling the host AI which TODO(driverge) markers to
+// complete. Targets beyond "portable" arrive in Sessions 7-8.
+export const CODEGEN_TARGETS = [
+    "portable",
+    "stm32",
+    "esp32",
+    "arduino",
+];
+//# sourceMappingURL=types.js.map

package/dist/codegen/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/codegen/types.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,mFAAmF;AACnF,iFAAiF;AACjF,8DAA8D;AAI9D,MAAM,CAAC,MAAM,eAAe,GAA6B;IACvD,UAAU;IACV,OAAO;IACP,OAAO;IACP,SAAS;CACV,CAAC"}

package/dist/mcp/cache.d.ts

@@ -0,0 +1,12 @@
+import type { DatasheetJson } from "../schema/types.js";
+export interface CacheEntry {
+    ref: string;
+    pdfPath: string;
+    json: DatasheetJson;
+}
+/** Idempotent ref for a file: same path + mtime → same ref → cache hit. */
+export declare function computeRef(pdfPath: string, mtimeMs: number): string;
+export declare function putDatasheet(entry: CacheEntry): void;
+export declare function getDatasheet(ref: string): CacheEntry | undefined;
+/** Test seam — reset cache between cases. */
+export declare function clearDatasheetCache(): void;

package/dist/mcp/cache.js

@@ -0,0 +1,24 @@
+// Server-side datasheet cache. analyze_datasheet parses once and stores the full
+// DatasheetJson under a content-stable `ref` (hash of pdf_path + mtime); later
+// tools hydrate by ref so the large JSON never round-trips through the model.
+// See wiki: parsed-json-handoff-via-handle.
+import { createHash } from "node:crypto";
+const store = new Map();
+/** Idempotent ref for a file: same path + mtime → same ref → cache hit. */
+export function computeRef(pdfPath, mtimeMs) {
+    const hash = createHash("sha1")
+        .update(`${pdfPath}:${Math.round(mtimeMs)}`)
+        .digest("hex");
+    return `ds_${hash.slice(0, 12)}`;
+}
+export function putDatasheet(entry) {
+    store.set(entry.ref, entry);
+}
+export function getDatasheet(ref) {
+    return store.get(ref);
+}
+/** Test seam — reset cache between cases. */
+export function clearDatasheetCache() {
+    store.clear();
+}
+//# sourceMappingURL=cache.js.map

package/dist/mcp/cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.js","sourceRoot":"","sources":["../../src/mcp/cache.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,+EAA+E;AAC/E,8EAA8E;AAC9E,4CAA4C;AAE5C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AASzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;AAE5C,2EAA2E;AAC3E,MAAM,UAAU,UAAU,CAAC,OAAe,EAAE,OAAe;IACzD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC;SAC5B,MAAM,CAAC,GAAG,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;SAC3C,MAAM,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAW;IACtC,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,mBAAmB;IACjC,KAAK,CAAC,KAAK,EAAE,CAAC;AAChB,CAAC"}

package/dist/mcp/register.d.ts

@@ -0,0 +1,6 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerDrivergeTools(server: McpServer): void;
+export declare function registerDrivergeResources(server: McpServer): void;
+export declare function registerDrivergePrompts(server: McpServer): void;
+/** Register the entire Driverge surface on a server. */
+export declare function registerDriverge(server: McpServer): void;

package/dist/mcp/register.js

@@ -0,0 +1,195 @@
+// Registers the full Driverge MCP surface — tools, resources, prompts — on a
+// server instance. Kept out of server.ts so the wiring is unit-testable over an
+// in-memory transport. Contract: wiki mcp-tool-usage-flow.
+import { existsSync, mkdirSync, readFileSync, statSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { ResourceTemplate, } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { z } from "zod";
+import { UnsupportedTargetError, generateDriver, lintDriver, } from "../codegen/index.js";
+import { analyzePdfFile } from "../pdf/analyze.js";
+import { assembleDatasheet } from "../schema/assemble.js";
+import { validateDatasheet } from "../schema/validate.js";
+import { computeRef, getDatasheet, putDatasheet } from "./cache.js";
+import { buildSummary } from "./summary.js";
+const TARGET = z.enum(["portable", "stm32", "esp32", "arduino"]);
+const FILES = z.array(z.object({ path: z.string(), content: z.string() }));
+const text = (value, isError = false) => ({
+    content: [
+        {
+            type: "text",
+            text: typeof value === "string" ? value : JSON.stringify(value, null, 2),
+        },
+    ],
+    ...(isError ? { isError: true } : {}),
+});
+// The frozen JSON-Schema, shipped alongside dist/ (see package.json "files").
+function loadSchemaText() {
+    try {
+        const url = new URL("../../schemas/datasheet.schema.json", import.meta.url);
+        return readFileSync(fileURLToPath(url), "utf8");
+    }
+    catch {
+        return "{}";
+    }
+}
+export function registerDrivergeTools(server) {
+    server.registerTool("analyze_datasheet", {
+        title: "Analyze datasheet",
+        description: "Parse an IC datasheet PDF (L1–L5), validate it, and cache the structured JSON under a stable `ref`. Returns a compact summary; read the full JSON via the driverge://datasheet/<ref> resource.",
+        inputSchema: {
+            pdf_path: z.string().describe("absolute path to the datasheet PDF"),
+            manufacturer_hint: z.string().optional(),
+            interface_kind_hint: z.enum(["register_map", "command_set"]).optional(),
+        },
+    }, async ({ pdf_path }) => {
+        if (!existsSync(pdf_path)) {
+            return text(`file not found: ${pdf_path}`, true);
+        }
+        const ref = computeRef(pdf_path, statSync(pdf_path).mtimeMs);
+        const cached = getDatasheet(ref);
+        if (cached)
+            return text(buildSummary(cached));
+        let analysis;
+        try {
+            analysis = await analyzePdfFile(pdf_path);
+        }
+        catch (err) {
+            return text(`failed to parse PDF: ${err.message}`, true);
+        }
+        if (analysis.type === "scanned") {
+            return text("PDF appears to be scanned (no extractable text). OCR is not supported in v0.1.0.", true);
+        }
+        const json = assembleDatasheet(analysis);
+        putDatasheet({ ref, pdfPath: pdf_path, json });
+        return text(buildSummary({ ref, pdfPath: pdf_path, json }));
+    });
+    server.registerTool("generate_driver", {
+        title: "Generate driver",
+        description: "Render a deterministic thin-HAL driver skeleton (with TODO(driverge) markers + a fill_in_brief) from a previously analyzed datasheet `ref`. Rejects refs that failed validation.",
+        inputSchema: {
+            ref: z.string(),
+            target: TARGET.default("portable"),
+            out_dir: z.string().optional(),
+        },
+    }, async ({ ref, target, out_dir }) => {
+        const entry = getDatasheet(ref);
+        if (!entry)
+            return text(`unknown ref "${ref}" — run analyze_datasheet first`, true);
+        if (!entry.json.validation.valid) {
+            return text({
+                error: "datasheet validation failed — codegen refused",
+                errors: entry.json.validation.errors,
+            }, true);
+        }
+        let artifact;
+        try {
+            artifact = generateDriver(entry.json, target);
+        }
+        catch (err) {
+            if (err instanceof UnsupportedTargetError)
+                return text(err.message, true);
+            throw err;
+        }
+        if (out_dir) {
+            mkdirSync(out_dir, { recursive: true });
+            for (const f of artifact.files)
+                writeFileSync(join(out_dir, f.path), f.content);
+        }
+        return text(artifact);
+    });
+    server.registerTool("validate_driver", {
+        title: "Validate driver",
+        description: "Static-lint a completed driver against its source datasheet `ref`: thin-HAL purity, no leftover TODO(driverge), register/command references exist, bit-field masks match the JSON.",
+        inputSchema: { ref: z.string(), target: TARGET.optional(), files: FILES },
+    }, async ({ ref, files }) => {
+        const entry = getDatasheet(ref);
+        if (!entry)
+            return text(`unknown ref "${ref}" — run analyze_datasheet first`, true);
+        const result = lintDriver(files, entry.json);
+        return text({
+            passed: result.valid,
+            warnings: result.warnings,
+            errors: result.errors,
+        });
+    });
+    server.registerTool("validate_datasheet", {
+        title: "Validate datasheet JSON",
+        description: "Re-run the L5 validator over a cached `ref` or a supplied datasheet JSON. Thin wrapper over the same rules analyze_datasheet applies internally.",
+        inputSchema: {
+            ref: z.string().optional(),
+            json: z.record(z.string(), z.unknown()).optional(),
+        },
+    }, async ({ ref, json }) => {
+        if (ref) {
+            const entry = getDatasheet(ref);
+            if (!entry)
+                return text(`unknown ref "${ref}"`, true);
+            return text(validateDatasheet(entry.json));
+        }
+        if (json)
+            return text(validateDatasheet(json));
+        return text("provide either `ref` or `json`", true);
+    });
+}
+export function registerDrivergeResources(server) {
+    const schemaText = loadSchemaText();
+    server.registerResource("datasheet-schema", "driverge://schema", {
+        title: "Datasheet JSON schema",
+        description: "The frozen draft-07 JSON-Schema contract for parsed datasheets.",
+        mimeType: "application/json",
+    }, async (uri) => ({
+        contents: [{ uri: uri.href, mimeType: "application/json", text: schemaText }],
+    }));
+    server.registerResource("datasheet-json", new ResourceTemplate("driverge://datasheet/{ref}", { list: undefined }), {
+        title: "Parsed datasheet JSON",
+        description: "Full structured JSON for an analyzed datasheet, by ref.",
+        mimeType: "application/json",
+    }, async (uri, variables) => {
+        const ref = String(variables.ref);
+        const entry = getDatasheet(ref);
+        if (!entry)
+            throw new Error(`unknown datasheet ref "${ref}"`);
+        return {
+            contents: [
+                {
+                    uri: uri.href,
+                    mimeType: "application/json",
+                    text: JSON.stringify(entry.json, null, 2),
+                },
+            ],
+        };
+    });
+}
+export function registerDrivergePrompts(server) {
+    server.registerPrompt("generate-driver", {
+        title: "Generate a driver",
+        description: "Guided flow: render the skeleton for a ref/target, complete the TODO(driverge) markers using the datasheet resource, then validate.",
+        argsSchema: { ref: z.string(), target: z.string().optional() },
+    }, ({ ref, target }) => ({
+        messages: [
+            {
+                role: "user",
+                content: {
+                    type: "text",
+                    text: [
+                        `Generate an embedded driver for datasheet ref "${ref}" (target: ${target ?? "portable"}).`,
+                        "",
+                        `1. Call generate_driver({ ref: "${ref}", target: "${target ?? "portable"}" }).`,
+                        `2. Read driverge://datasheet/${ref} for full register/command detail.`,
+                        "3. Complete every TODO(driverge) marker using the fill_in_brief and the datasheet JSON — init sequence, vendor quirks, docs (and CRC for command-set parts).",
+                        "4. Keep all bus access on the hal_* seam; never call a vendor peripheral API directly.",
+                        `5. Call validate_driver({ ref: "${ref}", files: [...] }) and fix any reported errors, then return the final files.`,
+                    ].join("\n"),
+                },
+            },
+        ],
+    }));
+}
+/** Register the entire Driverge surface on a server. */
+export function registerDriverge(server) {
+    registerDrivergeTools(server);
+    registerDrivergeResources(server);
+    registerDrivergePrompts(server);
+}
+//# sourceMappingURL=register.js.map

package/dist/mcp/register.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"register.js","sourceRoot":"","sources":["../../src/mcp/register.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,gFAAgF;AAChF,2DAA2D;AAE3D,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAEL,gBAAgB,GACjB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,sBAAsB,EACtB,cAAc,EACd,UAAU,GACX,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AACjE,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;AAM3E,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,OAAO,GAAG,KAAK,EAAc,EAAE,CAAC,CAAC;IAC7D,OAAO,EAAE;QACP;YACE,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;SACzE;KACF;IACD,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACtC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,SAAS,cAAc;IACrB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,qCAAqC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5E,OAAO,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAiB;IACrD,MAAM,CAAC,YAAY,CACjB,mBAAmB,EACnB;QACE,KAAK,EAAE,mBAAmB;QAC1B,WAAW,EACT,gMAAgM;QAClM,WAAW,EAAE;YACX,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oCAAoC,CAAC;YACnE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YACxC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE;SACxE;KACF,EACD,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACrB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,mBAAmB,QAAQ,EAAE,EAAE,IAAI,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;QAE9C,IAAI,QAAQ,CAAC;QACb,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,wBAAyB,GAAa,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,IAAI,CACT,kFAAkF,EAClF,IAAI,CACL,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACzC,YAAY,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC,CACF,CAAC;IAEF,MAAM,CAAC,YAAY,CACjB,iBAAiB,EACjB;QACE,KAAK,EAAE,iBAAiB;QACxB,WAAW,EACT,kLAAkL;QACpL,WAAW,EAAE;YACX,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;YACf,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;YAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;SAC/B;KACF,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE;QACjC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,gBAAgB,GAAG,iCAAiC,EAAE,IAAI,CAAC,CAAC;QACpF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YACjC,OAAO,IAAI,CACT;gBACE,KAAK,EAAE,+CAA+C;gBACtD,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM;aACrC,EACD,IAAI,CACL,CAAC;QACJ,CAAC;QAED,IAAI,QAAQ,CAAC;QACb,IAAI,CAAC;YACH,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,MAAuB,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,sBAAsB;gBAAE,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAC1E,MAAM,GAAG,CAAC;QACZ,CAAC;QAED,IAAI,OAAO,EAAE,CAAC;YACZ,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK;gBAAE,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC,CACF,CAAC;IAEF,MAAM,CAAC,YAAY,CACjB,iBAAiB,EACjB;QACE,KAAK,EAAE,iBAAiB;QACxB,WAAW,EACT,oLAAoL;QACtL,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;KAC1E,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE;QACvB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,gBAAgB,GAAG,iCAAiC,EAAE,IAAI,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,UAAU,CAAC,KAAwB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;YACV,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;SACtB,CAAC,CAAC;IACL,CAAC,CACF,CAAC;IAEF,MAAM,CAAC,YAAY,CACjB,oBAAoB,EACpB;QACE,KAAK,EAAE,yBAAyB;QAChC,WAAW,EACT,kJAAkJ;QACpJ,WAAW,EAAE;YACX,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;SACnD;KACF,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;QACtB,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC,gBAAgB,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC;YACtD,OAAO,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAgC,CAAC,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAiB;IACzD,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;IAEpC,MAAM,CAAC,gBAAgB,CACrB,kBAAkB,EAClB,mBAAmB,EACnB;QACE,KAAK,EAAE,uBAAuB;QAC9B,WAAW,EAAE,iEAAiE;QAC9E,QAAQ,EAAE,kBAAkB;KAC7B,EACD,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACd,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;KAC9E,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,gBAAgB,CACrB,gBAAgB,EAChB,IAAI,gBAAgB,CAAC,4BAA4B,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EACvE;QACE,KAAK,EAAE,uBAAuB;QAC9B,WAAW,EAAE,yDAAyD;QACtE,QAAQ,EAAE,kBAAkB;KAC7B,EACD,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QACvB,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,GAAG,CAAC,CAAC;QAC9D,OAAO;YACL,QAAQ,EAAE;gBACR;oBACE,GAAG,EAAE,GAAG,CAAC,IAAI;oBACb,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;iBAC1C;aACF;SACF,CAAC;IACJ,CAAC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAiB;IACvD,MAAM,CAAC,cAAc,CACnB,iBAAiB,EACjB;QACE,KAAK,EAAE,mBAAmB;QAC1B,WAAW,EACT,qIAAqI;QACvI,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;KAC/D,EACD,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACpB,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE;oBACP,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,kDAAkD,GAAG,cAAc,MAAM,IAAI,UAAU,IAAI;wBAC3F,EAAE;wBACF,mCAAmC,GAAG,eAAe,MAAM,IAAI,UAAU,OAAO;wBAChF,gCAAgC,GAAG,oCAAoC;wBACvE,8JAA8J;wBAC9J,wFAAwF;wBACxF,mCAAmC,GAAG,8EAA8E;qBACrH,CAAC,IAAI,CAAC,IAAI,CAAC;iBACb;aACF;SACF;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAAC,MAAiB;IAChD,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC9B,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAClC,uBAAuB,CAAC,MAAM,CAAC,CAAC;AAClC,CAAC"}