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

package/dist/evTaler/amounts.d.ts

@@ -0,0 +1,89 @@
+import { Decimal } from '../json/decimal.ts';
+import { type JSONObject } from '../json/value.ts';
+import type { EVTalerCovers } from './step.ts';
+/**
+ * A number as System.Decimal holds and calculates it: a mantissa below 2^96 and at most 28 decimal places; a result it can
+ * not hold exactly rounded half to even, to as many places as it holds (DecCalc of .NET).
+ */
+export declare class NetDecimal {
+    readonly mantissa: bigint;
+    readonly scale: number;
+    private constructor();
+    static readonly ZERO: NetDecimal;
+    /** The given mantissa and scale, rounded half to even to what System.Decimal holds. */
+    private static fitted;
+    static of(value: number | bigint | Decimal): NetDecimal;
+    /** A text of digits, as `Decimal.TryParse` with `NumberStyles.AllowDecimalPoint` reads it; undefined beyond its range. */
+    static parse(text: string): NetDecimal | undefined;
+    /** An exact quotient of integers, e.g. milliseconds as seconds. */
+    static ofFraction(mantissa: bigint, scale: number): NetDecimal;
+    private aligned;
+    plus(other: NetDecimal): NetDecimal;
+    minus(other: NetDecimal): NetDecimal;
+    times(other: NetDecimal): NetDecimal;
+    /** The quotient as System.Decimal divides: exact where it holds it, else rounded half to even to as many places as it holds. */
+    dividedBy(other: NetDecimal): NetDecimal;
+    compareTo(other: NetDecimal): -1 | 0 | 1;
+    equals(other: NetDecimal): boolean;
+    isNegative(): boolean;
+    /** `Math.Round` to the given number of decimal places in the given way. */
+    round(places: number, mode: 'toEven' | 'awayFromZero' | 'toPositiveInfinity' | 'toZero'): NetDecimal;
+    /** `Math.Ceiling`. */
+    ceiling(): NetDecimal;
+    /** The digits of the given number of decimal places, as `ToString("F" + places)` writes a value that has no more. */
+    toFixed(places: number): string;
+    /** As `ToString("0.############################")` writes it: without trailing zeros, "-0" as "0". */
+    toString(): string;
+}
+/** The number of decimal digits of the minor unit of the given ISO 4217 currency: 2 unless it is known otherwise. */
+export declare const minorUnitDigits: (currency: string) => number;
+/** The given value rounded up to the minor unit of the given currency, as the amount of a step. */
+export declare const roundUp: (value: NetDecimal, currency: string) => NetDecimal;
+/** The given value rounded to the nearest minor unit of the given currency, half away from zero, as the price of a session. */
+export declare const roundToNearest: (value: NetDecimal, currency: string) => NetDecimal;
+/** The given amount with the digits of the minor unit of its currency, e.g. "3.20", or with all of its digits where it has more. */
+export declare function writeAmount(value: NetDecimal, currency: string): string;
+/** The given value as a text without trailing zeros, e.g. "13.412". */
+export declare const writeDecimal: (value: NetDecimal) => string;
+/**
+ * An amount as GNU Taler writes it, e.g. "EUR:3.25": a currency of at most 11 letters, no sign, at most 8 fractional
+ * digits, an integer part of at most 2^52; its error otherwise, as WWCP_POI words it.
+ */
+export declare function talerAmountOf(text: string | undefined): {
+    currency: string;
+    value: NetDecimal;
+} | string;
+/** The given property as a decimal written as a text, not negative, e.g. "13.412"; its error otherwise. */
+export declare function decimalTextOf(json: JSONObject, name: string): NetDecimal | string;
+/**
+ * The gross rates an EV Taler session is priced by, where its prices are those of the simple profile (`EVTalerRates`): one
+ * element, without restrictions, of ENERGY, TIME and FLAT components each at most once, with their VAT added; no minimum
+ * or maximum price. A session of other prices is paid in steps all the same, but its amounts and its price are not
+ * recalculated by a reader.
+ */
+export declare class EVTalerRates {
+    readonly currency: string;
+    /** The gross price of a kWh, if the tariff prices energy. */
+    readonly energyPerKWh: NetDecimal | undefined;
+    /** The billing increment of energy, in Wh. */
+    readonly energyStepWh: NetDecimal | undefined;
+    /** The gross price of an hour of charging, if the tariff prices time. */
+    readonly timePerHour: NetDecimal | undefined;
+    /** The billing increment of time, in seconds. */
+    readonly timeStepSeconds: NetDecimal | undefined;
+    /** The gross flat fee, if any. */
+    readonly flatFee: NetDecimal | undefined;
+    private constructor();
+    /** The rates of the simple profile of the given elements of the given charging tariff, or why there are none. */
+    static of(currency: string, tariff: JSONObject, elements: readonly JSONObject[]): EVTalerRates | {
+        readonly reason: string;
+    };
+    /** The price of what a step covers, rounded up to the minor unit: its kWh at the price of energy, its minutes at the price of time. */
+    stepPrice(covers: EVTalerCovers): NetDecimal | string;
+    /**
+     * The price of a session of the given energy, in kWh, and duration, in milliseconds: the flat fee, the energy and the
+     * time each billed in its increments, rounded to the nearest minor unit of the currency.
+     */
+    sessionPrice(energy: NetDecimal, durationMs: number): NetDecimal;
+}
+//# sourceMappingURL=amounts.d.ts.map

package/dist/evTaler/amounts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amounts.d.ts","sourceRoot":"","sources":["../../src/evTaler/amounts.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAA0B,KAAK,UAAU,EAAkB,MAAM,kBAAkB,CAAC;AAC3F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAqC/C;;;GAGG;AACH,qBAAa,UAAU;aAGC,QAAQ,EAAG,MAAM;aACjB,KAAK,EAAM,MAAM;IAFrC,OAAO;IAKP,gBAAuB,IAAI,aAAyB;IAEpD,uFAAuF;IACvF,OAAO,CAAC,MAAM,CAAC,MAAM;WAcP,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU;IAM9D,0HAA0H;WAC5G,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAmBzD,mEAAmE;WACrD,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU;IAIrE,OAAO,CAAC,OAAO;IAKR,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU;IAKnC,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU;IAKpC,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU;IAI3C,gIAAgI;IACzH,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU;IAmCxC,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAKxC,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO;IAIlC,UAAU,IAAI,OAAO;IAI5B,2EAA2E;IACpE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,cAAc,GAAG,oBAAoB,GAAG,QAAQ,GAAG,UAAU;IAyB3G,sBAAsB;IACf,OAAO,IAAI,UAAU;IAI5B,qHAAqH;IAC9G,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAKtC,sGAAsG;IAC/F,QAAQ,IAAI,MAAM;CAc5B;AAwBD,qHAAqH;AACrH,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,KAAG,MACjB,CAAC;AAEnC,mGAAmG;AACnG,eAAO,MAAM,OAAO,GAAI,OAAO,UAAU,EAAE,UAAU,MAAM,KAAG,UACE,CAAC;AAEjE,+HAA+H;AAC/H,eAAO,MAAM,cAAc,GAAI,OAAO,UAAU,EAAE,UAAU,MAAM,KAAG,UACX,CAAC;AAE3D,oIAAoI;AACpI,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGvE;AAED,uEAAuE;AACvE,eAAO,MAAM,YAAY,GAAI,OAAO,UAAU,KAAG,MAC7B,CAAC;AAErB;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,MAAM,CAUxG;AAED,2GAA2G;AAC3G,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,CAOjF;AAQD;;;;;GAKG;AACH,qBAAa,YAAY;aAGD,QAAQ,EAAU,MAAM;IACxC,6DAA6D;aAC7C,YAAY,EAAM,UAAU,GAAG,SAAS;IACxD,8CAA8C;aAC9B,YAAY,EAAM,UAAU,GAAG,SAAS;IACxD,yEAAyE;aACzD,WAAW,EAAO,UAAU,GAAG,SAAS;IACxD,iDAAiD;aACjC,eAAe,EAAG,UAAU,GAAG,SAAS;IACxD,kCAAkC;aAClB,OAAO,EAAW,UAAU,GAAG,SAAS;IAX5D,OAAO;IAcP,iHAAiH;WACnG,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,YAAY,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE;IA0DnI,uIAAuI;IAChI,SAAS,CAAC,MAAM,EAAE,aAAa,GAAG,UAAU,GAAG,MAAM;IAgB5D;;;OAGG;IACI,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU;CAiB1E"}

