@hexpro/qr-code-studio 0.0.0-stage → 0.1.0

package/dist/verify/static.js

@@ -0,0 +1,277 @@
+/**
+ * The checks that need no camera: what the design itself guarantees or rules
+ * out, measured from its paints, its layout and one clean picture of it.
+ *
+ * The clean picture is the scene drawn at ten pixels a module, and every
+ * module is read at its centre the way the strict reader reads it: one
+ * sample, thresholded halfway between the darkest and lightest module. That
+ * gives ISO/IEC 15415's symbol contrast (SC, the range between them) and
+ * modulation (MOD, how far the least certain module sits from the threshold,
+ * as a share of half that range), and it says which modules under a logo
+ * really read wrong, for the logo budget.
+ */
+import { ROLE_CODES } from '../symbology/roles.js';
+import { codewordCoverage } from './coverage.js';
+import { sampleBilinear } from './degrade.js';
+import { luma, polaritySign, redReflectance, worstDifference } from './inks.js';
+/** ISO/IEC 15415 grade floors for symbol contrast, A to D: below D is F. */
+export const SC_GRADES = Object.freeze([0.7, 0.55, 0.4, 0.2]);
+/** ISO/IEC 15415 grade floors for modulation, A to D. */
+export const MOD_GRADES = Object.freeze([0.5, 0.4, 0.3, 0.2]);
+/**
+ * Red light contrast below this warns: the floor of ISO grade C for symbol
+ * contrast, applied to red reflectance. Pure red on white has none at all; a
+ * dark red keeps plenty.
+ */
+export const RED_CONTRAST_WARN = 0.4;
+const SC_KEYS = {
+    pass: 'verify.check.contrast.sc.pass',
+    warn: 'verify.check.contrast.sc.warn',
+    fail: 'verify.check.contrast.sc.fail',
+};
+const MOD_KEYS = {
+    pass: 'verify.check.contrast.mod.pass',
+    warn: 'verify.check.contrast.mod.warn',
+    fail: 'verify.check.contrast.mod.fail',
+};
+const BUDGET_KEYS = {
+    pass: 'verify.check.logo-budget.pass',
+    warn: 'verify.check.logo-budget.warn',
+    fail: 'verify.check.logo-budget.fail',
+};
+/** A quiet zone pixel must sit this share of the symbol contrast past the threshold, towards the ground. */
+const QUIET_TOLERANCE = 0.25;
+export function gradeLetter(value, floors) {
+    const letters = ['A', 'B', 'C', 'D'];
+    for (let i = 0; i < floors.length; i += 1)
+        if (value >= floors[i])
+            return letters[i];
+    return 'F';
+}
+export function makeCheck(id, status, measured, threshold, messageKey, params, grade) {
+    return {
+        id,
+        status,
+        measured,
+        threshold,
+        ...(grade === undefined ? {} : { grade }),
+        messageKey,
+        ...(params === undefined ? {} : { params }),
+    };
+}
+/** A whole percentage, for a sentence. */
+function percent(fraction) {
+    return Math.round(fraction * 100);
+}
+/**
+ * Roles the finder shapes draw rather than the module shape: a round finder
+ * leaves its corner cells light on purpose, and whether a ring and centre
+ * make a finder is the finder checks' question, not modulation's. QR's 5 by
+ * 5 alignment patterns are drawn in the finder's style too.
+ */
+function drawnAsRegion(role, symbology) {
+    return (role === ROLE_CODES.finder ||
+        role === ROLE_CODES.separator ||
+        role === ROLE_CODES['sub-finder'] ||
+        role === ROLE_CODES['corner-finder'] ||
+        (role === ROLE_CODES.alignment && symbology === 'qr'));
+}
+/** Each module's centre in the clean picture, read the way the strict reader reads it. */
+export function sampleModules(prepared, master) {
+    const { symbol, origin, polarity } = prepared;
+    const { obscured } = prepared.built;
+    const { width, height, data } = symbol.matrix;
+    const samples = new Float32Array(width * height);
+    let rmin = Number.POSITIVE_INFINITY;
+    let rmax = Number.NEGATIVE_INFINITY;
+    for (let y = 0; y < height; y += 1) {
+        for (let x = 0; x < width; x += 1) {
+            const v = sampleBilinear(master.plane, (origin.x + x + 0.5) * master.scaleX, (origin.y + y + 0.5) * master.scaleY);
+            const at = y * width + x;
+            samples[at] = v;
+            if (obscured[at] === 1)
+                continue;
+            if (v < rmin)
+                rmin = v;
+            if (v > rmax)
+                rmax = v;
+        }
+    }
+    if (rmin === Number.POSITIVE_INFINITY) {
+        // Every module under the logo: nothing to measure, and nothing reads.
+        rmin = 0;
+        rmax = 0;
+    }
+    const threshold = (rmin + rmax) / 2;
+    const sc = rmax - rmin;
+    const wrong = new Uint8Array(width * height);
+    let mod = Number.POSITIVE_INFINITY;
+    for (let i = 0; i < samples.length; i += 1) {
+        const v = samples[i];
+        const inkSide = polarity === 'dark-on-light' ? v < threshold : v > threshold;
+        const right = (data[i] === 1) === inkSide;
+        if (!right)
+            wrong[i] = 1;
+        if (obscured[i] === 1 || drawnAsRegion(symbol.layout.roles[i], symbol.symbology))
+            continue;
+        const modulation = sc === 0 ? 0 : (2 * Math.abs(v - threshold)) / sc;
+        const signed = right ? modulation : -modulation;
+        if (signed < mod)
+            mod = signed;
+    }
+    return {
+        samples,
+        rmin,
+        rmax,
+        threshold,
+        wrong,
+        mod: mod === Number.POSITIVE_INFINITY ? 0 : mod,
+    };
+}
+/**
+ * The clear margin round the symbol, in whole modules, on the ground side of
+ * the threshold by at least a quarter of the symbol contrast. Counted ring
+ * by ring outwards and stopped at the first ring with anything in it, or at
+ * the edge of the picture.
+ */
+export function measureQuietZone(prepared, master, sampling) {
+    const { plane, scaleX, scaleY } = master;
+    const { origin, polarity } = prepared;
+    const { width, height } = prepared.symbol.matrix;
+    const sc = sampling.rmax - sampling.rmin;
+    const limit = polarity === 'dark-on-light'
+        ? sampling.threshold + QUIET_TOLERANCE * sc
+        : sampling.threshold - QUIET_TOLERANCE * sc;
+    const clear = (v) => (polarity === 'dark-on-light' ? v >= limit : v <= limit);
+    // A ring is the pixels wholly inside it: any pixel the symbol (or the
+    // ring before) touches belongs to that, so an edge that falls inside a
+    // pixel is never mistaken for something printed in the margin.
+    const outerBox = (k) => ({
+        x0: Math.ceil((origin.x - k) * scaleX),
+        y0: Math.ceil((origin.y - k) * scaleY),
+        x1: Math.floor((origin.x + width + k) * scaleX),
+        y1: Math.floor((origin.y + height + k) * scaleY),
+    });
+    const innerBox = (k) => ({
+        x0: Math.floor((origin.x - k) * scaleX),
+        y0: Math.floor((origin.y - k) * scaleY),
+        x1: Math.ceil((origin.x + width + k) * scaleX),
+        y1: Math.ceil((origin.y + height + k) * scaleY),
+    });
+    let rings = 0;
+    for (let k = 1; k <= 20; k += 1) {
+        const outer = outerBox(k);
+        const inner = innerBox(k - 1);
+        if (outer.x0 < 0 || outer.y0 < 0 || outer.x1 > plane.width || outer.y1 > plane.height)
+            break;
+        if (!ringClear(plane, outer, inner, clear))
+            break;
+        rings = k;
+    }
+    return rings;
+}
+function ringClear(plane, outer, inner, clear) {
+    for (let y = outer.y0; y < outer.y1; y += 1) {
+        const inside = y >= inner.y0 && y < inner.y1;
+        for (let x = outer.x0; x < outer.x1; x += 1) {
+            if (inside && x >= inner.x0 && x < inner.x1) {
+                x = inner.x1 - 1;
+                continue;
+            }
+            if (!clear(plane.data[y * plane.width + x]))
+                return false;
+        }
+    }
+    return true;
+}
+/** Function pattern roles a logo must never cover: everything a reader finds and orients the code by. */
+const LOCATING_ROLES = new Set([
+    ROLE_CODES.finder,
+    ROLE_CODES.separator,
+    ROLE_CODES.timing,
+    ROLE_CODES.format,
+    ROLE_CODES.version,
+    ROLE_CODES['dark-module'],
+    ROLE_CODES['sub-finder'],
+    ROLE_CODES['corner-finder'],
+]);
+/** Every check that needs no capture, except module size, which needs the distance captures. */
+export function staticChecks(prepared, master) {
+    const { symbol, entry, built, polarity, inks, reference } = prepared;
+    const checks = [];
+    const sampling = sampleModules(prepared, master);
+    // Quiet zone.
+    const quiet = measureQuietZone(prepared, master, sampling);
+    checks.push(makeCheck('quiet-zone', quiet >= entry.quietZone ? 'pass' : 'fail', quiet, entry.quietZone, quiet >= entry.quietZone ? 'verify.check.quiet-zone.pass' : 'verify.check.quiet-zone.fail', { modules: quiet, minimum: entry.quietZone }));
+    // Contrast, as symbol contrast: the worse of the paints, stop by stop, and
+    // the clean picture.
+    const scPaints = worstDifference(inks, polarity, luma, 255);
+    const scPicture = (sampling.rmax - sampling.rmin) / 255;
+    const sc = Math.min(scPaints, scPicture);
+    const scStatus = sc < SC_GRADES[3] ? 'fail' : sc < SC_GRADES[2] ? 'warn' : 'pass';
+    checks.push(makeCheck('contrast', scStatus, sc, SC_GRADES[2], SC_KEYS[scStatus], { percent: percent(Math.max(0, sc)), grade: gradeLetter(sc, SC_GRADES) }, 'SC'));
+    const mod = sampling.mod;
+    const modStatus = mod < MOD_GRADES[3] ? 'fail' : mod < MOD_GRADES[2] ? 'warn' : 'pass';
+    checks.push(makeCheck('contrast', modStatus, mod, MOD_GRADES[2], mod < 0 ? 'verify.check.contrast.mod.wrong' : MOD_KEYS[modStatus], { percent: percent(Math.max(0, mod)), grade: gradeLetter(mod, MOD_GRADES) }, 'MOD'));
+    // Polarity.
+    const sign = polaritySign(inks);
+    checks.push(makeCheck('polarity', polarity === 'dark-on-light' ? 'pass' : 'warn', sign, 0, polarity === 'dark-on-light' ? 'verify.check.polarity.pass' : 'verify.check.polarity.warn'));
+    // Function patterns: a logo or its plate over anything a reader finds the
+    // code by, or over an alignment pattern, and finder pairs that do not make
+    // a finder.
+    const { obscured } = built;
+    let locating = 0;
+    let alignment = 0;
+    for (let i = 0; i < obscured.length; i += 1) {
+        if (obscured[i] === 0)
+            continue;
+        const role = symbol.layout.roles[i];
+        if (LOCATING_ROLES.has(role))
+            locating += 1;
+        else if (role === ROLE_CODES.alignment)
+            alignment += 1;
+    }
+    const pairs = built.issues.filter((found) => found.code === 'design.issue.region-pair').length;
+    const patternStatus = locating > 0 || pairs > 0 ? 'fail' : alignment > 0 ? 'warn' : 'pass';
+    checks.push(makeCheck('function-patterns', patternStatus, locating + pairs + alignment, 0, locating > 0
+        ? 'verify.check.function-patterns.covered'
+        : pairs > 0
+            ? 'verify.check.function-patterns.finder'
+            : alignment > 0
+                ? 'verify.check.function-patterns.alignment'
+                : 'verify.check.function-patterns.pass', { modules: locating + alignment }, 'FPD'));
+    // Logo budget.
+    const coverage = codewordCoverage(symbol, obscured, sampling.wrong);
+    const margin = Math.min(...coverage.blocks.map((block) => block.margin));
+    const covered = coverage.blocks.reduce((sum, block) => sum + block.coveredWorst, 0);
+    const tight = coverage.blocks.some((block) => block.coveredExpected > block.t - 2 * block.reserve);
+    const budgetStatus = margin < 0 ? 'fail' : covered > 0 && tight ? 'warn' : 'pass';
+    checks.push(makeCheck('logo-budget', budgetStatus, margin, 0, covered === 0 ? 'verify.check.logo-budget.none' : BUDGET_KEYS[budgetStatus], { codewords: covered, spare: Math.max(0, margin) }, 'UEC'));
+    // Finder shape.
+    checks.push(makeCheck('finder-shape', pairs > 0 ? 'fail' : 'pass', pairs, 0, pairs > 0 ? 'verify.check.finder-shape.fail' : 'verify.check.finder-shape.pass', undefined, 'FPD'));
+    // Red light.
+    const red = worstDifference(inks, polarity, redReflectance, 1);
+    checks.push(makeCheck('colour-red-channel', red < RED_CONTRAST_WARN ? 'warn' : 'pass', red, RED_CONTRAST_WARN, red < RED_CONTRAST_WARN
+        ? 'verify.check.colour-red-channel.warn'
+        : 'verify.check.colour-red-channel.pass', { percent: percent(Math.max(0, red)) }));
+    // Reader support.
+    const support = [];
+    if (!entry.phoneReadable) {
+        support.push(makeCheck('reader-support', 'warn', 0, 1, entry.id === 'rmqr'
+            ? 'verify.check.reader-support.rmqr'
+            : 'verify.check.reader-support.micro'));
+    }
+    const segments = reference.bitstream.segments;
+    if (segments.some((segment) => segment.mode === 'kanji')) {
+        support.push(makeCheck('reader-support', 'warn', 1, 0, 'verify.check.reader-support.kanji'));
+    }
+    if (segments.some((segment) => segment.eci !== null)) {
+        support.push(makeCheck('reader-support', 'pass', 1, 0, 'verify.check.reader-support.eci'));
+    }
+    if (support.length === 0) {
+        support.push(makeCheck('reader-support', 'pass', 1, 1, 'verify.check.reader-support.pass'));
+    }
+    checks.push(...support);
+    return { checks, coverage, sampling };
+}
+//# sourceMappingURL=static.js.map

