@open-charging-cloud/wwcp-poi 0.2.0 → 0.3.0

package/dist/history/history.d.ts

@@ -1,7 +1,7 @@
 import { type JSONValue } from '../json/value.ts';
 import { RoamingNetwork } from '../network/roamingNetwork.ts';
 import type { TrustAnchor } from '../proofs/trustAnchor.ts';
-import { Commit } from './commit.ts';
+import { Commit, type RoleSignature } from './commit.ts';
 import { Checkpoint } from './checkpoint.ts';
 import { EpochProfiles, type Epoch, type EpochLink } from './epoch.ts';
 /** A version with the commit leading to it. */
@@ -19,9 +19,30 @@ export interface HistoryOptions {
      * is the version before, unknown for the commit of a snapshot. Required for a signed commit.
      */
     readonly verifyCommit?: (commit: Commit, before: RoamingNetwork | undefined, after: RoamingNetwork) => void;
-    /** Refuses a checkpoint whose signatures are not those required. Required for a signed checkpoint. */
-    readonly verifyCheckpoint?: (checkpoint: Checkpoint) => void;
+    /**
+     * Refuses a checkpoint whose signatures are not those required, e.g. of the roaming network operator by its quorum and
+     * of the witnesses trusted here (`verifyCheckpointSignatures`), and returns those of its signatures that verify: the
+     * checkpoint is taken with them only, the first of each key and role, the others left out, not refused (POI3-ISSUES.md
+     * S39), and the roles it must be signed in are counted among them. Returning `undefined`, every signature verifies.
+     * Required for a signed checkpoint.
+     */
+    readonly verifyCheckpoint?: (checkpoint: Checkpoint) => readonly RoleSignature[] | undefined;
+    /**
+     * The roles a commit must be signed in, e.g. `roamingNetworkOperator` or `leader` (`RequiredSignatureRoles` of WWCP_POI
+     * 12e993a, POI3-ISSUES.md S24): each by a signature whose key the version the commit leads to lets sign in it, once
+     * `verifyCommit` verified the signatures (`keyMaySignIn`).
+     */
+    readonly requiredSignatureRoles?: readonly string[];
+    /** The roles a checkpoint must be signed in, e.g. `roamingNetworkOperator` or `witness`, by signatures `verifyCheckpoint` verified. */
+    readonly requiredCheckpointSignatureRoles?: readonly string[];
 }
+/**
+ * Whether the key of the given signature may sign in its role, as far as the given version tells it
+ * (`RoamingNetworkCommitSignatureRoles.KeyMaySignIn` of WWCP_POI 12e993a, S24): in the role of the roaming network operator
+ * a signing key certified for it, in the role of a charging station operator a signing key of the operator its signer
+ * names. Who leads or witnesses no version says: those roles are the verifier's to judge by the keys it trusts.
+ */
+export declare function keyMaySignIn(signature: RoleSignature, version: RoamingNetwork): boolean;
 /**
  * How a history starts from a snapshot of another server (10.5, *Anchored*): only anchored in the trust anchor of its
  * roaming network, fail closed. A snapshot of a checkpoint is anchored by the checkpoint, signed as the roaming network
@@ -104,8 +125,26 @@ export declare class History {
     private anchorCheckpoint;
     /** Refuses a signed commit without a verifier of commit signatures, as `CheckSignatures` of WWCP_POI; verifies it otherwise. */
     private verifyCommitSignatures;
-    /** Refuses a signed checkpoint without a verifier of checkpoint signatures, as WWCP_POI; verifies it otherwise. */
+    /**
+     * The checkpoint as it is taken, with the signatures that verify here (`TryAddCheckpoint` and
+     * `TryVerifyCheckpointSignatures` of WWCP_POI 399b7c8, POI3-ISSUES.md S39): a signed one without a verifier of checkpoint
+     * signatures is refused, as WWCP_POI refuses it; otherwise `verifyCheckpoint` verifies it, and of the signatures it
+     * verified the first of each key and role is kept. One it did not verify, invalid or by a key not trusted here, is left
+     * out, not refused, so that nobody blocks a checkpoint by adding a signature, and a witness trusted elsewhere and not
+     * here keeps none from it. Refused when it is not signed in a required role by one that is kept, saying why the first
+     * one was left out.
+     */
     private verifyCheckpointSignatures;