package/dist/evTaler/contractTerms.d.ts

@@ -0,0 +1,126 @@
+import { type JSONObject, type JSONValue } from '../json/value.ts';
+import { type EVTalerMerchant } from '../network/evTaler.ts';
+import { type VerifiedChargingStation, type VerifiedPrice } from '../verifier/chargingStation.ts';
+import { EVTalerRates, NetDecimal } from './amounts.ts';
+import { type EVTalerMeterValueVerifier, type EVTalerVerifiedMeterValue } from './meterValue.ts';
+import { type EVTalerPayURI } from './payURI.ts';
+import { EVTalerStep } from './step.ts';
+/** How exactly a reader checked the amount of a step (`EVTalerAmountChecks`). */
+export declare const EVTalerAmountChecks: {
+    /** What the step covers at the price of the session, rounded up to the minor unit; in step 1 with the flat fee, the reserve as the rest. */
+    readonly Exact: "exact";
+    /** The session is priced by energy and time: the amount is at least what the step covers, the rest an estimate (5.1). */
+    readonly Estimate: "estimate";
+    /** The prices of the session are not of the simple profile: the amount is not recalculated. */
+    readonly Unsupported: "unsupported";
+};
+export type EVTalerAmountCheck = typeof EVTalerAmountChecks[keyof typeof EVTalerAmountChecks];
+/** A step of an EV Taler session as its contract terms and a station proof establish it (`EVTalerVerifiedStep`, 7). */
+export interface EVTalerVerifiedStep {
+    readonly terms: EVTalerContractTerms;
+    readonly step: EVTalerStep;
+    /** The operator's merchant, as the proof gives it. */
+    readonly merchant: EVTalerMerchant;
+    /** The EV Taler tariff of the EVSE, as the proof gives it. */
+    readonly tariff: JSONObject;
+    readonly currency: string;
+    /** The price statement that prices the session, if any. */
+    readonly priceStatement: VerifiedPrice | undefined;
+    /** The elements that price the session: of the price statement, else of the tariff. */
+    readonly elements: readonly JSONObject[];
+    /** The rates of the simple profile, if the elements are of it. */
+    readonly rates: EVTalerRates | undefined;
+    /** When step 1 was made: the time its price statement is current at, in milliseconds since 1970. */
+    readonly sessionStarted: number;
+    /** What the step covers at the price of its dimension, if recalculated. */
+    readonly stepPrice: NetDecimal | undefined;
+    /** The flat fee, in step 1, if recalculated. */
+    readonly flatFee: NetDecimal | undefined;
+    /** The reserve, in step 1, if recalculated: the amount less the step and the flat fee. */
+    readonly reserve: NetDecimal | undefined;
+    readonly amountCheck: EVTalerAmountCheck;
+    /** From step 2 on: the signed meter value at the start, verified. */
+    readonly start: EVTalerVerifiedMeterValue | undefined;
+    /** What a reader should know. */
+    readonly diagnostics: readonly string[];
+}
+/** An exchange of contract terms: its base URL and its master public key. */
+export interface EVTalerContractExchange {
+    readonly url: string;
+    readonly masterPublicKey: string;
+}
+/**
+ * The contract terms of a step of an EV Taler session, as GNU Taler's merchant backend makes them and its instance signs
+ * them (contract terms of version 0): what WWCP_POI reads of them, the rest kept as given.
+ */
+export declare class EVTalerContractTerms {
+    /** The contract terms, as given. */
+    readonly json: JSONObject;
+    readonly orderId: string;
+    readonly currency: string;
+    readonly amount: NetDecimal;
+    /** The base URL of the merchant instance. */
+    readonly merchantBaseURL: string;
+    /** The public key of the merchant instance, which signed the contract terms. */
+    readonly merchantPublicKey: string;
+    /** The exchanges the merchant accepts. */
+    readonly exchanges: readonly EVTalerContractExchange[];
+    /** When the contract terms were made, in milliseconds since 1970. */
+    readonly timestamp: number;
+    /** Until when the step can be paid. */
+    readonly payDeadline: number;
+    /** Until when the step can be refunded. */
+    readonly refundDeadline: number;
+    /** How long the wallet asks for a refund by itself, in microseconds, Infinity for "forever"; undefined if not at all. */
+    readonly autoRefund: number | undefined;
+    /** The step in WWCP terms: "extra": { "wwcp": … }. */
+    readonly step: EVTalerStep;
+    private constructor();
+    /**
+     * Reads the given contract terms of a step (`EVTalerContractTerms.TryParse`): of version 0, with an order, an amount and
+     * a maximum fee in one currency, the merchant's base URL and public key, at least one exchange, the times GNU Taler
+     * writes as { "t_s": … }, and the step in "extra": { "wwcp": … }. Refused in the words of WWCP_POI.
+     */
+    static parse(json: JSONValue | undefined): EVTalerContractTerms;
+    /**
+     * Checks these contract terms of a step against a verified charging station (`EVTalerContractTerms.TryVerify`,
+     * concepts/EVTaler.md 6 and 7): the merchant and its exchanges are those of the operator's evTaler in the currency of
+     * the EVSE's EV Taler tariff; the step names the roaming network, an EVSE of the station, that tariff and the price
+     * statement current when the session began; it follows the step before, or is step 1; from step 2 on, the signed start
+     * value is verified with a measurement key the proof gives; the amount is the step at the price of the session, where
+     * the prices are of the simple profile; the refund deadline is after the payment deadline, and the wallet picks a refund
+     * up by itself. Refused in the words of WWCP_POI.
+     *
+     * @param priceStatements  The price statements the app holds of the station, its pool and its EVSEs, as JSON.
+     * @param previous         The step before, verified; none for step 1.
+     * @param verifier         A transparency software verifying signed meter values, from step 2 on.
+     * @param payURI           The taler://pay URI of the offer, if the app has it as well.
+     */
+    verify(station: VerifiedChargingStation, priceStatements: JSONValue, previous: EVTalerVerifiedStep | undefined, verifier: EVTalerMeterValueVerifier | undefined, payURI?: EVTalerPayURI): EVTalerVerifiedStep;
+}
+/** What prices a session at an EVSE (`EVTalerContractTerms.TryGetSessionPrices`): its tariff, a price statement, the elements. */
+export interface EVTalerSessionPrices {
+    /** The EV Taler tariff of the EVSE, as the proof gives it. */
+    readonly tariff: JSONObject;
+    /** The price statement that prices the session, if any. */
+    readonly priceStatement?: VerifiedPrice;
+    /** The elements that price the session: of the price statement, else of the tariff. */
+    readonly elements: readonly JSONObject[];
+}
+/**
+ * What prices a session at the given EVSE that begins at the given time, as the backend of an operator makes its steps
+ * and `verify` checks them (`EVTalerContractTerms.TryGetSessionPrices` of WWCP_POI 62390ca, concepts/EVTaler.md 4.3): the
+ * EV Taler tariff of the EVSE, the price statement current then that prices it, the one of an EVSE before the one of the
+ * station before the one of its pool, if there is one, and the elements, of that statement or else of the tariff itself.
+ * Refused in the words of WWCP_POI where there is no EV Taler tariff or the price statements do not verify.
+ *
+ * @param priceStatements  The price statements of the station, its pool and its EVSEs, as JSON.
+ */
+export declare function evTalerSessionPrices(station: VerifiedChargingStation, evseId: string, priceStatements: JSONValue, at: number | Date | string): EVTalerSessionPrices;
+/**
+ * The EV Taler tariff of the given EVSE, as the proof gives its tariffs (`EVTalerContractTerms.TryGetEVTalerTariff`, 4.3):
+ * the first of the type AD_HOC_PAYMENT, else the first without a type, with a currency, naming no payment means or
+ * EV_TALER among them; refused in the words of WWCP_POI otherwise.
+ */
+export declare function evTalerTariff(station: VerifiedChargingStation, evseId: string): JSONObject;
+//# sourceMappingURL=contractTerms.d.ts.map