package/dist/verify/static.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"static.js","sourceRoot":"","sources":["../../src/verify/static.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAIhF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC9D,yDAAyD;AACzD,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAErC,MAAM,OAAO,GAA0C;IACtD,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,+BAA+B;CACrC,CAAC;AACF,MAAM,QAAQ,GAA0C;IACvD,IAAI,EAAE,gCAAgC;IACtC,IAAI,EAAE,gCAAgC;IACtC,IAAI,EAAE,gCAAgC;CACtC,CAAC;AACF,MAAM,WAAW,GAA0C;IAC1D,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,+BAA+B;CACrC,CAAC;AAEF,4GAA4G;AAC5G,MAAM,eAAe,GAAG,IAAI,CAAC;AAE7B,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,MAAyB;IACnE,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC;QACxC,IAAI,KAAK,IAAK,MAAM,CAAC,CAAC,CAAY;YAAE,OAAO,OAAO,CAAC,CAAC,CAAW,CAAC;IACjE,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,SAAS,CACxB,EAAW,EACX,MAAmB,EACnB,QAAgB,EAChB,SAAiB,EACjB,UAAkB,EAClB,MAAkD,EAClD,KAA4B;IAE5B,OAAO;QACN,EAAE;QACF,MAAM;QACN,QAAQ;QACR,SAAS;QACT,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,UAAU;QACV,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;KAC3C,CAAC;AACH,CAAC;AAED,0CAA0C;AAC1C,SAAS,OAAO,CAAC,QAAgB;IAChC,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC;AACnC,CAAC;AAeD;;;;;GAKG;AACH,SAAS,aAAa,CAAC,IAAY,EAAE,SAAiB;IACrD,OAAO,CACN,IAAI,KAAK,UAAU,CAAC,MAAM;QAC1B,IAAI,KAAK,UAAU,CAAC,SAAS;QAC7B,IAAI,KAAK,UAAU,CAAC,YAAY,CAAC;QACjC,IAAI,KAAK,UAAU,CAAC,eAAe,CAAC;QACpC,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC,CACrD,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,QAAkB,EAAE,MAAc;IAC/D,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC9C,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACpC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,YAAY,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;IACjD,IAAI,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACpC,IAAI,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,cAAc,CACvB,MAAM,CAAC,KAAK,EACZ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EACpC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CACpC,CAAC;YACF,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;YACzB,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YAChB,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,SAAS;YACjC,IAAI,CAAC,GAAG,IAAI;gBAAE,IAAI,GAAG,CAAC,CAAC;YACvB,IAAI,CAAC,GAAG,IAAI;gBAAE,IAAI,GAAG,CAAC,CAAC;QACxB,CAAC;IACF,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACvC,sEAAsE;QACtE,IAAI,GAAG,CAAC,CAAC;QACT,IAAI,GAAG,CAAC,CAAC;IACV,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;IAC7C,IAAI,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAW,CAAC;QAC/B,MAAM,OAAO,GAAG,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;QAC7E,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO,CAAC;QAC1C,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAW,EAAE,MAAM,CAAC,SAAS,CAAC;YACzF,SAAS;QACV,MAAM,UAAU,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC;QACrE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,IAAI,MAAM,GAAG,GAAG;YAAE,GAAG,GAAG,MAAM,CAAC;IAChC,CAAC;IACD,OAAO;QACN,OAAO;QACP,IAAI;QACJ,IAAI;QACJ,SAAS;QACT,KAAK;QACL,GAAG,EAAE,GAAG,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;KAC/C,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAkB,EAAE,MAAc,EAAE,QAAkB;IACtF,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IACzC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACtC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IACzC,MAAM,KAAK,GACV,QAAQ,KAAK,eAAe;QAC3B,CAAC,CAAC,QAAQ,CAAC,SAAS,GAAG,eAAe,GAAG,EAAE;QAC3C,CAAC,CAAC,QAAQ,CAAC,SAAS,GAAG,eAAe,GAAG,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC;IAC/F,sEAAsE;IACtE,uEAAuE;IACvE,+DAA+D;IAC/D,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC;QAChC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;QACtC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;QACtC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;QAC/C,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC;QAChC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;QACvC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;QACvC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;QAC9C,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;KAC/C,CAAC,CAAC;IACH,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM;YAAE,MAAM;QAC7F,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM;QAClD,KAAK,GAAG,CAAC,CAAC;IACX,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CACjB,KAAgB,EAChB,KAAyD,EACzD,KAAyD,EACzD,KAA6B;IAE7B,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC7C,CAAC,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;gBACjB,SAAS;YACV,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAW,CAAC;gBAAE,OAAO,KAAK,CAAC;QACrE,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,yGAAyG;AACzG,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IACnD,UAAU,CAAC,MAAM;IACjB,UAAU,CAAC,SAAS;IACpB,UAAU,CAAC,MAAM;IACjB,UAAU,CAAC,MAAM;IACjB,UAAU,CAAC,OAAO;IAClB,UAAU,CAAC,aAAa,CAAC;IACzB,UAAU,CAAC,YAAY,CAAC;IACxB,UAAU,CAAC,eAAe,CAAC;CAC3B,CAAC,CAAC;AAQH,gGAAgG;AAChG,MAAM,UAAU,YAAY,CAAC,QAAkB,EAAE,MAAc;IAC9D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC;IACrE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAEjD,cAAc;IACd,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,CAAC,IAAI,CACV,SAAS,CACR,YAAY,EACZ,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAC1C,KAAK,EACL,KAAK,CAAC,SAAS,EACf,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,8BAA8B,EAC1F,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,EAAE,CAC5C,CACD,CAAC;IAEF,2EAA2E;IAC3E,qBAAqB;IACrB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;IACxD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,QAAQ,GACb,EAAE,GAAI,SAAS,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAI,SAAS,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1F,MAAM,CAAC,IAAI,CACV,SAAS,CACR,UAAU,EACV,QAAQ,EACR,EAAE,EACF,SAAS,CAAC,CAAC,CAAW,EACtB,OAAO,CAAC,QAAQ,CAAC,EACjB,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EACxE,IAAI,CACJ,CACD,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC;IACzB,MAAM,SAAS,GACd,GAAG,GAAI,UAAU,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAI,UAAU,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9F,MAAM,CAAC,IAAI,CACV,SAAS,CACR,UAAU,EACV,SAAS,EACT,GAAG,EACH,UAAU,CAAC,CAAC,CAAW,EACvB,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EACjE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,EAC3E,KAAK,CACL,CACD,CAAC;IAEF,YAAY;IACZ,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,CAAC,IAAI,CACV,SAAS,CACR,UAAU,EACV,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAC9C,IAAI,EACJ,CAAC,EACD,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,4BAA4B,CAC1F,CACD,CAAC;IAEF,0EAA0E;IAC1E,2EAA2E;IAC3E,YAAY;IACZ,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,SAAS;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC;QAC9C,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,QAAQ,IAAI,CAAC,CAAC;aACvC,IAAI,IAAI,KAAK,UAAU,CAAC,SAAS;YAAE,SAAS,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,MAAM,CAAC;IAC/F,MAAM,aAAa,GAClB,QAAQ,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,CAAC,IAAI,CACV,SAAS,CACR,mBAAmB,EACnB,aAAa,EACb,QAAQ,GAAG,KAAK,GAAG,SAAS,EAC5B,CAAC,EACD,QAAQ,GAAG,CAAC;QACX,CAAC,CAAC,wCAAwC;QAC1C,CAAC,CAAC,KAAK,GAAG,CAAC;YACV,CAAC,CAAC,uCAAuC;YACzC,CAAC,CAAC,SAAS,GAAG,CAAC;gBACd,CAAC,CAAC,0CAA0C;gBAC5C,CAAC,CAAC,qCAAqC,EAC1C,EAAE,OAAO,EAAE,QAAQ,GAAG,SAAS,EAAE,EACjC,KAAK,CACL,CACD,CAAC;IAEF,eAAe;IACf,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CACjC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAC9D,CAAC;IACF,MAAM,YAAY,GAAgB,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/F,MAAM,CAAC,IAAI,CACV,SAAS,CACR,aAAa,EACb,YAAY,EACZ,MAAM,EACN,CAAC,EACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,WAAW,CAAC,YAAY,CAAC,EAC3E,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAClD,KAAK,CACL,CACD,CAAC;IAEF,gBAAgB;IAChB,MAAM,CAAC,IAAI,CACV,SAAS,CACR,cAAc,EACd,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAC3B,KAAK,EACL,CAAC,EACD,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,gCAAgC,EAC/E,SAAS,EACT,KAAK,CACL,CACD,CAAC;IAEF,aAAa;IACb,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,IAAI,CACV,SAAS,CACR,oBAAoB,EACpB,GAAG,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACzC,GAAG,EACH,iBAAiB,EACjB,GAAG,GAAG,iBAAiB;QACtB,CAAC,CAAC,sCAAsC;QACxC,CAAC,CAAC,sCAAsC,EACzC,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CACtC,CACD,CAAC;IAEF,kBAAkB;IAClB,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CACX,SAAS,CACR,gBAAgB,EAChB,MAAM,EACN,CAAC,EACD,CAAC,EACD,KAAK,CAAC,EAAE,KAAK,MAAM;YAClB,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,mCAAmC,CACtC,CACD,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC;IAC9C,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,mCAAmC,CAAC,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,iCAAiC,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,kCAAkC,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IAExB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACvC,CAAC"}

