@brydio/manifest 0.1.0-alpha.27 → 0.1.0-alpha.29

package/README.md

@@ -11,7 +11,7 @@ export const manifest = defineManifest({
   name: 'checklist',
   version: '0.1.0',
   screens: { home: { entry: 'screens/home.js' } },
-  placements: [{ kind: 'project-tab', screen: 'home', label: 'Checklist' }],
+  placements: [{ kind: 'project-widget', screen: 'home', label: 'Checklist', sizes: ['medium', 'large'] }],
 });
 ```
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@brydio/manifest",
-  "version": "0.1.0-alpha.27",
+  "version": "0.1.0-alpha.29",
   "description": "The shape of a Brydio app's manifest, its collections' schemas, and the checks that say what is wrong with one.",
   "type": "module",
   "license": "MIT",
@@ -10,7 +10,7 @@
     "url": "https://github.com/nakel-ola/brydio-sdk",
     "directory": "packages/manifest"
   },
-  "gitHead": "99e44a5818de8cbe2021c951af544e12eca039c2",
+  "gitHead": "353f8a61e02fa687ca7eb2e7a48d5a73d66d08a0",
   "exports": {
     ".": {
       "types": "./src/index.d.ts",

package/src/define.d.ts

@@ -11,7 +11,7 @@
  *   name: 'issues',
  *   version: '0.1.0',
  *   screens: { board: { entry: 'screens/board.js' } },
- *   placements: [{ kind: 'project-tab', screen: 'bord' }],   // error: "bord" is not a screen
+ *   placements: [{ kind: 'project-widget', screen: 'bord', sizes: ['large'] }],   // error: "bord" is not a screen
  * });
  * ```
  */

package/src/define.js

@@ -11,7 +11,7 @@
  *   name: 'issues',
  *   version: '0.1.0',
  *   screens: { board: { entry: 'screens/board.js' } },
