@wowok/agent-mcp 3.4.3 → 3.4.4

package/dist/graph/onchain/entity-profile.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/entity-profile.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{EntityAddress,ENTRYPOINT}from'@wowok/wowok';import{FakeDataPlane}from'./dataplane.js';import{expandTopology}from'./expand.js';import{extractReverseRefs}from'./extract.js';import{FULL,fullServiceState}from'./fixtures.js';import{buildViewport,edgesOut,profileOf}from'./viewport.js';const ENTITY_SCHEMAS=['entity.profile','entity.referrer','entity.resource'];function byId(a){return new Map(a['map'](b=>[b['schemaId'],b['refs']]));}async function graphFrom(a){const b=new FakeDataPlane(fullServiceState()),c=await expandTopology(b,{'network':ENTRYPOINT['Mainnet'],'seed':a,'edges':{'schemas':ENTITY_SCHEMAS}});return{'plane':b,'graph':c};}describe('Task\x209\x20entity\x20registrar\x20—\x20pure\x20extraction\x20(TR-9.1)',()=>{it('complete\x20SDK-shaped\x20AddressInfo\x20row\x20yields\x20profile\x20+\x20referrer\x20+\x20resource',()=>{const a=extractReverseRefs(EntityAddress,{'description':'Acme\x20logistics\x20co.','time':0x18bcfe57b88,'referrer':FULL['merchant'],'mark_object':FULL['resource'],'records':[{'name':'region','value_type':0x1,'value':'cn-east'}]}),b=byId(a);expect([...b['keys']()]['sort']())['toEqual'](['entity.profile','entity.referrer','entity.resource']['sort']());const c=b['get']('entity.profile')[0x0];expect(c['to'])['toBe'](''),expect(c['payload'])['toMatchObject']({'description':'Acme\x20logistics\x20co.','registeredAt':0x18bcfe57b88,'profileRecords':[{'name':'region','valueType':0x1,'value':'cn-east'}]}),expect(b['get']('entity.referrer')['map'](d=>d['to']))['toEqual']([FULL['merchant']]),expect(b['get']('entity.resource')['map'](d=>d['to']))['toEqual']([FULL['resource']]);}),it('raw\x20Move\x20shape\x20(resource\x20/\x20typed_value)\x20parses\x20identically',()=>{const a=byId(extractReverseRefs(EntityAddress,{'description':'on-chain\x20native','time':0x1,'referrer':null,'resource':FULL['resource'],'records':[{'name':'tag','typed_value':[0x1,0x2,0x3]}]}));expect(a['get']('entity.resource')[0x0]['to'])['toBe'](FULL['resource']),expect(a['has']('entity.referrer'))['toBe'](![]),expect(a['get']('entity.profile')[0x0]['payload']?.['profileRecords'])['toEqual']([{'name':'tag','value':[0x1,0x2,0x3]}]);}),it('null\x20Options\x20and\x20no\x20records\x20yield\x20only\x20the\x20profile\x20edge',()=>{const a=byId(extractReverseRefs(EntityAddress,{'description':'warehouse\x20member','time':0x18bcfe57f70,'referrer':null,'resource':null,'records':[]}));expect([...a['keys']()])['toEqual'](['entity.profile']),expect(a['get']('entity.profile')[0x0]['payload'])['toEqual']({'description':'warehouse\x20member','registeredAt':0x18bcfe57f70});}),it('empty/garbage\x20row\x20still\x20yields\x20one\x20profile\x20edge,\x20never\x20throws',()=>{const a=byId(extractReverseRefs(EntityAddress,{}));expect([...a['keys']()])['toEqual'](['entity.profile']),expect(a['get']('entity.profile')[0x0]['payload'])['toEqual']({});const b=byId(extractReverseRefs(EntityAddress,{'description':0x2a,'time':'not-a-time','referrer':'0xdead','mark_object':0x3039,'records':[{'value_type':0x1},'junk',{'name':'ok','value_type':0x0,'value':!![]}]}));expect(b['has']('entity.referrer'))['toBe'](![]),expect(b['has']('entity.resource'))['toBe'](![]),expect(b['get']('entity.profile')[0x0]['payload']?.['profileRecords'])['toEqual']([{'name':'ok','valueType':0x0,'value':!![]}]);});}),describe('Task\x209\x20entity\x20registrar\x20—\x20end-to-end\x20expansion\x20(TR-9.1)',()=>{it('all\x20three\x20co-edges\x20materialize\x20from\x20one\x20keyed\x20channel\x20read;\x20Resource\x20node\x20is\x20typed\x20and\x20fetched',async()=>{const {plane:a,graph:b}=await graphFrom(FULL['supplier']),c=f=>b['edges']['filter'](g=>g['schema']===f),d=c('entity.profile');expect(d)['toHaveLength'](0x1),expect(d[0x0]['from'])['toBe'](FULL['supplier']),expect(d[0x0]['to'])['toBe'](FULL['supplier']),expect(d[0x0]['payload'])['toMatchObject']({'description':'Acme\x20logistics\x20co.','registeredAt':0x18bcfe57b88}),expect(d[0x0]['payload']?.['profileRecords'])['toHaveLength'](0x1),expect(c('entity.referrer')['map'](f=>f['to']))['toEqual']([FULL['merchant']]),expect(c('entity.resource')['map'](f=>f['to']))['toEqual']([FULL['resource']]);const e=b['nodes']['get'](FULL['resource']['toLowerCase']());expect(e['kind'])['toBe']('object'),expect(e['objectType'])['toBe']('Resource'),expect(e['state'])['toBe']('fetched'),expect(a['batches']['keyedFields'])['toBe'](0x2),expect(b['gaps'])['toEqual']([]);}),it('row\x20with\x20null\x20Options\x20produces\x20the\x20profile\x20self-edge\x20only',async()=>{const {graph:a}=await graphFrom(FULL['member']),b=new Set(a['edges']['map'](d=>d['schema']));expect(b['has']('entity.profile'))['toBe'](!![]),expect(b['has']('entity.referrer'))['toBe'](![]),expect(b['has']('entity.resource'))['toBe'](![]);const c=a['edges']['find'](d=>d['schema']==='entity.profile');expect(c['from'])['toBe'](FULL['member']),expect(c['to'])['toBe'](FULL['member']),expect(c['payload']?.['description'])['toBe']('warehouse\x20member');}),it('absent\x20profile\x20row\x20produces\x20no\x20entity\x20edges\x20and\x20no\x20error',async()=>{const {plane:a,graph:b}=await graphFrom(FULL['buyer']);expect(b['edges']['filter'](c=>ENTITY_SCHEMAS['includes'](c['schema'])))['toEqual']([]),expect(b['gaps'])['toEqual']([]),expect(a['batches']['keyedFields'])['toBe'](0x1);});}),describe('Task\x209\x20viewport\x20—\x20personal-data\x20minimization\x20(TR-9.2)',()=>{it('neutral\x20tooling\x20sees\x20the\x20full\x20profile\x20payload',async()=>{const {graph:a}=await graphFrom(FULL['supplier']),b=buildViewport(a,FULL['supplier'],'neutral'),c=profileOf(b,FULL['supplier']);expect(c['description'])['toBe']('Acme\x20logistics\x20co.'),expect(c['profileRecords'])['toHaveLength'](0x1),expect(c['hasDescription'])['toBeUndefined']();}),it('subject\x20sees\x20its\x20own\x20full\x20profile\x20under\x20a\x20retail\x20role;\x20referrer/resource\x20stay\x20denied',async()=>{const {graph:a}=await graphFrom(FULL['supplier']),b=buildViewport(a,FULL['supplier'],'buyer');expect(profileOf(b,FULL['supplier'])?.['description'])['toBe']('Acme\x20logistics\x20co.'),expect(edgesOut(b,FULL['supplier'],'entity.referrer'))['toEqual']([]),expect(edgesOut(b,FULL['supplier'],'entity.resource'))['toEqual']([]),expect(b['visibleNodes']['has'](FULL['resource']['toLowerCase']()))['toBe'](![]);}),it('commercial\x20roles\x20see\x20third\x20parties\x20through\x20the\x20minimized\x20projection\x20only',async()=>{const {graph:a}=await graphFrom(FULL['supplier']),b=buildViewport(a,FULL['merchant'],'merchant');expect(b['visibleNodes']['has'](FULL['supplier']['toLowerCase']()))['toBe'](!![]);const c=profileOf(b,FULL['supplier']);expect(c['hasDescription'])['toBe'](!![]),expect(c['recordCount'])['toBe'](0x1),expect(c['registeredAt'])['toBe'](0x18bcfe57b88),expect(c['description'])['toBeUndefined'](),expect(c['profileRecords'])['toBeUndefined']();const d=a['edges']['find'](f=>f['schema']==='entity.profile');expect(d['payload']?.['description'])['toBe']('Acme\x20logistics\x20co.'),expect(edgesOut(b,FULL['supplier'],'entity.referrer'))['toHaveLength'](0x1),expect(edgesOut(b,FULL['supplier'],'entity.resource'))['toHaveLength'](0x1);}),it('roles\x20without\x20a\x20social\x20surface\x20see\x20no\x20entity\x20edges\x20at\x20all',async()=>{const {graph:a}=await graphFrom(FULL['supplier']),b=buildViewport(a,FULL['supplier'],'supplier');expect(profileOf(b,FULL['supplier']))['toBeUndefined'](),expect(edgesOut(b,FULL['supplier'],'entity.profile'))['toEqual']([]),expect(edgesOut(b,FULL['supplier'],'entity.referrer'))['toEqual']([]),expect(edgesOut(b,FULL['supplier'],'entity.resource'))['toEqual']([]);});});

