libmodulor 0.23.0 → 0.25.0

package/CHANGELOG.md

@@ -1,5 +1,39 @@
 # CHANGELOG
 
+## v0.25.0 (2025-12-21)
+
+**Highlights**
+
+- Added use case summary in the auto-generated app docs : In addition to the existing mermaid diagram, there is now a summary of the lifecyle, input and output in a dedicated table
+    - Example : https://github.com/c100k/libmodulor/tree/42fd11307cdd9f8cdec19b4de75d4959bc9f9a9e/examples/apps/Spotify#createalbum
+- Improved the `File` data type
+    - Changed the property `path` to `uri` to conform to the `FormData` spec (this is a breaking change)
+    - Simplified the declaration by inlining the accepted types via `accept` instead of `type.allowed` (this is also a breaking change)
+    - Added `maxSizeInBytes` and `minSizeInBytes` for size validation
+- Added `getConstraintsForHuman` to format constraints for the end user in the targets. For instance :
+    - For `FreeTextShort`, it displays `Max length: 150` 🇬🇧 when present
+    - For `File`, it displays `Max size: 8MB - Accepted types: application/png, application/jpg` 🇬🇧 when present
+    - Applied to the `react-native-pure` and `react-native-web` targets (see `UCFormFieldHelp.tsx`)
+
+See all the changes here : https://github.com/c100k/libmodulor/compare/v0.24.0...master
+
+## v0.24.0 (2025-12-07)
+
+**Highlights**
+
+- Introduced `babel`, `vite` plugins and `webpack` loader => https://libmodulor.c100k.eu/docs/guides/bundle-target
+- Introduced the `node-stricli-cli` target using @bloomberg's `stricli` library
+- Introduced the `Playground` example, runnable locally, to play with all the features of `libmodulor` => https://libmodulor.c100k.eu/docs/examples/Playground
+- Improved apps testing by making sure non-english languages are fully translated
+- Improved apps testing performance by optimizing use cases testing using the `stream` transport
+- Introduced `de` 🇩🇪 and `es` 🇪🇸 locales (see them in action in the `Playground`)
+
+Some breaking changes but at the very low level. If your apps break, just follow the TypeScript errors and you should be good to go.
+
+Also bumped React versions for the infamous [React2Shell vulnerability](https://react.dev/blog/2025/12/03/critical-security-vulnerability-in-react-server-components).
+
+See all the changes here : https://github.com/c100k/libmodulor/compare/v0.23.0...master
+
 ## v0.23.0 (2025-11-11)
 
 See all the changes here : https://github.com/c100k/libmodulor/compare/v0.22.0...master

package/README.md

@@ -7,14 +7,166 @@ A TypeScript library to create platform-agnostic applications.
 
 ## 🚀 Getting Started
 
-If you're discovering `libmodulor`, we recommend reading the [📖 Documentation](https://libmodulor.c100k.eu/docs) first. You'll find everything you need to get started : Concepts, Examples and Guides.
+If you're discovering `libmodulor`, we recommend reading the [📖 Documentation](https://libmodulor.c100k.eu/docs) first.
+You'll find everything you need to get started : Concepts, Examples and Guides.
 
 When you're ready, [🚀 Create a project](https://libmodulor.c100k.eu/docs/guides/create-project) and build the awesome idea you have in mind.
 
+In the meantime, here is how to declare the four layers of `libmodulor`.
+
+_These snippets are extracted from the [`Basic`](https://libmodulor.c100k.eu/docs/examples/Basic) example (check out the full example to get the full picture)._
+
+### App
+
+```ts
+const appManifest = {
+    languageCodes: ['en', 'fr'],
+    name: 'Event',
+    ucReg: {
+        Register: {
+            action: 'Create',
+            icon: 'user',
+            name: 'Register',
+        },
+    },
+} satisfies AppManifest;
+
+const appI18n: AppI18n = {
+    en: {
+        ucif_email_label: 'Your email address',
+        ucif_firstname_label: 'Your firstname',
+        ucif_lastname_label: 'Your lastname',
+        ucof_id_label: 'Your registration #',
+        ucof_ticketNumber_label: 'Your ticket #',
+    },
+    fr: {
+        ucif_email_label: 'Votre adresse email',
+        ucif_firstname_label: 'Votre prénom',
+        ucif_lastname_label: 'Votre nom',
+        ucof_id_label: "Votre # d'inscription",
+        ucof_ticketNumber_label: 'Votre # de ticket',
+    },
+};
+```
+
+### Use Case
+
+```ts
+interface RegisterInput extends UCInput {
+    email: UCInputFieldValue<Email>;
+    firstname: UCInputFieldValue<PersonFirstname>;
+    lastname: UCInputFieldValue<PersonLastname>;
+}
+
+interface RegisterOPI0 extends AggregateOPI0 {
+    amount: Amount;
+    ticketNumber: TicketNumber;
+}
+
+@injectable()
+class RegisterClientMain implements UCMain<RegisterInput, RegisterOPI0> {
+    constructor(@inject('UCManager') private ucManager: UCManager) {}
+
+    public async exec({
+        uc,
+    }: UCMainInput<RegisterInput, RegisterOPI0>): Promise<
+        UCOutput<RegisterOPI0>
+    > {
+        const { aggregateId } = await this.ucManager.persist(uc);
+
+        const amount: Amount = 99.99; // Should come from some catalog in a real application
+        const ticketNumber: TicketNumber = 1; // Should come from a safely auto-generated sequence in a real application
+
+        return new UCOutputBuilder<RegisterOPI0>()
+            .add({
+                amount,
+                id: aggregateId,
+                ticketNumber,
+            })
+            .get();
+    }
+}
+
+const RegisterUCD: UCDef<RegisterInput, RegisterOPI0> = {
+    io: {
+        i: {
+            fields: {
+                email: {
+                    type: new TEmail(),
+                },
+                firstname: {
+                    type: new TPersonFirstname(),
+                },
+                lastname: {
+                    type: new TPersonLastname(),
+                },
+            },
+        },
+        o: {
+            parts: {
+                _0: {
+                    fields: {
+                        amount: {
+                            type: new TAmount('EUR'),
+                        },
+                        ticketNumber: {
+                            type: new TTicketNumber(),
+                        },
+                    },
+                    order: ['ticketNumber', 'amount', 'id'],
+                },
+            },
+        },
+    },
+    lifecycle: {
+        client: {
+            main: RegisterClientMain,
+            policy: EverybodyUCPolicy,
+        },
+    },
+    metadata: {
+        action: 'Create',
+        icon: 'user',
+        name: 'Register',
+    },
+};
+```
+
+### Product
+
+```ts
+const productManifest: ProductManifest = {
+    appReg: [{ name: 'Event' }],
+    name: 'Eventer',
+};
+
+const productI18n: ProductI18n = {
+    en: {
+        ...I18nEN,
+        ...appI18n.en,
+    },
+    fr: {
+        ...I18nFR,
+        ...appI18n.fr,
+    },
+};
+```
+
+### Target
+
+```ts
+const container = new Container(CONTAINER_OPTS);
+
+bindCommon(container);
+bindNodeCore(container);
+bindProduct(container, productManifest, productI18n);
+```
+
+
 ## 👨‍💻 Contribute
 
 If you think you can help in any way, feel free to contact me (cf. `author` in `package.json`). I'd love to chat.
 
 ## ⚖️ License
 
-[LGPL-3.0](https://github.com/c100k/libmodulor/blob/v0.23.0/LICENSE)
+[LGPL-3.0](https://github.com/c100k/libmodulor/blob/v0.25.0/LICENSE)

package/dist/esm/apps/Helper/src/lib/project.js

@@ -81,21 +81,21 @@ export const PACKAGE_JSON = (name) => `{
         "test": "tsc && vitest run --passWithNoTests"
     },
     "dependencies": {
-        "inversify": "^7.10.4",
+        "inversify": "^7.10.7",
         "libmodulor": "latest",
         "reflect-metadata": "^0.2.2"
     },
     "devDependencies": {
-        "@biomejs/biome": "^2.3.4",
-        "@types/node": "^24.10.0",
+        "@biomejs/biome": "^2.3.10",
+        "@types/node": "^25.0.3",
         "@vitest/coverage-v8": "^3.2.4",
         "buffer": "^6.0.3",
         "cookie-parser": "^1.4.7",
-        "express": "^5.1.0",
+        "express": "^5.2.1",
         "express-fileupload": "^1.5.2",
-        "fast-check": "^4.3.0",
+        "fast-check": "^4.4.0",
         "helmet": "^8.1.0",
-        "jose": "^6.1.0",
+        "jose": "^6.1.3",
         "typescript": "^5.9.3",
         "vite": "^6.4.1",
         "vitest": "^3.2.4"

package/dist/esm/apps/Helper/src/ucds/TestAppUCD.d.ts

@@ -1,8 +1,9 @@
 import type { AppName } from '../../../../app/index.js';
-import { type UCDef, type UCInputFieldValue } from '../../../../uc/index.js';
+import { type UCDef, type UCInputFieldValue, type UCName } from '../../../../uc/index.js';
 import { type AppInput } from '../lib/app.js';
 export interface TestAppInput extends AppInput {
     appName: UCInputFieldValue<AppName>;
+    only: UCInputFieldValue<UCName>;
     skipCoverage: UCInputFieldValue<boolean>;
     updateSnapshots: UCInputFieldValue<boolean>;
 }

package/dist/esm/apps/Helper/src/ucds/TestAppUCD.js

@@ -34,6 +34,7 @@ let TestAppClientMain = class TestAppClientMain {
     async exec({ uc }) {
         const appsPath = uc.reqVal0('appsPath');
         const appName = uc.reqVal0('appName');
+        const only = uc.rVal0('only');
         const skipCoverage = uc.reqVal0('skipCoverage');
         const updateSnapshots = uc.reqVal0('updateSnapshots');
         const appPath = this.fsManager.path(appsPath, appName);
@@ -42,6 +43,7 @@ let TestAppClientMain = class TestAppClientMain {
         }
         await this.appTestSuiteRunner.exec({
             appPath,
+            only,
             skipCoverage,
             updateSnapshots,
         });
@@ -84,6 +86,12 @@ export const TestAppUCD = {
                 appName: {
                     type: new TString().setExamples([APP_NAME_PLACEHOLDER]),
                 },
+                only: {
+                    cardinality: {
+                        min: 0,
+                    },
+                    type: new TString().setExamples(['CreatePost']),
+                },
                 skipCoverage: {
                     type: new TBoolean().setDefaultValue(false),
                 },

package/dist/esm/convention.d.ts

@@ -36,6 +36,9 @@ export declare const UC_DEF_TYPE: string;
 export declare const UC_INPUT_BASE: string;
 export declare const UC_INPUT_FIELD_PATTERN: string;
 export declare const UC_INPUT_SUFFIX: string;
+export declare const UC_LIFECYCLE_PROP_NAME: string;
+export declare const UC_LIFECYCLE_CLIENT_PROP_NAME: string;
+export declare const UC_LIFECYCLE_SERVER_PROP_NAME: string;
 export declare const UC_MAIN_SUFFIX: string;
 export declare const UC_MAIN_CLIENT_SUFFIX: string;
 export declare const UC_MAIN_SERVER_SUFFIX: string;

package/dist/esm/convention.js

@@ -46,6 +46,9 @@ export const UC_DEF_TYPE = 'UCDef';
 export const UC_INPUT_BASE = 'UCInput';
 export const UC_INPUT_FIELD_PATTERN = '^UCInputFieldValue<(.*)>$';
 export const UC_INPUT_SUFFIX = 'Input';
+export const UC_LIFECYCLE_PROP_NAME = 'lifecycle';
+export const UC_LIFECYCLE_CLIENT_PROP_NAME = 'client';
+export const UC_LIFECYCLE_SERVER_PROP_NAME = 'server';
 export const UC_MAIN_SUFFIX = 'Main';
 export const UC_MAIN_CLIENT_SUFFIX = `Client${UC_MAIN_SUFFIX}`;
 export const UC_MAIN_SERVER_SUFFIX = `Server${UC_MAIN_SUFFIX}`;

package/dist/esm/dt/DataTypes.d.ts

@@ -1,2 +1 @@
-import type { DataType } from './DataType.js';
-export declare const DataTypes: DataType[];
+export declare const DataTypes: readonly ["Address", "Amount", "ApiKey", "BarCode", "CSS", "Color", "ColorRGBA", "CompanyName", "CountryISO3166Alpha2", "CurrencyISO4217", "DateISO8601", "DateTimeFormat", "DirPath", "DomainName", "Email", "EmbeddedObject", "Emoji", "EncryptionKey", "ErrorMessage", "ExternalServiceId", "File", "FileExtension", "FileMimeType", "FileName", "FilePath", "FreeTextLong", "FreeTextShort", "Geolocation", "GitSSHURL", "HTML", "HTTPContentType", "HTTPMethod", "HTTPStatusNumber", "HostAddress", "HostPort", "IPv4", "IPv6", "JSONString", "JWT", "JavaScript", "JobTitle", "Markdown", "NumIndex", "Password", "Percentage", "PersonFirstname", "PersonFullname", "PersonInitials", "PersonLastname", "QRCode", "SQLQuery", "SSHPrivateKey", "SSHPublicKey", "SearchQuery", "SemVerVersion", "ShellCommand", "Slug", "Time", "Timestamp", "TransportType", "UIntDuration", "UIntQuantity", "URL", "URLPath", "UUID", "Username", "Year", "YesNo"];

package/dist/esm/dt/Validation.d.ts

@@ -1,13 +1,13 @@
 import type { I18nTranslation } from '../i18n/index.js';
 import type { NumIndex } from './final/TNumIndex.js';
-type ViolationConstraint = 'fieldsOr' | 'format' | 'mandatory' | 'max' | 'maxCount' | 'maxLength' | 'min' | 'minCount' | 'minLength' | 'oneOf' | 'shape' | 'type';
+type ViolationConstraint = 'fieldsOr' | 'format' | 'mandatory' | 'max' | 'maxCount' | 'maxLength' | 'maxSize' | 'min' | 'minCount' | 'minLength' | 'minSize' | 'oneOf' | 'shape' | 'type';
 type ViolationBase<C extends ViolationConstraint, EV> = {
     constraint: C;
     expected: EV;
 };
 export type ViolationFormat = 'ColorRGBA' | 'DateISO8601' | 'DirPath' | 'DomainName' | 'Email' | 'FilePath' | 'GitSSHURL' | 'IPv4' | 'IPv6' | 'JSON' | 'JWT' | 'PersonFirstname' | 'PersonFullname' | 'PersonInitials' | 'PersonLastname' | 'QRCode' | 'SemVerVersion' | 'Slug' | 'SSHPrivateKey' | 'SSHPublicKey' | 'Time' | 'URL' | 'UUID';
 export type ViolationType = 'array' | 'boolean' | 'int' | 'number' | 'object' | 'scalar' | 'string';
-export type Violation<T = unknown> = ViolationBase<'fieldsOr', string> | ViolationBase<'format', ViolationFormat> | ViolationBase<'format', string> | ViolationBase<'mandatory', undefined> | ViolationBase<'max', number> | ViolationBase<'maxCount', number> | ViolationBase<'maxLength', number> | ViolationBase<'min', number> | ViolationBase<'minCount', number> | ViolationBase<'minLength', number> | ViolationBase<'oneOf', T[]> | ViolationBase<'shape', object> | ViolationBase<'type', ViolationType>;
+export type Violation<T = unknown> = ViolationBase<'fieldsOr', string> | ViolationBase<'format', ViolationFormat> | ViolationBase<'format', string> | ViolationBase<'mandatory', undefined> | ViolationBase<'max', number> | ViolationBase<'maxCount', number> | ViolationBase<'maxLength', number> | ViolationBase<'maxSize', string> | ViolationBase<'min', number> | ViolationBase<'minCount', number> | ViolationBase<'minLength', number> | ViolationBase<'minSize', string> | ViolationBase<'oneOf', T[]> | ViolationBase<'shape', object> | ViolationBase<'type', ViolationType>;
 type ViolationI18nableSimple = Exclude<ViolationConstraint, 'format' | 'type'>;
 export type ViolationI18nable = `validation_${ViolationI18nableSimple}` | `validation_format_${ViolationFormat}` | `validation_type_${ViolationType}`;
 export type ViolationI18n = Record<ViolationI18nable, I18nTranslation>;

package/dist/esm/dt/base/TBase.d.ts

@@ -26,6 +26,7 @@ export interface OptionsOpts {
     shouldTranslateLabels?: boolean;
     strict?: boolean;
 }
+export type ConstraintsForHuman = Record<string, string>;
 export declare abstract class TBase<T extends DataType> {
     static DEFAULT_OPTIONS: Required<OptionsOpts>;
     protected defaultValue: T | undefined;
@@ -44,6 +45,7 @@ export declare abstract class TBase<T extends DataType> {
     fmt(ifNullOrUndefined?: string): string;
     getDefaultValue(): T | undefined;
     getExamples(): T[] | undefined;
+    getConstraintsForHuman(): ConstraintsForHuman | null;
     getInitialValue(): T | undefined;
     getOptions(): Option<T>[] | undefined;
     getSemanticsMapping(): SemanticsMapping | undefined;

package/dist/esm/dt/base/TBase.js

@@ -39,6 +39,9 @@ export class TBase {
     getExamples() {
         return this.examples;
     }
+    getConstraintsForHuman() {
+        return null;
+    }
     getInitialValue() {
         return this.initialValue;
     }

package/dist/esm/dt/base/TObject.d.ts

@@ -1,6 +1,7 @@
+import type { EnumOf } from '../../utils/index.js';
 import type { Validation } from '../Validation.js';
 import { TBase, type TName } from './TBase.js';
-export declare enum TObjectShapeValidationStrategy {
+export declare const TObjectShapeValidationStrategy: {
     /**
      * No shape validation is performed
      *
@@ -8,14 +9,15 @@ export declare enum TObjectShapeValidationStrategy {
      *
      * Otherwise, you can still override {@link validate} in the `T*` class and do your own validation.
      */
-    NONE = "NONE",
+    readonly NONE: "NONE";
     /**
      * Validate against the {@link TObject.example()}
      *
      * It checks that the keys of the value, sorted alphabetically, are the same as the example's keys.
      */
-    SAME_AS_EXAMPLE = "SAME_AS_EXAMPLE"
-}
+    readonly SAME_AS_EXAMPLE: "SAME_AS_EXAMPLE";
+};
+export type TObjectShapeValidationStrategy = EnumOf<typeof TObjectShapeValidationStrategy>;
 export interface TObjectConstraints {
     /**
      * @defaultValue {@link TObjectShapeValidationStrategy.SAME_AS_EXAMPLE}

package/dist/esm/dt/base/TObject.js

@@ -1,6 +1,5 @@
 import { TBase } from './TBase.js';
-export var TObjectShapeValidationStrategy;
-(function (TObjectShapeValidationStrategy) {
+export const TObjectShapeValidationStrategy = {
     /**
      * No shape validation is performed
      *
@@ -8,14 +7,14 @@ export var TObjectShapeValidationStrategy;
      *
      * Otherwise, you can still override {@link validate} in the `T*` class and do your own validation.
      */
-    TObjectShapeValidationStrategy["NONE"] = "NONE";
+    NONE: 'NONE',
     /**
      * Validate against the {@link TObject.example()}
      *
      * It checks that the keys of the value, sorted alphabetically, are the same as the example's keys.
      */
-    TObjectShapeValidationStrategy["SAME_AS_EXAMPLE"] = "SAME_AS_EXAMPLE";
-})(TObjectShapeValidationStrategy || (TObjectShapeValidationStrategy = {}));
+    SAME_AS_EXAMPLE: 'SAME_AS_EXAMPLE',
+};
 export class TObject extends TBase {
     constraints;
     constructor(constraints = {
@@ -65,7 +64,7 @@ export class TObject extends TBase {
                     break;
                 }
                 default:
-                    ((_) => { })(strategy);
+                    strategy;
             }
         }
         return validation;

package/dist/esm/dt/base/TString.d.ts

@@ -1,5 +1,5 @@
 import type { Validation, ViolationFormat } from '../Validation.js';
-import { TBase, type TName } from './TBase.js';
+import { type ConstraintsForHuman, TBase, type TName } from './TBase.js';
 export interface TStringConstraints<VF extends ViolationFormat | (string & {}) = ViolationFormat> {
     format?: {
         f: VF;
@@ -15,6 +15,7 @@ export declare class TString<T extends string = string, VF extends ViolationForm
     constructor(constraints?: TStringConstraints<VF> | undefined);
     tName(): TName;
     example(): T;
+    getConstraintsForHuman(): ConstraintsForHuman | null;
     getConstraints(): TStringConstraints<VF> | undefined;
     isPotentiallyLong(): boolean;
     protected removeFormatConstraint(): void;

package/dist/esm/dt/base/TString.js

@@ -13,6 +13,28 @@ export class TString extends TBase {
     example() {
         return 'Miami';
     }
+    getConstraintsForHuman() {
+        if (!this.constraints) {
+            return null;
+        }
+        const c = {};
+        const { format, maxLength, minLength } = this.constraints;
+        if (minLength) {
+            // biome-ignore lint/complexity/useLiteralKeys: typescript disagrees
+            c['minLength'] = minLength.toString();
+        }
+        if (maxLength) {
+            // biome-ignore lint/complexity/useLiteralKeys: typescript disagrees
+            c['maxLength'] = maxLength.toString();
+        }
+        if (format) {
+            // Are regexes really "human" ?
+            // TODO : Find a more human way of displaying regexes
+            // biome-ignore lint/complexity/useLiteralKeys: typescript disagrees
+            c['format'] = format.regexp.toString();
+        }
+        return c;
+    }
     getConstraints() {
         return this.constraints;
     }

package/dist/esm/dt/final/TFile.d.ts

@@ -1,23 +1,32 @@
-import type { TName } from '../base/TBase.js';
+import type { ConstraintsForHuman, TName } from '../base/TBase.js';
 import { TObject } from '../base/TObject.js';
 import type { HTMLInputType } from '../targets/web.js';
 import type { Validation } from '../Validation.js';
-import { type FileMimeType, type TFileMimeTypeConstraints } from './TFileMimeType.js';
+import { type FileMimeType } from './TFileMimeType.js';
 import { type FileName } from './TFileName.js';
 import { type FilePath } from './TFilePath.js';
+import type { UIntQuantity } from './TUIntQuantity.js';
 export type File = {
     name: FileName;
-    path: FilePath;
+    size: UIntQuantity;
     type: FileMimeType;
+    uri: FilePath;
 };
 export interface TFileConstraints {
-    type: TFileMimeTypeConstraints;
+    accept: FileMimeType[];
+    maxSizeInBytes?: UIntQuantity;
+    minSizeInBytes?: UIntQuantity;
 }
 export declare class TFile extends TObject<File> {
     protected fileConstraints: TFileConstraints;
+    static readonly UNITS: string[];
     constructor(fileConstraints: TFileConstraints);
     tName(): TName;
     example(): File;
+    getConstraintsForHuman(): ConstraintsForHuman | null;
     htmlInputType(): HTMLInputType;
     validate(): Validation;
+    getFileConstraints(): TFileConstraints;
+    fmtBytes(bytes: number, decimals?: number): string;
+    withOneExample(name: File['name']): this;
 }

package/dist/esm/dt/final/TFile.js

@@ -1,9 +1,21 @@
 import { TObject, TObjectShapeValidationStrategy } from '../base/TObject.js';
-import { TFileMimeType, } from './TFileMimeType.js';
+import { TFileMimeType } from './TFileMimeType.js';
 import { TFileName } from './TFileName.js';
 import { TFilePath } from './TFilePath.js';
 export class TFile extends TObject {
     fileConstraints;
+    // We consider them generic enough to not having to be translated
+    static UNITS = [
+        'B',
+        'KB',
+        'MB',
+        'GB',
+        'TB',
+        'PB',
+        'EB',
+        'ZB',
+        'YB',
+    ];
     constructor(fileConstraints) {
         super({
             // We usually process instances of https://developer.mozilla.org/fr/docs/Web/API/File
@@ -17,11 +29,27 @@ export class TFile extends TObject {
     }
     example() {
         return {
-            name: 'picture.png',
-            path: '/Users/dexter/Desktop/picture.png',
-            type: 'image/png',
+            name: TFilePath.FILE_NAME,
+            size: TFilePath.FILE_SIZE,
+            type: TFilePath.MIME_TYPE,
+            uri: `${TFilePath.ABS_PATH}/${TFilePath.FILE_NAME}`,
         };
     }
+    getConstraintsForHuman() {
+        const c = {};
+        const { accept, maxSizeInBytes, minSizeInBytes } = this.fileConstraints;
+        if (minSizeInBytes) {
+            // biome-ignore lint/complexity/useLiteralKeys: typescript disagrees
+            c['minSizeInBytes'] = this.fmtBytes(minSizeInBytes);
+        }
+        if (maxSizeInBytes) {
+            // biome-ignore lint/complexity/useLiteralKeys: typescript disagrees
+            c['maxSizeInBytes'] = this.fmtBytes(maxSizeInBytes);
+        }
+        // biome-ignore lint/complexity/useLiteralKeys: typescript disagrees
+        c['accept'] = accept.join(', ');
+        return c;
+    }
     htmlInputType() {
         return 'file';
     }
@@ -32,13 +60,47 @@ export class TFile extends TObject {
         }
         const val = this.raw;
         validation.concat(new TFileName().assign(val.name).validate());
+        const { accept, maxSizeInBytes, minSizeInBytes } = this.fileConstraints;
+        const { size, type, uri } = val;
         if (!(val instanceof File)) {
-            validation.concat(new TFilePath().assign(val.path).validate());
+            validation.concat(new TFilePath().assign(uri).validate());
         }
-        validation.concat(new TFileMimeType(this.fileConstraints.type)
-            .assign(val.type)
+        validation.concat(new TFileMimeType()
+            .setOptions(accept.map((a) => ({ label: a, value: a })))
+            .assign(type)
             .validate());
-        // TODO : Add validation on file size
+        if (minSizeInBytes && size < minSizeInBytes) {
+            validation.add({
+                constraint: 'minSize',
+                expected: this.fmtBytes(minSizeInBytes),
+            });
+        }
+        if (maxSizeInBytes && size > maxSizeInBytes) {
+            validation.add({
+                constraint: 'maxSize',
+                expected: this.fmtBytes(maxSizeInBytes),
+            });
+        }
         return validation;
     }
+    getFileConstraints() {
+        return this.fileConstraints;
+    }
+    fmtBytes(bytes, decimals = 2) {
+        const k = 1024;
+        const dm = decimals < 0 ? 0 : decimals;
+        const i = Math.floor(Math.log(bytes) / Math.log(k));
+        return `${Number.parseFloat((bytes / k ** i).toFixed(dm))} ${TFile.UNITS[i]}`;
+    }
+    withOneExample(name) {
+        this.setExamples([
+            {
+                name,
+                size: TFilePath.FILE_SIZE,
+                type: this.fileConstraints.accept[0] ?? TFilePath.MIME_TYPE,
+                uri: `${TFilePath.ABS_PATH}/${name}`,
+            },
+        ]);
+        return this;
+    }
 }

package/dist/esm/dt/final/TFileExtension.d.ts

@@ -3,7 +3,7 @@ import { TString, type TStringConstraints } from '../base/TString.js';
 type ImageExtension = 'gif' | 'heic' | 'jpg' | 'png';
 type VideoExtension = 'mov' | 'mp4';
 type XMLExtension = 'gpx' | 'xml';
-export type FileExtension = ImageExtension | VideoExtension | XMLExtension;
+export type FileExtension = ImageExtension | VideoExtension | XMLExtension | (string & {});
 export interface TFileExtensionConstraints extends TStringConstraints {
     allowed: FileExtension[];
 }

package/dist/esm/dt/final/TFileMimeType.d.ts

@@ -1,11 +1,7 @@
 import type { TName } from '../base/TBase.js';
-import { TString, type TStringConstraints } from '../base/TString.js';
-export type FileMimeType = 'text/plain' | 'audio/aac' | 'application/x-abiword' | 'application/octet-stream' | 'video/x-msvideo' | 'application/vnd.amazon.ebook' | 'image/bmp' | 'application/x-bzip' | 'application/x-bzip2' | 'application/x-csh' | 'text/css' | 'text/csv' | 'application/msword' | 'application/vnd.openxmlformats-officedocument.wordprocessingml.document' | 'application/vnd.ms-fontobject' | 'application/epub+zip' | 'image/gif' | 'text/html' | 'image/x-icon' | 'text/calendar' | 'application/java-archive' | 'image/jpeg' | 'image/jpg' | 'application/javascript' | 'application/json' | 'audio/midi' | 'video/mpeg' | 'application/vnd.apple.installer+xml' | 'application/vnd.oasis.opendocument.presentation' | 'application/vnd.oasis.opendocument.spreadsheet' | 'application/vnd.oasis.opendocument.text' | 'audio/ogg' | 'video/ogg' | 'application/ogg' | 'font/otf' | 'image/png' | 'application/pdf' | 'application/vnd.ms-powerpoint' | 'application/vnd.openxmlformats-officedocument.presentationml.presentation' | 'application/x-rar-compressed' | 'application/rtf' | 'application/x-sh' | 'image/svg+xml' | 'application/x-shockwave-flash' | 'application/x-tar' | 'image/tiff' | 'application/typescript' | 'font/ttf' | 'application/vnd.visio' | 'audio/x-wav' | 'audio/webm' | 'video/webm' | 'image/webp' | 'font/woff' | 'font/woff2' | 'application/xhtml+xml' | 'application/vnd.ms-excel' | 'application/vnd.openxmlformats-officedocument.spreadsheetml.sheet' | 'application/xml' | 'application/vnd.mozilla.xul+xml' | 'application/zip' | 'video/3gpp audio/3gpp' | 'video/3gpp2 audio/3gpp2' | 'application/x-7z-compressed';
-export interface TFileMimeTypeConstraints extends TStringConstraints {
-    allowed: FileMimeType[];
-}
+import { TString } from '../base/TString.js';
+export type FileMimeType = 'text/plain' | 'audio/aac' | 'application/x-abiword' | 'application/octet-stream' | 'video/x-msvideo' | 'application/vnd.amazon.ebook' | 'image/bmp' | 'application/x-bzip' | 'application/x-bzip2' | 'application/x-csh' | 'text/css' | 'text/csv' | 'application/msword' | 'application/vnd.openxmlformats-officedocument.wordprocessingml.document' | 'application/vnd.ms-fontobject' | 'application/epub+zip' | 'image/gif' | 'text/html' | 'image/x-icon' | 'text/calendar' | 'application/java-archive' | 'image/jpeg' | 'image/jpg' | 'application/javascript' | 'application/json' | 'audio/midi' | 'video/mpeg' | 'application/vnd.apple.installer+xml' | 'application/vnd.oasis.opendocument.presentation' | 'application/vnd.oasis.opendocument.spreadsheet' | 'application/vnd.oasis.opendocument.text' | 'audio/ogg' | 'video/ogg' | 'application/ogg' | 'font/otf' | 'image/png' | 'application/pdf' | 'application/vnd.ms-powerpoint' | 'application/vnd.openxmlformats-officedocument.presentationml.presentation' | 'application/x-rar-compressed' | 'application/rtf' | 'application/x-sh' | 'image/svg+xml' | 'application/x-shockwave-flash' | 'application/x-tar' | 'image/tiff' | 'application/typescript' | 'font/ttf' | 'application/vnd.visio' | 'audio/x-wav' | 'audio/webm' | 'video/webm' | 'image/webp' | 'font/woff' | 'font/woff2' | 'application/xhtml+xml' | 'application/vnd.ms-excel' | 'application/vnd.openxmlformats-officedocument.spreadsheetml.sheet' | 'application/xml' | 'application/vnd.mozilla.xul+xml' | 'application/zip' | 'video/3gpp audio/3gpp' | 'video/3gpp2 audio/3gpp2' | 'application/x-7z-compressed' | (string & {});
 export declare class TFileMimeType extends TString<FileMimeType> {
-    constructor(constraints?: TFileMimeTypeConstraints);
     tName(): TName;
     example(): FileMimeType;
 }

package/dist/esm/dt/final/TFileMimeType.js

@@ -1,11 +1,5 @@
 import { TString } from '../base/TString.js';
 export class TFileMimeType extends TString {
-    constructor(constraints) {
-        super(constraints);
-        if (constraints?.allowed) {
-            this.setOptions(constraints?.allowed.map((v) => ({ label: v, value: v })));
-        }
-    }
     tName() {
         return 'FileMimeType';
     }