- *   placements: [{ kind: 'project-tab', screen: 'bord' }],   // error: "bord" is not a screen
+ *   placements: [{ kind: 'project-widget', screen: 'bord', sizes: ['large'] }],   // error: "bord" is not a screen
  * });
  * ```
  */

package/src/field-types.d.ts

@@ -12,7 +12,7 @@ import { type ZodType } from 'zod';
  * and everything downstream — the store, the generated tools, the screen's
  * form — reads that shape, never the manifest's spelling.
  */
-export type FieldKind = 'string' | 'text' | 'enum' | 'member' | 'project' | 'date' | 'number' | 'boolean' | 'string[]' | 'token';
+export type FieldKind = 'string' | 'text' | 'enum' | 'member' | 'project' | 'date' | 'number' | 'boolean' | 'string[]' | 'token' | 'canvas';
 export interface FieldType {
     kind: FieldKind;
     /** Written with a trailing `?`: may be left out on create. */
@@ -27,6 +27,13 @@ export interface FieldType {
      * changes, and a value with no label reads as itself.
      */
     labels?: Readonly<Record<string, string>>;
+    /**
+     * Written by several people at once (`tasks/docs-wiki` DW01): a `text`
+     * field drawn with `bry-rich-text bind` is one fragment of a shared Yjs
+     * document the host keeps. Such a field leaves the record's `version`
+     * check, and a tool's change to it merges into the live text.
+     */
+    coedit?: boolean;
 }
 /**
  * The bounds a schema and a record are held to (A3-F01-S03).
@@ -74,8 +81,8 @@ export declare const FIELD_NAME: RegExp;
 export declare const COLLECTION_NAME: RegExp;
 /** A field type the manifest wrote that Brydio does not have, or a bad list. */
 export declare class FieldTypeInvalid extends Error {
-    readonly code: 'data_field_type_unknown' | 'data_enum_empty' | 'data_enum_too_many' | 'data_enum_value_invalid' | 'data_enum_duplicate' | 'data_default_not_allowed' | 'data_default_on_required' | 'data_default_invalid' | 'data_labels_not_allowed' | 'data_label_invalid' | 'data_label_unknown_value' | 'data_field_key_unknown';
-    constructor(code: 'data_field_type_unknown' | 'data_enum_empty' | 'data_enum_too_many' | 'data_enum_value_invalid' | 'data_enum_duplicate' | 'data_default_not_allowed' | 'data_default_on_required' | 'data_default_invalid' | 'data_labels_not_allowed' | 'data_label_invalid' | 'data_label_unknown_value' | 'data_field_key_unknown', message: string);
+    readonly code: 'data_field_type_unknown' | 'data_enum_empty' | 'data_enum_too_many' | 'data_enum_value_invalid' | 'data_enum_duplicate' | 'data_default_not_allowed' | 'data_default_on_required' | 'data_default_invalid' | 'data_labels_not_allowed' | 'data_label_invalid' | 'data_label_unknown_value' | 'data_field_key_unknown' | 'data_coedit_not_text';
+    constructor(code: 'data_field_type_unknown' | 'data_enum_empty' | 'data_enum_too_many' | 'data_enum_value_invalid' | 'data_enum_duplicate' | 'data_default_not_allowed' | 'data_default_on_required' | 'data_default_invalid' | 'data_labels_not_allowed' | 'data_label_invalid' | 'data_label_unknown_value' | 'data_field_key_unknown' | 'data_coedit_not_text', message: string);
 }
 /**
  * One field's manifest spelling, as a type.
@@ -87,6 +94,16 @@ export declare class FieldTypeInvalid extends Error {
 export declare function parseFieldType(raw: unknown): FieldType;
 /** How long a choice value's label may be. */
 export declare const LABEL_CHARS = 60;
+/** True for a field several people write at once, through the co-editing layer. */
+export declare const isCoedited: (type: FieldType) => boolean;
+/**
+ * What a drawing's field holds in the record (WB01): a summary the host writes
+ * from the live board, so a list, search and the assistant can say what is on
+ * it. The drawing itself lives only in the co-edited document.
+ */
+export declare const CANVAS_SUMMARY_CHARS = 10000;
+/** A collection's co-edited fields, by name. */
+export declare const coeditedFields: (fields: Readonly<Record<string, FieldType>>) => string[];
 /** How a choice's value reads to a person: its label, or the value itself. */
 export declare const labelOfValue: (type: FieldType, value: string) => string;
 /** True for a type whose value lands in the plain `fields` column. */
@@ -127,7 +144,10 @@ type Optional<T> = T extends `${string}?` ? true : T extends {
 /** The TypeScript type of one field's value, from its manifest spelling. */
 export type FieldValue<T> = T extends {
     type: infer U;
-} ? FieldValue<U> : T extends readonly (infer V)[] ? V : T extends 'number' | 'number?' ? number : T extends 'boolean' | 'boolean?' ? boolean : T extends 'string[]' | 'string[]?' ? string[] : T extends 'token' | 'token?' ? (typeof COLOUR_TOKENS)[number] : T extends string ? string : never;
+} ? FieldValue<U> : T extends readonly (infer V)[] ? V : T extends 'number' | 'number?' ? number : T extends 'boolean' | 'boolean?' ? boolean : T extends 'string[]' | 'string[]?' ? string[] : T extends 'token' | 'token?' ? (typeof COLOUR_TOKENS)[number] : T extends 'canvas' | 'canvas?' ? {
+    elements: number;
+    text: string;
+} : T extends string ? string : never;
 type Simplify<T> = {
     [K in keyof T]: T[K];
 } & {};

package/src/field-types.js

@@ -68,7 +68,7 @@ const STRUCTURED = new Set([
 ]);
 /** Only the words in these may one day be searched (A3-F01-S02). */
 const SEARCHABLE = new Set(['string', 'text', 'string[]']);
-const SCALARS = new Set(['string', 'text', 'member', 'project', 'date', 'number', 'boolean', 'token']);
+const SCALARS = new Set(['string', 'text', 'member', 'project', 'date', 'number', 'boolean', 'token', 'canvas']);
 /** A field type the manifest wrote that Brydio does not have, or a bad list. */
 export class FieldTypeInvalid extends Error {
     code;
@@ -99,18 +99,24 @@ export function parseFieldType(raw) {
         return { kind: 'string[]', optional };
     if (name === 'token')
         return { kind: 'token', optional, values: COLOUR_TOKENS };
+    // A drawing is always co-edited and never required: it starts empty (WB01).
+    if (name === 'canvas')
+        return { kind: 'canvas', optional: true, coedit: true };
     if (SCALARS.has(name))
         return { kind: name, optional };
     throw new FieldTypeInvalid('data_field_type_unknown', `"${raw}" is not a field type.`);
 }
-const FIELD_KEYS = new Set(['type', 'optional', 'default', 'labels']);
+const FIELD_KEYS = new Set(['type', 'optional', 'default', 'labels', 'coedit']);
 /** How long a choice value's label may be. */
 export const LABEL_CHARS = 60;
 /** The object form: the short form under `type`, and what it may add. */
 function parseFieldObject(raw) {
     const unknown = Object.keys(raw).find(key => !FIELD_KEYS.has(key));
     if (unknown) {
-        throw new FieldTypeInvalid('data_field_key_unknown', `"${unknown}" is not something a field may say; use type, optional, default and labels.`);
+        throw new FieldTypeInvalid('data_field_key_unknown', `"${unknown}" is not something a field may say; use type, optional, default, labels and coedit.`);
+    }
+    if (raw.coedit !== undefined && typeof raw.coedit !== 'boolean') {
+        throw new FieldTypeInvalid('data_field_key_unknown', '"coedit" is true or false.');
     }
     if (typeof raw.type !== 'string' && !Array.isArray(raw.type)) {
         throw new FieldTypeInvalid('data_field_type_unknown', 'A field written as an object names its type under "type".');
@@ -119,7 +125,12 @@ function parseFieldObject(raw) {
         throw new FieldTypeInvalid('data_field_key_unknown', '"optional" is true or false.');
     }
     const inner = parseFieldType(raw.type);
-    const type = { ...inner, optional: inner.optional || raw.optional === true, ...labelsOf(inner, raw) };
+    const type = {
+        ...inner,
+        optional: inner.optional || raw.optional === true,
+        ...labelsOf(inner, raw),
+        ...coeditOf(inner, raw),
+    };
     if (!('default' in raw))
         return type;
     const value = raw.default;
@@ -157,6 +168,27 @@ function labelsOf(type, raw) {
     }
     return { labels: { ...labels } };
 }
+/** `coedit`, on long text only: nothing else is typed into by several people at once. */
+function coeditOf(type, raw) {
+    if (raw.coedit !== true)
+        return {};
+    if (type.kind !== 'text' && type.kind !== 'canvas') {
+        throw new FieldTypeInvalid('data_coedit_not_text', `Only a text or canvas field may be co-edited, not a ${type.kind}.`);
+    }
+    return { coedit: true };
+}
+/** True for a field several people write at once, through the co-editing layer. */
+export const isCoedited = (type) => type.kind === 'canvas' || (type.kind === 'text' && type.coedit === true);
+/**
+ * What a drawing's field holds in the record (WB01): a summary the host writes
+ * from the live board, so a list, search and the assistant can say what is on
+ * it. The drawing itself lives only in the co-edited document.
+ */
+export const CANVAS_SUMMARY_CHARS = 10_000;
+/** A collection's co-edited fields, by name. */
+export const coeditedFields = (fields) => Object.entries(fields)
+    .filter(([, type]) => isCoedited(type))
+    .map(([field]) => field);
 /** How a choice's value reads to a person: its label, or the value itself. */
 export const labelOfValue = (type, value) => type.labels?.[value] ?? value;
 function parseEnumeration(values) {
@@ -228,6 +260,8 @@ export function valueSchema(type) {
             return z.boolean();
         case 'string[]':
             return z.array(z.string().max(FIELD_LIMITS.stringChars)).max(FIELD_LIMITS.listEntries);
+        case 'canvas':
+            return z.object({ elements: z.number().int().min(0), text: z.string().max(CANVAS_SUMMARY_CHARS) }).strict();
     }
 }
 /**
@@ -263,6 +297,8 @@ export function valueProblem(field, type, value) {
             return Array.isArray(value) && value.length > FIELD_LIMITS.listEntries
                 ? `${field} may hold at most ${FIELD_LIMITS.listEntries} entries.`
                 : `${field} must be a list of short texts, each at most ${FIELD_LIMITS.stringChars.toLocaleString('en-GB')} characters.`;
+        case 'canvas':
+            return `${field} is a drawing: it is changed on its board, never written.`;
     }
 }
 /** A type in a few words, for a tool's description: every allowed value named. */
@@ -288,6 +324,8 @@ export function describeType(type) {
             return 'true or false';
         case 'string[]':
             return 'a list of short texts';
+        case 'canvas':
+            return 'a drawing, read only: how many shapes it has and the words on it';
     }
 }
 /** ", read as \"todo\" is To do, \"done\" is Done", for a choice with labels. */

package/src/index.d.ts

@@ -6,8 +6,8 @@
 export { APP_NAME_FORMAT, MANIFEST_LIMITS, SEMVER_FORMAT, baseManifestSchema, brandImagesSchema } from './base.js';
 export { BRAND_FIELDS, BRAND_LIMITS, brandFilePath, brandPathsOf, brandProblems, brandShapeOf, isBrandPath, pngVerdict, svgColours, toolsProblem, type BrandField, type RequirementCode, type RequirementFiles, type RequirementProblem, } from './requirements.js';
 export { BUNDLE_MANIFEST, BUNDLE_MAX_BYTES, BUNDLE_PATH_MAX_CHARS, bundleBytes, bundleHash, brandOf, bundleProblem, codeOf, isBundlePath, isScriptPath, sizeOf, type BundleFiles, type BundleProblem, type BundleProblemCode, } from './bundle.js';
-export { COLOUR_TOKENS, FIELD_LIMITS, RESERVED_FIELDS, describeType, isSearchable, isSortable, isStructured, parseFieldType, structuredFields, valueProblem, valueSchema, FieldTypeInvalid, type DocumentOf, type FieldKind, type FieldType, type FieldValue, type FieldsOf, } from './field-types.js';
-export { appManifestSchema, collectionOf, collectionsOf, dataProblems, effectivePlacementKey, labelOf, manifestExtensionsSchema, MAX_APP_SECRETS, MAX_SECRET_CHARS, PLACEMENT_KEY, SECRET_NAME, storedExtensionsSchema, type AppManifestWithData, type CollectionSpec, type DataProblem, type DataProblemCode, type ManifestExtensions, type SecretSpec, } from './schema.js';
+export { COLOUR_TOKENS, coeditedFields, FIELD_LIMITS, RESERVED_FIELDS, describeType, isCoedited, isSearchable, isSortable, isStructured, parseFieldType, structuredFields, valueProblem, valueSchema, FieldTypeInvalid, type DocumentOf, type FieldKind, type FieldType, type FieldValue, type FieldsOf, } from './field-types.js';
+export { appManifestSchema, collectionOf, collectionsOf, dataProblems, effectivePlacementKey, HOME_CARD_SIZES, labelOf, manifestExtensionsSchema, newAppManifestSchema, SIZED_PLACEMENT_KINDS, MAX_APP_SECRETS, MAX_SECRET_CHARS, PLACEMENT_KEY, SECRET_NAME, storedExtensionsSchema, type AppManifestWithData, type CollectionSpec, type DataProblem, type DataProblemCode, type DataProblemOptions, type HomeCardSize, type ManifestExtensions, type SecretSpec, } from './schema.js';
 export { DOCUMENT_LIMITS } from './document-limits.js';
 export { HOST_CAPABILITIES, KNOWN_HOST_GRANTS, isHostCapability, unknownHostGrant } from './grants.js';
 export { diffSchemas, migrationProblems, migrationSchema, migrationStepSchema, migrationsSchema, publishedMigrationProblems, schemaOf, type Migration, type MigrationCode, type MigrationProblem, type MigrationStep, type SchemaChange, } from './migrations.js';

package/src/index.js

@@ -6,8 +6,8 @@
 export { APP_NAME_FORMAT, MANIFEST_LIMITS, SEMVER_FORMAT, baseManifestSchema, brandImagesSchema } from "./base.js";
 export { BRAND_FIELDS, BRAND_LIMITS, brandFilePath, brandPathsOf, brandProblems, brandShapeOf, isBrandPath, pngVerdict, svgColours, toolsProblem, } from "./requirements.js";
 export { BUNDLE_MANIFEST, BUNDLE_MAX_BYTES, BUNDLE_PATH_MAX_CHARS, bundleBytes, bundleHash, brandOf, bundleProblem, codeOf, isBundlePath, isScriptPath, sizeOf, } from "./bundle.js";
-export { COLOUR_TOKENS, FIELD_LIMITS, RESERVED_FIELDS, describeType, isSearchable, isSortable, isStructured, parseFieldType, structuredFields, valueProblem, valueSchema, FieldTypeInvalid, } from "./field-types.js";
-export { appManifestSchema, collectionOf, collectionsOf, dataProblems, effectivePlacementKey, labelOf, manifestExtensionsSchema, MAX_APP_SECRETS, MAX_SECRET_CHARS, PLACEMENT_KEY, SECRET_NAME, storedExtensionsSchema, } from "./schema.js";
+export { COLOUR_TOKENS, coeditedFields, FIELD_LIMITS, RESERVED_FIELDS, describeType, isCoedited, isSearchable, isSortable, isStructured, parseFieldType, structuredFields, valueProblem, valueSchema, FieldTypeInvalid, } from "./field-types.js";
+export { appManifestSchema, collectionOf, collectionsOf, dataProblems, effectivePlacementKey, HOME_CARD_SIZES, labelOf, manifestExtensionsSchema, newAppManifestSchema, SIZED_PLACEMENT_KINDS, MAX_APP_SECRETS, MAX_SECRET_CHARS, PLACEMENT_KEY, SECRET_NAME, storedExtensionsSchema, } from "./schema.js";
 export { DOCUMENT_LIMITS } from "./document-limits.js";
 export { HOST_CAPABILITIES, KNOWN_HOST_GRANTS, isHostCapability, unknownHostGrant } from "./grants.js";
 export { diffSchemas, migrationProblems, migrationSchema, migrationStepSchema, migrationsSchema, publishedMigrationProblems, schemaOf, } from "./migrations.js";

package/src/schema.d.ts

@@ -33,6 +33,11 @@ export type PlacementSettingSpec = z.infer<typeof placementSettingSchema>;
  * the limit is for the sidebar's width and a person's patience.
  */
 export declare const MAX_FOLDER_DEPTH = 4;
+/** The sizes a Home card or a project widget can be drawn at (CC11-F10). */
+export declare const HOME_CARD_SIZES: readonly ["small", "medium", "large"];
+export type HomeCardSize = (typeof HOME_CARD_SIZES)[number];
+/** The kinds drawn as a card, which say the sizes they draw well at. */
+export declare const SIZED_PLACEMENT_KINDS: readonly ["home", "project-widget"];
 /** A stable identity for one independently addable placement offering. */
 export declare const PLACEMENT_KEY: RegExp;
 export declare function effectivePlacementKey(one: {
@@ -87,12 +92,18 @@ declare const extensionShape: {
     placements: z.ZodOptional<z.ZodArray<z.ZodObject<{
         key: z.ZodOptional<z.ZodString>;
         kind: z.ZodEnum<{
+            home: "home";
+            "project-widget": "project-widget";
             "project-tab": "project-tab";
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
-            home: "home";
         }>;
         screen: z.ZodString;
+        sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            small: "small";
+            medium: "medium";
+            large: "large";
+        }>>>;
         label: z.ZodOptional<z.ZodString>;
         icon: z.ZodOptional<z.ZodString>;
         settings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -207,7 +218,7 @@ export interface DataProblem {
     field?: string;
     message: string;
 }
-export type DataProblemCode = FieldTypeInvalid['code'] | 'data_too_many_collections' | 'data_too_many_fields' | 'data_collection_name_format' | 'data_field_name_format' | 'data_field_reserved' | 'data_label_format' | 'data_label_taken' | 'data_project_field_twice' | 'data_search_unknown_field' | 'data_search_not_text' | 'grant_collection_missing' | 'grant_tool_missing' | 'custom_name_taken' | 'custom_collection_unknown' | 'custom_input_invalid' | 'placement_key_taken' | 'placement_screen_unknown' | 'placement_children_too_deep' | 'placement_create_tool_unknown' | 'placement_create_not_write' | 'secret_name_taken' | 'grant_secrets_missing';
+export type DataProblemCode = FieldTypeInvalid['code'] | 'data_too_many_collections' | 'data_too_many_fields' | 'data_collection_name_format' | 'data_field_name_format' | 'data_field_reserved' | 'data_label_format' | 'data_label_taken' | 'data_project_field_twice' | 'data_search_unknown_field' | 'data_search_not_text' | 'grant_collection_missing' | 'grant_tool_missing' | 'custom_name_taken' | 'custom_collection_unknown' | 'custom_input_invalid' | 'placement_key_taken' | 'placement_screen_unknown' | 'placement_home_sizes' | 'placement_sizes_not_home' | 'placement_widget_sizes' | 'placement_tab_retired' | 'placement_children_too_deep' | 'placement_create_tool_unknown' | 'placement_create_not_write' | 'secret_name_taken' | 'grant_secrets_missing';
 type Additions = z.infer<z.ZodObject<typeof extensionShape>>;
 /**
  * Everything wrong with an app's additions that a type cannot say.
@@ -216,20 +227,30 @@ type Additions = z.infer<z.ZodObject<typeof extensionShape>>;
  * report; the zod schemas below run it too, so a parse never accepts what
  * this refuses.
  */
-export declare function dataProblems(additions: Additions, options?: {
+export interface DataProblemOptions {
+    /** Off where the grants are the install's record, not the manifest's. */
     grants?: boolean;
-}): DataProblem[];
+    /** On for a manifest being written now: refuses kinds that are retired, such as `project-tab`. */
+    retired?: boolean;
+}
+export declare function dataProblems(additions: Additions, options?: DataProblemOptions): DataProblem[];
 /** The additions alone, for code that has the rest of the manifest already. */
 export declare const manifestExtensionsSchema: z.ZodObject<{
     placements: z.ZodOptional<z.ZodArray<z.ZodObject<{
         key: z.ZodOptional<z.ZodString>;
         kind: z.ZodEnum<{
+            home: "home";
+            "project-widget": "project-widget";
             "project-tab": "project-tab";
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
-            home: "home";
         }>;
         screen: z.ZodString;
+        sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            small: "small";
+            medium: "medium";
+            large: "large";
+        }>>>;
         label: z.ZodOptional<z.ZodString>;
         icon: z.ZodOptional<z.ZodString>;
         settings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -335,12 +356,18 @@ export declare const storedExtensionsSchema: z.ZodObject<{
     placements: z.ZodOptional<z.ZodArray<z.ZodObject<{
         key: z.ZodOptional<z.ZodString>;
         kind: z.ZodEnum<{
+            home: "home";
+            "project-widget": "project-widget";
             "project-tab": "project-tab";
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
-            home: "home";
         }>;
         screen: z.ZodString;
+        sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            small: "small";
+            medium: "medium";
+            large: "large";
+        }>>>;
         label: z.ZodOptional<z.ZodString>;
         icon: z.ZodOptional<z.ZodString>;
         settings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -481,12 +508,174 @@ export declare const appManifestSchema: z.ZodObject<{
     placements: z.ZodOptional<z.ZodArray<z.ZodObject<{
         key: z.ZodOptional<z.ZodString>;
         kind: z.ZodEnum<{
+            home: "home";
+            "project-widget": "project-widget";
             "project-tab": "project-tab";
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
+        }>;
+        screen: z.ZodString;
+        sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            small: "small";
+            medium: "medium";
+            large: "large";
+        }>>>;
+        label: z.ZodOptional<z.ZodString>;
+        icon: z.ZodOptional<z.ZodString>;
+        settings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            type: z.ZodEnum<{
+                string: "string";
+                url: "url";
+            }>;
+            label: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            placeholder: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        children: z.ZodOptional<z.ZodObject<{
+            tool: z.ZodString;
+            refreshSeconds: z.ZodOptional<z.ZodNumber>;
+            cap: z.ZodOptional<z.ZodNumber>;
+            noun: z.ZodOptional<z.ZodString>;
+            create: z.ZodOptional<z.ZodObject<{
+                tool: z.ZodString;
+                noun: z.ZodOptional<z.ZodString>;
+                titleField: z.ZodOptional<z.ZodString>;
+                parentField: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            nested: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                noun: z.ZodOptional<z.ZodString>;
+                create: z.ZodOptional<z.ZodObject<{
+                    tool: z.ZodString;
+                    noun: z.ZodOptional<z.ZodString>;
+                    titleField: z.ZodOptional<z.ZodString>;
+                    parentField: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>;
+    data: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        schema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        search: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    tools: z.ZodOptional<z.ZodObject<{
+        generated: z.ZodOptional<z.ZodBoolean>;
+        custom: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            description: z.ZodString;
+            handler: z.ZodString;
+            input: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            write: z.ZodOptional<z.ZodBoolean>;
+            collection: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
+    screens: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        entry: z.ZodString;
+    }, z.core.$strip>>>;
+    grants: z.ZodOptional<z.ZodObject<{
+        tools: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        collections: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        host: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    secrets: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        label: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        required: z.ZodOptional<z.ZodBoolean>;
+        scope: z.ZodOptional<z.ZodEnum<{
+            instance: "instance";
+            install: "install";
+        }>>;
+    }, z.core.$strip>>>;
+    migrations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        version: z.ZodString;
+        steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            op: z.ZodLiteral<"add">;
+            collection: z.ZodString;
+            field: z.ZodString;
+            default: z.ZodOptional<z.ZodUnknown>;
+        }, z.core.$strip>, z.ZodObject<{
+            op: z.ZodLiteral<"rename">;
+            collection: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            op: z.ZodLiteral<"drop">;
+            collection: z.ZodString;
+            field: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            op: z.ZodLiteral<"dropCollection">;
+            collection: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            op: z.ZodLiteral<"replace">;
+            collection: z.ZodString;
+            field: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+        }, z.core.$strip>], "op">>;
+    }, z.core.$strip>>>;
+    sdk: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+/**
+ * A manifest being written now, as `brydio validate`, `build` and `dev` read
+ * it: the same, and nothing retired (`placement_tab_retired`) — which a
+ * published version may still hold.
+ */
+export declare const newAppManifestSchema: z.ZodObject<{
+    name: z.ZodString;
+    version: z.ZodString;
+    displayName: z.ZodOptional<z.ZodString>;
+    summary: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    author: z.ZodOptional<z.ZodObject<{
+        name: z.ZodString;
+        email: z.ZodOptional<z.ZodString>;
+        url: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    homepage: z.ZodOptional<z.ZodString>;
+    repository: z.ZodOptional<z.ZodString>;
+    license: z.ZodOptional<z.ZodString>;
+    keywords: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    links: z.ZodOptional<z.ZodObject<{
+        privacy: z.ZodOptional<z.ZodString>;
+        terms: z.ZodOptional<z.ZodString>;
+        support: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    logo: z.ZodOptional<z.ZodObject<{
+        color: z.ZodString;
+        mono: z.ZodString;
+    }, z.core.$strip>>;
+    icon: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        color: z.ZodString;
+        mono: z.ZodString;
+    }, z.core.$strip>]>>;
+    brandColor: z.ZodOptional<z.ZodString>;
+    brandColorDark: z.ZodOptional<z.ZodString>;
+    defaultPrompts: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    skills: z.ZodOptional<z.ZodString>;
+    servers: z.ZodOptional<z.ZodString>;
+    integrations: z.ZodOptional<z.ZodString>;
+    requires: z.ZodOptional<z.ZodObject<{
+        servers: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        integrations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        builtin: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    placements: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        key: z.ZodOptional<z.ZodString>;
+        kind: z.ZodEnum<{
             home: "home";
+            "project-widget": "project-widget";
+            "project-tab": "project-tab";
+            "project-sidebar": "project-sidebar";
+            "workspace-sidebar": "workspace-sidebar";
         }>;
         screen: z.ZodString;
+        sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            small: "small";
+            medium: "medium";
+            large: "large";
+        }>>>;
         label: z.ZodOptional<z.ZodString>;
         icon: z.ZodOptional<z.ZodString>;
         settings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{

package/src/schema.js

@@ -48,6 +48,10 @@ const folderLevelSchema = z.object({
     noun: z.string().min(1).max(60).optional(),
     create: folderCreateSchema.optional(),
 });
+/** The sizes a Home card or a project widget can be drawn at (CC11-F10). */
+export const HOME_CARD_SIZES = ['small', 'medium', 'large'];
+/** The kinds drawn as a card, which say the sizes they draw well at. */
+export const SIZED_PLACEMENT_KINDS = ['home', 'project-widget'];
 /** A stable identity for one independently addable placement offering. */
 export const PLACEMENT_KEY = /^[a-z][a-z0-9-]{0,39}$/;
 export function effectivePlacementKey(one) {
@@ -55,8 +59,16 @@ export function effectivePlacementKey(one) {
 }
 const placementSchema = z.object({
     key: z.string().regex(PLACEMENT_KEY).optional(),
-    kind: z.enum(['project-tab', 'project-sidebar', 'workspace-sidebar', 'home']),
+    /**
+     * `home`: a card on a person's Home, drawn by `screen` at one of `sizes`.
+     * `project-widget`: a card on a project's page, drawn at one of `sizes`.
+     * `project-tab` is retired (30 Sep 2026): still read from a published
+     * manifest, refused in a new one (`placement_tab_retired`).
+     */
+    kind: z.enum(['project-tab', 'project-widget', 'project-sidebar', 'workspace-sidebar', 'home']),
     screen: z.string().min(1).max(FIELD_LIMITS.nameChars),
+    /** For `home` and `project-widget` only, and required there: the sizes the screen draws well at. */
+    sizes: z.array(z.enum(HOME_CARD_SIZES)).max(3).optional(),
     label: z.string().min(1).max(60).optional(),
     icon: z.string().max(60).optional(),
     settings: z.record(z.string().regex(FIELD_NAME), placementSettingSchema).optional(),
@@ -179,13 +191,6 @@ const extensionShape = {
      */
     sdk: z.string().max(MANIFEST_LIMITS.versionChars).regex(SEMVER_FORMAT).optional(),
 };
-/**
- * Everything wrong with an app's additions that a type cannot say.
- *
- * Exported on its own so E5's validator can fold the codes into its import
- * report; the zod schemas below run it too, so a parse never accepts what
- * this refuses.
- */
 export function dataProblems(additions, options = {}) {
     const problems = [];
     const collections = Object.entries(additions.data ?? {});
@@ -336,6 +341,31 @@ export function dataProblems(additions, options = {}) {
                 message: `A ${placement.kind} placement opens "${placement.screen}", which is not one of the app's screens.`,
             });
         }