package/dist/graph/onchain/event-history.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/event-history.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{PackageAddress,ENTRYPOINT}from'@wowok/wowok';import{FakeDataPlane}from'./dataplane.js';import{expandTopology}from'./expand.js';import{FULL,fullServiceState,rowObject}from'./fixtures.js';import{pathConfidence}from'./analyze.js';const ORDER_EVENT=PackageAddress+'::order::NewOrderEvent',ARB_EVENT=PackageAddress+'::arb::ArbEvent',ORDER_OLD_A='0x6600000000000000000000000000000000000000000000000000000000000a01',ORDER_OLD_B='0x6600000000000000000000000000000000000000000000000000000000000a02',CASE_OLD='0x6700000000000000000000000000000000000000000000000000000000000b01';function envelope(a,b,c,d){return{'id':{'txDigest':'tx'+c,'eventSeq':String(c)},'type':a,'sender':b,'timestampMs':String(c),'parsedJson':d};}function orderCreated(a,b,c,d=FULL['svc']){return envelope(ORDER_EVENT,b,c,{'object':a,'service':d,'amount':'500000'});}function withEvents(a){const b=fullServiceState();return b['events']=new Map([[ORDER_EVENT,a]]),b['objects']['set'](ORDER_OLD_A['toLowerCase'](),rowObject('Order',{'service':FULL['svc'],'amount':'1'})['object']),b['objects']['set'](ORDER_OLD_B['toLowerCase'](),rowObject('Order',{'service':FULL['svc'],'amount':'2'})['object']),b;}describe('Task\x2010\x20E\x20family\x20—\x20order\x20history\x20streams\x20(TR-10.1)',()=>{it('service.order_history\x20pulls\x20orders\x20beyond\x20the\x20FIFO\x20window;\x20retention\x20event_full,\x20exact\x20confidence',async()=>{const a=new FakeDataPlane(withEvents([{'events':[orderCreated(ORDER_OLD_A,FULL['buyer'],0x3e8),orderCreated(ORDER_OLD_B,FULL['agent'],0x44c)]},{'events':[orderCreated(FULL['o1'],FULL['buyer'],0x7d0)]}])),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['svc'],'edges':{'eventEdges':['service.order_history']}}),c=b['edges']['filter'](f=>f['schema']==='service.order_history');expect(c['map'](f=>f['to'])['sort']())['toEqual']([FULL['o1'],ORDER_OLD_A,ORDER_OLD_B]['sort']()),expect(c['every'](f=>f['from']===FULL['svc']['toLowerCase']()))['toBe'](!![]),expect(c['every'](f=>f['retention']==='event_full'&&!f['truncated']))['toBe'](!![]);const d=c['find'](f=>f['to']===ORDER_OLD_A);expect(d['payload'])['toMatchObject']({'amount':'500000','service':FULL['svc']['toLowerCase'](),'time':0x3e8}),expect(b['nodes']['get'](ORDER_OLD_A['toLowerCase']())?.['state'])['toBe']('fetched'),expect(a['batches']['events'])['toBe'](0x2),expect(pathConfidence({'graph':b,'observer':FULL['svc'],'role':'neutral','visibleNodes':new Set(),'visibleEdges':[],'edgeById':new Map(),'maskedNodes':new Set()},[{'schema':'service.order_history','from':FULL['svc'],'retention':'event_full'}])['confidence'])['toBe']('exact'),expect(b['gaps'])['toEqual']([]);}),it('eoa.order_history\x20matches\x20the\x20tx\x20sender\x20(transacting\x20buyer),\x20not\x20a\x20parsed\x20field',async()=>{const a=new FakeDataPlane(withEvents([{'events':[orderCreated(ORDER_OLD_A,FULL['buyer'],0x3e8),orderCreated(ORDER_OLD_B,FULL['merchant'],0x44c)]}])),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['buyer'],'edges':{'eventEdges':['eoa.order_history']}}),c=b['edges']['filter'](d=>d['schema']==='eoa.order_history');expect(c['map'](d=>d['to']))['toEqual']([ORDER_OLD_A]),expect(c[0x0]['from'])['toBe'](FULL['buyer']);}),it('arb.history:\x20repeat\x20status\x20transitions\x20collapse\x20to\x20one\x20edge\x20per\x20case,\x20latest\x20wins',async()=>{const a=fullServiceState();a['events']=new Map([[ARB_EVENT,[{'events':[envelope(ARB_EVENT,FULL['merchant'],0x3e8,{'object':CASE_OLD,'arbitration':FULL['arbsvc'],'order':FULL['o2'],'status':0x1})]},{'events':[envelope(ARB_EVENT,FULL['merchant'],0x2328,{'object':CASE_OLD,'arbitration':FULL['arbsvc'],'order':FULL['o2'],'status':0x3,'indemnity_amount':'700'})]}]]]);const b=new FakeDataPlane(a),c=await expandTopology(b,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['arbsvc'],'edges':{'eventEdges':['arb.history']}}),d=c['edges']['filter'](f=>f['schema']==='arb.history');expect(d)['toHaveLength'](0x1),expect(d[0x0]['to'])['toBe'](CASE_OLD),expect(d[0x0]['payload'])['toMatchObject']({'status':0x3,'indemnity_amount':'700'});});}),describe('Task\x2010\x20E\x20family\x20—\x20degradation\x20semantics\x20(TR-10.2)',()=>{it('failed\x20event\x20channel:\x20graph\x20builds,\x20gap\x20records\x20the\x20stream,\x20no\x20edges,\x20no\x20throw',async()=>{const a=fullServiceState();a['events']=new Map([[ORDER_EVENT,[{'events':[],'fail':!![]}]]]);const b=new FakeDataPlane(a),c=await expandTopology(b,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['svc'],'edges':{'eventEdges':['service.order_history']}});expect(c['edges']['filter'](d=>d['schema']==='service.order_history'))['toEqual']([]),expect(c['gaps'])['toContain']('events:'+ORDER_EVENT),expect(c['edges']['some'](d=>d['schema']==='service.order'))['toBe'](!![]),expect(b['batches']['events'])['toBe'](0x1);}),it('page-budget\x20truncation:\x20edges\x20stained\x20truncated\x20+\x20event_pages\x20record\x20+\x20windowed\x20confidence',async()=>{const a=new FakeDataPlane(withEvents([{'events':[orderCreated(ORDER_OLD_A,FULL['buyer'],0x3e8)]},{'events':[orderCreated(FULL['o1'],FULL['buyer'],0x7d0)]}])),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['svc'],'budget':{'maxEventPages':0x1},'edges':{'eventEdges':['service.order_history']}}),c=b['edges']['filter'](f=>f['schema']==='service.order_history');expect(c['map'](f=>f['to']))['toEqual']([FULL['o1']]),expect(c['every'](f=>f['truncated']===!![]))['toBe'](!![]);const d=b['truncations']['find'](e=>e['schema']==='service.order_history');expect(d)['toMatchObject']({'nodeId':FULL['svc']['toLowerCase'](),'reason':'event_pages','limit':0x1}),expect(b['budgetExhausted']['eventPages'])['toBe'](!![]),expect(pathConfidence({'graph':b,'observer':FULL['svc'],'role':'neutral','visibleNodes':new Set(),'visibleEdges':[],'edgeById':new Map(),'maskedNodes':new Set()},[{'schema':'service.order_history','from':FULL['svc'],'retention':'event_full','truncated':!![]}])['confidence'])['toBe']('windowed');});}),describe('Task\x2010\x20E\x20family\x20—\x20opt-in\x20discipline',()=>{it('events\x20stay\x20OFF\x20by\x20default\x20even\x20when\x20stream\x20data\x20exists',async()=>{const a=new FakeDataPlane(withEvents([{'events':[orderCreated(ORDER_OLD_A,FULL['buyer'],0x3e8)]}])),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['svc'],'edges':{}});expect(a['batches']['events'])['toBe'](0x0),expect(b['edges']['filter'](c=>c['family']==='E'))['toEqual']([]);}),it('eventEdges\x20are\x20independent\x20of\x20the\x20schemas\x20whitelist\x20(channel\x20D,\x20like\x20channel\x20B)',async()=>{const a=new FakeDataPlane(withEvents([{'events':[orderCreated(ORDER_OLD_A,FULL['buyer'],0x3e8)]}])),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['svc'],'edges':{'schemas':['service.order'],'eventEdges':['service.order_history']}});expect(a['batches']['events'])['toBe'](0x1),expect(b['edges']['some'](c=>c['schema']==='service.order_history'))['toBe'](!![]);});});

package/dist/graph/onchain/expand.d.ts

@@ -1,4 +0,0 @@
-import type { DataPlane, ExpandOptions, TopologyGraph } from "./types.js";
-import { type CompletionResult } from "./order-status.js";
-export declare function expandTopology(plane: DataPlane, opts: ExpandOptions): Promise<TopologyGraph>;
-export declare function orderCompletionInGraph(graph: TopologyGraph, orderId: string): CompletionResult;

package/dist/graph/onchain/exploration.d.ts

@@ -1,28 +0,0 @@
-import type { Finding } from "./types.js";
-export type OpenQuestionKind = "verification" | "data_gap" | "coverage";
-export interface OpenQuestion {
-    id: string;
-    kind: OpenQuestionKind;
-    question: string;
-    resolves_with: string[];
-    source: string;
-}
-export interface ExplorationBlock {
-    open_questions: OpenQuestion[];
-}
-export interface ExplorationContext {
-    truncations: ReadonlyArray<{
-        nodeId: string;
-        schema: string;
-        observed: number;
-        limit: number;
-    }>;
-    budgetExhausted: {
-        nodes?: boolean;
-        depth?: boolean;
-        rpcs?: boolean;
-        eventPages?: boolean;
-    };
-    dataGaps: ReadonlyArray<string>;
-}
-export declare function projectExploration(findings: ReadonlyArray<Finding>, ctx: ExplorationContext): ExplorationBlock;

package/dist/graph/onchain/exploration.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/exploration.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{projectExploration}from'./exploration.js';function finding(a){return{'id':'T1:0xa#0','kind':'risk','severity':'high','title':'Guard\x20relies\x20on\x20sub-guards','path':['0xguard'],'confidence':'exact','roles':['buyer'],'detail':'d','suggestion':'s',...a};}const EMPTY_CTX={'truncations':[],'budgetExhausted':{},'dataGaps':[]};describe('projectExploration\x20—\x20verification\x20leads',()=>{it('groups\x20undecided\x20gain\x20paths\x20per\x20finding\x20with\x20the\x20disclosure\x20duty\x20as\x20the\x20question',()=>{const a=finding({'id':'ALC1:0xsvc#0','title':'Guard\x20relies\x20on\x20sub-guards\x20—\x20their\x20constraints\x20are\x20NOT\x20credited','path':['0xsvc','0xguard'],'objects':['0xsub1'],'exposure':{'lossParties':[{'role':'buyer','basis':'b'}],'gainPaths':[{'role':'neutral','path':'p1','viability':'viable','gate':'decided'},{'role':'neutral','path':'p2','viability':'unverifiable','gate':'Duty\x20one.'},{'role':'neutral','path':'p3','viability':'unverifiable','gate':'Duty\x20two.'}],'verdict':'pending-disclosure'}}),{open_questions:b}=projectExploration([a],EMPTY_CTX);expect(b)['toHaveLength'](0x1),expect(b[0x0])['toMatchObject']({'id':'X1','kind':'verification','source':'ALC1:0xsvc#0'}),expect(b[0x0]['question'])['toContain']('Settle\x20the\x20undecided\x20exposure\x20of\x20\x22Guard\x20relies\x20on\x20sub-guards'),expect(b[0x0]['question'])['toContain']('Duty\x20one.'),expect(b[0x0]['question'])['toContain']('Duty\x20two.'),expect(b[0x0]['resolves_with'])['toEqual'](['0xsvc','0xguard','0xsub1']);}),it('emits\x20nothing\x20for\x20findings\x20without\x20exposure\x20or\x20without\x20undecided\x20paths',()=>{const a=finding({}),b=finding({'exposure':{'lossParties':[{'role':'buyer','basis':'b'}],'gainPaths':[{'role':'neutral','path':'p','viability':'blocked','gate':'g'}],'verdict':'downgraded','baseSeverity':'high'}});expect(projectExploration([a,b],EMPTY_CTX)['open_questions'])['toHaveLength'](0x0);});}),describe('projectExploration\x20—\x20coverage\x20leads',()=>{it('turns\x20window\x20truncations\x20into\x20lower-bound\x20questions\x20with\x20the\x20node\x20as\x20the\x20handle',()=>{const {open_questions:a}=projectExploration([],{...EMPTY_CTX,'truncations':[{'nodeId':'0xn1','schema':'treasury.record','observed':0x1450,'limit':0x1450}]});expect(a)['toHaveLength'](0x1),expect(a[0x0]['kind'])['toBe']('coverage'),expect(a[0x0]['source'])['toBe']('truncation'),expect(a[0x0]['question'])['toContain']('treasury.record\x20at\x200xn1'),expect(a[0x0]['question'])['toContain']('lower\x20bounds'),expect(a[0x0]['resolves_with'])['toEqual'](['0xn1']);}),it('combines\x20exhausted\x20budgets\x20into\x20ONE\x20posture\x20question',()=>{const {open_questions:a}=projectExploration([],{...EMPTY_CTX,'budgetExhausted':{'nodes':!![],'depth':!![]}});expect(a)['toHaveLength'](0x1),expect(a[0x0]['kind'])['toBe']('coverage'),expect(a[0x0]['source'])['toBe']('budget'),expect(a[0x0]['question'])['toContain']('node/depth\x20budget'),expect(a[0x0]['resolves_with'])['toEqual']([]);});}),describe('projectExploration\x20—\x20data-gap\x20leads\x20and\x20ordering',()=>{it('carries\x20fetch\x20gaps\x20verbatim\x20and\x20extracts\x20embedded\x20addresses\x20as\x20handles',()=>{const {open_questions:a}=projectExploration([],{...EMPTY_CTX,'dataGaps':['Evaluation\x20projection\x20failed\x20for\x200xAbC0000000000000000000000000000000000001\x20(non-blocking)']});expect(a)['toHaveLength'](0x1),expect(a[0x0]['kind'])['toBe']('data_gap'),expect(a[0x0]['source'])['toBe']('data_gap'),expect(a[0x0]['question'])['toContain']('Evaluation\x20projection\x20failed'),expect(a[0x0]['resolves_with'])['toEqual'](['0xabc0000000000000000000000000000000000001']);}),it('orders\x20verification\x20before\x20coverage\x20before\x20data\x20gaps\x20with\x20stable\x20ids',()=>{const a=finding({'exposure':{'lossParties':[],'gainPaths':[{'role':'neutral','path':'p','viability':'unverifiable','gate':'Duty.'}],'verdict':'pending-disclosure'}}),{open_questions:b}=projectExploration([a],{'truncations':[{'nodeId':'0xn','schema':'s','observed':0x1,'limit':0x2}],'budgetExhausted':{'rpcs':!![]},'dataGaps':['graph:\x20node\x20fetch\x20failed']});expect(b['map'](c=>c['kind']))['toEqual'](['verification','coverage','coverage','data_gap']),expect(b['map'](c=>c['id']))['toEqual'](['X1','X2','X3','X4']);}),it('returns\x20an\x20empty\x20block\x20for\x20a\x20fully\x20settled\x20payload',()=>{expect(projectExploration([],EMPTY_CTX)['open_questions'])['toEqual']([]);});});