package/dist/evTaler/contractTerms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractTerms.d.ts","sourceRoot":"","sources":["../../src/evTaler/contractTerms.ts"],"names":[],"mappings":"AAmBA,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC3F,OAAO,EAAuC,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGlG,OAAO,EAAyB,KAAK,uBAAuB,EAAE,KAAK,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACzH,OAAO,EAAE,YAAY,EAAE,UAAU,EAA8B,MAAM,cAAc,CAAC;AACpF,OAAO,EAAoB,KAAK,yBAAyB,EAAE,KAAK,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AACnH,OAAO,EAAe,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAOxC,iFAAiF;AACjF,eAAO,MAAM,mBAAmB;IAC5B,4IAA4I;;IAE5I,yHAAyH;;IAEzH,+FAA+F;;CAEzF,CAAC;AAEX,MAAM,MAAM,kBAAkB,GAAG,OAAO,mBAAmB,CAAC,MAAM,OAAO,mBAAmB,CAAC,CAAC;AAE9F,uHAAuH;AACvH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,KAAK,EAAY,oBAAoB,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAa,WAAW,CAAC;IACtC,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,EAAS,eAAe,CAAC;IAC1C,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAW,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAS,MAAM,CAAC;IACjC,2DAA2D;IAC3D,QAAQ,CAAC,cAAc,EAAG,aAAa,GAAG,SAAS,CAAC;IACpD,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,EAAS,SAAS,UAAU,EAAE,CAAC;IAChD,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAY,YAAY,GAAG,SAAS,CAAC;IACnD,oGAAoG;IACpG,QAAQ,CAAC,cAAc,EAAG,MAAM,CAAC;IACjC,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,EAAQ,UAAU,GAAG,SAAS,CAAC;IACjD,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAU,UAAU,GAAG,SAAS,CAAC;IACjD,0FAA0F;IAC1F,QAAQ,CAAC,OAAO,EAAU,UAAU,GAAG,SAAS,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAM,kBAAkB,CAAC;IAC7C,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAY,yBAAyB,GAAG,SAAS,CAAC;IAChE,iCAAiC;IACjC,QAAQ,CAAC,WAAW,EAAM,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,6EAA6E;AAC7E,MAAM,WAAW,uBAAuB;IACpC,QAAQ,CAAC,GAAG,EAAe,MAAM,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAG,MAAM,CAAC;CACrC;AA8BD;;;GAGG;AACH,qBAAa,oBAAoB;IAGzB,oCAAoC;aACpB,IAAI,EAAgB,UAAU;aAC9B,OAAO,EAAa,MAAM;aAC1B,QAAQ,EAAY,MAAM;aAC1B,MAAM,EAAc,UAAU;IAC9C,6CAA6C;aAC7B,eAAe,EAAK,MAAM;IAC1C,gFAAgF;aAChE,iBAAiB,EAAG,MAAM;IAC1C,0CAA0C;aAC1B,SAAS,EAAW,SAAS,uBAAuB,EAAE;IACtE,qEAAqE;aACrD,SAAS,EAAW,MAAM;IAC1C,uCAAuC;aACvB,WAAW,EAAS,MAAM;IAC1C,2CAA2C;aAC3B,cAAc,EAAM,MAAM;IAC1C,yHAAyH;aACzG,UAAU,EAAU,MAAM,GAAG,SAAS;IACtD,sDAAsD;aACtC,IAAI,EAAgB,WAAW;IArBnD,OAAO;IAwBP;;;;OAIG;WACW,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,oBAAoB;IAkFtE;;;;;;;;;;;;;OAaG;IACI,MAAM,CAAC,OAAO,EAAW,uBAAuB,EACzC,eAAe,EAAG,SAAS,EAC3B,QAAQ,EAAU,mBAAmB,GAAG,SAAS,EACjD,QAAQ,EAAU,yBAAyB,GAAG,SAAS,EACvD,MAAM,CAAC,EAAW,aAAa,GAAG,mBAAmB;CAiKtE;AAGD,kIAAkI;AAClI,MAAM,WAAW,oBAAoB;IACjC,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAY,UAAU,CAAC;IACtC,2DAA2D;IAC3D,QAAQ,CAAC,cAAc,CAAC,EAAG,aAAa,CAAC;IACzC,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,EAAU,SAAS,UAAU,EAAE,CAAC;CACpD;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,oBAAoB,CAsBnK;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAkB1F"}

package/dist/evTaler/meterValue.d.ts

