@trylimbo/sdk-verifier 0.3.0-canary.42 → 0.3.0-canary.45

package/gen/ffi/index.d.ts

@@ -181,7 +181,7 @@ declare const pointerLiteralSymbol: unique symbol;
  */
 declare const uniffiTypeNameSymbol: unique symbol;
 declare namespace trylimbo_verifier_d_exports {
-  export { Actor, AssertionMetadata, AssetType, AssetVerification, AssetVerifier, AssetVerifierInterface, AssetVerifierLike, AssetVerifierOptions, Block, ByteRange, ClaimGeneratorInfo, Code, Compute, ComputeImpl, ComputeRequest, Content, ContentWhen, Coordinate, Credential, CredentialInterface, CredentialLike, CredentialOrigin, CredentialOrigin_Tags, DataSource, Discovery, DiscoveryVia, DiscoveryVia_Tags, EndInclusivity, FieldViolation, FileSource, FileSourceInterface, FileSourceLike, FingerprintCheck, FingerprintCheck_Tags, Frame, Golden, Golden_Tags, HardBinding, HashedUri, Hint, Ingredient, IngredientDeltaValidationResult, InitValidation, Item, JsonValue, Lineage, Manifest, ManifestAssertion, ManifestAssertionKind, ManifestStore, MediaValidation, MemorySource, MemorySourceInterface, MemorySourceLike, PluginReader, Range, RangeSource, RangeSourceImpl, RangeType, Recovery, RecoveryIssue, RecoveryIssue_Tags, RecoveryStatus, RecoverySummary, RecoveryTrigger, Reference, RegionOfInterest, Relationship, Repository, Repository_Tags, ResourceRef, ReviewRating, Scope, SdkError, SdkError_Tags, SegmentTiming, SegmentValidation, SegmentValidation_Tags, SessionKey, Shape, ShapeType, SignatureInfo, SigningAlgSchema, SimilarityScore, SoftBindingSource, SoftBindingSource_Tags, SoftBindingType, StatusCodes, StreamSession, StreamSessionInterface, StreamSessionLike, StreamVerifier, StreamVerifierInterface, StreamVerifierLike, StreamVerifierOptions, Text, TextSelector, TextSelectorRange, Time, TimeType, Timespan, Trust, UnitType, UriOrResource, UriOrResource_Tags, ValidationCode, ValidationCodeKind, ValidationResults, ValidationState, ValidationStatus, Verdict, VerdictRule, Verdict_Tags, c2paTrustList, c2paTsaTrustList, computeSoftBinding, _default$1 as default, devCa, parse, resource };
+  export { Actor, AssertionMetadata, AssetType, AssetVerification, AssetVerifier, AssetVerifierInterface, AssetVerifierLike, AssetVerifierOptions, Block, ByteRange, ClaimGeneratorInfo, Code, Compute, ComputeImpl, ComputeRequest, Content, ContentWhen, Coordinate, Credential, CredentialInterface, CredentialLike, CredentialOrigin, CredentialOrigin_Tags, DataSource, Discovery, DiscoveryVia, DiscoveryVia_Tags, EndInclusivity, FieldViolation, FileSource, FileSourceInterface, FileSourceLike, FingerprintCheck, FingerprintCheck_Tags, Frame, Golden, Golden_Tags, HardBinding, HashedUri, Hint, Ingredient, IngredientDeltaValidationResult, InitValidation, Item, JsonValue, Lineage, Manifest, ManifestAssertion, ManifestAssertionKind, ManifestStore, MediaValidation, MemorySource, MemorySourceInterface, MemorySourceLike, PluginReader, Range, RangeSource, RangeSourceImpl, RangeType, Recovery, RecoveryIssue, RecoveryIssue_Tags, RecoveryStatus, RecoverySummary, RecoveryTrigger, Reference, Region, RegionCoordinate, RegionForm, RegionForm_Tags, RegionOfInterest, RegionRange, RegionRange_Tags, RegionShape, RegionTextSelector, RegionTextSelectorRange, RegionUnit, Relationship, Repository, Repository_Tags, ResourceRef, ReviewRating, Scope, Scope_Tags, SdkError, SdkError_Tags, SegmentTiming, SegmentValidation, SegmentValidation_Tags, SessionKey, Shape, ShapeType, SignatureInfo, SigningAlgSchema, SimilarityScore, SoftBindingSource, SoftBindingSource_Tags, SoftBindingType, StatusCodes, StreamSession, StreamSessionInterface, StreamSessionLike, StreamVerifier, StreamVerifierInterface, StreamVerifierLike, StreamVerifierOptions, Text, TextSelector, TextSelectorRange, Time, TimeType, Trust, UnitType, UriOrResource, UriOrResource_Tags, ValidationCode, ValidationCodeKind, ValidationResults, ValidationState, ValidationStatus, Verdict, VerdictRule, Verdict_Tags, c2paTrustList, c2paTsaTrustList, computeSoftBinding, _default$1 as default, devCa, parse, resource, tamperCodes };
 }
 /**
  * The bundled C2PA Conformance Program signing-CA trust list (a release snapshot). Trusted by
@@ -239,6 +239,12 @@ export declare function parse(manifest: ArrayBuffer, asyncOpts_?: {
 export declare function resource(manifest: ArrayBuffer, uri: string, asyncOpts_?: {
   signal: AbortSignal;
 }): Promise<ArrayBuffer | undefined>;
+/**
+ * The failure codes that say a manifest's asset bytes or its claim signature no longer match what
+ * was signed, as against a credential that is otherwise not good. A code absent here is never
+ * tampering.
+ */
+export declare function tamperCodes(): Array<string>;
 /**
  * A `HashedUri` provides a reference to content available within the same
  * manifest store.
@@ -769,7 +775,7 @@ export declare enum HardBinding {
   Unverified = 2
 }
 /**
- * The re-sign chain, read from the validated stores themselves: C2PA 2.4 18.16.11 copies a
+ * The re-sign chain, read from the validated stores themselves: C2PA 2.3 section 18.16.11 copies a
  * `parentOf` ingredient's manifest into its successor's store, so a link here was signed by the
  * successor. A repository's ordering is a hint; this is the evidence.
  */