package/dist/graph/onchain/exposure.d.ts

@@ -1,18 +0,0 @@
-import type { ExposureParty, FindingExposure, GainPath, GainPathViability, FindingSeverity, ViewerRole } from "./types.js";
-export { resolveViability, factRef, parseFactRef } from "../../config/exposure.js";
-export type { ExposureFragment, ExposureParty, ExposureVerdict, FindingExposure, GainPath, GainPathViability, } from "../../config/exposure.js";
-export declare const EXPOSURE_ROLES: {
-    buyer: ViewerRole;
-    merchant: ViewerRole;
-    supplier: ViewerRole;
-    collaborator: ViewerRole;
-    arbitrator: ViewerRole;
-    system: ViewerRole;
-    neutral: ViewerRole;
-};
-export declare function applyExposureGate(severity: FindingSeverity, exposure: Omit<FindingExposure, "verdict" | "baseSeverity">): {
-    severity: FindingSeverity;
-    exposure: FindingExposure;
-};
-export declare function lossParty(role: ViewerRole, basis: string): ExposureParty;
-export declare function gainPath(role: ViewerRole, path: string, viability: GainPathViability, gate: string): GainPath;

package/dist/graph/onchain/exposure.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/exposure.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{applyExposureGate,gainPath,lossParty}from'./exposure.js';import{analyzeRewardClaimGuard}from'../../knowledge/recipient-constraint.js';describe('applyExposureGate',()=>{it('downgrades\x20to\x20info\x20when\x20every\x20gain\x20path\x20is\x20blocked',()=>{const {severity:a,exposure:b}=applyExposureGate('critical',{'lossParties':[lossParty('merchant','pool\x20funder')],'gainPaths':[gainPath('neutral','redirect','blocked','entity-pinned'),gainPath('neutral','re-entry','blocked','one-shot\x20drain')]});expect(a)['toBe']('info'),expect(b['verdict'])['toBe']('downgraded'),expect(b['baseSeverity'])['toBe']('critical');}),it('keeps\x20severity\x20when\x20any\x20path\x20is\x20viable\x20or\x20conditional',()=>{const a=applyExposureGate('high',{'lossParties':[lossParty('buyer','escrow')],'gainPaths':[gainPath('neutral','steal','blocked','bound'),gainPath('merchant','defund','viable','own\x20permission')]});expect(a['severity'])['toBe']('high'),expect(a['exposure']['verdict'])['toBe']('confirmed');const b=applyExposureGate('medium',{'lossParties':[lossParty('buyer','escrow')],'gainPaths':[gainPath('supplier','cross-settle','conditional','needs\x20own\x20order')]});expect(b['severity'])['toBe']('medium'),expect(b['exposure']['verdict'])['toBe']('confirmed');}),it('stamps\x20pending-disclosure\x20when\x20undecided\x20paths\x20exist\x20and\x20none\x20are\x20executable',()=>{const {severity:a,exposure:b}=applyExposureGate('critical',{'lossParties':[lossParty('merchant','treasury')],'gainPaths':[gainPath('neutral','release','unverifiable','guard\x20predicate\x20outside\x20evidence')]});expect(a)['toBe']('critical'),expect(b['verdict'])['toBe']('pending-disclosure');}),it('never\x20downgrades\x20shortfall\x20findings\x20with\x20no\x20gain\x20path',()=>{const {severity:a,exposure:b}=applyExposureGate('high',{'lossParties':[lossParty('supplier','payout\x20stranded')],'gainPaths':[]});expect(a)['toBe']('high'),expect(b['verdict'])['toBe']('confirmed');});});const GUARD_ADDR='0x::guard',NODE={'type':'logic_and','nodes':[]};function tableEntry(a,b,c,d){return{'identifier':a,'value_type':b,...c!==undefined?{'value':c}:{},...d!==undefined?{'b_submission':d}:{}};}describe('analyzeRewardClaimGuard',()=>{it('returns\x20unverifiable\x20when\x20the\x20guard\x20def\x20is\x20not\x20fetched',()=>{const b=analyzeRewardClaimGuard({'entry_index':0x0,'guard':GUARD_ADDR,'recipient':{'GuardIdentifier':0x0}});expect(b['viability'])['toBe']('unverifiable'),expect(b['guard_resolved'])['toBe'](![]);}),it('entity\x20recipient\x20is\x20blocked\x20even\x20with\x20an\x20empty\x20guard',()=>{const b=analyzeRewardClaimGuard({'entry_index':0x0,'guard':GUARD_ADDR,'recipient':{'Entity':'0xabc'},'guard_def':{'table':[],'root':NODE}});expect(b['viability'])['toBe']('blocked'),expect(b['recipient_kind'])['toBe']('entity');}),it('signer\x20recipient\x20is\x20viable\x20without\x20a\x20caller\x20constraint',()=>{const b=analyzeRewardClaimGuard({'entry_index':0x0,'guard':GUARD_ADDR,'recipient':{'Signer':!![]},'guard_def':{'table':[],'root':NODE}});expect(b['viability'])['toBe']('viable');}),it('submission\x20slot\x20never\x20consumed\x20by\x20the\x20guard\x20is\x20viable',()=>{const b=analyzeRewardClaimGuard({'entry_index':0x0,'guard':GUARD_ADDR,'recipient':{'GuardIdentifier':0x3},'guard_def':{'table':[tableEntry(0x3,0x0,undefined,!![])],'root':{'type':'logic_equal','nodeLeft':{'type':'context','context':'Clock'},'nodeRight':{'type':'context','context':'Clock'}}}});expect(b['viability'])['toBe']('viable'),expect(b['recipient_slot_usages'])['toBe'](0x0);}),it('submission\x20slot\x20consumed\x20without\x20a\x20recognized\x20constraint\x20is\x20conditional',()=>{const b=analyzeRewardClaimGuard({'entry_index':0x0,'guard':GUARD_ADDR,'recipient':{'guard_identifier':0x3},'guard_def':{'table':[tableEntry(0x3,0x0,undefined,!![])],'root':{'type':'query','query':0x61b,'object':{'identifier':0x3}}}});expect(b['viability'])['toBe']('conditional'),expect(b['recipient_slot_usages'])['toBe'](0x1);});});

package/dist/graph/onchain/extract-deep.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/extract-deep.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{extractObjectEdges,walkDeepAddrs}from'./extract.js';function addr(a){return'0x'+a['padEnd'](0x40,'0');}const G1=addr('a1'),G2=addr('a2'),G3=addr('a3'),G4=addr('a4'),G5=addr('a5');describe('walkDeepAddrs\x20—\x20form\x201:\x20vector<struct>\x20→\x20scalar\x20address',()=>{it('reads\x20every\x20struct\x20row\x20and\x20exposes\x20the\x20row\x20as\x20payload\x20context',()=>{const a={'guards':[{'guard':G1,'mode':0x1},{'guard':G2,'mode':0x2}]},b=walkDeepAddrs(a,['guards'],'guard');expect(b['map'](c=>c['addr']))['toEqual']([G1,G2]),expect(b[0x0]['leaf']['mode'])['toBe'](0x1),expect(b[0x0]['rows'])['toHaveLength'](0x1),expect(b[0x0]['rows'][0x0])['toBe'](a['guards'][0x0]);});}),describe('walkDeepAddrs\x20—\x20form\x202:\x20vector<struct>\x20→\x20vector<struct>\x20→\x20address,\x20multi-schema\x20fanout',()=>{const a={'policies':[{'name':'default','write_guard':[{'guard':G1}],'quote_guard':G2},{'name':'strict','write_guard':[{'guard':G3},{'guard':G4}],'quote_guard':G5}]};it('walks\x20two\x20nested\x20vector\x20levels\x20(policies[].write_guard[].guard)',()=>{const b=walkDeepAddrs(a,['policies','write_guard'],'guard');expect(b['map'](c=>c['addr']))['toEqual']([G1,G3,G4]),expect(b[0x0]['rows'])['toHaveLength'](0x2),expect(b[0x0]['rows'][0x0]['name'])['toBe']('default'),expect(b[0x1]['rows'][0x0]['name'])['toBe']('strict');}),it('lets\x20the\x20same\x20row\x20fan\x20out\x20to\x20a\x20sibling\x20field\x20(policies[].quote_guard)',()=>{const b=walkDeepAddrs(a,['policies'],'quote_guard');expect(b['map'](c=>c['addr']))['toEqual']([G2,G5]),expect(b[0x1]['rows'][0x0]['name'])['toBe']('strict');});}),describe('walkDeepAddrs\x20—\x20form\x203:\x20vector<struct>\x20→\x20vector<address|struct>',()=>{it('accepts\x20bare\x20addresses\x20and\x20address-carrying\x20structs\x20in\x20one\x20leaf\x20vector',()=>{const a={'guard':[{'guard':addr('b0'),'relies':[G1,G2]},{'guard':addr('b1'),'relies':[{'guard':G3},{'address':G4}]}]},b=walkDeepAddrs(a,['guard','relies'],'guard');expect(b['map'](c=>c['addr']))['toEqual']([G1,G2,G3,G4]),expect(b[0x0]['leaf'])['toEqual']({}),expect(b[0x0]['rows'][0x0]['guard'])['toBe'](addr('b0')),expect(b[0x2]['leaf'])['toEqual']({'guard':G3});});}),describe('walkDeepAddrs\x20—\x20form\x204:\x20historical\x20layout\x20compatibility',()=>{it('accepts\x20a\x20bare\x20struct\x20where\x20a\x20vector<struct>\x20is\x20current',()=>{const a={'policies':{'name':'solo','write_guard':[{'guard':G1}]}},b=walkDeepAddrs(a,['policies','write_guard'],'guard');expect(b['map'](c=>c['addr']))['toEqual']([G1]),expect(b[0x0]['rows']['map'](c=>c['name']))['toEqual'](['solo',undefined]);}),it('accepts\x20a\x20scalar\x20struct\x20at\x20the\x20leaf\x20container\x20slot',()=>{const a={'policies':[{'name':'only','write_guard':{'guard':G2}}]},b=walkDeepAddrs(a,['policies','write_guard'],'guard');expect(b['map'](c=>c['addr']))['toEqual']([G2]);}),it('recognizes\x20the\x20historical\x20address/address-who\x20member\x20aliases',()=>{const a={'refs':[{'address':G3},{'who':G4},{'guard':G5}]},b=walkDeepAddrs(a,['refs'],'guard');expect(b['map'](c=>c['addr']))['toEqual']([G3,G4,G5]);});}),describe('walkDeepAddrs\x20—\x20form\x205:\x20empty\x20values\x20and\x20malformed\x20entries',()=>{it('returns\x20nothing\x20for\x20missing\x20paths,\x20null\x20roots\x20or\x20empty\x20vectors',()=>{expect(walkDeepAddrs({},['policies','write_guard'],'guard'))['toEqual']([]),expect(walkDeepAddrs({'policies':null},['policies'],'guard'))['toEqual']([]),expect(walkDeepAddrs({'policies':[]},['policies'],'guard'))['toEqual']([]),expect(walkDeepAddrs({'policies':[{'write_guard':[]}]},['policies','write_guard'],'guard'))['toEqual']([]);}),it('skips\x20garbage\x20without\x20throwing\x20and\x20keeps\x20the\x20valid\x20leaves',()=>{const a={'policies':[null,'garbage',0x2a,{'write_guard':[null,{'guard':'0xnotanaddress'},{'guard':G1}]},{'write_guard':['0x123',G2,{'guard':G3,'extra':!![]}]},{'write_guard':[{'guard':undefined}]}]};let b;expect(()=>{b=walkDeepAddrs(a,['policies','write_guard'],'guard');})['not']['toThrow'](),expect(b['map'](c=>c['addr']))['toEqual']([G1,G2,G3]),expect(b[0x2]['leaf']['extra'])['toBe'](!![]);}),it('preserves\x20multiplicity\x20when\x20the\x20same\x20address\x20appears\x20under\x20different\x20rows',()=>{const a={'policies':[{'name':'default','write_guard':[{'guard':G1}]},{'name':'strict','write_guard':[{'guard':G1}]}]},b=walkDeepAddrs(a,['policies','write_guard'],'guard');expect(b)['toHaveLength'](0x2),expect(b[0x0]['rows'][0x0]['name'])['toBe']('default'),expect(b[0x1]['rows'][0x0]['name'])['toBe']('strict');});}),describe('extractObjectEdges\x20—\x20registry\x20integration\x20of\x20the\x20unified\x20walk',()=>{it('still\x20extracts\x20structFields\x20demand.guard\x20from\x20struct\x20and\x20bare-address\x20rows',()=>{const a={'type_raw':'0x2::demand::Demand','data':{'guards':[{'guard':G1,'service_identifier':0x9},G2]}},b=extractObjectEdges('Demand',a),c=b['find'](d=>d['schemaId']==='demand.guard');expect(c?.['refs']['map'](d=>d['to']))['toEqual']([G1,G2]);});});