+    /**
+     * Refuses a commit not signed as required, without verifying a signature (`SignedAsRequiredError`): signed without a
+     * verifier of commit signatures, or not signed in a required role.
+     */
+    private checkSignedAsRequired;
+    /**
+     * Refuses a commit not signed in a required role by a key the given version, the one it leads to, lets sign in it
+     * (`RequiredRolesError`): a role is no more than what a signature says, unless its key may sign in it.
+     */
+    private checkRequiredRoles;
     /** Refuses a commit of another epoch, identified or signed otherwise than its profiles say (`CommitEpochError`). */
     private checkCommitEpoch;
     /** Refuses a version whose operator states its keys with algorithms the epoch does not accept (`VersionEpochError`). */
@@ -130,8 +169,9 @@ export declare class History {
     /**
      * Takes the next checkpoint of the line (10.1): of this roaming network and epoch, its commit one this history holds
      * with its revision and ETags, following the latest checkpoint taken (sequence one more, naming it), its commits those
-     * since the commit of the previous checkpoint (all since the root for the first one this history takes), carrying the
-     * signatures required. A final checkpoint names the head, or the commit of the checkpoint before it alone (11.2).
+     * since the commit of the previous checkpoint (all since the root for the first one this history takes), signed in the
+     * roles required by signatures that verify here. A final checkpoint names the head, or the commit of the checkpoint
+     * before it alone (11.2). Returns it as taken: with the signatures verified here only (S39).
      */
     takeCheckpoint(value: JSONValue | Checkpoint): Checkpoint;
     /**

package/dist/history/history.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../src/history/history.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAO,KAAK,SAAS,EAAE,MAAiB,kBAAkB,CAAC;AAElE,OAAO,EAAE,cAAc,EAAE,MAAsB,8BAA8B,CAAC;AAG9E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAoB,0BAA0B,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,MAA8B,aAAa,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAA0B,iBAAiB,CAAC;AAGjE,OAAO,EAAE,aAAa,EAAsD,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAI3H,+CAA+C;AAC/C,MAAM,WAAW,OAAO;IACpB,QAAQ,CAAC,OAAO,EAAG,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAI,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC3B;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAO,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,SAAS,EAAE,KAAK,EAAE,cAAc,KAAK,IAAI,CAAC;IACjH,sGAAsG;IACtG,QAAQ,CAAC,gBAAgB,CAAC,EAAG,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC;CACjE;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACnD,2HAA2H;IAC3H,QAAQ,CAAC,WAAW,CAAC,EAAG,WAAW,CAAC;IACpC,oGAAoG;IACpG,QAAQ,CAAC,EAAE,CAAC,EAAY,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC;IAC/C;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAI,OAAO,CAAC;CACnC;AAED,yHAAyH;AACzH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;AAG1D;;;;;;GAMG;AACH,qBAAa,OAAO;aAOoB,IAAI,EAAO,OAAO;IAClC,yFAAyF;aACzE,KAAK,EAAM,KAAK;IAChC,qGAAqG;aACrF,aAAa,EAAE,SAAS,GAAG,SAAS;IACpD,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAX5C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAwB;IACjD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAqB;IACpD,OAAO,CAAC,gBAAgB,CAAS;IAEjC,OAAO;IAWP;;;;OAIG;IACH,IAAW,qBAAqB,IAAI,aAAa,GAAG,SAAS,CAE5D;IAGD,0BAA0B;IAC1B,IAAW,IAAI,IAAI,OAAO,CAEzB;IAED,oDAAoD;IACpD,IAAW,GAAG,IAAI,SAAS,OAAO,EAAE,CAEnC;IAED,6CAA6C;IAC7C,IAAW,WAAW,IAAI,SAAS,UAAU,EAAE,CAE9C;IAED,4DAA4D;IAC5D,IAAW,eAAe,IAAI,UAAU,GAAG,SAAS,CAGnD;IAED,IAAW,WAAW,IAAI,WAAW,CAEpC;IAGD;;;;;;;;;;;;;;OAcG;WACW,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,GAAE,eAAoB,GAAG,OAAO;IAiHpF;;;;OAIG;IACH,OAAO,CAAC,UAAU;IAqBlB;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAcxB,gIAAgI;IAChI,OAAO,CAAC,sBAAsB;IAU9B,mHAAmH;IACnH,OAAO,CAAC,0BAA0B;IAWlC,oHAAoH;IACpH,OAAO,CAAC,gBAAgB;IAiBxB,wHAAwH;IACxH,OAAO,CAAC,iBAAiB;IAUzB;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAmB5B,OAAO,CAAC,wBAAwB;IAiBhC,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,SAAS;IAOjB;;;;OAIG;IACI,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,GAAG,OAAO;IA+CjD,iEAAiE;IAC1D,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAKvD;;;;;OAKG;IACI,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU;IA4DhE;;;OAGG;IACI,gBAAgB,IAAI,OAAO;IAqBlC;;;;OAIG;IACI,cAAc,CAAC,OAAO,GAAE,cAA6B,GAAG,OAAO;CAczE"}
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../src/history/history.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA0B,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAI1E,OAAO,EAAE,cAAc,EAAE,MAAsB,8BAA8B,CAAC;AAG9E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAoB,0BAA0B,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAiF,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AACxI,OAAO,EAAE,UAAU,EAAE,MAA0B,iBAAiB,CAAC;AAGjE,OAAO,EAAE,aAAa,EAAsD,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAqC3H,+CAA+C;AAC/C,MAAM,WAAW,OAAO;IACpB,QAAQ,CAAC,OAAO,EAAG,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAI,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC3B;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAO,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,SAAS,EAAE,KAAK,EAAE,cAAc,KAAK,IAAI,CAAC;IACjH;;;;;;OAMG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAG,CAAC,UAAU,EAAE,UAAU,KAAK,SAAS,aAAa,EAAE,GAAG,SAAS,CAAC;IAC9F;;;;OAIG;IACH,QAAQ,CAAC,sBAAsB,CAAC,EAAa,SAAS,MAAM,EAAE,CAAC;IAC/D,uIAAuI;IACvI,QAAQ,CAAC,gCAAgC,CAAC,EAAG,SAAS,MAAM,EAAE,CAAC;CAClE;AAGD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,GAAG,OAAO,CAmBvF;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACnD,2HAA2H;IAC3H,QAAQ,CAAC,WAAW,CAAC,EAAG,WAAW,CAAC;IACpC,oGAAoG;IACpG,QAAQ,CAAC,EAAE,CAAC,EAAY,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC;IAC/C;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAI,OAAO,CAAC;CACnC;AAED,yHAAyH;AACzH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;AAG1D;;;;;;GAMG;AACH,qBAAa,OAAO;aAOoB,IAAI,EAAO,OAAO;IAClC,yFAAyF;aACzE,KAAK,EAAM,KAAK;IAChC,qGAAqG;aACrF,aAAa,EAAE,SAAS,GAAG,SAAS;IACpD,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAX5C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAwB;IACjD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAqB;IACpD,OAAO,CAAC,gBAAgB,CAAS;IAEjC,OAAO;IAWP;;;;OAIG;IACH,IAAW,qBAAqB,IAAI,aAAa,GAAG,SAAS,CAE5D;IAGD,0BAA0B;IAC1B,IAAW,IAAI,IAAI,OAAO,CAEzB;IAED,oDAAoD;IACpD,IAAW,GAAG,IAAI,SAAS,OAAO,EAAE,CAEnC;IAED,6CAA6C;IAC7C,IAAW,WAAW,IAAI,SAAS,UAAU,EAAE,CAE9C;IAED,4DAA4D;IAC5D,IAAW,eAAe,IAAI,UAAU,GAAG,SAAS,CAGnD;IAED,IAAW,WAAW,IAAI,WAAW,CAEpC;IAGD;;;;;;;;;;;;;;OAcG;WACW,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,GAAE,eAAoB,GAAG,OAAO;IAqHpF;;;;OAIG;IACH,OAAO,CAAC,UAAU;IAqBlB;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAcxB,gIAAgI;IAChI,OAAO,CAAC,sBAAsB;IAU9B;;;;;;;;OAQG;IACH,OAAO,CAAC,0BAA0B;IAmClC;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAW7B;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAS1B,oHAAoH;IACpH,OAAO,CAAC,gBAAgB;IAiBxB,wHAAwH;IACxH,OAAO,CAAC,iBAAiB;IAUzB;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAmB5B,OAAO,CAAC,wBAAwB;IAiBhC,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,SAAS;IAOjB;;;;OAIG;IACI,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,GAAG,OAAO;IAoDjD,iEAAiE;IAC1D,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAKvD;;;;;;OAMG;IACI,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU;IA4DhE;;;OAGG;IACI,gBAAgB,IAAI,OAAO;IAqBlC;;;;OAIG;IACI,cAAc,CAAC,OAAO,GAAE,cAA6B,GAAG,OAAO;CAczE"}

package/dist/history/preconditions.d.ts

@@ -0,0 +1,22 @@
+import { type JSONObject, type JSONValue } from '../json/value.ts';
+import { type ETag } from '../etags.ts';
+/** The context of a precondition, where it is given. */
+export declare const PRECONDITION_CONTEXT: string;
+/** A precondition of a change set: the entity of a type and identification still has the given ETag. */
+export interface Precondition {
+    readonly entityType: string;
+    readonly entityId: string;
+    readonly eTag: ETag;
+}
+/**
+ * The preconditions of a change set as WWCP_POI3 reads them (`RoamingNetworkPrecondition.TryParse`): an array of objects,
+ * each with its entity type and identification and its ETag, written in hex; refused in its words, which name only the
+ * index of the precondition it does not read.
+ */
+export declare function parsePreconditions(value: JSONValue | undefined): Precondition[];
+/**
+ * The error, when a precondition does not hold in the given content of a version (`TryCheckPreconditions`): the entity it
+ * names does not exist, or has another ETag.
+ */
+export declare function brokenPrecondition(content: JSONObject, preconditions: readonly Precondition[]): string | undefined;
+//# sourceMappingURL=preconditions.d.ts.map

package/dist/history/preconditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"preconditions.d.ts","sourceRoot":"","sources":["../../src/history/preconditions.ts"],"names":[],"mappings":"AAmBA,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE3F,OAAO,EAA6C,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAanF,wDAAwD;AACxD,eAAO,MAAM,oBAAoB,QAAoD,CAAC;AAEtF,wGAAwG;AACxG,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,UAAU,EAAG,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAK,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAS,IAAI,CAAC;CAC9B;AAGD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,YAAY,EAAE,CAiC/E;AAyGD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,YAAY,EAAE,GAAG,MAAM,GAAG,SAAS,CAqBlH"}

