@sun-asterisk/sungen 3.2.32 → 3.2.34-beta.1

package/dist/harness/select-by-ids.js

@@ -0,0 +1,106 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.titlesToGrep = titlesToGrep;
+exports.parseIdList = parseIdList;
+exports.selectByIds = selectByIds;
+/**
+ * Select scenarios by test-case ID — backs `sungen select` and `run-test --ids` (#835).
+ *
+ * An ID means what it means everywhere else in the harness: `vpId`, the leading ID token of the
+ * scenario title (`VP-UI-001`, `MS-HP-001`, `VP0-001`). Matching is exact and case-insensitive —
+ * `VP-UI-001` never selects `VP-UI-0010` or `VP-UI-001-B` — and every ID that selects nothing
+ * runnable is reported, because the alternative is a 0-test run that reports green.
+ */
+const path = __importStar(require("path"));
+/**
+ * Escape scenario titles into one `-g` / `--mochaOpts.grep` regex. Full titles, not bare IDs:
+ * a title starts with its own ID, so it can only appear inside its own test's title — and a
+ * `@cases` row test (`<title> — <row label>`) still contains it.
+ */
+function titlesToGrep(titles) {
+    return titles.map((t) => t.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')).join('|');
+}
+/** `"VP-UI-001, vp-ui-002 VP-UI-001"` → `['VP-UI-001', 'VP-UI-002']`. */
+function parseIdList(raw) {
+    return [...new Set(raw.split(/[\s,]+/).map((s) => s.trim().toUpperCase()).filter(Boolean))];
+}
+/** `VP-C-002.` → `VP-C-002`: the title token may carry trailing punctuation the user never types. */
+const idOf = (s) => s.vpId?.replace(/[.-]+$/, '') || undefined;
+function notRunnableReason(s, enabledCaps) {
+    if (s.deferredToFlow)
+        return `owned by a flow${s.ownedByFlow ? ` (${s.ownedByFlow})` : ''} — run it there`;
+    if (s.featureManual)
+        return 'its Feature is @manual — no spec is generated for it';
+    if (s.manual)
+        return 'manual — no automated test exists';
+    // Compiled as `test.skip` while the capability is off: the run would report a skip, not a result.
+    const missing = (s.requiresCaps ?? []).filter((c) => !enabledCaps.has(c));
+    if (missing.length)
+        return `needs capability ${missing.join(', ')} — compiled as a skip until \`sungen capability add ${missing.join(' ')}\``;
+    return null;
+}
+function selectByIds(scenarios, ids, unit, enabledCaps = new Set()) {
+    const out = { features: [], unknown: [], notRunnable: [] };
+    const groups = new Map();
+    const allIds = [...new Set(scenarios.map(idOf).filter((v) => !!v))];
+    for (const id of ids) {
+        const hits = scenarios.filter((s) => idOf(s) === id);
+        if (hits.length === 0) {
+            const didYouMean = allIds.filter((v) => v.startsWith(`${id}-`) || id.startsWith(`${v}-`)).slice(0, 5);
+            out.unknown.push({ id, didYouMean });
+            continue;
+        }
+        const runnable = hits.filter((s) => !notRunnableReason(s, enabledCaps));
+        if (runnable.length === 0) {
+            out.notRunnable.push({ id, reason: notRunnableReason(hits[0], enabledCaps) });
+            continue;
+        }
+        for (const s of runnable) {
+            const feature = s.sourceFile ? path.basename(s.sourceFile, '.feature') : unit;
+            const g = groups.get(feature) ?? { feature, ids: [], titles: [], grep: '' };
+            if (!g.ids.includes(id))
+                g.ids.push(id);
+            if (!g.titles.includes(s.name))
+                g.titles.push(s.name);
+            groups.set(feature, g);
+        }
+    }
+    for (const g of groups.values())
+        g.grep = titlesToGrep(g.titles);
+    out.features = [...groups.values()];
+    return out;
+}
+//# sourceMappingURL=select-by-ids.js.map

package/dist/harness/select-by-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"select-by-ids.js","sourceRoot":"","sources":["../../src/harness/select-by-ids.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgBA,oCAEC;AAmBD,kCAEC;AAeD,kCA4BC;AAlFD;;;;;;;GAOG;AACH,2CAA6B;AAG7B;;;;GAIG;AACH,SAAgB,YAAY,CAAC,MAAgB;IAC3C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/E,CAAC;AAkBD,yEAAyE;AACzE,SAAgB,WAAW,CAAC,GAAW;IACrC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,qGAAqG;AACrG,MAAM,IAAI,GAAG,CAAC,CAAe,EAAsB,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC;AAEjG,SAAS,iBAAiB,CAAC,CAAe,EAAE,WAAwB;IAClE,IAAI,CAAC,CAAC,cAAc;QAAE,OAAO,kBAAkB,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC;IAC3G,IAAI,CAAC,CAAC,aAAa;QAAE,OAAO,sDAAsD,CAAC;IACnF,IAAI,CAAC,CAAC,MAAM;QAAE,OAAO,mCAAmC,CAAC;IACzD,kGAAkG;IAClG,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM;QAAE,OAAO,oBAAoB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,uDAAuD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IAC9I,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,WAAW,CAAC,SAAyB,EAAE,GAAa,EAAE,IAAY,EAAE,cAA2B,IAAI,GAAG,EAAE;IACtH,MAAM,GAAG,GAAgB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACxE,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACrD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QACxE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,CAAE,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9E,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YAC5E,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE;QAAE,CAAC,CAAC,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjE,GAAG,CAAC,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACpC,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/harness/sensors.d.ts

@@ -41,6 +41,17 @@ export interface GateResult {
         status: 'missing' | 'shallow';
     }[];
     universalGaps: string[];
+    /**
+     * WHICH scenario covered each satisfied theme, and on which keyword — the audit's second line of
+     * defence against a bogus coverage claim (#776). A bare count ("themes 3/3") gives a reviewer
+     * nothing to check, so a nonsense match survives; naming the evidence makes it obvious on sight.
+     * Mirrors how the Claim-Proof section already names the scenario behind each claim.
+     */
+    coveredBy: {
+        theme: string;
+        by: string;
+        keyword: string;
+    }[];
 }
 /**
  * An explicit `page-type: <id>` line in test-viewpoint.md — the project stating what
@@ -134,6 +145,7 @@ export interface OracleStrengthResult {
         code?: string;
     }[];
     facetClaims: number;
+    weakFacet: number;
     ratio: number;
 }
 export declare function oracleStrength(scenarios: ScenarioInfo[]): OracleStrengthResult;
@@ -210,6 +222,9 @@ export interface TraceResult {
     mappedToOverview: number;
     withVpCodeRatio: number;
     mappedRatio: number;
+    /** Viewpoint IDs read from test-viewpoint.md. 0 = nothing to map to, so `mappedRatio` is not a
+     *  measurement — the scenario IDs were never checked (#832). */
+    overviewIds: number;
     note: string;
 }
 export declare function traceability(scenarios: ScenarioInfo[], viewpoints: ViewpointEntry[]): TraceResult;