package/dist/graph/onchain/extract.d.ts

@@ -1,29 +0,0 @@
-import { type EdgeSchema, type EventRead } from "./edge-schema.js";
-import type { RawObject, TableItem, TopoEdgePayload } from "./types.js";
-export declare function normAddr(v: unknown): string | undefined;
-export declare function rootOf(raw: RawObject | undefined): Record<string, unknown>;
-export interface DeepLeaf {
-    addr: string;
-    leaf: Record<string, unknown>;
-    rows: Record<string, unknown>[];
-}
-export declare function walkDeepAddrs(root: Record<string, unknown>, segments: string[], field: string): DeepLeaf[];
-export interface RawRef {
-    to: string;
-    from?: string;
-    payload?: TopoEdgePayload;
-    key?: string;
-}
-export interface ExtractedEdges {
-    schemaId: string;
-    refs: RawRef[];
-}
-export declare function wfNodeId(machine: string, name: string): string;
-export declare const REVERSE_GROUP_WILDCARD = "*";
-export declare function extractReverseRefs(parent: string, field: unknown): ExtractedEdges[];
-export declare function extractTableRefs(rowType: string, sourceId: string, items: TableItem[]): ExtractedEdges[];
-export declare function extractEventRefs(read: EventRead, sourceId: string, events: unknown[]): RawRef[];
-export declare function inferObjectType(addr: string): string | undefined;
-export declare function extractCoinType(typeRaw: unknown): string | undefined;
-export declare function extractObjectEdges(objectType: string, raw: RawObject): ExtractedEdges[];
-export declare function schemaById(id: string): EdgeSchema | undefined;

package/dist/graph/onchain/facet-projection.d.ts

@@ -1,99 +0,0 @@
-import type { GraphServiceEvaluation } from "../../evaluation/builtins/graph-service.js";
-import { type FacetId } from "../../evaluation/facets/catalog.js";
-import type { GraphEvaluationFacts } from "./facts.js";
-import type { Finding, InterestPayload, TopologyGraph, Viewport } from "./types.js";
-export type FacetState = "present" | "empty" | "gap";
-export interface FacetMoney {
-    raw: string;
-    coin_type?: string;
-    display?: string;
-    symbol?: string;
-    decimals?: number;
-    precision_known: boolean;
-    tip?: string;
-}
-export interface FacetAmount {
-    key: string;
-    label: string;
-    money: FacetMoney;
-}
-export interface FacetSignal {
-    key: string;
-    label: string;
-    state: "configured" | "missing" | "unknown";
-    detail?: string;
-    gloss?: string;
-}
-export interface FacetScoreRef {
-    evaluation: "trust" | "risk";
-    rule_id: string;
-}
-export interface FacetGraphRef {
-    id: string;
-    label: string;
-    full?: string;
-    role?: string;
-}
-export interface FacetGraph {
-    kind: "workflow" | "fund_flow" | "supply_chain";
-    summary: string;
-    refs: FacetGraphRef[];
-}
-export interface FacetResult {
-    id: FacetId;
-    label: string;
-    question: string;
-    state: FacetState;
-    scores?: FacetScoreRef[];
-    signals?: FacetSignal[];
-    amounts?: FacetAmount[];
-    graph?: FacetGraph;
-    evidence: string[];
-    gap_reason?: string;
-    threshold?: number;
-}
-export interface FacetsBlock {
-    profile: {
-        role?: string;
-        industry?: string;
-        persona_applied: boolean;
-        sources: string[];
-    };
-    items: FacetResult[];
-}
-export interface FacetProjectionProfile {
-    role?: string;
-    industry?: string;
-    persona_applied: boolean;
-    sources: string[];
-    facets: Record<string, {
-        visible: boolean;
-        order: number;
-        weight?: number;
-        threshold?: number;
-    }>;
-}
-export interface FacetWorkflowShape {
-    machine: string;
-    transitions: Array<{
-        node: string;
-        prev_node: string;
-        forward?: string;
-        guard: string | null;
-        named_operator: string | null;
-        permission_index: unknown;
-    }>;
-    terminal_names: string[];
-}
-export interface ProjectFacetsInput {
-    graph: TopologyGraph;
-    viewport: Viewport;
-    target: string;
-    facts: GraphEvaluationFacts;
-    evaluation: GraphServiceEvaluation;
-    workflows: FacetWorkflowShape[];
-    profile: FacetProjectionProfile;
-    roleInterest?: InterestPayload;
-    findings?: Finding[];
-}
-export declare function projectFacets(input: ProjectFacetsInput): FacetsBlock;

