@mikeargento/bitgraph 1.9.1 → 1.10.0

package/dist/__tests__/audit-fixtures.d.ts

@@ -1,265 +0,0 @@
-import type { BitGraphProof } from "@mikeargento/bitgraph-verify";
-export declare function b64(bytes: Uint8Array): string;
-export declare function utf8(text: string): Uint8Array;
-/**
- * Source of random bytes for fixture generation. Defaults everywhere to
- * crypto.getRandomValues; property-based suites pass a seeded deterministic
- * source so the same seed always regenerates byte-identical fixtures.
- */
-export type RandomSource = (byteLength: number) => Uint8Array;
-export interface ManualKey {
-    privateKey: Uint8Array;
-    publicKeyB64: string;
-}
-export declare function makeKey(random?: RandomSource): Promise<ManualKey>;
-/**
- * Manually build and sign a proof over the exact canonical SignedBody the
- * verifier reconstructs. The commit object may carry extra fields (for
- * example the live enclave's undeclared chainId); because it is part of
- * the signed body, the signature covers them.
- *
- * Optional extras follow the canonical SignedBody rules: attribution is
- * included in the signed body when provided; attestationFormat is
- * included when an attestation is provided (the reportB64 itself stays
- * OUTSIDE the signed body, exactly like the enclave output, so the
- * report can be attached or swapped after signing without changing the
- * canonical hash).
- */
-export declare function signBody(key: ManualKey, artifact: BitGraphProof["artifact"], commit: BitGraphProof["commit"], measurement: string, extras?: {
-    attribution?: {
-        name?: string;
-        title?: string;
-        message?: string;
-    };
-    attestation?: {
-        format: string;
-        reportB64: string;
-    };
-}): Promise<BitGraphProof>;
-/**
- * Build a proof through the root Constructor (the real commit path).
- * Default fixtures are chainless: no counter, no epochId.
- */
-export declare function makeConstructorProof(opts?: {
-    withCounter?: boolean;
-    epochId?: string;
-    payload?: string;
-}): Promise<{
-    proof: BitGraphProof;
-    bytes: Uint8Array;
-}>;
-/**
- * Build a verifier-valid proof carrying a chainId inside the signed
- * commit body, matching what the live enclave injects for non-default
- * chains.
- */
-export declare function makeChainIdProof(opts?: {
-    chainId?: string;
-    counter?: string;
-    epochId?: string;
-    payload?: string;
-}): Promise<{
-    proof: BitGraphProof;
-    bytes: Uint8Array;
-}>;
-/**
- * Build a verifier-valid epoch-genesis proof carrying an epochLink that
- * consumes the given predecessor into the given successor epoch.
- *
- * By default the predecessor key is a fresh random key; pass
- * prevPublicKeyB64 to reference the actual signer of an observed
- * predecessor. Optional counter, slotCounter, prevB64, and chainId land
- * in the signed commit body, matching real enclave output shapes.
- */
-export declare function makeEpochLinkProof(opts: {
-    prevEpochId: string;
-    prevCounter: string;
-    prevProofHashB64: string;
-    toEpochId: string;
-    prevPublicKeyB64?: string;
-    key?: ManualKey;
-    counter?: string;
-    slotCounter?: string;
-    prevB64?: string;
-    chainId?: string;
-    measurement?: string;
-    payload?: string;
-    random?: RandomSource;
-}): Promise<{
-    proof: BitGraphProof;
-    bytes: Uint8Array;
-    proofHash: string;
-    chainHash: string;
-    key: ManualKey;
-}>;
-export interface CounterChainLink {
-    proof: BitGraphProof;
-    bytes: Uint8Array;
-    /** Signed-body identity hash (computeProofHash). */
-    proofHash: string;
-    /** Whole-proof chain hash (computeChainHash): the value a successor's prevB64 references. */
-    chainHash: string;
-}
-/**
- * Build a linked chain of verifier-valid proofs under one signer key,
- * epoch, and chain, with explicit counter positions per proof. Each
- * non-first proof carries prevB64 equal to the canonical proof hash of
- * its predecessor; the first proof omits prevB64 entirely (genesis per
- * G1) unless prevB64OfFirst continues the chain from an existing proof.
- * Pass pairs like real enclave output (slot 1/commit 2, slot 3/
- * commit 4, ...) or leave positions out for counterless link chains.
- */
-export declare function makeCounterChain(opts: {
-    epochId: string;
-    pairs: Array<{
-        slot?: string;
-        commit?: string;
-    }>;
-    key?: ManualKey;
-    chainId?: string;
-    measurement?: string;
-    payloadPrefix?: string;
-    /** Continue an existing chain: the first proof carries this prevB64 instead of being a genesis. */
-    prevB64OfFirst?: string;
-    random?: RandomSource;
-}): Promise<{
-    key: ManualKey;
-    proofs: CounterChainLink[];
-}>;
-/**
- * The standard healthy enclave counter sequence: slot 1/commit 2,
- * slot 3/commit 4, ... for `length` proofs.
- */
-export declare function healthyPairs(length: number): Array<{
-    slot: string;
-    commit: string;
-}>;
-/**
- * Build a verifier-valid Ethereum anchor proof: signed attribution
- * name "Ethereum Anchor", message = the block hash string, title = the
- * Etherscan block URL, artifact digest = SHA-256 over the block-hash
- * STRING (exactly like bitcoin-anchor.ts lines 188-189). Unsigned
- * metadata is attached after signing when provided.
- */
-export declare function makeAnchorProof(opts: {
-    blockHash: string;
-    blockNumber?: string | number;
-    /** Overrides the Etherscan URL entirely (for unparseable-title cases). */
-    title?: string;
-    /** Omit the title field entirely. */
-    noTitle?: boolean;
-    /** Overrides the artifact digest (for digest-binding failure cases; the proof stays validly signed). */
-    digestB64?: string;
-    key?: ManualKey;
-    epochId?: string;
-    counter?: string;
-    slotCounter?: string;
-    prevB64?: string;
-    chainId?: string;
-    measurement?: string;
-    /** Unsigned metadata object attached verbatim after signing. */
-    metadata?: unknown;
-    /** Overrides attribution.name (for non-anchor attribution cases). */
-    attributionName?: string;
-    random?: RandomSource;
-}): Promise<{
-    proof: BitGraphProof;
-    proofHash: string;
-    chainHash: string;
-    key: ManualKey;
-}>;
-export type RlpInput = Uint8Array | RlpInput[];
-export declare function encodeRlp(item: RlpInput): Uint8Array;
-/** Minimal big-endian bytes of a non-negative integer; empty for zero (Ethereum header integer encoding). */
-export declare function beBytes(value: number | bigint): Uint8Array;
-/**
- * Build a synthetic 20-item RLP block header with the number at index 8
- * and the timestamp at index 11 (the stable Ethereum header positions).
- * Other items are deterministic filler byte strings.
- */
-export declare function makeEthereumHeader(opts: {
-    blockNumber: number | bigint;
-    timestamp: number | bigint;
-    itemCount?: number;
-}): {
-    headerBytes: Uint8Array;
-    headerRlpHex: string;
-};
-/** JSON string of a bitgraph-anchor-witness/1 file. */
-export declare function witnessJson(opts: {
-    headerRlpHex?: unknown;
-    blockNumber?: unknown;
-    blockHash?: unknown;
-    network?: string;
-    omit?: Array<"headerRlpHex" | "blockNumber" | "blockHash">;
-}): string;
-export declare function makeTempDir(prefix: string): Promise<string>;
-/**
- * Write a bundle directory from a path -> content map. Paths use "/"
- * separators; parent directories are created as needed.
- */
-export declare function writeBundleDir(root: string, files: Record<string, Uint8Array | string>): Promise<void>;
-export interface TarWriteEntry {
-    /** Header name field (up to 100 bytes). */
-    name: string;
-    content: Uint8Array | string;
-    /** Defaults to "0" (regular file). */
-    typeflag?: string;
-    /** Emit a PAX extended header carrying path=<value> before the entry. */
-    paxPath?: string;
-    /**
-     * Override the size field written in the PAX 'x' header (defaults to the
-     * real record length). Used by ingest cap tests to declare an absurd
-     * metadata-entry size without writing that many bytes.
-     */
-    paxHeaderDeclaredSize?: number;
-    /** Emit a GNU long-name ('L') entry carrying this name before the entry. */
-    gnuLongName?: string;
-}
-/** Build a complete tar archive in memory (ustar, PAX, GNU long-name). */
-export declare function makeTar(entries: TarWriteEntry[]): Uint8Array;
-/** Compact JSON serialization of a proof, the usual on-disk form. */
-export declare function proofJson(proof: BitGraphProof): string;
-/** Stored form: the proof with a trailing proofHash field, as the ledger serves it. */
-export declare function storedProofJson(proof: BitGraphProof, proofHash: string): string;
-export interface StandardAuditBundle {
-    dir: string;
-    epochId: string;
-    anchorEpochId: string;
-    chainId: string;
-    /** Canonical hashes of the four chain proofs, in chain order, INCLUDING the dropped one. */
-    chainProofHashes: string[];
-    /** Canonical hash of the chain proof deliberately absent from the bundle (index 1, slot 3/commit 4). */
-    droppedProofHash: string;
-    forkAProofHash: string;
-    forkBProofHash: string;
-    anchorProofHash: string;
-    blockNumber: number;
-    blockTimestamp: number;
-    /** Bundle path of the occ/1 reject. */
-    unsupportedPath: string;
-    /** Expected counts for assertions. */
-    expected: {
-        observed: number;
-        proofFiles: number;
-        exactDuplicates: number;
-        semanticDuplicates: number;
-        unsupportedVersion: number;
-        verified: number;
-        failed: number;
-        artifactUnavailable: number;
-        chainless: number;
-    };
-}
-/**
- * Build the standard mixed bundle in a temp directory, per the Phase 4d
- * brief: a healthy signed chain (4 proofs, slot/commit pairs 1..8) with
- * one proof missing (index 1, producing an unexplained-position gap and
- * a chain break), a predecessor-reuse fork off the chain tail, an occ/1
- * unsupported-version reject, one artifact-present proof (chain genesis)
- * and artifact-absent proofs (everything else), an Ethereum anchor in
- * its own epoch with a valid offline witness, plus one exact-duplicate
- * copy and one semantic-duplicate (stored-form) copy of the genesis.
- */
-export declare function makeStandardAuditBundle(): Promise<StandardAuditBundle>;
-//# sourceMappingURL=audit-fixtures.d.ts.map