@@ -0,0 +1,65 @@
+import { type JSONObject, type JSONValue } from '../json/value.ts';
+import type { VerifiedChargingStation } from '../verifier/chargingStation.ts';
+import type { NetDecimal } from './amounts.ts';
+/** What a transparency software reads from a signed meter value it verified: the meter that signed it, when, the energy register in kWh. */
+export interface EVTalerMeterReading {
+    readonly meterSerialNumber: string;
+    /** When it was measured, in milliseconds since 1970. */
+    readonly timestamp: number;
+    readonly energy: NetDecimal;
+}
+/** A measurement public key a station proof gives: its identification and its key, the DER of a SubjectPublicKeyInfo. */
+export interface EVTalerMeasurementKey {
+    readonly id: string;
+    readonly key: Uint8Array;
+    readonly json: JSONObject;
+}
+/**
+ * A transparency software verifying a signed meter value with the given public key, as it knows the format of the value,
+ * e.g. OCMF (`EVTalerMeterValueVerifier`): what the value says, or an Error saying why it is not valid.
+ */
+export type EVTalerMeterValueVerifier = (value: EVTalerSignedMeterValue, key: EVTalerMeasurementKey) => EVTalerMeterReading;
+/** A signed meter value verified with a key a station proof gives for the meter of the EVSE or for the station. */
+export interface EVTalerVerifiedMeterValue {
+    readonly value: EVTalerSignedMeterValue;
+    readonly reading: EVTalerMeterReading;
+    /** The @id of the measurement public key it was verified with. */
+    readonly keyId: string;
+    /** The @id of the energy meter or the charging station whose key it is. */
+    readonly signedBy: string;
+}
+/**
+ * A signed meter value as a charging station sends it with OCPP 2.1 (SignedMeterValueType): the signed data as the meter
+ * gives it, Base64 encoded, how it is encoded and signed, and maybe the public key. It is kept and compared as sent.
+ */
+export declare class EVTalerSignedMeterValue {
+    /** The signed data, canonical Base64, as the station sent it. */
+    readonly signedMeterData: string;
+    /** How the meter encodes it, e.g. "OCMF". */
+    readonly encodingMethod: string;
+    /** How it is signed, if the station says so apart from the data. */
+    readonly signingMethod: string | undefined;
+    /** The public key, canonical Base64 of the DER of a SubjectPublicKeyInfo, if the station sent it: which key of the proof verifies it. */
+    readonly publicKey: string | undefined;
+    private constructor();
+    /** A signed meter value as a charging station sent it, refused in the words of WWCP_POI where it is no valid one. */
+    static create(signedMeterData: string, encodingMethod: string, signingMethod?: string, publicKey?: string): EVTalerSignedMeterValue;
+    /**
+     * Reads a signed meter value as OCPP 2.1 writes it (`EVTalerSignedMeterValue.TryParse`): the signed data and the public
+     * key canonical Base64, the methods nonempty texts, nothing else; refused in its words.
+     */
+    static parse(json: JSONValue | undefined): EVTalerSignedMeterValue;
+    /** As OCPP 2.1 writes it. */
+    toJSON(): JSONObject;
+    /** Whether the station sent the same, field by field. */
+    equals(other: EVTalerSignedMeterValue | undefined): boolean;
+    private invalid;
+}
+/**
+ * Verifies the given signed meter value of the given EVSE with a measurement public key the station proof gives for the
+ * energy meter of the EVSE or for the charging station (`EVTalerSignedMeterValue.TryVerify`): the one the value names by
+ * its public key, else the only one there is; no key is tried after another. The reading must name the serial number of
+ * the meter or the station whose key it is. Refused in the words of WWCP_POI.
+ */
+export declare function verifyMeterValue(station: VerifiedChargingStation, evseId: string, value: EVTalerSignedMeterValue, verifier: EVTalerMeterValueVerifier): EVTalerVerifiedMeterValue;
+//# sourceMappingURL=meterValue.d.ts.map

package/dist/evTaler/meterValue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"meterValue.d.ts","sourceRoot":"","sources":["../../src/evTaler/meterValue.ts"],"names":[],"mappings":"AAmBA,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAG3F,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAQ/C,4IAA4I;AAC5I,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,iBAAiB,EAAG,MAAM,CAAC;IACpC,wDAAwD;IACxD,QAAQ,CAAC,SAAS,EAAW,MAAM,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAc,UAAU,CAAC;CAC3C;AAED,yHAAyH;AACzH,MAAM,WAAW,qBAAqB;IAClC,QAAQ,CAAC,EAAE,EAAK,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAI,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAG,UAAU,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,KAAK,EAAE,uBAAuB,EAAE,GAAG,EAAE,qBAAqB,KAAK,mBAAmB,CAAC;AAE5H,mHAAmH;AACnH,MAAM,WAAW,yBAAyB;IACtC,QAAQ,CAAC,KAAK,EAAM,uBAAuB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAI,mBAAmB,CAAC;IACxC,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAM,MAAM,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAG,MAAM,CAAC;CAC9B;AAcD;;;GAGG;AACH,qBAAa,uBAAuB;IAG5B,iEAAiE;aACjD,eAAe,EAAG,MAAM;IACxC,6CAA6C;aAC7B,cAAc,EAAI,MAAM;IACxC,oEAAoE;aACpD,aAAa,EAAK,MAAM,GAAG,SAAS;IACpD,yIAAyI;aACzH,SAAS,EAAS,MAAM,GAAG,SAAS;IARxD,OAAO;IAWP,qHAAqH;WACvG,MAAM,CAAC,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,uBAAuB;IAQ1I;;;OAGG;WACW,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,uBAAuB;IAuBzE,6BAA6B;IACtB,MAAM,IAAI,UAAU;IAS3B,yDAAyD;IAClD,MAAM,CAAC,KAAK,EAAE,uBAAuB,GAAG,SAAS,GAAG,OAAO;IASlE,OAAO,CAAC,OAAO;CAkBlB;AAGD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAI,uBAAuB,EAClC,MAAM,EAAK,MAAM,EACjB,KAAK,EAAM,uBAAuB,EAClC,QAAQ,EAAG,yBAAyB,GAAG,yBAAyB,CA2DhG"}

package/dist/evTaler/payURI.d.ts

@@ -0,0 +1,28 @@
+import type { EVTalerMerchant } from '../network/evTaler.ts';
+/** Whether two HTTPS base URLs are the same: the host in any case, the path as written (`EVTalerPayURI.SameBaseURL`). */
+export declare function sameBaseURL(a: string, b: string): boolean;
+/**
+ * A taler://pay URI of an offer, as the merchant backend gives it (`EVTalerPayURI`):
+ * taler://pay/{merchant_host}{/merchant_prefix_path*}/{order_id}/{session_id}{?c=claim_token}{#ssid}.
+ */
+export declare class EVTalerPayURI {
+    /** The URI as given. */
+    readonly text: string;
+    /** The base URL of the merchant instance it names: https://{merchant_host}/{merchant_prefix_path}/. */
+    readonly merchantBaseURL: string;
+    readonly orderId: string;
+    /** GNU Taler's session of the order, if any; not the session of the offers server. */
+    readonly sessionId: string | undefined;
+    readonly claimToken: string | undefined;
+    private constructor();
+    /**
+     * Reads the given taler://pay URI (`EVTalerPayURI.TryParse`). Its scheme is read in any case, as QR codes write it in
+     * upper case; taler+http://, of a merchant without HTTPS, is refused. The order and GNU Taler's session are counted from
+     * the end of its path, as the merchant's path may have any number of segments. Refused in the words of WWCP_POI.
+     */
+    static parse(text: string): EVTalerPayURI;
+    /** Checks that it names the merchant instance of the given EV Taler merchant: its host in any case, its path as written. */
+    verify(merchant: EVTalerMerchant): void;
+    toString(): string;
+}
+//# sourceMappingURL=payURI.d.ts.map

