Class ClaimAxiomLibrary<TConnection>

Manages axiom-invocation edges between claims. Each connection goes from a dependent claimId (which must be a 'normal' claim) to a supporting supportingClaimId (which must be an 'axiomatic' claim).

Cycle detection is omitted because axiomatic claims cannot appear on the supported (claimId) side — AXIOM_CLAIM_NOT_NORMAL_TYPE blocks that — so cycles are structurally impossible.

Type Parameters

TConnection extends TCoreClaimConnection = TCoreClaimConnection

Implements

TClaimConnectionLibraryManagement<TConnection>

Index

Constructors

constructor

Methods

add filter get getAll getConnectionsForClaim remove snapshot validate fromSnapshot

Constructors

constructor

new ClaimAxiomLibrary<
    TConnection extends
        {
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            supportingClaimId: string;
            supportingClaimVersion: number;
        } = {
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        supportingClaimId: string;
        supportingClaimVersion: number;
    },
>(
    claimLookup: TClaimLookup,
    options?: { checksumConfig?: TCoreChecksumConfig },
): ClaimAxiomLibrary<TConnection>
Type Parameters
- TConnection extends {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  } = {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  }
Parameters
- claimLookup: TClaimLookup
- Optionaloptions: { checksumConfig?: TCoreChecksumConfig }
Returns ClaimAxiomLibrary<TConnection>
- Defined in src/lib/core/claim-axiom-library.ts:44

Methods

add

add(axiom: Omit<TConnection, "checksum">): TConnection
Creates a claim connection. Implementations validate that both the supported and supporting claims exist in the underlying claim library and that the supporting-side claim has the type required by this specialization (e.g. 'citation' for ClaimCitationLibrary, 'axiomatic' for ClaimAxiomLibrary). Citation libraries also reject any edge that would introduce a cycle in the global claim-citation graph.
Parameters
- axiom: Omit<TConnection, "checksum">
Returns TConnection
The created connection with checksum populated.

Throws
If a connection with the same ID already exists.

Throws
If either referenced claim does not exist in the claim library.

Throws
If the supporting-side claim has the wrong type for this specialization.

Throws
If the connection would create a cycle (citation library only).
Implementation of TClaimConnectionLibraryManagement.add
- Defined in src/lib/core/claim-axiom-library.ts:89

filter

filter(predicate: (c: TConnection) => boolean): TConnection[]
Returns all connections matching the predicate.
Parameters
- predicate: (c: TConnection) => boolean
  A filter function applied to each connection.
Returns TConnection[]
An array of matching connections.
Implementation of TClaimConnectionLibraryManagement.filter
- Defined in src/lib/core/claim-axiom-library.ts:209

get

get(id: string): TConnection | undefined
Returns a connection by ID, or undefined if not found.
Parameters
- id: string
  The connection ID.
Returns TConnection | undefined
The connection entity, or undefined.
Implementation of TClaimConnectionLibraryManagement.get
- Defined in src/lib/core/claim-axiom-library.ts:201

getAll

getAll(): TConnection[]
Returns all connections in the library.

Returns TConnection[]
An array of all connection entities.
Implementation of TClaimConnectionLibraryManagement.getAll
- Defined in src/lib/core/claim-axiom-library.ts:205

getConnectionsForClaim

getConnectionsForClaim(claimId: string): TConnection[]
Returns all connections where the given claim is the supported endpoint (i.e. the claimId side of the edge).
Parameters
- claimId: string
  The supported claim ID to filter by.
Returns TConnection[]
An array of matching connections.
Implementation of TClaimConnectionLibraryManagement.getConnectionsForClaim
- Defined in src/lib/core/claim-axiom-library.ts:193

remove

remove(id: string): TConnection
Removes a claim connection by ID.
Parameters
- id: string
  The connection ID to remove.
Returns TConnection
The removed connection entity.

Throws
If the connection does not exist.
Implementation of TClaimConnectionLibraryManagement.remove
- Defined in src/lib/core/claim-axiom-library.ts:168

snapshot

snapshot(): TClaimConnectionLibrarySnapshot<TConnection>
Returns a serializable snapshot of all connections in the library.

Returns TClaimConnectionLibrarySnapshot<TConnection>
The claim-connection library snapshot.
Implementation of TClaimConnectionLibraryManagement.snapshot
- Defined in src/lib/core/claim-axiom-library.ts:213

validate

validate(): TInvariantValidationResult
Run invariant validation on the claim-connection library.

Returns TInvariantValidationResult
The invariant validation result.
Implementation of TClaimConnectionLibraryManagement.validate
- Defined in src/lib/core/claim-axiom-library.ts:239

`Static`fromSnapshot

fromSnapshot<
    TConnection extends
        {
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            supportingClaimId: string;
            supportingClaimVersion: number;
        } = {
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        supportingClaimId: string;
        supportingClaimVersion: number;
    },
>(
    snapshot: TClaimConnectionLibrarySnapshot<TConnection>,
    claimLookup: TClaimLookup,
    options?: { checksumConfig?: TCoreChecksumConfig },
): ClaimAxiomLibrary<TConnection>
Restores a claim-axiom library from a snapshot, re-indexing all axioms.
Type Parameters
- TConnection extends {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  } = {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  }
Parameters
- snapshot: TClaimConnectionLibrarySnapshot<TConnection>
- claimLookup: TClaimLookup
- Optionaloptions: { checksumConfig?: TCoreChecksumConfig }
Returns ClaimAxiomLibrary<TConnection>
- Defined in src/lib/core/claim-axiom-library.ts:218

Class ClaimAxiomLibrary<TConnection>

Type Parameters

Implements

Index

Constructors

Methods

Constructors

constructor

Type Parameters

Parameters

Returns ClaimAxiomLibrary<TConnection>

Methods

add

Parameters

Returns TConnection

Throws

Throws

Throws

Throws

filter

Parameters

Returns TConnection[]

get

Parameters

Returns TConnection | undefined

getAll

Returns TConnection[]

getConnectionsForClaim

Parameters

Returns TConnection[]

remove

Parameters

Returns TConnection

Throws

snapshot

Returns TClaimConnectionLibrarySnapshot<TConnection>

validate

Returns TInvariantValidationResult

StaticfromSnapshot

Type Parameters

Parameters

Returns ClaimAxiomLibrary<TConnection>

Settings

On This Page

`Static`fromSnapshot