@veraanchor/verifier 0.0.0-stage → 0.1.0

package/dist/profiles/execution/contractV1.d.ts

@@ -0,0 +1,279 @@
+type HederaNetwork = "testnet" | "mainnet";
+import { type ExecutionVerificationReasonCode } from "./reasonCodesV1.js";
+export declare const EXECUTION_VERIFICATION_SCHEMA_VERSION = "vera.execution-verification.v1";
+export declare const EXECUTION_VERIFIER_VERSION = "1.0.0";
+export declare const SUPPORTED_PUBLIC_STANDARDS_CONTRACT_VERSIONS: readonly string[];
+export declare const EXECUTION_VERIFICATION_STATUSES: readonly ["consistent", "incomplete", "failed"];
+export declare const EXECUTION_VERIFICATION_CHECK_STATUSES: readonly ["pass", "fail", "unavailable", "not_applicable"];
+export declare const EXECUTION_VERIFICATION_REQUIREMENTS: readonly ["required", "optional", "conditional"];
+export type ExecutionVerificationStatus = (typeof EXECUTION_VERIFICATION_STATUSES)[number];
+export type ExecutionVerificationCheckStatus = (typeof EXECUTION_VERIFICATION_CHECK_STATUSES)[number];
+export type ExecutionVerificationRequirement = (typeof EXECUTION_VERIFICATION_REQUIREMENTS)[number];
+export type PublicStandardsSourceDocument = {
+    standard?: string | null;
+    version?: string | null;
+    path?: string | null;
+    sha256?: string | null;
+};
+export type PublicStandardsBaselineEvidence = {
+    baseline_id?: string | null;
+    title?: string | null;
+    source_repository?: string | null;
+    source_commit?: string | null;
+    frozen_at?: string | Date | null;
+    source_documents?: PublicStandardsSourceDocument[] | null;
+};
+export type PublicHcs11Evidence = {
+    profile_version?: string | null;
+    account_id?: string | null;
+    profile_registry_topic_id?: string | null;
+    profile_registry_sequence?: number | null;
+    profile_hcs1_ref?: string | null;
+    profile_checksum_sha256?: string | null;
+};
+export type PublicAgentEvidence = {
+    logical_id?: string | null;
+    display_name?: string | null;
+    base_did?: string | null;
+    hcs14_uaid?: string | null;
+    hcs11?: PublicHcs11Evidence | null;
+};
+export type PublicCapabilityEvidence = {
+    standard?: string | null;
+    capability_version_id?: string | null;
+    display_name?: string | null;
+    discovery_registry_topic_id?: string | null;
+    skill_uid?: string | null;
+    skill_version?: string | null;
+    version_registry_topic_id?: string | null;
+    version_sequence_number?: number | null;
+    manifest_hcs1_ref?: string | null;
+    manifest_checksum_sha256?: string | null;
+    repository_uri?: string | null;
+    repository_commit?: string | null;
+    published_at?: string | Date | null;
+};
+export type PublicSchemaEvidence = {
+    role?: string | null;
+    ordinal?: number | null;
+    schema_uid?: string | null;
+    display_name?: string | null;
+    semantic_version?: string | null;
+    registry_topic_id?: string | null;
+    registry_sequence_number?: number | null;
+    hcs13_ref?: string | null;
+    schema_checksum_sha256?: string | null;
+    instance_digest_sha3_512?: string | null;
+};
+export type PublicExecutionDatasetEvidence = {
+    dataset_key?: string | null;
+    dataset_version?: number | null;
+    dataset_fingerprint_sha3_512?: string | null;
+    dataset_manifest_sha3_512?: string | null;
+};
+export type PublicExecutionEvidence = {
+    job_id?: string | null;
+    result_id?: string | null;
+    proof_date?: string | null;
+    program?: string | null;
+    status?: string | null;
+    hedera_network?: HederaNetwork | string | null;
+    pipeline_hash?: string | null;
+    dataset?: PublicExecutionDatasetEvidence | null;
+};
+export type PublicParameterInstanceVerificationMaterial = {
+    role?: string | null;
+    hcs13_ref?: string | null;
+    domain_separator?: string | null;
+    payload?: unknown;
+};
+export type PublicExecutionStartVerificationMaterial = {
+    started_at?: string | Date | null;
+    hcs_transaction_id?: string | null;
+    hcs_topic_id?: string | null;
+    consensus_timestamp_exact?: string | null;
+};
+export type PublicStandardsResolutionState = "verified" | "failed" | "unavailable";
+export type PublicStandardsResolutionItem = Readonly<{
+    key?: string | null;
+    standard?: string | null;
+    reference?: string | null;
+    state?: PublicStandardsResolutionState | null;
+    reason?: string | null;
+}>;
+export type PublicStandardsResolutionMaterial = Readonly<{
+    schema_version?: string | null;
+    hedera_network?: HederaNetwork | string | null;
+    state?: PublicStandardsResolutionState | null;
+    items?: readonly PublicStandardsResolutionItem[] | null;
+}>;
+export type PublicExecutionVerificationMaterial = {
+    parameter_instance?: PublicParameterInstanceVerificationMaterial | null;
+    execution_start?: PublicExecutionStartVerificationMaterial | null;
+    standards_resolution?: PublicStandardsResolutionMaterial | null;
+};
+export type PublicSoftwareReleaseEvidence = {
+    repository_uri?: string | null;
+    git_commit?: string | null;
+    pipeline_hash_sha3_512?: string | null;
+};
+export type PublicContractMetadataRecord = {
+    schema?: string | null;
+    digest?: string | null;
+    digest_payload?: Record<string, unknown> | null;
+    canonicalization?: string | null;
+    digest_algorithm?: string | null;
+    domain_separator?: string | null;
+};
+export type PublicBindingEvidence = PublicContractMetadataRecord & {
+    id?: string | null;
+    finalized_at?: string | Date | null;
+};
+export type PublicAcceptanceHcsEvidence = {
+    topic_id?: string | null;
+    transaction_id?: string | null;
+    message_id?: string | null;
+    sequence_number?: number | null;
+    consensus_timestamp?: string | Date | null;
+    consensus_timestamp_exact?: string | null;
+    data_hash_sha3_512?: string | null;
+};
+export type PublicAcceptanceEvidence = PublicContractMetadataRecord & {
+    id?: string | null;
+    state?: string | null;
+    admission_policy_id?: string | null;
+    requires_hcs_confirmation?: boolean | null;
+    binding_digest?: string | null;
+    accepted_at?: string | Date | null;
+    confirmed_at?: string | Date | null;
+    failure_code?: string | null;
+    hcs?: PublicAcceptanceHcsEvidence | null;
+};
+export type PublicResultEvidenceHcsEvidence = {
+    transaction_id?: string | null;
+    topic_id?: string | null;
+};
+export type PublicResultEvidence = PublicContractMetadataRecord & {
+    id?: string | null;
+    result_id?: string | null;
+    binding_digest?: string | null;
+    acceptance_digest?: string | null;
+    pipeline_hash?: string | null;
+    result_hash?: string | null;
+    service_hash?: string | null;
+    global_hash?: string | null;
+    artifact_count?: number | null;
+    sealed_at?: string | Date | null;
+    hcs?: PublicResultEvidenceHcsEvidence | null;
+};
+export type PublicExecutionStandardsEvidence = {
+    available?: boolean;
+    contract_version?: string | null;
+    reason?: string | null;
+    execution?: PublicExecutionEvidence | null;
+    standards?: {
+        baseline?: PublicStandardsBaselineEvidence | null;
+        schemas?: PublicSchemaEvidence[] | null;
+        reference_complete?: boolean | null;
+        publicly_resolvable?: boolean | null;
+    } | null;
+    agents?: {
+        requester?: PublicAgentEvidence | null;
+        executor?: PublicAgentEvidence | null;
+    } | null;
+    capability?: PublicCapabilityEvidence | null;
+    software_release?: PublicSoftwareReleaseEvidence | null;
+    binding?: PublicBindingEvidence | null;
+    acceptance?: PublicAcceptanceEvidence | null;
+    result_evidence?: PublicResultEvidence | null;
+};
+export type ExecutionVerificationSubject = Readonly<{
+    hedera_network: HederaNetwork | null;
+    program: string | null;
+    job_id: string | null;
+    result_id: string | null;
+}>;
+export type ExecutionVerificationCheck = Readonly<{
+    id: string;
+    group: string;
+    label: string;
+    requirement: ExecutionVerificationRequirement;
+    status: ExecutionVerificationCheckStatus;
+    reason_code: ExecutionVerificationReasonCode;
+    evidence_refs: readonly string[];
+}>;
+export type ExecutionVerificationSummary = Readonly<{
+    total: number;
+    outcome_relevant: number;
+    passed: number;
+    failed: number;
+    unavailable: number;
+    not_applicable: number;
+}>;
+export type ExecutionVerificationReport = Readonly<{
+    schema_version: typeof EXECUTION_VERIFICATION_SCHEMA_VERSION;
+    verifier_version: typeof EXECUTION_VERIFIER_VERSION;
+    subject: ExecutionVerificationSubject;
+    status: ExecutionVerificationStatus;
+    summary: ExecutionVerificationSummary;
+    checks: readonly ExecutionVerificationCheck[];
+}>;
+export type ExecutionVerificationRuleResult = Readonly<{
+    status: ExecutionVerificationCheckStatus;
+    reasonCode: ExecutionVerificationReasonCode;
+}>;
+export type ExecutionVerificationContext = Readonly<{
+    evidence: PublicExecutionStandardsEvidence;
+    verificationMaterial: PublicExecutionVerificationMaterial | null;
+    expectedNetwork: HederaNetwork | "";
+    requestedResultId: string;
+    supportedContractVersions: readonly string[];
+}>;
+export type ExecutionVerificationRule = Readonly<{
+    id: string;
+    group: string;
+    label: string;
+    requirement: ExecutionVerificationRequirement;
+    evidenceRefs: readonly string[];
+    evaluate: (context: ExecutionVerificationContext) => ExecutionVerificationRuleResult;
+}>;
+export declare function cleanString(value: unknown): string;
+export declare function normalizeIdentifier(value: unknown): string;
+export declare function sameIdentifier(left: unknown, right: unknown): boolean;
+export declare function isUuid(value: unknown): value is string;
+export declare function isSha3_512(value: unknown): value is string;
+export declare function isSha256(value: unknown): value is string;
+export declare function isGitCommit(value: unknown): value is string;
+export declare function isHederaId(value: unknown): value is string;
+export declare function isHcsTransactionId(value: unknown): value is string;
+export declare function isHcs1Ref(value: unknown): value is string;
+export declare function isHcs13Ref(value: unknown): value is string;
+export declare function isSupportedHederaNetwork(value: unknown): value is HederaNetwork;
+export declare function isValidDate(value: unknown): value is string;
+export declare function hasTimestamp(value: unknown): boolean;
+export declare function isPositiveSafeInteger(value: unknown): value is number;
+export declare function isPlainObject(value: unknown): value is Record<string, unknown>;
+export type ExecutionVerificationInputBoundsResult = Readonly<{
+    ok: boolean;
+    reasonCode: ExecutionVerificationReasonCode;
+}>;
+export declare function validateExecutionVerificationInputBounds(value: unknown): ExecutionVerificationInputBoundsResult;
+export declare function makeVerificationCheck({ id, group, label, requirement, status, reasonCode, evidenceRefs, }: {
+    id: string;
+    group: string;
+    label: string;
+    requirement: ExecutionVerificationRequirement;
+    status: ExecutionVerificationCheckStatus;
+    reasonCode: ExecutionVerificationReasonCode;
+    evidenceRefs?: readonly string[];
+}): ExecutionVerificationCheck;
+export declare function pass(reasonCode?: ExecutionVerificationReasonCode): ExecutionVerificationRuleResult;
+export declare function fail(reasonCode: ExecutionVerificationReasonCode): ExecutionVerificationRuleResult;
+export declare function unavailable(reasonCode?: ExecutionVerificationReasonCode): ExecutionVerificationRuleResult;
+export declare function notApplicable(reasonCode?: ExecutionVerificationReasonCode): ExecutionVerificationRuleResult;
+export declare function outcomeStatus(checks: readonly ExecutionVerificationCheck[]): ExecutionVerificationStatus;
+export declare function verificationSummary(checks: readonly ExecutionVerificationCheck[]): ExecutionVerificationSummary;
+export declare function freezeVerificationReport(report: ExecutionVerificationReport): ExecutionVerificationReport;
+export declare function canonicalizeExecutionVerificationReport(report: ExecutionVerificationReport): string;
+export {};
+//# sourceMappingURL=contractV1.d.ts.map