package/dist/index.d.ts

@@ -24,11 +24,11 @@ export { hash, type HashAlgorithm } from './crypto/hash.ts';
 export { SIGNATURE_ALGORITHMS, verifySignature, type SignatureAlgorithm } from './crypto/signature.ts';
 export { KeyUsages, POIPublicKey, type KeyUsage } from './keys.ts';
 export { cborETag, etagToJSON, etagToText, jsonETag, parseETag, parseETags, sameETag, sameETags, type ETag, type ETagFormat } from './etags.ts';
-export { auditPath, leafHash, merkleRoot, merkleRootOfLeafHashes, nodeHash, rootFromAuditPath } from './merkle.ts';
+export { auditPath, leafHash, merkleRoot, merkleRootOfLeafHashes, nodeHash, rootFromAuditPath, type MerkleTreeHead } from './merkle.ts';
 export { RoamingNetwork, RoamingNetworkOperator, ROAMING_NETWORK_CONTEXT } from './network/roamingNetwork.ts';
 export { EV_TALER_EXCHANGE_CONTEXT, EV_TALER_MERCHANT_CONTEXT, EV_TALER_PAYMENT_MEANS, EV_TALER_PAYMENT_OPTION, evTalerMerchantOf, isTalerPublicKey, paymentOptionName, type EVTalerExchange, type EVTalerMerchant } from './network/evTaler.ts';
 export { effectiveContent, effectiveChargingStationOperator } from './network/effective.ts';