package/dist/evTaler/payURI.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"payURI.d.ts","sourceRoot":"","sources":["../../src/evTaler/payURI.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAY7D,yHAAyH;AACzH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAwBzD;AAGD;;;GAGG;AACH,qBAAa,aAAa;IAGlB,wBAAwB;aACR,IAAI,EAAc,MAAM;IACxC,uGAAuG;aACvF,eAAe,EAAG,MAAM;aACxB,OAAO,EAAW,MAAM;IACxC,sFAAsF;aACtE,SAAS,EAAS,MAAM,GAAG,SAAS;aACpC,UAAU,EAAQ,MAAM,GAAG,SAAS;IARxD,OAAO;IAWP;;;;OAIG;WACW,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa;IAkDhD,4HAA4H;IACrH,MAAM,CAAC,QAAQ,EAAE,eAAe,GAAG,IAAI;IAKvC,QAAQ,IAAI,MAAM;CAI5B"}

package/dist/evTaler/settlement.d.ts

@@ -0,0 +1,85 @@
+import { type JSONObject, type JSONValue } from '../json/value.ts';
+import type { VerifiedChargingStation } from '../verifier/chargingStation.ts';
+import { NetDecimal } from './amounts.ts';
+import { type EVTalerAmountCheck, type EVTalerVerifiedStep } from './contractTerms.ts';
+import { EVTalerSignedMeterValue, type EVTalerMeterValueVerifier, type EVTalerVerifiedMeterValue } from './meterValue.ts';
+/** The JSON-LD context of a settlement statement. */
+export declare const EV_TALER_SETTLEMENT_CONTEXT: string;
+/** An order of a step of a session and what it took. */
+export interface EVTalerSettledOrder {
+    readonly orderId: string;
+    readonly amount: NetDecimal;
+}
+/** What a reader established of a settlement statement (`EVTalerSettlementVerification`, 5.4). */
+export interface EVTalerSettlementVerification {
+    readonly settlement: EVTalerSettlement;
+    /** The signed meter values at the start and at the end, verified. */
+    readonly start: EVTalerVerifiedMeterValue;
+    readonly end: EVTalerVerifiedMeterValue;
+    /** The energy of the session, in kWh: the end value less the start value. */
+    readonly energy: NetDecimal;
+    /** The price of the session by its rates, where they are of the simple profile. */
+    readonly computedPrice: NetDecimal | undefined;
+    /** Exact when the price was recalculated, else unsupported. */
+    readonly priceCheck: EVTalerAmountCheck;
+    readonly diagnostics: readonly string[];
+}
+/** The settlement statement of an EV Taler session (`EVTalerSettlement`). */
+export declare class EVTalerSettlement {
+    /** The JSON as signed. */
+    readonly json: JSONObject;
+    /** When it started: the time of the signed meter value at the start, in milliseconds since 1970. */
+    readonly start: number;
+    /** When it ended: the time of the signed meter value at the end. */
+    readonly end: number;
+    /** The signed meter values at the start and at the end, as the station sent them. */
+    readonly meterValues: readonly [EVTalerSignedMeterValue, EVTalerSignedMeterValue];
+    /** The energy, in kWh. */
+    readonly energy: NetDecimal;
+    /** The orders of the steps, in their order, and what each took. */
+    readonly orders: readonly EVTalerSettledOrder[];
+    readonly price: NetDecimal;
+    /** What the steps took together. */
+    readonly paid: NetDecimal;
+    /** What was refunded: the paid amount less the price, not less than nothing. */
+    readonly refunded: NetDecimal;
+    readonly signedAt: number;
+    private constructor();
+    private text;
+    get roamingNetworkId(): string;
+    get EVSEId(): string;
+    get sessionId(): string;
+    /** The public key of the merchant instance that took the steps, as in evTaler. */
+    get merchantPublicKey(): string;
+    get chargingTariffId(): string;
+    /** The digest of the price statement that priced it, if any. */
+    get priceStatement(): string | undefined;
+    get currency(): string;
+    /** The charging station operator signing it. */
+    get signer(): string;
+    get algorithm(): string;
+    /** The @id of the signing key. */
+    get keyId(): string;
+    /** The signature, Base64. */
+    get value(): string;
+    /**
+     * Reads the given settlement statement (`EVTalerSettlement.TryParse`): its context and role, nothing it does not know,
+     * both signed meter values, at least one order, its decimals as texts, what was paid the sum of the orders and what was
+     * refunded the paid amount less the price, not less than nothing. Refused in the words of WWCP_POI.
+     */
+    static parse(json: JSONValue | undefined): EVTalerSettlement;
+    /** The signature input: the canonical JSON of what it names, but its value. */
+    signingBytes(): Uint8Array;
+    /**
+     * Verifies this settlement statement against the verified charging station and the verified steps of its session
+     * (`EVTalerSettlement.TryVerify`, 5.4): signed by the operator with a key that may sign payments, valid when it was
+     * signed; of the merchant, EVSE, session, tariff and price statement of the steps, naming their orders and amounts; both
+     * signed meter values verified with one measurement key the proof gives, the start value the one the steps name, the end
+     * value after and not below it, the times and the energy theirs; and, where the prices are of the simple profile, the
+     * price recalculated. Refused in the words of WWCP_POI.
+     */
+    verify(station: VerifiedChargingStation, steps: readonly EVTalerVerifiedStep[], verifier: EVTalerMeterValueVerifier): EVTalerSettlementVerification;
+    /** E.g. "7.412 kWh, 5.32 EUR". */
+    toString(): string;
+}
+//# sourceMappingURL=settlement.d.ts.map

