@reventlessdev/reventless-spec 3.0.0-alpha.92 → 3.0.0-alpha.93

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.93 (2026-08-02)
+
+### Features
+
+* **aws,core,spec,seed-aws:** expire uploads nobody committed a reference to ([f63e84c](https://github.com/ReventlessDev/reventless-core/commit/f63e84c1a11cc350b799a6f69a2e7427cf1ea6e9))
+
+
 # 3.0.0-alpha.92 (2026-08-01)
 
 * feat(aws,core,spec)!: qualify store prefixes by plugin and refuse name collisions ([da39405](https://github.com/ReventlessDev/reventless-core/commit/da394059d9f8f981bf7adc79e2c1ce2b429e0267))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-spec",
-  "version": "3.0.0-alpha.92",
+  "version": "3.0.0-alpha.93",
   "description": "Specifications for Reventless",
   "license": "Apache-2.0",
   "bin": {

package/src/semantic/StorageRef.res

@@ -122,3 +122,43 @@ let getStore = (schema: S.t<'a>): option<Semantic.storeTarget> =>
   | Some({payload: StoredIn(target)}) => Some(target)
   | _ => None
   }
+
+/** How many refs one field holds. */
+type arity =
+  | /** A `string` field: one ref. */ Single
+  | /** An `array<string>` field: zero or more refs. */ Multiple
+
+/**
+The store a *field* declares, looking through an array wrapper, with the arity
+that tells a reader how to get at the value.
+
+`getStore` asks about a schema; this asks about a field, and those differ for
+`@storageRef("s") urls: array<string>` — the ppx attaches the marker to the
+element type, because `@s.matches` requires the schema's type to match what it
+is attached to, so the array itself carries no marker and `getStore` on it
+answers `None`.
+
+Every reader of a *field* wants this one. Reading `getStore` directly is what
+made a multi-valued store declaration invisible: the store went unprovisioned,
+which is the same silence as not having written the annotation at all.
+*/
+let getFieldStore = (schema: S.t<'a>): option<(Semantic.storeTarget, arity)> =>
+  switch getStore(schema) {
+  | Some(target) => Some(target, Single)
+  | None =>
+    switch schema->(Obj.magic: S.t<'a> => S.t<unknown>) {
+    | Array({items, additionalItems}) =>
+      // sury keeps a homogeneous `S.array` element schema in `additionalItems`
+      // and a tuple's positional schemas in `items`; read both so the marker is
+      // found wherever the element sits.
+      switch items->Array.get(0) {
+      | Some({schema: itemSchema}) => getStore(itemSchema)
+      | None =>
+        switch additionalItems {
+        | Schema(itemSchema) => getStore(itemSchema)
+        | _ => None
+        }
+      }->Option.map(target => (target, Multiple))
+    | _ => None
+    }
+  }

package/src/semantic/StorageRef.res.mjs

@@ -1,6 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as S from "sury/src/S.res.mjs";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Semantic$Reventless from "./Semantic.res.mjs";
 
 function segmentIsSafe(segment) {
@@ -76,10 +77,34 @@ function getStore(schema) {
   }
 }
 
+function getFieldStore(schema) {
+  let target = getStore(schema);
+  if (target !== undefined) {
+    return [
+      target,
+      "Single"
+    ];
+  }
+  if (schema.type !== "array") {
+    return;
+  }
+  let additionalItems = schema.additionalItems;
+  let match = schema.items[0];
+  let tmp;
+  tmp = match !== undefined ? getStore(match.schema) : (
+      additionalItems === "strip" || additionalItems === "strict" ? undefined : getStore(additionalItems)
+    );
+  return Stdlib_Option.map(tmp, target => [
+    target,
+    "Multiple"
+  ]);
+}
+
 export {
   segmentIsSafe,
   fromString,
   forStore,
   getStore,
+  getFieldStore,
 }
 /* S Not a pure module */