@antprofuse/saddle-islands-tools 0.1.9 → 0.1.13

package/tools/modules/minifish/harness/official-bridge-dispatch.mjs

@@ -0,0 +1,20 @@
+import {createHash} from 'node:crypto';
+import assert from 'node:assert/strict';
+
+// Compatibility adapter for this exact official runtime, not an SDK public API.
+// The original hook eligibility and native delegation stay byte-for-byte intact.
+export const dispatchRuntimeSha256='a7401f68d3e27235736e29a3c33865ed01260e239c2853ead5482fcab63e15b8';
+export const dispatchFragment='(e||!r||h||A)&&n.preventDefault()';
+export function ownsMockInvocation(api,option,managed,officialUi){
+  return managed.includes(api)&&!officialUi.includes(api)
+    &&!(api==='pushWindow'&&typeof option?.url==='string'&&option.url.startsWith('#'));
+}
+export function adaptOfficialBridgeDispatch(source,{managed,officialUi}){
+  for(const list of [managed,officialUi])assert(Array.isArray(list)&&list.every(x=>typeof x==='string'&&x.length),'Explicit API lists required');
+  const sha256=createHash('sha256').update(source).digest('hex');
+  assert.equal(sha256,dispatchRuntimeSha256,'Unsupported official bridge runtime: refusing compatibility adaptation');
+  assert.equal(source.split(dispatchFragment).length,2,'Official dispatch fragment must be unique');
+  const condition=`(${ownsMockInvocation.toString()})(n.apiName,n.option,${JSON.stringify([...new Set(managed)])},${JSON.stringify([...new Set(officialUi)])})`;
+  const body=source.replace(dispatchFragment,`(e||!r||h||A||${condition})&&n.preventDefault()`);
+  return {body,evidence:{adapter:'mock-default-dispatch-v1',sourceSha256:sha256,adaptedSha256:createHash('sha256').update(body).digest('hex'),managed:[...new Set(managed)],officialUi:[...new Set(officialUi)]}};
+}

package/tools/modules/minifish/harness/spatial-contract.mjs

@@ -0,0 +1,20 @@
+import assert from 'node:assert/strict';
+const keyOf=(target,instance)=>JSON.stringify([target,instance===undefined?{unspecified:true}:instance]);
+export function spatialTarget(ref){
+ assert(ref&&Object.keys(ref).every(k=>['target','instance','carrier'].includes(k)),'Unknown spatial target field');
+ assert(/^cmp_[0-9a-f]{6}$/.test(ref.target),'Allocated spatial component reference required');
+ assert(ref.instance===undefined||(Number.isSafeInteger(ref.instance)&&ref.instance>=0),'Invalid spatial instance');
+ assert(ref.carrier===undefined||['semantic-root','exclusive-parent'].includes(ref.carrier),'Unsupported spatial carrier');
+ const key=ref.carrier==='exclusive-parent'?JSON.stringify([ref.target,ref.instance===undefined?{unspecified:true}:ref.instance,ref.carrier]):keyOf(ref.target,ref.instance);
+ return {...ref,key,styleKeys:[],waitForPresence:false};
+}
+export function validateSpatial(spec){
+ assert(spec&&Object.keys(spec).every(k=>['order','absent'].includes(k)),'Unknown spatial obligation');
+ for(const name of ['order','absent'])assert(spec[name]===undefined||Array.isArray(spec[name]),'Spatial obligation must be an array');
+ assert((spec.order?.length??0)+(spec.absent?.length??0)>0,'Empty spatial obligation');
+ for(const pair of spec.order??[]){
+  assert(pair&&Object.keys(pair).length===2&&pair.above&&pair.below,'Order pair required');
+  assert.notEqual(spatialTarget(pair.above).key,spatialTarget(pair.below).key,'Order requires distinct targets');
+ }
+ for(const ref of spec.absent??[])spatialTarget(ref);
+}

package/tools/modules/minifish/harness/visual-carrier.mjs