package/dist/evTaler/settlement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"settlement.d.ts","sourceRoot":"","sources":["../../src/evTaler/settlement.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAmC,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAGpG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAiB,UAAU,EAA6B,MAAM,cAAc,CAAC;AACpF,OAAO,EAAuB,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC5G,OAAO,EAAE,uBAAuB,EAAoB,KAAK,yBAAyB,EAAE,KAAK,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAU5I,qDAAqD;AACrD,eAAO,MAAM,2BAA2B,QAAyD,CAAC;AAYlG,wDAAwD;AACxD,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,OAAO,EAAG,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAI,UAAU,CAAC;CACjC;AAED,kGAAkG;AAClG,MAAM,WAAW,6BAA6B;IAC1C,QAAQ,CAAC,UAAU,EAAM,iBAAiB,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAW,yBAAyB,CAAC;IACnD,QAAQ,CAAC,GAAG,EAAa,yBAAyB,CAAC;IACnD,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAU,UAAU,CAAC;IACpC,mFAAmF;IACnF,QAAQ,CAAC,aAAa,EAAG,UAAU,GAAG,SAAS,CAAC;IAChD,+DAA+D;IAC/D,QAAQ,CAAC,UAAU,EAAM,kBAAkB,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAK,SAAS,MAAM,EAAE,CAAC;CAC9C;AAGD,6EAA6E;AAC7E,qBAAa,iBAAiB;IAGtB,0BAA0B;aACV,IAAI,EAAU,UAAU;IACxC,oGAAoG;aACpF,KAAK,EAAS,MAAM;IACpC,oEAAoE;aACpD,GAAG,EAAW,MAAM;IACpC,qFAAqF;aACrE,WAAW,EAAG,SAAS,CAAE,uBAAuB,EAAE,uBAAuB,CAAE;IAC3F,0BAA0B;aACV,MAAM,EAAQ,UAAU;IACxC,mEAAmE;aACnD,MAAM,EAAQ,SAAS,mBAAmB,EAAE;aAC5C,KAAK,EAAS,UAAU;IACxC,oCAAoC;aACpB,IAAI,EAAU,UAAU;IACxC,gFAAgF;aAChE,QAAQ,EAAM,UAAU;aACxB,QAAQ,EAAM,MAAM;IAlBxC,OAAO;IAqBP,OAAO,CAAC,IAAI;IAKZ,IAAW,gBAAgB,IAAM,MAAM,CAA0C;IACjF,IAAW,MAAM,IAAgB,MAAM,CAAgC;IACvE,IAAW,SAAS,IAAa,MAAM,CAAmC;IAC1E,kFAAkF;IAClF,IAAW,iBAAiB,IAAK,MAAM,CAA2C;IAClF,IAAW,gBAAgB,IAAM,MAAM,CAA0C;IACjF,gEAAgE;IAChE,IAAW,cAAc,IAAQ,MAAM,GAAG,SAAS,CAA6G;IAChK,IAAW,QAAQ,IAAc,MAAM,CAAkC;IACzE,gDAAgD;IAChD,IAAW,MAAM,IAAgB,MAAM,CAAgC;IACvE,IAAW,SAAS,IAAa,MAAM,CAAmC;IAC1E,kCAAkC;IAClC,IAAW,KAAK,IAAiB,MAAM,CAA+B;IACtE,6BAA6B;IAC7B,IAAW,KAAK,IAAiB,MAAM,CAA+B;IAEtE;;;;OAIG;WACW,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,iBAAiB;IAyFnE,+EAA+E;IACxE,YAAY,IAAI,UAAU;IAIjC;;;;;;;OAOG;IACI,MAAM,CAAC,OAAO,EAAI,uBAAuB,EAClC,KAAK,EAAM,SAAS,mBAAmB,EAAE,EACzC,QAAQ,EAAG,yBAAyB,GAAG,6BAA6B;IAoHlF,kCAAkC;IAC3B,QAAQ,IAAI,MAAM;CAI5B"}

package/dist/evTaler/step.d.ts

@@ -0,0 +1,72 @@
+import { type JSONObject, type JSONValue } from '../json/value.ts';
+import { NetDecimal } from './amounts.ts';
+import { EVTalerSignedMeterValue } from './meterValue.ts';
+/** The JSON-LD context of a step. */
+export declare const EV_TALER_STEP_CONTEXT: string;
+/** What a step covers: energy, in kWh, or time, in minutes. */
+export type EVTalerCoversUnit = 'kWh' | 'min';
+/** What a step of an EV Taler session pays for, counted from the start of the session: from, to, and the unit. */
+export declare class EVTalerCovers {
+    readonly from: NetDecimal;
+    readonly to: NetDecimal;
+    readonly unit: EVTalerCoversUnit;
+    private constructor();
+    /** What a step covers: from less than to, neither negative, in kWh or minutes; refused in the words of WWCP_POI otherwise. */
+    static create(from: NetDecimal | number, to: NetDecimal | number, unit: string): EVTalerCovers;
+    /** Reads what a step covers (`EVTalerCovers.TryParse`), its decimals as texts; refused in its words. */
+    static parse(json: JSONValue | undefined): EVTalerCovers;
+    /** The decimals as texts. */
+    toJSON(): JSONObject;
+    equals(other: EVTalerCovers): boolean;
+    /** E.g. "0 to 5 kWh". */
+    toString(): string;
+}
+/** Whether the given text is a session of the offers server: 128 bits, canonical base64url without padding, 22 characters. */
+export declare function isEVTalerSessionId(text: string | undefined): text is string;
+/** The data of a step: as `EVTalerStep.create` takes it. */
+export interface EVTalerStepData {
+    readonly roamingNetworkId: string;
+    readonly EVSEId: string;
+    readonly sessionId: string;
+    readonly step: number;
+    readonly previousOrderId?: string | undefined;
+    readonly chargingTariffId: string;
+    readonly priceStatement?: string | undefined;
+    readonly covers: EVTalerCovers;
+    readonly startMeterValue?: EVTalerSignedMeterValue | undefined;
+}
+/**
+ * A step of an EV Taler session in WWCP terms (`EVTalerStep`): where, which session, which step after which order, the EV
+ * Taler tariff and the price statement, what it covers, and from step 2 on the signed meter value at the start.
+ */
+export declare class EVTalerStep {
+    /** The roaming network, trimmed as its identification reads it. */
+    readonly roamingNetworkId: string;
+    /** The EVSE, as the roaming network writes it. */
+    readonly EVSEId: string;
+    /** The session at the offers server: 128 random bits, base64url. Not GNU Taler's session_id of an order. */
+    readonly sessionId: string;
+    /** The number of the step: 1, 2, … */
+    readonly step: number;
+    /** The order_id of the step before; none in step 1. */
+    readonly previousOrderId: string | undefined;
+    /** The EV Taler tariff of the EVSE (4.3). */
+    readonly chargingTariffId: string;
+    /** The digest of the price statement whose elements price the session; none when the tariff's own do. */
+    readonly priceStatement: string | undefined;
+    readonly covers: EVTalerCovers;
+    /** From step 2 on: the signed meter value at the start of the session, as the station sent it. */
+    readonly startMeterValue: EVTalerSignedMeterValue | undefined;
+    private constructor();
+    /** A step of an EV Taler session, refused in the words of WWCP_POI where it is no valid one. */
+    static create(data: EVTalerStepData): EVTalerStep;
+    /**
+     * Reads a step of an EV Taler session, the object of "extra": { "wwcp": … } (`EVTalerStep.TryParse`): its context,
+     * nothing it does not know, and the rules of `create`; refused in the words of WWCP_POI.
+     */
+    static parse(json: JSONValue | undefined): EVTalerStep;
+    /** The JSON of "extra": { "wwcp": … }. */
+    toJSON(): JSONObject;
+    private invalid;
+}
+//# sourceMappingURL=step.d.ts.map