package/dist/__tests__/audit-fixtures.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"audit-fixtures.d.ts","sourceRoot":"","sources":["../../src/__tests__/audit-fixtures.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAQlE,wBAAgB,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAE7C;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAE7C;AAMD;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,UAAU,CAAC;AAI9D,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,UAAU,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,wBAAsB,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,CAIvE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,QAAQ,CAC5B,GAAG,EAAE,SAAS,EACd,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,EACnC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,EAC/B,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE;IACP,WAAW,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,WAAW,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CACrD,GACA,OAAO,CAAC,aAAa,CAAC,CA6BxB;AAED;;;GAGG;AACH,wBAAsB,oBAAoB,CAAC,IAAI,CAAC,EAAE;IAChD,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GAAG,OAAO,CAAC;IAAE,KAAK,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC,CAuBvD;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,CAAC,EAAE;IAC5C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GAAG,OAAO,CAAC;IAAE,KAAK,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC,CAgBvD;AAED;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CAAC,IAAI,EAAE;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,GAAG,CAAC,EAAE,SAAS,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB,GAAG,OAAO,CAAC;IAAE,KAAK,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC,CA8B7G;AAMD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,aAAa,CAAC;IACrB,KAAK,EAAE,UAAU,CAAC;IAClB,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC;IAClB,6FAA6F;IAC7F,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjD,GAAG,CAAC,EAAE,SAAS,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,mGAAmG;IACnG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB,GAAG,OAAO,CAAC;IAAE,GAAG,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,gBAAgB,EAAE,CAAA;CAAE,CAAC,CA8B1D;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAMpF;AAMD;;;;;;GAMG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC9B,0EAA0E;IAC1E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wGAAwG;IACxG,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,SAAS,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,qEAAqE;IACrE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB,GAAG,OAAO,CAAC;IAAE,KAAK,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC,CAkC1F;AAOD,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,QAAQ,EAAE,CAAC;AAE/C,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAOpD;AAaD,6GAA6G;AAC7G,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAQ1D;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE;IACvC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG;IAAE,WAAW,EAAE,UAAU,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAapD;AAED,uDAAuD;AACvD,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,KAAK,CAAC,cAAc,GAAG,aAAa,GAAG,WAAW,CAAC,CAAC;CAC5D,GAAG,MAAM,CAOT;AAMD,wBAAsB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAEjE;AAED;;;GAGG;AACH,wBAAsB,cAAc,CAClC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAAC,GACzC,OAAO,CAAC,IAAI,CAAC,CAMf;AAMD,MAAM,WAAW,aAAa;IAC5B,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,UAAU,GAAG,MAAM,CAAC;IAC7B,sCAAsC;IACtC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,4EAA4E;IAC5E,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,0EAA0E;AAC1E,wBAAgB,OAAO,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,UAAU,CAiB5D;AAmED,qEAAqE;AACrE,wBAAgB,SAAS,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAEtD;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAE/E;AAMD,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,4FAA4F;IAC5F,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,wGAAwG;IACxG,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,uCAAuC;IACvC,eAAe,EAAE,MAAM,CAAC;IACxB,sCAAsC;IACtC,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,eAAe,EAAE,MAAM,CAAC;QACxB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,kBAAkB,EAAE,MAAM,CAAC;QAC3B,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,mBAAmB,EAAE,MAAM,CAAC;QAC5B,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,mBAAmB,CAAC,CAkG5E"}