From 849c05290aced212505c2621f208e89266c3ea96 Mon Sep 17 00:00:00 2001 From: N0zoM1z0 <1705004398@qq.com> Date: Thu, 16 Jul 2026 20:23:52 +0800 Subject: [PATCH] docs: refresh managed native verification api Regenerate the managed-native verification TypeDoc pages with Node 24.18.0 so CI docs:check matches the committed output. Verification: source ~/.nvm/nvm.sh; nvm use 24.18.0; npm run docs:generate; npm run docs:check. --- ...rificationService.verifyManagedNativeBoundariesEvidence.html | 2 +- ...managedNativeVerification.verifyManagedNativeBoundaries.html | 2 +- ...anagedNativeVerification.ManagedNativeVerificationInput.html | 2 +- ...nagedNativeVerification.ManagedNativeVerificationResult.html | 2 +- ...NativeVerification.managedNativeVerificationInputSchema.html | 2 +- ...ativeVerification.managedNativeVerificationResultSchema.html | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/api/functions/application_ManagedNativeVerificationService.verifyManagedNativeBoundariesEvidence.html b/docs/api/functions/application_ManagedNativeVerificationService.verifyManagedNativeBoundariesEvidence.html index 6b7cdc6373..471ea873aa 100644 --- a/docs/api/functions/application_ManagedNativeVerificationService.verifyManagedNativeBoundariesEvidence.html +++ b/docs/api/functions/application_ManagedNativeVerificationService.verifyManagedNativeBoundariesEvidence.html @@ -24,7 +24,7 @@
  • rawInput: unknown

    • Returns Result<
        | {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk";
                    local_path: string;
                    name: string;
                }
                | null;
        }
        | {
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk";
                    local_path: string;
                    name: string;
                }
                | null;
        },
        AnalysisError,
    >

    +
  • Defined in src/application/ManagedNativeVerificationService.ts:22
    • diff --git a/docs/api/functions/domain_managedNativeVerification.verifyManagedNativeBoundaries.html b/docs/api/functions/domain_managedNativeVerification.verifyManagedNativeBoundaries.html index 633836e2d8..fa3b382da3 100644 --- a/docs/api/functions/domain_managedNativeVerification.verifyManagedNativeBoundaries.html +++ b/docs/api/functions/domain_managedNativeVerification.verifyManagedNativeBoundaries.html @@ -24,7 +24,7 @@
  • input: {
        limits: {
            max_candidates_per_import: number;
            max_native_observations: number;
        };
        managed_boundaries: {
            analysis_profile?: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk";
                    local_path: string;
                    name: string;
                }
                | null;
        };
        native_observations: {
            analysis_profile?: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk";
                    local_path: string;
                    name: string;
                }
                | null;
        }[];
        unknown_registry_approved?: true;
    }

    • Returns {
        algorithm: {
            name: "rea-managed-native-verification";
            token_identity: "build-local";
            token_to_address_mapping: "not-inferred";
            version: 1;
        };
        coverage: {
            omitted_candidates: number;
            omitted_native_observations: number;
            status: "truncated"
            | "partial"
            | "complete-within-inputs";
        };
        evidence_links: string[];
        limitations: string[];
        managed_boundary: {
            artifact_path: string;
            artifact_sha256: string;
            coverage_state: "unavailable"
            | "complete"
            | "partial";
            evidence_id: string;
            metadata_status: "complete" | "partial" | "malformed" | "absent";
            mvid: string | null;
            native_implementations_total: number;
            pinvoke_imports_total: number;
        };
        native_implementations: { reason: string; unresolved: number };
        native_observations: {
            accepted: number;
            symbols: number;
            total: number;
            truncated: boolean;
            unsupported: number;
        };
        pinvoke_imports: {
            basis: | "exact-export-name"
            | "exact-function-name"
            | "decorated-name-candidate"
            | "module-mismatch"
            | "no-native-candidate"
            | "unsupported-native-evidence";
            candidates: {
                address: string
                | null;
                evidence_id: string;
                module_name: string | null;
                module_path: string | null;
                name: string;
                operation: string;
                source: "macho-export" | "function-dossier";
            }[];
            confidence: "unknown"
            | "observed"
            | "inferred";
            evidence_links: string[];
            item_id: string;
            limitations: string[];
            managed: {
                call_convention:
                    | "unknown"
                    | "not-specified"
                    | "winapi"
                    | "cdecl"
                    | "stdcall"
                    | "thiscall"
                    | "fastcall";
                char_set: "unknown"
                | "auto"
                | "not-specified"
                | "ansi"
                | "unicode";
                declaration_verification: "managed-declaration-only";
                import_name: string;
                import_scope_name: string | null;
                member_name: string | null;
                member_token: string | null;
                no_mangle: boolean;
                token: string;
            };
            matched_native: | {
                address: string
                | null;
                evidence_id: string;
                module_name: string | null;
                module_path: string | null;
                name: string;
                operation: string;
                source: "macho-export" | "function-dossier";
            }
            | null;
            status: "verified"
            | "contradicted"
            | "inferred"
            | "unresolved";
        }[];
        schema_version: 1;
        summary: {
            contradicted: number;
            inferred: number;
            native_body_unresolved: number;
            unresolved: number;
            verified: number;
        };
        verification_id: string;
    }

    +
  • Defined in src/domain/managedNativeVerification.ts:187
    • diff --git a/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationInput.html b/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationInput.html index fb2a22e328..35bc7dedb6 100644 --- a/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationInput.html +++ b/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationInput.html @@ -13,7 +13,7 @@

    Type Alias ManagedNativeVerificationInput

    ManagedNativeVerificationInput: z.infer<
        typeof managedNativeVerificationInputSchema,
    >
    +
  • Defined in src/domain/managedNativeVerification.ts:163
    • diff --git a/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationResult.html b/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationResult.html index d2f688ecab..9681fc7e9a 100644 --- a/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationResult.html +++ b/docs/api/types/domain_managedNativeVerification.ManagedNativeVerificationResult.html @@ -13,7 +13,7 @@

    Type Alias ManagedNativeVerificationResult

    ManagedNativeVerificationResult: z.infer<
        typeof managedNativeVerificationResultSchema,
    >
    +
  • Defined in src/domain/managedNativeVerification.ts:166
    • diff --git a/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationInputSchema.html b/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationInputSchema.html index 8ba6910591..21d4dda920 100644 --- a/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationInputSchema.html +++ b/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationInputSchema.html @@ -15,7 +15,7 @@

    Authenticated managed boundary Evidence plus native observations.

    +
  • Defined in src/domain/managedNativeVerification.ts:27
    • diff --git a/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationResultSchema.html b/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationResultSchema.html index 69b3e975bb..ac7fae8b72 100644 --- a/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationResultSchema.html +++ b/docs/api/variables/domain_managedNativeVerification.managedNativeVerificationResultSchema.html @@ -15,7 +15,7 @@

    Provider-neutral managed/native verification result.

    +
  • Defined in src/domain/managedNativeVerification.ts:116