hecks 5.0.0 → 7.0.0

data/lib/hecks/kernel_capabilities/templates.rb

@@ -15,7 +15,7 @@ module Hecks
 
         /// One variant per real %<kind>s the Ruby
         /// grammar admits, in the order %<doc_line>s declares them. Every match
-        /// over this enum in the kernel (rust/src/kernel/expr.rs) is written
+        /// over this enum in the kernel (rust/expr/src/expr.rs) is written
         /// WITHOUT a wildcard `_ =>` arm — see expr.rs's own header for why:
         /// a wildcard here would let a newly-admitted capability compile
         /// silently into a router that never calls the new file this same
@@ -26,7 +26,7 @@ module Hecks
         }
 
         impl %<enum_name>s {
-            /// The `rust/src/kernel/%<directory>s/<name>.rs` file this
+            /// The `rust/expr/src/%<directory>s/<name>.rs` file this
             /// variant names — `hecks measure_kernel_coverage`'s own existence
             /// check reads this, so the file-name spelling here is the ONE
             /// place that ever needs to change if a name is renamed.
@@ -85,7 +85,8 @@ module Hecks
       # @param name [String, Symbol] a snake_case capability name
       # @return [String] the PascalCase Rust variant
       def pascal(name)
-        name.to_s.split("_").map { |part| part[0].upcase + part[1..] }.join
+        parts = name.to_s.split("_")
+        parts.map { |part| part[0].upcase + part[1..] }.join
       end
     end
   end

data/lib/hecks/kernel_capabilities.rb

@@ -7,8 +7,8 @@ module Hecks
   # The capability enums the hand-written Rust kernel is matched against, and the check that every
   # capability the Ruby grammar admits has its hand-written file.
   #
-  # The `pub mod` roster and the enum of `rust/src/kernel/attribute_shapes/mod.rs` and
-  # `rust/src/kernel/expression_operators/mod.rs` are generated; the `<name>.rs` files beside them
+  # The `pub mod` roster and the enum of `rust/expr/src/attribute_shapes/mod.rs` and
+  # `rust/expr/src/expression_operators/mod.rs` are generated; the `<name>.rs` files beside them
   # are hand-written, so a grammar change can leave a `pub mod` naming a file nobody has written.
   # Ground truth is `Coercion::SHAPES` and `Grammar.admitted_operators`, never a copied list.
   # Query comparators are one flat hand-maintained file with no per-variant files to check.
@@ -37,7 +37,7 @@ module Hecks
       require "hecks"
       require "hecks/grammar"
       require "hecks/runtime/value/coercion"
-      kernel = File.join(root, "rust/src/kernel")
+      kernel = File.join(root, "rust/expr/src")
       content = {
         File.join(kernel, "attribute_shapes/mod.rs")     => shapes_module,
         File.join(kernel, "expression_operators/mod.rs") => operators_module
@@ -100,7 +100,7 @@ module Hecks
     # @return [String] the clean verdict
     def coverage_verdict(count)
       "#{count}/#{count} kernel capability files present — every attribute shape and " \
-        "expression-operator category the live Ruby grammar admits has a rust/src/kernel/ file " \
+        "expression-operator category the live Ruby grammar admits has a rust/expr/src/ file " \
         "at its conventional path."
     end
 
@@ -113,13 +113,13 @@ module Hecks
     end
 
     # @param root [String] the checkout
-    # @param category_dir [String] the directory below `rust/src/kernel/`
+    # @param category_dir [String] the directory below `rust/expr/src/`
     # @param names [Array<String>] the capabilities to look for
     # @param source [String] where they are declared
     # @return [Array<Row>] a row for each
     def check(root, category_dir, names, source)
       names.map do |name|
-        path = File.join(root, "rust/src/kernel", category_dir, "#{name}.rs")
+        path = File.join(root, "rust/expr/src", category_dir, "#{name}.rs")
         Row.new(name, path, File.file?(path), source)
       end
     end

data/lib/hecks/language/adapter.bluebook

@@ -10,6 +10,17 @@ Hecks.bluebook "Adapter" do
     attribute :port,    AdapterPortName
     attribute :fields,  list_of(AdapterField)
     attribute :secrets, list_of(AdapterField)
+    attribute :answers, list_of(AnsweredQuery)
+    attribute :runs,    PluginModule, optional: true
+    # What this adapter can do beyond its port's contract, such as `set_transform`. Absent is
+    # not empty: most adapters provide nothing more.
+    attribute :provides, list_of(AdapterCapability)
+
+    # **A plugin answers named queries** — one that `runs` a wasm module says which queries it
+    # answers, each qualified by bluebook and aggregate, and the runtime binds them to it.
+    invariant("only a plugin answers queries") do
+      answers.unset? || answers.size == 0 || !runs.unset?
+    end
 
     value_object "AdapterName" do
       attribute :value, String
@@ -27,6 +38,21 @@ Hecks.bluebook "Adapter" do
       invariant("a field names itself") { !value.to_s.empty? }
     end
 
+    # A query a plugin answers, written in full: `Calendar::Event.Occurrences`.
+    value_object "AnsweredQuery" do
+      attribute :value, String, matches: :command_ref
+    end
+
+    # A capability an adapter provides, named in snake case: `set_transform`.
+    value_object "AdapterCapability" do
+      attribute :value, String, matches: :snake_name
+    end
+
+    # The wasm module a plugin runs: a file beside its `.adapter`, never a path out of it.
+    value_object "PluginModule" do
+      attribute :value, String, pattern: '^[a-z0-9_-]+\.wasm$'
+    end
+
     # The text of a field's declared default, such as `"data"` or `true`. A `{name}` in a string
     # is filled from the aggregate the adapter is built for, so it names only what the framework
     # can supply.
@@ -41,9 +67,12 @@ Hecks.bluebook "Adapter" do
       attribute :name, AdapterName
       # Optional: an adapter may declare only fields or secrets and never name a port.
       attribute :port, AdapterPortName, optional: true
+      # Optional: only a plugin runs a wasm module.
+      attribute :runs, PluginModule, optional: true
 
       sets :name
       sets :port
+      sets :runs
 
       emits "AdapterDeclared"
     end
@@ -73,6 +102,30 @@ Hecks.bluebook "Adapter" do
       emits "AdapterSecretAdded"
     end
 
+    command "AnswerQuery" do
+      role "Deployment"
+      goal "Name a query this plugin answers, so the runtime binds it without a hecksagon line"
+
+      reference_to Adapter
+      attribute :value, AnsweredQuery
+
+      sets :answers, append: { value: :value }
+
+      emits "AdapterQueryAnswered"
+    end
+
+    command "Provide" do
+      role "Deployment"
+      goal "Name a capability this adapter provides, so the runtime can ask for it before relying on it"
+
+      reference_to Adapter
+      attribute :value, AdapterCapability
+
+      sets :provides, append: { value: :value }
+
+      emits "AdapterCapabilityProvided"
+    end
+
     # Grammar rows for the `adapter` keyword; SyntaxBoot discovers aggregate-local seed tables.
     value_object "KeywordSeed" do
       attribute :word,          String
@@ -90,7 +143,11 @@ Hecks.bluebook "Adapter" do
       member word: "port",            context: "Adapter",   body: "none", inner: "", opens: "", fills: "port"
       member word: "field",           context: "Adapter",   body: "none", inner: "", opens: "", fills: "fields"
       member word: "secret",          context: "Adapter",   body: "none", inner: "", opens: "", fills: "secrets"
+      member word: "answers_query",   context: "Adapter",   body: "none", inner: "", opens: "", fills: "answers"
+      member word: "runs",            context: "Adapter",   body: "none", inner: "", opens: "", fills: "runs"
 
+
+      member word: "provides", context: "Adapter", body: "none", inner: "", opens: "", fills: "provides"
     end
 
     value_object "ArgumentSeed" do
@@ -115,7 +172,11 @@ Hecks.bluebook "Adapter" do
       member keyword: "field",           context: "Adapter", at: "1", named: "", kind: "symbol", required: "true", fills: "fields"
       member keyword: "field",           context: "Adapter", at: "",  named: "default", kind: "literal", required: "false", fills: "default"
       member keyword: "secret",          context: "Adapter", at: "1", named: "", kind: "symbol", required: "true", fills: "secrets"
+      member keyword: "answers_query",   context: "Adapter", at: "1", named: "", kind: "text",   required: "true", fills: "answers"
+      member keyword: "runs",            context: "Adapter", at: "1", named: "", kind: "text",   required: "true", fills: "runs"
+
 
+      member keyword: "provides", context: "Adapter", at: "1", named: "", kind: "text", required: "true", fills: "provides"
     end
   end
 end

data/lib/hecks/language/bluebook/aggregate.bluebook

@@ -1,15 +1,17 @@
 Hecks.bluebook "Bluebook" do
   aggregate "Aggregate" do
-    description "One aggregate inside a chapter — the head a domain's declarations attach to."
+    description "One aggregate inside a bluebook — the head a domain's declarations attach to."
 
     reference_to Bluebook
 
-    # The chapter is part of the identity: two chapters may each declare an `Order`.
+    # The bluebook is part of the identity: two bluebooks may each declare an `Order`.
     identified_by :bluebook, :name
 
     attribute :name,          AggregateName
     attribute :description,   Description
     attribute :provenance,    LiteralText
+    attribute :formerly_known_as, AggregateFormerlyKnownAs, optional: true
+    attribute :created_by, AggregateCreatedBy, optional: true
     # Several paths, because the identity is their join in declared order: a command is named
     # by its aggregate and its own name.
     attribute :identified_by, list_of(IdentityPath)
@@ -29,6 +31,8 @@ Hecks.bluebook "Bluebook" do
     # A field read through a reference and held locally (`projects :name, from: :"ref.field"`).
     # Kept out of `attributes`; see `projected_fields:` in `Aggregate#emits_ir` (ADR 0025).
     attribute :projected_fields, list_of(ProjectedField)
+    # A finding model_check would report, allowed with the reason it is allowed (ADR 0150).
+    attribute :acknowledgements, list_of(Acknowledgement)
 
     value_object "AggregateName" do
       attribute :value, String
@@ -40,6 +44,18 @@ Hecks.bluebook "Bluebook" do
       invariant("a description says something") { !value.to_s.empty? }
     end
 
+    # The aggregate's name before a rename; a rename keeps the old name resolving.
+    value_object "AggregateFormerlyKnownAs" do
+      attribute :value, String
+      invariant("an aggregate's formerly_known_as says something") { !value.to_s.empty? }
+    end
+
+    # The command that creates this aggregate's records, which a missing-record refusal names.
+    value_object "AggregateCreatedBy" do
+      attribute :value, String
+      invariant("an aggregate's created_by says something") { !value.to_s.empty? }
+    end
+
     value_object "IdentityField" do
       attribute :value, String
     end
@@ -96,15 +112,25 @@ Hecks.bluebook "Bluebook" do
       attribute :remote_field, String
     end
 
+    # `finding` names the kind of finding; `reason` is the text that says why it is allowed;
+    # `subject` names the attribute or referenced aggregate a finding reported once per subject is for.
+    value_object "Acknowledgement" do
+      attribute :finding, String
+      attribute :subject, String, optional: true
+      attribute :reason,  String
+    end
+
     command "Declare" do
       role "Language"
-      goal "Open an aggregate inside a chapter"
+      goal "Open an aggregate inside a bluebook"
 
       reference_to Bluebook
       attribute :name,          AggregateName
       attribute :description,   Description, optional: true
       # LiteralText: rides the same `inspect` encoding as `default:`, so it needs no invariant.
       attribute :provenance,    LiteralText, optional: true
+      attribute :formerly_known_as, AggregateFormerlyKnownAs, optional: true
+      attribute :created_by, AggregateCreatedBy, optional: true
 
       attribute :position, Position, optional: true
 
@@ -112,6 +138,8 @@ Hecks.bluebook "Bluebook" do
       sets :name
       sets :description
       sets :provenance
+      sets :formerly_known_as
+      sets :created_by
       sets :position
       emits RootDeclared
     end
@@ -139,7 +167,7 @@ Hecks.bluebook "Bluebook" do
 
     attribute :position, Position
 
-    # The aggregates declared in a chapter; the parent reference is the query.
+    # The aggregates declared in a bluebook; the parent reference is the query.
     query "DeclaredIn" do
       attribute :bluebook, IdentityField
       where(bluebook: :bluebook)
@@ -210,7 +238,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :attributes, append: { name: :name, type: :holds, list: :list, default: :default, optional: :optional, pattern: :pattern, admits: :admits, relationship: :relationship }
 
-      emits PieceHeld
+      emits PieceOptionDeclared
     end
 
     # The only rule that refuses an unnamed attribute. A `given` beside it could never fire:
@@ -332,8 +360,24 @@ Hecks.bluebook "Bluebook" do
       emits PreconditionAttached
     end
 
+    # Allows one finding about this aggregate, with its reason.
+    command "Acknowledges" do
+      role "Language"
+      goal "Allow a finding on the aggregate that means what it says"
+
+      attribute :finding, FieldName
+      attribute :reason,  Description
+      attribute :subject, FieldName, optional: true
+
+      given("an acknowledged finding is named") { !finding.value.to_s.empty? }
+
+      sets :acknowledgements, append: { finding: :finding, subject: :subject, reason: :reason }
+
+      emits AcknowledgementAttached
+    end
+
     # The local half of a cross-aggregate read. The target is checked in
-    # `BluebookBuilder#validate_projected_fields!` once every aggregate in the chapter exists.
+    # `BluebookBuilder#validate_projected_fields!` once every aggregate in the bluebook exists.
     command "Projects" do
       role "Language"
       goal "Declare a field read locally through a reference"
@@ -366,6 +410,8 @@ Hecks.bluebook "Bluebook" do
 
       member word: "description",     context: "Aggregate", body: "none",     inner: "",              opens: "",               fills: "description"
       member word: "provenance",      context: "Aggregate", body: "none",     inner: "",              opens: "",               fills: "provenance", calls: "provenance_impl"
+      member word: "formerly_known_as", context: "Aggregate", body: "none",   inner: "",              opens: "",               fills: "formerly_known_as", calls: "formerly_known_as_impl"
+      member word: "created_by", context: "Aggregate", body: "none",   inner: "",              opens: "",               fills: "created_by", calls: "created_by_impl"
       member word: "identified_by",   context: "Aggregate", body: "keywords", inner: "ValueObject",   opens: "ValueObject",    fills: "identified_by", calls: "identified_by_impl"
       member word: "identified_by",   context: "Aggregate", body: "none",     inner: "",              opens: "",               fills: "identified_by", calls: "identified_by_impl"
       member word: "reference_to",    context: "Aggregate", body: "none",     inner: "",              opens: "",               fills: "attributes", calls: "reference_to_impl"
@@ -384,6 +430,7 @@ Hecks.bluebook "Bluebook" do
       member word: "attribute",       context: "Aggregate", body: "none",     inner: "",              opens: "",               fills: "attributes", calls: "attribute_impl"
       member word: "invariant",       context: "Aggregate", body: "source",   inner: "",              opens: "",               fills: "invariants", calls: "invariant_impl"
       member word: "given",           context: "Aggregate", body: "source",   inner: "",              opens: "",               fills: "preconditions", resolves_via: "owner_keyed", disambiguator: "declared_by", calls: "given_impl"
+      member word: "acknowledges",    context: "Aggregate", body: "none",     inner: "",              opens: "",               fills: "acknowledgements", calls: "acknowledges_impl"
       member word: "projects",        context: "Aggregate", body: "none",     inner: "",              opens: "",               fills: "projected_fields", calls: "projects_impl"
       member word: "transition",      context: "Lifecycle", body: "none", inner: "", opens: "",       fills: "transitions", calls: "transition_impl"
       member word: "mark",            context: "Lifecycle", body: "none", inner: "", opens: "",       fills: "marks", calls: "mark_impl"
@@ -410,6 +457,8 @@ Hecks.bluebook "Bluebook" do
 
       member keyword: "description",     context: "Aggregate", at: "1", named: "",         kind: "text",     required: "true",  fills: "description", coerce: "false"
       member keyword: "provenance",      context: "Aggregate", at: "",  named: "from",     kind: "literal",  required: "true",  fills: "provenance"
+      member keyword: "formerly_known_as", context: "Aggregate", at: "1", named: "",    kind: "text",     required: "true",  fills: "formerly_known_as"
+      member keyword: "created_by", context: "Aggregate", at: "1", named: "",    kind: "text",     required: "true",  fills: "created_by"
       member keyword: "identified_by",   context: "Aggregate", at: "1", named: "",         kind: "symbol",   required: "false", fills: "identified_by", variadic: "true", minimum: "2"
       member keyword: "identified_by",   context: "Aggregate", at: "1", named: "",         kind: "constant", required: "false", fills: "type"
       member keyword: "identified_by",   context: "Aggregate", at: "",  named: "as",       kind: "symbol",   required: "false", fills: "name"
@@ -446,6 +495,9 @@ Hecks.bluebook "Bluebook" do
       member keyword: "invariant",       context: "Aggregate", at: "1", named: "",         kind: "text",     required: "true",  fills: "description"
       member keyword: "given",           context: "Aggregate", at: "1", named: "",         kind: "text",     required: "true",  fills: "description"
       member keyword: "given",           context: "Aggregate", at: "",  named: "declared_by", kind: "constant", required: "false", fills: "declared_by"
+      member keyword: "acknowledges",    context: "Aggregate", at: "1", named: "",         kind: "symbol",   required: "true",  fills: "finding"
+      member keyword: "acknowledges",    context: "Aggregate", at: "2", named: "",         kind: "text",     required: "true",  fills: "reason", coerce: "false"
+      member keyword: "acknowledges",    context: "Aggregate", at: "",  named: "of",       kind: "symbol",   required: "false", fills: "subject"
       member keyword: "projects",        context: "Aggregate", at: "1", named: "",         kind: "symbol",   required: "true",  fills: "name"
       member keyword: "projects",        context: "Aggregate", at: "",  named: "from",     kind: "symbol",   required: "true",  fills: "from"
       member keyword: "transition",      context: "Lifecycle", at: "1", named: "",     kind: "pairs", required: "true",  fills: "", pair_key_fills: "command", pair_value_fills: "to_state", pairs_shape: "fields"

data/lib/hecks/language/bluebook/attaches/paging.bluebook

@@ -1,5 +1,5 @@
 Hecks.bluebook "Paging" do
-  vision "The four words a page of results is read through — limit, offset, cursor, nulls — held as their own sub-language rather than as four more rows in the core's own grammar table. ADR 0026's own worked example: the core grammar does not name its extension points, so this chapter names ITSELF onto them, with `attaches_to`."
+  vision "The four words a page of results is read through — limit, offset, cursor, nulls — held as their own sub-language rather than as four more rows in the core's own grammar table. ADR 0026's own worked example: the core grammar does not name its extension points, so this bluebook names ITSELF onto them, with `attaches_to`."
   generic
   attaches_to "Query", "ReadModel"
 

data/lib/hecks/language/bluebook/bluebook.behaviors

@@ -1,23 +1,23 @@
 Hecks.behaviors "Bluebook" do
-  vision "A chapter is opened with a name, a vision and a classification, and refuses a classification the language does not admit."
+  vision "A bluebook is opened with a name, a vision and a classification, and refuses a classification the language does not admit."
 
   loads "bluebook.bluebook", "bluebook.hecksagon"
 
-  test "Declare opens a chapter" do
+  test "Declare opens a bluebook" do
     tests "Declare", on: "Bluebook"
     input name: "Pizzas", vision: "Pizzas, built and sold.", classification: "core"
-    expect emits: ["ChapterDeclared"]
+    expect emits: ["BluebookDeclared"]
   end
 
   test "Declare refuses a classification that is not core, supporting or generic" do
     tests "Declare", on: "Bluebook"
     input name: "Pizzas", vision: "Pizzas, built and sold.", classification: "huge"
-    expect refused: "a chapter is core, supporting, or generic"
+    expect refused: "a bluebook is core, supporting, or generic"
   end
 
-  test "Declare refuses a chapter with no name" do
+  test "Declare refuses a bluebook with no name" do
     tests "Declare", on: "Bluebook"
     input name: "", vision: "Pizzas, built and sold.", classification: "core"
-    expect refused: "a chapter is named"
+    expect refused: "a bluebook is named"
   end
 end

data/lib/hecks/language/bluebook/bluebook.bluebook

@@ -2,9 +2,9 @@ Hecks.bluebook "Bluebook", version: "1" do
   vision "The bluebook language, declared in itself. Loading a domain becomes dispatching commands into this meta-domain ; the IR it stores must equal the IR the DSL builder produces. The floor that stays hand-written is the interpreter — evaluating a predicate held as data — and IO."
   core
 
-  # A whole bluebook in one read: every declaration gathered around the chapter itself.
+  # A whole bluebook in one read: every declaration gathered around the bluebook itself.
   read_model "WholeBluebook" do
-    description "Every declaration of one chapter, gathered around the chapter itself — the way back, in a single read."
+    description "Every declaration of one bluebook, gathered around the bluebook itself — the way back, in a single read."
     reference_to Bluebook
 
     include Bluebook
@@ -24,23 +24,36 @@ Hecks.bluebook "Bluebook", version: "1" do
   aggregate "Bluebook" do
     description "One .bluebook file — the root a domain declaration hangs from."
 
-    # A chapter is identified by its name; commands reach it through the `bluebook_id` reference.
+    # A bluebook is identified by its name; commands reach it through the `bluebook_id` reference.
     identified_by BluebookName, as: :name
 
     attribute :vision,         Vision
     attribute :classification, Classification
-    # Contract version pinned per chapter, e.g. `version: "v2"`. Absent is not empty.
+    # Contract version pinned per bluebook, e.g. `version: "v2"`. Absent is not empty.
     attribute :version,        Version
     # A rename is a declared fact. Absent is not empty.
     attribute :formerly_known_as, FormerlyKnownAs
-    attribute :namespace, ChapterNamespace
+    attribute :namespace, BluebookNamespace
     attribute :normalisations, list_of(NormalisationRule)
-    # Core contexts a sub-language chapter contributes Syntax rows for (ADR 0026).
-    # Absent is not empty: most chapters attach to nothing.
+    # Core contexts a sub-language bluebook contributes Syntax rows for (ADR 0026).
+    # Absent is not empty: most bluebooks attach to nothing.
     attribute :attaches_to, list_of(AttachesToContext)
-    # Capabilities this chapter answers for other domains, one row per (capability, key, verb).
-    # Absent is not empty: most chapters provide nothing.
+    # Capabilities this bluebook answers for other domains, one row per (capability, key, verb).
+    # Absent is not empty: most bluebooks provide nothing.
     attribute :provides, list_of(Provision)
+    # The modules grouping this bluebook's aggregates by task (ADR 0163), one row per aggregate.
+    # Absent is not empty: most bluebooks group nothing.
+    attribute :modules, list_of(ModuleMembership)
+
+    value_object "ModuleMembership" do
+      attribute :name,      String
+      attribute :vision,    String
+      attribute :aggregate, String
+    end
+
+    value_object "ModuleText" do
+      attribute :value, String
+    end
 
     value_object "Provision" do
       attribute :capability, String
@@ -68,7 +81,7 @@ Hecks.bluebook "Bluebook", version: "1" do
 
     value_object "BluebookName" do
       attribute :value, String
-      invariant("a chapter is named") { !value.to_s.empty? }
+      invariant("a bluebook is named") { !value.to_s.empty? }
     end
 
     value_object "Vision" do
@@ -78,7 +91,7 @@ Hecks.bluebook "Bluebook", version: "1" do
 
     value_object "Classification" do
       attribute :value, String
-      invariant("a chapter is core, supporting, or generic") do
+      invariant("a bluebook is core, supporting, or generic") do
         value.to_s == "core" || value.to_s == "supporting" || value.to_s == "generic"
       end
     end
@@ -93,8 +106,8 @@ Hecks.bluebook "Bluebook", version: "1" do
       invariant("a formerly_known_as says something") { !value.to_s.empty? }
     end
 
-    # The Ruby module a chapter's constants install under instead of its own name.
-    value_object "ChapterNamespace" do
+    # The Ruby module a bluebook's constants install under instead of its own name.
+    value_object "BluebookNamespace" do
       attribute :value, String
       invariant("a namespace is a constant path") { value.to_s.match?(/\A[A-Z][A-Za-z0-9_]*(::[A-Z][A-Za-z0-9_]*)*\z/) }
     end
@@ -106,14 +119,14 @@ Hecks.bluebook "Bluebook", version: "1" do
 
     command "Declare" do
       role "Language"
-      goal "Open a chapter"
+      goal "Open a bluebook"
 
       attribute :name,           BluebookName
       attribute :vision,         Vision, optional: true
       attribute :classification, Classification, optional: true
       attribute :version,        Version, optional: true
       attribute :formerly_known_as, FormerlyKnownAs, optional: true
-      attribute :namespace,         ChapterNamespace, optional: true
+      attribute :namespace,         BluebookNamespace, optional: true
 
       sets :name
       sets :vision
@@ -122,27 +135,28 @@ Hecks.bluebook "Bluebook", version: "1" do
       sets :formerly_known_as
       sets :namespace
 
-      emits ChapterDeclared
+      emits BluebookDeclared
     end
 
     # Appends one context; `attaches_to "Query", "ReadModel"` names several at once.
     command "Attach" do
       role "Language"
-      goal "Name one core context this chapter's own Syntax rows attach to"
+      goal "Name one core context this bluebook's own Syntax rows attach to"
 
       attribute :context, AttachesToContext
 
       sets :attaches_to, append: { value: :context }
       # Appending grows the list by exactly one row.
       ensures("the list grew by exactly one") { attaches_to.size == old.attaches_to.size + 1 }
-      emits ChapterAttached
+      emits BluebookAttached
     end
 
     # One row of one capability: `provides "authorization", grant: ...` offers one row per key.
-    # `Capabilities::CONTRACTS` holds which keys a capability must name.
+    # `Capabilities::CONTRACTS` holds which keys a capability the language defines must name; any
+    # other capability's keys are its package's own.
     command "Provide" do
       role "Language"
-      goal "Declare one verb this chapter answers a capability with"
+      goal "Declare one verb this bluebook answers a capability with"
 
       attribute :capability, ProvisionText
       attribute :key,        ProvisionText
@@ -153,6 +167,21 @@ Hecks.bluebook "Bluebook", version: "1" do
       emits CapabilityProvided
     end
 
+    # One aggregate's place in a module: `domain_module "Deliver"` offers one row per aggregate its
+    # block declares, each carrying the module's vision.
+    command "Group" do
+      role "Language"
+      goal "Declare that an aggregate belongs to a module"
+
+      attribute :name,      ModuleText
+      attribute :vision,    ModuleText
+      attribute :aggregate, ModuleText
+
+      sets :modules, append: { name: :name, vision: :vision, aggregate: :aggregate }
+
+      emits AggregateGrouped
+    end
+
     # Reads a bluebook back out, not only in.
     # Named to finish a sentence: the bluebook CALLED "Pizzas".
     query "Called" do
@@ -162,7 +191,7 @@ Hecks.bluebook "Bluebook", version: "1" do
 
     command "Normalise" do
       role "Language"
-      goal "Attach one canonical-form rule to the chapter"
+      goal "Attach one canonical-form rule to the bluebook"
 
       attribute :strategy,     RuleText
       attribute :source_token, RuleText
@@ -178,7 +207,7 @@ Hecks.bluebook "Bluebook", version: "1" do
       emits NormalisationAttached
     end
 
-    # Keyword rows for this chapter; SyntaxBoot discovers every aggregate-local seed table.
+    # Keyword rows for this bluebook; SyntaxBoot discovers every aggregate-local seed table.
     value_object "KeywordSeed" do
       attribute :word,          String
       attribute :context,       String, admits: "Syntax::Context"
@@ -205,6 +234,8 @@ Hecks.bluebook "Bluebook", version: "1" do
       member word: "policy",          context: "Bluebook", body: "keywords", inner: "Policy",         opens: "Policy",         fills: ""
       member word: "process_manager", context: "Bluebook", body: "keywords", inner: "ProcessManager", opens: "ProcessManager", fills: ""
 
+
+      member word: "domain_module", context: "Bluebook", body: "keywords", inner: "Bluebook", opens: "Bluebook", fills: ""
     end
 
     value_object "ArgumentSeed" do
@@ -239,44 +270,24 @@ Hecks.bluebook "Bluebook", version: "1" do
       member keyword: "provides",        context: "Bluebook", at: "",  named: "register",    kind: "text", required: "false", fills: "provides"
       member keyword: "provides",        context: "Bluebook", at: "",  named: "link",        kind: "text", required: "false", fills: "provides"
       member keyword: "provides",        context: "Bluebook", at: "",  named: "resolve",     kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "subscribe",   kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "add_name",    kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "confirm",     kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "unsubscribe", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "awaiting_confirmation", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "receives_issues", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "left", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "confirm_window", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "unsubscribe_window", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "webhook_tolerance", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "session_hold", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "initiate",    kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "succeeded",   kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "failed",      kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "lapse_reason", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "holds_seat",  kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "send_issue",      kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "record_delivery", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "schedule", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "request", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "registered_at", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "frees_seat"   , kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "connect", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "reconnect", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "disconnect", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "suspend", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "resume", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "enable", kind: "text", required: "false", fills: "provides"
-      member keyword: "provides",        context: "Bluebook", at: "",  named: "disable", kind: "text", required: "false", fills: "provides"
       member keyword: "provides",        context: "Bluebook", at: "",  named: "mark_sensitive", kind: "text", required: "false", fills: "provides"
       member keyword: "provides",        context: "Bluebook", at: "",  named: "markings_for", kind: "text", required: "false", fills: "provides"
       member keyword: "provides",        context: "Bluebook", at: "",  named: "key_for", kind: "text", required: "false", fills: "provides"
       member keyword: "provides",        context: "Bluebook", at: "",  named: "shred", kind: "text", required: "false", fills: "provides"
+      member keyword: "provides",        context: "Bluebook", at: "",  named: "",      kind: "pairs", required: "false", fills: "provides", pairs_shape: "verbatim"
       member keyword: "aggregate",       context: "Bluebook", at: "1", named: "",        kind: "text",     required: "true",  fills: "name"
       member keyword: "read_model", context: "Bluebook", at: "1", named: "", kind: "text", required: "true", fills: "name"
       member keyword: "policy",          context: "Bluebook", at: "1", named: "",        kind: "text",     required: "true",  fills: "name"
       member keyword: "process_manager", context: "Bluebook", at: "1", named: "",        kind: "text",     required: "true",  fills: "name"
 
+
+      member keyword: "provides", context: "Bluebook", at: "", named: "live_assignments", kind: "text", required: "false", fills: "provides"
+
+      member keyword: "provides", context: "Bluebook", at: "", named: "live_transitions", kind: "text", required: "false", fills: "provides"
+
+      member keyword: "aggregate", context: "Bluebook", at: "", named: "kind", kind: "text", required: "false", fills: "kind"
+
+      member keyword: "domain_module", context: "Bluebook", at: "1", named: "", kind: "text", required: "true", fills: "name"
     end
   end
 end

data/lib/hecks/language/bluebook/bluebook.hecksagon

@@ -1,5 +1,5 @@
 # The bluebook language as an ordinary domain, so it can be booted, fuzzed and model-checked.
-# Memory: this chapter is read, never written to a store.
+# Memory: this bluebook is read, never written to a store.
 Hecks.hecksagon "Bluebook" do
   # `role "Language"` is real access control only once Governance can check it (S8).
   attaches "Governance"