@@ -1,6 +1,13 @@
 /** Browser-side, expectation-independent selection inside one semantic root. */
 export function resolveVisualCarrier(root, kind = 'semantic-root') {
   if(kind==='semantic-root')return root;
+  if(kind==='exclusive-parent'){
+    const parent=root.parentElement;
+    const marker=n=>Object.prototype.hasOwnProperty.call(n,'$$dataset')?n.$$dataset?.anchorId:n.getAttribute('data-anchor-id');
+    if(!marker(root)||!parent||['BODY','HTML'].includes(parent.tagName)||marker(parent))throw Error('Exclusive parent requires an unanchored non-document wrapper');
+    if(parent.children.length!==1||parent.firstElementChild!==root||[...parent.childNodes].some(n=>n.nodeType===3&&n.textContent.trim()))throw Error('Wrapper must exclusively own the component root');
+    return parent;
+  }
   if(!['source-content-group','owned-text-block'].includes(kind))throw Error('Unsupported visual carrier');
   const visible=element=>{
     for(let p=element;p;p=p.parentElement){const s=getComputedStyle(p);if(s.display==='none'||s.visibility!=='visible'||Number(s.opacity)===0)return false;}

package/tools/modules/minifish/harness/visual-expectation.mjs

@@ -23,7 +23,7 @@ export function validateVisualExpectation(value) {
   for (const key of Object.keys(value)) assert(top.has(key), `visual: unsupported ${key}`);
   number(value.designWidth,'visual.designWidth');
   assert(value.designWidth > 0,'visual.designWidth must be positive');
-  if(value.carrier!==undefined)assert(['semantic-root','source-content-group','owned-text-block'].includes(value.carrier),'visual: unsupported carrier');
+  if(value.carrier!==undefined)assert(['semantic-root','source-content-group','owned-text-block','exclusive-parent'].includes(value.carrier),'visual: unsupported carrier');
   let checks = 0;
   if(value.viewportInsets!==undefined)checks+=keys(value.viewportInsets,new Set(['left','right','top','bottom']),'visual.viewportInsets',number);
   if (value.text !== undefined) {

package/tools/modules/workflow/compile_gate.py

@@ -4,6 +4,7 @@ import json
 from pathlib import Path
 from .iteration import Invalid
 from .diff_review import git
+from tools.modules.minifish.component_index import parse_registry,validate
 
 
 def verify_compile(repo, head, bizdir, receipt_file):
@@ -14,7 +15,7 @@ def verify_compile(repo, head, bizdir, receipt_file):
     def check(ok, message):
         if not ok:
             raise Invalid(message)
-    check(r.get('schemaVersion') == 1 and r.get('kind') == 'minifish-full-compile', 'Invalid compile receipt')
+    check(r.get('schemaVersion') == 2 and r.get('kind') == 'minifish-full-compile', 'Invalid compile receipt')
     check(r.get('head') == head and r.get('projectPath') == project, 'Stale or wrong-project compile receipt')
     check(r.get('projectTree') == git(repo, 'rev-parse', head + ':' + project).decode().strip(), 'Compile tree mismatch')
     def read_bound(key):
@@ -46,6 +47,33 @@ def verify_compile(repo, head, bizdir, receipt_file):
     covered += [x['sourceCaseId'] for x in pending]
     check(len(covered) == len(set(covered)) and len(official) == len(set(official)) and set(covered) == set(official), 'Incomplete catalog coverage')
     check(r.get('nonExecutable') == [{'id': x['sourceCaseId'], 'reason': x['reason']} for x in pending], 'Nonexecutable decisions mismatch')
+    inventory = read_bound('anchorInventory')
+    check(isinstance(config.get('anchorInventory'), dict), 'Missing configured source component inventory')
+    check(r['anchorInventory']['path'] == project + '/' + config['anchorInventory']['path'] and
+          r['anchorInventory']['sha256'] == config['anchorInventory']['sha256'], 'Unexpected source component inventory')
+    registry = r.get('registry', {})
+    registry_values=[]
+    for name in ('anchors.jsonc','anchors-retired.jsonc'):
+        entry=registry.get(name,{})
+        expected=bizdir+'/code/.registry/'+name
+        check(entry.get('path')==expected,'Unexpected registry location')
+        mode=git(repo,'ls-tree',head,'--',expected).decode()
+        check(mode.startswith('100644 '),'Registry must be a regular committed file')
+        raw=git(repo,'show',head+':'+expected)
+        check(hashlib.sha256(raw).hexdigest()==entry.get('sha256'),'Registry hash mismatch')
+        try: registry_values.append(parse_registry(raw.decode()))
+        except ValueError as e: raise Invalid(str(e)) from e
+    try: active=validate(registry_values[0],inventory,registry_values[1])
+    except ValueError as e: raise Invalid(str(e)) from e
+    source_ids=list(active)
+    check(all(isinstance(x.get('componentIds'), list) and all(isinstance(i, str) for i in x['componentIds']) for x in results), 'Missing compiled assertion identities')
+    asserted = sorted({i for row in results for i in row['componentIds']})
+    check(asserted == sorted(source_ids), 'Assertion component set differs from source')
+    coverage = r.get('anchorCoverage', {})
+    check(coverage.get('identityContract') == 'allocated-component-id' and
+          coverage.get('activeComponentIds') == sorted(source_ids) and
+          coverage.get('assertedComponentIds') == asserted and
+          coverage.get('passed') is True and coverage.get('missing') == [] and coverage.get('extra') == [], 'Invalid anchor coverage result')
     check(r.get('productExecution') is False, 'Not a static compilation receipt')
     check(r.get('total') == len(rows) and r.get('passed') == len(rows) and r.get('failed') == 0 and all(x.get('status') == 'passed' for x in results), 'Full compilation did not pass')
     return f"\n\nMT全量编译：{len(rows)}/{len(rows)} 通过；非执行责任 {len(pending)} 项保留独立处置。\n"