@sun-asterisk/sungen 3.0.0-beta.84 → 3.0.0-beta.92

package/dist/harness/viewpoint-ledger.js

@@ -1,118 +0,0 @@
-"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.parseViewpointItems = parseViewpointItems;
-exports.viewpointLedger = viewpointLedger;
-/**
- * Viewpoint Atomic Coverage Ledger (harness #2).
- *
- * The project's `test-viewpoint.md` IS the coverage contract. This parses it into ATOMIC
- * items (each bullet / table row / ID-prefixed line) and reports the status of EACH —
- * covered / missing — instead of the coarse "viewpoint mentioned" signal. It is fully
- * project-driven (works on any project's viewpoint file, any domain), which is why it
- * scales where a hardcoded domain catalog does not. Advisory: it surfaces the per-item
- * gaps that inflate a "looks-covered" score; it does not fail the gate.
- */
-const fs = __importStar(require("fs"));
-const ID_RE = /\b([A-Z]{1,5}\d{0,2}(?:[.\-][A-Za-z0-9]+)*-?\d{0,3})\b/; // VP0.Title, VP7-002, MS-HP-001, TV-01
-const GENERIC = new Set(['display', 'shown', 'value', 'field', 'input', 'page', 'screen', 'button', 'link', 'text', 'check', 'verify', 'should', 'with', 'when', 'then', 'user', 'this', 'that', 'each', 'item', 'items']);
-/** Extract atomic checklist items from a viewpoint file (format-tolerant). */
-function parseViewpointItems(viewpointPath) {
-    if (!fs.existsSync(viewpointPath))
-        return [];
-    const lines = fs.readFileSync(viewpointPath, 'utf-8').split('\n');
-    const items = [];
-    let inFence = false;
-    for (const raw of lines) {
-        const line = raw.trim();
-        if (line.startsWith('```')) {
-            inFence = !inFence;
-            continue;
-        }
-        if (inFence || !line)
-            continue;
-        if (/^#{1,6}\s/.test(line))
-            continue; // markdown heading
-        let text = '';
-        const bullet = line.match(/^(?:[-*+]|\d+[.)])\s+(.*)$/);
-        if (bullet)
-            text = bullet[1];
-        else if (line.startsWith('|')) { // table data row
-            if (/^\|[\s|:-]+\|?$/.test(line))
-                continue; // separator
-            const cells = line.split('|').map((c) => c.trim()).filter(Boolean);
-            if (/^(vp|id|viewpoint|priority|reason|no\.?|category|item|trigger|#|pattern|applicable|notes|field|constraint|code|description|status)$/i.test(cells[0] || ''))
-                continue; // header
-            text = cells.join(' — ');
-        }
-        else
-            continue;
-        text = text.replace(/[*`]/g, '').trim();
-        if (!text)
-            continue;
-        const idM = text.match(ID_RE);
-        const id = idM && /\d/.test(idM[1]) ? idM[1] : undefined; // require a digit so prose words aren't IDs
-        const words = (text.toLowerCase().match(/[a-z][a-z-]{3,}/g) || []).filter((w) => !GENERIC.has(w));
-        if (!id && words.length < 2)
-            continue; // not substantive enough to track
-        items.push({ id, text: text.slice(0, 100) });
-    }
-    return items;
-}
-function viewpointLedger(viewpointPath, scenarios, featureText) {
-    const items = parseViewpointItems(viewpointPath);
-    if (!fs.existsSync(viewpointPath) || items.length === 0) {
-        return { hasViewpoint: fs.existsSync(viewpointPath), total: 0, covered: 0, ratio: 1, missing: [] };
-    }
-    const featLower = featureText.toLowerCase();
-    const missing = [];
-    let covered = 0;
-    for (const item of items) {
-        let isCovered = false;
-        if (item.id && featLower.includes(item.id.toLowerCase()))
-            isCovered = true;
-        else {
-            const words = [...new Set((item.text.toLowerCase().match(/[a-z][a-z-]{3,}/g) || []).filter((w) => !GENERIC.has(w)))];
-            const need = Math.min(2, words.length);
-            isCovered = words.length > 0 && scenarios.some((s) => words.filter((w) => s.haystack.includes(w)).length >= need);
-        }
-        if (isCovered)
-            covered++;
-        else
-            missing.push({ id: item.id, text: item.text });
-    }
-    return { hasViewpoint: true, total: items.length, covered, ratio: items.length ? covered / items.length : 1, missing };
-}
-//# sourceMappingURL=viewpoint-ledger.js.map

package/dist/harness/viewpoint-ledger.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"viewpoint-ledger.js","sourceRoot":"","sources":["../../src/harness/viewpoint-ledger.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,kDA4BC;AAED,0CAsBC;AA/ED;;;;;;;;;GASG;AACH,uCAAyB;AAazB,MAAM,KAAK,GAAG,wDAAwD,CAAC,CAAC,uCAAuC;AAC/G,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAE3N,8EAA8E;AAC9E,SAAgB,mBAAmB,CAAC,aAAqB;IACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClE,MAAM,KAAK,GAAoC,EAAE,CAAC;IAClD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAAC,OAAO,GAAG,CAAC,OAAO,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7D,IAAI,OAAO,IAAI,CAAC,IAAI;YAAE,SAAS;QAC/B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS,CAAiB,mBAAmB;QACzE,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACxD,IAAI,MAAM;YAAE,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;aACxB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAuB,iBAAiB;YACtE,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAW,YAAY;YAClE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACnE,IAAI,sIAAsI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,SAAS,CAAC,SAAS;YACpL,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;;YAAM,SAAS;QAChB,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,4CAA4C;QACtG,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS,CAAiB,kCAAkC;QACzF,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,eAAe,CAAC,aAAqB,EAAE,SAAyB,EAAE,WAAmB;IACnG,MAAM,KAAK,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC;IACjD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,EAAE,YAAY,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACrG,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,IAAI,CAAC,EAAE,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC;aACtE,CAAC;YACJ,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrH,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvC,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC;QACpH,CAAC;QACD,IAAI,SAAS;YAAE,OAAO,EAAE,CAAC;;YACpB,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;AACzH,CAAC"}

package/src/cli/commands/eval.ts

@@ -1,28 +0,0 @@
-import { Command } from 'commander';
-import { lintSkills, defaultSkillDir } from '../../harness/eval/skill-lint';
-
-export function registerEvalCommand(program: Command): void {
-  program
-    .command('eval')
-    .description('Eval harness: quality checks on Sungen\'s own skills/instructions (dev/CI)')
-    .option('--skills', 'Static skill-lint: frontmatter, line budget, claude↔github sync, registration')
-    .option('--dir <path>', 'Templates dir to lint (default: bundled ai-instructions)')
-    .option('--json', 'Output the raw findings JSON')
-    .action((options) => {
-      try {
-        if (!options.skills) throw new Error('Provide --skills (the only eval mode today)');
-        const dir = options.dir || defaultSkillDir();
-        const r = lintSkills(dir);
-        if (options.json) { console.log(JSON.stringify(r, null, 2)); process.exit(r.errors > 0 ? 2 : 0); }
-        console.log('');
-        console.log(`━━━ Skill-lint: ${r.checked} skill template(s) ━━━`);
-        if (!r.findings.length) console.log('  ✓ all skills pass (frontmatter · line-budget · variant-sync · registration)');
-        for (const f of r.findings) console.log(`  ${f.level === 'error' ? '✗' : '⚠'} [${f.rule}] ${f.file} — ${f.detail}`);
-        console.log('');
-        process.exit(r.errors > 0 ? 2 : 0);
-      } catch (error) {
-        console.error('Error:', error instanceof Error ? error.message : error);
-        process.exit(1);
-      }
-    });
-}

package/src/harness/eval/skill-lint.ts

@@ -1,87 +0,0 @@
-/**
- * Static skill-lint (Eval Harness L1) — deterministic quality checks on Sungen's OWN
- * AI-instruction templates, so a broken / unregistered / oversized skill fails before it
- * ships. Learned (generically) from the "static validations" tier of an agent-kit evals
- * layer. No project data — this lints the sungen package's own templates.
- *
- * Design note: the checks are MAPPING-DRIVEN. `AI_RULES_FILE_MAPPING` is the source of
- * truth for what each template installs as, so the lint uses the install target (does it
- * end in `/SKILL.md`?) to tell a top-level skill from a sub-content fragment — instead of
- * guessing from filenames. We deliberately do NOT enforce claude↔github body parity: the
- * two variants are hand-tuned per platform and intentionally diverge in wording and even
- * structure, so byte/heading equality would be pure false positives.
- */
-import * as fs from 'fs';
-import * as path from 'path';
-import { AI_RULES_FILE_MAPPING } from '../../orchestrator/ai-rules-updater';
-
-export interface SkillLintFinding { level: 'error' | 'warn'; file: string; rule: string; detail: string }
-export interface SkillLintResult { checked: number; findings: SkillLintFinding[]; errors: number }
-
-const LINE_BUDGET = 700; // a skill much larger than this is a context-cost smell (warn)
-const SKILL_RE = /^(claude|github)-skill-/;
-
-function stripFrontmatter(text: string): { fm: string | null; body: string } {
-  const m = text.match(/^---\n([\s\S]*?)\n---\n?/);
-  if (!m) return { fm: null, body: text };
-  return { fm: m[1], body: text.slice(m[0].length) };
-}
-
-/** Lint the AI-instruction templates in `dir` (default: the sungen source templates). */
-export function lintSkills(dir: string): SkillLintResult {
-  const findings: SkillLintFinding[] = [];
-  const files = fs.existsSync(dir) ? fs.readdirSync(dir).filter((f) => f.endsWith('.md')) : [];
-  const skillFiles = files.filter((f) => SKILL_RE.test(f));
-
-  // mapping: template file -> install target (source of truth for "is this a top-level skill")
-  const target = new Map<string, string>(AI_RULES_FILE_MAPPING.map(([tpl, dst]) => [tpl, dst]));
-  const isTopLevelSkill = (f: string) => (target.get(f) || '').endsWith('/SKILL.md');
-
-  // 1) registration integrity (bidirectional) — the highest-value check:
-  //    a skill file missing from the mapping never installs; a mapping to a missing file
-  //    ships a broken/empty skill.
-  for (const f of skillFiles) {
-    if (!target.has(f)) findings.push({ level: 'error', file: f, rule: 'unregistered', detail: 'skill template not in AI_RULES_FILE_MAPPING (it would never be installed)' });
-  }
-  for (const [tpl] of AI_RULES_FILE_MAPPING) {
-    if (!fs.existsSync(path.join(dir, tpl))) findings.push({ level: 'error', file: tpl, rule: 'mapped-missing', detail: 'AI_RULES_FILE_MAPPING points to a template that does not exist' });
-  }
-
-  // 2) frontmatter (name + description) — ONLY for top-level skills (SKILL.md targets).
-  //    Sub-content fragments (mode-*.md, group-*.md) are loaded by their parent router
-  //    and legitimately carry no frontmatter.
-  for (const f of skillFiles) {
-    if (!isTopLevelSkill(f)) continue;
-    const text = fs.readFileSync(path.join(dir, f), 'utf8');
-    const { fm } = stripFrontmatter(text);
-    if (!fm) { findings.push({ level: 'error', file: f, rule: 'frontmatter', detail: 'top-level skill (SKILL.md) is missing --- frontmatter --- (Claude/Copilot will not load it)' }); continue; }
-    if (!/\bname\s*:/.test(fm)) findings.push({ level: 'error', file: f, rule: 'frontmatter-name', detail: 'no `name:` in frontmatter' });
-    if (!/\bdescription\s*:/.test(fm)) findings.push({ level: 'error', file: f, rule: 'frontmatter-description', detail: 'no `description:` in frontmatter' });
-  }
-
-  // 3) line budget — context-cost smell (advisory).
-  for (const f of skillFiles) {
-    const lines = fs.readFileSync(path.join(dir, f), 'utf8').split('\n').length;
-    if (lines > LINE_BUDGET) findings.push({ level: 'warn', file: f, rule: 'line-budget', detail: `${lines} lines > ${LINE_BUDGET} (context-cost smell)` });
-  }
-
-  // 4) variant PRESENCE (not body equality) — every top-level skill should ship for both
-  //    platforms. Catches "added a Claude skill but forgot the Copilot variant". Advisory.
-  const skillName = (dst: string) => { const m = dst.match(/\/(sungen-[^/]+)\/SKILL\.md$/); return m ? m[1] : null; };
-  const claudeSkills = new Set<string>(), githubSkills = new Set<string>();
-  for (const f of skillFiles) {
-    if (!isTopLevelSkill(f)) continue;
-    const name = skillName(target.get(f)!); if (!name) continue;
-    (f.startsWith('claude-') ? claudeSkills : githubSkills).add(name);
-  }
-  for (const n of claudeSkills) if (!githubSkills.has(n)) findings.push({ level: 'warn', file: `claude .../${n}/SKILL.md`, rule: 'variant-missing', detail: `Claude skill "${n}" has no GitHub (Copilot) variant` });
-  for (const n of githubSkills) if (!claudeSkills.has(n)) findings.push({ level: 'warn', file: `github .../${n}/SKILL.md`, rule: 'variant-missing', detail: `GitHub skill "${n}" has no Claude variant` });
-
-  return { checked: skillFiles.length, findings, errors: findings.filter((f) => f.level === 'error').length };
-}
-
-/** Default templates dir, resolved relative to this module (works from src via tsx and dist). */
-export function defaultSkillDir(): string {
-  // src/harness/eval → src/orchestrator/...  |  dist/harness/eval → dist/orchestrator/...
-  return path.resolve(__dirname, '..', '..', 'orchestrator', 'templates', 'ai-instructions');
-}

package/src/harness/quality-gates.ts

@@ -1,152 +0,0 @@
-/**
- * Quality gates (batch): downstream-scope + manual-oracle + negative-side-effect +
- * cross-artifact ownership + source-backed strictness.
- * Generic — read the project's own spec.md / feature text / sibling flows; no project data.
- */
-import * as fs from 'fs';
-import * as path from 'path';
-import { ScenarioInfo, loadScenarios, idPrefix } from './parse';
-
-// ---------- #2 Downstream-scope ----------
-
-export interface DownstreamResult {
-  downstreamRoutes: string[];                 // success/navigation targets ≠ own route
-  underCovered: { route: string; slug: string }[]; // referenced only by a bare page-nav
-}
-
-/** Routes the spec hands off to (Navigation Flow / success), other than the screen's own route. */
-function downstreamRoutes(specText: string): string[] {
-  const ownRoute = (specText.match(/\*\*Route\*\*\s*:\s*`?(\/[^\s`]+)/) || [])[1] || '';
-  const routes = new Set<string>();
-  for (const line of specText.split('\n')) {
-    if (!/success|navigat|to \(|→/i.test(line)) continue;
-    for (const m of line.matchAll(/`?(\/[a-z][a-z0-9/_-]+)`?/gi)) {
-      const r = m[1];
-      if (r !== ownRoute && r.split('/').length > ownRoute.split('/').length - 0) routes.add(r);
-    }
-  }
-  // keep only routes that extend beyond the own route (a distinct downstream surface)
-  return [...routes].filter((r) => r !== ownRoute && (!ownRoute || r.startsWith(ownRoute + '/') || r.split('/').length >= 3));
-}
-
-export function downstreamScope(specText: string, scenarios: ScenarioInfo[]): DownstreamResult {
-  const routes = downstreamRoutes(specText);
-  const underCovered: { route: string; slug: string }[] = [];
-  for (const route of routes) {
-    const slug = (route.split('/').filter(Boolean).pop() || route).toLowerCase();
-    const refs = scenarios.filter((s) => s.haystack.includes(slug) || s.haystack.includes(route.toLowerCase()));
-    if (!refs.length) continue; // not referenced at all — out of this screen's scope entirely
-    // Substantively covered only if some scenario OPERATES on the downstream — i.e. it
-    // starts there (`is on [<downstream>]`) — not merely navigates to it as a terminal
-    // `see [<downstream>] page` assertion. The latter just proves the transition.
-    const opensOn = new RegExp(`\\bis on \\[[^\\]]*${slug}`, 'i');
-    const contentCovered = refs.some((s) => opensOn.test(s.haystack));
-    if (!contentCovered) underCovered.push({ route, slug });
-  }
-  return { downstreamRoutes: routes, underCovered };
-}
-
-// ---------- #4 Manual-oracle ----------
-
-export interface ManualOracleResult {
-  manualTotal: number;
-  insufficient: string[];   // @manual scenarios lacking setup/action/oracle
-}
-
-function blocks(featureText: string): string[] {
-  return featureText.split(/\n\s*\n/).filter((b) => /\bScenario:/.test(b));
-}
-
-export function manualOracle(featureText: string): ManualOracleResult {
-  const insufficient: string[] = [];
-  let manualTotal = 0;
-  for (const b of blocks(featureText)) {
-    if (!/@manual\b/.test(b)) continue;
-    manualTotal++;
-    const commentLines = b.split('\n').filter((l) => /^\s*#/.test(l));
-    const hasOracle = /tester verifies|oracle\s*:|requires|verify that|expected\s*:|steps?\s*:/i.test(b);
-    const hasNumberedSteps = /^\s*#?\s*\d+\.\s/m.test(b);
-    // sufficient = an oracle/steps marker, OR a substantive comment block (≥3 comment lines)
-    if (!(hasOracle || hasNumberedSteps || commentLines.length >= 3)) {
-      const name = (b.match(/Scenario:\s*(.+)/) || [])[1] || '(unnamed)';
-      insufficient.push(name.trim().slice(0, 80));
-    }
-  }
-  return { manualTotal, insufficient };
-}
-
-// ---------- #4 Negative side-effect ----------
-
-const NEG_TITLE = /\b(does not|doesn't|no second|not dispatch|not sent|without submitting|no leak|single request|exactly one|count is 1|only one request|no duplicate|not create)\b/i;
-
-/** Titles asserting an ABSENCE must prove it (count / negative / @manual+oracle), not just a happy outcome. */
-export function negativeSideEffect(scenarios: ScenarioInfo[]): string[] {
-  const flagged: string[] = [];
-  for (const s of scenarios) {
-    if (s.manual) continue;                 // @manual is a legitimate deferral (oracle checked by #4 manual-oracle)
-    if (!NEG_TITLE.test(s.name)) continue;
-    const proven = /\bcount\b|tohavecount|table with|is hidden|are hidden|not complete|message is hidden/.test(s.stepsText);
-    if (!proven) flagged.push(s.name.slice(0, 80));
-  }
-  return flagged;
-}
-
-// ---------- #7 Source-backed strictness ----------
-
-/** A scenario should trace to a source: a viewpoint ID (its own scheme), an FR id, or a
- * viewpoint item (keyword overlap). ID match is language-agnostic and primary. */
-export function sourceBacked(scenarios: ScenarioInfo[], frIds: string[], viewpointItems: string[], viewpointIds: string[], featureText: string): string[] {
-  if (!frIds.length && !viewpointItems.length && !viewpointIds.length) return []; // no contract
-  const vpIds = viewpointIds.map((s) => s.toUpperCase());
-  const itemWords = viewpointItems.map((t) => new Set((t.toLowerCase().match(/[a-z][a-z-]{4,}/g) || [])));
-  // per-scenario blocks (INCLUDING comments) so an FR cited in a comment counts as a source
-  const blockOf = new Map<string, string>();
-  for (const b of featureText.split(/\n\s*\n/)) {
-    const m = b.match(/Scenario:\s*(.+)/);
-    if (m) blockOf.set(m[1].trim().toLowerCase(), b.toLowerCase());
-  }
-  const unsourced: string[] = [];
-  for (const s of scenarios) {
-    const id = (s.vpId || s.vpCode || '').toUpperCase();
-    const mapsId = !!id && vpIds.some((v) => id === v || id.startsWith(v) || v.startsWith(idPrefix(id)));
-    const block = blockOf.get(s.name.trim().toLowerCase()) || s.haystack;
-    const citesFr = frIds.some((fid) => block.includes(fid.toLowerCase()));
-    const sWords = new Set((s.haystack.match(/[a-z][a-z-]{4,}/g) || []));
-    const mapsItem = itemWords.some((iw) => { let hits = 0; for (const w of iw) if (sWords.has(w)) hits++; return hits >= 2; });
-    if (!mapsId && !citesFr && !mapsItem) unsourced.push(s.name.slice(0, 80));
-  }
-  return unsourced;
-}
-
-// ---------- #6 Cross-artifact ownership ----------
-
-export interface OwnershipResult { duplicates: { scenario: string; flow: string }[] }
-
-/** Scenarios whose step-skeleton also appears in a sibling flow feature → duplicate ownership. */
-export function crossArtifactOwnership(screenDir: string, scenarios: ScenarioInfo[]): OwnershipResult {
-  const duplicates: { scenario: string; flow: string }[] = [];
-  // screenDir = <root>/qa/screens/<name>; flows live at <root>/qa/flows/*/features/*.feature
-  const flowsRoot = path.resolve(screenDir, '..', '..', 'flows');
-  if (!fs.existsSync(flowsRoot)) return { duplicates };
-  const bySkeleton = new Map<string, string>();
-  for (const flow of fs.readdirSync(flowsRoot)) {
-    const fdir = path.join(flowsRoot, flow, 'features');
-    if (!fs.existsSync(fdir)) continue;
-    for (const f of fs.readdirSync(fdir).filter((x) => x.endsWith('.feature'))) {
-      for (const fs2 of loadScenarios(path.join(fdir, f))) {
-        if (fs2.stepSkeleton && fs2.stepSkeleton.length > 20) bySkeleton.set(fs2.stepSkeleton, flow);
-      }
-    }
-  }
-  if (!bySkeleton.size) return { duplicates };
-  for (const s of scenarios) {
-    const flow = s.stepSkeleton && s.stepSkeleton.length > 20 ? bySkeleton.get(s.stepSkeleton) : undefined;
-    if (flow) duplicates.push({ scenario: s.name.slice(0, 70), flow });
-  }
-  return { duplicates };
-}
-
-// convenience reader
-export function readText(p: string): string {
-  return fs.existsSync(p) ? fs.readFileSync(p, 'utf-8') : '';
-}

package/src/harness/viewpoint-ledger.ts

@@ -1,80 +0,0 @@
-/**
- * Viewpoint Atomic Coverage Ledger (harness #2).
- *
- * The project's `test-viewpoint.md` IS the coverage contract. This parses it into ATOMIC
- * items (each bullet / table row / ID-prefixed line) and reports the status of EACH —
- * covered / missing — instead of the coarse "viewpoint mentioned" signal. It is fully
- * project-driven (works on any project's viewpoint file, any domain), which is why it
- * scales where a hardcoded domain catalog does not. Advisory: it surfaces the per-item
- * gaps that inflate a "looks-covered" score; it does not fail the gate.
- */
-import * as fs from 'fs';
-import { ScenarioInfo } from './parse';
-
-export interface LedgerItem { id?: string; text: string; covered: boolean }
-
-export interface LedgerResult {
-  hasViewpoint: boolean;
-  total: number;
-  covered: number;
-  ratio: number;
-  missing: { id?: string; text: string }[];
-}
-
-const ID_RE = /\b([A-Z]{1,5}\d{0,2}(?:[.\-][A-Za-z0-9]+)*-?\d{0,3})\b/; // VP0.Title, VP7-002, MS-HP-001, TV-01
-const GENERIC = new Set(['display', 'shown', 'value', 'field', 'input', 'page', 'screen', 'button', 'link', 'text', 'check', 'verify', 'should', 'with', 'when', 'then', 'user', 'this', 'that', 'each', 'item', 'items']);
-
-/** Extract atomic checklist items from a viewpoint file (format-tolerant). */
-export function parseViewpointItems(viewpointPath: string): { id?: string; text: string }[] {
-  if (!fs.existsSync(viewpointPath)) return [];
-  const lines = fs.readFileSync(viewpointPath, 'utf-8').split('\n');
-  const items: { id?: string; text: string }[] = [];
-  let inFence = false;
-  for (const raw of lines) {
-    const line = raw.trim();
-    if (line.startsWith('```')) { inFence = !inFence; continue; }
-    if (inFence || !line) continue;
-    if (/^#{1,6}\s/.test(line)) continue;                 // markdown heading
-    let text = '';
-    const bullet = line.match(/^(?:[-*+]|\d+[.)])\s+(.*)$/);
-    if (bullet) text = bullet[1];
-    else if (line.startsWith('|')) {                       // table data row
-      if (/^\|[\s|:-]+\|?$/.test(line)) continue;           // separator
-      const cells = line.split('|').map((c) => c.trim()).filter(Boolean);
-      if (/^(vp|id|viewpoint|priority|reason|no\.?|category|item|trigger|#|pattern|applicable|notes|field|constraint|code|description|status)$/i.test(cells[0] || '')) continue; // header
-      text = cells.join(' — ');
-    } else continue;
-    text = text.replace(/[*`]/g, '').trim();
-    if (!text) continue;
-    const idM = text.match(ID_RE);
-    const id = idM && /\d/.test(idM[1]) ? idM[1] : undefined; // require a digit so prose words aren't IDs
-    const words = (text.toLowerCase().match(/[a-z][a-z-]{3,}/g) || []).filter((w) => !GENERIC.has(w));
-    if (!id && words.length < 2) continue;                 // not substantive enough to track
-    items.push({ id, text: text.slice(0, 100) });
-  }
-  return items;
-}
-
-export function viewpointLedger(viewpointPath: string, scenarios: ScenarioInfo[], featureText: string): LedgerResult {
-  const items = parseViewpointItems(viewpointPath);
-  if (!fs.existsSync(viewpointPath) || items.length === 0) {
-    return { hasViewpoint: fs.existsSync(viewpointPath), total: 0, covered: 0, ratio: 1, missing: [] };
-  }
-  const featLower = featureText.toLowerCase();
-  const missing: { id?: string; text: string }[] = [];
-  let covered = 0;
-
-  for (const item of items) {
-    let isCovered = false;
-    if (item.id && featLower.includes(item.id.toLowerCase())) isCovered = true;
-    else {
-      const words = [...new Set((item.text.toLowerCase().match(/[a-z][a-z-]{3,}/g) || []).filter((w) => !GENERIC.has(w)))];
-      const need = Math.min(2, words.length);
-      isCovered = words.length > 0 && scenarios.some((s) => words.filter((w) => s.haystack.includes(w)).length >= need);
-    }
-    if (isCovered) covered++;
-    else missing.push({ id: item.id, text: item.text });
-  }
-
-  return { hasViewpoint: true, total: items.length, covered, ratio: items.length ? covered / items.length : 1, missing };
-}