package/dist/graph/onchain/facet-projection.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/facet-projection.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{ENTRYPOINT}from'@wowok/wowok';import{FakeDataPlane}from'./dataplane.js';import{expandTopology}from'./expand.js';import{FULL,GAP,T_USDT,fullServiceState,gapServiceState,truncatedServiceState}from'./fixtures.js';import{buildViewport}from'./viewport.js';import{runAnalyzers}from'./analyze.js';import{workflowSubgraphFromEdges}from'./order-status.js';import{EVALUATION_SERVICE_INTENTS,resolveExpansionStrategy,withEvaluationBundle}from'./strategy.js';import{projectEvaluationFacts}from'./facts.js';import{projectFacets}from'./facet-projection.js';import{FACET_IDS}from'../../evaluation/facets/catalog.js';import{evaluateGraphServiceFacts,registerGraphServiceEvaluations}from'../../evaluation/builtins/graph-service.js';import{resolveFacetProfile}from'../../persona/facet-profile.js';const TYPE_TAG_NODE='0x2::machine::Node<0x2::wow::WOW>';async function assemble(a,b){registerGraphServiceEvaluations();const c=withEvaluationBundle(resolveExpansionStrategy({'intents':[...EVALUATION_SERVICE_INTENTS]})),d=await expandTopology(new FakeDataPlane(a),{'network':ENTRYPOINT['Mainnet'],'seed':b,'edges':c['edges'],'budget':c['budget']}),e=buildViewport(d,b,'neutral'),f=projectEvaluationFacts(e,b,runAnalyzers(e)),g=await evaluateGraphServiceFacts(f),h=[...new Set(d['edges']['filter'](j=>j['schema']==='wf.transition')['flatMap'](j=>[j['from'],j['to']])['map'](j=>{const k=j['indexOf']('::node::');return k>0x0?j['slice'](0x0,k):'';})['filter'](Boolean))]['sort'](),i=h['map'](j=>{const k=workflowSubgraphFromEdges(d['edges'],j);return{'machine':j,'transitions':k['transitions']['map'](l=>({'node':l['node'],'prev_node':l['prevNode'],...l['forward']!==undefined?{'forward':l['forward']}:{},'guard':l['guard']??null,'named_operator':l['namedOperator']??null,'permission_index':l['permissionIndex']??null})),'terminal_names':[...k['terminalNames']]['sort']()};});return{'graph':d,'viewport':e,'facts':f,'evaluation':g,'workflows':i};}function project(b,c,d=resolveFacetProfile(),e,f){return projectFacets({'graph':b['graph'],'viewport':b['viewport'],'target':c,'facts':b['facts'],'evaluation':b['evaluation'],'workflows':f??b['workflows'],'profile':{'role':d['role'],'industry':d['industry'],'persona_applied':d['personaApplied'],'sources':d['sources'],'facets':d['facets']},...e?{'roleInterest':e}:{}});}const itemOf=(a,b)=>a['items']['find'](c=>c['id']===b);describe('facet\x20projection\x20—\x20fully\x20hooked\x20shop',()=>{it('emits\x20nine\x20catalog\x20facets\x20in\x20order,\x20my_stakes\x20gated\x20out\x20without\x20an\x20observer',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=project(b,FULL['svc']);expect(c['items']['map'](d=>d['id']))['toEqual'](FACET_IDS['filter'](d=>d!=='my_stakes')),expect(c['profile']['sources'])['toContain']('catalog\x20defaults'),expect(c['profile']['persona_applied'])['toBe'](![]);}),it('business\x20facets\x20carry\x20no\x20score\x20refs\x20at\x20all',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=project(b,FULL['svc']);for(const d of['offering_price','fund_flow','supply_chain']){expect(itemOf(c,d)?.['scores'])['toBeUndefined']();}expect(itemOf(c,'fund_safety')?.['scores']?.['map'](e=>e['rule_id'])['sort']())['toEqual'](['risk_fund','trust_fund_safety']['sort']()),expect(itemOf(c,'workflow')?.['scores'])['toEqual']([{'evaluation':'risk','rule_id':'risk_workflow'}]),expect(itemOf(c,'permission')?.['scores'])['toEqual']([{'evaluation':'risk','rule_id':'risk_behavior'}]);for(const e of itemOf(c,'fund_safety')['scores']){const f=e['evaluation']==='trust'?b['evaluation']['trust']:b['evaluation']['risk'];expect(f['breakdown']['some'](g=>g['rule_id']===e['rule_id']))['toBe'](!![]);}}),it('projects\x20fund_safety\x20raw\x20amounts\x20with\x20coin\x20types\x20and\x20placeholder\x20evidence',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=itemOf(project(b,FULL['svc']),'fund_safety');expect(c['state'])['toBe']('present');const d=Object['fromEntries']((c['amounts']??[])['map'](e=>[e['key'],e]));expect(d['fund']?.['money']['raw'])['toBe']('0'),expect(d['largest']?.['money']['raw'])['toBe']('1000000'),expect(d['ceiling']?.['money']['raw'])['toBe']('3000000');for(const e of Object['values'](d))expect(e['money']['coin_type'])['toBe'](T_USDT);expect(d['fund']?.['money']['precision_known'])['toBe'](![]),expect(d['fund']?.['money']['display'])['toBeUndefined'](),expect(c['evidence']['some'](f=>f['includes']('{largest}')&&f['includes']('{ceiling}')))['toBe'](!![]);}),it('surfaces\x20the\x20live\x20buy\x20ceiling\x20+\x20blocked\x20listings\x20only\x20when\x20the\x20wall\x20is\x20live',async()=>{const b=fullServiceState(),c=b['objects']['get'](FULL['svc']['toLowerCase']());c['data']['compensation_fund']='1000000',c['data']['sales']=[{'name':'top','price':'900000','suspension':![]},{'name':'low','price':'100000','suspension':![]}];const d=await assemble(b,FULL['svc']),e=itemOf(project(d,FULL['svc']),'fund_safety'),f=Object['fromEntries']((e['amounts']??[])['map'](j=>[j['key'],j]));expect(f['cap']?.['money']['raw'])['toBe']('333333');const g=e['evidence']['find'](j=>j['includes']('Live\x20buy\x20ceiling'));expect(g)['toContain']('{cap}'),expect(g)['toContain']('top');const h=await assemble(fullServiceState(),FULL['svc']),i=itemOf(project(h,FULL['svc']),'fund_safety');expect(Object['fromEntries']((i['amounts']??[])['map'](j=>[j['key'],j]))['cap'])['toBeUndefined'](),expect(i['evidence']['some'](j=>j['includes']('Live\x20buy\x20ceiling')))['toBe'](![]);}),it('projects\x20offering_price\x20from\x20the\x20seed\x20raw\x20with\x20published/active\x20signals',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=itemOf(project(b,FULL['svc']),'offering_price');expect(c['state'])['toBe']('present'),expect(c['amounts'])['toHaveLength'](0x1),expect(c['amounts'][0x0]['money']['raw'])['toBe']('1000000'),expect(c['amounts'][0x0]['money']['coin_type'])['toBe'](T_USDT);const d=Object['fromEntries']((c['signals']??[])['map'](e=>[e['key'],e]));expect(d['published']['state'])['toBe']('configured'),expect(d['active']['state'])['toBe']('configured');}),it('projects\x20arbitration\x20binding/roster/fee/active\x20signals',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=itemOf(project(b,FULL['svc']),'arbitration'),d=Object['fromEntries']((c['signals']??[])['map'](e=>[e['key'],e['state']]));expect(d)['toMatchObject']({'arbitration_binding':'configured','voting_roster':'configured','arbitration_fee':'configured','arbitration_active':'configured'});for(const e of c['signals']??[]){expect(e['gloss']?.['length'])['toBeGreaterThan'](0x14);}}),it('emits\x20coverage\x20slot\x20glosses\x20+\x20the\x20coverage\x20vocabulary',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),{evaluation:c}=b;for(const e of c['coverage']){expect(e['label']['length'])['toBeGreaterThan'](0x2),expect(e['gloss']['length'])['toBeGreaterThan'](0x14);}const d=c['vocabulary'];expect(d['present'])['toMatch'](/present/i),expect(d['empty'])['toMatch'](/verified/i),expect(d['gap'])['toMatch'](/unverifiable|not retrieved|truncated/i),expect(d['unverified']['length'])['toBeGreaterThan'](0x14),expect(d['completeness']['length'])['toBeGreaterThan'](0x14);}),it('projects\x20the\x20workflow\x20graph\x20with\x20resolved\x20machine/node\x20names\x20and\x20no\x20synthetic\x20ids',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=itemOf(project(b,FULL['svc']),'workflow');expect(c['state'])['toBe']('present'),expect(c['graph']?.['kind'])['toBe']('workflow');const d=c['graph']['refs']['filter'](f=>f['role']==='workflow\x20node')['map'](f=>f['label']);expect(d)['toEqual'](expect['arrayContaining'](['start','shipping','done'])),expect(c['graph']['refs']['some'](f=>f['role']==='machine'))['toBe'](!![]);const e=[...c['graph']['refs']['map'](f=>f['label']+'\x20'+(f['full']??'')),c['graph']['summary'],...c['evidence']]['join']('\x20');expect(e)['not']['toContain']('::node::'),expect(c['graph']['refs']['filter'](f=>f['role']==='workflow\x20node')['some'](f=>f['label']['startsWith']('0x')))['toBe'](![]);}),it('humanizes\x20Move\x20type-tag\x20node\x20names\x20into\x20Node<WOW>\x20with\x20full\x20kept',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=[{'machine':FULL['mac']['toLowerCase'](),'transitions':[{'node':TYPE_TAG_NODE,'prev_node':'start','guard':null,'named_operator':null,'permission_index':null}],'terminal_names':[TYPE_TAG_NODE]}],d=itemOf(project(b,FULL['svc'],undefined,undefined,c),'workflow'),e=d['graph']['refs']['find'](f=>f['label']==='Node<WOW>');expect(e)['toBeDefined'](),expect(e['full'])['toBe'](TYPE_TAG_NODE);}),it('projects\x20fund_flow\x20pools,\x20payment\x20legs,\x20recipients,\x20guards\x20and\x20leg\x20amounts',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=itemOf(project(b,FULL['svc']),'fund_flow');expect(c['state'])['toBe']('present');const d=(c['graph']['refs']??[])['reduce']((f,g)=>{return f[g['role']??'']=(f[g['role']??'']??0x0)+0x1,f;},{});expect(d['allocation\x20pool'])['toBe'](0x1),expect(d['payment\x20leg'])['toBe'](0x2),expect(d['recipient'])['toBe'](0x2),expect(d['split\x20guard'])['toBe'](0x1);const e=(c['amounts']??[])['map'](f=>f['money']['raw'])['sort']();expect(e)['toEqual'](['10000','50000','990000']),expect(c['evidence']['some'](f=>f['includes']('{pay_0}')||f['includes']('{pay_')))['toBe'](!![]);}),it('keeps\x20supply_chain\x20empty\x20for\x20the\x20single-shop\x20fixture\x20(own\x20orders\x20excluded)',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=itemOf(project(b,FULL['svc']),'supply_chain');expect(c['state'])['toBe']('empty'),expect(c['graph']?.['refs'])['toEqual']([]);}),it('projects\x20permission\x20signals\x20incl.\x20bound\x20group,\x20buy\x20guard\x20and\x20admins',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=itemOf(project(b,FULL['svc']),'permission'),d=Object['fromEntries']((c['signals']??[])['map'](e=>[e['key'],e['state']]));expect(d['service_permission'])['toBe']('configured'),expect(d['buy_guard'])['toBe']('configured'),expect(d['admins'])['toBe']('configured');}),it('carries\x20risk\x20finding\x20titles\x20+\x20graph-aware\x20where\x20lines\x20as\x20evidence,\x20never\x20raw\x20ids',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=project(b,FULL['svc']),d=c['items']['flatMap'](f=>f['evidence']),e=itemOf(c,'fund_safety')['evidence']['join']('\x20');expect(e)['toContain']('Payout\x20exposure'),expect(e)['not']['toContain']('::node::'),expect(d['some'](f=>/0x[0-9a-f]{40,}/['test'](f)))['toBe'](![]);}),it('projects\x20my_stakes\x20only\x20when\x20role\x20interest\x20is\x20supplied',async()=>{const b=await assemble(fullServiceState(),FULL['svc']);expect(itemOf(project(b,FULL['svc']),'my_stakes'))['toBeUndefined']();const c={'role':'customer','observer':FULL['buyer'],'stakes':[{'object':FULL['svc'],'object_type':'Service','positions':['buyer'],'state':'in_flight','evidence':[]}],'actions':[],'arb_actions':[],'counterparties':[],'risk_finding_ids':[],'summary':'Buyer\x20has\x20one\x20in-flight\x20order\x20at\x20stake.'},d=itemOf(project(b,FULL['svc'],resolveFacetProfile(),c),'my_stakes');expect(d['state'])['toBe']('present'),expect(d['signals'])['toHaveLength'](0x1),expect(d['signals'][0x0]['label'])['toContain']('buyer'),expect(d['evidence']['join']('\x20'))['toContain']('one\x20in-flight\x20order');});}),describe('facet\x20projection\x20—\x20configured-empty\x20shell',()=>{it('marks\x20verified\x20absences\x20empty/missing\x20and\x20the\x20dangling\x20machine\x20a\x20gap',async()=>{const b=await assemble(gapServiceState(),GAP['svc']),c=project(b,GAP['svc']);expect(itemOf(c,'workflow')?.['state'])['toBe']('gap'),expect(itemOf(c,'workflow')?.['gap_reason'])['toBeTruthy'](),expect(itemOf(c,'workflow')?.['graph'])['toBeUndefined'](),expect(itemOf(c,'offering_price')?.['state'])['toBe']('empty'),expect(itemOf(c,'fund_flow')?.['state'])['toBe']('empty'),expect(itemOf(c,'supply_chain')?.['state'])['toBe']('empty');const d=itemOf(c,'arbitration');expect(d['state'])['toBe']('present'),expect(d['signals']['find'](f=>f['key']==='arbitration_binding')?.['state'])['toBe']('missing');const e=itemOf(c,'permission');expect(e['state'])['toBe']('present'),expect(e['signals']['find'](f=>f['key']==='buy_guard')?.['state'])['toBe']('missing'),expect(e['signals']['find'](f=>f['key']==='service_permission')?.['state'])['toBe']('configured');});}),describe('facet\x20projection\x20—\x20truncated\x20order\x20window',()=>{it('exposes\x20fund_safety/fulfillment\x20as\x20gaps\x20with\x20no\x20score\x20refs\x20and\x20a\x20reason',async()=>{const b=await assemble(truncatedServiceState(),FULL['svc']),c=project(b,FULL['svc']);for(const d of['fund_safety','fulfillment']){const e=itemOf(c,d);expect(e['state'])['toBe']('gap'),expect(e['scores']??[])['toEqual']([]),expect(e['gap_reason'])['toBeTruthy']();}expect(itemOf(c,'reputation')?.['state'])['toBe']('present');});}),describe('facet\x20projection\x20—\x20profile\x20lens',()=>{it('orders\x20facets\x20by\x20role\x20emphasis\x20and\x20hides\x20profile-hidden\x20facets',async()=>{const b=await assemble(fullServiceState(),FULL['svc']),c=resolveFacetProfile({'role':'merchant'}),d=project(b,FULL['svc'],c);expect(d['items'][0x0]['id'])['toBe']('fund_flow'),expect(d['profile']['role'])['toBe']('merchant'),expect(d['profile']['sources']['some'](g=>g['startsWith']('role\x20default:merchant')))['toBe'](!![]);const e=resolveFacetProfile({'request':{'fund_safety':{'visible':![]},'reputation':{'order':0x1}}}),f=project(b,FULL['svc'],e);expect(f['items']['some'](g=>g['id']==='fund_safety'))['toBe'](![]),expect(f['items'][0x0]['id'])['toBe']('reputation');});});