package/dist/verify/types.d.ts

@@ -0,0 +1,173 @@
+/**
+ * The public shape of the scan check, as docs/CONTRACTS.md (`verify`) gives
+ * it.
+ *
+ * Additions to the contract, each optional or new so a caller written to the
+ * contract alone still works, and each listed in the branch report:
+ *
+ * - `VerifyRegistries` is what verify needs from the root `createRegistries()`
+ *   bag: the symbologies and the design registries. The root bag satisfies it
+ *   structurally.
+ * - `VerifyJob.captureSeeds` lowers the number of seeded captures per level
+ *   from eight, for the conformance gate. The report records the count used
+ *   in `captures[].seeds`, which the contract already carries.
+ * - `VerifyCheck.params`: the numbers a check's sentence uses, rounded for
+ *   reading, the way an `Issue` carries them. Without them a sentence such as
+ *   "Scans from about 40 cm away when printed 25 mm wide" could not be built
+ *   from a check.
+ * - `captures[].typical`: the level of each axis that counts as everyday
+ *   conditions, so a view can say how far short of it a design falls.
+ * - `VerifyReport.baseline`: whether the clean capture read, which fails the
+ *   verdict on its own and so has to be visible.
+ * - `VerifyJob.overlay`, from the design layer's `applyConstraints`.
+ * - With no size in the job, the design's own size is read through its
+ *   scene's units per millimetre, so `output.sizeBasis` is honoured, and
+ *   reported as the symbol with its quiet zone, as a job's size is.
+ * - `Fix.patch` may be null for a fix that is a change of conditions rather
+ *   than of the design (print it larger), with the change in
+ *   `Fix.conditions`; `Fix.params` carries the numbers its label uses; and
+ *   `Fix.targets` names the check or capture axis it is meant to improve.
+ * - `DesignPatch` is the studio's type, defined here because the studio
+ *   imports verify and not the other way round. An empty path replaces the
+ *   whole design, which is how a fix that changes two settings at once (drop
+ *   light on dark: swap the module and ground colours) stays one patch.
+ */
+import type { Registry } from '../core/registry.js';
+import type { MessageKey } from '../core/issue.js';
+import type { RgbaImage } from '../core/image.js';
+import type { DesignRegistries, QrDesignV1 } from '../design/types.js';
+import type { EcLevel } from '../segment/types.js';
+import type { SymbologyEntry } from '../symbology/types.js';
+export type CaptureAxis = 'distance' | 'focus' | 'motion' | 'noise' | 'angle' | 'light' | 'glare' | 'ink' | 'contrast';
+export interface VerifyConditions {
+    /**
+     * Printed width of the symbol including its quiet zone, in millimetres.
+     * When a job gives none, the design's own `output.sizeMm` is used, read
+     * through its scene on the basis the design measures it (the whole
+     * artwork, or the symbol alone), and the report gives it back in these
+     * terms.
+     */
+    readonly sizeMm: number | null;
+    /** For screen use, or for a raster export. */
+    readonly dpi: number | null;
+    /** The furthest a person is expected to scan from, in millimetres. */
+    readonly distanceMm: number | null;
+}
+/** What verify needs from the root registries bag. */
+export interface VerifyRegistries {
+    readonly symbologies: Registry<SymbologyEntry>;
+    readonly design: DesignRegistries;
+}
+/** Structured-cloneable, so a website can post it to a worker. The worker re-encodes from it. */
+export interface VerifyJob {
+    readonly content: string;
+    readonly design: QrDesignV1;
+    readonly conditions: VerifyConditions;
+    /** An integer from 0 to 2^32 - 1. */
+    readonly seed: number;
+    /** Registry entries the design uses, as `kind:id` (see `designRequirements`); a worker missing one refuses. */
+    readonly requires: readonly string[];
+    /** Decoded PNG assets the design's logo may use, by asset id. */
+    readonly assets?: Readonly<Record<string, RgbaImage>>;
+    /** Seeded captures per level, 1 to 8. Default 8. A contract addition. */
+    readonly captureSeeds?: number;
+    /**
+     * What the content prints over every code of its kind, as the design
+     * layer's `applyConstraints` returns it: the Swiss QR-bill's cross. Its
+     * modules count against the logo budget like a logo's. A contract
+     * addition, because verify may not import the content types.
+     */
+    readonly overlay?: 'swiss-cross' | null;
+}
+export interface VerifyProgress {
+    readonly done: number;
+    readonly total: number;
+    readonly axis: CaptureAxis | 'static';
+}
+export type CheckId = 'quiet-zone' | 'contrast' | 'polarity' | 'function-patterns' | 'logo-budget' | 'module-size' | 'finder-shape' | 'colour-red-channel' | 'reader-support';
+export type CheckStatus = 'pass' | 'warn' | 'fail';
+/** Which way round a design is: dark modules on a light ground, or the reverse. */
+export type Polarity = 'dark-on-light' | 'light-on-dark';
+export interface VerifyCheck {
+    readonly id: CheckId;
+    readonly status: CheckStatus;
+    readonly measured: number;
+    readonly threshold: number;
+    /** The ISO/IEC 15415 parameter it corresponds to. */
+    readonly grade?: 'SC' | 'MOD' | 'FPD' | 'UEC';
+    readonly messageKey: MessageKey;
+    /** The numbers the sentence uses, rounded for reading. A contract addition. */
+    readonly params?: Readonly<Record<string, number | string>>;
+}
+export interface VerifyBlock {
+    readonly index: number;
+    readonly ec: number;
+    readonly p: number;
+    /** Errors the block may correct: floor((ec - p) / 2). */
+    readonly t: number;
+    /** Codewords with any module under the logo or its plate. */
+    readonly coveredWorst: number;
+    /** Codewords whose covered modules sample wrong in a clean capture. */
+    readonly coveredExpected: number;
+    /** t - reserve - coveredWorst; below zero fails. */
+    readonly margin: number;
+}
+export interface VerifyCapture {
+    readonly axis: CaptureAxis;
+    /** The most severe level every seed passed, in the axis's own unit; null when the first level failed. */
+    readonly worstPassed: number | null;
+    /** The first level any seed failed at; null when every level passed. */
+    readonly firstFailed: number | null;
+    /** The least spare correction left in any block of any passing capture. */
+    readonly minMargin: number | null;
+    readonly seeds: number;
+    /** The level that counts as everyday conditions. A contract addition. */
+    readonly typical: number;
+}
+/** The clean capture at everyday framing, once per seed. A contract addition: a failed baseline fails the verdict, and a view needs to say so. */
+export interface Baseline {
+    readonly passed: boolean;
+    /** The least spare correction in any block of any seed that read. */
+    readonly minMargin: number | null;
+    /** Seeds tried: the first failure ends the baseline. */
+    readonly seeds: number;
+}
+export interface VerifyReport {
+    readonly schema: 1;
+    readonly profile: 'strict-v1';
+    readonly seed: number;
+    readonly verdict: CheckStatus;
+    readonly symbol: {
+        readonly symbology: string;
+        readonly version: string;
+        readonly ecLevel: EcLevel;
+        readonly mask: number;
+        readonly modules: readonly [number, number];
+    };
+    readonly conditions: VerifyConditions;
+    readonly checks: readonly VerifyCheck[];
+    readonly blocks: readonly VerifyBlock[];
+    readonly captures: readonly VerifyCapture[];
+    readonly limits: {
+        readonly maxDistanceMm: number | null;
+        readonly minModuleMm: number | null;
+        readonly inkFraction: number;
+    };
+    readonly baseline: Baseline;
+}
+/** A shallow, path-addressed change: `{ path: ['modules', 'shape'], value: { id: 'dot' } }`. An empty path replaces the design. */
+export interface DesignPatch {
+    readonly path: readonly (string | number)[];
+    readonly value: unknown;
+}
+export interface Fix {
+    readonly id: string;
+    readonly labelKey: MessageKey;
+    /** Null when the fix is a change of conditions, given in `conditions`. */
+    readonly patch: DesignPatch | null;
+    readonly conditions?: Partial<VerifyConditions>;
+    readonly params?: Readonly<Record<string, number | string>>;
+    /** The check or capture axis this fix is meant to improve. */
+    readonly targets: CheckId | CaptureAxis;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/verify/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verify/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,MAAM,MAAM,WAAW,GACtB,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,KAAK,GAAG,UAAU,CAAC;AAE9F,MAAM,WAAW,gBAAgB;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED,sDAAsD;AACtD,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CAClC;AAED,iGAAiG;AACjG,MAAM,WAAW,SAAS;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,qCAAqC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+GAA+G;IAC/G,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,iEAAiE;IACjE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACtD,yEAAyE;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,GAAG,IAAI,CAAC;CACxC;AAED,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,QAAQ,CAAC;CACtC;AAED,MAAM,MAAM,OAAO,GAChB,YAAY,GACZ,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,aAAa,GACb,aAAa,GACb,cAAc,GACd,oBAAoB,GACpB,gBAAgB,CAAC;AAEpB,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAEnD,mFAAmF;AACnF,MAAM,MAAM,QAAQ,GAAG,eAAe,GAAG,eAAe,CAAC;AAEzD,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,qDAAqD;IACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;CAC5D;AAED,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,oDAAoD;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,yGAAyG;IACzG,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,wEAAwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB;AAED,kJAAkJ;AAClJ,MAAM,WAAW,QAAQ;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE;QAChB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC5C,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE;QAChB,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QACpC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC5B;AAED,mIAAmI;AACnI,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,GAAG;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAChD,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;IAC5D,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC;CACxC"}

package/dist/verify/types.js

@@ -0,0 +1,36 @@
+/**
+ * The public shape of the scan check, as docs/CONTRACTS.md (`verify`) gives
+ * it.
+ *
+ * Additions to the contract, each optional or new so a caller written to the
+ * contract alone still works, and each listed in the branch report:
+ *
+ * - `VerifyRegistries` is what verify needs from the root `createRegistries()`
+ *   bag: the symbologies and the design registries. The root bag satisfies it
+ *   structurally.
+ * - `VerifyJob.captureSeeds` lowers the number of seeded captures per level
+ *   from eight, for the conformance gate. The report records the count used
+ *   in `captures[].seeds`, which the contract already carries.
+ * - `VerifyCheck.params`: the numbers a check's sentence uses, rounded for
+ *   reading, the way an `Issue` carries them. Without them a sentence such as
+ *   "Scans from about 40 cm away when printed 25 mm wide" could not be built
+ *   from a check.
+ * - `captures[].typical`: the level of each axis that counts as everyday
+ *   conditions, so a view can say how far short of it a design falls.
+ * - `VerifyReport.baseline`: whether the clean capture read, which fails the
+ *   verdict on its own and so has to be visible.
+ * - `VerifyJob.overlay`, from the design layer's `applyConstraints`.
+ * - With no size in the job, the design's own size is read through its
+ *   scene's units per millimetre, so `output.sizeBasis` is honoured, and
+ *   reported as the symbol with its quiet zone, as a job's size is.
+ * - `Fix.patch` may be null for a fix that is a change of conditions rather
+ *   than of the design (print it larger), with the change in
+ *   `Fix.conditions`; `Fix.params` carries the numbers its label uses; and
+ *   `Fix.targets` names the check or capture axis it is meant to improve.
+ * - `DesignPatch` is the studio's type, defined here because the studio
+ *   imports verify and not the other way round. An empty path replaces the
+ *   whole design, which is how a fix that changes two settings at once (drop
+ *   light on dark: swap the module and ground colours) stays one patch.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/verify/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/verify/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG"}