package/dist/profiles/execution/contractV1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractV1.d.ts","sourceRoot":"","sources":["../../../src/profiles/execution/contractV1.ts"],"names":[],"mappings":"AAIA,KAAK,aAAa,GAAG,SAAS,GAAG,SAAS,CAAC;AAC3C,OAAO,EAEL,KAAK,+BAA+B,EACrC,MAAM,oBAAoB,CAAC;AAE5B,eAAO,MAAM,qCAAqC,mCAChB,CAAC;AAEnC,eAAO,MAAM,0BAA0B,UAAU,CAAC;AAElD,eAAO,MAAM,4CAA4C,EAAE,SAAS,MAAM,EAChD,CAAC;AAE3B,eAAO,MAAM,+BAA+B,iDAIjC,CAAC;AAEZ,eAAO,MAAM,qCAAqC,4DAKvC,CAAC;AAEZ,eAAO,MAAM,mCAAmC,kDAIrC,CAAC;AAEZ,MAAM,MAAM,2BAA2B,GACrC,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,MAAM,MAAM,gCAAgC,GAC1C,CAAC,OAAO,qCAAqC,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD,MAAM,MAAM,gCAAgC,GAC1C,CAAC,OAAO,mCAAmC,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG;IAC5C,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IACjC,gBAAgB,CAAC,EAAE,6BAA6B,EAAE,GAAG,IAAI,CAAC;CAC3D,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,yBAAyB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,yBAAyB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,uBAAuB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,KAAK,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,qBAAqB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,2BAA2B,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,yBAAyB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,uBAAuB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,wBAAwB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,wBAAwB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,sBAAsB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,wBAAwB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,4BAA4B,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,yBAAyB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,cAAc,CAAC,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI,CAAC;IAC/C,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,OAAO,CAAC,EAAE,8BAA8B,GAAG,IAAI,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,2CAA2C,GAAG;IACxD,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,wCAAwC,GAAG;IACrD,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IAClC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,yBAAyB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG,UAAU,GAAG,QAAQ,GAAG,aAAa,CAAC;AAEnF,MAAM,MAAM,6BAA6B,GAAG,QAAQ,CAAC;IACnD,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,CAAC,EAAE,8BAA8B,GAAG,IAAI,CAAC;IAC9C,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB,CAAC,CAAC;AAEH,MAAM,MAAM,iCAAiC,GAAG,QAAQ,CAAC;IACvD,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,cAAc,CAAC,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI,CAAC;IAC/C,KAAK,CAAC,EAAE,8BAA8B,GAAG,IAAI,CAAC;IAC9C,KAAK,CAAC,EAAE,SAAS,6BAA6B,EAAE,GAAG,IAAI,CAAC;CACzD,CAAC,CAAC;AAEH,MAAM,MAAM,mCAAmC,GAAG;IAChD,kBAAkB,CAAC,EAAE,2CAA2C,GAAG,IAAI,CAAC;IACxE,eAAe,CAAC,EAAE,wCAAwC,GAAG,IAAI,CAAC;IAClE,oBAAoB,CAAC,EAAE,iCAAiC,GAAG,IAAI,CAAC;CACjE,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG;IAC1C,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,sBAAsB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAChD,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG,4BAA4B,GAAG;IACjE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IAC3C,yBAAyB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG,4BAA4B,GAAG;IACpE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,yBAAyB,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IAC3C,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IACnC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IACpC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,GAAG,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG;IAC5C,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,4BAA4B,GAAG;IAChE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IACjC,GAAG,CAAC,EAAE,+BAA+B,GAAG,IAAI,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,gCAAgC,GAAG;IAC7C,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;IAC3C,SAAS,CAAC,EAAE;QACV,QAAQ,CAAC,EAAE,+BAA+B,GAAG,IAAI,CAAC;QAClD,OAAO,CAAC,EAAE,oBAAoB,EAAE,GAAG,IAAI,CAAC;QACxC,kBAAkB,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;QACpC,mBAAmB,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;KACtC,GAAG,IAAI,CAAC;IACT,MAAM,CAAC,EAAE;QACP,SAAS,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;QACvC,QAAQ,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;KACvC,GAAG,IAAI,CAAC;IACT,UAAU,CAAC,EAAE,wBAAwB,GAAG,IAAI,CAAC;IAC7C,gBAAgB,CAAC,EAAE,6BAA6B,GAAG,IAAI,CAAC;IACxD,OAAO,CAAC,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACvC,UAAU,CAAC,EAAE,wBAAwB,GAAG,IAAI,CAAC;IAC7C,eAAe,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;CAC/C,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,cAAc,EAAE,aAAa,GAAG,IAAI,CAAC;IACrC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,MAAM,0BAA0B,GAAG,QAAQ,CAAC;IAChD,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,gCAAgC,CAAC;IAC9C,MAAM,EAAE,gCAAgC,CAAC;IACzC,WAAW,EAAE,+BAA+B,CAAC;IAC7C,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC,CAAC;AAEH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,KAAK,EAAE,MAAM,CAAC;IACd,gBAAgB,EAAE,MAAM,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;CACxB,CAAC,CAAC;AAEH,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IACjD,cAAc,EAAE,OAAO,qCAAqC,CAAC;IAC7D,gBAAgB,EAAE,OAAO,0BAA0B,CAAC;IACpD,OAAO,EAAE,4BAA4B,CAAC;IACtC,MAAM,EAAE,2BAA2B,CAAC;IACpC,OAAO,EAAE,4BAA4B,CAAC;IACtC,MAAM,EAAE,SAAS,0BAA0B,EAAE,CAAC;CAC/C,CAAC,CAAC;AAEH,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACrD,MAAM,EAAE,gCAAgC,CAAC;IACzC,UAAU,EAAE,+BAA+B,CAAC;CAC7C,CAAC,CAAC;AAEH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,QAAQ,EAAE,gCAAgC,CAAC;IAC3C,oBAAoB,EAAE,mCAAmC,GAAG,IAAI,CAAC;IACjE,eAAe,EAAE,aAAa,GAAG,EAAE,CAAC;IACpC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC,CAAC;AAEH,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,gCAAgC,CAAC;IAC9C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,CAAC,OAAO,EAAE,4BAA4B,KAAK,+BAA+B,CAAC;CACtF,CAAC,CAAC;AA6BH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAIlD;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAE1D;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAIrE;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEtD;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAE1D;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAExD;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAE3D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAE1D;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAElE;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEzD;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAE1D;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,aAAa,CAGxB;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAa3D;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAGpD;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAErE;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAMlC;AAED,MAAM,MAAM,sCAAsC,GAAG,QAAQ,CAAC;IAC5D,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,+BAA+B,CAAC;CAC7C,CAAC,CAAC;AAEH,wBAAgB,wCAAwC,CACtD,KAAK,EAAE,OAAO,GACb,sCAAsC,CAkHxC;AAaD,wBAAgB,qBAAqB,CAAC,EACpC,EAAE,EACF,KAAK,EACL,KAAK,EACL,WAAW,EACX,MAAM,EACN,UAAU,EACV,YAAiB,GAClB,EAAE;IACD,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,gCAAgC,CAAC;IAC9C,MAAM,EAAE,gCAAgC,CAAC;IACzC,UAAU,EAAE,+BAA+B,CAAC;IAC5C,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,GAAG,0BAA0B,CAsB7B;AAED,wBAAgB,IAAI,CAClB,UAAU,GAAE,+BAAsD,GACjE,+BAA+B,CAEjC;AAED,wBAAgB,IAAI,CAClB,UAAU,EAAE,+BAA+B,GAC1C,+BAA+B,CAEjC;AAED,wBAAgB,WAAW,CACzB,UAAU,GAAE,+BAAmE,GAC9E,+BAA+B,CAEjC;AAED,wBAAgB,aAAa,CAC3B,UAAU,GAAE,+BAAwD,GACnE,+BAA+B,CAEjC;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,0BAA0B,EAAE,GAC5C,2BAA2B,CAc7B;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,SAAS,0BAA0B,EAAE,GAC5C,4BAA4B,CA0B9B;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,2BAA2B,GAClC,2BAA2B,CAE7B;AA2DD,wBAAgB,uCAAuC,CACrD,MAAM,EAAE,2BAA2B,GAClC,MAAM,CAER"}