package/dist/graph/onchain/facts.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/facts.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{ENTRYPOINT}from'@wowok/wowok';import{FakeDataPlane}from'./dataplane.js';import{expandTopology}from'./expand.js';import{FULL,GAP,fullServiceState,gapServiceState,truncatedServiceState}from'./fixtures.js';import{buildViewport}from'./viewport.js';import{runAnalyzers}from'./analyze.js';import{EVALUATION_SERVICE_INTENTS,resolveExpansionStrategy,withEvaluationBundle}from'./strategy.js';import{projectEvaluationFacts}from'./facts.js';async function evalFacts(a,b){const c=withEvaluationBundle(resolveExpansionStrategy({'intents':[...EVALUATION_SERVICE_INTENTS]})),d=await expandTopology(new FakeDataPlane(a),{'network':ENTRYPOINT['Mainnet'],'seed':b,'edges':c['edges'],'budget':c['budget']}),e=buildViewport(d,b,'neutral'),f=runAnalyzers(e);return projectEvaluationFacts(e,b,f);}async function evalFactsWithFindings(a,b,c){const d=withEvaluationBundle(resolveExpansionStrategy({'intents':[...EVALUATION_SERVICE_INTENTS]})),e=await expandTopology(new FakeDataPlane(a),{'network':ENTRYPOINT['Mainnet'],'seed':b,'edges':d['edges'],'budget':d['budget']}),f=buildViewport(e,b,'neutral');return projectEvaluationFacts(f,b,c);}const slotOf=(a,b)=>a['slots']['find'](c=>c['slot']===b),factOf=(a,b)=>{const c=a['facts']['find'](d=>d['key']===b);return expect(c,'fact\x20'+b+'\x20must\x20exist')['toBeDefined'](),c;},EMPTY_STATE={'objects':new Map(),'keyedFields':new Map(),'tables':new Map(),'events':new Map()};describe('facts\x20—\x20fully\x20hooked\x20service\x20(TR-13.1)',()=>{it('classifies\x20every\x20required\x20slot\x20present\x20with\x20material\x20facts',async()=>{const a=await evalFacts(fullServiceState(),FULL['svc']);expect(slotOf(a,'service_snapshot')['state'])['toBe']('present'),expect(slotOf(a,'arbitration')['state'])['toBe']('present'),expect(slotOf(a,'reviews')['state'])['toBe']('present'),expect(slotOf(a,'fulfillment_orders')['state'])['toBe']('present'),expect(slotOf(a,'fulfillment_workflow')['state'])['toBe']('present'),expect(slotOf(a,'fund_safety')['state'])['toBe']('present'),expect(slotOf(a,'transparency')['state'])['toBe']('present'),expect(a['completeness'])['toBe'](0x64);const b=factOf(a,'arbitration.binding');expect(b['state'])['toBe']('present'),expect(b['value'])['toMatchObject']([{'id':FULL['arbsvc']['toLowerCase'](),'paused':![],'votingGuards':0x1,'usageGuard':!![]}]),expect(b['provenance']['path'])['toContain']('service.arbitration'),expect(factOf(a,'reviews.votes')['value'])['toMatchObject']({'total':0x2,'like':0x1,'dislike':0x1,'favor':0x1}),expect(factOf(a,'fulfillment.orders')['value'])['toMatchObject']({'observed':0x2,'completed':0x1,'inProgress':0x1,'unknown':0x0,'windowedAmount':'1000000'});const c=factOf(a,'fulfillment.workflow');expect(c['state'])['toBe']('present'),expect(c['value'])['toMatchObject']({'machine':FULL['mac']['toLowerCase'](),'nodes':0x3}),expect(factOf(a,'fund.compensation')['value'])['toMatchObject']({'fund':'0'});const d=factOf(a,'fund.exposure');expect(d['value'])['toMatchObject']({'windowedCount':0x2,'windowedAmount':'1000000','largestAmount':'1000000','neededCeiling':'3000000','coverageMet':![]}),expect(d['findingIds'])['toEqual'](['R2:'+FULL['svc']['toLowerCase']()]),expect(factOf(a,'transparency.profile')['findingIds'])['toEqual'](['R6:'+FULL['svc']['toLowerCase']()]);}),it('reuses\x20analyzer\x20findings\x20by\x20reference\x20in\x20the\x20risk\x20dimensions',async()=>{const a=await evalFacts(fullServiceState(),FULL['svc']),b=factOf(a,'risk_trust.findings');expect(b['state'])['toBe']('present'),expect(b['findingIds']['some'](g=>g['startsWith']('R1:')))['toBe'](!![]);const c=factOf(a,'risk_fund.findings');expect(c['state'])['toBe']('present'),expect(c['findingIds'])['toContain']('R2:'+FULL['svc']['toLowerCase']());const d=factOf(a,'risk_behavior.findings');expect(d['state'])['toBe']('present'),expect(d['findingIds'])['toEqual']([]);const e=factOf(a,'risk_workflow.findings');expect(e['state'])['toBe']('present'),expect(e['evidence'])['toContain']('fully\x20materialized');});}),describe('facts\x20—\x20configured-empty\x20shell\x20merchant\x20(TR-13.1)',()=>{it('scores\x20configured\x20absence\x20as\x20empty\x20and\x20the\x20dangling\x20machine\x20as\x20gap',async()=>{const a=await evalFacts(gapServiceState(),GAP['svc']);expect(slotOf(a,'service_snapshot')['state'])['toBe']('present'),expect(slotOf(a,'arbitration')['state'])['toBe']('empty'),expect(factOf(a,'arbitration.binding')['state'])['toBe']('empty'),expect(slotOf(a,'reviews')['state'])['toBe']('empty'),expect(slotOf(a,'fulfillment_orders')['state'])['toBe']('present'),expect(slotOf(a,'fulfillment_workflow')['state'])['toBe']('gap'),expect(factOf(a,'fulfillment.workflow')['evidence'])['toContain']('fetch\x20gap'),expect(slotOf(a,'fund_safety')['state'])['toBe']('present'),expect(slotOf(a,'transparency')['state'])['toBe']('present'),expect(a['completeness'])['toBe'](0x39),expect(factOf(a,'risk_workflow.findings')['state'])['toBe']('gap'),expect(factOf(a,'risk_workflow.findings')['provenance']['confidence'])['toBe']('windowed'),expect(factOf(a,'risk_trust.findings')['state'])['toBe']('empty');});}),describe('facts\x20—\x20truncated\x20order\x20window\x20(TR-13.1)',()=>{it('marks\x20the\x20truncated\x20window\x20slot\x20gap\x20and\x20cascades\x20into\x20risk_fund',async()=>{const a=await evalFacts(truncatedServiceState(),FULL['svc']);expect(slotOf(a,'fulfillment_orders')['state'])['toBe']('gap');const b=factOf(a,'fulfillment.orders');expect(b['state'])['toBe']('gap'),expect(b['provenance']['window'])['toBeDefined'](),expect(b['value']['observed'])['toBeGreaterThan'](0x0);const c=factOf(a,'risk_fund.findings');expect(c['state'])['toBe']('gap'),expect(c['evidence'])['toContain']('unverifiable'),expect(slotOf(a,'arbitration')['state'])['toBe']('present'),expect(slotOf(a,'fulfillment_workflow')['state'])['toBe']('present'),expect(a['completeness'])['toBe'](0x56);});}),describe('facts\x20—\x20fund\x20listing\x20wall\x20(F-BS-59)',()=>{it('zero\x20fund\x20never\x20walls:\x20the\x20priced\x20listing\x20reads\x20present\x20with\x20walled=false',async()=>{const a=await evalFacts(fullServiceState(),FULL['svc']),b=factOf(a,'fund.listing_wall');expect(b['state'])['toBe']('present'),expect(b['value'])['toMatchObject']({'fund':'0','coverCap':'0','largestListing':'1000000','blockedCount':0x0,'blockedNames':[],'walled':![]}),expect(b['evidence'])['toContain']('No\x20compensation\x20fund');}),it('under-covers\x20the\x20listings\x20priced\x20above\x20fund/3,\x20largest\x20first,\x20ignoring\x20suspended\x20rows',async()=>{const a=fullServiceState(),b=a['objects']['get'](FULL['svc']['toLowerCase']());b['data']['compensation_fund']='1000000',b['data']['sales']=[{'name':'top','price':'900000','suspension':![]},{'name':'low','price':'100000','suspension':![]},{'name':'off','price':'9000000','suspension':!![]}];const c=await evalFacts(a,FULL['svc']),d=factOf(c,'fund.listing_wall');expect(d['state'])['toBe']('present'),expect(d['value'])['toMatchObject']({'fund':'1000000','coverCap':'333333','largestListing':'900000','blockedCount':0x1,'blockedNames':['top'],'walled':!![]}),expect(d['evidence'])['toContain']('top'),expect(d['evidence'])['toContain']('UNDER-COVERED');}),it('an\x20empty\x20catalog\x20reads\x20verified-absent\x20(no\x20listing\x20can\x20be\x20walled)',async()=>{const a=await evalFacts(gapServiceState(),GAP['svc']),b=factOf(a,'fund.listing_wall');expect(b['state'])['toBe']('empty'),expect(b['evidence'])['toContain']('No\x20sellable\x20priced\x20listing');});}),describe('facts\x20—\x20completeness\x20(TR-13.2)',()=>{it('is\x20an\x20integer\x200..100\x20consistent\x20with\x20present/required\x20on\x20every\x20fixture',async()=>{const a=await Promise['all']([evalFacts(fullServiceState(),FULL['svc']),evalFacts(gapServiceState(),GAP['svc']),evalFacts(truncatedServiceState(),FULL['svc'])]);for(const b of a){expect(Number['isInteger'](b['completeness']))['toBe'](!![]),expect(b['completeness'])['toBeGreaterThanOrEqual'](0x0),expect(b['completeness'])['toBeLessThanOrEqual'](0x64);const c=b['slots']['filter'](e=>e['required']&&e['state']==='present')['length'],d=b['slots']['filter'](e=>e['required'])['length'];expect(b['completeness'])['toBe'](Math['round'](c/d*0x64));for(const e of b['facts']){expect(e['provenance']['path']['length'])['toBeGreaterThan'](0x0),expect(e['provenance']['retention'])['toBeDefined'](),expect(e['evidence']['length'])['toBeGreaterThan'](0x0);if(e['dimension']['startsWith']('risk_'))continue;const g=e['dimension']==='fulfillment'?e['key']['includes']('workflow')?'fulfillment_workflow':'fulfillment_orders':e['dimension'];expect(slotOf(b,g)['facts'])['toContain'](e['key']);}}}),it('collapses\x20to\x200\x20with\x20all\x20slots\x20gap\x20when\x20the\x20target\x20is\x20missing',async()=>{const a=await evalFacts(EMPTY_STATE,FULL['svc']);expect(a['slots']['every'](b=>b['state']==='gap'))['toBe'](!![]),expect(a['completeness'])['toBe'](0x0),expect(factOf(a,'risk_behavior.findings')['state'])['toBe']('gap');});}),describe('facts\x20—\x20entity\x20profile\x20attributes',()=>{it('projects\x20viewport-cropped\x20payloads;\x20absence\x20yields\x20no\x20entry',async()=>{const a=await evalFacts(fullServiceState(),FULL['svc']),b=a['profiles']['map'](e=>e['nodeId']);expect(b)['toContain'](FULL['supplier']['toLowerCase']());const c=a['profiles']['find'](e=>e['nodeId']===FULL['supplier']['toLowerCase']());expect(c['description'])['toBe']('Acme\x20logistics\x20co.'),expect(c['registeredAt'])['toBe'](0x18bcfe57b88),expect(c['recordCount'])['toBe'](0x1),expect(c['profileRecords'])['toEqual']([{'name':'region','valueType':0x1,'value':'cn-east'}]);const d=a['profiles']['find'](e=>e['nodeId']===FULL['member']['toLowerCase']());expect(d['hasDescription'])['toBe'](!![]),expect(d['recordCount'])['toBe'](0x0),expect(b)['not']['toContain'](FULL['buyer']['toLowerCase']());});}),describe('facts\x20—\x20N-K5\x20own-scope\x20partition\x20folds\x20neighbor\x20findings',()=>{const a='0x1549f8aa00000000000000000000000000000000000000000000000000000000',b=c=>({'id':'R4:'+c+':accepted→completed','kind':'risk','severity':'medium','title':'Workflow\x20single\x20point:\x20the\x20only\x20Forward\x20before\x20a\x20terminal\x20state\x20has\x20a\x20single\x20operator\x20and\x20no\x20fallback\x20Guard','path':[c,'machine.node','wf.transition','accepted→completed'],'confidence':'exact','roles':['neutral'],'detail':'synthetic\x20single-point\x20finding\x20for\x20the\x20scope\x20test','suggestion':'add\x20a\x20fallback\x20operator'});it('scores\x20only\x20own-machine\x20R4\x20findings;\x20the\x20foreign\x20machine\x27s\x20identical\x20finding\x20is\x20folded\x20as\x20neighbor\x20count',async()=>{const c=await evalFactsWithFindings(fullServiceState(),FULL['svc'],[b(FULL['mac']['toLowerCase']()),b(a)]),d=factOf(c,'risk_workflow.findings');expect(d['state'])['toBe']('present'),expect(d['findingIds'])['toEqual'](['R4:'+FULL['mac']['toLowerCase']()+':accepted→completed']);const e=d['value'];expect(e['findings'])['toHaveLength'](0x1),expect(e['findings'][0x0]['id'])['toBe']('R4:'+FULL['mac']['toLowerCase']()+':accepted→completed'),expect(d['evidence'])['toContain']('1\x20further\x20finding(s)\x20on\x20NEIGHBOR\x20objects'),expect(d['evidence'])['toContain']('do\x20not\x20belong\x20to\x20this\x20object\x27s\x20score');}),it('an\x20all-neighbor\x20finding\x20set\x20matches\x20nothing\x20and\x20reports\x20the\x20folded\x20count\x20on\x20a\x20clean\x20own\x20structure',async()=>{const c=await evalFactsWithFindings(fullServiceState(),FULL['svc'],[b(a)]),d=factOf(c,'risk_workflow.findings');expect(d['state'])['toBe']('present'),expect(d['findingIds'])['toEqual']([]),expect(d['evidence'])['toContain']('No\x20risk\x20fired\x20on\x20this\x20object'),expect(d['evidence'])['toContain']('1\x20finding(s)\x20on\x20neighbor\x20objects');});});

package/dist/graph/onchain/field-manifest.d.ts

@@ -1,29 +0,0 @@
-export type FieldDisposition = {
-    readonly kind: "edge";
-    readonly schema: string;
-    readonly coSchemas?: readonly string[];
-    readonly note?: string;
-} | {
-    readonly kind: "attribute";
-    readonly note: string;
-} | {
-    readonly kind: "transient";
-    readonly note: string;
-} | {
-    readonly kind: "nonAddress";
-    readonly note: string;
-};
-export interface FieldEntry {
-    readonly field: string;
-    readonly disposition: FieldDisposition;
-    readonly evidence: string;
-    readonly oq?: string;
-}
-export interface ObjectManifest {
-    readonly object: string;
-    readonly moveStruct: string;
-    readonly fields: readonly FieldEntry[];
-}
-export declare const FIELD_MANIFEST: readonly ObjectManifest[];
-export declare const MANIFEST_BY_OBJECT: ReadonlyMap<string, ObjectManifest>;
-export declare const BUSINESS_OBJECTS: readonly string[];