@@ -267,8 +282,12 @@ export declare function numericClaimGaps(scenarios: ScenarioInfo[]): Array<{
  * The Priority-Viewpoints table is where release selection is supposed to come from. When the
  * table says a flow is `Low` and its scenario is tagged `@high`, a smoke run picks up work the QA
  * deliberately deprioritised — and nobody can tell which of the two was the decision (#622).
+ *
+ * Reads the SAME parse traceability does (`parseViewpointOverview`). It used to scan the raw text
+ * for any `| VP-… | high |` row, so one audit run "saw" an id for this check and not for
+ * traceability (#833), and a row in a Known Issues table could raise a contradiction.
  */
-export declare function priorityMismatches(viewpointText: string, scenarios: ScenarioInfo[]): Array<{
+export declare function priorityMismatches(viewpoints: ViewpointEntry[], scenarios: ScenarioInfo[]): Array<{
     id: string;
     declared: string;
     tagged: string;

package/dist/harness/sensors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sensors.d.ts","sourceRoot":"","sources":["../../src/harness/sensors.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAY,MAAM,SAAS,CAAC;AA0CjE,6FAA6F;AAC7F,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAYtE;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,YAAY;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,UAAU,CAAA;CAAE;AACvF,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,eAAe,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,YAAY,EAAE,CAAA;KAAE,CAAC,CAAC;IACtF,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B;mGAC+F;IAC/F,gBAAgB,CAAC,EAAE,YAAY,EAAE,CAAC;CACnC;AAED,wBAAgB,WAAW,IAAI,OAAO,CAGrC;AAiBD,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,sFAAsF;IACtF,cAAc,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,cAAc,CAAC;IAC1D,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACtD,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,SAAS,GAAG,SAAS,CAAA;KAAE,EAAE,CAAC;IAC7E,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAKvF;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,UAAQ,EAAE,aAAa,SAAK,GAAG,UAAU,CA+EzJ;AAID,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,uBAAuB,EAAE,MAAM,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAK/D,wBAAwB,EAAE,MAAM,CAAC;IAEjC,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,YAAY,CAAC;CACvB;AASD;sGACsG;AACtG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEvD;AACD,sEAAsE;AACtE,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAEpD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,GAAE,YAAY,EAAO,EAC/B,KAAK,SAAe,GACnB,WAAW,CAuCb;AAID,MAAM,WAAW,uBAAuB;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAClD;AAWD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,uBAAuB,CAQpF;AAID;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,EAC7C,aAAa,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,GACjE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,CAOnC;AAID,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,eAAe,CAiB9E;AAID,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtD,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAcD,wBAAgB,cAAc,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,oBAAoB,CA+B9E;AAED,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,YAAY,EAAE,CAKvF;AAID,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,aAAa,CA6BxE;AAID,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QAAC,cAAc,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC/E,mBAAmB,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,eAAe,CAwB5E;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,oGAAoG;IACpG,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,gBAAgB,EAAE,CAmB7E;AAID,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAUD,wBAAgB,YAAY,CAAC,SAAS,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,WAAW,CA4BjG;AAUD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,YAAY,CAAC;CACvB;AAyLD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AA4BD,wBAAgB,YAAY,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,cAAc,CAqBtE;AAED,wBAAgB,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,EAAE,KAAK,SAAe,GAAG,gBAAgB,CAmC5F;AAQD;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAepI;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,GAC/C,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAsB3E"}
+{"version":3,"file":"sensors.d.ts","sourceRoot":"","sources":["../../src/harness/sensors.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAY,MAAM,SAAS,CAAC;AA6CjE,6FAA6F;AAC7F,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAYtE;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,YAAY;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,UAAU,CAAA;CAAE;AACvF,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,eAAe,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,YAAY,EAAE,CAAA;KAAE,CAAC,CAAC;IACtF,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B;mGAC+F;IAC/F,gBAAgB,CAAC,EAAE,YAAY,EAAE,CAAC;CACnC;AAED,wBAAgB,WAAW,IAAI,OAAO,CAGrC;AAUD,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,sFAAsF;IACtF,cAAc,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,cAAc,CAAC;IAC1D,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACtD,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,SAAS,GAAG,SAAS,CAAA;KAAE,EAAE,CAAC;IAC7E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB;;;;;OAKG;IACH,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC7D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAKvF;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,UAAQ,EAAE,aAAa,SAAK,GAAG,UAAU,CAgGzJ;AAID,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,uBAAuB,EAAE,MAAM,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAK/D,wBAAwB,EAAE,MAAM,CAAC;IAEjC,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,YAAY,CAAC;CACvB;AASD;sGACsG;AACtG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEvD;AACD,sEAAsE;AACtE,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAEpD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,GAAE,YAAY,EAAO,EAC/B,KAAK,SAAe,GACnB,WAAW,CAuCb;AAID,MAAM,WAAW,uBAAuB;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAClD;AAWD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,uBAAuB,CAQpF;AAID;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,EAC7C,aAAa,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,GACjE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,CAOnC;AAID,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,eAAe,CAiB9E;AAID,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtD,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAcD,wBAAgB,cAAc,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,oBAAoB,CA2C9E;AAED,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,YAAY,EAAE,CAKvF;AAID,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,aAAa,CA6BxE;AAID,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QAAC,cAAc,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC/E,mBAAmB,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,eAAe,CAwB5E;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,oGAAoG;IACpG,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,gBAAgB,EAAE,CAmB7E;AAID,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB;oEACgE;IAChE,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AA4BD,wBAAgB,YAAY,CAAC,SAAS,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,WAAW,CA6BjG;AAUD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,YAAY,CAAC;CACvB;AAkND,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AA0CD,wBAAgB,YAAY,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,cAAc,CA0BtE;AAED,wBAAgB,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,EAAE,KAAK,SAAe,GAAG,gBAAgB,CAmC5F;AAQD;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAcpI;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,GACtD,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAqB3E"}

package/dist/harness/sensors.js

@@ -57,6 +57,9 @@ const path = __importStar(require("path"));
 const yaml_1 = require("yaml");
 const parse_1 = require("./parse");
 const read_text_1 = require("./read-text");
+const keyword_match_1 = require("./keyword-match");
+const viewpoint_priority_1 = require("./viewpoint-priority");
+const counted_assertions_1 = require("./counted-assertions");
 // Business-critical category keywords (matched by CONTAINMENT against the VP category, so a
 // compound category like LIST-DISPLAY / ADD-TO-CART / PRODUCT-DISCOVERY classifies correctly).
 const BUSINESS_CRITICAL_CATS = [
@@ -114,18 +117,11 @@ function loadCatalog() {
     const p = path.join(__dirname, 'catalog', 'universal-viewpoints.yaml');
     return (0, yaml_1.parse)((0, read_text_1.readTextFile)(p));
 }
-// Word-aware keyword match: `\b<kw>(s|es|ed|ing)?\b`, so a keyword matches whole words (plus
-// simple plural/verb suffixes) but NOT as a substring of a larger word — e.g. `form` must not
-// match inside `Format` or `@platform`, while `product` still matches `products`. Multi-word
-// keywords ("add to cart", "is hidden") match the phrase with a boundary at each end.
-const wordRe = (kw) => {
-    const esc = kw.toLowerCase().replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
-    return new RegExp(`\\b${esc}(?:s|es|ed|ing)?\\b`);
-};
-const has = (haystacks, kw) => {
-    const re = wordRe(kw);
-    return haystacks.some((h) => re.test(h));
-};
+// Word-aware keyword match — one rule for every sensor, in ./keyword-match (#776). A keyword
+// matches at a word START but may carry any suffix, so `form` does not match inside `Format` or
+// `@platform` while `submit` still matches `submitted`. The old local copy anchored BOTH ends,
+// which silently dropped every inflected true positive; see that module for the measurements.
+const has = keyword_match_1.hasKeyword;
 /**
  * An explicit `page-type: <id>` line in test-viewpoint.md — the project stating what
  * kind of screen this is. A declaration always beats keyword detection.
@@ -188,13 +184,15 @@ function viewpointGate(scenarios, viewpoints, catalog, isMobile = false, viewpoi
     }
     const evidence = { hits: best, runnerUp };
     const gaps = [];
+    const coveredBy = [];
     let total = 0, covered = 0;
     if (pageType) {
         for (const t of catalog.page_types[pageType].must_cover) {
             total++;
             // Scenarios that cover this theme by keyword (include @manual — a manual
             // scenario with a real assertion still covers the viewpoint for design).
-            const coverers = scenarios.filter((s) => t.keywords.some((k) => s.haystack.includes(k.toLowerCase())));
+            // Word-aware since #776: a substring match let `information` satisfy `format-boundary`.
+            const coverers = scenarios.filter((s) => t.keywords.some((k) => (0, keyword_match_1.keywordHit)(s.haystack, k)));
             if (coverers.length === 0) {
                 gaps.push({ theme: t.theme, keywords: t.keywords, status: 'missing' });
                 continue;
@@ -203,12 +201,26 @@ function viewpointGate(scenarios, viewpoints, catalog, isMobile = false, viewpoi
             // assertion, so mere presence covers it. Only DATA-correctness themes (depth.requires:
             // data-assertion) need a data assertion to count as deeply covered.
             const needsDepth = t.depth?.requires === 'data-assertion';
-            if (!needsDepth) {
+            // Name the evidence for whichever scenario actually carries the theme — the one with the
+            // data assertion when depth is required, since that is the scenario the credit rests on.
+            const proof = (needsDepth ? coverers.find((s) => s.hasDataAssertion) : undefined) ?? coverers[0];
+            const credit = () => {
                 covered++;
+                coveredBy.push({
+                    theme: t.theme,
+                    by: proof.haystack,
+                    // `proof` came out of `coverers`, which was filtered on this same predicate, so the find
+                    // always lands — the `!` states that rather than inventing a fallback keyword that would
+                    // misattribute the credit if the invariant ever broke.
+                    keyword: t.keywords.find((k) => (0, keyword_match_1.keywordHit)(proof.haystack, k)),
+                });
+            };
+            if (!needsDepth) {
+                credit();
                 continue;
             }
             if (coverers.some((s) => s.hasDataAssertion))
-                covered++;
+                credit();
             else
                 gaps.push({ theme: t.theme, keywords: t.keywords, status: 'shallow' });
         }
@@ -231,6 +243,7 @@ function viewpointGate(scenarios, viewpoints, catalog, isMobile = false, viewpoi
         coverageRatio: total ? covered / total : 1,
         gaps,
         universalGaps,
+        coveredBy,
     };
 }
 // Intent → required depth ratio + whether a miss WARNs (smoke) or FAILs the gate.
@@ -264,7 +277,7 @@ function assertionDepth(scenarios, dataThemes = [], focus = 'functional') {
     // dialog") assert a HIDDEN state — that IS the correct, data-light assertion for the
     // behavior. They only match a data keyword incidentally (e.g. "added"), so exclude them.
     const isDismissBehavior = (s) => /\bis hidden\b|\bare hidden\b|\bdismiss|\bdisappear|\bno longer (visible|shown|present|displayed)\b|\bcloses? the (modal|dialog|popup|overlay|panel|menu)\b/.test(s.haystack);
-    const isDepthRequired = (s) => s.category !== 'NAV' && !isDismissBehavior(s) && depthKeywords.some((k) => s.haystack.includes(k.toLowerCase()));
+    const isDepthRequired = (s) => s.category !== 'NAV' && !isDismissBehavior(s) && depthKeywords.some((k) => (0, keyword_match_1.keywordHit)(s.haystack, k));
     const required = nonManual.filter(isDepthRequired);
     const reqShallow = required.filter((s) => s.shallow);
     // Business-critical scenarios deferred to @manual (match a data-theme but excluded above).
@@ -324,7 +337,7 @@ function automatableManual(scenarios) {
 function flowCoveredThemes(gaps, flowScenarios) {
     const out = [];
     for (const g of gaps) {
-        const hit = flowScenarios.find((s) => s.deep && g.keywords.some((k) => s.haystack.includes(k.toLowerCase())));
+        const hit = flowScenarios.find((s) => s.deep && g.keywords.some((k) => (0, keyword_match_1.keywordHit)(s.haystack, k)));
         if (hit)
             out.push({ theme: g.theme, flow: hit.flow });
     }
@@ -386,10 +399,12 @@ function oracleStrength(scenarios) {
             hint: `every \`Then\` is a URL assertion${guardLike ? ' on a permission / guard scenario' : ''} — it proves the router pushed a path, not that the page rendered for this user${guardLike ? ', and this is exactly the scenario a late 403 redirect turns falsely green' : ''}. Give the page selector an \`anchor:\` (a heading/landmark only the rendered page has) — one line per screen, and every \`see [X] page\` on it becomes a content oracle — or add a content assertion after it.`,
         });
     }
+    let weakFacet = 0;
     for (const s of scenarios) {
         if (s.manual)
             continue; // a @manual facet check is a deliberate deferral, not a weak automated oracle
         if (WEAK_FACET_ORACLE.test(s.stepsText)) {
+            weakFacet++;
             weak.push({
                 name: s.name.slice(0, 80),
                 hint: 'asserting every item NAME contains a category/brand term does not prove facet membership — assert the results-page TITLE/header carries the facet, a detail-page facet field, or an API/DB oracle; or defer the exhaustive check to @manual:M2.',
@@ -397,7 +412,17 @@ function oracleStrength(scenarios) {
         }
     }
     const facetClaims = scenarios.filter((s) => FACET_REF.test(s.stepsText) || FACET_REF.test(s.name)).length;
-    return { weak, facetClaims, ratio: facetClaims ? 1 - weak.length / Math.max(1, facetClaims) : 1 };
+    // Only the FACET class is denominated by `facetClaims`. `weak` also carries ORACLE-URL-ONLY
+    // findings (#662), which make no category/brand claim at all — averaging them into this axis
+    // drove `ratio` negative (5 URL-only over 2 facet claims → 1 - 5/2 = -1.5), which walked through
+    // the businessDepth floor and took the CLI's bar renderer down with it (#762). A URL-only oracle
+    // is NAMED as a finding and holds the score out of the senior band (`seniorBandedOverall`);
+    // it is not averaged into the facet axis — the invariant `url-only-oracle.run.ts` asserts.
+    // The clamp is not belt-and-braces: a weak-facet scenario need not itself satisfy FACET_REF
+    // (`see all [name] contains {{price.term}}` is weak but claims no facet), so `weakFacet` can
+    // still outrun `facetClaims`. This axis is declared 0..1; it leaves here inside 0..1.
+    const ratio = facetClaims ? Math.max(0, Math.min(1, 1 - weakFacet / facetClaims)) : 1;
+    return { weak, facetClaims, weakFacet, ratio };
 }
 /** Collect data-correctness themes (depth.requires) for a page-type + universal. */
 function dataThemesFor(catalog, pageType) {
@@ -490,6 +515,27 @@ function scenarioIdReuse(scenarios) {
  * a correctly-traced flow suite read as 15% traceable (#592).
  */
 const unprefixed = (id) => id.replace(/^(?:VP|FL)-/i, '').toUpperCase();
+/**
+ * The traceability note, worded from the SAME ratio the audit's TRACE finding fires on —
+ * mapped / ALL scenarios (#852). It used to compare mapped against scenarios WITH an id, so 0 of
+ * 0 (no scenario yet, or none tagged) and 2 of 2 tagged out of 10 all read "Traceable." while
+ * the audit reported `TRACE: Traceable.` for a 0–20% mapping.
+ */
+function traceNote(total, withCode, mapped, declared, exampleId) {
+    if (declared === 0) {
+        return 'No viewpoint ID found in test-viewpoint.md — the file is missing, or none of its sections declares one — so the scenario IDs were not checked. Declarations are read from a `## Priority Viewpoints` table, `### Required / Recommended / Optional` lists, and tables whose first column is a `VP-`/`FL-` ID or an ID of a family declared there (Known Issues / Traceability / References sections are skipped).';
+    }
+    if (total === 0)
+        return 'No scenarios yet — traceability is measured once the feature has scenarios.';
+    if (mapped >= total * 0.5)
+        return 'Traceable.';
+    const example = exampleId ? ` (e.g. \`${exampleId}-001 …\`)` : '';
+    if (withCode === 0)
+        return `No scenario carries a viewpoint ID — start each title with one of the IDs declared in test-viewpoint.md${example}.`;
+    if (mapped < withCode * 0.5)
+        return 'Scenario IDs do not match the viewpoint-overview ids (weak traceability — re-tag to the project viewpoint IDs).';
+    return `Only ${mapped} of ${total} scenarios carry a declared viewpoint ID — ${total - withCode} have no ID at all; tag them with the project's IDs${example}.`;
+}
 function traceability(scenarios, viewpoints) {
     const overviewIds = new Set(viewpoints.map((v) => v.id.toUpperCase()));
     const overviewBare = new Set(viewpoints.map((v) => unprefixed(v.id)));
@@ -517,9 +563,10 @@ function traceability(scenarios, viewpoints) {
         mappedToOverview: mapped.length,
         withVpCodeRatio: scenarios.length ? withCode.length / scenarios.length : 0,
         mappedRatio: scenarios.length ? mapped.length / scenarios.length : 0,
-        note: withCode.length && mapped.length < withCode.length * 0.5
-            ? 'Scenario IDs do not match the viewpoint-overview ids (weak traceability — re-tag to the project viewpoint IDs).'
-            : 'Traceable.',
+        overviewIds: overviewIds.size,
+        // With no ID read there is nothing to match against: telling the author to re-tag sends them
+        // to change scenarios that may be right (#832). Name the file and the sections read instead.
+        note: traceNote(scenarios.length, withCode.length, mapped.length, overviewIds.size, viewpoints[0]?.id),
     };
 }
 // Ordered by specificity; the first matching rule per scenario wins.
@@ -537,6 +584,31 @@ const CLAIM_RULES = [
         hint: 'swap `contains {{v}}` for `with {{v}}` on the continuity rows. A substring match cannot distinguish "unchanged" from "changed by adding a prefix" — and if the screen genuinely renders extra text around the value, say so in the title instead of claiming exactness.',
         severity: 'warn',
     },
+    {
+        // An ORDER claim ("sorted by date descending", "ties broken by last-updated") is invisible to
+        // a presence check: `see [List] table` passes whatever order the rows are in. It sits ahead of
+        // the generic rules so "all results sorted …" is judged as an ordering claim, not an all-claim.
+        // A tiebreaker is a Tier-1 guard in the tc-generation skill, yet no rule recognised it (#810).
+        claim: 'ordering/sort',
+        title: /\b(ascending|descending|sorted|sorts|sort order|ordered by|order by|in (?:chronological|alphabetical|reverse|numeric) order|(?:newest|oldest|latest|earliest|highest|lowest) first|tie-?break(?:s|er|ers)?|ties?)\b|降順|昇順|並び順|giảm dần|tăng dần|sắp xếp/,
+        proof: /match data|is sorted|sorted (?:ascending|descending)|\brow \d+\b|\.first\.|\.last\.|\[\d+\]\.|order by/,
+        need: 'an order-sensitive assertion (`table match data:` rows in the expected order, `is sorted ascending|descending`, or positional `row N` checks)',
+        hint: 'a presence check passes in any order — assert the rows in their expected sequence (`User see [T] table match data:`), or the column sort state; a tiebreak needs two rows sharing the primary key.',
+        severity: 'fail',
+    },
+    {
+        // A LIMIT claim ("never exceeds 10", "at most 5 files") is a count claim in disguise.
+        // Ahead of 'no-side-effect', whose negation+effect pattern would otherwise swallow
+        // "never exceeds 10 records" and ask for a duplicate-count proof.
+        claim: 'limit/cap',
+        // The quantity must be ≥2 ("at most ONE order" is a no-duplicate claim — left to the rules
+        // below) and not a duration ("up to 30 seconds" is a timing claim, not a cap).
+        title: /\b(?:never exceeds?|(?:does not|doesn['’]t|not) exceed|at most|no more than|up to|capped at|caps? at|maximum of|max(?:imum)?)\s+(?:\d{2,}|[2-9]|two|three|four|five|six|seven|eight|nine|ten)\b(?!\s*(?:ms|milliseconds?|s|secs?|seconds?|mins?|minutes?|hours?|days?)\b)|\b(?:never exceeds?|(?:does not|doesn['’]t) exceed) (?:the )?(?:limit|cap|quota|maximum)\b|以内|上限|tối đa/,
+        proof: /\bcount\b|tohavecount|table with|row with \{\{|match data|is at most|\bexactly\b|field with \{\{|\berror\b|invalid|is disabled/,
+        need: 'a count/boundary assertion (count is N, `is at most`, the N+1th input rejected or truncated)',
+        hint: 'assert the boundary itself — the count at the cap, or the value/error when one more is attempted — not just that the list or field is present.',
+        severity: 'fail',
+    },
     {
         claim: 'all/every/each',
         title: /\b(all|every|each)\b/,
@@ -681,6 +753,12 @@ const CLAIM_RULES = [
     },
 ];
 const TAXONOMY_KNOWN = new Set(['LIST', 'PRODUCT', 'CART', 'FILTER', 'NAV', 'VAL', 'SEC']);
+/**
+ * Words of ACCESS — a title about who may reach something. They make the robustness/routing words
+ * below security evidence ("deep link without authentication"); alone those words describe routing.
+ */
+const ACCESS_CONTEXT = /\b(xss|sql|injection|without authentication|unauthenticated|unauthori[sz]ed|without an? (?:authenticated|valid|active) \w+|without (?:permission|login|logging in|signing in|an? account|access)|not (?:logged|signed) in|logged[- ]out|direct(?:ly)? access\w*|auth[- ]?guard|forbidden|\b403\b|(?:no|insufficient|missing) permissions?|permission required|session expired|expired session|tamper\w*)\b/;
+/** `requires`: the signal counts only when the title ALSO matches it (#888). */
 const CATEGORY_SIGNALS = [
     { cat: 'FILTER', re: /\b(categor(y|ies)|sub-?categor\w*|expand\w*|collaps\w*|\bfacet\b|filter\w*|belongs? to)\b/ },
     { cat: 'CART', re: /\b(add(ed|ing)? to cart|added (dialog|modal|message|confirmation)|cart (page|table|line|item)|view cart|continue shopping|quantit)\b/ },
@@ -693,8 +771,13 @@ const CATEGORY_SIGNALS = [
     // SEC, so the linter told QA to re-tag genuine auth-gate tests as navigation — diluting the
     // visibility of the security suite (QA field report, 3.2.23). The guard vocabulary below is
     // what makes the INTENT matchable, and GUARD_INTENT then wins over a mere observable.
-    { cat: 'SEC', re: /\b(xss|sql|injection|payload|without authentication|unauthenticated|without an? (?:authenticated|valid|active) \w+|direct(?:ly)? access\w*|deep[- ]link\w*|auth[- ]?guard|not skippable|without having (?:completed|submitted|logged)|remains? unauthenticated|\binert\b|tamper\w*|malformed|url parameter|query param\w*|falls? back|gracefull?y|without a crash|not[- ]found|\b404\b|special character|abuse)\b/ },
+    { cat: 'SEC', re: /\b(xss|sql|injection|payload|without authentication|unauthenticated|without an? (?:authenticated|valid|active) \w+|direct(?:ly)? access\w*|auth[- ]?guard|not skippable|without having (?:completed|submitted|logged)|remains? unauthenticated|\binert\b|tamper\w*|malformed|special character|abuse)\b/ },
+    // Robustness and routing words are SEC evidence only beside an ACCESS word. Alone they describe
+    // routing — "Unknown route shows the 404 page", "Deep link opens the item", "the tab from the url
+    // parameter" — and the linter told QA to re-tag those navigation tests as VP-SEC (#888).
+    { cat: 'SEC', re: /\b(deep[- ]link\w*|url parameter|query param\w*|falls? back|gracefull?y|without a crash|not[- ]found|\b404\b)\b/, requires: ACCESS_CONTEXT },
 ];
+const signalMatches = (c, title) => c.re.test(title) && (!c.requires || c.requires.test(title));
 /**
  * Categories whose signal describes the test's INTENT/risk rather than the observable action.
  * When one of these matches, a competing observable-only category (NAV: "redirects", "navigates")
@@ -712,15 +795,21 @@ function taxonomyLint(scenarios) {
             continue;
         checked++;
         const title = s.name.toLowerCase();
-        const matched = [...new Set(CATEGORY_SIGNALS.filter((c) => c.re.test(title)).map((c) => c.cat))];
+        const matched = [...new Set(CATEGORY_SIGNALS.filter((c) => signalMatches(c, title)).map((c) => c.cat))];
         if (matched.includes(cat))
             continue; // title supports its own category → fine
+        // A gate (`requires`) only stops a word from SUGGESTING its category. An author who already
+        // chose that category is supported by the word alone: a VP-SEC "Deep link to the filtered
+        // list …" stays SEC instead of being pushed toward FILTER (#888 review).
+        if (CATEGORY_SIGNALS.some((c) => c.cat === cat && c.requires && c.re.test(title)))
+            continue;
         // The declared category may be an INTENT category whose signal this title spells
         // differently; never "correct" it toward a category that only names the observable.
         const suppressed = INTENT_OVER_OBSERVABLE[cat];
         const others = matched.filter((c) => c !== cat && !(suppressed && suppressed.has(c)));
         if (others.length === 1) { // unambiguous mismatch
-            const sig = CATEGORY_SIGNALS.find((c) => c.cat === others[0]);
+            // The entry that MATCHED — a category can have several (SEC: guard words, gated robustness words).
+            const sig = CATEGORY_SIGNALS.find((c) => c.cat === others[0] && signalMatches(c, title));
             const m = title.match(sig.re);
             mislabeled.push({ name: s.name, current: cat, suggested: others[0], signal: m ? m[0] : others[0] });
         }
@@ -790,9 +879,8 @@ function numericClaimGaps(scenarios) {
         const claimed = NUMBER_WORDS[m[1]] ?? Number(m[1]);
         if (!Number.isFinite(claimed) || claimed < 2)
             continue;
-        // Only value-bearing assertions count: `see [X] … with/contains {{v}}`. A visibility check
-        // does not demonstrate one of N values.
-        const asserted = (s.stepsText.match(/\bsee \[[^\]]+\][^|]*?\b(?:with|contains) \{\{/g) ?? []).length;
+        // Values, positive states and indicator presence count; plain text visibility does not (#866).
+        const asserted = (0, counted_assertions_1.countedAssertions)(s.stepsText);
         if (asserted > 0 && asserted < claimed)
             out.push({ name: s.name, claimed, asserted, noun: m[2] });
     }
@@ -804,16 +892,18 @@ function numericClaimGaps(scenarios) {
  * The Priority-Viewpoints table is where release selection is supposed to come from. When the
  * table says a flow is `Low` and its scenario is tagged `@high`, a smoke run picks up work the QA
  * deliberately deprioritised — and nobody can tell which of the two was the decision (#622).
+ *
+ * Reads the SAME parse traceability does (`parseViewpointOverview`). It used to scan the raw text
+ * for any `| VP-… | high |` row, so one audit run "saw" an id for this check and not for
+ * traceability (#833), and a row in a Known Issues table could raise a contradiction.
  */
-function priorityMismatches(viewpointText, scenarios) {
+function priorityMismatches(viewpoints, scenarios) {
     const declared = new Map();
-    for (const m of viewpointText.matchAll(/^\|\s*((?:VP|FL)[A-Z0-9._-]*)\s*\|\s*(critical|high|medium|normal|low|deferred)\s*\|/gim)) {
-        declared.set(m[1].toUpperCase(), m[2].toLowerCase());
-    }
+    for (const v of viewpoints)
+        if (v.priorityWord)
+            declared.set(v.id.toUpperCase(), v.priorityWord);
     if (declared.size === 0)
         return [];
-    // `medium` and `normal` are the same rank under different names in real documents.
-    const rank = (p) => (p === 'medium' ? 'normal' : p);
     const out = [];
     for (const s of scenarios) {
         const id = (s.vpId ?? '').toUpperCase();
@@ -823,13 +913,17 @@ function priorityMismatches(viewpointText, scenarios) {
         const key = [...declared.keys()].filter((k) => id.startsWith(k)).sort((a, b) => b.length - a.length)[0];
         if (!key)
             continue;
-        const want = rank(declared.get(key));
-        const got = rank(String(s.priority).toLowerCase());
-        // `critical` and `deferred` have no tag equivalent — nothing to contradict.
-        if (want === 'critical' || want === 'deferred')
+        // Both sides fold through the one priority reading (`critical` ≡ high, `medium`/`med` ≡ normal).
+        const want = (0, viewpoint_priority_1.parsePriority)(declared.get(key));
+        // `deferred` and `skip` (declared not applicable, #853) have no tag equivalent — nothing to contradict.
+        if (want === 'deferred' || want === 'skip')
+            continue;
+        // An untagged scenario states no priority, so it cannot contradict one (#861).
+        const tagged = s.priorityTag ?? (s.priority === 'unknown' ? undefined : String(s.priority));
+        if (!tagged)
             continue;
-        if (want !== got)
-            out.push({ id: key, declared: declared.get(key), tagged: got, scenario: s.name });
+        if (want !== (0, viewpoint_priority_1.parsePriority)(tagged))
+            out.push({ id: key, declared: declared.get(key), tagged, scenario: s.name });
     }
     return out;
 }