-export { CHILD_ARRAYS, effectiveTreeETag, entityDigest, prunedTree, skeleton } from './network/tree.ts';
+export { CHILD_ARRAYS, effectiveTreeETag, entityDigest, givesCompletely, prunedTree, sizeOf, skeleton, type PrunedTree, type TreeNodeKind } from './network/tree.ts';
 export { TrustContext, type TrustEvaluation, type TrustEvaluationOptions } from './proofs/trustContext.ts';
 export { TrustAnchor, TRUST_ANCHOR_CONTEXT, TRUST_ANCHOR_QR_PREFIX, type I18NText } from './proofs/trustAnchor.ts';
 export { KeyStatement, KEY_STATEMENT_CONTEXT, type KeyStatementSignature } from './proofs/keyStatement.ts';
@@ -37,10 +37,11 @@ export { Attestation, ATTESTATION_CONTEXT } from './proofs/attestation.ts';
 export { ChargingStationProof, PROOF_CONTEXT, type VerifiedProof } from './proofs/stationProof.ts';
 export { MAX_PRICE_STATEMENT_SEQUENCE, PriceStatement, PriceStatementProof, parsePriceStatements, priceStatementChainOf, priceStatementsRoot, verifyCheckpointPriceStatements, verifyPriceStatementChain } from './proofs/priceStatement.ts';
 export { Commit, SignatureRoles, COMMIT_CONTEXT, type RoleSignature } from './history/commit.ts';