package/dist/graph/onchain/field-manifest.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/field-manifest.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{EDGE_SCHEMAS,EDGE_SCHEMA_BY_ID}from'./edge-schema.js';import{BUSINESS_OBJECTS,FIELD_MANIFEST,MANIFEST_BY_OBJECT}from'./field-manifest.js';import{fullServiceObjects}from'./fixtures.js';const HAS_KEY_STRUCTS={'Service':['id','description','location','sales','repositories','buy_guard','machine','bPublished','bPaused','customer_required','arbitrations','compensation_fund','paused_time','setting_lock_duration','order_allocators','rewards','um','permission'],'Order':['id','items','discount','progress','machine','amount','owner','service','dispute','agent','allocation','claimed_by','required_info','time'],'Discount':['id','name','discount_type','benchmark','off','time_start','time_end','service','transferable'],'Progress':['id','machine','context_repositories','current','task','namedOperator','session','history','current_time'],'Machine':['id','description','nodes','consensus_repositories','bPaused','bPublished','um','permission'],'Allocation':['id','balance','allocators','payment_info','payment'],'Arbitration':['id','description','location','voting_guard','usage_guard','fee','balance','bPaused','um','permission'],'Arb':['id','description','order','arbitration','voted','proposition','fee','feedback','indemnity','voting_deadline','objection','status','compensation_time','time'],'Demand':['id','description','location','rewards','guards','presenters','um','permission'],'Reward':['id','description','guards','balance','guard_not_added_expiration_time','record','um','permission'],'Repository':['id','description','policies','data','rewards','um','permission'],'Contact':['id','description','location','ims','permission'],'Permission':['id','owner','admin','description','remark','table','um'],'Guard':['id','description','table','validated','input','relies','relies_logic_and','immutable','rep'],'Passport':['id','guard','result','tx_hash','impack','time','signer','has_verified'],'Proof':['id','description','proof','item_count','server_pubkey','server_signature','about','signer','proof_type','time'],'Treasury':['id','description','balance','history','external_deposit_guard','external_withdraw_guard','inflow','outflow','um','permission'],'Payment':['id','amount','time','info','from_object','signer','record'],'CoinWrapper':['id','balance','payment'],'Resource':['id','table'],'EntityOrders':['id','table'],'EntityPermission':['id','table'],'EntityContact':['id','table'],'Entity':['id','table'],'Registrar':['id','table'],'ObjectLinkerCore':['id','table'],'ObjectLinkerTx':['id','table']},NON_STRUCT_KEYS=new Set(['EventStreams']);function walk(a,b){if(b['length']===0x0)return a!==undefined;if(a===null||a===undefined)return![];if(Array['isArray'](a))return a['some'](c=>walk(c,b));if(typeof a==='object'){const c=a[b[0x0]];if(c===undefined)return![];return walk(c,b['slice'](0x1));}return![];}function readResolves(a,b){switch(a['kind']){case'field':case'fields':case'structFields':return walk(b,a['path']['split']('.'));case'deep':{if(!walk(b,a['segments']))return![];return a['field']===''||walk(b,[...a['segments'],a['field']]);}default:return!![];}}describe('field\x20manifest\x20—\x20coverage\x20(TR-12.1)',()=>{it('manifest\x20keys\x20equal\x20the\x20audited\x20has-key\x20struct\x20registry\x20plus\x20EventStreams',()=>{const a=FIELD_MANIFEST['map'](c=>c['object'])['sort'](),b=[...Object['keys'](HAS_KEY_STRUCTS),...NON_STRUCT_KEYS]['sort']();expect(a)['toEqual'](b);}),it('every\x20manifest\x20object\x27s\x20field\x20set\x20matches\x20its\x20audited\x20Move\x20struct\x20(both\x20directions)',()=>{for(const [a,b]of Object['entries'](HAS_KEY_STRUCTS)){const c=MANIFEST_BY_OBJECT['get'](a);expect(c,'missing\x20manifest\x20for\x20'+a)['toBeDefined']();const d=c['fields']['map'](e=>e['field'])['sort']();expect(d,a+'\x20field\x20mismatch')['toEqual']([...b]['sort']());}}),it('no\x20field\x20row\x20is\x20left\x20unclassified\x20(TR-12.2)',()=>{for(const a of FIELD_MANIFEST){for(const b of a['fields']){expect(['edge','attribute','transient','nonAddress'],a['object']+'.'+b['field']+'\x20kind')['toContain'](b['disposition']['kind']),b['disposition']['kind']!=='edge'&&expect(b['disposition']['note']['trim']()['length'],a['object']+'.'+b['field']+'\x20note\x20empty')['toBeGreaterThan'](0x0);}}});}),describe('field\x20manifest\x20—\x20schema\x20cross-reference',()=>{it('every\x20referenced\x20schema\x20id\x20is\x20registered\x20(primary\x20and\x20co-edges)',()=>{for(const a of FIELD_MANIFEST){for(const b of a['fields']){if(b['disposition']['kind']!=='edge')continue;expect(EDGE_SCHEMA_BY_ID['has'](b['disposition']['schema']),a['object']+'.'+b['field']+':\x20unknown\x20schema\x20'+b['disposition']['schema'])['toBe'](!![]);for(const c of b['disposition']['coSchemas']??[]){expect(EDGE_SCHEMA_BY_ID['has'](c),a['object']+'.'+b['field']+':\x20unknown\x20co-schema\x20'+c)['toBe'](!![]);}}}}),it('every\x20non-E\x20schema\x20is\x20referenced\x20by\x20the\x20manifest\x20(registry\x20completeness)',()=>{const a=new Set();for(const c of FIELD_MANIFEST){for(const d of c['fields']){if(d['disposition']['kind']!=='edge')continue;a['add'](d['disposition']['schema']);for(const e of d['disposition']['coSchemas']??[])a['add'](e);}}const b=EDGE_SCHEMAS['filter'](g=>g['family']!=='E'&&!a['has'](g['id']));expect(b['map'](g=>g['id']),'schemas\x20with\x20no\x20manifest\x20row')['toEqual']([]);}),it('business-object\x20edge\x20rows\x20are\x20sourced\x20from\x20their\x20own\x20object',()=>{for(const a of BUSINESS_OBJECTS){const b=MANIFEST_BY_OBJECT['get'](a);for(const c of b['fields']){if(c['disposition']['kind']!=='edge')continue;const d=EDGE_SCHEMA_BY_ID['get'](c['disposition']['schema']);expect(d['source'],a+'.'+c['field']+'\x20->\x20'+d['id'])['toBe'](a);}}});}),describe('field\x20manifest\x20—\x20fixture\x20resolvability',()=>{const a=fullServiceObjects();function b(c){return a['filter'](d=>d['type']===c||(d['type_raw']??'')['startsWith'](c+'<'));}it('every\x20field-family\x20read\x20path\x20resolves\x20on\x20at\x20least\x20one\x20fixture\x20instance',()=>{let c=0x0;for(const d of BUSINESS_OBJECTS){const e=MANIFEST_BY_OBJECT['get'](d),g=b(d);expect(g['length'],'no\x20fixture\x20instance\x20for\x20'+d)['toBeGreaterThan'](0x0);for(const h of e['fields']){if(h['disposition']['kind']!=='edge')continue;const i=EDGE_SCHEMA_BY_ID['get'](h['disposition']['schema']);if(i['read']['kind']!=='field'&&i['read']['kind']!=='fields'&&i['read']['kind']!=='structFields'&&i['read']['kind']!=='deep')continue;const j=g['some'](k=>readResolves(i['read'],k['data']));expect(j,i['id']+':\x20read\x20path\x20unresolvable\x20on\x20any\x20'+d+'\x20fixture')['toBe'](!![]),c+=0x1;}}expect(c,'sanity:\x20fixture-checked\x20field-family\x20edges')['toBeGreaterThan'](0x32);});});

package/dist/graph/onchain/fixtures.d.ts

@@ -1,80 +0,0 @@
-import type { RawObject, TableItem } from "./types.js";
-import type { FakePlaneState } from "./dataplane.js";
-export declare const T_USDT = "0x2::wow::coins::USDT";
-export interface FullAddrs {
-    merchant: string;
-    buyer: string;
-    agent: string;
-    voter1: string;
-    voter2: string;
-    member: string;
-    supplier: string;
-    claimant: string;
-    signer: string;
-    buyer2: string;
-    svc: string;
-    mac: string;
-    perm: string;
-    permArb: string;
-    permRew: string;
-    permRepo: string;
-    permT: string;
-    permDem: string;
-    ctShop: string;
-    ctMac: string;
-    ctArb: string;
-    ctRew: string;
-    ctRepo: string;
-    ctT: string;
-    ctDem: string;
-    gBuy: string;
-    gAlloc: string;
-    gShip: string;
-    gRel: string;
-    gDeep: string;
-    gVote: string;
-    gUsage: string;
-    gClaim: string;
-    gWrite: string;
-    gQuote: string;
-    gSub: string;
-    gDep: string;
-    gWd: string;
-    arbsvc: string;
-    arb1: string;
-    rew: string;
-    repo: string;
-    tres: string;
-    alloc: string;
-    disc: string;
-    o1: string;
-    o2: string;
-    pr1: string;
-    pr2: string;
-    pay1: string;
-    pay2: string;
-    proof1: string;
-    pp: string;
-    dem: string;
-    resource: string;
-}
-export declare const FULL: FullAddrs;
-export declare function rowObject(type: string, data: Record<string, unknown>): {
-    objectId: string;
-    object: RawObject;
-};
-export declare function fullServiceObjects(): RawObject[];
-export declare function fullServiceTables(): Map<string, TableItem[]>;
-export declare function fullServiceKeyedFields(): Map<string, Map<string, unknown>>;
-export declare function fullServiceState(): FakePlaneState;
-export interface GapAddrs {
-    merchant: string;
-    svc: string;
-    perm: string;
-    macMissing: string;
-    bareOrder: string;
-}
-export declare const GAP: GapAddrs;
-export declare function gapServiceState(): FakePlaneState;
-export declare const TRUNC_EXTRA_ORDERS = 250;
-export declare function truncatedServiceState(): FakePlaneState;

package/dist/graph/onchain/fixtures.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/fixtures.spec.js