package/dist/evTaler/step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../src/evTaler/step.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAiB,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAIlF,OAAO,EAAiB,UAAU,EAAgB,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAO1D,qCAAqC;AACrC,eAAO,MAAM,qBAAqB,QAAmD,CAAC;AAEtF,+DAA+D;AAC/D,MAAM,MAAM,iBAAiB,GAAG,KAAK,GAAG,KAAK,CAAC;AAG9C,kHAAkH;AAClH,qBAAa,aAAa;aAGF,IAAI,EAAG,UAAU;aACjB,EAAE,EAAK,UAAU;aACjB,IAAI,EAAG,iBAAiB;IAH5C,OAAO;IAMP,8HAA8H;WAChH,MAAM,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,EAAE,EAAE,EAAE,UAAU,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa;IAerG,wGAAwG;WAC1F,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,aAAa;IAwB/D,6BAA6B;IACtB,MAAM,IAAI,UAAU;IAIpB,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO;IAI5C,yBAAyB;IAClB,QAAQ,IAAI,MAAM;CAI5B;AAKD,8HAA8H;AAC9H,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,IAAI,MAAM,CAU3E;AAED,4DAA4D;AAC5D,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,gBAAgB,EAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAa,MAAM,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAU,MAAM,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAe,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAG,MAAM,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAI,MAAM,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAa,aAAa,CAAC;IAC1C,QAAQ,CAAC,eAAe,CAAC,EAAG,uBAAuB,GAAG,SAAS,CAAC;CACnE;AAGD;;;GAGG;AACH,qBAAa,WAAW;IAGhB,mEAAmE;aACnD,gBAAgB,EAAG,MAAM;IACzC,kDAAkD;aAClC,MAAM,EAAa,MAAM;IACzC,4GAA4G;aAC5F,SAAS,EAAU,MAAM;IACzC,sCAAsC;aACtB,IAAI,EAAe,MAAM;IACzC,uDAAuD;aACvC,eAAe,EAAI,MAAM,GAAG,SAAS;IACrD,6CAA6C;aAC7B,gBAAgB,EAAG,MAAM;IACzC,yGAAyG;aACzF,cAAc,EAAK,MAAM,GAAG,SAAS;aACrC,MAAM,EAAa,aAAa;IAChD,kGAAkG;aAClF,eAAe,EAAI,uBAAuB,GAAG,SAAS;IAjB1E,OAAO;IAoBP,gGAAgG;WAClF,MAAM,CAAC,IAAI,EAAE,eAAe,GAAG,WAAW;IAkBxD;;;OAGG;WACW,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,WAAW;IA0D7D,0CAA0C;IACnC,MAAM,IAAI,UAAU;IAe3B,OAAO,CAAC,OAAO;CAiClB"}

package/dist/history/apply.d.ts

@@ -1,5 +1,5 @@
 import { RoamingNetwork } from '../network/roamingNetwork.ts';
-import type { ChangeSet } from './changeSet.ts';
+import { type ChangeSet } from './changeSet.ts';
 /**
  * Checks the signatures of a change set against the version it is applied to (4.1): every signature valid, by a key of a
  * party of the version valid at `createdAt` or by a new identity key of one of its changes (proof of possession); for every
@@ -11,6 +11,11 @@ export declare function checkOwnership(before: RoamingNetwork, changeSet: Change
  * Applies a change set to the version it fits (4, 5.2): its owners signed it (unless `checkOwnership` is false), its
  * `beforeETags` are those of the version, its changes apply, and the result has its `afterETags`. Returns the new version.
  */
+/**
+ * The stamp of a change set applied to the given version (SPECIFICATION.md 4, S5): its createdAt, or the lastChange of the
+ * roaming network of the version, where that is later; in milliseconds since 1970.
+ */
+export declare function stampOf(before: RoamingNetwork, changeSet: ChangeSet): number;
 export declare function applyChangeSet(before: RoamingNetwork, changeSet: ChangeSet, options?: {
     checkOwnership?: boolean;
 }): RoamingNetwork;

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

