@brydio/manifest 0.1.0-alpha.35 → 0.1.0-alpha.37

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@brydio/manifest",
-  "version": "0.1.0-alpha.35",
+  "version": "0.1.0-alpha.37",
   "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": "5bd1e984602ccea955d5755e613fe773ae4899ca",
+  "gitHead": "c0364642e34a602b75477af366aa61582e5598f7",
   "exports": {
     ".": {
       "types": "./src/index.d.ts",

package/src/anonymous.d.ts

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+/**
+ * An anonymous collection (P13): answers nobody can tie back to the person
+ * who gave them. Mirrors Brydio's `apps/api/src/apps/manifest/anonymous.ts`;
+ * the two change together.
+ *
+ * An app only declares it: which structured field groups the answers (a
+ * form, a survey round: a number, a choice, a date), and how many answers a
+ * group must hold before any of them is read. Brydio does the rest in the store, never the app: no writer kept
+ * on the record, times cut to the day, no live change told, no update, a
+ * create naming its own writer refused, and reads only of a whole group of
+ * at least `minimum` answers.
+ */
+export declare const ANONYMOUS_LIMITS: {
+    /** The fewest answers a group, or a narrowed read of one, may be read at. */
+    readonly minimum: 5;
+    /** The most an app may ask for. */
+    readonly maximum: 1000;
+};
+/** What the store writes as `created_by` on every anonymous record. */
+export declare const ANONYMOUS_WRITER = "anonymous";
+export declare const anonymousSchema: z.ZodObject<{
+    group: z.ZodString;
+    minimum: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export type AnonymousDeclared = z.infer<typeof anonymousSchema>;
+/** As the host reads it, on `CollectionSpec.anonymous`. */
+export interface AnonymousSpec {
+    group: string;
+    minimum: number;
+}
+export type AnonymousProblemCode = 'data_anonymous_group' | 'data_anonymous_member' | 'data_anonymous_minimum' | 'data_anonymous_coedit';
+export declare function anonymousProblems(collection: string, declared: {
+    schema: Record<string, unknown>;
+    anonymous?: AnonymousDeclared;
+}): {
+    code: AnonymousProblemCode;
+    collection: string;
+    field?: string;
+    message: string;
+}[];
+export declare function anonymousSpec(declared: AnonymousDeclared): AnonymousSpec;

package/src/anonymous.js

@@ -0,0 +1,86 @@
+import { z } from 'zod';
+import { FIELD_LIMITS, isStructured, parseFieldType, } from "./field-types.js";
+/**
+ * An anonymous collection (P13): answers nobody can tie back to the person
+ * who gave them. Mirrors Brydio's `apps/api/src/apps/manifest/anonymous.ts`;
+ * the two change together.
+ *
+ * An app only declares it: which structured field groups the answers (a
+ * form, a survey round: a number, a choice, a date), and how many answers a
+ * group must hold before any of them is read. Brydio does the rest in the store, never the app: no writer kept
+ * on the record, times cut to the day, no live change told, no update, a
+ * create naming its own writer refused, and reads only of a whole group of
+ * at least `minimum` answers.
+ */
+export const ANONYMOUS_LIMITS = {
+    /** The fewest answers a group, or a narrowed read of one, may be read at. */
+    minimum: 5,
+    /** The most an app may ask for. */
+    maximum: 1000,
+};
+/** What the store writes as `created_by` on every anonymous record. */
+export const ANONYMOUS_WRITER = 'anonymous';
+export const anonymousSchema = z
+    .object({
+    /** A structured field of the same collection, never a member: which group an answer belongs to. */
+    group: z.string().min(1).max(FIELD_LIMITS.nameChars),
+    /** At least 5, the default. */
+    minimum: z.number().int().max(ANONYMOUS_LIMITS.maximum).optional(),
+})
+    .strict();
+export function anonymousProblems(collection, declared) {
+    const anonymous = declared.anonymous;
+    if (!anonymous)
+        return [];
+    const problems = [];
+    const types = new Map();
+    for (const [field, raw] of Object.entries(declared.schema)) {
+        try {
+            types.set(field, parseFieldType(raw));
+        }
+        catch {
+            // Refused as a field type already.
+        }
+    }
+    // Kept in plain, so a read can name its group; words never are.
+    const group = types.get(anonymous.group);
+    if (!group || !isStructured(group) || group.kind === 'member') {
+        problems.push({
+            code: 'data_anonymous_group',
+            collection,
+            field: anonymous.group,
+            message: `${collection}.anonymous.group must name one of its structured fields (a number, choice, date, boolean, token or project); ${anonymous.group} is not.`,
+        });
+    }
+    if (anonymous.minimum !== undefined && anonymous.minimum < ANONYMOUS_LIMITS.minimum) {
+        problems.push({
+            code: 'data_anonymous_minimum',
+            collection,
+            message: `${collection}.anonymous.minimum is at least ${ANONYMOUS_LIMITS.minimum}: fewer answers than that can be told apart.`,
+        });
+    }
+    for (const [field, type] of types) {
+        // A member field names a person on the record, which is what this is for not doing.
+        if (type.kind === 'member') {
+            problems.push({
+                code: 'data_anonymous_member',
+                collection,
+                field,
+                message: `${collection} is anonymous, so it can't name a member: ${field} would.`,
+            });
+        }
+        // Writing together shows who is typing, and changes a record after it is given.
+        if (type.coedit) {
+            problems.push({
+                code: 'data_anonymous_coedit',
+                collection,
+                field,
+                message: `${collection} is anonymous, so its answers can't be written together: ${field} would be.`,
+            });
+        }
+    }
+    return problems;
+}
+export function anonymousSpec(declared) {
+    return { group: declared.group, minimum: declared.minimum ?? ANONYMOUS_LIMITS.minimum };
+}

package/src/grants.d.ts

@@ -6,8 +6,16 @@
  * `apps/api/src/apps/manifest/grants.ts`, and the `grant_unknown` sentence in
  * `apps/api/src/apps/publishing/app-publish.service.ts`.
  */
-/** The host grants with a name of their own. A connection's is `connection:<name>`. */
-export declare const HOST_CAPABILITIES: readonly ["navigate", "message", "members", "projects", "files", "chats", "model", "secrets", "notify", "approvals"];
+/**
+ * The host grants with a name of their own. A connection's is `connection:<name>`.
+ *
+ * `chats` and `chat` differ: `chats` is the typed Brydio API's reach into the
+ * person's assistant conversations; `chat` is a handler's `chat.post`, the
+ * app posting one of its cards into a workspace room (FO03). `directory` is
+ * a handler's `directory.*` and a screen's `useProfile` (FO02); `webhooks`
+ * is a handler's `webhooks.send` (FO07).
+ */
+export declare const HOST_CAPABILITIES: readonly ["navigate", "message", "members", "projects", "files", "chats", "model", "secrets", "notify", "approvals", "chat", "directory", "webhooks"];
 /** The older name for `HOST_CAPABILITIES`, kept for what already imports it. */
 export declare const KNOWN_HOST_GRANTS: readonly string[];
 /** True for a host grant Brydio knows how to honour: a named capability, or one connection. */

package/src/grants.js

@@ -7,8 +7,30 @@
  * `apps/api/src/apps/publishing/app-publish.service.ts`.
  */
 import { BUNDLE_MANIFEST } from "./bundle.js";
-/** The host grants with a name of their own. A connection's is `connection:<name>`. */
-export const HOST_CAPABILITIES = ['navigate', 'message', 'members', 'projects', 'files', 'chats', 'model', 'secrets', 'notify', 'approvals'];
+/**
+ * The host grants with a name of their own. A connection's is `connection:<name>`.
+ *
+ * `chats` and `chat` differ: `chats` is the typed Brydio API's reach into the
+ * person's assistant conversations; `chat` is a handler's `chat.post`, the
+ * app posting one of its cards into a workspace room (FO03). `directory` is
+ * a handler's `directory.*` and a screen's `useProfile` (FO02); `webhooks`
+ * is a handler's `webhooks.send` (FO07).
+ */
+export const HOST_CAPABILITIES = [
+    'navigate',
+    'message',
+    'members',
+    'projects',
+    'files',
+    'chats',
+    'model',
+    'secrets',
+    'notify',
+    'approvals',
+    'chat',
+    'directory',
+    'webhooks',
+];
 /** The older name for `HOST_CAPABILITIES`, kept for what already imports it. */
 export const KNOWN_HOST_GRANTS = HOST_CAPABILITIES;
 const CONNECTION = /^connection:[a-z0-9][a-z0-9_-]{0,59}$/;

package/src/index.d.ts

@@ -7,9 +7,10 @@ export { APP_NAME_FORMAT, MANIFEST_LIMITS, SEMVER_FORMAT, baseManifestSchema, br
 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, 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 { appManifestSchema, appToolPrefix, collectionOf, crossAppTool, 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 { OPEN_LIMITS, OPEN_TYPES, choicesProblem, definitionOf, definitionTypeProblem, describeField, fieldTypeOf, hasChoices, isPlainOpenType, keyFromName, keyProblem, missingRequired, moveValue, openSchemaProblems, openSpec, openValueProblem, type Moved, type OpenField, type OpenFieldChange, type OpenFieldValue, type OpenProblem, type OpenProblemCode, type OpenSchemaFlag, type OpenType, } from './open-schema.js';
 export { CONFIRM_LIMITS, confirmEmailProblems, confirmEmailSpec, type ConfirmEmailDeclared, type ConfirmEmailSpec, type ConfirmProblemCode, } from './confirm-email.js';
+export { ANONYMOUS_LIMITS, ANONYMOUS_WRITER, anonymousProblems, anonymousSpec, type AnonymousDeclared, type AnonymousProblemCode, type AnonymousSpec, } from './anonymous.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

@@ -7,9 +7,10 @@ export { APP_NAME_FORMAT, MANIFEST_LIMITS, SEMVER_FORMAT, baseManifestSchema, br
 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, 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 { appManifestSchema, appToolPrefix, collectionOf, crossAppTool, 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 { OPEN_LIMITS, OPEN_TYPES, choicesProblem, definitionOf, definitionTypeProblem, describeField, fieldTypeOf, hasChoices, isPlainOpenType, keyFromName, keyProblem, missingRequired, moveValue, openSchemaProblems, openSpec, openValueProblem, } from "./open-schema.js";
 export { CONFIRM_LIMITS, confirmEmailProblems, confirmEmailSpec, } from "./confirm-email.js";
+export { ANONYMOUS_LIMITS, ANONYMOUS_WRITER, anonymousProblems, anonymousSpec, } from "./anonymous.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/migrations.d.ts

@@ -115,7 +115,7 @@ export type SchemaChange = {
  * Hodler's `diffManifests` to show, and none of them moves a record.
  */
 export declare function diffSchemas(from: unknown, to: unknown): SchemaChange[];
-export type MigrationCode = 'migration_step_invalid' | 'migration_step_pointless' | 'migration_default_missing' | 'migration_default_invalid' | 'migration_unexplained' | 'migration_type_changed' | 'migration_value_removed';
+export type MigrationCode = 'migration_step_invalid' | 'migration_step_pointless' | 'migration_default_missing' | 'migration_default_invalid' | 'migration_unexplained' | 'migration_type_changed' | 'migration_value_removed' | 'migration_anonymous_changed';
 export interface MigrationProblem {
     code: MigrationCode;
     collection: string;

package/src/migrations.js

@@ -181,6 +181,35 @@ export function migrationProblems(from, to, steps) {
                 break;
         }
     }
+    problems.push(...anonymityChanges(from, to));
+    return problems;
+}
+/**
+ * A kept collection that becomes anonymous, stops being, or moves its group
+ * (P13): no step can say what its records become. Records kept before kept
+ * their writers and times, and records kept since were read only by group.
+ */
+function anonymityChanges(from, to) {
+    const before = record(record(from).data);
+    const after = record(record(to).data);
+    const problems = [];
+    for (const [name, declared] of Object.entries(after)) {
+        if (!(name in before))
+            continue;
+        const was = record(record(before[name]).anonymous).group;
+        const now = record(record(declared).anonymous).group;
+        if (was === now)
+            continue;
+        problems.push({
+            code: 'migration_anonymous_changed',
+            collection: name,
+            message: was === undefined
+                ? `${name} already keeps records with their writers, so it can't become anonymous; keep anonymous answers in a new collection.`
+                : now === undefined
+                    ? `${name} keeps anonymous answers, so it stays anonymous.`
+                    : `${name}'s anonymous answers stay grouped by ${String(was)}.`,
+        });
+    }
     return problems;
 }
 /** The old schema with the steps applied, and every step that could not apply or changed nothing. */

package/src/schema.d.ts

@@ -2,6 +2,7 @@ import { z } from 'zod';
 import { FieldTypeInvalid, type FieldType } from './field-types.js';
 import { type OpenProblemCode } from './open-schema.js';
 import { type ConfirmProblemCode } from './confirm-email.js';
+import { type AnonymousProblemCode, type AnonymousSpec } from './anonymous.js';
 export { COLOUR_TOKENS, FIELD_LIMITS, parseFieldType, RESERVED_FIELDS, structuredFields, type FieldKind, type FieldType, } from './field-types.js';
 /**
  * What an app adds to `.brydio/app.json` to be more than a bundle of servers
@@ -101,6 +102,7 @@ declare const extensionShape: {
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
             "public-page": "public-page";
+            "chat-card": "chat-card";
         }>;
         screen: z.ZodString;
         sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
@@ -157,6 +159,10 @@ declare const extensionShape: {
             message: z.ZodOptional<z.ZodString>;
             link: z.ZodOptional<z.ZodBoolean>;
         }, z.core.$strict>>;
+        anonymous: z.ZodOptional<z.ZodObject<{
+            group: z.ZodString;
+            minimum: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
     }, z.core.$strip>>>;
     tools: z.ZodOptional<z.ZodObject<{
         generated: z.ZodOptional<z.ZodBoolean>;
@@ -235,7 +241,7 @@ export interface DataProblem {
     field?: string;
     message: string;
 }
-export type DataProblemCode = FieldTypeInvalid['code'] | OpenProblemCode | ConfirmProblemCode | '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_public_shape' | 'placement_public_nothing' | 'placement_children_too_deep' | 'placement_create_tool_unknown' | 'placement_create_not_write' | 'secret_name_taken' | 'grant_secrets_missing';
+export type DataProblemCode = FieldTypeInvalid['code'] | OpenProblemCode | ConfirmProblemCode | AnonymousProblemCode | '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_public_shape' | 'placement_public_nothing' | 'placement_chat_card_shape' | 'grant_tool_cross_app_self' | '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.
@@ -251,6 +257,17 @@ export interface DataProblemOptions {
     retired?: boolean;
 }
 export declare function dataProblems(additions: Additions, options?: DataProblemOptions): DataProblem[];
+/**
+ * Another installed app's tool, as `grants.tools` names it (FO07): the name
+ * the assistant knows it by, `<slug>__<tool>`. Null for anything else.
+ * A handler calls it with `tools.call('<slug>__<tool>', input)`.
+ */
+export declare function crossAppTool(name: string): {
+    app: string;
+    tool: string;
+} | null;
+/** An app's name as the front of its tools' assistant names: `issue-tracker` → `issue_tracker`. */
+export declare const appToolPrefix: (name: string) => string;
 /** 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<{
@@ -262,6 +279,7 @@ export declare const manifestExtensionsSchema: z.ZodObject<{
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
             "public-page": "public-page";
+            "chat-card": "chat-card";
         }>;
         screen: z.ZodString;
         sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
@@ -318,6 +336,10 @@ export declare const manifestExtensionsSchema: z.ZodObject<{
             message: z.ZodOptional<z.ZodString>;
             link: z.ZodOptional<z.ZodBoolean>;
         }, z.core.$strict>>;
+        anonymous: z.ZodOptional<z.ZodObject<{
+            group: z.ZodString;
+            minimum: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
     }, z.core.$strip>>>;
     tools: z.ZodOptional<z.ZodObject<{
         generated: z.ZodOptional<z.ZodBoolean>;
@@ -393,6 +415,7 @@ export declare const storedExtensionsSchema: z.ZodObject<{
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
             "public-page": "public-page";
+            "chat-card": "chat-card";
         }>;
         screen: z.ZodString;
         sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
@@ -449,6 +472,10 @@ export declare const storedExtensionsSchema: z.ZodObject<{
             message: z.ZodOptional<z.ZodString>;
             link: z.ZodOptional<z.ZodBoolean>;
         }, z.core.$strict>>;
+        anonymous: z.ZodOptional<z.ZodObject<{
+            group: z.ZodString;
+            minimum: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
     }, z.core.$strip>>>;
     tools: z.ZodOptional<z.ZodObject<{
         generated: z.ZodOptional<z.ZodBoolean>;
@@ -559,6 +586,7 @@ export declare const appManifestSchema: z.ZodObject<{
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
             "public-page": "public-page";
+            "chat-card": "chat-card";
         }>;
         screen: z.ZodString;
         sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
@@ -615,6 +643,10 @@ export declare const appManifestSchema: z.ZodObject<{
             message: z.ZodOptional<z.ZodString>;
             link: z.ZodOptional<z.ZodBoolean>;
         }, z.core.$strict>>;
+        anonymous: z.ZodOptional<z.ZodObject<{
+            group: z.ZodString;
+            minimum: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
     }, z.core.$strip>>>;
     tools: z.ZodOptional<z.ZodObject<{
         generated: z.ZodOptional<z.ZodBoolean>;
@@ -729,6 +761,7 @@ export declare const newAppManifestSchema: z.ZodObject<{
             "project-sidebar": "project-sidebar";
             "workspace-sidebar": "workspace-sidebar";
             "public-page": "public-page";
+            "chat-card": "chat-card";
         }>;
         screen: z.ZodString;
         sizes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
@@ -785,6 +818,10 @@ export declare const newAppManifestSchema: z.ZodObject<{
             message: z.ZodOptional<z.ZodString>;
             link: z.ZodOptional<z.ZodBoolean>;
         }, z.core.$strict>>;
+        anonymous: z.ZodOptional<z.ZodObject<{
+            group: z.ZodString;
+            minimum: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
     }, z.core.$strip>>>;
     tools: z.ZodOptional<z.ZodObject<{
         generated: z.ZodOptional<z.ZodBoolean>;
@@ -875,6 +912,8 @@ export interface CollectionSpec {
     };
     /** On a companion: the open collection whose fields its records define (P5). */
     definesFieldsOf?: string;
+    /** Answers kept with no writer, read only a whole group of at least `minimum` at a time (P13). */
+    anonymous?: AnonymousSpec;
 }
 /**
  * The singular a collection's tools are named with: the manifest's, else the

package/src/schema.js

@@ -4,6 +4,7 @@ import { COLLECTION_NAME, FIELD_LIMITS, FIELD_NAME, FieldTypeInvalid, isSearchab
 import { migrationsSchema } from "./migrations.js";
 import { openSchemaProblems } from "./open-schema.js";
 import { confirmEmailProblems, confirmEmailSchema } from "./confirm-email.js";
+import { anonymousProblems, anonymousSchema, anonymousSpec } from "./anonymous.js";
 export { COLOUR_TOKENS, FIELD_LIMITS, parseFieldType, RESERVED_FIELDS, structuredFields, } from "./field-types.js";
 /**
  * What an app adds to `.brydio/app.json` to be more than a bundle of servers
@@ -71,8 +72,12 @@ const placementSchema = z.object({
      * `children` or `settings` (`placement_public_shape`), and it reaches only
      * collections marked `publicRead` or `publicSubmit` and tools marked
      * `public`.
+     * `chat-card`: a screen drawn inside a chat message the app posted with
+     * a handler's `chat.post` (FO03). Nobody places it by hand, so it has no
+     * `sizes`, `children` or `settings` (`placement_chat_card_shape`); its
+     * screen sees `placement.kind === 'chat-card'` and the card's `route`.
      */
-    kind: z.enum(['project-tab', 'project-widget', 'project-sidebar', 'workspace-sidebar', 'home', 'public-page']),
+    kind: z.enum(['project-tab', 'project-widget', 'project-sidebar', 'workspace-sidebar', 'home', 'public-page', 'chat-card']),
     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(),
@@ -138,6 +143,15 @@ const collectionSchema = z.object({
      * Needs `publicSubmit`. Brydio decides when, how often and from whom.
      */
     confirmEmail: confirmEmailSchema.optional(),
+    /**
+     * Answers nobody can tie to who gave them (P13): `group` names a
+     * structured field (a number, choice, date, boolean, token or project)
+     * the answers are read by, a whole group at a time and only once it holds
+     * `minimum` answers (at least 5, the default). Brydio keeps no writer,
+     * cuts times to the day, tells no live change, and refuses an update, a
+     * batch, a watch and a create naming its own writer.
+     */
+    anonymous: anonymousSchema.optional(),
 });
 const screenSchema = z.object({
     /**
@@ -371,6 +385,10 @@ export function dataProblems(additions, options = {}) {
     for (const [collection, declared] of collections) {
         problems.push(...confirmEmailProblems(collection, declared));
     }
+    // An anonymous collection groups its answers by one of its structured fields, names nobody (P13).
+    for (const [collection, declared] of collections) {
+        problems.push(...anonymousProblems(collection, declared));
+    }
     // What the app keeps must be what it asks to keep (A3-F06-S01): a
     // collection the grants leave out would be data a workspace never agreed to
     // hold, found only when the first write is refused.
@@ -440,6 +458,14 @@ export function dataProblems(additions, options = {}) {
                 message: `The public page "${placement.screen}" can have no children or settings: it is one screen at its own address.`,
             });
         }
+        // A chat card is drawn at the message's own size, in a message nobody
+        // places by hand (FO03): nothing to size, configure or list.
+        if (placement.kind === 'chat-card' && (placement.sizes?.length || placement.children || placement.settings)) {
+            problems.push({
+                code: 'placement_chat_card_shape',
+                message: `The chat card "${placement.screen}" cannot have sizes, children or settings.`,
+            });
+        }
     }
     // A public page with nothing public could show a visitor nothing at all.
     if ((additions.placements ?? []).some(placement => placement.kind === 'public-page')) {
@@ -537,6 +563,20 @@ function customToolProblems(additions, options) {
         }));
     const seen = new Set();
     const granted = additions.grants?.tools ?? [];
+    // Another app's tool, asked for by its assistant name `<slug>__<tool>`
+    // (FO07): never an unknown custom tool of this app, but naming the app
+    // itself would be a way round its own grants.
+    const name = additions.name;
+    const own = typeof name === 'string' ? appToolPrefix(name) : null;
+    for (const grant of granted) {
+        const qualified = crossAppTool(grant);
+        if (qualified && own !== null && qualified.app === own) {
+            problems.push({
+                code: 'grant_tool_cross_app_self',
+                message: `${grant} names this app's own tool: ask for ${qualified.tool} instead.`,
+            });
+        }
+    }
     for (const tool of custom) {
         if (generated.has(tool.name) || seen.has(tool.name)) {
             problems.push({
@@ -573,6 +613,22 @@ function customToolProblems(additions, options) {
     }
     return problems;
 }
+/**
+ * Another installed app's tool, as `grants.tools` names it (FO07): the name
+ * the assistant knows it by, `<slug>__<tool>`. Null for anything else.
+ * A handler calls it with `tools.call('<slug>__<tool>', input)`.
+ */
+export function crossAppTool(name) {
+    const at = name.indexOf('__');
+    if (at <= 0 || at + 2 >= name.length)
+        return null;
+    return { app: name.slice(0, at), tool: name.slice(at + 2) };
+}
+/** An app's name as the front of its tools' assistant names: `issue-tracker` → `issue_tracker`. */
+export const appToolPrefix = (name) => name
+    .replace(/[^A-Za-z0-9_]+/g, '_')
+    .replace(/_+/g, '_')
+    .replace(/^_+|_+$/g, '');
 /**
  * Each secret declared once, and asked for (ADR-A24): an app that declares
  * secrets without the `secrets` host grant could never read one.
@@ -605,7 +661,7 @@ const refuse = (additions, ctx, options = {}) => {
         ctx.addIssue({
             code: 'custom',
             message: problem.message,
-            path: problem.code === 'grant_tool_missing'
+            path: problem.code === 'grant_tool_missing' || problem.code === 'grant_tool_cross_app_self'
                 ? ['grants', 'tools']
                 : problem.code === 'grant_secrets_missing'
                     ? ['grants', 'host']
@@ -681,6 +737,7 @@ export function collectionsOf(manifest) {
                 ? { openSchema: { fields: declared.openSchema.fields, table: declared.openSchema.table ?? null } }
                 : {}),
             ...(owner ? { definesFieldsOf: owner.name } : {}),
+            ...(declared.anonymous ? { anonymous: anonymousSpec(declared.anonymous) } : {}),
         };
     });
 }