@antprofuse/saddle-islands-tools 0.0.0-stage → 0.1.4

package/tools/modules/minifish/harness/batch_report.py

@@ -0,0 +1,104 @@
+"""Static, portable HTML from actual batch receipts; no inference of case success."""
+import base64
+import mimetypes
+from html import escape
+from pathlib import Path
+from batch_cases import read_result
+from capture_contract import associate_capture
+
+
+def render_report(summary, directory):
+    directory = Path(directory).resolve()
+    def link(file):
+        file = Path(file).resolve()
+        if not file.is_file() or directory not in file.parents:
+            return None
+        mime = mimetypes.guess_type(file.name)[0] or 'application/octet-stream'
+        return 'data:' + mime + ';base64,' + base64.b64encode(file.read_bytes()).decode('ascii')
+    sections = {}
+    current_product = summary.get('currentProduct')
+    def current(identity):
+        return bool(current_product and identity and identity.get('sha256') == current_product.get('sha256'))
+    for case in summary['cases']:
+        ident = str(case['id'])
+        group, _, title = ident.rpartition(' / ')
+        receipt_file = Path(case.get('receipt', directory / 'missing'))
+        receipt = read_result(receipt_file, dict) or {}
+        status = str(case.get('status', 'not-run'))
+        errors = [str(e) for e in receipt.get('errors', []) + receipt.get('artifactErrors', [])]
+        if case.get('error'): errors.insert(0, str(case['error']))
+        seconds = case.get('finishedAt', 0) - case.get('startedAt', 0)
+        phases = case.get('phases', {})
+        images, historical_images = [], []
+        evidence_product = receipt.get('productIdentity')
+        current_execution = current(evidence_product)
+        association_html = '<p><b>按住态展示截图（独立采集）</b> · 释放/跳转边界未执行，不计入通过数</p>' if receipt.get('executionRole') == 'held-artifact' else ''
+        shots = receipt.get('screenshots', [])
+        shot_root = receipt_file.parent
+        capture = case.get('captureEvidence')
+        if capture:
+            capture_file = Path(capture['receipt'])
+            capture_receipt = read_result(capture_file, dict) or {}
+            capture_product = capture_receipt.get('productIdentity')
+            different_product = bool(evidence_product and capture_product and evidence_product.get('sha256') != capture_product.get('sha256'))
+            association = associate_capture(receipt, capture_receipt, legacy=capture.get('legacy', False)) if not different_product else {'status':'historical-product','productIdentity':capture_product,'behaviorExecutionId':receipt.get('executionId'),'captureExecutionId':capture_receipt.get('executionId')}
+            evidence_product = capture_product
+            current_execution = current(capture_product)
+            shots = capture_receipt.get('screenshots', [])
+            shot_root = capture_file.parent
+            label = '按住态展示截图（独立采集）' if not capture.get('legacy') else '按住态展示截图（复用历史失败执行）'
+            association_html = f'<p><b>{label}</b> · 不计入正式case通过数</p><details><summary>双执行身份与冻结指纹</summary><pre>{escape(str(association))}</pre></details>'
+        if not shots and receipt.get('screenshot'): shots = [receipt['screenshot']]
+        for shot in shots:
+            if not isinstance(shot, dict) or not isinstance(shot.get('file'), str): continue
+            url = link(shot_root / shot['file'])
+            if url:
+                destination = images if current_execution else historical_images
+                destination.append(f'<figure><button class="preview" type="button" aria-label="放大查看截图"><img loading="lazy" src="{url}" alt="{escape(ident, quote=True)}"></button><figcaption>{escape(str(shot.get("phase", "")))} · 点击放大</figcaption></figure>')
+        product_label = '<p>证据实际产品身份：'+escape(str(evidence_product or receipt.get('fingerprints', {}).get('productSha256') or '未记录'))+'</p>'
+        history_html = '<details class="history"><summary>历史执行截图（非当前产品）</summary>'+product_label+'<div class="shots">'+''.join(historical_images)+'</div></details>' if historical_images else ''
+        report_link = link(receipt_file)
+        log_link = link(Path(case.get('report', directory / 'missing')) / 'check.log')
+        links = ' · '.join(f'<a href="{url}" download>{name}</a>' for name, url in [('结果 JSON', report_link), ('运行日志', log_link)] if url)
+        details = escape('\n'.join(errors))
+        card = f'''<article data-status="{escape(status, quote=True)}"><h3>{escape(title or ident)}</h3>
+<p><b>{escape(status)}</b> · worker {case.get('worker', '?')} · {seconds:.2f}s</p>
+<p class="path">{escape(ident)}</p><p>{escape(str(phases))}</p><p>{links}</p>
+{('<pre>'+details+'</pre>') if details else ''}
+        <details><summary>工具版本、冻结测试/适配身份与自身断言</summary><pre>{escape(str({'toolIdentity':receipt.get('toolIdentity'), 'fingerprints':receipt.get('fingerprints'), 'adapterFiles':receipt.get('adapterFiles'), 'assertions':receipt.get('assertions')}))}</pre></details>{product_label}{association_html}<div class="shots current-product">{''.join(images) or '<p>当前产品最终图缺失（无截图）；未沿用历史截图。</p>'}</div>{history_html}</article>'''
+        for suffix in (' / 状态测试', ' / 交互测试'):
+            if group.endswith(suffix): group = group[:-len(suffix)]
+        sections.setdefault(group, []).append(card)
+    body = ''.join(f'<section><h2>{escape(group)}</h2>{"".join(cards)}</section>' for group, cards in sections.items())
+    counts = escape(str(summary.get('counts', {})))
+    duration = summary['finishedAt'] - summary['startedAt']
+    concurrency = '<p>并发策略：'+escape(str(summary['concurrencyPolicy']))+'</p>' if 'concurrencyPolicy' in summary else ''
+    viewer_script = """
+const zoom=document.getElementById('zoom');
+zoom.addEventListener('input',()=>{document.documentElement.style.setProperty('--shot-width',(402*Number(zoom.value)/100)+'px');document.getElementById('zoom-value').textContent=zoom.value+'%';});
+const viewer=document.getElementById('viewer'),stage=document.getElementById('viewer-stage');
+let current=null;
+function visibleShots(){return [...document.querySelectorAll('.preview img')].filter(img=>!img.closest('article').hidden&&(!img.closest('details.history')||img.closest('details.history').open));}
+function showShot(img){current=img;stage.replaceChildren();const large=new Image();large.src=img.src;large.alt=img.alt;stage.append(large);document.getElementById('viewer-title').textContent=img.alt;document.getElementById('download').href=img.src;const shots=visibleShots(),i=shots.indexOf(img);document.getElementById('previous').disabled=i<=0;document.getElementById('next').disabled=i>=shots.length-1;}
+document.querySelectorAll('.preview').forEach(b=>b.addEventListener('click',()=>{showShot(b.querySelector('img'));viewer.showModal();}));
+document.getElementById('close-viewer').addEventListener('click',()=>viewer.close());
+viewer.addEventListener('click',e=>{if(e.target===viewer){const r=viewer.getBoundingClientRect();if(e.clientX<r.left||e.clientX>r.right||e.clientY<r.top||e.clientY>r.bottom)viewer.close();}});
+function move(delta){const shots=visibleShots(),i=shots.indexOf(current)+delta;if(i>=0&&i<shots.length)showShot(shots[i]);}
+document.getElementById('previous').addEventListener('click',()=>move(-1));document.getElementById('next').addEventListener('click',()=>move(1));
+viewer.addEventListener('keydown',e=>{if(e.key==='ArrowLeft'){e.preventDefault();move(-1);}if(e.key==='ArrowRight'){e.preventDefault();move(1);}});
+viewer.addEventListener('close',()=>{stage.replaceChildren();current=null;});
+"""
+    html = f'''<!doctype html><html lang="zh-CN"><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1">
+<title>小程序批量测试报告</title><style>
+body{{font:16px system-ui,sans-serif;background:#f3f5f8;color:#243042;max-width:1500px;margin:24px auto;padding:0 20px}}article{{background:white;border:1px solid #d8dfe8;border-radius:12px;padding:20px;margin:16px 0}}h2,.path{{overflow-wrap:anywhere}}.path{{color:#627084}}pre{{white-space:pre-wrap;overflow-wrap:anywhere;background:#fff0ef;padding:12px}}.shots{{display:flex;flex-wrap:wrap;gap:20px}}figure{{margin:0}}.shots img{{width:var(--shot-width,201px);max-width:100%;height:auto;border:1px solid #ddd}}figcaption{{color:#627084}}select,input{{font:inherit;padding:8px}}[hidden]{{display:none!important}}
+.preview{{border:0;padding:0;background:none;cursor:zoom-in;display:block}}.toolbar{{position:sticky;top:0;background:#f3f5f8ee;padding:12px 0;z-index:1;display:flex;flex-wrap:wrap;align-items:center;gap:16px}}dialog{{width:min(1000px,90vw);max-height:92vh;border:0;border-radius:12px;padding:20px}}dialog::backdrop{{background:#000b}}.viewer-controls{{display:flex;gap:16px;align-items:center;position:sticky;top:0;background:white;padding:8px}}#viewer-title{{overflow-wrap:anywhere}}#viewer-stage{{text-align:center}}#viewer-stage img{{width:auto;max-width:100%;height:auto;max-height:72vh}}button{{font:inherit}}
+
+body{{max-width:1800px}}section{{display:grid;grid-template-columns:repeat(auto-fill,minmax(min(100%,calc(var(--shot-width,201px) + 48px)),1fr));gap:16px;margin:24px 0;align-items:start}}section>h2{{grid-column:1/-1;margin:0;font-size:17px}}article{{margin:0;padding:14px;min-width:0;overflow-wrap:anywhere}}article h3{{font-size:16px;margin:0 0 8px}}article p{{font-size:12px;margin:7px 0}}article .path{{display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}}.shots{{justify-content:center;gap:12px;margin-top:12px}}figcaption{{font-size:12px;margin-top:6px}}
+</style><h1>小程序批量测试报告</h1><p>{counts} · 总耗时 {duration:.2f}s · 截图模式 {escape(str(summary.get('screenshots', 'none')))}</p>{concurrency}
+<p>当前产品身份：{escape(str(current_product or '未指定'))}</p><p>结果直接来自运行收据；case 数不是 Islands 原始覆盖点数。</p>
+<div class="toolbar"><label>图片大小 <input id="zoom" type="range" min="25" max="150" step="25" value="50"><output id="zoom-value">50%</output></label><label>结果 <select id="status"><option value="">全部</option>{''.join(f'<option>{s}</option>' for s in ['passed','failed','not-run','interrupted','invalidated','artifact-only'])}</select></label>
+<label>目录或 case <input id="search" placeholder="输入名称筛选"></label></div>{body}
+<dialog id="viewer" aria-labelledby="viewer-title"><div class="viewer-controls"><button id="previous" type="button">上一张</button><button id="next" type="button">下一张</button><a id="download" download="screenshot.png">下载原图</a><button id="close-viewer" type="button">关闭（Esc）</button></div><p id="viewer-title"></p><div id="viewer-stage"></div></dialog>
+<script>function filter(){{let status=document.getElementById('status').value,q=document.getElementById('search').value.toLowerCase();document.querySelectorAll('article').forEach(a=>a.hidden=(status&&a.dataset.status!==status)||!a.textContent.toLowerCase().includes(q));document.querySelectorAll('section').forEach(s=>s.hidden=![...s.querySelectorAll('article')].some(a=>!a.hidden));}}document.getElementById('status').addEventListener('change',filter);document.getElementById('search').addEventListener('input',filter);{viewer_script}</script></html>'''
+    (directory / 'index.html').write_text(html)
+    return directory / 'index.html'

