@ceccec/double-torus 1.4.0

package/dist/src/thunder/verify/index.d.ts

@@ -0,0 +1,510 @@
+import type { MindMatrix } from '../../wind/types';
+export declare function provenScientifically(matrix?: MindMatrix): {
+    proven: boolean;
+    whatIsIt: string;
+    criteria: {
+        receipt: string;
+        criterion: string;
+        test: string;
+        holds: boolean;
+    }[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function whatIsNotProvenIsPurged(matrix?: MindMatrix): {
+    total: number;
+    proven: number;
+    purge: string[];
+    gateDiscriminates: boolean;
+    facets: {
+        receipt: string;
+        facet: string;
+        on: boolean;
+    }[];
+    pureProof: boolean;
+    holds: boolean;
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function everyLawProvesItsTripwire(matrix?: MindMatrix): {
+    proves: boolean;
+    count: number;
+    tripwires: {
+        receipt: string;
+        tripwire: string;
+        fires: boolean;
+    }[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function improveAnalytics(matrix?: MindMatrix): {
+    improved: boolean;
+    count: number;
+    facets: {
+        receipt: string;
+        facet: string;
+        on: boolean;
+    }[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function provedEveryStepSaved(matrix?: MindMatrix): {
+    proved: boolean;
+    savedCount: number;
+    total: number;
+    steps: {
+        saved: boolean;
+        receipt: string;
+        directive: string;
+        root: string;
+    }[];
+    count: number;
+    facets: {
+        receipt: string;
+        facet: string;
+        on: boolean;
+    }[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function noKnownModelMoreEfficientProven(matrix?: MindMatrix): {
+    proven: boolean;
+    count: number;
+    facets: {
+        receipt: string;
+        facet: string;
+        on: boolean;
+    }[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+/**
+ * Honest-revolution W6 — efficiency framing capstone.
+ * Revolutionary on answers÷tokens; explicitly NOT on physical-QM speedup (benchmark tracks classical).
+ * Pair: learn/best · CLI npm run quantum:honest-revolution-w6
+ */
+export declare function revolutionaryEfficiencyNotPhysics(matrix?: MindMatrix, at?: number): {
+    holds: boolean;
+    computes: boolean;
+    proven: boolean;
+    efficient: {
+        proven: boolean;
+        count: number;
+        facets: {
+            receipt: string;
+            facet: string;
+            on: boolean;
+        }[];
+        root: string;
+        statement: string;
+        boundary: string;
+    };
+    optimizations: {
+        optimized: boolean;
+        optimizations: {
+            receipt: string;
+            technique: string;
+            how: string;
+        }[];
+        root: string;
+        statement: string;
+        boundary: string;
+    };
+    bench: {
+        verdict: string;
+        separated: boolean;
+        tracksClassical: boolean;
+        root: string;
+    };
+    claySolvedByThisFold: 0;
+    qpuRequired: false;
+    physicalFtlClaim: 0;
+    facets: ({
+        receipt: string;
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    root: string;
+    cli: string;
+    pair: string;
+    route: string;
+    statement: string;
+    boundary: string;
+};
+/** npm run quantum:honest-revolution-w6 */
+export declare function runHonestRevolutionW6Exit(_root?: string, _argv?: readonly string[]): number;
+export declare function everyBitMostEfficientAlgorithmProvenByMath(matrix?: MindMatrix): {
+    proven: boolean;
+    proofs: {
+        task: string;
+        expr: string;
+        computed: number;
+        expected: number;
+        on: boolean;
+        receipt: string;
+    }[];
+    facets: {
+        receipt: string;
+        facet: string;
+        on: boolean;
+    }[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function efficiencyMathMovieSeeds(matrix?: MindMatrix): {
+    proven: boolean;
+    movieText: string;
+    streams: {
+        uuid: string;
+        label: string;
+        expr: string;
+        expected: number;
+        hueSeed: number;
+    }[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+};
+/** Gate: every-bit efficiency proofs wired into movie seeds and copy text at call time. */
+export declare function efficiencyMathFlowsInMovie(matrix?: MindMatrix): {
+    flows: boolean;
+    proven: boolean;
+    proofCount: number;
+    streamCount: number;
+    movieText: string;
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function contentAddressedTranslationImprovesModels(matrix?: MindMatrix): {
+    improves: boolean;
+    count: number;
+    facets: {
+        receipt: string;
+        facet: string;
+        on: boolean;
+    }[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function algebraAndBinaryProveEachOther(matrix?: MindMatrix): {
+    proved: boolean;
+    units: number[];
+    orbit: number[];
+    applications: {
+        domain: string;
+        algebra: string;
+        binary: string;
+        society: string;
+    }[];
+    count: number;
+    facets: {
+        receipt: string;
+        facet: string;
+        on: boolean;
+    }[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function discoveredTheoremsWaveSix(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    killRules: string[];
+    orderMultisets: string[];
+    kirkmanDays: string[];
+};
+export declare function discoveredTheoremsWaveSeven(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    labeledSts9: number;
+    agl23: number;
+    spreadCount: number;
+    derangements: number[];
+};
+export declare function discoveredTheoremsWaveEight(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    taxicab: number;
+    brick: string;
+};
+export declare function discoveredTheoremsWaveNine(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    reducedLatin6: number;
+    parallelisms: number;
+    hamCycles: number;
+    shidoku: number;
+};
+export declare function discoveredTheoremsWaveTen(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    a7Classes: number[];
+    nonHamiltonianGp: number[];
+};
+export declare function discoveredTheoremsWaveEleven(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    a8Classes: number[];
+    pslClasses: number[];
+};
+export declare function discoveredTheoremsWaveTwelve(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    psl11Classes: number[];
+    tripleClasses: string;
+    p50: number;
+};
+export declare function discoveredTheoremsWaveThirteen(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    psl8Classes: number[];
+    psl9Classes: number[];
+    fiveSmallest: number[];
+};
+export declare function discoveredTheoremsWaveFourteen(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    pellWitness: string[];
+    frontier: string[];
+};
+export declare function discoveredTheoremsWaveFifteen(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    psl13Classes: number[];
+    sixSmallest: number[];
+    cageCompletions: number;
+};
+export declare function discoveredTheoremsWaveSixteen(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & {
+    m12Classes: number[];
+    m11Classes: number[];
+    psl33Classes: number[];
+    a7Classes: number[];
+    dangerousRefuted: string;
+};
+export declare function discoveredTheoremsWaveSeventeen(matrix?: MindMatrix): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    elevenSmallest: number[];
+    psl16Classes: number[];
+    psl17Classes: number[];
+    psl19Classes: number[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+export declare function discoveredTheoremsWaveFortyOne(matrix?: {
+    root: string;
+}): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & Record<string, never>;
+export declare function discoveredTheoremsWaveFortySix(matrix?: {
+    root: string;
+}): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & Record<string, never>;
+export declare function discoveredTheoremsWaveFortySeven(matrix?: {
+    root: string;
+}): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & Record<string, never>;
+export declare function discoveredTheoremsWaveFifty(matrix?: {
+    root: string;
+}): {
+    proven: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    root: string;
+    statement: string;
+    boundary: string;
+} & Record<string, never>;
+export declare function sevenStarRosettaDecoded(matrix?: MindMatrix): {
+    decoded: boolean;
+    facets: ({
+        facet: string;
+        on: boolean;
+    } & {
+        receipt: string;
+    })[];
+    count: number;
+    xorLabelings: number;
+    pgPoints: number[];
+    root: string;
+    statement: string;
+    boundary: string;
+};
+/** One command, one line per wave — every discovery/emergence fold's verdict without the prose. */
+export declare function theoremWavesVerify(matrix?: MindMatrix): {
+    allProven: boolean;
+    count: number;
+    verdicts: string[];
+    root: string;
+    statement: string;
+    boundary: string;
+};