Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

README.md

Web Machine 정식 검증 트리

현재 설계 경계는 machine 모듈, 공개 계약은 패키지 계약에 둔다.

tests/attempts/webMachine 캠페인의 졸업 게이트를 모두 통과한 뒤 독립 package와 함께 승격한 검증 표면이다. 과거 실측 수치와 실패에서 고친 계약은 이 README와 아래 probe에 함께 둔다.

구조

tests/webMachine/
├─ contracts/          # fake/WASI 공통 adapter 검증용 구현
├─ fixtures/           # 입력·packet fixture와 v86 provenance/SBOM
└─ browser/probes/     # package를 조립하는 유일한 composition root

probe는 src/machine/index.js 배럴만 import한다. machine 내부 deep path와 guest 사이 import는 구조 게이트가 차단한다. v86 constructor와 모든 engine/image binary는 composition root에서 외부 주입하며 package와 git에는 포함하지 않는다.

실행

node tests/webMachine/fixtures/v86/prepareAssets.mjs
node tests/webMachine/fixtures/v86/assetProvenance.mjs --check
node tests/browser/run.mjs tests/webMachine/browser/probes/hostContractProbe.html
node tests/browser/run.mjs tests/webMachine/browser/probes/deviceBackedDualBootProbe.html
node tests/browser/run.mjs tests/webMachine/browser/probes/machineEnvelopeProbe.html

기본 준비 명령은 v86Probe 소비자 집합만 받는다. Python, Linux, Node 공동 제품 gate의 확장 집합은 node tests/webMachine/fixtures/v86/prepareAssets.mjs --consumer nodeGuest로 명시한다. 소비자 이름이 catalog에 없거나 선택되는 자산이 하나도 없으면 실패한다.

assetCatalog.json이 fixture URL, SHA-256, byte length, license 결론, bundle blocker의 SSOT다. 기존 Buildroot와 Kolibri image는 exact source와 build inventory가 없어 계속 local-test-only다.