@@ -1 +0,0 @@
-import{describe,expect,it}from'vitest';import{ENTRYPOINT}from'@wowok/wowok';import{FakeDataPlane}from'./dataplane.js';import{expandTopology}from'./expand.js';import{FULL,GAP,TRUNC_EXTRA_ORDERS,fullServiceState,gapServiceState,truncatedServiceState}from'./fixtures.js';const TABLE_EDGES={'tableEdges':['machine.node','permission.entity','demand.presenter']};describe('fixtures\x20—\x20fully\x20hooked\x20shop',()=>{it('expands\x20service→machine→wfnode→guard(relies)\x20and\x20the\x20arbitration/order/payment\x20subtree',async()=>{const a=new FakeDataPlane(fullServiceState()),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['svc'],'edges':TABLE_EDGES}),c=new Set(b['edges']['map'](f=>f['schema']));for(const f of['service.machine','service.buy_guard','service.arbitration','service.reward','service.repository','service.um','service.order_allocator_guard','machine.permission','machine.consensus_repository','machine.um','machine.node','wf.transition','wf.forward_guard','guard.relies','arbitration.permission','arbitration.voting_guard','arbitration.usage_guard','arb.order','arb.voter','reward.guard','repository.reward','service.order','order.progress','order.allocation','order.dispute','allocation.guard','permission.admin','permission.entity']){expect(c['has'](f),'missing\x20edge\x20'+f)['toBe'](!![]);}const d=b['edges']['filter'](g=>g['schema']==='guard.relies');expect(d['some'](g=>g['from']===FULL['gShip']&&g['to']===FULL['gRel']))['toBe'](!![]),expect(d['some'](g=>g['from']===FULL['gRel']&&g['to']===FULL['gDeep']))['toBe'](![]),expect(b['nodes']['has'](FULL['gDeep']),'second-hop\x20relied\x20guard\x20must\x20not\x20be\x20fetched')['toBe'](![]);const e=b['truncations']['filter'](g=>g['reason']==='schema_hops');expect(e)['toEqual']([{'nodeId':FULL['gRel'],'schema':'guard.relies','observed':0x1,'limit':0x1,'reason':'schema_hops'}]),expect(b['gaps'])['toEqual']([]);});}),describe('fixtures\x20—\x20shell\x20merchant\x20with\x20gaps',()=>{it('distinguishes\x20configured-empty\x20lists\x20from\x20a\x20dangling\x20machine\x20fetch',async()=>{const a=new FakeDataPlane(gapServiceState()),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':GAP['svc']});expect(b['nodes']['get'](GAP['macMissing'])?.['state']??'absent')['not']['toBe']('ok'),expect(b['gaps'])['toContain'](GAP['macMissing']),expect(b['edges']['some'](d=>d['schema']==='service.order'&&d['to']===GAP['bareOrder']))['toBe'](!![]);const c=new Set(b['edges']['map'](d=>d['schema']));for(const d of['service.arbitration','service.reward','service.repository']){expect(c['has'](d))['toBe'](![]);}});}),describe('fixtures\x20—\x20window\x20truncation',()=>{it('caps\x20service\x20order\x20fanout\x20under\x20the\x20default\x20budget\x20and\x20records\x20truncation',async()=>{const a=new FakeDataPlane(truncatedServiceState()),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['svc']}),c=b['edges']['filter'](d=>d['schema']==='service.order');expect(c['length'])['toBeLessThan'](0x2+TRUNC_EXTRA_ORDERS),expect(b['truncations']['some'](d=>d['schema']==='service.order'))['toBe'](!![]),expect(c['every'](d=>d['truncated']))['toBe'](!![]);}),it('caps\x20buyer\x20order\x20fanout\x20(eoa.order=100)\x20when\x20seeded\x20from\x20the\x20EOA',async()=>{const a=new FakeDataPlane(truncatedServiceState()),b=await expandTopology(a,{'network':ENTRYPOINT['Mainnet'],'seed':FULL['buyer2'],'budget':{'maxFanoutPerNode':0xc8}}),c=b['edges']['filter'](d=>d['schema']==='eoa.order');expect(c['length'])['toBe'](0x64),expect(b['truncations']['some'](d=>d['schema']==='eoa.order'))['toBe'](!![]);});});

package/dist/graph/onchain/graph-policy.spec.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/graph/onchain/graph-policy.spec.js

@@ -1 +0,0 @@
-import{mkdtempSync,writeFileSync}from'node:fs';import{tmpdir}from'node:os';import{join}from'node:path';import{afterAll,beforeAll,describe,expect,it}from'vitest';import{beginPolicyRun,endPolicyRun,factoryRulePack,getJudgmentDoc,judgmentStatus}from'../../config/judgment.js';import{evaluateRuleBook}from'../../config/rule-engine.js';import{graphFindingPolicy}from'./policy.js';const CONFIG_DIR=mkdtempSync(join(tmpdir(),'wowok-graph-policy-'));process['env']['WOWOK_CONFIG_DIR']=CONFIG_DIR;const GRAPH_IDS=['R1','R2','R3','R4','R6','R7-treasury','R7-reward','A1','A2','A3','G2','AC1','AC2','AC3','AC4','AC5','AC6','AC7'];beforeAll(()=>{beginPolicyRun();}),afterAll(()=>{endPolicyRun();}),describe('graph\x20finding\x20policy\x20—\x20factory\x20parity',()=>{it('factory\x20pack\x20carries\x20exactly\x20the\x20kernel\x20emission\x20ids',()=>{const a=factoryRulePack('graph');expect(a)['not']['toBeNull'](),expect(a['rules']['map'](b=>b['rule_id'])['sort']())['toEqual']([...GRAPH_IDS]['sort']());}),it('static\x20literals\x20resolve\x20to\x20the\x20kernel\x20severities',()=>{expect(graphFindingPolicy('R1',{'eoa':'0xa'})['severity'])['toBe']('high'),expect(graphFindingPolicy('R4',{'only':'name:ops'})['severity'])['toBe']('medium'),expect(graphFindingPolicy('R6',{})['severity'])['toBe']('medium'),expect(graphFindingPolicy('R7-treasury',{})['severity'])['toBe']('critical'),expect(graphFindingPolicy('A1',{})['severity'])['toBe']('medium'),expect(graphFindingPolicy('A2',{})['severity'])['toBe']('low'),expect(graphFindingPolicy('A3',{})['severity'])['toBe']('medium'),expect(graphFindingPolicy('G2',{})['severity'])['toBe']('low'),expect(graphFindingPolicy('AC1',{})['severity'])['toBe']('high');}),it('dynamic\x20fact:\x20levels\x20resolve\x20through\x20the\x20extractor\x20facts',()=>{expect(graphFindingPolicy('R2',{'r2_level':'high'})['severity'])['toBe']('high'),expect(graphFindingPolicy('R2',{'r2_level':'medium'})['severity'])['toBe']('medium'),expect(graphFindingPolicy('R3',{'r3_level':'medium'})['severity'])['toBe']('medium'),expect(graphFindingPolicy('R3',{'r3_level':'low'})['severity'])['toBe']('low');for(const a of['high','medium','low']){expect(graphFindingPolicy('AC2',{'ac_signal_level':a})['severity'])['toBe'](a),expect(graphFindingPolicy('AC3',{'ac_signal_level':a})['severity'])['toBe'](a),expect(graphFindingPolicy('AC4',{'ac_shell_code':'shell_no_machine','ac_signal_level':a})['severity'])['toBe'](a),expect(graphFindingPolicy('AC5',{'ac_signal_level':a})['severity'])['toBe'](a),expect(graphFindingPolicy('AC6',{'ac_signal_level':a})['severity'])['toBe'](a),expect(graphFindingPolicy('AC7',{'ac_signal_level':a})['severity'])['toBe'](a);}}),it('R7-reward\x20mirrors\x20the\x20viability\x20gate:\x20viable\x20→\x20critical\x20confirmed',()=>{const a=graphFindingPolicy('R7-reward',{'r7_slot_viability':'viable','r7_slot_audit':'#0\x20viable\x20—\x20no\x20binding'});expect(a['severity'])['toBe']('critical'),expect(a['exposure']?.['verdict'])['toBe']('confirmed'),expect(a['exposure']?.['gainPaths'][0x0]?.['gate'])['toContain']('#0\x20viable\x20—\x20no\x20binding'),expect(a['exposure']?.['gainPaths'][0x0]?.['viability'])['toBe']('viable');}),it('R7-reward\x20all-blocked\x20downgrades\x20to\x20info\x20with\x20baseSeverity\x20kept',()=>{const a=graphFindingPolicy('R7-reward',{'r7_slot_viability':'blocked','r7_slot_audit':'#0\x20blocked\x20—\x20Entity\x20recipient'});expect(a['severity'])['toBe']('info'),expect(a['exposure']?.['verdict'])['toBe']('downgraded'),expect(a['exposure']?.['baseSeverity'])['toBe']('critical');}),it('R7-reward\x20undecided\x20keeps\x20critical\x20as\x20pending-disclosure',()=>{const a=graphFindingPolicy('R7-reward',{'r7_slot_viability':'unverifiable','r7_slot_audit':'#0\x20unverifiable\x20—\x20guard\x20not\x20fetched'});expect(a['severity'])['toBe']('critical'),expect(a['exposure']?.['verdict'])['toBe']('pending-disclosure');}),it('AC4\x20selects\x20the\x20attribution\x20case\x20by\x20shell\x20code',()=>{const a=graphFindingPolicy('AC4',{'ac_shell_code':'shell_no_arbitration','ac_signal_level':'high'});expect(a['exposure']?.['lossParties']['map'](d=>d['role']))['toEqual'](['buyer']),expect(a['exposure']?.['gainPaths'][0x0]?.['role'])['toBe']('merchant');const b=graphFindingPolicy('AC4',{'ac_shell_code':'shell_no_machine','ac_signal_level':'low'});expect(b['exposure']?.['verdict'])['toBe']('confirmed');const c=graphFindingPolicy('AC4',{'ac_shell_code':'other','ac_signal_level':'high'});expect(c['enabled'])['toBe'](!![]),expect(c['severity'])['toBeNull']();}),it('an\x20emission\x20id\x20outside\x20the\x20pack\x20leaves\x20the\x20kernel\x20default\x20intact',()=>{expect(graphFindingPolicy('R5',{}))['toEqual']({'enabled':!![],'severity':null});});}),describe('graph\x20finding\x20policy\x20—\x20pack-driven\x20behavior\x20change',()=>{it('a\x20disabled\x20rule\x20id\x20suppresses\x20the\x20emission\x20with\x20a\x20trace',()=>{const {findings:a,disabled_traces:b}=evaluateRuleBook([{'rule_id':'R6','dimension':'structural','cases':[{'when':{'field':'kernel_fired','op':'truthy'},'level':'medium','title':'t','description':'d'}],'enabled':![]}],{'kernel_fired':!![]});expect(a)['toHaveLength'](0x0),expect(b)['toEqual'](['R6']);}),it('a\x20user\x20fact:\x20reference\x20outside\x20the\x20factory\x20vocabulary\x20is\x20rejected',async()=>{const a={'version':0x1,'rules':{'domains':{'graph':{'rules':[{'rule_id':'R1','cases':[{'when':{'field':'kernel_fired','op':'truthy'},'level':'fact:not_a_kernel_fact','title':'t','description':'d'}]}]}}}};writeFileSync(join(CONFIG_DIR,'judgment.json'),JSON['stringify'](a),'utf-8');const b=getJudgmentDoc();expect(factoryRulePack('graph'))['not']['toBeNull']();const c=judgmentStatus();expect(c['user_doc_loaded'])['toBe'](![]),expect(c['last_reload_error'])['toContain']('fact:not_a_kernel_fact'),expect(c['last_reload_error'])['toContain']('R1'),expect(graphFindingPolicy('R1',{'eoa':'0xa'})['severity'])['toBe']('high'),void b;});});

package/dist/graph/onchain/index.d.ts

@@ -1,29 +0,0 @@
-export * from "./types.js";
-export * from "./edge-schema.js";
-export * from "./extract.js";
-export * from "./order-status.js";
-export { MAX_OBJECTS_PER_QUERY, DEFAULT_BUDGET, mergeBudget, chunk50, mapPool, FakeDataPlane } from "./dataplane.js";
-export type { FakePlaneState } from "./dataplane.js";
-export { SdkDataPlane } from "./sdk-dataplane.js";
-export * from "./sdk-batch.js";
-export { expandTopology, orderCompletionInGraph } from "./expand.js";
-export { TOPOLOGY_INTENTS, INTENT_PRESETS, EVALUATION_SERVICE_INTENTS, EVALUATION_SERVICE_BUDGET, EVALUATION_SERVICE_EDGES, resolveExpansionStrategy, withEvaluationBundle, isTopologyIntent, normalizeTopologyFocusPref, normalizeSchemaHops, type TopologyIntent, type IntentPreset, type StrategyFragment, type ExpansionStrategy, type StrategyResolutionInput, type ExplicitExpansionParams, type TopologyFocusPref, } from "./strategy.js";
-export { detectFakeOrders, detectFakeReviews, detectShellMerchant, reputationTradeNote, assessAntiCheat, detectNewAccountBurst, detectVoteReciprocity, detectTargetFlood, summarizeVoterCredibility, VOTER_NEW_ACCOUNT_DAYS, VOTER_BURST_MIN_VOTES, VOTER_FLOOD_MIN_VOTES, VOTER_FLOOD_LOW_CRED_RATIO, } from "./anti-cheat.js";
-export type { AntiCheatSeverity, AntiCheatSignal, OrderEvidence, ReviewEvidence, MerchantEvidence, VoteEdgeEvidence, VoterProfileEvidence, VoterCredibility, } from "./anti-cheat.js";
-export { buildViewport, edgesOut, edgesInc, nodeOf } from "./viewport.js";
-export { buildRoleInterest, toCommercialRole, viewerRoleOf, type RoleInterestResult, } from "./interest.js";
-export { buildControlIndex } from "./analyze.js";
-export { projectExploration } from "./exploration.js";
-export type { ExplorationBlock, ExplorationContext, OpenQuestion, OpenQuestionKind, } from "./exploration.js";
-export { synthesizeVerdicts } from "./synthesis.js";
-export type { RoleVerdict, SynthesisBlock, SynthesisInput, SynthesisPosture, } from "./synthesis.js";
-export { applyExposureGate, gainPath, lossParty, EXPOSURE_ROLES } from "./exposure.js";
-export type { ExposureParty, ExposureVerdict, FindingExposure, GainPath, GainPathViability, } from "./exposure.js";
-export { projectEvaluationFacts } from "./facts.js";
-export { projectFacets } from "./facet-projection.js";
-export type { FacetState, FacetMoney, FacetAmount, FacetSignal, FacetScoreRef, FacetGraphRef, FacetGraph, FacetResult, FacetsBlock, FacetProjectionProfile, FacetWorkflowShape, ProjectFacetsInput, } from "./facet-projection.js";
-export type { FactState, EvaluationDimension, FactProvenance, Fact, CoverageSlot, EntityProfileAttributes, GraphEvaluationFacts, ArbitrationBinding, VoteCounts, OrderWindowStats, WorkflowShape, FundPosition, FundExposure, TransparencyProfile, RiskFindingRefs, } from "./facts.js";
-export { projectRelationshipFacts } from "./project-relationship.js";
-export { DEFAULT_ANALYZERS, registerAnalyzer, getAnalyzer, listAnalyzers, runAnalyzers, adaptNodeAnalyzer, runNodeAnalyzers, pathConfidence, findingWhere, findingWhereResolved, type NodeRuleBinding, type NodeRuleOutcome, } from "./analyze.js";
-export { buildNameIndex, createNameResolver, humanizeStoredName, humanizeTypeTag, isWfNodeId, shortAddress, wfMachineOf, wfNodeName, type NameIndex, type NameResolver, type ResolvedName, } from "./names.js";
-export { buildProposalGraph, PROPOSAL_GAP_ANALYZER, type ProposalGraphOptions } from "./proposal-graph.js";