@reventlessdev/reventless-spec 3.0.0-alpha.117 → 3.0.0-alpha.119

package/src/components/Plugin.res

@@ -105,13 +105,12 @@ type apiTarget = Domain | Platform
 // Sury's nullableAsOption creates T | undefined | null which fails jsonableValidation
 // inside union variant payloads. js_nullable creates T | null (no undefined) which is
 // JSON-safe and passes jsonableValidation in all contexts.
-@module("sury/src/Sury.res.mjs") external _jsNullable: (S.t<'a>, unit) => S.t<option<'a>> = "js_nullable"
 let apiSchemaFragmentOffloadSchema = Offload.optionSchema(~store="pluginApiFragments", apiSchemaFragmentSchema)
-let dcbEventLogOptionSchema = _jsNullable(dcbEventLogDefinitionSchema, ())
+let dcbEventLogOptionSchema = dcbEventLogDefinitionSchema->S.nullAsOption
 // js_nullable creates T | null which passes sury's jsonableValidation inside union variant payloads.
-let stringOptionSchema = _jsNullable(S.string, ())
-let stringArrayOptionSchema = _jsNullable(S.array(S.string), ())
-let boolOptionSchema = _jsNullable(S.bool, ())
+let stringOptionSchema = S.string->S.nullAsOption
+let stringArrayOptionSchema = S.array(S.string)->S.nullAsOption
+let boolOptionSchema = S.bool->S.nullAsOption
 
 // ── UI fragment manifest types ────────────────────────────────────────────────
 
@@ -147,7 +146,7 @@ type uiFragmentManifest = {
   pages: array<pageManifestEntry>,
 }
 
-let uiFragmentManifestOptionSchema = _jsNullable(uiFragmentManifestSchema, ())
+let uiFragmentManifestOptionSchema = uiFragmentManifestSchema->S.nullAsOption
 
 // ── Plugin structure types (component metadata for Auto UI and event graph) ──
 
@@ -566,7 +565,7 @@ type extensionPointDef = {
 
 // js_nullable creates `array | null` (not `| undefined`), which passes sury's
 // jsonableValidation inside the pluginStructure union variant payload.
-let extensionPointDefArrayOptionSchema = _jsNullable(S.array(extensionPointDefSchema), ())
+let extensionPointDefArrayOptionSchema = S.array(extensionPointDefSchema)->S.nullAsOption
 
 /**
 One field's store requirement, with its provenance.
@@ -604,10 +603,8 @@ type requiredStoreDeclaration = {
   annotation: @s.matches(stringOptionSchema) option<string>,
 }
 
-let requiredStoreDeclarationArrayOptionSchema = _jsNullable(
-  S.array(requiredStoreDeclarationSchema),
-  (),
-)
+let requiredStoreDeclarationArrayOptionSchema =
+  S.array(requiredStoreDeclarationSchema)->S.nullAsOption
 
 /**
 Adding a field here? It has to be a shape a stale event can be healed into.

package/src/components/Plugin.res.mjs

@@ -1,107 +1,110 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as S from "sury/src/S.res.mjs";
+import * as Sury from "sury";
 import * as Offload$Reventless from "../semantic/Offload.res.mjs";
-import * as SuryResMjs from "sury/src/Sury.res.mjs";
 
-let pluginKindSchema = S.union([
-  S.literal("Domain"),
-  S.literal("PlatformInfrastructure"),
-  S.literal("Commercial"),
-  S.literal("Marketplace")
+let nameSchema = Sury.string;
+
+let versionSchema = Sury.string;
+
+let pluginKindSchema = Sury.union([
+  Sury.literal("Domain"),
+  Sury.literal("PlatformInfrastructure"),
+  Sury.literal("Commercial"),
+  Sury.literal("Marketplace")
 ]);
 
-let extensionPointDefinitionSchema = S.schema(s => ({
-  name: s.m(S.string),
-  commandTopic: s.m(S.string),
-  eventTopic: s.m(S.string)
+let extensionPointDefinitionSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  commandTopic: s.m(Sury.string),
+  eventTopic: s.m(Sury.string)
 }));
 
-let extensionDefinitionSchema = S.schema(s => ({
-  name: s.m(S.string),
-  extensionPointName: s.m(S.string),
-  dcbSources: s.m(S.array(S.string))
+let extensionDefinitionSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  extensionPointName: s.m(Sury.string),
+  dcbSources: s.m(Sury.array(Sury.string))
 }));
 
-let dcbEventLogDefinitionSchema = S.schema(s => ({
-  name: s.m(S.string),
-  eventTopicArn: s.m(S.string)
+let dcbEventLogDefinitionSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  eventTopicArn: s.m(Sury.string)
 }));
 
-let extensionProtocolSchema = S.schema(s => ({
-  extensionPointName: s.m(S.string),
-  commandVersion: s.m(S.string),
-  eventVersion: s.m(S.string)
+let extensionProtocolSchema = Sury.$schema(s => ({
+  extensionPointName: s.m(Sury.string),
+  commandVersion: s.m(Sury.string),
+  eventVersion: s.m(Sury.string)
 }));
 
-let apiSchemaFragmentSchema = S.schema(s => ({
-  encoded: s.m(S.string),
-  protocol: s.m(S.string)
+let apiSchemaFragmentSchema = Sury.$schema(s => ({
+  encoded: s.m(Sury.string),
+  protocol: s.m(Sury.string)
 }));
 
-let apiTargetSchema = S.union([
-  S.literal("Domain"),
-  S.literal("Platform")
+let apiTargetSchema = Sury.union([
+  Sury.literal("Domain"),
+  Sury.literal("Platform")
 ]);
 
 let apiSchemaFragmentOffloadSchema = Offload$Reventless.optionSchema(undefined, "pluginApiFragments", undefined, apiSchemaFragmentSchema);
 
-let dcbEventLogOptionSchema = SuryResMjs.js_nullable(dcbEventLogDefinitionSchema);
+let dcbEventLogOptionSchema = Sury.$nullAsOption(dcbEventLogDefinitionSchema);
 
-let stringOptionSchema = SuryResMjs.js_nullable(S.string);
+let stringOptionSchema = Sury.$nullAsOption(Sury.string);
 
-let stringArrayOptionSchema = SuryResMjs.js_nullable(S.array(S.string));
+let stringArrayOptionSchema = Sury.$nullAsOption(Sury.array(Sury.string));
 
-let boolOptionSchema = SuryResMjs.js_nullable(S.bool);
+let boolOptionSchema = Sury.$nullAsOption(Sury.bool);
 
-let panelManifestEntrySchema = S.schema(s => ({
-  fragmentId: s.m(S.string),
-  title: s.m(S.string),
-  description: s.m(S.string),
-  positions: s.m(S.array(S.string)),
+let panelManifestEntrySchema = Sury.$schema(s => ({
+  fragmentId: s.m(Sury.string),
+  title: s.m(Sury.string),
+  description: s.m(Sury.string),
+  positions: s.m(Sury.array(Sury.string)),
   requiredAccess: s.m(stringOptionSchema)
 }));
 
-let menuEntrySchema = S.schema(s => ({
-  label: s.m(S.string),
+let menuEntrySchema = Sury.$schema(s => ({
+  label: s.m(Sury.string),
   icon: s.m(stringOptionSchema),
   group: s.m(stringOptionSchema),
-  sortOrder: s.m(S.int)
+  sortOrder: s.m(Sury.int)
 }));
 
-let pageManifestEntrySchema = S.schema(s => ({
-  fragmentId: s.m(S.string),
-  title: s.m(S.string),
+let pageManifestEntrySchema = Sury.$schema(s => ({
+  fragmentId: s.m(Sury.string),
+  title: s.m(Sury.string),
   menuEntry: s.m(menuEntrySchema),
   requiredAccess: s.m(stringOptionSchema)
 }));
 
-let uiFragmentManifestSchema = S.schema(s => ({
-  remoteEntryUrl: s.m(S.string),
-  panels: s.m(S.array(panelManifestEntrySchema)),
-  pages: s.m(S.array(pageManifestEntrySchema))
+let uiFragmentManifestSchema = Sury.$schema(s => ({
+  remoteEntryUrl: s.m(Sury.string),
+  panels: s.m(Sury.array(panelManifestEntrySchema)),
+  pages: s.m(Sury.array(pageManifestEntrySchema))
 }));
 
-let uiFragmentManifestOptionSchema = SuryResMjs.js_nullable(uiFragmentManifestSchema);
+let uiFragmentManifestOptionSchema = Sury.$nullAsOption(uiFragmentManifestSchema);
 
-let commandLevelSchema = S.union([
-  S.literal("Collection"),
-  S.literal("Instance")
+let commandLevelSchema = Sury.union([
+  Sury.literal("Collection"),
+  Sury.literal("Instance")
 ]);
 
-let fieldReferenceSchema = S.schema(s => ({
-  fieldName: s.m(S.string),
-  entity: s.m(S.string),
+let fieldReferenceSchema = Sury.$schema(s => ({
+  fieldName: s.m(Sury.string),
+  entity: s.m(Sury.string),
   plugin: s.m(stringOptionSchema)
 }));
 
-let commandDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  schema: s.m(S.string),
+let commandDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  schema: s.m(Sury.string),
   level: s.m(commandLevelSchema),
   aggregateIdField: s.m(stringOptionSchema),
-  mutationField: s.m(S.string),
-  references: s.m(S.array(fieldReferenceSchema)),
+  mutationField: s.m(Sury.string),
+  references: s.m(Sury.array(fieldReferenceSchema)),
   allowedStates: s.m(stringArrayOptionSchema),
   targetState: s.m(stringOptionSchema),
   apiExposed: s.m(boolOptionSchema),
@@ -109,14 +112,14 @@ let commandDefSchema = S.schema(s => ({
   ownerField: s.m(stringOptionSchema)
 }));
 
-let queryableDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  queryField: s.m(S.string),
-  schema: s.m(S.string),
-  consumedEventTypes: s.m(S.array(S.string)),
-  linkedWriteSide: s.m(S.array(S.string)),
-  labelField: s.m(S.string),
-  searchableFields: s.m(S.array(S.string)),
+let queryableDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  queryField: s.m(Sury.string),
+  schema: s.m(Sury.string),
+  consumedEventTypes: s.m(Sury.array(Sury.string)),
+  linkedWriteSide: s.m(Sury.array(Sury.string)),
+  labelField: s.m(Sury.string),
+  searchableFields: s.m(Sury.array(Sury.string)),
   labelFieldSource: s.m(stringOptionSchema),
   lifecycleField: s.m(stringOptionSchema),
   ownerField: s.m(stringOptionSchema),
@@ -131,89 +134,89 @@ let queryableDefSchema = S.schema(s => ({
   requiredAccess: s.m(stringArrayOptionSchema)
 }));
 
-let eventDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  schema: s.m(S.string),
-  references: s.m(S.array(fieldReferenceSchema))
+let eventDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  schema: s.m(Sury.string),
+  references: s.m(Sury.array(fieldReferenceSchema))
 }));
 
-let errorDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  schema: s.m(S.string),
-  references: s.m(S.array(fieldReferenceSchema))
+let errorDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  schema: s.m(Sury.string),
+  references: s.m(Sury.array(fieldReferenceSchema))
 }));
 
-let writableDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  commands: s.m(S.array(commandDefSchema)),
-  producedEventTypes: s.m(S.array(S.string)),
-  consumedEventTypes: s.m(S.array(S.string)),
-  linkedViews: s.m(S.array(S.string)),
+let writableDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  commands: s.m(Sury.array(commandDefSchema)),
+  producedEventTypes: s.m(Sury.array(Sury.string)),
+  consumedEventTypes: s.m(Sury.array(Sury.string)),
+  linkedViews: s.m(Sury.array(Sury.string)),
   consistencyRead: s.m(stringOptionSchema),
-  events: s.m(S.array(eventDefSchema)),
-  errors: s.m(S.array(errorDefSchema)),
+  events: s.m(Sury.array(eventDefSchema)),
+  errors: s.m(Sury.array(errorDefSchema)),
   chapter: s.m(stringOptionSchema)
 }));
 
-let automationSliceDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  consumedEventTypes: s.m(S.array(S.string)),
-  producedCommandTypes: s.m(S.array(S.string)),
-  targetName: s.m(S.string),
+let automationSliceDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  consumedEventTypes: s.m(Sury.array(Sury.string)),
+  producedCommandTypes: s.m(Sury.array(Sury.string)),
+  targetName: s.m(Sury.string),
   chapter: s.m(stringOptionSchema)
 }));
 
-let outboundTranslationSliceDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  consumedEventTypes: s.m(S.array(S.string)),
-  inboundCommandTypes: s.m(S.array(S.string)),
+let outboundTranslationSliceDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  consumedEventTypes: s.m(Sury.array(Sury.string)),
+  inboundCommandTypes: s.m(Sury.array(Sury.string)),
   targetName: s.m(stringOptionSchema),
   externalSystem: s.m(stringOptionSchema),
   chapter: s.m(stringOptionSchema)
 }));
 
-let inboundTranslationSliceDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  commandTypes: s.m(S.array(S.string)),
-  targetName: s.m(S.string),
+let inboundTranslationSliceDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  commandTypes: s.m(Sury.array(Sury.string)),
+  targetName: s.m(Sury.string),
   externalSystem: s.m(stringOptionSchema),
   chapter: s.m(stringOptionSchema)
 }));
 
-let extensionDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  delegateNames: s.m(S.array(S.string)),
-  eventTypes: s.m(S.array(S.string)),
-  commandTypes: s.m(S.array(S.string))
+let extensionDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  delegateNames: s.m(Sury.array(Sury.string)),
+  eventTypes: s.m(Sury.array(Sury.string)),
+  commandTypes: s.m(Sury.array(Sury.string))
 }));
 
-let extensionPointDefSchema = S.schema(s => ({
-  name: s.m(S.string),
-  delegateNames: s.m(S.array(S.string)),
-  sourceEventTypes: s.m(S.array(S.string)),
+let extensionPointDefSchema = Sury.$schema(s => ({
+  name: s.m(Sury.string),
+  delegateNames: s.m(Sury.array(Sury.string)),
+  sourceEventTypes: s.m(Sury.array(Sury.string)),
   commandTypes: s.m(stringArrayOptionSchema)
 }));
 
-let extensionPointDefArrayOptionSchema = SuryResMjs.js_nullable(S.array(extensionPointDefSchema));
+let extensionPointDefArrayOptionSchema = Sury.$nullAsOption(Sury.array(extensionPointDefSchema));
 
-let requiredStoreDeclarationSchema = S.schema(s => ({
-  store: s.m(S.string),
-  component: s.m(S.string),
-  field: s.m(S.string),
+let requiredStoreDeclarationSchema = Sury.$schema(s => ({
+  store: s.m(Sury.string),
+  component: s.m(Sury.string),
+  field: s.m(Sury.string),
   annotation: s.m(stringOptionSchema)
 }));
 
-let requiredStoreDeclarationArrayOptionSchema = SuryResMjs.js_nullable(S.array(requiredStoreDeclarationSchema));
-
-let pluginStructureSchema = S.schema(s => ({
-  readModels: s.m(S.array(queryableDefSchema)),
-  stateViewSlices: s.m(S.array(queryableDefSchema)),
-  stateChangeSlices: s.m(S.array(writableDefSchema)),
-  aggregates: s.m(S.array(writableDefSchema)),
-  automationSlices: s.m(S.array(automationSliceDefSchema)),
-  outboundTranslationSlices: s.m(S.array(outboundTranslationSliceDefSchema)),
-  inboundTranslationSlices: s.m(S.array(inboundTranslationSliceDefSchema)),
-  extensions: s.m(S.array(extensionDefSchema)),
+let requiredStoreDeclarationArrayOptionSchema = Sury.$nullAsOption(Sury.array(requiredStoreDeclarationSchema));
+
+let pluginStructureSchema = Sury.$schema(s => ({
+  readModels: s.m(Sury.array(queryableDefSchema)),
+  stateViewSlices: s.m(Sury.array(queryableDefSchema)),
+  stateChangeSlices: s.m(Sury.array(writableDefSchema)),
+  aggregates: s.m(Sury.array(writableDefSchema)),
+  automationSlices: s.m(Sury.array(automationSliceDefSchema)),
+  outboundTranslationSlices: s.m(Sury.array(outboundTranslationSliceDefSchema)),
+  inboundTranslationSlices: s.m(Sury.array(inboundTranslationSliceDefSchema)),
+  extensions: s.m(Sury.array(extensionDefSchema)),
   extensionPoints: s.m(extensionPointDefArrayOptionSchema),
   requiredStores: s.m(stringArrayOptionSchema),
   requiredStoreDeclarations: s.m(requiredStoreDeclarationArrayOptionSchema)
@@ -221,14 +224,14 @@ let pluginStructureSchema = S.schema(s => ({
 
 let pluginStructureOffloadSchema = Offload$Reventless.optionSchema(undefined, "pluginStructures", undefined, pluginStructureSchema);
 
-let pluginDefinitionSchema = S.schema(s => ({
-  id: s.m(S.string),
-  name: s.m(S.string),
-  version: s.m(S.string),
-  extensionPoints: s.m(S.array(extensionPointDefinitionSchema)),
-  extensions: s.m(S.array(extensionDefinitionSchema)),
-  eventCollector: s.m(S.string),
-  extensionProtocols: s.m(S.array(extensionProtocolSchema)),
+let pluginDefinitionSchema = Sury.$schema(s => ({
+  id: s.m(Sury.string),
+  name: s.m(nameSchema),
+  version: s.m(versionSchema),
+  extensionPoints: s.m(Sury.array(extensionPointDefinitionSchema)),
+  extensions: s.m(Sury.array(extensionDefinitionSchema)),
+  eventCollector: s.m(Sury.string),
+  extensionProtocols: s.m(Sury.array(extensionProtocolSchema)),
   apiSchemaFragment: s.m(apiSchemaFragmentOffloadSchema),
   apiTarget: s.m(stringOptionSchema),
   structure: s.m(pluginStructureOffloadSchema),
@@ -236,10 +239,6 @@ let pluginDefinitionSchema = S.schema(s => ({
   kind: s.m(pluginKindSchema)
 }));
 
-let nameSchema = S.string;
-
-let versionSchema = S.string;
-
 export {
   nameSchema,
   versionSchema,
@@ -279,4 +278,4 @@ export {
   pluginStructureOffloadSchema,
   pluginDefinitionSchema,
 }
-/* pluginKindSchema Not a pure module */
+/* nameSchema Not a pure module */

package/src/components/Reference.res.mjs

@@ -1,12 +1,12 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as S from "sury/src/S.res.mjs";
+import * as Sury from "sury";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as DcbTag$Reventless from "./DcbTag.res.mjs";
 import * as Semantic$Reventless from "../semantic/Semantic.res.mjs";
 
 function to_(plugin, key, entity) {
-  let base = Semantic$Reventless.mark(S.Metadata.set(S.string, DcbTag$Reventless.dcbTagId, true), Semantic$Reventless.Id.reference, {
+  let base = Semantic$Reventless.mark(Sury.$Metadata_set(Sury.string, DcbTag$Reventless.dcbTagId, true), Semantic$Reventless.Id.reference, {
     TAG: "ReferenceTo",
     _0: {
       entity: entity,
@@ -14,7 +14,7 @@ function to_(plugin, key, entity) {
     }
   });
   if (key !== undefined) {
-    return S.Metadata.set(base, DcbTag$Reventless.dcbTagKeyOverrideId, key);
+    return Sury.$Metadata_set(base, DcbTag$Reventless.dcbTagKeyOverrideId, key);
   } else {
     return base;
   }
@@ -54,7 +54,7 @@ function getFieldTarget(_schema) {
 }
 
 function toWithoutDcbTag(plugin, entity) {
-  return Semantic$Reventless.mark(S.string, Semantic$Reventless.Id.reference, {
+  return Semantic$Reventless.mark(Sury.string, Semantic$Reventless.Id.reference, {
     TAG: "ReferenceTo",
     _0: {
       entity: entity,
@@ -69,4 +69,4 @@ export {
   getFieldTarget,
   toWithoutDcbTag,
 }
-/* S Not a pure module */
+/* sury Not a pure module */

package/src/components/StateAnnotations.res

@@ -15,6 +15,8 @@ Each list contains the source field names; `indexes` carries `(fieldName,
 indexName)` pairs where `indexName` is `""` for unnamed `@index` annotations.
 `hidden` lists fields the UI should suppress from summary/list views;
 `summary` lists fields the UI should always include in summary/list views.
+`internal` lists fields that are not on the GraphQL surface at all — see the
+field's own note below; it is a different kind of claim from `hidden`.
 `drillTargets` carries `(fieldName, sliceName)` pairs naming the slice/view
 the UI should navigate to instead of expanding the field inline;
 `drillTargetKeys` carries `(fieldName, keyPath)` pairs for fields whose
@@ -112,6 +114,27 @@ type stateAnnotationSpec = {
   indexes: array<(string, string)>,
   hidden: array<string>,
   summary: array<string>,
+  /**
+  Fields annotated `@internal` — present in the record and in storage, absent
+  from the generated SDL type and from the published state schema.
+
+  A different claim from `hidden`, and the distinction is the point. `hidden`
+  says "do not show this": the field is on the API and any client may ask for
+  it. `internal` says "this is not on the API", so nothing can ask and nothing
+  needs to be told not to show it. That is why the two are separate lists rather
+  than one flag with a mode — a consumer reading `hidden` is deciding what to
+  render, and a consumer reading this is deciding what exists.
+
+  **Not a security boundary** — the same caveat `visibility` carries. It shapes
+  the generated surface; `@owner` and `@retired` remain the enforcement markers.
+  The PPX rejects `@internal` beside either of them, and beside every other
+  marker that keys a door, because a door cannot be keyed on a field the SDL
+  does not have.
+
+  Optional so a state schema annotated by a PPX that predates the marker still
+  reads: absent and empty mean the same thing to every consumer.
+  */
+  internal?: array<string>,
   drillTargets: array<(string, string)>,
   drillTargetKeys: array<(string, string)>,
   collapsed: array<string>,

package/src/components/StateAnnotations.res.mjs

@@ -1,11 +1,11 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as S from "sury/src/S.res.mjs";
+import * as Sury from "sury";
 
-let stateAnnotationsId = S.Metadata.Id.make("reventless", "stateAnnotations");
+let stateAnnotationsId = Sury.$Metadata_Id_make("reventless", "stateAnnotations");
 
 function getSpec(schema) {
-  return S.Metadata.get(schema, stateAnnotationsId);
+  return Sury.$Metadata_get(schema, stateAnnotationsId);
 }
 
 export {