+        // A card must say how big it can be drawn (CC11-F10-S01).
+        if (placement.kind === 'home' && !placement.sizes?.length) {
+            problems.push({
+                code: 'placement_home_sizes',
+                message: `The Home card "${placement.screen}" must say which sizes it draws at: small, medium or large.`,
+            });
+        }
+        if (placement.kind === 'project-widget' && !placement.sizes?.length) {
+            problems.push({
+                code: 'placement_widget_sizes',
+                message: `The project widget "${placement.screen}" must say which sizes it draws at: small, medium or large.`,
+            });
+        }
+        if (!SIZED_PLACEMENT_KINDS.includes(placement.kind) && placement.sizes?.length) {
+            problems.push({
+                code: 'placement_sizes_not_home',
+                message: `Only a Home card or a project widget has sizes; the ${placement.kind} placement "${placement.screen}" cannot.`,
+            });
+        }
+        if (options.retired && placement.kind === 'project-tab') {
+            problems.push({
+                code: 'placement_tab_retired',
+                message: 'Project tabs are retired; declare a project-widget with sizes instead.',
+            });
+        }
     }
     problems.push(...folderProblems(additions));
     return problems;
@@ -517,6 +547,14 @@ export const manifestExtensionsSchema = z.object(extensionShape).superRefine((ad
 export const storedExtensionsSchema = z.object(extensionShape).superRefine((additions, ctx) => refuse(additions, ctx, { grants: false }));
 /** E5's manifest with the additions: the whole `.brydio/app.json` of an app. */
 export const appManifestSchema = manifestSchema.extend(extensionShape).superRefine((additions, ctx) => refuse(additions, ctx));
+/**
+ * A manifest being written now, as `brydio validate`, `build` and `dev` read
+ * it: the same, and nothing retired (`placement_tab_retired`) — which a
+ * published version may still hold.
+ */
+export const newAppManifestSchema = manifestSchema
+    .extend(extensionShape)
+    .superRefine((additions, ctx) => refuse(additions, ctx, { retired: true }));
 /**
  * The singular a collection's tools are named with: the manifest's, else the
  * collection's name with a trailing "s" taken off (`issues` → `issue`).

package/src/validate.d.ts

@@ -22,6 +22,12 @@ export interface ManifestValidation {
     manifest?: AppManifestWithData;
     problems: ManifestProblem[];
 }
-export declare function validateManifest(source: unknown): ManifestValidation;
+export declare function validateManifest(source: unknown, 
+/** `retired`: a manifest being written now, which may not use a retired kind such as `project-tab`. */
+options?: {
+    retired?: boolean;
+}): ManifestValidation;
 /** Parses the text of `.brydio/app.json` and validates it. */
-export declare function validateManifestText(text: string): ManifestValidation;
+export declare function validateManifestText(text: string, options?: {
+    retired?: boolean;
+}): ManifestValidation;

package/src/validate.js

@@ -1,6 +1,8 @@
-import { appManifestSchema } from "./schema.js";
-export function validateManifest(source) {
-    const parsed = appManifestSchema.safeParse(source);
+import { appManifestSchema, newAppManifestSchema } from "./schema.js";
+export function validateManifest(source, 
+/** `retired`: a manifest being written now, which may not use a retired kind such as `project-tab`. */
+options = {}) {
+    const parsed = (options.retired ? newAppManifestSchema : appManifestSchema).safeParse(source);
     if (parsed.success)
         return { ok: true, manifest: parsed.data, problems: [] };
     return {
@@ -14,7 +16,7 @@ export function validateManifest(source) {
     };
 }
 /** Parses the text of `.brydio/app.json` and validates it. */
-export function validateManifestText(text) {
+export function validateManifestText(text, options = {}) {
     let json;
     try {
         json = JSON.parse(text);
@@ -25,5 +27,5 @@ export function validateManifestText(text) {
             problems: [{ code: 'manifest_not_json', message: `The manifest is not valid JSON: ${error instanceof Error ? error.message : String(error)}` }],
         };
     }
-    return validateManifest(json);
+    return validateManifest(json, options);
 }