package/tools/modules/minifish/harness/browser.mjs

@@ -0,0 +1,146 @@
+import {installHostDeviceFixtureEvidence} from './host-device-fixture.mjs';
+import {nativeUiResultPath} from './native-ui-contract.mjs';
+import {observeLocalNavigationCandidate,localNavigationEvidence,delegateLocalNavigation,assertLocalNavigationComplete} from './local-navigation-evidence.mjs';
+import {installLoadingObservation} from './loading-observation.mjs';
+import {prepareIPhone16ProDevice} from './device-prepare.mjs';
+import assert from 'node:assert/strict';
+import {pluginEventLedger} from './plugin-events.mjs';
+import {pluginPackagePlan} from './plugin-package.mjs';
+import {installHostLanguage} from './host-language.mjs';
+import {installResponseConsumption} from './response-consumption.mjs';
+import { fulfillRpc } from './rpc-wire.mjs';
+import { bridgePath, jsapiPath, bridgeScript, fulfillJsapi, businessJsapiOption } from './jsapi.mjs';
+
+// Official Lyra keeps earlier pages painted in the same simulator stack.
+// The last non-exiting sibling is the active shell; route name alone is ambiguous.
+export const activeShellSelector='.simulator > .tr-page:not(:has(iframe.tr-page-iframe-animation-out)):not(:has(~ .tr-page:not(:has(iframe.tr-page-iframe-animation-out))))';
+export function currentPageSelector(routeName) {
+  return `${activeShellSelector} iframe[name=${JSON.stringify(routeName)}]:not(.tr-page-iframe-animation-out):visible`;
+}
+
+const telemetry = new Set(['mdap.alipay.com', 'collect.alipay.com']);
+const staticHosts = new Set(['gw.alipayobjects.com', 'mdn.alipayobjects.com']);
+const frameworkConfigPaths = new Set([
+  '/p/alertserver/180020010101209785_config/index.json',
+  '/p/h5data/config-data_config-h5data.json',
+  '/p/h5data/lyra-h5data_appx-framework-config-h5data.json',
+]);
+
+export async function openMinifish({ page, plan, query, simulatorUrl, pageRoute, hostLanguage='zh-CN', requireHostLanguage=false, hostSystemPlan=null, materialMirrors=[], nativeApis=[], plugin=null, hostPolicy }) {
+  assert(hostPolicy&&['guideDiagnostics','queryExpectations','validatePluginEvents'].every(k=>typeof hostPolicy[k]==='function'),'Explicit project host policy required');
+  const {guideDiagnostics,queryExpectations,validatePluginEvents}=hostPolicy;
+  assert.ok(simulatorUrl, 'MINIFISH_SIMULATOR_URL must point to the official product simulator');
+  assert.ok(pageRoute, 'MINIFISH_PAGE_ROUTE must identify the delivered page');
+  assert.match(pageRoute, /^\/?[\w/-]+$/);
+  const url = new URL(simulatorUrl);
+  assert.ok(['127.0.0.1', 'localhost', '[::1]'].includes(url.hostname), 'Use a local simulator');
+  url.searchParams.delete('dw');
+  url.searchParams.delete('remoteWorkerWsServerUrl');
+  url.searchParams.set('uuid', crypto.randomUUID());
+  url.searchParams.set('page', pageRoute.replace(/^\//, ''));
+  url.searchParams.set('pageQuery', new URLSearchParams(query).toString());
+  const hostDeviceEvidence=await installHostDeviceFixtureEvidence(page);
+  const loadingObservation=await installLoadingObservation(page);
+  await prepareIPhone16ProDevice(page,url);
+  const faults = [], blocked = [], materials = [];
+  const officialUi=[...new Set(plan.evidence().expectations.filter(r=>r.execution==='official-ui').map(r=>r.request.operation.slice(6)))];
+  const pluginPlan=plugin?pluginPackagePlan({appAddress:url.searchParams.get('appAddress'),appId:url.searchParams.get('appId'),...plugin}):null;
+  const pluginEvents=plugin?.events?pluginEventLedger(plugin.events,validatePluginEvents):null;
+  if(pluginEvents)page.on('console',message=>{const value=message.text();if(value.startsWith('BILL-PLUGIN-EVIDENCE ')){try{pluginEvents.receive(JSON.parse(value.slice(21)));}catch(error){faults.push('Plugin event: '+error.message);}}});
+  if(pluginPlan)page.on('response',response=>pluginPlan.observe(response));
+  const mirrors=new Map(materialMirrors.map(r=>[r.url,r]));
+  let closed = false, callbackCorrelation;
+  const handler = async (route) => {
+    const request = route.request(), target = new URL(request.url());
+    try {
+      if (target.origin === url.origin && target.pathname === bridgePath) return await route.fulfill({contentType:'application/javascript',body:bridgeScript(url.origin,nativeApis,Boolean(process.env.MINIFISH_LOADING_DIAGNOSTICS_DIR),officialUi,process.env.MINIFISH_CALLBACK_CORRELATION==='1')});
+      if (target.origin === url.origin && target.pathname === jsapiPath) {const wire=request.postDataJSON();callbackCorrelation?.transport(wire,request.frame());observeLocalNavigationCandidate(page,wire);if(officialUi.includes(wire.api)){plan.recordNativeUiRequest('jsapi:'+wire.api,businessJsapiOption(wire.option),wire);return await route.fulfill({status:204});}if(delegateLocalNavigation(page,wire))return await route.fulfill({status:204});return await fulfillJsapi(route, plan);}
+      if(target.origin===url.origin&&target.pathname===nativeUiResultPath){assert.equal(request.method(),'POST');const receipt=request.postDataJSON();plan.recordNativeUiResult('jsapi:'+receipt.api,businessJsapiOption(receipt.option),receipt);return await route.fulfill({status:204});}
+      if (target.origin === url.origin && target.pathname.startsWith('/lyraParams/')) {
+        const response = await route.fetch();
+        const config = await response.json();
+        config.rendererExtend = [...(config.rendererExtend ?? []), url.origin + bridgePath];
+        return await route.fulfill({response,json:config});
+      }
+      if (target.pathname === '/simulator/mobilegw/rpcProxy') {if(request.method()==='POST')callbackCorrelation?.transport(request.postDataJSON(),request.frame());return await fulfillRpc(route, plan);}
+      if(pluginPlan&&target.origin===url.origin&&target.pathname==='/delegate') {
+        assert.equal(request.method(),'POST','Plugin discovery must POST');
+        return await route.fulfill({json:pluginPlan.handle(request.postDataJSON())});
+      }
+      if(pluginPlan&&target.href.startsWith(pluginPlan.base)&&request.method()==='GET'&&/\.(?:js|json|css|png|svg|webp)$/.test(target.pathname))return await route.continue();
+      if (target.pathname.endsWith('/delegate') || target.pathname.includes('/simulator/mobilegw/')) {
+        throw new Error(`Unplanned platform call: ${target.pathname}`);
+      }
+      // Independently observed after official SDK native RPC failure; never send it.
+      if (target.origin === 'https://gm.mmstat.com' && target.pathname === '/fsp.1.1'
+        && request.method() === 'GET') {
+        blocked.push({kind:'platform-sdk-failure-monitor', action:'abort', method:request.method(), url:target.href});
+        return await route.abort();
+      }
+      // Observed official alertserver framework config during consumer controls.
+      // This exact GET is aborted and recorded; other external calls stay faults.
+      if (target.origin === 'https://dataservice.alipayobjects.com'
+        && target.pathname === '/alertserver/hash/713f0bfe13908ae65d6edaa964c02a8b'
+        && request.method() === 'GET') {
+        blocked.push({kind:'platform-alertserver-config',action:'abort',url:target.href,resourceType:request.resourceType()});
+        return await route.abort();
+      }
+      if (telemetry.has(target.hostname) || target.hostname === 'render.alipay.com' && frameworkConfigPaths.has(target.pathname)) {
+        blocked.push({ kind: 'platform-telemetry', url: target.href });
+        return await route.abort();
+      }
+      if (target.origin === url.origin && ['GET', 'HEAD'].includes(request.method())) return await route.continue();
+      if(mirrors.has(target.href)&&request.method()==='GET'&&request.resourceType()==='image'){
+        const r=mirrors.get(target.href);materials.push({url:target.href,sha256:r.sha256,bytes:r.body.length});
+        return await route.fulfill({contentType:r.mime,body:r.body,headers:{'access-control-allow-origin':'*'}});
+      }
+      if (staticHosts.has(target.hostname) && request.method() === 'GET'
+        && ['script', 'stylesheet', 'font', 'image'].includes(request.resourceType())) return await route.continue();
+      throw new Error(`Unexpected network: ${request.method()} ${target.origin}${target.pathname}`);
+    } catch (error) {
+      if (!closed) faults.push(error.message);
+      await route.abort().catch(() => {});
+    }
+  };
+  const host=await installHostLanguage(page,hostLanguage);
+  const routeName = '/' + pageRoute.replace(/^\//, '');
+  const root = page.frameLocator('iframe[name="lyra-integration-web-sdk"]')
+    .frameLocator(currentPageSelector(routeName));
+  const guideDiagnostic=plan.evidence().expectations.some(r=>r.execution==='official-scroll')?guideDiagnostics(root):null;
+  callbackCorrelation=await installResponseConsumption(page,plan,guideDiagnostic);
+  await page.route('**/*', handler);
+  const api = {
+    root,
+    capturePayGuide:(stage)=>guideDiagnostic?.capture(stage),
+    flushPayGuide:()=>guideDiagnostic?.flush(),
+    assertComplete() {
+      assertLocalNavigationComplete(page,plan.evidence(),queryExpectations);
+      assert.deepEqual(faults, [], 'Network violations remain failures even when caught by product');
+      plan.assertComplete();
+      if(pluginPlan)pluginPlan.assertComplete();
+      if(pluginEvents)pluginEvents.assertComplete();
+      if(requireHostLanguage)host.assertObserved();
+      if(hostSystemPlan)host.assertSystemPlan(hostSystemPlan);
+    },
+    evidence() { return { ...plan.evidence(), hostDeviceFixture:hostDeviceEvidence.evidence(), callbackCorrelation:callbackCorrelation?.evidence()??[], payGuideDiagnostics:guideDiagnostic?.evidence()??[], hostLanguage:host.evidence(), localNavigation:localNavigationEvidence(page), networkViolations: [...faults], blocked: [...blocked], materials: [...materials], plugin:pluginPlan?.evidence()??null, pluginEvents:pluginEvents?.evidence()??null }; },
+    assertArtifactComplete(skipped){
+      assertLocalNavigationComplete(page,plan.evidence(),queryExpectations);
+      assert.deepEqual(faults, [], 'Artifact network violations remain failures');
+      const audit=plan.assertArtifactComplete(skipped);
+      if(pluginPlan)pluginPlan.assertComplete();
+      if(pluginEvents)pluginEvents.assertComplete();
+      if(requireHostLanguage)host.assertObserved();
+      if(hostSystemPlan)host.assertSystemPlan(hostSystemPlan);
+      return audit;
+    },
+    async close() {
+      closed = true;
+      try { await plan.close(); } finally {
+        // Keep interception installed until the page stops, including bridge failures.
+        try{await page.close();}finally{await loadingObservation?.save();}
+      }
+    },
+  };
+  try { await page.goto(url.href); } catch (error) { await api.close(); throw error; }
+  return api;
+}

package/tools/modules/minifish/harness/build-plugin-artifact.mjs

@@ -0,0 +1,25 @@
+import assert from 'node:assert/strict';
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import {spawn} from 'node:child_process';
+import {createHash} from 'node:crypto';
+export async function buildPluginArtifact({planFile,output,modules,source,repositoryRoot,validatePluginEvents}){
+assert(output&&modules&&source&&planFile&&repositoryRoot,'Explicit plugin plan/source/output/SDK required');
+const root=path.resolve(repositoryRoot),work=path.resolve(output);
+source=path.resolve(source);
+assert(!work.startsWith(root+path.sep),'Artifact and build logs must be outside repository');
+const plan=validatePluginEvents(JSON.parse(await fs.readFile(planFile,'utf8')));
+await fs.mkdir(work);await fs.cp(source,path.join(work,'app'),{recursive:true});
+await fs.symlink(path.resolve(modules),path.join(work,'app/node_modules'),'dir');
+await fs.writeFile(path.join(work,'app/plugin/controlled-plan.js'),'export default '+JSON.stringify(plan)+';\n');
+async function hashes(dir){const out={};async function walk(at){for(const e of await fs.readdir(at,{withFileTypes:true})){const p=path.join(at,e.name);if(e.isDirectory())await walk(p);else if(e.isFile())out[path.relative(dir,p)]=createHash('sha256').update(await fs.readFile(p)).digest('hex');}}await walk(dir);return out;}
+const sourceHashes=await hashes(path.join(source,'plugin'));
+const log=await fs.open(path.join(work,'build.log'),'w');
+const child=spawn(path.join(path.resolve(modules),'.bin/minifish2'),['build',path.join(work,'app'),'--cacheDir',path.join(work,'cache')],{cwd:path.join(work,'app'),stdio:['ignore',log.fd,log.fd]});
+const code=await new Promise((resolve,reject)=>{child.on('error',reject);child.on('exit',resolve);});await log.close();assert.equal(code,0,'Official plugin compilation failed; see build.log');
+async function find(dir){for(const e of await fs.readdir(dir,{withFileTypes:true})){if(e.name==='node_modules'||e.name==='cache')continue;const p=path.join(dir,e.name);if(e.isDirectory()){const found=await find(p);if(found)return found;}else if(e.name==='appConfig.json'){const parent=path.dirname(p);if(path.basename(parent)!=='ng-plugin')continue;try{await fs.access(path.join(parent,'index.worker.js'));await fs.access(path.join(parent,'index.js'));return parent;}catch{}}}}
+const artifact=await find(path.join(work,'app'));assert(artifact,'Official plugin artifact not found');
+const artifacts=await hashes(artifact);
+await fs.writeFile(path.join(artifact,'plugin-artifact.json'),JSON.stringify({schemaVersion:1,plan,sourceHashes,artifacts},null,2));
+return {artifact,manifest:path.join(artifact,'plugin-artifact.json')};
+}

package/tools/modules/minifish/harness/capture_contract.py

@@ -0,0 +1,78 @@
+"""Artifact evidence never supplies a missing behavior pass."""
+import re
+
+
+def classify_receipt(receipt, ident, exit_code, role='behavior'):
+    if (receipt.get('caseId') != ident or exit_code != 0 or receipt.get('errors') != []
+            or receipt.get('artifactErrors')):
+        return 'failed'
+    actual = receipt.get('executionRole', 'behavior')
+    phases = [receipt.get(k) for k in ('preparation', 'target', 'boundary', 'cleanup')]
+    if role == 'behavior':
+        return 'passed' if actual == 'behavior' and phases == ['passed'] * 4 and receipt.get('outcome', 'passed') == 'passed' else 'failed'
+    if role != 'held-artifact' or actual != role or phases != ['passed', 'passed', 'not-executed-artifact-only', 'passed']:
+        return 'failed'
+    audit = receipt.get('artifactAudit', {})
+    evidence = receipt.get('evidence', {})
+    unexecuted = receipt.get('notExecutedActions', [])
+    skipped = {a.get('boundaryId') for a in unexecuted}
+    if (receipt.get('outcome') != 'artifact-only' or audit.get('status') != 'verified'
+            or audit.get('violations') != [] or evidence.get('violations') != []
+            or evidence.get('networkViolations') != [] or not skipped or None in skipped
+            or any(a.get('status') != 'not-executed-artifact-only' or a.get('kind') != 'release' for a in unexecuted)
+            or not any(a.get('kind') == 'cancel' and a.get('status') == 'passed' and a.get('protocol') == 'native-move-outside-device-then-up' for a in receipt.get('actions', []))):
+        return 'failed'
+    rows = {r['id']: r for r in evidence.get('expectations', [])}
+    states = {r['id']: r.get('status') for r in audit.get('expectations', [])}
+    if not skipped <= rows.keys() or rows.keys() != states.keys():
+        return 'failed'
+    for ident, row in rows.items():
+        if ident in skipped:
+            if states[ident] != 'not-executed-artifact-only' or any(row.get(k) != 0 for k in ('received', 'delivered', 'consumed')):
+                return 'failed'
+        elif (states[ident] != 'completed' or row.get('received') != row.get('times')
+              or row.get('delivered') != (0 if row.get('outcome', {}).get('kind') == 'hold' else row.get('times'))
+              or row.get('requireConsumption') and row.get('consumed') != row.get('times')):
+            return 'failed'
+    if not receipt.get('executionId') or not receipt.get('screenshots'):
+        return 'failed'
+    return 'artifact-only'
+
+
+def associate_capture(behavior, capture, *, legacy=False):
+    """Strict frozen identities; legacy requires an explicit unchanged dependency map."""
+    if behavior.get('executionRole') != 'behavior':
+        raise ValueError('Behavior execution required')
+    left, right = behavior.get('fingerprints', {}), capture.get('fingerprints', {})
+    keys = ['caseId', 'planSha256', 'sourceSha256', 'productSha256', 'packageSha256', 'dependencyLockSha256']
+    for key in keys:
+        if not left.get(key) or not right.get(key):
+            raise ValueError('Missing frozen fingerprint: ' + key)
+        if key != 'caseId' and not all(re.fullmatch(r'[0-9a-f]{64}', x[key]) for x in (left, right)):
+            raise ValueError('Invalid fingerprint: ' + key)
+        if left[key] != right[key] and not (legacy and key in ('sourceSha256', 'packageSha256')):
+            raise ValueError('Capture input fingerprint mismatch: ' + key)
+    if not behavior.get('executionId') or not capture.get('executionId') or behavior['executionId'] == capture['executionId']:
+        raise ValueError('Two distinct execution identities required')
+    differences = []
+    if legacy:
+        # Only the capture/receipt lifecycle and its new audit method changed.
+        allowed = {'runner/independent-case-runner.mjs', 'runner/miniapp-screenshot.mjs',
+                   'runner/input-lifecycle-evidence.mjs', 'runner/target-actions.mjs',
+                   'runner/execution-evidence.mjs', 'runner/independent-boundary.mjs',
+                   'runner/browser.mjs', 'runner/files.json'}
+        a, b = behavior.get('packageFiles'), capture.get('packageFiles')
+        if not a or not b:
+            raise ValueError('Legacy reuse requires actual frozen package maps')
+        differences = [k for k in sorted(a.keys() | b.keys()) if a.get(k) != b.get(k)]
+        if any(k not in allowed for k in differences):
+            raise ValueError('Legacy observation dependency changed')
+        if capture.get('historicalStatus') != 'failed' or capture.get('target') != 'passed':
+            raise ValueError('Legacy held observation must preserve failed execution identity')
+    elif classify_receipt(capture,left['caseId'],0,'held-artifact') != 'artifact-only':
+        raise ValueError('Independent artifact execution required')
+    return {'caseId': left['caseId'], 'behaviorExecutionId': behavior['executionId'],
+            'captureExecutionId': capture['executionId'], 'behaviorFingerprints': left,
+            'captureFingerprints': right, 'legacyObservationReuse': legacy,
+            'changedLifecycleDependencies': differences,
+            'behaviorOutcome': behavior.get('outcome'), 'captureOutcome': capture.get('historicalStatus') if legacy else capture.get('outcome')}

package/tools/modules/minifish/harness/carousel-observation.mjs

@@ -0,0 +1,62 @@
+import assert from 'node:assert/strict';
+import {expect} from '@playwright/test';
+import {semanticLocator,synchronizeAnchors} from './semantic-anchor.mjs';
+import {nativeMetrics,validateNativeImage} from './independent-visual.mjs';
+
+export function validateCarouselContract(contract,images){
+ assert(contract&&typeof contract==='object','Explicit source carousel contract required');
+ assert.deepEqual(Object.keys(contract).sort(),['containerTarget','instances','memberTarget']);
+ for(const key of ['containerTarget','memberTarget'])assert(typeof contract[key]==='string'&&contract[key].trim()&&contract[key].includes(' / '),'Full source identity required');
+ assert.notEqual(contract.containerTarget,contract.memberTarget,'Container and collection members require separate source identities');
+ assert(Array.isArray(contract.instances)&&contract.instances.length>0&&contract.instances.every((v,i)=>v===i),'Immutable zero-based source member order required');
+ assert(Array.isArray(images)&&images.length===contract.instances.length&&images.every(v=>typeof v==='string'&&/^https:\/\//.test(v)),'Exact source image per member');
+ return contract;
+}
+
+// Frame identity comes from declared source instances and actual intersection,
+// never expected URL/text, DOM position, private swiper state or a default zero.
+export function validateCarouselFrame(snapshot,instances){
+ assert(Array.isArray(instances)&&instances.length>0&&new Set(instances).size===instances.length,'Distinct source instances required');
+ assert.equal(snapshot.members.length,instances.length,'Exact collection cardinality');
+ const b=snapshot.box;
+ assert(b&&[b.x,b.y,b.width,b.height].every(Number.isFinite)&&b.width>0&&b.height>0,'Actual carousel viewport required');
+ const v=snapshot.viewport;assert(v&&Number.isFinite(v.width)&&Number.isFinite(v.height)&&v.width>0&&v.height>0,'Actual viewport required');
+ assert(b.x>=-.25&&b.y>=-.25&&b.x+b.width<=v.width+.25&&b.y+b.height<=v.height+.25,'Carousel viewport must actually paint without viewport clipping');
+ const active=[];
+ for(const [i,m]of snapshot.members.entries()){
+  assert.equal(m.instance,instances[i],'Source member ownership and order');assert.equal(m.owned,true,'Member must belong to the declared carousel');
+  assert(m.box&&Object.values(m.box).every(Number.isFinite),'Finite actual member geometry');
+  const r=m.box;
+  const width=Math.max(0,Math.min(b.x+b.width,r.x+r.width)-Math.max(b.x,r.x));
+  const height=Math.max(0,Math.min(b.y+b.height,r.y+r.height)-Math.max(b.y,r.y));
+  if(m.painted&&width>0&&height>0)active.push({instance:m.instance,width,height,full:Math.abs(width-b.width)<=.25&&Math.abs(height-b.height)<=.25});
+ }
+ assert.equal(active.length,1,'Exactly one painted current frame; transition/duplicate/offscreen is not a stable result');
+ assert(active[0].full,'Current image must cover the source viewport');
+ return {currentInstance:active[0].instance,intersection:active[0]};
+}
+
+export async function observeCarousel(root,{containerTarget,memberTarget,instances},images){
+ validateCarouselContract({containerTarget,memberTarget,instances},images?.urls);
+ await synchronizeAnchors(root);
+ const container=semanticLocator(root,containerTarget);await expect(container).toHaveCount(1);await expect(container).toBeVisible();
+ const c=await nativeMetrics(container),members=[];
+ for(const instance of instances){
+  const node=semanticLocator(root,memberTarget,{instance});await expect(node).toHaveCount(1);
+  // Ownership is checked independently of expected image URL.
+  const owned=await node.evaluate((el,target)=>{
+   for(let p=el.parentElement;p;p=p.parentElement)if(p.getAttribute('data-anchor-id')===target)return true;
+   return false;
+  },containerTarget);
+  const m=await nativeMetrics(node);
+  const painted=await node.evaluate(el=>{const r=el.getBoundingClientRect();for(let p=el;p;p=p.parentElement){const s=getComputedStyle(p);if(s.display==='none'||s.visibility!=='visible'||Number(s.opacity)===0)return false;if(p!==el){const clip=p.getBoundingClientRect();if(/hidden|clip|scroll|auto/.test(s.overflowX)&&(r.x<clip.x-.25||r.right>clip.right+.25))return false;if(/hidden|clip|scroll|auto/.test(s.overflowY)&&(r.y<clip.y-.25||r.bottom>clip.bottom+.25))return false;}}return true;});
+  members.push({instance,owned,painted,box:m.box,metrics:m});
+ }
+ const snapshot={box:c.box,viewport:c.viewport,members},frame=validateCarouselFrame(snapshot,instances);
+ if(images){
+  assert.equal(images.urls.length,instances.length,'Source image count');
+  const index=instances.indexOf(frame.currentInstance);
+  validateNativeImage(members[index].metrics,images.urls[index],images.records);
+ }
+ return {...frame,snapshot};
+}

package/tools/modules/minifish/harness/carriers.mjs

@@ -0,0 +1,49 @@
+import assert from 'node:assert/strict';
+
+// A role is selected independently of its expected text/style. All declared
+// carriers are counted before observing one; hidden history is excluded by scope.
+export async function observeRole(carriers) {
+ const observed=[];
+ for(const {layer,locator,boundaries=[]} of carriers){
+  const count=await locator.count();
+  for(let i=0;i<count;i++){
+   // Enumeration preserves every candidate; it never resolves ambiguity.
+   const candidate=locator.nth(i);
+   if(!await candidate.isVisible())continue;
+   const box=await candidate.boundingBox();
+   const paint=await candidate.evaluate(e=>{
+    const s=getComputedStyle(e),r=e.getBoundingClientRect();let opacity=1;
+    for(let p=e;p;p=p.parentElement)opacity*=Number(getComputedStyle(p).opacity);
+    const points=[[.5,.5],[.2,.5],[.8,.5]];
+    return {text:e.textContent.trim(),opacity,visibility:s.visibility,
+     hit:points.every(([x,y])=>{const hit=document.elementFromPoint(r.x+r.width*x,r.y+r.height*y);return hit&&(e===hit||e.contains(hit));})};
+   });
+   const boundary=[];
+   for(const frame of boundaries){
+    const frameCount=await frame.count();
+    if(frameCount!==1||!box){boundary.push({count:frameCount,hit:false});continue;}
+    const outer=await frame.boundingBox();
+    if(!outer){boundary.push({count:1,hit:false});continue;}
+    const x=box.x+box.width/2,y=box.y+box.height/2;
+    const inside=box.x>=outer.x-.5&&box.y>=outer.y-.5&&box.x+box.width<=outer.x+outer.width+.5&&box.y+box.height<=outer.y+outer.height+.5;
+    const hit=inside&&await frame.evaluate((e,{x,y,outer})=>{
+     const r=e.getBoundingClientRect(),p=document.elementFromPoint(r.x+(x-outer.x)*r.width/outer.width,r.y+(y-outer.y)*r.height/outer.height);
+     return !!p&&(p===e||e.contains(p));
+    },{x,y,outer});
+    boundary.push({count:1,hit,inside});
+   }
+   observed.push({layer,box,paint,boundary});
+  }
+ }
+ return observed;
+}
+export function assertRole(observed,{role,text,count=1}){
+ assert.equal(observed.length,count,`${role}: visible carrier count must be ${count}; layers=${observed.map(x=>x.layer)}`);
+ for(const item of observed){
+  assert(item.box?.width>0&&item.box?.height>0,`${role}: missing geometry`);
+  assert.equal(item.paint.text,text,`${role}: wrong content`);
+  assert(item.paint.opacity>=.99&&item.paint.visibility==='visible',`${role}: not painted`);
+  assert(item.paint.hit&&item.boundary.every(b=>b.count===1&&b.hit),`${role}: obstructed or clipped carrier`);
+ }
+ return observed;
+}

package/tools/modules/minifish/harness/check-independent-batch.py

@@ -0,0 +1,84 @@
+#!/usr/bin/env python3
+"""Sequential fresh Playwright processes on one already-started official runtime."""
+import argparse
+import json
+import os
+from pathlib import Path
+import signal
+import subprocess
+import time
+from batch_cases import read_cases, save
+from capture_contract import classify_receipt
+
+
+def execute(rows, work, timeout):
+    results = []
+    current = None
+    def stop(signum, frame):
+        raise InterruptedError(f"batch interrupted: {signum}")
+    for sig in (signal.SIGINT, signal.SIGTERM):
+        signal.signal(sig, stop)
+    try:
+        for index, row in enumerate(rows):
+            out = work / f"case-{index + 1:04d}"
+            out.mkdir()
+            item = dict(row, status="running", startedAt=time.time(), report=str(out))
+            results.append(item); save(work / "batch-results.json", results)
+            env = dict(os.environ, MINIFISH_CASE_PACKAGE_ROOT=row["package"], MINIFISH_TEST_REPORT_DIR=str(out / "results"), MINIFISH_FIXTURE_REPORT_DIR=str(out))
+            try:
+                with (out / "check.log").open("wb") as log:
+                    current = subprocess.Popen([str(Path(row["package"]) / "node_modules/.bin/playwright"), "test", "--config", "playwright.config.mjs"], cwd=row["package"], env=env, stdout=log, stderr=log, start_new_session=True)
+                    try:
+                        item["exitCode"] = current.wait(timeout=timeout)
+                    except subprocess.TimeoutExpired:
+                        item["error"] = "case timeout"
+                        item["exitCode"] = None
+            except OSError as error:
+                item["error"] = str(error); item["exitCode"] = None
+            finally:
+                if current is not None:
+                    # Reap any browser grandchildren even after a failed CLI exits.
+                    try: os.killpg(current.pid, signal.SIGTERM)
+                    except ProcessLookupError: pass
+                    try: current.wait(timeout=3)
+                    except subprocess.TimeoutExpired: pass
+                    try: os.killpg(current.pid, signal.SIGKILL)
+                    except ProcessLookupError: pass
+                    current.wait(); current = None
+            receipts = list((out / "results").rglob("case-result.json"))
+            item["status"] = "failed"
+            if len(receipts) == 1:
+                item["receipt"] = str(receipts[0])
+                try:
+                    receipt = json.loads(receipts[0].read_text())
+                    if not isinstance(receipt, dict):
+                        raise ValueError("receipt must be an object")
+                    item["phases"] = {key: receipt.get(key) for key in ("preparation", "target", "boundary", "cleanup")}
+                    if receipt.get("caseId") != row["id"]:
+                        item["error"] = "receipt identity mismatch"
+                    else:
+                        item["status"] = classify_receipt(receipt,row['id'],item.get('exitCode'),os.environ.get('MINIFISH_EXECUTION_ROLE','behavior'))
+                except (ValueError, OSError) as error:
+                    item["error"] = f"Invalid case receipt: {error}"
+            if len(receipts) != 1:
+                item.setdefault("error", f"Expected exactly one case receipt, got {len(receipts)}")
+            item["finishedAt"] = time.time()
+            save(work / "batch-results.json", results)
+    finally:
+        if current is not None:
+            try: os.killpg(current.pid, signal.SIGKILL)
+            except ProcessLookupError: pass
+            current.wait()
+        for item in results:
+            if item["status"] == "running": item["status"] = "interrupted"
+        save(work / "batch-results.json", results)
+    return int(any(item["status"] not in ('passed','artifact-only') for item in results))
+
+
+if __name__ == "__main__":
+    p = argparse.ArgumentParser()
+    p.add_argument("--manifest", type=Path, required=True)
+    p.add_argument("--report-dir", type=Path, required=True)
+    p.add_argument("--case-timeout", type=int, default=90)
+    a = p.parse_args()
+    raise SystemExit(execute(read_cases(a.manifest), a.report_dir, a.case_timeout))