fix(types,detail): derive five spec-named symbols instead of forking them (objectstack#4115) (#3057)

Burns the first five names off the spec-symbol DEBT ledger (149 -> 144).
None of these were "one spec release away from drifting" — all five had
already drifted, and two were live defects:

- PageVariableSchema (zod/layout.zod.ts) omitted `source`, the entire
  ADR-0049 write-binding, so a spec-authored master/detail page parsed
  into a variable nothing could ever write; its `type` enum was also
  missing `record_id`, rejecting spec-valid record-picker variables. The
  sibling PageTypeSchema three lines below was already a spec re-export,
  with a comment describing this exact failure — one mirror was fixed and
  its neighbour left broken.
- FeedItemType carried 7 of the spec's 13 members. The six missing kinds
  (file, sharing, note, record_create, record_delete, approval) had no
  icon and no colour in RecordActivityTimeline, so a server emitting any
  of them produced an unrenderable feed item. Both maps are
  `Record<FeedItemType, …>`, so widening the union surfaced the gap as a
  compile error; the six entries are filled in here.
- PermissionAction was 8 of 11, missing `execute`/`manage`/`configure`.
- ObjectIndex lacked `fulltext`, `unique: 'global'` and `partial`.
- PageVariable (TS) was member-for-member identical to spec's — a second
  place to drift from and nothing else. Note its own Zod counterpart had
  drifted while it had not.

The ledger is regenerated with `--ledger`, not hand-edited; the diff is
exactly these five names, so no other package's debt was dropped.

Mutation-tested both directions: re-forking a burned-down name fails the
guard by name, and leaving a burned name in the ledger fails it as stale.

Co-authored-by: Jack Zhuang <277994282+os-zhuang@users.noreply.github.com>
Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

Author: os-zhuang

packages/plugin-detail/src/RecordActivityTimeline.tsx

@@ -22,6 +22,10 @@ import {
   Phone,
   ChevronDown,
   Loader2,
+  StickyNote,
+  FileText,
+  Share2,
+  BadgeCheck,
 } from 'lucide-react';
 import type { FeedItem, FeedItemType, RecordActivityComponentProps, RecordSubscription } from '@object-ui/types';
 import { FieldChangeItem } from './FieldChangeItem';
@@ -73,6 +77,10 @@ export interface RecordActivityTimelineProps {
   className?: string;
 }
 
+// Total over `FeedItemType`, so a feed kind the spec adds cannot reach the
+// timeline without an icon and a colour (objectstack#4115): the six entries
+// below `call` were missing for as long as the local union was a 7-member
+// hand copy of the spec's 13.
 const FEED_TYPE_ICONS: Record<FeedItemType, React.ElementType> = {
   comment: MessageSquare,
   field_change: Edit,
@@ -81,6 +89,12 @@ const FEED_TYPE_ICONS: Record<FeedItemType, React.ElementType> = {
   system: Zap,
   email: Mail,
   call: Phone,
+  note: StickyNote,
+  file: FileText,
+  sharing: Share2,
+  record_create: PlusCircle,
+  record_delete: Trash2,
+  approval: BadgeCheck,
 };
 
 const FEED_TYPE_COLORS: Record<FeedItemType, string> = {
@@ -91,6 +105,12 @@ const FEED_TYPE_COLORS: Record<FeedItemType, string> = {
   system: 'bg-gray-100 text-gray-600',
   email: 'bg-indigo-100 text-indigo-600',
   call: 'bg-teal-100 text-teal-600',
+  note: 'bg-yellow-100 text-yellow-700',
+  file: 'bg-slate-100 text-slate-600',
+  sharing: 'bg-sky-100 text-sky-600',
+  record_create: 'bg-emerald-100 text-emerald-600',
+  record_delete: 'bg-red-100 text-red-600',
+  approval: 'bg-violet-100 text-violet-600',
 };
 
 function getFilterOptions(t: (key: string) => string): { value: FeedFilterMode; label: string }[] {

packages/types/src/field-types.ts

@@ -987,26 +987,17 @@ export interface ObjectSchemaMetadata {
 }
 
 /**
- * Object index configuration
+ * Object index configuration — re-exported from `@objectstack/spec/data`
+ * rather than restated (objectstack#4115).
+ *
+ * The hand-written interface it replaces had drifted three ways: its `type`
+ * enum was missing `fulltext`, `unique` was a bare `boolean` where the spec
+ * also accepts `'global'` (the global-unique scope), and it had no `partial`
+ * member at all — so a spec-authored partial or globally-unique index could
+ * not be expressed here.
  */
-export interface ObjectIndex {
-  /**
-   * Index name
-   */
-  name: string;
-  /**
-   * Fields to index
-   */
-  fields: string[];
-  /**
-   * Whether index is unique
-   */
-  unique?: boolean;
-  /**
-   * Index type
-   */
-  type?: 'btree' | 'hash' | 'gist' | 'gin';
-}
+import type { ObjectIndex } from '@objectstack/spec/data';
+export type { ObjectIndex };
 
 /**
  * Object relationship configuration

packages/types/src/layout.ts

@@ -460,20 +460,14 @@ export type PageVisualizationAlias =
 export type PageType = SpecPageType | PageVisualizationAlias;
 
 /**
- * Page Variable
- * Local page state that can be read/written by components and expressions.
- * Aligned with @objectstack/spec PageVariableSchema
+ * Page Variable — local page state that components and expressions read and
+ * write. Re-exported from `@objectstack/spec/ui` rather than restated
+ * (objectstack#4115); the hand-written interface it replaces was
+ * member-for-member identical, so the only thing it added was a second place
+ * to drift from.
  */
-export interface PageVariable {
-  /** Variable name */
-  name: string;
-  /** Variable type @default 'string' */
-  type?: 'string' | 'number' | 'boolean' | 'object' | 'array' | 'record_id';
-  /** Default value for initialization */
-  defaultValue?: any;
-  /** Variable data source (e.g. URL param, context, expression) */
-  source?: string;
-}
+import type { PageVariable } from '@objectstack/spec/ui';
+export type { PageVariable };
 
 /**
  * Page Region Size

packages/types/src/permissions.ts

@@ -20,8 +20,16 @@
 // Role-Based Access Control (RBAC)
 // ============================================================================
 
-/** Standard CRUD permission actions */
-export type PermissionAction = 'create' | 'read' | 'update' | 'delete' | 'export' | 'import' | 'share' | 'admin';
+/**
+ * Standard permission actions — re-exported from `@objectstack/spec/kernel`
+ * rather than restated (objectstack#4115).
+ *
+ * The hand-written union this replaces carried 8 of the spec's 11 members: it
+ * was missing `execute` (running a flow or action), `manage` and `configure`,
+ * so a spec-valid grant of any of the three was a type error here.
+ */
+import type { PermissionAction } from '@objectstack/spec/kernel';
+export type { PermissionAction };
 
 /** Permission effect */
 export type PermissionEffect = 'allow' | 'deny';

packages/types/src/views.ts

@@ -321,9 +321,16 @@ export interface ActivityEntry {
 
 /**
  * Feed item type — determines rendering style in the activity timeline.
- * Aligned with @objectstack/spec FeedItemSchema.type enum.
+ * Re-exported from `@objectstack/spec/data` rather than restated
+ * (objectstack#4115).
+ *
+ * The hand-written union this replaces carried 7 of the spec's 13 members —
+ * `file`, `sharing`, `note`, `record_create`, `record_delete` and `approval`
+ * were all missing, so a server emitting any of them produced a feed item the
+ * timeline could not type, let alone render.
  */
-export type FeedItemType = 'comment' | 'field_change' | 'task' | 'event' | 'system' | 'email' | 'call';
+import type { FeedItemType } from '@objectstack/spec/data';
+export type { FeedItemType };
 
 /**
  * FeedItem — A single item in the unified activity feed.

packages/types/src/zod/layout.zod.ts

@@ -17,7 +17,10 @@
  */
 
 import { z } from 'zod';
-import { PageTypeSchema as SpecPageTypeSchema } from '@objectstack/spec/ui';
+import {
+  PageTypeSchema as SpecPageTypeSchema,
+  PageVariableSchema as SpecPageVariableSchema,
+} from '@objectstack/spec/ui';
 import { BaseSchema, SchemaNodeSchema } from './base.zod.js';
 
 /**
@@ -245,13 +248,17 @@ export const PageRegionSchema = z.object({
 });
 
 /**
- * Page Variable Schema
+ * Page Variable Schema — `@objectstack/spec/ui` schema re-exported **by
+ * reference** (objectstack#4115), for exactly the reason the sibling
+ * {@link PageTypeSchema} below documents.
+ *
+ * The mirror this replaces had drifted twice over: it omitted `source` — the
+ * whole ADR-0049 write-binding, so a spec-authored master/detail page
+ * (`{ name: 'selectedProjectId', source: 'project_picker' }`) parsed into a
+ * variable nothing could ever write — and its `type` enum was missing
+ * `record_id`, so a spec-valid record-picker variable was rejected outright.
  */
-export const PageVariableSchema = z.object({
-  name: z.string().describe('Variable name'),
-  type: z.enum(['string', 'number', 'boolean', 'object', 'array']).optional().default('string').describe('Variable type'),
-  defaultValue: z.any().optional().describe('Default value'),
-});
+export const PageVariableSchema = SpecPageVariableSchema;
 
 /**
  * Page Type Schema — `@objectstack/spec/ui` schema re-exported **by reference**

scripts/check-spec-symbol-derivation.mjs

@@ -148,7 +148,6 @@ const DEBT = {
     "DriverInterface",
     "EventHandler",
     "ExpressionSchema",
-    "FeedItemType",
     "FileMetadata",
     "FilterCondition",
     "FilterConditionSchema",
@@ -169,15 +168,11 @@ const DEBT = {
     "NavigationAreaSchema",
     "NavigationItem",
     "NavigationItemSchema",
-    "ObjectIndex",
     "ObjectPermission",
     "OfflineConfig",
     "PageRegion",
     "PageRegionSchema",
     "PageSchema",
-    "PageVariable",
-    "PageVariableSchema",
-    "PermissionAction",
     "QueryAST",
     "QuerySchema",
     "ReportSchedule",