-export { ChangeSet, CHANGE_SET_CONTEXT, MERGE_CHANGE_SET_ID_PREFIX, changeSetIdentification, type Change, type ChangeKind, type ChangeSetSignature } from './history/changeSet.ts';
+export { ChangeSet, CHANGE_SET_CONTEXT, MERGE_CHANGE_SET_ID_PREFIX, changeSetIdentification, type Change, type ChangeKind, type ChangeSetSignature, type ElementPathSegment } from './history/changeSet.ts';
+export { type Precondition } from './history/preconditions.ts';
 export { applyChangeSet, checkOwnership } from './history/apply.ts';
 export { Checkpoint, CheckpointProof, commitsRoot, CHECKPOINT_CONTEXT } from './history/checkpoint.ts';
-export { History, type EpochStatus, type HistoryOptions, type SnapshotOptions, type Version } from './history/history.ts';
+export { History, keyMaySignIn, type EpochStatus, type HistoryOptions, type SnapshotOptions, type Version } from './history/history.ts';
 export { EpochProfiles, FIRST_EPOCH, parseEpoch, parseEpochLink, sameEpoch, EPOCH_CONTEXT, EPOCH_LINK_CONTEXT, EPOCH_PROFILES_CONTEXT, STYX_CANONICAL_JSON, type Epoch, type EpochLink } from './history/epoch.ts';
 export { ArchiveSegment, parseArchiveSegmentInfo, verifySegmentLine, type ArchiveSegmentInfo } from './history/archive.ts';
 export { QIDigitalDocument, QIDigitalSignature } from './qidigital/document.ts';
@@ -53,6 +54,12 @@ export { OperatorTrust } from './verifier/trust.ts';
 export { verifyVersion, describeVersion, type VerifiedVersion } from './verifier/version.ts';
 export { verifyChargingStation, verifyPriceStatements, type Manufactured, type NamedCertificate, type NamedTransparencySoftware, type VerifiedChargingStation, type VerifiedPrice } from './verifier/chargingStation.ts';
 export { evTalerExchangesAt, evTalerTariffOf } from './verifier/evTaler.ts';