@@ -1 +1 @@
-{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../src/history/apply.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,cAAc,EAAE,MAAsB,8BAA8B,CAAC;AAK9E,OAAO,KAAK,EAAU,SAAS,EAAE,MAAc,gBAAgB,CAAC;AAwiChE;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,CA6IjF;AAuBD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,GAAE;IAAE,cAAc,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,cAAc,CAoEvI"}
+{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../src/history/apply.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAiC,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAS7F,OAAO,EAAoD,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAs4DlG;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,CAsNjF;AAuBD;;;GAGG;AACH;;;GAGG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,GAAG,MAAM,CAI5E;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,GAAE;IAAE,cAAc,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,cAAc,CAmHvI"}

package/dist/history/changeSet.d.ts

@@ -1,17 +1,39 @@
 import { type JSONObject, type JSONValue } from '../json/value.ts';
 import { type ETag } from '../etags.ts';
 import type { POIPublicKey } from '../keys.ts';
+import { type Precondition } from './preconditions.ts';
 /** The context of a change set, also of the signature input of its signatures (4). */
 export declare const CHANGE_SET_CONTEXT: string;
+/** The context of a change, where it is given; WWCP_POI3 writes a change within its change set without it. */
+export declare const CHANGE_CONTEXT: string;
 /** How the identification of the change set of a merge starts, which is identified by its parents, not by its content (5.3). */
 export declare const MERGE_CHANGE_SET_ID_PREFIX = "merge-";
 /**
  * The identification of a change set by its content (4): the SHA-256 of its canonical JSON with its context, without
- * `@id` and its signatures, as 64 lowercase hex digits, in every epoch.
+ * `@id` and its signatures, as 64 lowercase hex digits, in every epoch; of its content as WWCP_POI3 reads it (`asRead`).
  */
 export declare function changeSetIdentification(json: JSONObject): string;
+/**
+ * A change set as WWCP_POI3 writes it again (`ToJSON`), as its identification, its signatures and the identification and
+ * signatures of a commit embedding it are of it (`asRead`): its context and its signatures as given.
+ */
+export declare const changeSetAsWritten: (json: JSONObject) => JSONObject;
 /** The kinds of changes (SPECIFICATION.md section 4). */
 export type ChangeKind = 'Add' | 'Remove' | 'UpdateProperty' | 'RemoveProperty' | 'AddElement' | 'RemoveElement' | 'ReplaceElement' | 'UpdateElementProperty' | 'RemoveElementProperty';
+/** The context of a segment of an element path, where it is given. */
+export declare const ELEMENT_PATH_SEGMENT_CONTEXT: string;
+/**
+ * One step of an element path (`POIElementPathSegment`): a property of the entity, or of the element the step before
+ * addresses, and the identification of an element of it, which an array needs and one identified object may name.
+ */
+export interface ElementPathSegment {
+    readonly propertyName: string;
+    readonly elementId: string | undefined;
+}
+/** Whether a change addresses an element of a property of its entity by its element path. */
+export declare const isElementChange: (change: Change) => boolean;
+/** The property of the entity itself a change changes: of an element change the one its path starts with. */
+export declare const entityPropertyName: (change: Change) => string | undefined;
 /** One change of a change set. */
 export interface Change {
     readonly kind: ChangeKind;
@@ -23,7 +45,8 @@ export interface Change {
     readonly newValue: JSONValue | undefined;
     readonly parentEntityType: string | undefined;
     readonly parentEntityId: string | undefined;
-    readonly elementPath: readonly JSONObject[] | undefined;
+    /** The element path of an element change, not empty; `undefined` for every other change. */
+    readonly elementPath: readonly ElementPathSegment[] | undefined;
     readonly json: JSONObject;
 }
 /** A signature of a change set: by an owner of one of its changes, or a new identity key as its proof of possession. */
@@ -41,7 +64,7 @@ export declare class ChangeSet {
     readonly roamingNetworkId: string;
     readonly createdAt: number;
     readonly changes: readonly Change[];
-    readonly preconditions: readonly JSONObject[];
+    readonly preconditions: readonly Precondition[];
     readonly beforeETags: readonly ETag[];
     readonly afterETags: readonly ETag[];
     readonly signatures: readonly ChangeSetSignature[];
@@ -50,7 +73,10 @@ export declare class ChangeSet {
     static parse(value: JSONValue | undefined): ChangeSet;
     /** The description in its first language. */
     get description(): string | undefined;
-    /** The signature input of one of its signatures (4): the context, its algorithm and key, and the change set without signatures. */
+    /**
+     * The signature input of one of its signatures (4): the context, its algorithm and key, and the change set without
+     * signatures, as WWCP_POI3 writes it again (`ToJSON(Embedded: true, IncludeSignatures: false)`), as it is identified.
+     */
     signingBytes(signature: ChangeSetSignature): Uint8Array;
     /** Verifies one signature with the given key. */
     verifySignature(signature: ChangeSetSignature, key: POIPublicKey): void;

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

@@ -1 +1 @@
-{"version":3,"file":"changeSet.d.ts","sourceRoot":"","sources":["../../src/history/changeSet.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAwC,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAIzG,OAAO,EAAc,KAAK,IAAI,EAAE,MAAU,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAc,YAAY,CAAC;AAIvD,sFAAsF;AACtF,eAAO,MAAM,kBAAkB,QAAiD,CAAC;AAEjF,gIAAgI;AAChI,eAAO,MAAM,0BAA0B,WAAW,CAAC;AAGnD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAOhE;AAyED,yDAAyD;AACzD,MAAM,MAAM,UAAU,GAChB,KAAK,GAAG,QAAQ,GAAG,gBAAgB,GAAG,gBAAgB,GACtD,YAAY,GAAG,eAAe,GAAG,gBAAgB,GAAG,uBAAuB,GAAG,uBAAuB,CAAC;AAM5G,kCAAkC;AAClC,MAAM,WAAW,MAAM;IACnB,QAAQ,CAAC,IAAI,EAAe,UAAU,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAS,MAAM,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAW,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAO,MAAM,GAAG,SAAS,CAAC;IAC/C,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAW,SAAS,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAW,SAAS,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAG,MAAM,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAK,MAAM,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAQ,SAAS,UAAU,EAAE,GAAG,SAAS,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAe,UAAU,CAAC;CAC1C;AAED,wHAAwH;AACxH,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,SAAS,EAAG,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAO,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAO,MAAM,CAAC;CAC/B;AAGD;;;GAGG;AACH,qBAAa,SAAS;aAGE,EAAE,EAAiB,MAAM;aACzB,gBAAgB,EAAG,MAAM;aACzB,SAAS,EAAU,MAAM;aACzB,OAAO,EAAY,SAAS,MAAM,EAAE;aACpC,aAAa,EAAM,SAAS,UAAU,EAAE;aACxC,WAAW,EAAQ,SAAS,IAAI,EAAE;aAClC,UAAU,EAAS,SAAS,IAAI,EAAE;aAClC,UAAU,EAAS,SAAS,kBAAkB,EAAE;aAChD,IAAI,EAAe,UAAU;IATjD,OAAO;WAaO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS;IA+E5D,6CAA6C;IAC7C,IAAW,WAAW,IAAI,MAAM,GAAG,SAAS,CAG3C;IAED,mIAAmI;IAC5H,YAAY,CAAC,SAAS,EAAE,kBAAkB,GAAG,UAAU;IAS9D,iDAAiD;IAC1C,eAAe,CAAC,SAAS,EAAE,kBAAkB,EAAE,GAAG,EAAE,YAAY,GAAG,IAAI;CASjF"}
+{"version":3,"file":"changeSet.d.ts","sourceRoot":"","sources":["../../src/history/changeSet.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAgD,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAIjH,OAAO,EAAyB,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAc,YAAY,CAAC;AAGvD,OAAO,EAA4C,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIjG,sFAAsF;AACtF,eAAO,MAAM,kBAAkB,QAAiD,CAAC;AAEjF,8GAA8G;AAC9G,eAAO,MAAM,cAAc,QAA8C,CAAC;AAE1E,gIAAgI;AAChI,eAAO,MAAM,0BAA0B,WAAW,CAAC;AAGnD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAOhE;AAuED;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,UAAU,KAAG,UACtC,CAAC;AAmMjB,yDAAyD;AACzD,MAAM,MAAM,UAAU,GAChB,KAAK,GAAG,QAAQ,GAAG,gBAAgB,GAAG,gBAAgB,GACtD,YAAY,GAAG,eAAe,GAAG,gBAAgB,GAAG,uBAAuB,GAAG,uBAAuB,CAAC;AAO5G,sEAAsE;AACtE,eAAO,MAAM,4BAA4B,QAA0D,CAAC;AAGpG;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,YAAY,EAAG,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAM,MAAM,GAAG,SAAS,CAAC;CAC9C;AAED,6FAA6F;AAC7F,eAAO,MAAM,eAAe,GAAI,QAAQ,MAAM,KAAG,OACb,CAAC;AAErC,6GAA6G;AAC7G,eAAO,MAAM,kBAAkB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,SACG,CAAC;AA4HjE,kCAAkC;AAClC,MAAM,WAAW,MAAM;IACnB,QAAQ,CAAC,IAAI,EAAe,UAAU,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAS,MAAM,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAW,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAO,MAAM,GAAG,SAAS,CAAC;IAC/C,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAW,SAAS,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAW,SAAS,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAG,MAAM,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAK,MAAM,GAAG,SAAS,CAAC;IAC/C,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAQ,SAAS,kBAAkB,EAAE,GAAG,SAAS,CAAC;IACtE,QAAQ,CAAC,IAAI,EAAe,UAAU,CAAC;CAC1C;AAED,wHAAwH;AACxH,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,SAAS,EAAG,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAO,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAO,MAAM,CAAC;CAC/B;AAGD;;;GAGG;AACH,qBAAa,SAAS;aAGE,EAAE,EAAiB,MAAM;aACzB,gBAAgB,EAAG,MAAM;aACzB,SAAS,EAAU,MAAM;aACzB,OAAO,EAAY,SAAS,MAAM,EAAE;aACpC,aAAa,EAAM,SAAS,YAAY,EAAE;aAC1C,WAAW,EAAQ,SAAS,IAAI,EAAE;aAClC,UAAU,EAAS,SAAS,IAAI,EAAE;aAClC,UAAU,EAAS,SAAS,kBAAkB,EAAE;aAChD,IAAI,EAAe,UAAU;IATjD,OAAO;WAaO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS;IAgI5D,6CAA6C;IAC7C,IAAW,WAAW,IAAI,MAAM,GAAG,SAAS,CAG3C;IAED;;;OAGG;IACI,YAAY,CAAC,SAAS,EAAE,kBAAkB,GAAG,UAAU;IAS9D,iDAAiD;IAC1C,eAAe,CAAC,SAAS,EAAE,kBAAkB,EAAE,GAAG,EAAE,YAAY,GAAG,IAAI;CASjF"}