@aeolus-fleet/core 0.27.1 → 0.28.1

package/dist/adapters/prisma/generated/models/VerifiedFacts.d.ts

@@ -0,0 +1,1325 @@
+import type * as runtime from "@prisma/client/runtime/client";
+import type * as $Enums from "../enums.js";
+import type * as Prisma from "../internal/prismaNamespace.js";
+/**
+ * Model VerifiedFacts
+ * One writer's verified facts about a ship (decision 0059): what it checked,
+ * as JSON in the shape common gives, set whole and kept with the ship. The
+ * writer is an actor: a ship or an account by its id, or the installation
+ * by its name, as a commissioning actor is.
+ */
+export type VerifiedFactsModel = runtime.Types.Result.DefaultSelection<Prisma.$VerifiedFactsPayload>;
+export type AggregateVerifiedFacts = {
+    _count: VerifiedFactsCountAggregateOutputType | null;
+    _min: VerifiedFactsMinAggregateOutputType | null;
+    _max: VerifiedFactsMaxAggregateOutputType | null;
+};
+export type VerifiedFactsMinAggregateOutputType = {
+    fleetId: string | null;
+    shipId: string | null;
+    writerKind: $Enums.FactWriterKind | null;
+    writer: string | null;
+    writtenAt: Date | null;
+};
+export type VerifiedFactsMaxAggregateOutputType = {
+    fleetId: string | null;
+    shipId: string | null;
+    writerKind: $Enums.FactWriterKind | null;
+    writer: string | null;
+    writtenAt: Date | null;
+};
+export type VerifiedFactsCountAggregateOutputType = {
+    fleetId: number;
+    shipId: number;
+    writerKind: number;
+    writer: number;
+    facts: number;
+    writtenAt: number;
+    _all: number;
+};
+export type VerifiedFactsMinAggregateInputType = {
+    fleetId?: true;
+    shipId?: true;
+    writerKind?: true;
+    writer?: true;
+    writtenAt?: true;
+};
+export type VerifiedFactsMaxAggregateInputType = {
+    fleetId?: true;
+    shipId?: true;
+    writerKind?: true;
+    writer?: true;
+    writtenAt?: true;
+};
+export type VerifiedFactsCountAggregateInputType = {
+    fleetId?: true;
+    shipId?: true;
+    writerKind?: true;
+    writer?: true;
+    facts?: true;
+    writtenAt?: true;
+    _all?: true;
+};
+export type VerifiedFactsAggregateArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Filter which VerifiedFacts to aggregate.
+     */
+    where?: Prisma.VerifiedFactsWhereInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
+     *
+     * Determine the order of VerifiedFacts to fetch.
+     */
+    orderBy?: Prisma.VerifiedFactsOrderByWithRelationInput | Prisma.VerifiedFactsOrderByWithRelationInput[];
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
+     *
+     * Sets the start position
+     */
+    cursor?: Prisma.VerifiedFactsWhereUniqueInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Take `±n` VerifiedFacts from the position of the cursor.
+     */
+    take?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Skip the first `n` VerifiedFacts.
+     */
+    skip?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/aggregations Aggregation Docs}
+     *
+     * Count returned VerifiedFacts
+    **/
+    _count?: true | VerifiedFactsCountAggregateInputType;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/aggregations Aggregation Docs}
+     *
+     * Select which fields to find the minimum value
+    **/
+    _min?: VerifiedFactsMinAggregateInputType;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/aggregations Aggregation Docs}
+     *
+     * Select which fields to find the maximum value
+    **/
+    _max?: VerifiedFactsMaxAggregateInputType;
+};
+export type GetVerifiedFactsAggregateType<T extends VerifiedFactsAggregateArgs> = {
+    [P in keyof T & keyof AggregateVerifiedFacts]: P extends '_count' | 'count' ? T[P] extends true ? number : Prisma.GetScalarType<T[P], AggregateVerifiedFacts[P]> : Prisma.GetScalarType<T[P], AggregateVerifiedFacts[P]>;
+};
+export type VerifiedFactsGroupByArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    where?: Prisma.VerifiedFactsWhereInput;
+    orderBy?: Prisma.VerifiedFactsOrderByWithAggregationInput | Prisma.VerifiedFactsOrderByWithAggregationInput[];
+    by: Prisma.VerifiedFactsScalarFieldEnum[] | Prisma.VerifiedFactsScalarFieldEnum;
+    having?: Prisma.VerifiedFactsScalarWhereWithAggregatesInput;
+    take?: number;
+    skip?: number;
+    _count?: VerifiedFactsCountAggregateInputType | true;
+    _min?: VerifiedFactsMinAggregateInputType;
+    _max?: VerifiedFactsMaxAggregateInputType;
+};
+export type VerifiedFactsGroupByOutputType = {
+    fleetId: string;
+    shipId: string;
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: runtime.JsonValue;
+    writtenAt: Date;
+    _count: VerifiedFactsCountAggregateOutputType | null;
+    _min: VerifiedFactsMinAggregateOutputType | null;
+    _max: VerifiedFactsMaxAggregateOutputType | null;
+};
+export type GetVerifiedFactsGroupByPayload<T extends VerifiedFactsGroupByArgs> = Prisma.PrismaPromise<Array<Prisma.PickEnumerable<VerifiedFactsGroupByOutputType, T['by']> & {
+    [P in ((keyof T) & (keyof VerifiedFactsGroupByOutputType))]: P extends '_count' ? T[P] extends boolean ? number : Prisma.GetScalarType<T[P], VerifiedFactsGroupByOutputType[P]> : Prisma.GetScalarType<T[P], VerifiedFactsGroupByOutputType[P]>;
+}>>;
+export type VerifiedFactsWhereInput = {
+    AND?: Prisma.VerifiedFactsWhereInput | Prisma.VerifiedFactsWhereInput[];
+    OR?: Prisma.VerifiedFactsWhereInput[];
+    NOT?: Prisma.VerifiedFactsWhereInput | Prisma.VerifiedFactsWhereInput[];
+    fleetId?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    shipId?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    writerKind?: Prisma.EnumFactWriterKindFilter<"VerifiedFacts"> | $Enums.FactWriterKind;
+    writer?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    facts?: Prisma.JsonFilter<"VerifiedFacts">;
+    writtenAt?: Prisma.DateTimeFilter<"VerifiedFacts"> | Date | string;
+    fleet?: Prisma.XOR<Prisma.FleetScalarRelationFilter, Prisma.FleetWhereInput>;
+    ship?: Prisma.XOR<Prisma.ShipScalarRelationFilter, Prisma.ShipWhereInput>;
+};
+export type VerifiedFactsOrderByWithRelationInput = {
+    fleetId?: Prisma.SortOrder;
+    shipId?: Prisma.SortOrder;
+    writerKind?: Prisma.SortOrder;
+    writer?: Prisma.SortOrder;
+    facts?: Prisma.SortOrder;
+    writtenAt?: Prisma.SortOrder;
+    fleet?: Prisma.FleetOrderByWithRelationInput;
+    ship?: Prisma.ShipOrderByWithRelationInput;
+};
+export type VerifiedFactsWhereUniqueInput = Prisma.AtLeast<{
+    fleetId_shipId_writerKind_writer?: Prisma.VerifiedFactsFleetIdShipIdWriterKindWriterCompoundUniqueInput;
+    AND?: Prisma.VerifiedFactsWhereInput | Prisma.VerifiedFactsWhereInput[];
+    OR?: Prisma.VerifiedFactsWhereInput[];
+    NOT?: Prisma.VerifiedFactsWhereInput | Prisma.VerifiedFactsWhereInput[];
+    fleetId?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    shipId?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    writerKind?: Prisma.EnumFactWriterKindFilter<"VerifiedFacts"> | $Enums.FactWriterKind;
+    writer?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    facts?: Prisma.JsonFilter<"VerifiedFacts">;
+    writtenAt?: Prisma.DateTimeFilter<"VerifiedFacts"> | Date | string;
+    fleet?: Prisma.XOR<Prisma.FleetScalarRelationFilter, Prisma.FleetWhereInput>;
+    ship?: Prisma.XOR<Prisma.ShipScalarRelationFilter, Prisma.ShipWhereInput>;
+}, "fleetId_shipId_writerKind_writer">;
+export type VerifiedFactsOrderByWithAggregationInput = {
+    fleetId?: Prisma.SortOrder;
+    shipId?: Prisma.SortOrder;
+    writerKind?: Prisma.SortOrder;
+    writer?: Prisma.SortOrder;
+    facts?: Prisma.SortOrder;
+    writtenAt?: Prisma.SortOrder;
+    _count?: Prisma.VerifiedFactsCountOrderByAggregateInput;
+    _max?: Prisma.VerifiedFactsMaxOrderByAggregateInput;
+    _min?: Prisma.VerifiedFactsMinOrderByAggregateInput;
+};
+export type VerifiedFactsScalarWhereWithAggregatesInput = {
+    AND?: Prisma.VerifiedFactsScalarWhereWithAggregatesInput | Prisma.VerifiedFactsScalarWhereWithAggregatesInput[];
+    OR?: Prisma.VerifiedFactsScalarWhereWithAggregatesInput[];
+    NOT?: Prisma.VerifiedFactsScalarWhereWithAggregatesInput | Prisma.VerifiedFactsScalarWhereWithAggregatesInput[];
+    fleetId?: Prisma.StringWithAggregatesFilter<"VerifiedFacts"> | string;
+    shipId?: Prisma.StringWithAggregatesFilter<"VerifiedFacts"> | string;
+    writerKind?: Prisma.EnumFactWriterKindWithAggregatesFilter<"VerifiedFacts"> | $Enums.FactWriterKind;
+    writer?: Prisma.StringWithAggregatesFilter<"VerifiedFacts"> | string;
+    facts?: Prisma.JsonWithAggregatesFilter<"VerifiedFacts">;
+    writtenAt?: Prisma.DateTimeWithAggregatesFilter<"VerifiedFacts"> | Date | string;
+};
+export type VerifiedFactsCreateInput = {
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+    fleet: Prisma.FleetCreateNestedOneWithoutVerifiedFactsInput;
+    ship: Prisma.ShipCreateNestedOneWithoutVerifiedFactsInput;
+};
+export type VerifiedFactsUncheckedCreateInput = {
+    fleetId: string;
+    shipId: string;
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+};
+export type VerifiedFactsUpdateInput = {
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+    fleet?: Prisma.FleetUpdateOneRequiredWithoutVerifiedFactsNestedInput;
+    ship?: Prisma.ShipUpdateOneRequiredWithoutVerifiedFactsNestedInput;
+};
+export type VerifiedFactsUncheckedUpdateInput = {
+    fleetId?: Prisma.StringFieldUpdateOperationsInput | string;
+    shipId?: Prisma.StringFieldUpdateOperationsInput | string;
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+};
+export type VerifiedFactsCreateManyInput = {
+    fleetId: string;
+    shipId: string;
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+};
+export type VerifiedFactsUpdateManyMutationInput = {
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+};
+export type VerifiedFactsUncheckedUpdateManyInput = {
+    fleetId?: Prisma.StringFieldUpdateOperationsInput | string;
+    shipId?: Prisma.StringFieldUpdateOperationsInput | string;
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+};
+export type VerifiedFactsListRelationFilter = {
+    every?: Prisma.VerifiedFactsWhereInput;
+    some?: Prisma.VerifiedFactsWhereInput;
+    none?: Prisma.VerifiedFactsWhereInput;
+};
+export type VerifiedFactsOrderByRelationAggregateInput = {
+    _count?: Prisma.SortOrder;
+};
+export type VerifiedFactsFleetIdShipIdWriterKindWriterCompoundUniqueInput = {
+    fleetId: string;
+    shipId: string;
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+};
+export type VerifiedFactsCountOrderByAggregateInput = {
+    fleetId?: Prisma.SortOrder;
+    shipId?: Prisma.SortOrder;
+    writerKind?: Prisma.SortOrder;
+    writer?: Prisma.SortOrder;
+    facts?: Prisma.SortOrder;
+    writtenAt?: Prisma.SortOrder;
+};
+export type VerifiedFactsMaxOrderByAggregateInput = {
+    fleetId?: Prisma.SortOrder;
+    shipId?: Prisma.SortOrder;
+    writerKind?: Prisma.SortOrder;
+    writer?: Prisma.SortOrder;
+    writtenAt?: Prisma.SortOrder;
+};
+export type VerifiedFactsMinOrderByAggregateInput = {
+    fleetId?: Prisma.SortOrder;
+    shipId?: Prisma.SortOrder;
+    writerKind?: Prisma.SortOrder;
+    writer?: Prisma.SortOrder;
+    writtenAt?: Prisma.SortOrder;
+};
+export type VerifiedFactsCreateNestedManyWithoutFleetInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutFleetInput, Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput> | Prisma.VerifiedFactsCreateWithoutFleetInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput | Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyFleetInputEnvelope;
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+};
+export type VerifiedFactsUncheckedCreateNestedManyWithoutFleetInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutFleetInput, Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput> | Prisma.VerifiedFactsCreateWithoutFleetInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput | Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyFleetInputEnvelope;
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+};
+export type VerifiedFactsUpdateManyWithoutFleetNestedInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutFleetInput, Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput> | Prisma.VerifiedFactsCreateWithoutFleetInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput | Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput[];
+    upsert?: Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutFleetInput | Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutFleetInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyFleetInputEnvelope;
+    set?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    disconnect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    delete?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    update?: Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutFleetInput | Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutFleetInput[];
+    updateMany?: Prisma.VerifiedFactsUpdateManyWithWhereWithoutFleetInput | Prisma.VerifiedFactsUpdateManyWithWhereWithoutFleetInput[];
+    deleteMany?: Prisma.VerifiedFactsScalarWhereInput | Prisma.VerifiedFactsScalarWhereInput[];
+};
+export type VerifiedFactsUncheckedUpdateManyWithoutFleetNestedInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutFleetInput, Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput> | Prisma.VerifiedFactsCreateWithoutFleetInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput | Prisma.VerifiedFactsCreateOrConnectWithoutFleetInput[];
+    upsert?: Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutFleetInput | Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutFleetInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyFleetInputEnvelope;
+    set?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    disconnect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    delete?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    update?: Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutFleetInput | Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutFleetInput[];
+    updateMany?: Prisma.VerifiedFactsUpdateManyWithWhereWithoutFleetInput | Prisma.VerifiedFactsUpdateManyWithWhereWithoutFleetInput[];
+    deleteMany?: Prisma.VerifiedFactsScalarWhereInput | Prisma.VerifiedFactsScalarWhereInput[];
+};
+export type VerifiedFactsCreateNestedManyWithoutShipInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutShipInput, Prisma.VerifiedFactsUncheckedCreateWithoutShipInput> | Prisma.VerifiedFactsCreateWithoutShipInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutShipInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutShipInput | Prisma.VerifiedFactsCreateOrConnectWithoutShipInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyShipInputEnvelope;
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+};
+export type VerifiedFactsUncheckedCreateNestedManyWithoutShipInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutShipInput, Prisma.VerifiedFactsUncheckedCreateWithoutShipInput> | Prisma.VerifiedFactsCreateWithoutShipInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutShipInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutShipInput | Prisma.VerifiedFactsCreateOrConnectWithoutShipInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyShipInputEnvelope;
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+};
+export type VerifiedFactsUpdateManyWithoutShipNestedInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutShipInput, Prisma.VerifiedFactsUncheckedCreateWithoutShipInput> | Prisma.VerifiedFactsCreateWithoutShipInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutShipInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutShipInput | Prisma.VerifiedFactsCreateOrConnectWithoutShipInput[];
+    upsert?: Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutShipInput | Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutShipInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyShipInputEnvelope;
+    set?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    disconnect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    delete?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    update?: Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutShipInput | Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutShipInput[];
+    updateMany?: Prisma.VerifiedFactsUpdateManyWithWhereWithoutShipInput | Prisma.VerifiedFactsUpdateManyWithWhereWithoutShipInput[];
+    deleteMany?: Prisma.VerifiedFactsScalarWhereInput | Prisma.VerifiedFactsScalarWhereInput[];
+};
+export type VerifiedFactsUncheckedUpdateManyWithoutShipNestedInput = {
+    create?: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutShipInput, Prisma.VerifiedFactsUncheckedCreateWithoutShipInput> | Prisma.VerifiedFactsCreateWithoutShipInput[] | Prisma.VerifiedFactsUncheckedCreateWithoutShipInput[];
+    connectOrCreate?: Prisma.VerifiedFactsCreateOrConnectWithoutShipInput | Prisma.VerifiedFactsCreateOrConnectWithoutShipInput[];
+    upsert?: Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutShipInput | Prisma.VerifiedFactsUpsertWithWhereUniqueWithoutShipInput[];
+    createMany?: Prisma.VerifiedFactsCreateManyShipInputEnvelope;
+    set?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    disconnect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    delete?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    connect?: Prisma.VerifiedFactsWhereUniqueInput | Prisma.VerifiedFactsWhereUniqueInput[];
+    update?: Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutShipInput | Prisma.VerifiedFactsUpdateWithWhereUniqueWithoutShipInput[];
+    updateMany?: Prisma.VerifiedFactsUpdateManyWithWhereWithoutShipInput | Prisma.VerifiedFactsUpdateManyWithWhereWithoutShipInput[];
+    deleteMany?: Prisma.VerifiedFactsScalarWhereInput | Prisma.VerifiedFactsScalarWhereInput[];
+};
+export type EnumFactWriterKindFieldUpdateOperationsInput = {
+    set?: $Enums.FactWriterKind;
+};
+export type VerifiedFactsCreateWithoutFleetInput = {
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+    ship: Prisma.ShipCreateNestedOneWithoutVerifiedFactsInput;
+};
+export type VerifiedFactsUncheckedCreateWithoutFleetInput = {
+    shipId: string;
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+};
+export type VerifiedFactsCreateOrConnectWithoutFleetInput = {
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+    create: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutFleetInput, Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput>;
+};
+export type VerifiedFactsCreateManyFleetInputEnvelope = {
+    data: Prisma.VerifiedFactsCreateManyFleetInput | Prisma.VerifiedFactsCreateManyFleetInput[];
+    skipDuplicates?: boolean;
+};
+export type VerifiedFactsUpsertWithWhereUniqueWithoutFleetInput = {
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+    update: Prisma.XOR<Prisma.VerifiedFactsUpdateWithoutFleetInput, Prisma.VerifiedFactsUncheckedUpdateWithoutFleetInput>;
+    create: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutFleetInput, Prisma.VerifiedFactsUncheckedCreateWithoutFleetInput>;
+};
+export type VerifiedFactsUpdateWithWhereUniqueWithoutFleetInput = {
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+    data: Prisma.XOR<Prisma.VerifiedFactsUpdateWithoutFleetInput, Prisma.VerifiedFactsUncheckedUpdateWithoutFleetInput>;
+};
+export type VerifiedFactsUpdateManyWithWhereWithoutFleetInput = {
+    where: Prisma.VerifiedFactsScalarWhereInput;
+    data: Prisma.XOR<Prisma.VerifiedFactsUpdateManyMutationInput, Prisma.VerifiedFactsUncheckedUpdateManyWithoutFleetInput>;
+};
+export type VerifiedFactsScalarWhereInput = {
+    AND?: Prisma.VerifiedFactsScalarWhereInput | Prisma.VerifiedFactsScalarWhereInput[];
+    OR?: Prisma.VerifiedFactsScalarWhereInput[];
+    NOT?: Prisma.VerifiedFactsScalarWhereInput | Prisma.VerifiedFactsScalarWhereInput[];
+    fleetId?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    shipId?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    writerKind?: Prisma.EnumFactWriterKindFilter<"VerifiedFacts"> | $Enums.FactWriterKind;
+    writer?: Prisma.StringFilter<"VerifiedFacts"> | string;
+    facts?: Prisma.JsonFilter<"VerifiedFacts">;
+    writtenAt?: Prisma.DateTimeFilter<"VerifiedFacts"> | Date | string;
+};
+export type VerifiedFactsCreateWithoutShipInput = {
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+    fleet: Prisma.FleetCreateNestedOneWithoutVerifiedFactsInput;
+};
+export type VerifiedFactsUncheckedCreateWithoutShipInput = {
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+};
+export type VerifiedFactsCreateOrConnectWithoutShipInput = {
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+    create: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutShipInput, Prisma.VerifiedFactsUncheckedCreateWithoutShipInput>;
+};
+export type VerifiedFactsCreateManyShipInputEnvelope = {
+    data: Prisma.VerifiedFactsCreateManyShipInput | Prisma.VerifiedFactsCreateManyShipInput[];
+    skipDuplicates?: boolean;
+};
+export type VerifiedFactsUpsertWithWhereUniqueWithoutShipInput = {
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+    update: Prisma.XOR<Prisma.VerifiedFactsUpdateWithoutShipInput, Prisma.VerifiedFactsUncheckedUpdateWithoutShipInput>;
+    create: Prisma.XOR<Prisma.VerifiedFactsCreateWithoutShipInput, Prisma.VerifiedFactsUncheckedCreateWithoutShipInput>;
+};
+export type VerifiedFactsUpdateWithWhereUniqueWithoutShipInput = {
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+    data: Prisma.XOR<Prisma.VerifiedFactsUpdateWithoutShipInput, Prisma.VerifiedFactsUncheckedUpdateWithoutShipInput>;
+};
+export type VerifiedFactsUpdateManyWithWhereWithoutShipInput = {
+    where: Prisma.VerifiedFactsScalarWhereInput;
+    data: Prisma.XOR<Prisma.VerifiedFactsUpdateManyMutationInput, Prisma.VerifiedFactsUncheckedUpdateManyWithoutShipInput>;
+};
+export type VerifiedFactsCreateManyFleetInput = {
+    shipId: string;
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+};
+export type VerifiedFactsUpdateWithoutFleetInput = {
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+    ship?: Prisma.ShipUpdateOneRequiredWithoutVerifiedFactsNestedInput;
+};
+export type VerifiedFactsUncheckedUpdateWithoutFleetInput = {
+    shipId?: Prisma.StringFieldUpdateOperationsInput | string;
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+};
+export type VerifiedFactsUncheckedUpdateManyWithoutFleetInput = {
+    shipId?: Prisma.StringFieldUpdateOperationsInput | string;
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+};
+export type VerifiedFactsCreateManyShipInput = {
+    writerKind: $Enums.FactWriterKind;
+    writer: string;
+    facts: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt: Date | string;
+};
+export type VerifiedFactsUpdateWithoutShipInput = {
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+    fleet?: Prisma.FleetUpdateOneRequiredWithoutVerifiedFactsNestedInput;
+};
+export type VerifiedFactsUncheckedUpdateWithoutShipInput = {
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+};
+export type VerifiedFactsUncheckedUpdateManyWithoutShipInput = {
+    writerKind?: Prisma.EnumFactWriterKindFieldUpdateOperationsInput | $Enums.FactWriterKind;
+    writer?: Prisma.StringFieldUpdateOperationsInput | string;
+    facts?: Prisma.JsonNullValueInput | runtime.InputJsonValue;
+    writtenAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string;
+};
+export type VerifiedFactsSelect<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = runtime.Types.Extensions.GetSelect<{
+    fleetId?: boolean;
+    shipId?: boolean;
+    writerKind?: boolean;
+    writer?: boolean;
+    facts?: boolean;
+    writtenAt?: boolean;
+    fleet?: boolean | Prisma.FleetDefaultArgs<ExtArgs>;
+    ship?: boolean | Prisma.ShipDefaultArgs<ExtArgs>;
+}, ExtArgs["result"]["verifiedFacts"]>;
+export type VerifiedFactsSelectCreateManyAndReturn<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = runtime.Types.Extensions.GetSelect<{
+    fleetId?: boolean;
+    shipId?: boolean;
+    writerKind?: boolean;
+    writer?: boolean;
+    facts?: boolean;
+    writtenAt?: boolean;
+    fleet?: boolean | Prisma.FleetDefaultArgs<ExtArgs>;
+    ship?: boolean | Prisma.ShipDefaultArgs<ExtArgs>;
+}, ExtArgs["result"]["verifiedFacts"]>;
+export type VerifiedFactsSelectUpdateManyAndReturn<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = runtime.Types.Extensions.GetSelect<{
+    fleetId?: boolean;
+    shipId?: boolean;
+    writerKind?: boolean;
+    writer?: boolean;
+    facts?: boolean;
+    writtenAt?: boolean;
+    fleet?: boolean | Prisma.FleetDefaultArgs<ExtArgs>;
+    ship?: boolean | Prisma.ShipDefaultArgs<ExtArgs>;
+}, ExtArgs["result"]["verifiedFacts"]>;
+export type VerifiedFactsSelectScalar = {
+    fleetId?: boolean;
+    shipId?: boolean;
+    writerKind?: boolean;
+    writer?: boolean;
+    facts?: boolean;
+    writtenAt?: boolean;
+};
+export type VerifiedFactsOmit<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = runtime.Types.Extensions.GetOmit<"fleetId" | "shipId" | "writerKind" | "writer" | "facts" | "writtenAt", ExtArgs["result"]["verifiedFacts"]>;
+export type VerifiedFactsInclude<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    fleet?: boolean | Prisma.FleetDefaultArgs<ExtArgs>;
+    ship?: boolean | Prisma.ShipDefaultArgs<ExtArgs>;
+};
+export type VerifiedFactsIncludeCreateManyAndReturn<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    fleet?: boolean | Prisma.FleetDefaultArgs<ExtArgs>;
+    ship?: boolean | Prisma.ShipDefaultArgs<ExtArgs>;
+};
+export type VerifiedFactsIncludeUpdateManyAndReturn<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    fleet?: boolean | Prisma.FleetDefaultArgs<ExtArgs>;
+    ship?: boolean | Prisma.ShipDefaultArgs<ExtArgs>;
+};
+export type $VerifiedFactsPayload<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    name: "VerifiedFacts";
+    objects: {
+        fleet: Prisma.$FleetPayload<ExtArgs>;
+        ship: Prisma.$ShipPayload<ExtArgs>;
+    };
+    scalars: runtime.Types.Extensions.GetPayloadResult<{
+        fleetId: string;
+        shipId: string;
+        writerKind: $Enums.FactWriterKind;
+        writer: string;
+        facts: runtime.JsonValue;
+        writtenAt: Date;
+    }, ExtArgs["result"]["verifiedFacts"]>;
+    composites: {};
+};
+export type VerifiedFactsGetPayload<S extends boolean | null | undefined | VerifiedFactsDefaultArgs> = runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload, S>;
+export type VerifiedFactsCountArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = Omit<VerifiedFactsFindManyArgs, 'select' | 'include' | 'distinct' | 'omit'> & {
+    select?: VerifiedFactsCountAggregateInputType | true;
+};
+export interface VerifiedFactsDelegate<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs, GlobalOmitOptions = {}> {
+    [K: symbol]: {
+        types: Prisma.TypeMap<ExtArgs>['model']['VerifiedFacts'];
+        meta: {
+            name: 'VerifiedFacts';
+        };
+    };
+    /**
+     * Find zero or one VerifiedFacts that matches the filter.
+     * @param {VerifiedFactsFindUniqueArgs} args - Arguments to find a VerifiedFacts
+     * @example
+     * // Get one VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.findUnique({
+     *   where: {
+     *     // ... provide filter here
+     *   }
+     * })
+     */
+    findUnique<T extends VerifiedFactsFindUniqueArgs>(args: Prisma.SelectSubset<T, VerifiedFactsFindUniqueArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "findUnique", GlobalOmitOptions> | null, null, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Find one VerifiedFacts that matches the filter or throw an error with `error.code='P2025'`
+     * if no matches were found.
+     * @param {VerifiedFactsFindUniqueOrThrowArgs} args - Arguments to find a VerifiedFacts
+     * @example
+     * // Get one VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.findUniqueOrThrow({
+     *   where: {
+     *     // ... provide filter here
+     *   }
+     * })
+     */
+    findUniqueOrThrow<T extends VerifiedFactsFindUniqueOrThrowArgs>(args: Prisma.SelectSubset<T, VerifiedFactsFindUniqueOrThrowArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "findUniqueOrThrow", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Find the first VerifiedFacts that matches the filter.
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     * @param {VerifiedFactsFindFirstArgs} args - Arguments to find a VerifiedFacts
+     * @example
+     * // Get one VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.findFirst({
+     *   where: {
+     *     // ... provide filter here
+     *   }
+     * })
+     */
+    findFirst<T extends VerifiedFactsFindFirstArgs>(args?: Prisma.SelectSubset<T, VerifiedFactsFindFirstArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "findFirst", GlobalOmitOptions> | null, null, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Find the first VerifiedFacts that matches the filter or
+     * throw `PrismaKnownClientError` with `P2025` code if no matches were found.
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     * @param {VerifiedFactsFindFirstOrThrowArgs} args - Arguments to find a VerifiedFacts
+     * @example
+     * // Get one VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.findFirstOrThrow({
+     *   where: {
+     *     // ... provide filter here
+     *   }
+     * })
+     */
+    findFirstOrThrow<T extends VerifiedFactsFindFirstOrThrowArgs>(args?: Prisma.SelectSubset<T, VerifiedFactsFindFirstOrThrowArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "findFirstOrThrow", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Find zero or more VerifiedFacts that matches the filter.
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     * @param {VerifiedFactsFindManyArgs} args - Arguments to filter and select certain fields only.
+     * @example
+     * // Get all VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.findMany()
+     *
+     * // Get first 10 VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.findMany({ take: 10 })
+     *
+     * // Only select the `fleetId`
+     * const verifiedFactsWithFleetIdOnly = await prisma.verifiedFacts.findMany({ select: { fleetId: true } })
+     *
+     */
+    findMany<T extends VerifiedFactsFindManyArgs>(args?: Prisma.SelectSubset<T, VerifiedFactsFindManyArgs<ExtArgs>>): Prisma.PrismaPromise<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "findMany", GlobalOmitOptions>>;
+    /**
+     * Create a VerifiedFacts.
+     * @param {VerifiedFactsCreateArgs} args - Arguments to create a VerifiedFacts.
+     * @example
+     * // Create one VerifiedFacts
+     * const VerifiedFacts = await prisma.verifiedFacts.create({
+     *   data: {
+     *     // ... data to create a VerifiedFacts
+     *   }
+     * })
+     *
+     */
+    create<T extends VerifiedFactsCreateArgs>(args: Prisma.SelectSubset<T, VerifiedFactsCreateArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "create", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Create many VerifiedFacts.
+     * @param {VerifiedFactsCreateManyArgs} args - Arguments to create many VerifiedFacts.
+     * @example
+     * // Create many VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.createMany({
+     *   data: [
+     *     // ... provide data here
+     *   ]
+     * })
+     *
+     */
+    createMany<T extends VerifiedFactsCreateManyArgs>(args?: Prisma.SelectSubset<T, VerifiedFactsCreateManyArgs<ExtArgs>>): Prisma.PrismaPromise<Prisma.BatchPayload>;
+    /**
+     * Create many VerifiedFacts and returns the data saved in the database.
+     * @param {VerifiedFactsCreateManyAndReturnArgs} args - Arguments to create many VerifiedFacts.
+     * @example
+     * // Create many VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.createManyAndReturn({
+     *   data: [
+     *     // ... provide data here
+     *   ]
+     * })
+     *
+     * // Create many VerifiedFacts and only return the `fleetId`
+     * const verifiedFactsWithFleetIdOnly = await prisma.verifiedFacts.createManyAndReturn({
+     *   select: { fleetId: true },
+     *   data: [
+     *     // ... provide data here
+     *   ]
+     * })
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     *
+     */
+    createManyAndReturn<T extends VerifiedFactsCreateManyAndReturnArgs>(args?: Prisma.SelectSubset<T, VerifiedFactsCreateManyAndReturnArgs<ExtArgs>>): Prisma.PrismaPromise<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "createManyAndReturn", GlobalOmitOptions>>;
+    /**
+     * Delete a VerifiedFacts.
+     * @param {VerifiedFactsDeleteArgs} args - Arguments to delete one VerifiedFacts.
+     * @example
+     * // Delete one VerifiedFacts
+     * const VerifiedFacts = await prisma.verifiedFacts.delete({
+     *   where: {
+     *     // ... filter to delete one VerifiedFacts
+     *   }
+     * })
+     *
+     */
+    delete<T extends VerifiedFactsDeleteArgs>(args: Prisma.SelectSubset<T, VerifiedFactsDeleteArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "delete", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Update one VerifiedFacts.
+     * @param {VerifiedFactsUpdateArgs} args - Arguments to update one VerifiedFacts.
+     * @example
+     * // Update one VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.update({
+     *   where: {
+     *     // ... provide filter here
+     *   },
+     *   data: {
+     *     // ... provide data here
+     *   }
+     * })
+     *
+     */
+    update<T extends VerifiedFactsUpdateArgs>(args: Prisma.SelectSubset<T, VerifiedFactsUpdateArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "update", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Delete zero or more VerifiedFacts.
+     * @param {VerifiedFactsDeleteManyArgs} args - Arguments to filter VerifiedFacts to delete.
+     * @example
+     * // Delete a few VerifiedFacts
+     * const { count } = await prisma.verifiedFacts.deleteMany({
+     *   where: {
+     *     // ... provide filter here
+     *   }
+     * })
+     *
+     */
+    deleteMany<T extends VerifiedFactsDeleteManyArgs>(args?: Prisma.SelectSubset<T, VerifiedFactsDeleteManyArgs<ExtArgs>>): Prisma.PrismaPromise<Prisma.BatchPayload>;
+    /**
+     * Update zero or more VerifiedFacts.
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     * @param {VerifiedFactsUpdateManyArgs} args - Arguments to update one or more rows.
+     * @example
+     * // Update many VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.updateMany({
+     *   where: {
+     *     // ... provide filter here
+     *   },
+     *   data: {
+     *     // ... provide data here
+     *   }
+     * })
+     *
+     */
+    updateMany<T extends VerifiedFactsUpdateManyArgs>(args: Prisma.SelectSubset<T, VerifiedFactsUpdateManyArgs<ExtArgs>>): Prisma.PrismaPromise<Prisma.BatchPayload>;
+    /**
+     * Update zero or more VerifiedFacts and returns the data updated in the database.
+     * @param {VerifiedFactsUpdateManyAndReturnArgs} args - Arguments to update many VerifiedFacts.
+     * @example
+     * // Update many VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.updateManyAndReturn({
+     *   where: {
+     *     // ... provide filter here
+     *   },
+     *   data: [
+     *     // ... provide data here
+     *   ]
+     * })
+     *
+     * // Update zero or more VerifiedFacts and only return the `fleetId`
+     * const verifiedFactsWithFleetIdOnly = await prisma.verifiedFacts.updateManyAndReturn({
+     *   select: { fleetId: true },
+     *   where: {
+     *     // ... provide filter here
+     *   },
+     *   data: [
+     *     // ... provide data here
+     *   ]
+     * })
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     *
+     */
+    updateManyAndReturn<T extends VerifiedFactsUpdateManyAndReturnArgs>(args: Prisma.SelectSubset<T, VerifiedFactsUpdateManyAndReturnArgs<ExtArgs>>): Prisma.PrismaPromise<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "updateManyAndReturn", GlobalOmitOptions>>;
+    /**
+     * Create or update one VerifiedFacts.
+     * @param {VerifiedFactsUpsertArgs} args - Arguments to update or create a VerifiedFacts.
+     * @example
+     * // Update or create a VerifiedFacts
+     * const verifiedFacts = await prisma.verifiedFacts.upsert({
+     *   create: {
+     *     // ... data to create a VerifiedFacts
+     *   },
+     *   update: {
+     *     // ... in case it already exists, update
+     *   },
+     *   where: {
+     *     // ... the filter for the VerifiedFacts we want to update
+     *   }
+     * })
+     */
+    upsert<T extends VerifiedFactsUpsertArgs>(args: Prisma.SelectSubset<T, VerifiedFactsUpsertArgs<ExtArgs>>): Prisma.Prisma__VerifiedFactsClient<runtime.Types.Result.GetResult<Prisma.$VerifiedFactsPayload<ExtArgs>, T, "upsert", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Count the number of VerifiedFacts.
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     * @param {VerifiedFactsCountArgs} args - Arguments to filter VerifiedFacts to count.
+     * @example
+     * // Count the number of VerifiedFacts
+     * const count = await prisma.verifiedFacts.count({
+     *   where: {
+     *     // ... the filter for the VerifiedFacts we want to count
+     *   }
+     * })
+    **/
+    count<T extends VerifiedFactsCountArgs>(args?: Prisma.Subset<T, VerifiedFactsCountArgs>): Prisma.PrismaPromise<T extends runtime.Types.Utils.Record<'select', any> ? T['select'] extends true ? number : Prisma.GetScalarType<T['select'], VerifiedFactsCountAggregateOutputType> : number>;
+    /**
+     * Allows you to perform aggregations operations on a VerifiedFacts.
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     * @param {VerifiedFactsAggregateArgs} args - Select which aggregations you would like to apply and on what fields.
+     * @example
+     * // Ordered by age ascending
+     * // Where email contains prisma.io
+     * // Limited to the 10 users
+     * const aggregations = await prisma.user.aggregate({
+     *   _avg: {
+     *     age: true,
+     *   },
+     *   where: {
+     *     email: {
+     *       contains: "prisma.io",
+     *     },
+     *   },
+     *   orderBy: {
+     *     age: "asc",
+     *   },
+     *   take: 10,
+     * })
+    **/
+    aggregate<T extends VerifiedFactsAggregateArgs>(args: Prisma.Subset<T, VerifiedFactsAggregateArgs>): Prisma.PrismaPromise<GetVerifiedFactsAggregateType<T>>;
+    /**
+     * Group by VerifiedFacts.
+     * Note, that providing `undefined` is treated as the value not being there.
+     * Read more here: https://pris.ly/d/null-undefined
+     * @param {VerifiedFactsGroupByArgs} args - Group by arguments.
+     * @example
+     * // Group by city, order by createdAt, get count
+     * const result = await prisma.user.groupBy({
+     *   by: ['city', 'createdAt'],
+     *   orderBy: {
+     *     createdAt: true
+     *   },
+     *   _count: {
+     *     _all: true
+     *   },
+     * })
+     *
+    **/
+    groupBy<T extends VerifiedFactsGroupByArgs, HasSelectOrTake extends Prisma.Or<Prisma.Extends<'skip', Prisma.Keys<T>>, Prisma.Extends<'take', Prisma.Keys<T>>>, OrderByArg extends Prisma.True extends HasSelectOrTake ? {
+        orderBy: VerifiedFactsGroupByArgs['orderBy'];
+    } : {
+        orderBy?: VerifiedFactsGroupByArgs['orderBy'];
+    }, OrderFields extends Prisma.ExcludeUnderscoreKeys<Prisma.Keys<Prisma.MaybeTupleToUnion<T['orderBy']>>>, ByFields extends Prisma.MaybeTupleToUnion<T['by']>, ByValid extends Prisma.Has<ByFields, OrderFields>, HavingFields extends Prisma.GetHavingFields<T['having']>, HavingValid extends Prisma.Has<ByFields, HavingFields>, ByEmpty extends T['by'] extends never[] ? Prisma.True : Prisma.False, InputErrors extends ByEmpty extends Prisma.True ? `Error: "by" must not be empty.` : HavingValid extends Prisma.False ? {
+        [P in HavingFields]: P extends ByFields ? never : P extends string ? `Error: Field "${P}" used in "having" needs to be provided in "by".` : [
+            Error,
+            'Field ',
+            P,
+            ` in "having" needs to be provided in "by"`
+        ];
+    }[HavingFields] : 'take' extends Prisma.Keys<T> ? 'orderBy' extends Prisma.Keys<T> ? ByValid extends Prisma.True ? {} : {
+        [P in OrderFields]: P extends ByFields ? never : `Error: Field "${P}" in "orderBy" needs to be provided in "by"`;
+    }[OrderFields] : 'Error: If you provide "take", you also need to provide "orderBy"' : 'skip' extends Prisma.Keys<T> ? 'orderBy' extends Prisma.Keys<T> ? ByValid extends Prisma.True ? {} : {
+        [P in OrderFields]: P extends ByFields ? never : `Error: Field "${P}" in "orderBy" needs to be provided in "by"`;
+    }[OrderFields] : 'Error: If you provide "skip", you also need to provide "orderBy"' : ByValid extends Prisma.True ? {} : {
+        [P in OrderFields]: P extends ByFields ? never : `Error: Field "${P}" in "orderBy" needs to be provided in "by"`;
+    }[OrderFields]>(args: Prisma.SubsetIntersection<T, VerifiedFactsGroupByArgs, OrderByArg> & InputErrors): {} extends InputErrors ? GetVerifiedFactsGroupByPayload<T> : Prisma.PrismaPromise<InputErrors>;
+    /**
+     * Fields of the VerifiedFacts model
+     */
+    readonly fields: VerifiedFactsFieldRefs;
+}
+/**
+ * The delegate class that acts as a "Promise-like" for VerifiedFacts.
+ * Why is this prefixed with `Prisma__`?
+ * Because we want to prevent naming conflicts as mentioned in
+ * https://github.com/prisma/prisma-client-js/issues/707
+ */
+export interface Prisma__VerifiedFactsClient<T, Null = never, ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs, GlobalOmitOptions = {}> extends Prisma.PrismaPromise<T> {
+    readonly [Symbol.toStringTag]: "PrismaPromise";
+    fleet<T extends Prisma.FleetDefaultArgs<ExtArgs> = {}>(args?: Prisma.Subset<T, Prisma.FleetDefaultArgs<ExtArgs>>): Prisma.Prisma__FleetClient<runtime.Types.Result.GetResult<Prisma.$FleetPayload<ExtArgs>, T, "findUniqueOrThrow", GlobalOmitOptions> | Null, Null, ExtArgs, GlobalOmitOptions>;
+    ship<T extends Prisma.ShipDefaultArgs<ExtArgs> = {}>(args?: Prisma.Subset<T, Prisma.ShipDefaultArgs<ExtArgs>>): Prisma.Prisma__ShipClient<runtime.Types.Result.GetResult<Prisma.$ShipPayload<ExtArgs>, T, "findUniqueOrThrow", GlobalOmitOptions> | Null, Null, ExtArgs, GlobalOmitOptions>;
+    /**
+     * Attaches callbacks for the resolution and/or rejection of the Promise.
+     * @param onfulfilled The callback to execute when the Promise is resolved.
+     * @param onrejected The callback to execute when the Promise is rejected.
+     * @returns A Promise for the completion of which ever callback is executed.
+     */
+    then<TResult1 = T, TResult2 = never>(onfulfilled?: ((value: T) => TResult1 | PromiseLike<TResult1>) | undefined | null, onrejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined | null): runtime.Types.Utils.JsPromise<TResult1 | TResult2>;
+    /**
+     * Attaches a callback for only the rejection of the Promise.
+     * @param onrejected The callback to execute when the Promise is rejected.
+     * @returns A Promise for the completion of the callback.
+     */
+    catch<TResult = never>(onrejected?: ((reason: any) => TResult | PromiseLike<TResult>) | undefined | null): runtime.Types.Utils.JsPromise<T | TResult>;
+    /**
+     * Attaches a callback that is invoked when the Promise is settled (fulfilled or rejected). The
+     * resolved value cannot be modified from the callback.
+     * @param onfinally The callback to execute when the Promise is settled (fulfilled or rejected).
+     * @returns A Promise for the completion of the callback.
+     */
+    finally(onfinally?: (() => void) | undefined | null): runtime.Types.Utils.JsPromise<T>;
+}
+/**
+ * Fields of the VerifiedFacts model
+ */
+export interface VerifiedFactsFieldRefs {
+    readonly fleetId: Prisma.FieldRef<"VerifiedFacts", 'String'>;
+    readonly shipId: Prisma.FieldRef<"VerifiedFacts", 'String'>;
+    readonly writerKind: Prisma.FieldRef<"VerifiedFacts", 'FactWriterKind'>;
+    readonly writer: Prisma.FieldRef<"VerifiedFacts", 'String'>;
+    readonly facts: Prisma.FieldRef<"VerifiedFacts", 'Json'>;
+    readonly writtenAt: Prisma.FieldRef<"VerifiedFacts", 'DateTime'>;
+}
+/**
+ * VerifiedFacts findUnique
+ */
+export type VerifiedFactsFindUniqueArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * Filter, which VerifiedFacts to fetch.
+     */
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+};
+/**
+ * VerifiedFacts findUniqueOrThrow
+ */
+export type VerifiedFactsFindUniqueOrThrowArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * Filter, which VerifiedFacts to fetch.
+     */
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+};
+/**
+ * VerifiedFacts findFirst
+ */
+export type VerifiedFactsFindFirstArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * Filter, which VerifiedFacts to fetch.
+     */
+    where?: Prisma.VerifiedFactsWhereInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
+     *
+     * Determine the order of VerifiedFacts to fetch.
+     */
+    orderBy?: Prisma.VerifiedFactsOrderByWithRelationInput | Prisma.VerifiedFactsOrderByWithRelationInput[];
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
+     *
+     * Sets the position for searching for VerifiedFacts.
+     */
+    cursor?: Prisma.VerifiedFactsWhereUniqueInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Take `±n` VerifiedFacts from the position of the cursor.
+     */
+    take?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Skip the first `n` VerifiedFacts.
+     */
+    skip?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/distinct Distinct Docs}
+     *
+     * Filter by unique combinations of VerifiedFacts.
+     */
+    distinct?: Prisma.VerifiedFactsScalarFieldEnum | Prisma.VerifiedFactsScalarFieldEnum[];
+};
+/**
+ * VerifiedFacts findFirstOrThrow
+ */
+export type VerifiedFactsFindFirstOrThrowArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * Filter, which VerifiedFacts to fetch.
+     */
+    where?: Prisma.VerifiedFactsWhereInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
+     *
+     * Determine the order of VerifiedFacts to fetch.
+     */
+    orderBy?: Prisma.VerifiedFactsOrderByWithRelationInput | Prisma.VerifiedFactsOrderByWithRelationInput[];
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
+     *
+     * Sets the position for searching for VerifiedFacts.
+     */
+    cursor?: Prisma.VerifiedFactsWhereUniqueInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Take `±n` VerifiedFacts from the position of the cursor.
+     */
+    take?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Skip the first `n` VerifiedFacts.
+     */
+    skip?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/distinct Distinct Docs}
+     *
+     * Filter by unique combinations of VerifiedFacts.
+     */
+    distinct?: Prisma.VerifiedFactsScalarFieldEnum | Prisma.VerifiedFactsScalarFieldEnum[];
+};
+/**
+ * VerifiedFacts findMany
+ */
+export type VerifiedFactsFindManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * Filter, which VerifiedFacts to fetch.
+     */
+    where?: Prisma.VerifiedFactsWhereInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
+     *
+     * Determine the order of VerifiedFacts to fetch.
+     */
+    orderBy?: Prisma.VerifiedFactsOrderByWithRelationInput | Prisma.VerifiedFactsOrderByWithRelationInput[];
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
+     *
+     * Sets the position for listing VerifiedFacts.
+     */
+    cursor?: Prisma.VerifiedFactsWhereUniqueInput;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Take `±n` VerifiedFacts from the position of the cursor.
+     */
+    take?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
+     *
+     * Skip the first `n` VerifiedFacts.
+     */
+    skip?: number;
+    /**
+     * {@link https://www.prisma.io/docs/concepts/components/prisma-client/distinct Distinct Docs}
+     *
+     * Filter by unique combinations of VerifiedFacts.
+     */
+    distinct?: Prisma.VerifiedFactsScalarFieldEnum | Prisma.VerifiedFactsScalarFieldEnum[];
+};
+/**
+ * VerifiedFacts create
+ */
+export type VerifiedFactsCreateArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * The data needed to create a VerifiedFacts.
+     */
+    data: Prisma.XOR<Prisma.VerifiedFactsCreateInput, Prisma.VerifiedFactsUncheckedCreateInput>;
+};
+/**
+ * VerifiedFacts createMany
+ */
+export type VerifiedFactsCreateManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * The data used to create many VerifiedFacts.
+     */
+    data: Prisma.VerifiedFactsCreateManyInput | Prisma.VerifiedFactsCreateManyInput[];
+    skipDuplicates?: boolean;
+};
+/**
+ * VerifiedFacts createManyAndReturn
+ */
+export type VerifiedFactsCreateManyAndReturnArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelectCreateManyAndReturn<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * The data used to create many VerifiedFacts.
+     */
+    data: Prisma.VerifiedFactsCreateManyInput | Prisma.VerifiedFactsCreateManyInput[];
+    skipDuplicates?: boolean;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsIncludeCreateManyAndReturn<ExtArgs> | null;
+};
+/**
+ * VerifiedFacts update
+ */
+export type VerifiedFactsUpdateArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * The data needed to update a VerifiedFacts.
+     */
+    data: Prisma.XOR<Prisma.VerifiedFactsUpdateInput, Prisma.VerifiedFactsUncheckedUpdateInput>;
+    /**
+     * Choose, which VerifiedFacts to update.
+     */
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+};
+/**
+ * VerifiedFacts updateMany
+ */
+export type VerifiedFactsUpdateManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * The data used to update VerifiedFacts.
+     */
+    data: Prisma.XOR<Prisma.VerifiedFactsUpdateManyMutationInput, Prisma.VerifiedFactsUncheckedUpdateManyInput>;
+    /**
+     * Filter which VerifiedFacts to update
+     */
+    where?: Prisma.VerifiedFactsWhereInput;
+    /**
+     * Limit how many VerifiedFacts to update.
+     */
+    limit?: number;
+};
+/**
+ * VerifiedFacts updateManyAndReturn
+ */
+export type VerifiedFactsUpdateManyAndReturnArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelectUpdateManyAndReturn<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * The data used to update VerifiedFacts.
+     */
+    data: Prisma.XOR<Prisma.VerifiedFactsUpdateManyMutationInput, Prisma.VerifiedFactsUncheckedUpdateManyInput>;
+    /**
+     * Filter which VerifiedFacts to update
+     */
+    where?: Prisma.VerifiedFactsWhereInput;
+    /**
+     * Limit how many VerifiedFacts to update.
+     */
+    limit?: number;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsIncludeUpdateManyAndReturn<ExtArgs> | null;
+};
+/**
+ * VerifiedFacts upsert
+ */
+export type VerifiedFactsUpsertArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * The filter to search for the VerifiedFacts to update in case it exists.
+     */
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+    /**
+     * In case the VerifiedFacts found by the `where` argument doesn't exist, create a new VerifiedFacts with this data.
+     */
+    create: Prisma.XOR<Prisma.VerifiedFactsCreateInput, Prisma.VerifiedFactsUncheckedCreateInput>;
+    /**
+     * In case the VerifiedFacts was found with the provided `where` argument, update it with this data.
+     */
+    update: Prisma.XOR<Prisma.VerifiedFactsUpdateInput, Prisma.VerifiedFactsUncheckedUpdateInput>;
+};
+/**
+ * VerifiedFacts delete
+ */
+export type VerifiedFactsDeleteArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+    /**
+     * Filter which VerifiedFacts to delete.
+     */
+    where: Prisma.VerifiedFactsWhereUniqueInput;
+};
+/**
+ * VerifiedFacts deleteMany
+ */
+export type VerifiedFactsDeleteManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Filter which VerifiedFacts to delete
+     */
+    where?: Prisma.VerifiedFactsWhereInput;
+    /**
+     * Limit how many VerifiedFacts to delete.
+     */
+    limit?: number;
+};
+/**
+ * VerifiedFacts without action
+ */
+export type VerifiedFactsDefaultArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
+    /**
+     * Select specific fields to fetch from the VerifiedFacts
+     */
+    select?: Prisma.VerifiedFactsSelect<ExtArgs> | null;
+    /**
+     * Omit specific fields from the VerifiedFacts
+     */
+    omit?: Prisma.VerifiedFactsOmit<ExtArgs> | null;
+    /**
+     * Choose, which related nodes to fetch as well
+     */
+    include?: Prisma.VerifiedFactsInclude<ExtArgs> | null;
+};