@reventlessdev/trait-notification 1.0.0-alpha.6 → 1.0.0-alpha.60

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/trait-notification",
-  "version": "1.0.0-alpha.6",
+  "version": "1.0.0-alpha.60",
   "description": "Notification domain trait: rules, host contract, conformance suite and emitter for a per-recipient contact directory, a kind x channel subscription matrix, and the decision to send, suppress or record a message as undeliverable",
   "license": "Apache-2.0",
   "files": [
@@ -11,16 +11,16 @@
     "README.md"
   ],
   "dependencies": {
-    "sury": "11.0.0-rc.2",
-    "sury-ppx": "11.0.0-rc.2",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.204",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.130"
+    "sury": "11.0.0",
+    "sury-ppx": "11.0.0",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.258",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.178"
   },
   "devDependencies": {
-    "rescript": "12.3.0"
+    "rescript": "12.3.1"
   },
   "peerDependencies": {
-    "rescript": "12.3.0"
+    "rescript": "^12.3.1"
   },
   "publishConfig": {
     "registry": "https://registry.npmjs.org"

package/src/Notification.res

@@ -19,7 +19,6 @@ What an occurrence *is*. It is told a recipient, a kind, and a reference; it is
 never told there was an order. That is why the two relays are the only files a
 graft has to be given, and everything else can be handed over whole.
 */
-
 /**
 This trait's own account of itself — see `AddressGeocoding.declaration` for why the
 version is read rather than written.
@@ -64,8 +63,8 @@ module type Binding = {
   let transactional: category
   let optional: category
 
-  module Spec: ReventlessGwt.Behavior_GWT.BehaviorSpec
-  module Behavior: ReventlessGwt.Behavior_GWT.Behavior with module Spec = Spec
+  module Spec: ReventlessGwt.Decision_GWT.DecisionSpec
+  module Decision: ReventlessGwt.Decision_GWT.Decision with module Spec = Spec
 
   /** The same facts as the slice **consumes** them, for building history.
 
@@ -120,12 +119,7 @@ module type Binding = {
   /** `requested` as it comes out for a `Configured` request. A separate member
       because *which* rule asked is the host's own shape — the trait's fact
       carries no origin at all, so it cannot construct this one. */
-  let requestedConfigured: (
-    category,
-    string,
-    Notification_Rules.channel,
-    string,
-  ) => Spec.event
+  let requestedConfigured: (category, string, Notification_Rules.channel, string) => Spec.event
 
   /** The refusal for managing preferences for somebody nobody has announced. */
   let recipientUnknown: Spec.error

package/src/Notification_Conformance.res

@@ -6,7 +6,6 @@ What it asserts is the competency, not the host: the directory, the fallback to
 the host's posture, and — the part worth being strict about — that the three ways
 to send nothing stay three different facts.
 */
-
 /** The suite's title, composed once and read twice: the suite registers it,
     and `certify-trait` computes the same string to find the run's assertions in
     a test report. Exported rather than inlined so neither side parses the
@@ -14,7 +13,7 @@ to send nothing stay three different facts.
 let suiteName = (host: string) => `${host} conforms to the notification trait`
 
 module Make = (B: Notification.Binding) => {
-  module G = ReventlessGwt.Behavior_GWT.Make(B.Spec, B.Behavior)
+  module G = ReventlessGwt.Decision_GWT.Make(B.Spec, B.Decision)
   module R = Notification_Rules
 
   let announced = Array.concat(B.Consumed.created, [B.Consumed.announced(B.addressA)])
@@ -22,9 +21,9 @@ module Make = (B: Notification.Binding) => {
   let register = () =>
     G.describe(suiteName(B.Spec.name), () => {
       G.test("an announced contact is recorded", () =>
-        G.givenEvents(B.Consumed.created)->G.whenCmd(B.announce(B.addressA))->G.thenEvent(
-          B.announced(B.addressA),
-        )
+        G.givenEvents(B.Consumed.created)
+        ->G.whenCmd(B.announce(B.addressA))
+        ->G.thenEvent(B.announced(B.addressA))
       )
 
       // The relay re-announces on every contact event a host publishes, and its
@@ -36,9 +35,9 @@ module Make = (B: Notification.Binding) => {
       )
 
       G.test("a changed address is recorded", () =>
-        G.givenEvents(announced)->G.whenCmd(B.announce(B.addressB))->G.thenEvent(
-          B.announced(B.addressB),
-        )
+        G.givenEvents(announced)
+        ->G.whenCmd(B.announce(B.addressB))
+        ->G.thenEvent(B.announced(B.addressB))
       )
 
       // A person is at the other end of this one, so they are told rather than
@@ -81,9 +80,7 @@ module Make = (B: Notification.Binding) => {
       G.test("a transactional request goes out with no explicit subscription", () =>
         G.givenEvents(announced)
         ->G.whenCmd(B.request(B.transactional, "ref-1"))
-        ->G.thenEvent(
-          B.requested(B.transactional, "ref-1", B.announcedChannel, B.addressA),
-        )
+        ->G.thenEvent(B.requested(B.transactional, "ref-1", B.announcedChannel, B.addressA))
       )
 
       G.test("the address on the request is the one currently on file", () =>
@@ -129,7 +126,9 @@ module Make = (B: Notification.Binding) => {
       )
 
       G.test("a default request for a claimed source is deferred", () =>
-        G.givenEvents(Array.concat(announced, [B.Consumed.claimed("other:Source", "second-producer")]))
+        G.givenEvents(
+          Array.concat(announced, [B.Consumed.claimed("other:Source", "second-producer")]),
+        )
         ->G.whenCmd(
           B.requestFrom(B.transactional, "ref-7", ~source="other:Source", ~origin=Default),
         )
@@ -140,7 +139,9 @@ module Make = (B: Notification.Binding) => {
       // keeps firing everywhere it was not taken over. Without this, a single
       // claim would silence the whole competency.
       G.test("a claim on one source leaves every other source alone", () =>
-        G.givenEvents(Array.concat(announced, [B.Consumed.claimed("other:Source", "second-producer")]))
+        G.givenEvents(
+          Array.concat(announced, [B.Consumed.claimed("other:Source", "second-producer")]),
+        )
         ->G.whenCmd(
           B.requestFrom(B.transactional, "ref-8", ~source=B.defaultSource, ~origin=Default),
         )
@@ -150,7 +151,9 @@ module Make = (B: Notification.Binding) => {
       // The producer that owns the source is the one that must get through, or
       // the handover would silence the entry rather than move it.
       G.test("a configured request for a claimed source goes through", () =>
-        G.givenEvents(Array.concat(announced, [B.Consumed.claimed("other:Source", "second-producer")]))
+        G.givenEvents(
+          Array.concat(announced, [B.Consumed.claimed("other:Source", "second-producer")]),
+        )
         ->G.whenCmd(
           B.requestFrom(B.transactional, "ref-9", ~source="other:Source", ~origin=Configured),
         )
@@ -163,7 +166,10 @@ module Make = (B: Notification.Binding) => {
         G.givenEvents(
           Array.concat(
             announced,
-            [B.Consumed.claimed("other:Source", "second-producer"), B.Consumed.released("other:Source")],
+            [
+              B.Consumed.claimed("other:Source", "second-producer"),
+              B.Consumed.released("other:Source"),
+            ],
           ),
         )
         ->G.whenCmd(

package/src/Notification_Conformance.res.mjs

@@ -1,14 +1,14 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Decision_GWT.res.mjs";
 
 function suiteName(host) {
   return host + ` conforms to the notification trait`;
 }
 
 function Make(B) {
-  let $$let = B.Behavior;
-  let G = Behavior_GWT$ReventlessGwt.Make(B.Spec)({
+  let $$let = B.Decision;
+  let G = Decision_GWT$ReventlessGwt.Make(B.Spec)({
     initialState: $$let.initialState,
     evolve: $$let.evolve,
     decide: $$let.decide
@@ -56,4 +56,4 @@ export {
   suiteName,
   Make,
 }
-/* Behavior_GWT-ReventlessGwt Not a pure module */
+/* Decision_GWT-ReventlessGwt Not a pure module */

package/src/Notification_Rule.res

@@ -9,7 +9,6 @@ surface. It is also why the wording is `Reventless.Template` source: readable
 text rather than ReScript interpolation, rendered against the payload's schema so
 a semantic formats itself and a `@sensitive` field is withheld.
 */
-
 /** How a field is compared. */
 @schema
 type comparison =
@@ -165,8 +164,7 @@ let recipientOf = (rule: t, ~payload: JSON.t) => stringAt(payload, rule.recipien
 
 /** What it is about. Empty is legal — a notification about nothing in particular
     is a real case, and a fabricated subject is worse than an absent one. */
-let subjectOf = (rule: t, ~payload: JSON.t) =>
-  stringAt(payload, rule.subjectPath)->Option.getOr("")
+let subjectOf = (rule: t, ~payload: JSON.t) => stringAt(payload, rule.subjectPath)->Option.getOr("")
 
 /** The wording to use, the asked-for locale if the rule has it and the first
     otherwise. Which locale to ask for is the caller's — nothing here knows who
@@ -191,10 +189,7 @@ let render = (source: string, ~payload: JSON.t, ~schema: S.t<'a>) =>
 let compose = (rule: t, ~payload: JSON.t, ~schema: S.t<'a>, ~locale: option<string>=?) =>
   switch contentFor(rule, ~locale?) {
   | None => ("", "")
-  | Some({subject, body}) => (
-      render(subject, ~payload, ~schema),
-      render(body, ~payload, ~schema),
-    )
+  | Some({subject, body}) => (render(subject, ~payload, ~schema), render(body, ~payload, ~schema))
   }
 
 /**
@@ -221,11 +216,12 @@ let validate = (rules: array<t>, ~digestRouted: bool=false, ~sample: JSON.t): ar
       note("no wording at all")
     }
     rule.content->Array.forEach(({locale, subject, body}) =>
-      [("subject", subject), ("body", body)]->Array.forEach(((which, template)) =>
-        switch Reventless.Template.parse(template) {
-        | Ok(_) => ()
-        | Error(why) => note(`${locale} ${which} does not parse — ${why}`)
-        }
+      [("subject", subject), ("body", body)]->Array.forEach(
+        ((which, template)) =>
+          switch Reventless.Template.parse(template) {
+          | Ok(_) => ()
+          | Error(why) => note(`${locale} ${which} does not parse — ${why}`)
+          },
       )
     )
     if recipientOf(rule, ~payload=sample) == None {

package/src/Notification_Rule.res.mjs

@@ -23,11 +23,11 @@ let literalSchema = Sury.union([
   })),
   Sury.$schema(s => ({
     TAG: "Number",
-    _0: s.m(Sury.float)
+    _0: s.m(Sury.number)
   })),
   Sury.$schema(s => ({
     TAG: "Flag",
-    _0: s.m(Sury.bool)
+    _0: s.m(Sury.boolean)
   }))
 ]);
 
@@ -68,7 +68,7 @@ let deliverySchema = Sury.union([
   Sury.literal("Immediate"),
   Sury.$schema(s => ({
     TAG: "Digest",
-    windowSeconds: s.m(Sury.int)
+    windowSeconds: s.m(Sury.int32)
   }))
 ]);
 

package/src/Notification_Rules.res

@@ -17,7 +17,6 @@ is the opposite. So the fallback *rule* lives here — an absent choice defers t
 the posture — and the *table* is passed in as `~posture`. A trait that hard-coded
 either answer would be wrong for half its hosts.
 */
-
 /** How a recipient is reached. Mirrors `Reventless.Messaging.channel`, which is
     the platform capability's vocabulary; this one is the domain's, so it carries
     a host's schema and travels on the wire. `Notification_Send` maps the two. */
@@ -72,22 +71,22 @@ let claimedBy = (t, source) =>
 
 /** What a host asks the competency to do. */
 type op =
-  | /** Relayed from whatever the host publishes when it learns where somebody is.
+  /** Relayed from whatever the host publishes when it learns where somebody is.
         Not a client's command: a caller who could announce another person's
         address would be redirecting their mail. */
-  Announce({channel: channel, address: string})
+  | Announce({channel: channel, address: string})
   | Subscribe({category: category, channel: channel})
   | Unsubscribe({category: category, channel: channel})
-  | /** Something worth telling them about happened. `reference` is the caller's
+  /** Something worth telling them about happened. `reference` is the caller's
         own key for it, echoed back on whichever outcome follows, so the relay
         that asked can tell its work is finished. Opaque here on purpose.
 
         `source` says which stream it came from and `origin` says who is asking;
         together they are the whole of the handover — see `decide`. */
-  Request({category: category, reference: string, source: source, origin: origin})
-  | /** A second producer takes over one source. Relayed like `Announce`: a
+  | Request({category: category, reference: string, source: source, origin: origin})
+  /** A second producer takes over one source. Relayed like `Announce`: a
         client that could claim a source would be silencing somebody else's mail. */
-  Claim({source: source, by: string})
+  | Claim({source: source, by: string})
   | Release({source: source})
 
 /** What the competency decided, for the host to name in its own events. */
@@ -95,18 +94,18 @@ type fact =
   | Announced({channel: channel, address: string})
   | Subscribed({category: category, channel: channel})
   | Unsubscribed({category: category, channel: channel})
-  | /** The addressed message. `address` is the snapshot delivery uses, which is
+  /** The addressed message. `address` is the snapshot delivery uses, which is
         why it is on the fact and not looked up again later. */
-  Requested({category: category, reference: string, channel: channel, address: string})
-  | /** They are reachable and said no. */
-  Suppressed({category: category, reference: string})
-  | /** They want it and nobody can be reached — no address on file for any
+  | Requested({category: category, reference: string, channel: channel, address: string})
+  /** They are reachable and said no. */
+  | Suppressed({category: category, reference: string})
+  /** They want it and nobody can be reached — no address on file for any
         channel they left enabled. A different fact from `Suppressed` on purpose:
         one is the system working and the other is the system falling short, and
         reporting both the same way hides every delivery gap behind a legitimate
         preference. */
-  Undeliverable({category: category, reference: string})
-  | /** Not acted on because another producer owns this source. A third way of
+  | Undeliverable({category: category, reference: string})
+  /** Not acted on because another producer owns this source. A third way of
         not sending, and its own fact for the same reason `Suppressed` and
         `Undeliverable` are two rather than one: "they declined", "nobody was
         reachable" and "somebody else has this" are three different things, and a
@@ -116,7 +115,7 @@ type fact =
         TODO row on an outcome; without a fourth one a deferred request retries
         its whole budget and lands in `onExhausted`, which is a slow silent
         failure with nothing in the log to explain it. */
-  Deferred({reference: string, source: source})
+  | Deferred({reference: string, source: source})
   | Claimed({source: source, by: string})
   | Released({source: source})
 
@@ -223,15 +222,14 @@ let decide = (t, op, ~posture: (category, channel) => bool): result<
 
   | Request({category, reference}) =>
     let wanted = channels->Array.filter(channel => enabled(t, ~posture, category, channel))
-    let addressed =
-      wanted->Array.filterMap(channel =>
-        addressFor(t, channel)->Option.map(address => Requested({
-          category,
-          reference,
-          channel,
-          address,
-        }))
-      )
+    let addressed = wanted->Array.filterMap(channel =>
+      addressFor(t, channel)->Option.map(address => Requested({
+        category,
+        reference,
+        channel,
+        address,
+      }))
+    )
     switch addressed {
     | [] =>
       // Wanted-but-unreachable and not-wanted are the two ways to send nothing,

package/src/Notification_Scaffold.res

@@ -15,7 +15,6 @@ is the one thing a trait cannot be told in names.
 says is the host's sentence, so the emitted rule table carries a `TODO(graft)`
 marker in place of one — it compiles, runs, and is obvious in a diff.
 */
-
 /**
 The names a graft needs, and nothing else.
 
@@ -137,8 +136,8 @@ let namesOf = (c: config): names => {
     delivered: "NotificationDelivered",
     failed: "NotificationFailed",
     unknownError: n ++ "Unknown",
-    recipientId: (n->String.slice(~start=0, ~end=1))->String.toLowerCase ++
-      n->String.slice(~start=1, ~end=n->String.length) ++ "Id",
+    recipientId: n->String.slice(~start=0, ~end=1)->String.toLowerCase ++
+    n->String.slice(~start=1, ~end=n->String.length) ++ "Id",
   }
 }
 
@@ -154,13 +153,14 @@ let addressB = (c: config) => c.addressB->Option.getOr("new@example.com")
     graft, so a host whose component is registered under another name edits one
     line rather than discovering the convention. */
 let subjectTypeOf = (c: config) => {
-  let stem = c.occurrenceId->String.endsWith("Id")
-    ? c.occurrenceId->String.slice(~start=0, ~end=c.occurrenceId->String.length - 2)
-    : c.occurrenceId
+  let stem =
+    c.occurrenceId->String.endsWith("Id")
+      ? c.occurrenceId->String.slice(~start=0, ~end=c.occurrenceId->String.length - 2)
+      : c.occurrenceId
   switch stem {
   | "" => "Subject"
   | s =>
-    (s->String.slice(~start=0, ~end=1))->String.toUpperCase ++
+    s->String.slice(~start=0, ~end=1)->String.toUpperCase ++
       s->String.slice(~start=1, ~end=s->String.length)
   }
 }
@@ -349,7 +349,7 @@ let postureArms = (c: config) => {
   Array.concat(transactional, [`  | _ => false`])
 }
 
-let sliceBehavior = (c: config): string => {
+let sliceDecision = (c: config): string => {
   let n = namesOf(c)
   let id = n.recipientId
   let first = c.categories->Array.get(0)->Option.getOr("Transactional")
@@ -357,7 +357,7 @@ let sliceBehavior = (c: config): string => {
     Array.flatMap(
       [
         [
-          `@@reventless.behavior`,
+          `@@reventless.decision`,
           ``,
           `// The directory, the matrix and the dispatch decision are the trait's; this file`,
           `// is the mapping onto them, plus the one thing the trait has no opinion about —`,
@@ -373,19 +373,9 @@ let sliceBehavior = (c: config): string => {
           `  switch (category, channel) {`,
         ],
         postureArms(c),
-        [
-          `  }`,
-          ``,
-          `let categoryKey = (category: category) =>`,
-          `  switch category {`,
-        ],
+        [`  }`, ``, `let categoryKey = (category: category) =>`, `  switch category {`],
         c.categories->Array.map(cat => `  | ${cat} => "${cat}"`),
-        [
-          `  }`,
-          ``,
-          `let categoryOf = (key: string) =>`,
-          `  switch key {`,
-        ],
+        [`  }`, ``, `let categoryOf = (key: string) =>`, `  switch key {`],
         c.categories
         ->Array.filter(cat => cat != first)
         ->Array.map(cat => `  | "${cat}" => ${cat}`),
@@ -632,10 +622,10 @@ let claimsSpec = (c: config): string => {
   ])
 }
 
-let claimsBehavior = (c: config): string => {
+let claimsDecision = (c: config): string => {
   let n = namesOf(c)
   lines([
-    `@@reventless.behavior`,
+    `@@reventless.decision`,
     ``,
     `// The claim set is the trait's, folded through the same value the preferences`,
     `// slice folds. Only the claim half is ever populated here.`,
@@ -725,7 +715,6 @@ let sendSpec = (c: config): string => {
     `// Retries are for a provider that is down, not one that has refused. The port's`,
     `// own \`retriable\` rule decides which is which, in the translation next door.`,
     `let maxRetries = 3`,
-    `let heartbeatInterval = 60`,
     `let targetName = Some("${n.slice}")`,
     ``,
     `// This plugin's own DCB event log.`,
@@ -773,13 +762,20 @@ let sendTranslation = (c: config): string => {
     `    item.address`,
     `    ->Reventless.Phone.fromString`,
     `    ->Result.map(phone => Reventless.Messaging.ToSms(phone))`,
-    `  | Push => Ok(Reventless.Messaging.ToPush({deviceToken: item.address}))`,
+    `  // The directory stores a channel beside one flat address, and no push address is`,
+    `  // one string: two services issue a token, Web Push issues an endpoint with its`,
+    `  // encryption keys, and which service issued this one is not recorded either. So`,
+    `  // the pair cannot be re-fused, and refusing says so once rather than guessing a`,
+    `  // service and failing at whichever provider. A push transport arrives with the`,
+    `  // stored shape it needs, in the commit that justifies the columns.`,
+    `  | Push =>`,
+    `    Error("a push address names its issuing service, and the directory stores one flat address")`,
     `  }`,
     ``,
     `let translate = async (_id, item: outboundItem, ~capabilities: Reventless.Capabilities.t) =>`,
     `  switch recipientFor(item) {`,
-    `  // An address the directory holds that its own channel's grammar refuses. Not`,
-    `  // retryable and not the provider's fault — the row that holds it needs fixing.`,
+    `  // An address the directory holds that its own channel cannot use. Not retryable`,
+    `  // and not the provider's fault — the row that holds it needs fixing.`,
     `  | Error(why) =>`,
     `    Ok(`,
     `      Some((`,
@@ -865,7 +861,7 @@ let conformanceBinding = (c: config): string => {
     `  let optional: category = ${optional}`,
     ``,
     `  module Spec = ${n.slice}`,
-    `  module Behavior = ${n.slice}_Behavior`,
+    `  module Decision = ${n.slice}_Decision`,
     ``,
     `  let ${id} = "${c.noun->String.toLowerCase}-1"`,
     ``,
@@ -879,9 +875,9 @@ let conformanceBinding = (c: config): string => {
     `    let announced = (${c.contactField}): Spec.consumedEvent =>`,
     `      ${n.announced}({${id}: ${id}, ${c.contactField}: ${c.contactField}})`,
     `    let subscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ${n.subscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `      ${n.subscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `    let unsubscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ${n.unsubscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `      ${n.unsubscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `    // Written by ${n.claims} and read here across partitions — this slice`,
     `    // consumes them and produces neither.`,
     `    let claimed = (source, by): Spec.consumedEvent =>`,
@@ -892,9 +888,9 @@ let conformanceBinding = (c: config): string => {
     `  let announce = ${c.contactField} =>`,
     `    Spec.${n.announceCmd}({${id}: ${id}, ${c.contactField}: ${c.contactField}})`,
     `  let subscribe = (category, channel) =>`,
-    `    Spec.${n.subscribeCmd}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.subscribeCmd}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribe = (category, channel) =>`,
-    `    Spec.${n.unsubscribeCmd}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.unsubscribeCmd}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  // The wording and the subject are this host's and the trait carries neither, so`,
     `  // the suite supplies whatever it likes and asserts nothing about them.`,
     `  //`,
@@ -924,15 +920,15 @@ let conformanceBinding = (c: config): string => {
     `  let announced = ${c.contactField} =>`,
     `    Spec.${n.announced}({${id}: ${id}, ${c.contactField}: ${c.contactField}})`,
     `  let subscribed = (category, channel) =>`,
-    `    Spec.${n.subscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.subscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribed = (category, channel) =>`,
-    `    Spec.${n.unsubscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.unsubscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  let requestedWith = (category, reference, channel, address, origin) =>`,
     `    Spec.${n.requested}({`,
     `      ${id}: ${id},`,
     `      category,`,
     `      reference,`,
-    `      channel: Behavior.channelOf(channel),`,
+    `      channel: Decision.channelOf(channel),`,
     `      address,`,
     `      subjectType: "${subjectTypeOf(c)}",`,
     `      subjectRef: "subject-1",`,
@@ -1005,7 +1001,7 @@ let contactRelayPatch = (c: config): patch => {
   let n = namesOf(c)
   let id = n.recipientId
   {
-    into: `${c.chapter}/OutboundTranslationSlice/${n.relay}.res (new, plus its _Translation)`,
+    into: `${c.chapter}/OutboundTranslation/${n.relay}.res (new, plus its _Translation)`,
     at: `a new file — the trait cannot write what this host's events mean`,
     contents: lines(
       Array.flatMap(
@@ -1038,7 +1034,6 @@ let contactRelayPatch = (c: config): patch => {
             `  | ${n.announceCmd}({${id}: string, ${c.contactField}: string})`,
             ``,
             `let maxRetries = 3`,
-            `let heartbeatInterval = 60`,
             `let targetName = Some("${n.slice}")`,
             `let sourceNames = ["${c.contactSource}"]`,
             `// No external box: this slice reaches nothing outside the plugin.`,
@@ -1085,7 +1080,7 @@ let intakeRelayPatch = (c: config): patch => {
   let n = namesOf(c)
   let id = n.recipientId
   {
-    into: `${c.chapter}/AutomationSlice/${n.intake}.res (new, plus its _Automation)`,
+    into: `${c.chapter}/Automation/${n.intake}.res (new, plus its _Automation)`,
     at: `a new file — the wording is this host's sentence, not the trait's`,
     contents: lines([
       `// Turns one of this host's occurrences into a request to notify somebody.`,
@@ -1116,7 +1111,6 @@ let intakeRelayPatch = (c: config): patch => {
       `  })`,
       ``,
       `let maxRetries = 3`,
-      `let heartbeatInterval = 60`,
       `let targetName = "${n.slice}"`,
       ``,
       `// ── ${n.intake}_Automation.res ──`,
@@ -1230,7 +1224,7 @@ let intakeRelayPatch = (c: config): patch => {
       `        ${id},`,
       `        ${n.intake}.${n.requestCmd}({`,
       `          ${id}: ${id},`,
-      `          category: ${n.slice}_Behavior.categoryOf(rule.category),`,
+      `          category: ${n.slice}_Decision.categoryOf(rule.category),`,
       `          reference: id,`,
       `          subjectType: rule.subjectType,`,
       `          subjectRef: Rule.subjectOf(rule, ~payload),`,
@@ -1266,16 +1260,16 @@ let emit = (~config: config, ~into: string, ~tests: string): output => {
   let n = namesOf(config)
   {
     files: [
-      {path: `${into}/StateChangeSlice/${n.slice}.res`, contents: sliceSpec(config)},
-      {path: `${into}/StateChangeSlice/${n.slice}_Behavior.res`, contents: sliceBehavior(config)},
-      {path: `${into}/StateChangeSlice/${n.claims}.res`, contents: claimsSpec(config)},
+      {path: `${into}/StateChange/${n.slice}.res`, contents: sliceSpec(config)},
+      {path: `${into}/StateChange/${n.slice}_Decision.res`, contents: sliceDecision(config)},
+      {path: `${into}/StateChange/${n.claims}.res`, contents: claimsSpec(config)},
       {
-        path: `${into}/StateChangeSlice/${n.claims}_Behavior.res`,
-        contents: claimsBehavior(config),
+        path: `${into}/StateChange/${n.claims}_Decision.res`,
+        contents: claimsDecision(config),
       },
-      {path: `${into}/OutboundTranslationSlice/${n.send}.res`, contents: sendSpec(config)},
+      {path: `${into}/OutboundTranslation/${n.send}.res`, contents: sendSpec(config)},
       {
-        path: `${into}/OutboundTranslationSlice/${n.send}_Translation.res`,
+        path: `${into}/OutboundTranslation/${n.send}_Translation.res`,
         contents: sendTranslation(config),
       },
       {path: `${tests}/NotificationConformance_GWT.res`, contents: conformanceBinding(config)},

package/src/Notification_Scaffold.res.mjs

@@ -254,13 +254,13 @@ function postureArms(c) {
   return transactional.concat([`  | _ => false`]);
 }
 
-function sliceBehavior(c) {
+function sliceDecision(c) {
   let n = namesOf(c);
   let id = n.recipientId;
   let first = Stdlib_Option.getOr(c.categories[0], "Transactional");
   return [
     [
-      `@@reventless.behavior`,
+      `@@reventless.decision`,
       ``,
       `// The directory, the matrix and the dispatch decision are the trait's; this file`,
       `// is the mapping onto them, plus the one thing the trait has no opinion about —`,
@@ -521,10 +521,10 @@ function claimsSpec(c) {
   ].join("\n");
 }
 
-function claimsBehavior(c) {
+function claimsDecision(c) {
   let n = namesOf(c);
   return [
-    `@@reventless.behavior`,
+    `@@reventless.decision`,
     ``,
     `// The claim set is the trait's, folded through the same value the preferences`,
     `// slice folds. Only the claim half is ever populated here.`,
@@ -612,7 +612,6 @@ function sendSpec(c) {
     `// Retries are for a provider that is down, not one that has refused. The port's`,
     `// own \`retriable\` rule decides which is which, in the translation next door.`,
     `let maxRetries = 3`,
-    `let heartbeatInterval = 60`,
     `let targetName = Some("` + n.slice + `")`,
     ``,
     `// This plugin's own DCB event log.`,
@@ -660,13 +659,20 @@ function sendTranslation(c) {
     `    item.address`,
     `    ->Reventless.Phone.fromString`,
     `    ->Result.map(phone => Reventless.Messaging.ToSms(phone))`,
-    `  | Push => Ok(Reventless.Messaging.ToPush({deviceToken: item.address}))`,
+    `  // The directory stores a channel beside one flat address, and no push address is`,
+    `  // one string: two services issue a token, Web Push issues an endpoint with its`,
+    `  // encryption keys, and which service issued this one is not recorded either. So`,
+    `  // the pair cannot be re-fused, and refusing says so once rather than guessing a`,
+    `  // service and failing at whichever provider. A push transport arrives with the`,
+    `  // stored shape it needs, in the commit that justifies the columns.`,
+    `  | Push =>`,
+    `    Error("a push address names its issuing service, and the directory stores one flat address")`,
     `  }`,
     ``,
     `let translate = async (_id, item: outboundItem, ~capabilities: Reventless.Capabilities.t) =>`,
     `  switch recipientFor(item) {`,
-    `  // An address the directory holds that its own channel's grammar refuses. Not`,
-    `  // retryable and not the provider's fault — the row that holds it needs fixing.`,
+    `  // An address the directory holds that its own channel cannot use. Not retryable`,
+    `  // and not the provider's fault — the row that holds it needs fixing.`,
     `  | Error(why) =>`,
     `    Ok(`,
     `      Some((`,
@@ -747,7 +753,7 @@ function conformanceBinding(c) {
     `  let optional: category = ` + optional,
     ``,
     `  module Spec = ` + n.slice,
-    `  module Behavior = ` + n.slice + `_Behavior`,
+    `  module Decision = ` + n.slice + `_Decision`,
     ``,
     `  let ` + id + ` = "` + c.noun.toLowerCase() + `-1"`,
     ``,
@@ -761,9 +767,9 @@ function conformanceBinding(c) {
     `    let announced = (` + c.contactField + `): Spec.consumedEvent =>`,
     `      ` + n.announced + `({` + id + `: ` + id + `, ` + c.contactField + `: ` + c.contactField + `})`,
     `    let subscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `      ` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `    let unsubscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `      ` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `    // Written by ` + n.claims + ` and read here across partitions — this slice`,
     `    // consumes them and produces neither.`,
     `    let claimed = (source, by): Spec.consumedEvent =>`,
@@ -774,9 +780,9 @@ function conformanceBinding(c) {
     `  let announce = ` + c.contactField + ` =>`,
     `    Spec.` + n.announceCmd + `({` + id + `: ` + id + `, ` + c.contactField + `: ` + c.contactField + `})`,
     `  let subscribe = (category, channel) =>`,
-    `    Spec.` + n.subscribeCmd + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.subscribeCmd + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribe = (category, channel) =>`,
-    `    Spec.` + n.unsubscribeCmd + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.unsubscribeCmd + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  // The wording and the subject are this host's and the trait carries neither, so`,
     `  // the suite supplies whatever it likes and asserts nothing about them.`,
     `  //`,
@@ -806,15 +812,15 @@ function conformanceBinding(c) {
     `  let announced = ` + c.contactField + ` =>`,
     `    Spec.` + n.announced + `({` + id + `: ` + id + `, ` + c.contactField + `: ` + c.contactField + `})`,
     `  let subscribed = (category, channel) =>`,
-    `    Spec.` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribed = (category, channel) =>`,
-    `    Spec.` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  let requestedWith = (category, reference, channel, address, origin) =>`,
     `    Spec.` + n.requested + `({`,
     `      ` + id + `: ` + id + `,`,
     `      category,`,
     `      reference,`,
-    `      channel: Behavior.channelOf(channel),`,
+    `      channel: Decision.channelOf(channel),`,
     `      address,`,
     `      subjectType: "` + subjectTypeOf(c) + `",`,
     `      subjectRef: "subject-1",`,
@@ -879,7 +885,7 @@ function contactRelayPatch(c) {
   let n = namesOf(c);
   let id = n.recipientId;
   return {
-    into: c.chapter + `/OutboundTranslationSlice/` + n.relay + `.res (new, plus its _Translation)`,
+    into: c.chapter + `/OutboundTranslation/` + n.relay + `.res (new, plus its _Translation)`,
     at: `a new file — the trait cannot write what this host's events mean`,
     contents: [
       [
@@ -910,7 +916,6 @@ function contactRelayPatch(c) {
         `  | ` + n.announceCmd + `({` + id + `: string, ` + c.contactField + `: string})`,
         ``,
         `let maxRetries = 3`,
-        `let heartbeatInterval = 60`,
         `let targetName = Some("` + n.slice + `")`,
         `let sourceNames = ["` + c.contactSource + `"]`,
         `// No external box: this slice reaches nothing outside the plugin.`,
@@ -952,7 +957,7 @@ function intakeRelayPatch(c) {
   let n = namesOf(c);
   let id = n.recipientId;
   return {
-    into: c.chapter + `/AutomationSlice/` + n.intake + `.res (new, plus its _Automation)`,
+    into: c.chapter + `/Automation/` + n.intake + `.res (new, plus its _Automation)`,
     at: `a new file — the wording is this host's sentence, not the trait's`,
     contents: [
       `// Turns one of this host's occurrences into a request to notify somebody.`,
@@ -983,7 +988,6 @@ function intakeRelayPatch(c) {
       `  })`,
       ``,
       `let maxRetries = 3`,
-      `let heartbeatInterval = 60`,
       `let targetName = "` + n.slice + `"`,
       ``,
       `// ── ` + n.intake + `_Automation.res ──`,
@@ -1097,7 +1101,7 @@ function intakeRelayPatch(c) {
       `        ` + id + `,`,
       `        ` + n.intake + `.` + n.requestCmd + `({`,
       `          ` + id + `: ` + id + `,`,
-      `          category: ` + n.slice + `_Behavior.categoryOf(rule.category),`,
+      `          category: ` + n.slice + `_Decision.categoryOf(rule.category),`,
       `          reference: id,`,
       `          subjectType: rule.subjectType,`,
       `          subjectRef: Rule.subjectOf(rule, ~payload),`,
@@ -1128,27 +1132,27 @@ function emit(config, into, tests) {
   return {
     files: [
       {
-        path: into + `/StateChangeSlice/` + n.slice + `.res`,
+        path: into + `/StateChange/` + n.slice + `.res`,
         contents: sliceSpec(config)
       },
       {
-        path: into + `/StateChangeSlice/` + n.slice + `_Behavior.res`,
-        contents: sliceBehavior(config)
+        path: into + `/StateChange/` + n.slice + `_Decision.res`,
+        contents: sliceDecision(config)
       },
       {
-        path: into + `/StateChangeSlice/` + n.claims + `.res`,
+        path: into + `/StateChange/` + n.claims + `.res`,
         contents: claimsSpec(config)
       },
       {
-        path: into + `/StateChangeSlice/` + n.claims + `_Behavior.res`,
-        contents: claimsBehavior(config)
+        path: into + `/StateChange/` + n.claims + `_Decision.res`,
+        contents: claimsDecision(config)
       },
       {
-        path: into + `/OutboundTranslationSlice/` + n.send + `.res`,
+        path: into + `/OutboundTranslation/` + n.send + `.res`,
         contents: sendSpec(config)
       },
       {
-        path: into + `/OutboundTranslationSlice/` + n.send + `_Translation.res`,
+        path: into + `/OutboundTranslation/` + n.send + `_Translation.res`,
         contents: sendTranslation(config)
       },
       {
@@ -1174,9 +1178,9 @@ export {
   categoryArms,
   sliceSpec,
   postureArms,
-  sliceBehavior,
+  sliceDecision,
   claimsSpec,
-  claimsBehavior,
+  claimsDecision,
   sendSpec,
   sendTranslation,
   conformanceBinding,