package/dist/profiles/execution/contractV1.js

@@ -0,0 +1,364 @@
+// SDK-local execution evidence and verification rule contracts (v1).
+// Pure structural types and bounded validators; no Explorer, Core, or network I/O.
+// Derived from the October 2026 Explorer execution verification baseline.
+import { EXECUTION_VERIFICATION_REASON_CODES as REASONS, } from "./reasonCodesV1.js";
+export const EXECUTION_VERIFICATION_SCHEMA_VERSION = "vera.execution-verification.v1";
+export const EXECUTION_VERIFIER_VERSION = "1.0.0";
+export const SUPPORTED_PUBLIC_STANDARDS_CONTRACT_VERSIONS = Object.freeze(["1.0.0"]);
+export const EXECUTION_VERIFICATION_STATUSES = Object.freeze([
+    "consistent",
+    "incomplete",
+    "failed",
+]);
+export const EXECUTION_VERIFICATION_CHECK_STATUSES = Object.freeze([
+    "pass",
+    "fail",
+    "unavailable",
+    "not_applicable",
+]);
+export const EXECUTION_VERIFICATION_REQUIREMENTS = Object.freeze([
+    "required",
+    "optional",
+    "conditional",
+]);
+const UUID_RE = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
+const SHA3_512_RE = /^[0-9a-f]{128}$/;
+const SHA256_RE = /^[0-9a-f]{64}$/;
+const GIT_COMMIT_RE = /^[0-9a-f]{40}$/;
+const HEDERA_ID_RE = /^0\.0\.[0-9]+$/;
+const HCS_TX_ID_RE = /^0\.0\.[0-9]+@[0-9]+\.[0-9]+$/;
+const HCS1_REF_RE = /^hcs:\/\/1\/0\.0\.[0-9]+(?:\/.*)?$/;
+const HCS13_REF_RE = /^hcs:\/\/13\/0\.0\.[0-9]+#[1-9][0-9]*$/;
+const DATE_RE = /^(\d{4})-(\d{2})-(\d{2})$/;
+const INPUT_LIMITS = Object.freeze({
+    maxDepth: 20,
+    maxObjectKeys: 4096,
+    maxArrayLength: 256,
+    maxStringLength: 8192,
+    maxVisitedValues: 20000,
+});
+export function cleanString(value) {
+    if (typeof value !== "string")
+        return "";
+    const out = value.trim();
+    return out.length ? out : "";
+}
+export function normalizeIdentifier(value) {
+    return cleanString(value).toLowerCase();
+}
+export function sameIdentifier(left, right) {
+    const a = normalizeIdentifier(left);
+    const b = normalizeIdentifier(right);
+    return Boolean(a && b && a === b);
+}
+export function isUuid(value) {
+    return UUID_RE.test(cleanString(value));
+}
+export function isSha3_512(value) {
+    return SHA3_512_RE.test(cleanString(value));
+}
+export function isSha256(value) {
+    return SHA256_RE.test(cleanString(value));
+}
+export function isGitCommit(value) {
+    return GIT_COMMIT_RE.test(cleanString(value));
+}
+export function isHederaId(value) {
+    return HEDERA_ID_RE.test(cleanString(value));
+}
+export function isHcsTransactionId(value) {
+    return HCS_TX_ID_RE.test(cleanString(value));
+}
+export function isHcs1Ref(value) {
+    return HCS1_REF_RE.test(cleanString(value));
+}
+export function isHcs13Ref(value) {
+    return HCS13_REF_RE.test(cleanString(value));
+}
+export function isSupportedHederaNetwork(value) {
+    const network = normalizeIdentifier(value);
+    return network === "testnet" || network === "mainnet";
+}
+export function isValidDate(value) {
+    const text = cleanString(value);
+    const match = DATE_RE.exec(text);
+    if (!match)
+        return false;
+    const year = Number(match[1]);
+    const month = Number(match[2]);
+    const day = Number(match[3]);
+    const date = new Date(Date.UTC(year, month - 1, day));
+    return (date.getUTCFullYear() === year &&
+        date.getUTCMonth() === month - 1 &&
+        date.getUTCDate() === day);
+}
+export function hasTimestamp(value) {
+    if (value instanceof Date)
+        return Number.isFinite(value.getTime());
+    return Boolean(cleanString(value));
+}
+export function isPositiveSafeInteger(value) {
+    return Number.isSafeInteger(value) && Number(value) > 0;
+}
+export function isPlainObject(value) {
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
+        return false;
+    }
+    const proto = Object.getPrototypeOf(value);
+    return proto === Object.prototype || proto === null;
+}
+export function validateExecutionVerificationInputBounds(value) {
+    if (!isPlainObject(value)) {
+        return Object.freeze({
+            ok: false,
+            reasonCode: REASONS.INPUT_STRUCTURE_INVALID,
+        });
+    }
+    const stack = [
+        { value, depth: 0 },
+    ];
+    const seen = new Set();
+    let visited = 0;
+    let objectKeys = 0;
+    while (stack.length) {
+        const current = stack.pop();
+        if (!current)
+            break;
+        const item = current.value;
+        visited += 1;
+        if (visited > INPUT_LIMITS.maxVisitedValues) {
+            return Object.freeze({
+                ok: false,
+                reasonCode: REASONS.INPUT_LIMIT_EXCEEDED,
+            });
+        }
+        if (item === null ||
+            typeof item === "boolean" ||
+            typeof item === "number") {
+            if (typeof item === "number" && !Number.isFinite(item)) {
+                return Object.freeze({
+                    ok: false,
+                    reasonCode: REASONS.INPUT_STRUCTURE_INVALID,
+                });
+            }
+            continue;
+        }
+        if (typeof item === "string") {
+            if (item.length > INPUT_LIMITS.maxStringLength) {
+                return Object.freeze({
+                    ok: false,
+                    reasonCode: REASONS.INPUT_LIMIT_EXCEEDED,
+                });
+            }
+            continue;
+        }
+        if (item instanceof Date) {
+            if (!Number.isFinite(item.getTime())) {
+                return Object.freeze({
+                    ok: false,
+                    reasonCode: REASONS.INPUT_STRUCTURE_INVALID,
+                });
+            }
+            continue;
+        }
+        if (typeof item !== "object") {
+            return Object.freeze({
+                ok: false,
+                reasonCode: REASONS.INPUT_STRUCTURE_INVALID,
+            });
+        }
+        if (current.depth >= INPUT_LIMITS.maxDepth) {
+            return Object.freeze({
+                ok: false,
+                reasonCode: REASONS.INPUT_LIMIT_EXCEEDED,
+            });
+        }
+        if (seen.has(item)) {
+            return Object.freeze({
+                ok: false,
+                reasonCode: REASONS.INPUT_STRUCTURE_INVALID,
+            });
+        }
+        seen.add(item);
+        if (Array.isArray(item)) {
+            if (item.length > INPUT_LIMITS.maxArrayLength) {
+                return Object.freeze({
+                    ok: false,
+                    reasonCode: REASONS.INPUT_LIMIT_EXCEEDED,
+                });
+            }
+            for (let i = item.length - 1; i >= 0; i -= 1) {
+                stack.push({ value: item[i], depth: current.depth + 1 });
+            }
+            continue;
+        }
+        if (!isPlainObject(item)) {
+            return Object.freeze({
+                ok: false,
+                reasonCode: REASONS.INPUT_STRUCTURE_INVALID,
+            });
+        }
+        const keys = Object.keys(item);
+        objectKeys += keys.length;
+        if (objectKeys > INPUT_LIMITS.maxObjectKeys) {
+            return Object.freeze({
+                ok: false,
+                reasonCode: REASONS.INPUT_LIMIT_EXCEEDED,
+            });
+        }
+        for (const key of keys) {
+            if (key.length > 256) {
+                return Object.freeze({
+                    ok: false,
+                    reasonCode: REASONS.INPUT_LIMIT_EXCEEDED,
+                });
+            }
+            stack.push({ value: item[key], depth: current.depth + 1 });
+        }
+    }
+    return Object.freeze({
+        ok: true,
+        reasonCode: REASONS.CHECK_PASSED,
+    });
+}
+function deepFreeze(value) {
+    if (!value || typeof value !== "object" || Object.isFrozen(value)) {
+        return value;
+    }
+    Object.freeze(value);
+    for (const child of Object.values(value)) {
+        deepFreeze(child);
+    }
+    return value;
+}
+export function makeVerificationCheck({ id, group, label, requirement, status, reasonCode, evidenceRefs = [], }) {
+    if (!cleanString(id) || !cleanString(group) || !cleanString(label)) {
+        throw new TypeError("Verification checks require id, group, and label.");
+    }
+    if (!EXECUTION_VERIFICATION_REQUIREMENTS.includes(requirement)) {
+        throw new TypeError(`Unsupported verification requirement: ${requirement}.`);
+    }
+    if (!EXECUTION_VERIFICATION_CHECK_STATUSES.includes(status)) {
+        throw new TypeError(`Unsupported verification check status: ${status}.`);
+    }
+    if (!cleanString(reasonCode)) {
+        throw new TypeError("Verification checks require a reason code.");
+    }
+    return deepFreeze({
+        id: cleanString(id),
+        group: cleanString(group),
+        label: cleanString(label),
+        requirement,
+        status,
+        reason_code: reasonCode,
+        evidence_refs: [...new Set(evidenceRefs.map(cleanString).filter(Boolean))].sort(),
+    });
+}
+export function pass(reasonCode = REASONS.CHECK_PASSED) {
+    return Object.freeze({ status: "pass", reasonCode });
+}
+export function fail(reasonCode) {
+    return Object.freeze({ status: "fail", reasonCode });
+}
+export function unavailable(reasonCode = REASONS.REQUIRED_EVIDENCE_MISSING) {
+    return Object.freeze({ status: "unavailable", reasonCode });
+}
+export function notApplicable(reasonCode = REASONS.NOT_APPLICABLE) {
+    return Object.freeze({ status: "not_applicable", reasonCode });
+}
+export function outcomeStatus(checks) {
+    const applicable = checks.filter((check) => check.requirement === "required" ||
+        (check.requirement === "conditional" &&
+            check.status !== "not_applicable"));
+    if (applicable.some((check) => check.status === "fail")) {
+        return "failed";
+    }
+    if (applicable.some((check) => check.status === "unavailable")) {
+        return "incomplete";
+    }
+    return "consistent";
+}
+export function verificationSummary(checks) {
+    const counts = {
+        pass: 0,
+        fail: 0,
+        unavailable: 0,
+        not_applicable: 0,
+    };
+    let outcomeRelevant = 0;
+    for (const check of checks) {
+        counts[check.status] += 1;
+        if (check.requirement === "required" ||
+            (check.requirement === "conditional" &&
+                check.status !== "not_applicable")) {
+            outcomeRelevant += 1;
+        }
+    }
+    return Object.freeze({
+        total: checks.length,
+        outcome_relevant: outcomeRelevant,
+        passed: counts.pass,
+        failed: counts.fail,
+        unavailable: counts.unavailable,
+        not_applicable: counts.not_applicable,
+    });
+}
+export function freezeVerificationReport(report) {
+    return deepFreeze(report);
+}
+function assertNoUnpairedSurrogates(value, path) {
+    for (let i = 0; i < value.length; i += 1) {
+        const code = value.charCodeAt(i);
+        if (code >= 0xd800 && code <= 0xdbff) {
+            const next = value.charCodeAt(i + 1);
+            if (!(next >= 0xdc00 && next <= 0xdfff)) {
+                throw new TypeError(`Unpaired UTF-16 surrogate at ${path}.`);
+            }
+            i += 1;
+        }
+        else if (code >= 0xdc00 && code <= 0xdfff) {
+            throw new TypeError(`Unpaired UTF-16 surrogate at ${path}.`);
+        }
+    }
+}
+function canonicalizeReportValue(value, path) {
+    if (value === null)
+        return "null";
+    if (typeof value === "string") {
+        assertNoUnpairedSurrogates(value, path);
+        return JSON.stringify(value);
+    }
+    if (typeof value === "boolean")
+        return value ? "true" : "false";
+    if (typeof value === "number") {
+        if (!Number.isFinite(value)) {
+            throw new TypeError(`Non-finite number at ${path}.`);
+        }
+        return JSON.stringify(value);
+    }
+    if (Array.isArray(value)) {
+        const parts = value.map((item, index) => canonicalizeReportValue(item, `${path}[${index}]`));
+        return `[${parts.join(",")}]`;
+    }
+    if (!isPlainObject(value)) {
+        throw new TypeError(`Unsupported canonical report value at ${path}.`);
+    }
+    const keys = Object.keys(value).sort();
+    const parts = [];
+    for (const key of keys) {
+        assertNoUnpairedSurrogates(key, `${path}.{key}`);
+        const child = value[key];
+        if (child === undefined ||
+            typeof child === "function" ||
+            typeof child === "symbol" ||
+            typeof child === "bigint") {
+            throw new TypeError(`Unsupported canonical report value at ${path}.${key}.`);
+        }
+        parts.push(`${JSON.stringify(key)}:${canonicalizeReportValue(child, `${path}.${key}`)}`);
+    }
+    return `{${parts.join(",")}}`;
+}
+export function canonicalizeExecutionVerificationReport(report) {
+    return canonicalizeReportValue(report, "$");
+}
+//# sourceMappingURL=contractV1.js.map