tml-2912: PSL native scalar lists (author, migrate, infer end-to-end)

apps/telemetry-backend/src/prisma/contract.prisma

@@ -6,7 +6,7 @@ model TelemetryEvent {
   installationId String
   version        String
   command        String
-  flags          String[]
+  flags          Json
   runtimeName    String
   runtimeVersion String
   os             String
@@ -15,7 +15,7 @@ model TelemetryEvent {
   databaseTarget String?
   tsVersion      String?
   agent          String?
-  extensions     String[]
+  extensions     Json
 
   @@index([ingestedAt])
   @@map("telemetry_event")

apps/telemetry-backend/test/handler.test.ts

@@ -162,10 +162,8 @@ describe('telemetry POST /events', () => {
     const row = await fetchSingleRow();
     expect(row.installationId).toBe(maxString);
     expect(row.command).toBe(maxString);
-    expect(row.flags).toHaveLength(64);
-    expect(row.flags[0]).toBe(maxArrayItem);
-    expect(row.extensions).toHaveLength(64);
-    expect(row.extensions[0]).toBe(maxArrayItem);
+    expect(row.flags).toEqual(manyArrayItems);
+    expect(row.extensions).toEqual(manyArrayItems);
   });
 
   it('rejects strings beyond the configured schema bounds with 400', async () => {

packages/1-framework/1-core/config/src/contract-source-types.ts

@@ -1,5 +1,6 @@
 import type { Contract } from '@prisma-next/contract/types';
 import type { CodecLookup } from '@prisma-next/framework-components/codec';
+import type { CapabilityMatrix } from '@prisma-next/framework-components/components';
 import type {
   AssembledAuthoringContributions,
   ControlMutationDefaults,
@@ -45,6 +46,7 @@ export interface ContractSourceContext {
   readonly codecLookup: CodecLookup;
   readonly controlMutationDefaults: ControlMutationDefaults;
   readonly resolvedInputs: readonly string[];
+  readonly capabilities: CapabilityMatrix;
 }
 
 /** Lets format-aware tooling avoid file-extension sniffing and opaque loader introspection. */

packages/1-framework/1-core/framework-components/src/control/control-stack.ts

@@ -1,5 +1,7 @@
 import type { JsonValue } from '@prisma-next/contract/types';
 import { blindCast } from '@prisma-next/utils/casts';
+import type { CapabilityMatrix } from '../shared/capabilities';
+import { mergeCapabilityMatrices } from '../shared/capabilities';
 import type { Codec } from '../shared/codec';
 import type { AnyCodecDescriptor } from '../shared/codec-descriptor';
 import type { CodecLookup, CodecMeta, CodecRef, CodecRegistry } from '../shared/codec-types';
@@ -62,6 +64,7 @@ export interface ControlStack<
   readonly authoringContributions: AssembledAuthoringContributions;
   readonly scalarTypeDescriptors: ReadonlyMap<string, string>;
   readonly controlMutationDefaults: ControlMutationDefaults;
+  readonly capabilities: CapabilityMatrix;
 }
 
 export interface CreateControlStackInput<
@@ -522,5 +525,10 @@ export function createControlStack<TFamilyId extends string, TTargetId extends s
     authoringContributions: assembleAuthoringContributions(allDescriptors),
     scalarTypeDescriptors,
     controlMutationDefaults: assembleControlMutationDefaults(allDescriptors),
+    capabilities: mergeCapabilityMatrices({}, [
+      target,
+      ...(adapter ? [adapter] : []),
+      ...orderedExtensionPacks,
+    ]),
   };
 }

packages/1-framework/1-core/framework-components/src/exports/components.ts

@@ -1,3 +1,4 @@
+export type { CapabilityMatrix } from '../shared/capabilities';
 export { mergeCapabilityMatrices } from '../shared/capabilities';
 export type {
   AdapterDescriptor,

packages/1-framework/1-core/framework-components/src/shared/capabilities.ts

@@ -9,7 +9,7 @@
 
 import { blindCast } from '@prisma-next/utils/casts';
 
-type CapabilityMatrix = Record<string, Record<string, boolean>>;
+export type CapabilityMatrix = Record<string, Record<string, boolean>>;
 
 function isPlainObject(value: unknown): value is Record<string, unknown> {
   return typeof value === 'object' && value !== null && !Array.isArray(value);

packages/1-framework/2-authoring/psl-parser/src/resolve.ts

@@ -15,6 +15,7 @@ export interface ResolvedAttributeArg {
   readonly kind: 'positional' | 'named';
   readonly name?: string;
   readonly value: string;
+  readonly expression?: ExpressionAst;
   readonly span: PslSpan;
 }
 
@@ -69,10 +70,12 @@ function readResolvedArgList(
   const args: ResolvedAttributeArg[] = [];
   for (const arg of argList.args()) {
     const name = arg.name()?.name();
+    const expression = arg.value();
     args.push({
       kind: name !== undefined ? 'named' : 'positional',
       ...(name !== undefined ? { name } : {}),
-      value: renderExpression(arg.value()),
+      value: renderExpression(expression),
+      ...(expression !== undefined ? { expression } : {}),
       span: nodePslSpan(arg.syntax, sourceFile),
     });
   }

packages/1-framework/3-tooling/cli/src/control-api/client.ts

@@ -631,6 +631,7 @@ class ControlClientImpl implements ControlClient {
         codecLookup: stack.codecLookup,
         controlMutationDefaults: stack.controlMutationDefaults,
         resolvedInputs: contractConfig.source.inputs ?? [],
+        capabilities: stack.capabilities,
       };
       const providerResult = await contractConfig.source.load(sourceContext);
       if (!providerResult.ok) {

packages/1-framework/3-tooling/cli/src/control-api/operations/contract-emit.ts

@@ -221,6 +221,7 @@ export async function executeContractEmit(
       codecLookup: stack.codecLookup,
       controlMutationDefaults: stack.controlMutationDefaults,
       resolvedInputs: contractConfig.source.inputs ?? [],
+      capabilities: stack.capabilities,
     };
 
     startSpan(onProgress, 'resolveSource', 'Resolving contract source...');

packages/1-framework/3-tooling/cli/test/config-types.test.ts

@@ -217,6 +217,7 @@ describe('defineConfig', () => {
       },
       controlMutationDefaults: { defaultFunctionRegistry: new Map(), generatorDescriptors: [] },
       resolvedInputs: [],
+      capabilities: {},
     });
 
     expect(config.output).toBe('output/contract.json');

packages/2-mongo-family/2-authoring/contract-psl/test/provider.test.ts

@@ -26,6 +26,7 @@ function createMongoTestContext(overrides?: Partial<ContractSourceContext>): Con
       generatorDescriptors: [],
     },
     resolvedInputs: [],
+    capabilities: {},
     ...overrides,
   };
 }

packages/2-mongo-family/2-authoring/contract-ts/test/config-types.test.ts

@@ -19,6 +19,7 @@ const emptyContext: ContractSourceContext = {
     generatorDescriptors: [],
   },
   resolvedInputs: [],
+  capabilities: {},
 };
 
 function minimalMongoContract(overrides?: {

packages/2-sql/2-authoring/contract-psl/src/interpreter.ts

@@ -24,7 +24,11 @@ import {
   isAuthoringPslBlockDescriptor,
 } from '@prisma-next/framework-components/authoring';
 import type { CodecLookup } from '@prisma-next/framework-components/codec';
-import type { ExtensionPackRef, TargetPackRef } from '@prisma-next/framework-components/components';
+import type {
+  CapabilityMatrix,
+  ExtensionPackRef,
+  TargetPackRef,
+} from '@prisma-next/framework-components/components';
 import type {
   ControlMutationDefaultRegistry,
   ControlMutationDefaults,
@@ -129,6 +133,7 @@ export interface InterpretPslDocumentToSqlContractInput {
   readonly createNamespace: (input: SqlNamespaceInput) => SqlNamespaceBase;
   readonly codecLookup?: CodecLookup;
   readonly seedDiagnostics?: readonly ContractSourceDiagnostic[];
+  readonly capabilities: CapabilityMatrix;
 }
 
 function buildComposedExtensionPackRefs(
@@ -443,6 +448,7 @@ interface BuildModelNodeInput {
   /** Resolved namespace id keyed by model name — used to stamp the target namespace on FKs. */
   readonly modelNamespaceIds: ReadonlyMap<string, string>;
   readonly enumHandles?: ReadonlyMap<string, EnumTypeHandle>;
+  readonly capabilities: CapabilityMatrix;
 }
 
 interface BuildModelNodeResult {
@@ -475,6 +481,7 @@ function buildModelNodeFromPsl(input: BuildModelNodeInput): BuildModelNodeResult
     sourceId,
     scalarTypeDescriptors: input.scalarTypeDescriptors,
     ...ifDefined('enumHandles', input.enumHandles),
+    capabilities: input.capabilities,
   });
 
   const inlineIdFields = resolvedFields.filter((field) => field.isId);
@@ -1151,6 +1158,9 @@ function buildModelNodeFromPsl(input: BuildModelNodeInput): BuildModelNodeResult
           columnName: resolvedField.columnName,
           descriptor: resolvedField.descriptor,
           nullable: resolvedField.nullable,
+          ...(resolvedField.many && resolvedField.valueObjectTypeName === undefined
+            ? { many: true as const }
+            : {}),
           ...ifDefined('default', resolvedField.defaultValue),
           ...ifDefined('executionDefaults', resolvedField.executionDefaults),
           ...ifDefined('enumTypeHandle', enumHandle),
@@ -1917,6 +1927,7 @@ export function interpretPslDocumentToSqlContract(
       diagnostics,
       modelNamespaceIds,
       ...(enumHandlesByName.size > 0 ? { enumHandles: enumHandlesByName } : {}),
+      capabilities: input.capabilities,
     });
     modelNodes.push(
       namespaceId !== undefined ? { ...result.modelNode, namespaceId } : result.modelNode,

packages/2-sql/2-authoring/contract-psl/src/provider.ts

@@ -143,6 +143,7 @@ export function prismaContract(schemaPath: string, options: PrismaContractOption
           ),
           controlMutationDefaults: context.controlMutationDefaults,
           createNamespace: options.createNamespace,
+          capabilities: context.capabilities,
           codecLookup: context.codecLookup,
         });
         if (!interpreted.ok) {

packages/2-sql/2-authoring/contract-psl/src/psl-attribute-parsing.ts

@@ -2,6 +2,7 @@ import type { ContractSourceDiagnostic } from '@prisma-next/config/config-types'
 import type { ControlPolicy } from '@prisma-next/contract/types';
 import type { PslSpan, ResolvedAttribute } from '@prisma-next/psl-parser';
 import { parseQuotedStringLiteral } from '@prisma-next/psl-parser';
+import type { ExpressionAst } from '@prisma-next/psl-parser/syntax';
 
 export { parseQuotedStringLiteral };
 
@@ -32,14 +33,15 @@ export function getNamedArgument(attribute: ResolvedAttribute, name: string): st
 export function getPositionalArgumentEntry(
   attribute: ResolvedAttribute,
   index = 0,
-): { value: string; span: PslSpan } | undefined {
+): { value: string; expression?: ExpressionAst; span: PslSpan } | undefined {
   const entries = attribute.args.filter((arg) => arg.kind === 'positional');
   const entry = entries[index];
   if (!entry || entry.kind !== 'positional') {
     return undefined;
   }
   return {
     value: entry.value,
+    ...(entry.expression !== undefined ? { expression: entry.expression } : {}),
     span: entry.span,
   };
 }