+export { EVTalerRates, NetDecimal, minorUnitDigits, roundToNearest, roundUp, talerAmountOf, writeAmount, writeDecimal } from './evTaler/amounts.ts';
+export { EVTalerSignedMeterValue, verifyMeterValue, type EVTalerMeasurementKey, type EVTalerMeterReading, type EVTalerMeterValueVerifier, type EVTalerVerifiedMeterValue } from './evTaler/meterValue.ts';
+export { EVTalerCovers, EVTalerStep, EV_TALER_STEP_CONTEXT, isEVTalerSessionId, type EVTalerCoversUnit, type EVTalerStepData } from './evTaler/step.ts';
+export { EVTalerPayURI, sameBaseURL } from './evTaler/payURI.ts';
+export { EVTalerAmountChecks, EVTalerContractTerms, evTalerTariff, type EVTalerAmountCheck, type EVTalerContractExchange, type EVTalerVerifiedStep } from './evTaler/contractTerms.ts';
+export { EVTalerSettlement, EV_TALER_SETTLEMENT_CONTEXT, type EVTalerSettledOrder, type EVTalerSettlementVerification } from './evTaler/settlement.ts';
 export { parseTrustedWitnesses, verifyCheckpointLine, verifyCheckpointSignatures, type CheckpointSignatures, type TrustedWitness } from './verifier/checkpoints.ts';
 export { parseEvidence, verifyEvidence, type Evidence, type VerifiedEvidence } from './verifier/evidence.ts';
 export { POIClient, type CheckedChargingStation, type Fetch } from './client.ts';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAiBA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,MAA0B,aAAa,CAAC;AAGhF,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAA6B,mBAAmB,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,cAAc,EAAE,MAAa,iBAAiB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACrG,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5I,OAAO,EAAE,UAAU,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxG,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,MAAY,aAAa,CAAC;AAGhF,OAAO,EAAE,IAAI,EAAE,KAAK,aAAa,EAAE,MAA+B,kBAAkB,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACvG,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAiB,WAAW,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,IAAI,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAChJ,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,sBAAsB,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAGnH,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAC9G,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACjP,OAAO,EAAE,gBAAgB,EAAE,gCAAgC,EAAE,MAAM,wBAAwB,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAGxG,OAAO,EAAE,YAAY,EAAE,KAAK,eAAe,EAAE,KAAK,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAC3G,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,KAAK,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnH,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAC3G,OAAO,EAAE,qBAAqB,EAAE,+BAA+B,EAAE,MAAM,mCAAmC,CAAC;AAC3G,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAuB,yBAAyB,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EAAE,4BAA4B,EAAE,cAAc,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,+BAA+B,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAG7O,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACjG,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,uBAAuB,EAAE,KAAK,MAAM,EAAE,KAAK,UAAU,EAAE,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACnL,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAyB,oBAAoB,CAAC;AACvF,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACvG,OAAO,EAAE,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,cAAc,EAAE,KAAK,eAAe,EAAE,KAAK,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACnN,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAG3H,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAiB,yBAAyB,CAAC;AAC3F,OAAO,EAAE,6BAA6B,EAAE,oBAAoB,EAAE,SAAS,EAAE,YAAY,EAAE,yBAAyB,EAAE,KAAK,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC7L,OAAO,EAAE,8BAA8B,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,UAAU,EAAE,MAAM,wCAAwC,CAAC;AAC9I,OAAO,EAAE,8BAA8B,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1G,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,yBAAyB,EAAE,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC7S,OAAO,EAAE,gBAAgB,EAAE,KAAK,QAAQ,IAAI,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAG3F,OAAO,EAAE,aAAa,EAAE,MAA0C,qBAAqB,CAAC;AACxF,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7F,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,KAAK,yBAAyB,EAAE,KAAK,uBAAuB,EAAE,KAAK,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACzN,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AACpK,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,KAAK,QAAQ,EAAE,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC7G,OAAO,EAAE,SAAS,EAAE,KAAK,sBAAsB,EAAE,KAAK,KAAK,EAAE,MAAM,aAAa,CAAC;AACjF,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,KAAK,SAAS,EAAE,KAAK,kBAAkB,EAAE,KAAK,iBAAiB,EAAE,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAEtP,OAAO,EAAE,yBAAyB,EAAE,cAAc,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,KAAK,oBAAoB,EAAE,KAAK,qBAAqB,EAAE,KAAK,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAE/N,cAAc,sCAAsC,CAAC;AAErD,cAAc,6BAA6B,CAAC;AAE5C,cAAc,gCAAgC,CAAC;AAE/C,cAAc,4BAA4B,CAAC;AAE3C,cAAc,gCAAgC,CAAC;AAE/C,cAAc,gCAAgC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAiBA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,MAA0B,aAAa,CAAC;AAGhF,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAA6B,mBAAmB,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,cAAc,EAAE,MAAa,iBAAiB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACrG,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5I,OAAO,EAAE,UAAU,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxG,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,MAAY,aAAa,CAAC;AAGhF,OAAO,EAAE,IAAI,EAAE,KAAK,aAAa,EAAE,MAA+B,kBAAkB,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACvG,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAiB,WAAW,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,IAAI,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAChJ,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,sBAAsB,EAAE,QAAQ,EAAE,iBAAiB,EAAE,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAGxI,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAC9G,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACjP,OAAO,EAAE,gBAAgB,EAAE,gCAAgC,EAAE,MAAM,wBAAwB,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,YAAY,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGrK,OAAO,EAAE,YAAY,EAAE,KAAK,eAAe,EAAE,KAAK,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAC3G,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,KAAK,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnH,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAC3G,OAAO,EAAE,qBAAqB,EAAE,+BAA+B,EAAE,MAAM,mCAAmC,CAAC;AAC3G,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAuB,yBAAyB,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EAAE,4BAA4B,EAAE,cAAc,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,+BAA+B,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAG7O,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACjG,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,uBAAuB,EAAE,KAAK,MAAM,EAAE,KAAK,UAAU,EAAE,KAAK,kBAAkB,EAAE,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5M,OAAO,EAAE,KAAK,YAAY,EAAE,MAAsC,4BAA4B,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAyB,oBAAoB,CAAC;AACvF,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACvG,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,WAAW,EAAE,KAAK,cAAc,EAAE,KAAK,eAAe,EAAE,KAAK,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACxI,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACnN,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAG3H,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAiB,yBAAyB,CAAC;AAC3F,OAAO,EAAE,6BAA6B,EAAE,oBAAoB,EAAE,SAAS,EAAE,YAAY,EAAE,yBAAyB,EAAE,KAAK,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC7L,OAAO,EAAE,8BAA8B,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,UAAU,EAAE,MAAM,wCAAwC,CAAC;AAC9I,OAAO,EAAE,8BAA8B,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1G,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,yBAAyB,EAAE,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC7S,OAAO,EAAE,gBAAgB,EAAE,KAAK,QAAQ,IAAI,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAG3F,OAAO,EAAE,aAAa,EAAE,MAA0C,qBAAqB,CAAC;AACxF,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7F,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,KAAK,yBAAyB,EAAE,KAAK,uBAAuB,EAAE,KAAK,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACzN,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAG5E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,cAAc,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpJ,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,KAAK,qBAAqB,EAAE,KAAK,mBAAmB,EAAE,KAAK,yBAAyB,EAAE,KAAK,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AAC1M,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACxJ,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,aAAa,EAAE,KAAK,kBAAkB,EAAE,KAAK,uBAAuB,EAAE,KAAK,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACvL,OAAO,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,KAAK,mBAAmB,EAAE,KAAK,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AACvJ,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AACpK,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,KAAK,QAAQ,EAAE,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC7G,OAAO,EAAE,SAAS,EAAE,KAAK,sBAAsB,EAAE,KAAK,KAAK,EAAE,MAAM,aAAa,CAAC;AACjF,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,KAAK,SAAS,EAAE,KAAK,kBAAkB,EAAE,KAAK,iBAAiB,EAAE,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAEtP,OAAO,EAAE,yBAAyB,EAAE,cAAc,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,KAAK,oBAAoB,EAAE,KAAK,qBAAqB,EAAE,KAAK,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAE/N,cAAc,sCAAsC,CAAC;AAErD,cAAc,6BAA6B,CAAC;AAE5C,cAAc,gCAAgC,CAAC;AAE/C,cAAc,4BAA4B,CAAC;AAE3C,cAAc,gCAAgC,CAAC;AAE/C,cAAc,gCAAgC,CAAC"}