| |
| |
| |
| |
| |
| |
| |
| |
|
|
| |
|
|
| export interface BridgePacket { |
| target: string |
| guestId: number |
| vCpuId: number |
| mailboxBase: string |
| payloadDigest: string |
| snapshotDigest: string |
| prevTraceHash: string |
| packetDigest: string |
| cyclesExecuted: number |
| timestamp: string |
| } |
|
|
| export interface TranslationResult { |
| arm64Source: string |
| buildScript: string |
| sourceArchitecture: string |
| targetArchitecture: string |
| warnings: string[] |
| truth: string[] |
| } |
|
|
| export interface PlatformStatus { |
| connected: boolean |
| mode: 'LIVE EL2 TARGET' | 'COMPATIBILITY BACKEND' |
| architecture: string |
| wormStatus: string |
| guestCount: number |
| } |
|
|
| export interface TimingContract { |
| gemmTileCycles: 9 |
| fullGemmCycles: 768 |
| tensorLoadCycles: 5 |
| tensorStoreCycles: 5 |
| clockFrequencyMhz: 500 |
| formalProof: 'TLA+ + Lean 4' |
| } |
|
|
| export interface VerifiedClaim { |
| accepted: true |
| entropyNats: number |
| wormReceipt: string |
| } |
|
|
| export interface Rejected { |
| accepted: false |
| reason: 'entropy_exceeded' | 'type_violation' | 'kernel_rejected' |
| } |
|
|
| |
|
|
| class LicenseRequiredError extends Error { |
| constructor() { |
| super( |
| '[sovereign-hypervisor-sdk] LICENSE REQUIRED\n' + |
| 'Software rendering is not permitted without a paid license.\n' + |
| 'Contact: licensing@snapkittywest.dev\n' + |
| 'Patent pending: ORTHO-32-T deterministic matrix architecture' |
| ) |
| this.name = 'LicenseRequiredError' |
| } |
| } |
|
|
| |
|
|
| export const HypervisorBridge = { |
| mailboxWrite: async (_payload: string, _guestId: number, _cycleBudget: number): Promise<BridgePacket> => { |
| throw new LicenseRequiredError() |
| }, |
| translateNasm: async (_source: string): Promise<TranslationResult> => { |
| throw new LicenseRequiredError() |
| }, |
| status: async (): Promise<PlatformStatus> => { |
| throw new LicenseRequiredError() |
| }, |
| } |
|
|
| export const ORTHO32T = { |
| gemmTile: async (_a: Int8Array, _b: Int8Array): Promise<Int32Array> => { |
| throw new LicenseRequiredError() |
| }, |
| timingContract: (): TimingContract => ({ |
| gemmTileCycles: 9, |
| fullGemmCycles: 768, |
| tensorLoadCycles: 5, |
| tensorStoreCycles: 5, |
| clockFrequencyMhz: 500, |
| formalProof: 'TLA+ + Lean 4', |
| }), |
| } |
|
|
| export const AGIKernel = { |
| verifyClaim: async (_claim: unknown): Promise<VerifiedClaim | Rejected> => { |
| throw new LicenseRequiredError() |
| }, |
| } |
|
|