@@ -1603,7 +1609,7 @@ export declare enum FingerprintCheck_Tags {
 /**
  * Whether the asset's own fingerprint backs up a manifest that a watermark led to.
  *
- * C2PA 2.4 1.2.2.3: a watermark can be lifted from one asset onto another, so a mark alone does
+ * C2PA 2.4 Soft Binding API section 1.2.2.3: a watermark can be lifted from one asset onto another, so a mark alone does
  * not establish that the manifest it resolves to describes THIS asset. The mitigation the spec
  * gives is to compare a fingerprint computed from the asset against the one the recovered
  * manifest records, and `watermark-and-fingerprint` ends on exactly that comparison.
@@ -1773,7 +1779,7 @@ export declare const FingerprintCheck: Readonly<{
 /**
  * Whether the asset's own fingerprint backs up a manifest that a watermark led to.
  *
- * C2PA 2.4 1.2.2.3: a watermark can be lifted from one asset onto another, so a mark alone does
+ * C2PA 2.4 Soft Binding API section 1.2.2.3: a watermark can be lifted from one asset onto another, so a mark alone does
  * not establish that the manifest it resolves to describes THIS asset. The mitigation the spec
  * gives is to compare a fingerprint computed from the asset against the one the recovered
  * manifest records, and `watermark-and-fingerprint` ends on exactly that comparison.
@@ -3038,7 +3044,7 @@ export declare enum Verdict_Tags {
   Ambiguous = "Ambiguous"
 }
 /**
- * What this verify concludes about the asset, chosen from [`AssetVerification::credentials`]
+ * What this verify concludes about the asset, chosen from [`AssetVerification::credentials`](super::AssetVerification::credentials)
  * on signed evidence alone. Policy over the evidence: no credential's validation state changes,
  * and the list stays whole beside it.
  *
@@ -3306,7 +3312,7 @@ export declare const Verdict: Readonly<{
   };
 }>;
 /**
- * What this verify concludes about the asset, chosen from [`AssetVerification::credentials`]
+ * What this verify concludes about the asset, chosen from [`AssetVerification::credentials`](super::AssetVerification::credentials)
  * on signed evidence alone. Policy over the evidence: no credential's validation state changes,
  * and the list stays whole beside it.
  *
@@ -3330,7 +3336,7 @@ export type Verdict = InstanceType<typeof Verdict['Unsigned' | 'Inconclusive' |
 /**
  * Complete asset verification result: every credential, the recovery state, the C2PA
  * golden-flow comparison when there was something to compare, and the verdict the SDK's rules
- * choose. See [`asset::Verdict`].
+ * choose. See [`asset::verdict::Verdict`].
  */
 export type AssetVerification = {
   credentials: Array<CredentialLike>;
@@ -3497,42 +3503,525 @@ export declare const AssetVerifierOptions: Readonly<{
   new: (partial: Partial<AssetVerifierOptions> & Required<Omit<AssetVerifierOptions, "repositories">>) => AssetVerifierOptions;
   defaults: () => Partial<AssetVerifierOptions>;
 }>;
+export declare enum RegionUnit {
+  Pixel = 0,
+  Percent = 1
+}
+export type RegionCoordinate = {
+  x: number;
+  y: number;
+};
+/**
+ * Generated factory for {@link RegionCoordinate} record objects.
+ */
+export declare const RegionCoordinate: Readonly<{
+  create: (partial: Partial<RegionCoordinate> & Required<Omit<RegionCoordinate, never>>) => RegionCoordinate;
+  new: (partial: Partial<RegionCoordinate> & Required<Omit<RegionCoordinate, never>>) => RegionCoordinate;
+  defaults: () => Partial<RegionCoordinate>;
+}>;
+export declare enum RegionForm_Tags {
+  Rectangle = "Rectangle",
+  Circle = "Circle",
+  Polygon = "Polygon"
+}
+export declare const RegionForm: Readonly<{
+  instanceOf: (obj: any) => obj is RegionForm;
+  Rectangle: {
+    new (inner: {
+      width: number;
+      height: number;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Rectangle;
+      readonly inner: Readonly<{
+        width: number;
+        height: number;
+      }>;
+    };
+    "new"(inner: {
+      width: number;
+      height: number;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Rectangle;
+      readonly inner: Readonly<{
+        width: number;
+        height: number;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Rectangle;
+      readonly inner: Readonly<{
+        width: number;
+        height: number;
+      }>;
+    };
+  };
+  Circle: {
+    new (inner: {
+      diameter: number;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Circle;
+      readonly inner: Readonly<{
+        diameter: number;
+      }>;
+    };
+    "new"(inner: {
+      diameter: number;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Circle;
+      readonly inner: Readonly<{
+        diameter: number;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Circle;
+      readonly inner: Readonly<{
+        diameter: number;
+      }>;
+    };
+  };
+  Polygon: {
+    new (inner: {
+      vertices: Array<RegionCoordinate>;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Polygon;
+      readonly inner: Readonly<{
+        vertices: Array<RegionCoordinate>;
+      }>;
+    };
+    "new"(inner: {
+      vertices: Array<RegionCoordinate>;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Polygon;
+      readonly inner: Readonly<{
+        vertices: Array<RegionCoordinate>;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionForm";
+      readonly tag: RegionForm_Tags.Polygon;
+      readonly inner: Readonly<{
+        vertices: Array<RegionCoordinate>;
+      }>;
+    };
+  };
+}>;
+export type RegionForm = InstanceType<typeof RegionForm['Rectangle' | 'Circle' | 'Polygon']>;
+/**
+ * An area of the image. A percent coordinate or extent is at most 100.
+ */
+export type RegionShape = {
+  unit: RegionUnit;
+  origin: RegionCoordinate;
+  form: RegionForm;
+  /**
+   * The region is what lies outside the shape.
+   */
+  outside: boolean;
+};
+/**
+ * Generated factory for {@link RegionShape} record objects.
+ */
+export declare const RegionShape: Readonly<{
+  create: (partial: Partial<RegionShape> & Required<Omit<RegionShape, "outside">>) => RegionShape;
+  new: (partial: Partial<RegionShape> & Required<Omit<RegionShape, "outside">>) => RegionShape;
+  defaults: () => Partial<RegionShape>;
+}>;
+/**
+ * A W3C Web Annotation fragment selector, narrowed to character offsets, both inclusive.
+ */
+export type RegionTextSelector = {
+  /**
+   * A fragment identifier, as per RFC 3023 or ISO 32000-2 Annex O.
+   */
+  fragment: string;
+  start?: number;
+  end?: number;
+};
+/**
+ * Generated factory for {@link RegionTextSelector} record objects.
+ */
+export declare const RegionTextSelector: Readonly<{
+  create: (partial: Partial<RegionTextSelector> & Required<Omit<RegionTextSelector, "end" | "start">>) => RegionTextSelector;
+  new: (partial: Partial<RegionTextSelector> & Required<Omit<RegionTextSelector, "end" | "start">>) => RegionTextSelector;
+  defaults: () => Partial<RegionTextSelector>;
+}>;
 /**
- * A `soft-binding-timespan-map`: where the range starts in the media and how long it lasts, in
- * whole milliseconds.
+ * A selector, or the start and end of a contiguous range.
  */
-export type Timespan = {
-  start: number;
-  duration: number;
+export type RegionTextSelectorRange = {
+  selector: RegionTextSelector;
+  end?: RegionTextSelector;
 };
 /**
- * Generated factory for {@link Timespan} record objects.
+ * Generated factory for {@link RegionTextSelectorRange} record objects.
  */
-export declare const Timespan: Readonly<{
-  create: (partial: Partial<Timespan> & Required<Omit<Timespan, never>>) => Timespan;
-  new: (partial: Partial<Timespan> & Required<Omit<Timespan, never>>) => Timespan;
-  defaults: () => Partial<Timespan>;
+export declare const RegionTextSelectorRange: Readonly<{
+  create: (partial: Partial<RegionTextSelectorRange> & Required<Omit<RegionTextSelectorRange, "end">>) => RegionTextSelectorRange;
+  new: (partial: Partial<RegionTextSelectorRange> & Required<Omit<RegionTextSelectorRange, "end">>) => RegionTextSelectorRange;
+  defaults: () => Partial<RegionTextSelectorRange>;
+}>;
+export declare enum RegionRange_Tags {
+  Spatial = "Spatial",
+  Frame = "Frame",
+  Textual = "Textual",
+  Identified = "Identified"
+}
+export declare const RegionRange: Readonly<{
+  instanceOf: (obj: any) => obj is RegionRange;
+  Spatial: {
+    new (inner: {
+      shape: RegionShape;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Spatial;
+      readonly inner: Readonly<{
+        shape: RegionShape;
+      }>;
+    };
+    "new"(inner: {
+      shape: RegionShape;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Spatial;
+      readonly inner: Readonly<{
+        shape: RegionShape;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Spatial;
+      readonly inner: Readonly<{
+        shape: RegionShape;
+      }>;
+    };
+  };
+  Frame: {
+    new (inner: {
+      start?: number;
+      end?: number;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Frame;
+      readonly inner: Readonly<{
+        start?: number;
+        end?: number;
+      }>;
+    };
+    new: (partial: Parameters<(partial: Partial<{
+      start?: number;
+      end?: number;
+    }> & Required<Omit<{
+      start?: number;
+      end?: number;
+    }, "end" | "start">>) => {
+      start?: number;
+      end?: number;
+    }>[0]) => {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Frame;
+      readonly inner: Readonly<{
+        start?: number;
+        end?: number;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Frame;
+      readonly inner: Readonly<{
+        start?: number;
+        end?: number;
+      }>;
+    };
+  };
+  Textual: {
+    new (inner: {
+      selectors: Array<RegionTextSelectorRange>;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Textual;
+      readonly inner: Readonly<{
+        selectors: Array<RegionTextSelectorRange>;
+      }>;
+    };
+    "new"(inner: {
+      selectors: Array<RegionTextSelectorRange>;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Textual;
+      readonly inner: Readonly<{
+        selectors: Array<RegionTextSelectorRange>;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Textual;
+      readonly inner: Readonly<{
+        selectors: Array<RegionTextSelectorRange>;
+      }>;
+    };
+  };
+  Identified: {
+    new (inner: {
+      identifier: string;
+      value: string;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Identified;
+      readonly inner: Readonly<{
+        identifier: string;
+        value: string;
+      }>;
+    };
+    "new"(inner: {
+      identifier: string;
+      value: string;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Identified;
+      readonly inner: Readonly<{
+        identifier: string;
+        value: string;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "RegionRange";
+      readonly tag: RegionRange_Tags.Identified;
+      readonly inner: Readonly<{
+        identifier: string;
+        value: string;
+      }>;
+    };
+  };
 }>;
+export type RegionRange = InstanceType<typeof RegionRange['Spatial' | 'Frame' | 'Textual' | 'Identified']>;
 /**
- * A `soft-binding-scope-map`: where in the content a value applies. Empty is the whole content.
+ * One or more ranges of the content and the names given to them.
  */
-export type Scope = {
-  timespan?: Timespan;
+export type Region = {
+  /**
+   * At least one.
+   */
+  ranges: Array<RegionRange>;
+  /**
+   * For a person, such as a user interface showing the region.
+   */
+  name?: string;
+  /**
+   * For a machine, unique within the assertion.
+   */
+  identifier?: string;
+  /**
+   * What the region depicts, from a controlled vocabulary such as IPTC's image region types,
+   * or entity-specific.
+   */
+  type?: string;
+  description?: string;
 };
 /**
- * Generated factory for {@link Scope} record objects.
+ * Generated factory for {@link Region} record objects.
+ */
+export declare const Region: Readonly<{
+  create: (partial: Partial<Region> & Required<Omit<Region, "description" | "identifier" | "name" | "type">>) => Region;
+  new: (partial: Partial<Region> & Required<Omit<Region, "description" | "identifier" | "name" | "type">>) => Region;
+  defaults: () => Partial<Region>;
+}>;
+export declare enum Scope_Tags {
+  Timespan = "Timespan",
+  Region = "Region"
+}
+/**
+ * A `soft-binding-scope-map`: the part of the content a value applies to, a timespan or a region,
+ * never both (C2PA 2.3 18.10.3).
  */
 export declare const Scope: Readonly<{
-  create: (partial: Partial<Scope> & Required<Omit<Scope, "timespan">>) => Scope;
-  new: (partial: Partial<Scope> & Required<Omit<Scope, "timespan">>) => Scope;
-  defaults: () => Partial<Scope>;
+  instanceOf: (obj: any) => obj is Scope;
+  Timespan: {
+    new (inner: {
+      start: number;
+      duration: number;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "Scope";
+      readonly tag: Scope_Tags.Timespan;
+      readonly inner: Readonly<{
+        start: number;
+        duration: number;
+      }>;
+    };
+    "new"(inner: {
+      start: number;
+      duration: number;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "Scope";
+      readonly tag: Scope_Tags.Timespan;
+      readonly inner: Readonly<{
+        start: number;
+        duration: number;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "Scope";
+      readonly tag: Scope_Tags.Timespan;
+      readonly inner: Readonly<{
+        start: number;
+        duration: number;
+      }>;
+    };
+  };
+  Region: {
+    new (inner: {
+      region: Region;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "Scope";
+      readonly tag: Scope_Tags.Region;
+      readonly inner: Readonly<{
+        region: Region;
+      }>;
+    };
+    "new"(inner: {
+      region: Region;
+    }): {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "Scope";
+      readonly tag: Scope_Tags.Region;
+      readonly inner: Readonly<{
+        region: Region;
+      }>;
+    };
+    instanceOf(obj: any): obj is {
+      /**
+       * @private
+       * This field is private and should not be used, use `tag` instead.
+       */
+      readonly [uniffiTypeNameSymbol]: "Scope";
+      readonly tag: Scope_Tags.Region;
+      readonly inner: Readonly<{
+        region: Region;
+      }>;
+    };
+  };
 }>;
 /**
- * A `soft-binding-block-map`.
+ * A `soft-binding-scope-map`: the part of the content a value applies to, a timespan or a region,
+ * never both (C2PA 2.3 18.10.3).
+ */
+export type Scope = InstanceType<typeof Scope['Timespan' | 'Region']>;
+/**
+ * A `soft-binding-block-map`. A block without a scope covers the whole content.
  */
 export type Block = {
   value: ArrayBuffer;
-  scope: Scope;
+  scope?: Scope;
 };
 /**
  * Generated factory for {@link Block} record objects.
@@ -3711,7 +4200,7 @@ export declare enum ValidationCodeKind {
   Failure = 2
 }
 /**
- * One C2PA validation status entry (spec §15.3): the registered code, its kind, and the
+ * One C2PA validation status entry (C2PA 2.3 section 15.2.2): the registered code, its kind, and the
  * spec's own free-text `explanation`, which is where anything finer than the code lives.
  */
 export type ValidationCode = {
@@ -3735,7 +4224,7 @@ export declare const ValidationCode: Readonly<{
   defaults: () => Partial<ValidationCode>;
 }>;
 /**
- * A session signing key from the init manifest's roster (spec §19.4.4).
+ * A session signing key from the init manifest's roster (spec C2PA 2.3 section 19.4.4).
  */
 export type SessionKey = {
   /**
@@ -3760,7 +4249,7 @@ export declare const SessionKey: Readonly<{
  */
 export type InitValidation = {
   /**
-   * The init manifest's C2PA validation state (spec §14.3). Read from
+   * The init manifest's C2PA validation state (C2PA 2.3 section 14.3). Read from
    * `Reader::validation_state()`, so unlike `manifest.validation_state` it is
    * never absent.
    */
@@ -3842,8 +4331,8 @@ export declare enum RecoveryTrigger {
    *
    * It queries the repository on every verify, without making it load-bearing on the asset's own
    * credential: the flow provides information about a substitution rather than gating the local
-   * manifest, so a repository that cannot be reached leaves [`RecoveryStatus::Incomplete`], the
-   * reason as a [`RecoveryIssue`], and no [`Golden`]. A caller for whom a cross-check that never
+   * manifest, so a repository that cannot be reached leaves [`RecoveryStatus::Incomplete`](super::RecoveryStatus::Incomplete), the
+   * reason as a [`RecoveryIssue`](super::RecoveryIssue), and no [`Golden`](super::golden::Golden). A caller for whom a cross-check that never
    * ran must not pass for agreement branches on that status.
    */
   Always = 1
@@ -3884,7 +4373,7 @@ export declare class ComputeImpl extends UniffiAbstractObject implements Compute
 }
 export declare enum SoftBindingSource_Tags {
   Builtin = "Builtin",
-  Held = "Held",
+  Hint = "Hint",
   Custom = "Custom"
 }
 /**
@@ -3931,7 +4420,7 @@ export declare const SoftBindingSource: Readonly<{
       }>;
     };
   };
-  Held: {
+  Hint: {
     new (inner: {
       alg: string;
       value: ArrayBuffer;
@@ -3941,7 +4430,7 @@ export declare const SoftBindingSource: Readonly<{
        * This field is private and should not be used, use `tag` instead.
        */
       readonly [uniffiTypeNameSymbol]: "SoftBindingSource";
-      readonly tag: SoftBindingSource_Tags.Held;
+      readonly tag: SoftBindingSource_Tags.Hint;
       readonly inner: Readonly<{
         alg: string;
         value: ArrayBuffer;
@@ -3956,7 +4445,7 @@ export declare const SoftBindingSource: Readonly<{
        * This field is private and should not be used, use `tag` instead.
        */
       readonly [uniffiTypeNameSymbol]: "SoftBindingSource";
-      readonly tag: SoftBindingSource_Tags.Held;
+      readonly tag: SoftBindingSource_Tags.Hint;
       readonly inner: Readonly<{
         alg: string;
         value: ArrayBuffer;
@@ -3968,7 +4457,7 @@ export declare const SoftBindingSource: Readonly<{
        * This field is private and should not be used, use `tag` instead.
        */
       readonly [uniffiTypeNameSymbol]: "SoftBindingSource";
-      readonly tag: SoftBindingSource_Tags.Held;
+      readonly tag: SoftBindingSource_Tags.Hint;
       readonly inner: Readonly<{
         alg: string;
         value: ArrayBuffer;
@@ -4018,7 +4507,7 @@ export declare const SoftBindingSource: Readonly<{
 /**
  * Where one byBinding query's value comes from.
  */
-export type SoftBindingSource = InstanceType<typeof SoftBindingSource['Builtin' | 'Held' | 'Custom']>;
+export type SoftBindingSource = InstanceType<typeof SoftBindingSource['Builtin' | 'Hint' | 'Custom']>;
 /**
  * What one [`AssetVerifier::verify`] may do to recover a manifest: the soft bindings this client
  * looks up itself through `matches/byBinding`, and the content query, absent when not to be
@@ -4053,7 +4542,7 @@ export type StreamVerifierOptions = {
    */
   skewTolerance?: number;
   /**
-   * Exact HTTPS origins permitted for a segment's `manifestUri` (§19.4.4.1).
+   * Exact HTTPS origins permitted for a segment's `manifestUri` (C2PA 2.3 section 19.4.4.1).
    * Empty disables external manifest recovery. Paths and wildcard hosts are not accepted.
    */
   manifestOrigins: Array<string>;
@@ -4833,6 +5322,27 @@ declare const _default$1: Readonly<{
       lift(value: UniffiByteArray): Reference;
       lower(value: Reference, alloc: RustBufferAllocator): UniffiByteArray;
     };
+    FfiConverterTypeRegion: {
+      readFromCursor(c: Cursor): Region;
+      writeIntoCursor(value: Region, c: Cursor): void;
+      allocationSize(value: Region): number;
+      lift(value: UniffiByteArray): Region;
+      lower(value: Region, alloc: RustBufferAllocator): UniffiByteArray;
+    };
+    FfiConverterTypeRegionCoordinate: {
+      readFromCursor(c: Cursor): RegionCoordinate;
+      writeIntoCursor(value: RegionCoordinate, c: Cursor): void;
+      allocationSize(value: RegionCoordinate): number;
+      lift(value: UniffiByteArray): RegionCoordinate;
+      lower(value: RegionCoordinate, alloc: RustBufferAllocator): UniffiByteArray;
+    };
+    FfiConverterTypeRegionForm: {
+      readFromCursor(c: Cursor): RegionForm;
+      writeIntoCursor(value: RegionForm, c: Cursor): void;
+      allocationSize(value: RegionForm): number;
+      lift(value: UniffiByteArray): RegionForm;
+      lower(value: RegionForm, alloc: RustBufferAllocator): UniffiByteArray;
+    };
     FfiConverterTypeRegionOfInterest: {
       readFromCursor(c: Cursor): RegionOfInterest;
       writeIntoCursor(value: RegionOfInterest, c: Cursor): void;
@@ -4840,6 +5350,41 @@ declare const _default$1: Readonly<{
       lift(value: UniffiByteArray): RegionOfInterest;
       lower(value: RegionOfInterest, alloc: RustBufferAllocator): UniffiByteArray;
     };
+    FfiConverterTypeRegionRange: {
+      readFromCursor(c: Cursor): RegionRange;
+      writeIntoCursor(value: RegionRange, c: Cursor): void;
+      allocationSize(value: RegionRange): number;
+      lift(value: UniffiByteArray): RegionRange;
+      lower(value: RegionRange, alloc: RustBufferAllocator): UniffiByteArray;
+    };
+    FfiConverterTypeRegionShape: {
+      readFromCursor(c: Cursor): RegionShape;
+      writeIntoCursor(value: RegionShape, c: Cursor): void;
+      allocationSize(value: RegionShape): number;
+      lift(value: UniffiByteArray): RegionShape;
+      lower(value: RegionShape, alloc: RustBufferAllocator): UniffiByteArray;
+    };
+    FfiConverterTypeRegionTextSelector: {
+      readFromCursor(c: Cursor): RegionTextSelector;
+      writeIntoCursor(value: RegionTextSelector, c: Cursor): void;
+      allocationSize(value: RegionTextSelector): number;
+      lift(value: UniffiByteArray): RegionTextSelector;
+      lower(value: RegionTextSelector, alloc: RustBufferAllocator): UniffiByteArray;
+    };
+    FfiConverterTypeRegionTextSelectorRange: {
+      readFromCursor(c: Cursor): RegionTextSelectorRange;
+      writeIntoCursor(value: RegionTextSelectorRange, c: Cursor): void;
+      allocationSize(value: RegionTextSelectorRange): number;
+      lift(value: UniffiByteArray): RegionTextSelectorRange;
+      lower(value: RegionTextSelectorRange, alloc: RustBufferAllocator): UniffiByteArray;
+    };
+    FfiConverterTypeRegionUnit: {
+      readFromCursor(c: Cursor): RegionUnit;
+      writeIntoCursor(value: RegionUnit, c: Cursor): void;
+      allocationSize(value: RegionUnit): number;
+      lift(value: UniffiByteArray): RegionUnit;
+      lower(value: RegionUnit, alloc: RustBufferAllocator): UniffiByteArray;
+    };
     FfiConverterTypeRelationship: {
       readFromCursor(c: Cursor): Relationship;
       writeIntoCursor(value: Relationship, c: Cursor): void;
@@ -4997,13 +5542,6 @@ declare const _default$1: Readonly<{
       lift(value: UniffiByteArray): TimeType;
       lower(value: TimeType, alloc: RustBufferAllocator): UniffiByteArray;
     };
-    FfiConverterTypeTimespan: {
-      readFromCursor(c: Cursor): Timespan;
-      writeIntoCursor(value: Timespan, c: Cursor): void;
-      allocationSize(value: Timespan): number;
-      lift(value: UniffiByteArray): Timespan;
-      lower(value: Timespan, alloc: RustBufferAllocator): UniffiByteArray;
-    };
     FfiConverterTypeTrust: {
       readFromCursor(c: Cursor): Trust;
       writeIntoCursor(value: Trust, c: Cursor): void;