hecks 0.3.0 → 1.0.1

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

@@ -54,6 +54,28 @@ Hecks.bluebook "Bluebook" do
       attribute :value, String
     end
 
+    # ONE DISPATCH'S OWN ORDER AMONG ITS HANDLER'S SIBLINGS — named
+    # DispatchPosition rather than reusing ProcessManager's own `Position`
+    # four lines below (same discipline as `MemberPosition`/shape.bluebook's
+    # own comment on the identical choice): that one orders process
+    # managers among a CHAPTER's siblings ; this one orders dispatches
+    # within ONE handler. Same shape, different fact.
+    #
+    # Part of `identified_by`, below, alongside `command_name` — a real
+    # handler fans the SAME command out more than once with different
+    # `with:` bindings each leg (item #151's own real example: one
+    # BodyPulse handler dispatching Signal.FireSignal once per organ),
+    # and `command_name` alone collided the instant it did: the Judge's
+    # own `entity_duplicate` check raised the moment a second dispatch of
+    # the same command was declared, an uncaught crash for a legitimate,
+    # common pattern. `position` names WHICH send this is and is safe to
+    # fold into identity exactly where it would not be for Handler's own
+    # `from_state` (a real business value) — a Dispatch is declared once,
+    # at load time, and never re-addressed by identity afterward.
+    value_object "DispatchPosition" do
+      attribute :value, Integer
+    end
+
     # The way back: everything DECLARED IN the chapter above. The parent
     # reference IS the query.
     # WHERE IT SITS AMONG ITS SIBLINGS. Declaration order is a FACT ABOUT THE
@@ -96,7 +118,7 @@ Hecks.bluebook "Bluebook" do
       sets :starts_on
       sets :ends_on
       sets :position
-      emits "SagaDeclared"
+      emits SagaDeclared
     end
 
     command "State" do
@@ -107,7 +129,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :states, append: { name: :name }
 
-      emits "SagaStateAttached"
+      emits SagaStateAttached
     end
 
     # THE HANDLER'S OWN CREATION. S17, ADR 0026 — Handler is a genuine
@@ -136,7 +158,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :handlers, append: { event_type: :event_type, from_state: :from_state, to_state: :to_state }
 
-      emits "LegDeclared"
+      emits LegDeclared
     end
 
     # S17, ADR 0026 — ONE HANDLER, nested rather than its own root
@@ -147,22 +169,34 @@ Hecks.bluebook "Bluebook" do
     # wrong thing, holds nothing, and duplicates the reference beside it.
     #
     # `event_type` is an event name, or one of the Trigger vocabulary's
-    # members when the leg answers something no aggregate announces — and
-    # is Handler's own real, non-positional identity now : a saga answers
-    # each event ONCE, so the event names the leg, and the process
-    # manager it belongs to is structural (which list this element sits
-    # in), not a stored field any more.
+    # members when the leg answers something no aggregate announces — but
+    # NOT, alone, Handler's own identity any more (items #151/#152's own
+    # finding): a state machine legitimately answers the SAME event
+    # differently depending on which state it is currently in — one event
+    # name, several distinct legs (a BodyPulse handler that moves
+    # `attentive -> attentive` and, separately, `sleeping_light ->
+    # sleeping_light`) — and `event_type` alone collided the instant a
+    # real corpus declared that shape: the Judge's own `entity_duplicate`
+    # check raised `AlreadyExists` the moment the second leg was declared,
+    # an uncaught crash, not a refusal, for a common, legitimate pattern.
+    # `from_state` joins it below for exactly this reason — a real
+    # business value, not a stand-in for missing meaning, the same
+    # distinction `DispatchPosition`'s own comment (above) draws for its
+    # sibling `Dispatch`. The process manager this leg belongs to stays
+    # structural (which list this element sits in), never a stored field.
     entity "Handler" do
       description "One handler inside a process manager — the event it answers, the state move it makes, and the commands it sends. Nested under the process manager because a handler holds nested dispatches, which hold nested bindings."
 
-      identified_by HandlerText, as: :event_type
-
+      attribute :event_type, HandlerText
       attribute :from_state, HandlerText
       attribute :to_state,   HandlerText
       # S17, ADR 0026 — Dispatch nested here too (see `entity "Dispatch"`,
       # below), one level further in than Handler itself.
       attribute :dispatches, list_of(Dispatch)
 
+      # BOTH FIELDS TOGETHER — see the class-level comment above.
+      identified_by :event_type, :from_state
+
       # THE DISPATCH'S OWN CREATION — same reason Handler's own creation
       # lives on ProcessManager, one level up: an entity is never created
       # through its own dotted verb. Reached as a DOTTED verb itself
@@ -174,10 +208,17 @@ Hecks.bluebook "Bluebook" do
         goal "Open a dispatch inside a handler"
 
         attribute :command_name, DispatchText
+        # THE WALK INDEX, never author-supplied — the same generic
+        # POSITION handling `ValueObject.Member`'s own creating command
+        # already relies on (`Judge#appends`), which fills this from
+        # where the walk found the dispatch, not from a field the row
+        # happens to hold. No real `.bluebook` author ever calls this
+        # verb directly; only the Judge's own replay does.
+        attribute :position, DispatchPosition
 
-        sets :dispatches, append: { command_name: :command_name }
+        sets :dispatches, append: { command_name: :command_name, position: :position }
 
-        emits "SendDeclared"
+        emits SendDeclared
       end
 
       # S17, ADR 0026 — ONE COMMAND A HANDLER DISPATCHES, nested two
@@ -185,12 +226,21 @@ Hecks.bluebook "Bluebook" do
       # its Handler" (the ADR's own words). The bindings are an open
       # map, which no value object can hold — that was always a reason
       # it could not be one, never a reason it could not be an entity.
-      # `command_name` is Dispatch's own real, non-positional identity,
-      # the same shape Handler's own `event_type` just took one level up.
+      # `command_name` ALONE used to be Dispatch's own identity, the same
+      # shape Handler's own `event_type` took one level up — and collided
+      # the same way, for the same real reason (item #151): one handler
+      # fanning the SAME command out several times with different `with:`
+      # bindings each time (one BodyPulse handler dispatching
+      # Signal.FireSignal once per organ). `position` joins it below —
+      # see `DispatchPosition`'s own comment for why that field, unlike
+      # Handler's `from_state`, is safe to fold into identity.
       entity "Dispatch" do
         description "One command a handler dispatches, with the arguments it binds. Nested under the handler because the bindings are an open map, which no value object can hold."
 
-        identified_by DispatchText, as: :command_name
+        attribute :command_name, DispatchText
+        attribute :position,     DispatchPosition
+
+        identified_by :command_name, :position
 
         attribute :with_spec, list_of(Binding)
 
@@ -203,7 +253,50 @@ Hecks.bluebook "Bluebook" do
 
           sets :with_spec, append: { key: :key, value: :value }
 
-          emits "BindingAttached"
+          emits BindingAttached
+        end
+
+        # THE COMPENSATING DISPATCH THIS ONE COMPENSATES FOR, IF ANY —
+        # FLAT FIELDS on THIS SAME entity, mirroring `command_name`/
+        # `with_spec` above one-for-one, rather than a nested (or
+        # self-referential) second `Dispatch`: an entity's own attribute
+        # type has to resolve against a value object, and neither a
+        # self-reference to `Dispatch` (written from inside its own
+        # block, before it exists to reference) nor a plain nested
+        # entity reference passes that check the way `Handler.
+        # dispatches: list_of(Dispatch)` does — that one resolves a
+        # SIBLING already fully built by the time deferred construction
+        # (ADR 0028) finishes; a dispatch compensating for itself has no
+        # such sibling. `compensates_command_name` absent means no
+        # compensation; present, together with whatever
+        # `compensates_with_spec` holds, is everything
+        # `Reconstruction#dispatch` needs to assemble the SAME
+        # `DispatchSpec` shape `compensates` (the real, author-facing
+        # word) fills.
+        attribute :compensates_command_name, DispatchText, optional: true
+        attribute :compensates_with_spec,    list_of(Binding)
+
+        command "Compensates" do
+          role "Language"
+          goal "Name the command this dispatch compensates for"
+
+          attribute :compensates_command_name, DispatchText
+
+          sets :compensates_command_name
+
+          emits "CompensationDeclared"
+        end
+
+        command "BindCompensation" do
+          role "Language"
+          goal "Bind one argument of the compensation's own dispatched command"
+
+          attribute :key,   DispatchText
+          attribute :value, DispatchText
+
+          sets :compensates_with_spec, append: { key: :key, value: :value }
+
+          emits "CompensationBindingAttached"
         end
       end
     end
@@ -224,11 +317,30 @@ Hecks.bluebook "Bluebook" do
       attribute :disambiguator, String, default: "", admits: "Syntax::Disambiguator"
 
       member word: "correlates_by",   context: "ProcessManager", body: "none",     inner: "",        opens: "",        fills: "correlates_by"
-      member word: "starts_on",       context: "ProcessManager", body: "none",     inner: "",        opens: "",        fills: "starts_on"
-      member word: "ends_on",         context: "ProcessManager", body: "none",     inner: "",        opens: "",        fills: "ends_on"
+      # BARE CONSTANT ACCEPTED (ADR 0025, S6 — "events first-class"),
+      # `starts_on Transfer::TransferRequested` / `ends_on
+      # Transfer::TransferSettled`, same `kind: "constant"` + `kind:
+      # "text"` ArgumentSeed pair `emits`/policy's own `on` already
+      # carry (this row's own comment there). Now `calls:`-routed
+      # (`starts_on_impl`/`ends_on_impl`, hand-written — GenericDispatch's
+      # own `COERCE_BY_KIND` has no "constant" entry, so a bare
+      # constant needs the same `Naming.event_ref` resolution `on_impl`/
+      # `transition_impl` already do, not the plain `.to_s` a single
+      # `kind: "text"` row used to get for free).
+      member word: "starts_on",       context: "ProcessManager", body: "none",     inner: "",        opens: "",        fills: "", calls: "starts_on_impl"
+      member word: "ends_on",         context: "ProcessManager", body: "none",     inner: "",        opens: "",        fills: "", calls: "ends_on_impl"
       member word: "transition",      context: "ProcessManager", body: "keywords", inner: "Handler", opens: "Handler", fills: "", calls: "transition_impl"
       member word: "transition",      context: "ProcessManager", body: "none",     inner: "",        opens: "",        fills: "", calls: "transition_impl"
+      # TWO ROWS, the SAME PAIR SHAPE `transition` takes just above —
+      # `body: "none"` was already the only row (`opens: "Dispatch"`
+      # already anticipated a block, unused until now); `body:
+      # "keywords"` is the new one, opening `compensates` on the
+      # dispatch it sits inside (per-dispatch saga compensation — see
+      # `ProcessManagerBuilder::HandlerBuilder#dispatch_impl`'s own
+      # comment).
+      member word: "dispatch",        context: "Handler",        body: "keywords", inner: "Dispatch", opens: "Dispatch", fills: "", calls: "dispatch_impl"
       member word: "dispatch",        context: "Handler",        body: "none",     inner: "",        opens: "Dispatch", fills: "", calls: "dispatch_impl"
+      member word: "compensates",     context: "Dispatch",       body: "none",     inner: "",        opens: "",         fills: "", calls: "compensates_impl"
 
     end
 
@@ -250,7 +362,9 @@ Hecks.bluebook "Bluebook" do
       attribute :blank_message,    String
 
       member keyword: "correlates_by",   context: "ProcessManager", at: "1", named: "",           kind: "symbol", required: "true", fills: "correlates_by"
+      member keyword: "starts_on",       context: "ProcessManager", at: "1", named: "",           kind: "constant", required: "true", fills: "starts_on"
       member keyword: "starts_on",       context: "ProcessManager", at: "1", named: "",           kind: "text",   required: "true", fills: "starts_on"
+      member keyword: "ends_on",         context: "ProcessManager", at: "1", named: "",           kind: "constant", required: "true", fills: "ends_on"
       member keyword: "ends_on",         context: "ProcessManager", at: "1", named: "",           kind: "text",   required: "true", fills: "ends_on"
       member keyword: "transition",      context: "ProcessManager", at: "1", named: "",           kind: "pairs",  required: "true", fills: "", pair_key_fills: "event_type", pair_value_fills: "to_state", pairs_shape: "fields"
       member keyword: "transition",      context: "ProcessManager", at: "",  named: "from",       kind: "text",   required: "true",  fills: "from_state"
@@ -258,6 +372,9 @@ Hecks.bluebook "Bluebook" do
       member keyword: "dispatch",        context: "Handler", at: "1", named: "",     kind: "constant", required: "true", fills: "command_name"
       member keyword: "dispatch",        context: "Handler", at: "1", named: "",     kind: "text",  required: "true",  fills: "command_name"
       member keyword: "dispatch",        context: "Handler", at: "",  named: "with", kind: "pairs", required: "false", fills: "with_spec", pairs_shape: "verbatim"
+      member keyword: "compensates",     context: "Dispatch", at: "1", named: "",     kind: "constant", required: "true", fills: "command_name"
+      member keyword: "compensates",     context: "Dispatch", at: "1", named: "",     kind: "text",  required: "true",  fills: "command_name"
+      member keyword: "compensates",     context: "Dispatch", at: "",  named: "with", kind: "pairs", required: "false", fills: "with_spec", pairs_shape: "verbatim"
 
     end
   end

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

@@ -110,7 +110,7 @@ Hecks.bluebook "Bluebook" do
       sets :reference_name
       sets :reference_target
       sets :position
-      emits "ProjectionDeclared"
+      emits ProjectionDeclared
     end
 
     command "Gather" do
@@ -140,7 +140,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :aggregate_heads, append: { aggregate: :aggregate, as: :as, many: :many }
 
-      emits "HeadGathered"
+      emits HeadGathered
     end
 
     command "GroupBy" do
@@ -153,7 +153,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :group_by, append: { field: :field }
 
-      emits "GroupByFieldAdded"
+      emits GroupByFieldAdded
     end
 
     # `count`/`median` are LATE-SET scalars, the same shape `Lifecycle`'s
@@ -171,7 +171,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :count
 
-      emits "CountDeclared"
+      emits CountDeclared
     end
 
     command "Median" do
@@ -183,7 +183,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :median_field
 
-      emits "MedianFieldSet"
+      emits MedianFieldSet
     end
 
     command "Option" do
@@ -200,7 +200,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :options, append: { option: :option, key: :key, value: :value, at: :at }
 
-      emits "OptionAttached"
+      emits OptionAttached
     end
 
     # HOW READMODEL IS SPELLED. These rows live with the concept

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

@@ -118,7 +118,7 @@ Hecks.bluebook "Bluebook" do
       sets :order_way
       sets :limit
       sets :position
-      emits "AskDeclared"
+      emits AskDeclared
     end
 
     command "Filter" do
@@ -132,7 +132,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :wheres, append: { field: :field, op: :op, value: :value }
 
-      emits "FilterAttached"
+      emits FilterAttached
     end
 
     command "Option" do
@@ -153,7 +153,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :options, append: { option: :option, key: :key, value: :value, at: :at }
 
-      emits "OptionAttached"
+      emits OptionAttached
     end
 
     command "Argument" do
@@ -176,7 +176,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :attributes, append: { name: :name, type: :type, list: :list, default: :default, optional: :optional, pattern: :pattern, admits: :admits, relationship: :relationship }
 
-      emits "AskArgumentAttached"
+      emits AskArgumentAttached
     end
 
 

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

@@ -109,7 +109,7 @@ Hecks.bluebook "Bluebook" do
       sets :aggregate
       sets :name
       sets :position
-      emits "ShapeDeclared"
+      emits ShapeDeclared
     end
 
     command "Field" do
@@ -134,7 +134,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :attributes, append: { name: :name, type: :type, list: :list, default: :default, optional: :optional, pattern: :pattern, admits: :admits, relationship: :relationship }
 
-      emits "ShapeFieldAttached"
+      emits ShapeFieldAttached
     end
 
     command "Close" do
@@ -150,7 +150,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :rows
 
-      emits "ShapeClosed"
+      emits ShapeClosed
     end
 
     command "Assert" do
@@ -165,7 +165,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :invariants, append: { description: :description, canonical: :canonical }
 
-      emits "AssertionAttached"
+      emits AssertionAttached
     end
 
     value_object "ValueObjectText" do
@@ -192,7 +192,7 @@ Hecks.bluebook "Bluebook" do
 
       sets :members, append: { position: :position }
 
-      emits "MemberDeclared"
+      emits MemberDeclared
     end
 
     # S17, ADR 0026 — ONE ADMITTED ROW, nested rather than its own root
@@ -228,7 +228,7 @@ Hecks.bluebook "Bluebook" do
 
         sets :pairs, append: { key: :key, value: :value }
 
-        emits "PairBound"
+        emits PairBound
       end
     end
 

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

@@ -86,8 +86,8 @@ Hecks.bluebook "Bluebook" do
     value_object "Context" do
       attribute :name, String,
                 one_of: ["File", "Bluebook", "Aggregate", "Entity", "Command", "Query", "ValueObject", "OneOf",
-                         "Lifecycle", "Policy", "ProcessManager", "Handler", "ReadModel", "Type", "Hecksagon",
-                         "World", "DomainPort", "PortOperation", "Port", "Adapter", "Translation",
+                         "Lifecycle", "Policy", "ProcessManager", "Handler", "Dispatch", "ReadModel", "Type",
+                         "Hecksagon", "World", "DomainPort", "PortOperation", "Port", "Adapter", "Translation",
                          "TranslationAggregate"]
     end
 
@@ -252,8 +252,9 @@ Hecks.bluebook "Bluebook" do
       # WHICH DISAMBIGUATOR keyword argument a bare reference may supply
       # when `resolves_via` is `owner_keyed` — see `Disambiguator`'s own
       # comment. BLANK unless `resolves_via` is `owner_keyed` AND more
-      # than one candidate can register (today: only `given` on
-      # Aggregate).
+      # than one candidate can register (today: `given` on Aggregate,
+      # and `given` on Entity, one level down — chapter-wide sharing at
+      # each scope it has grown to).
       attribute :disambiguator,  KeywordSeedText, admits: "Syntax::Disambiguator", optional: true
       # THE ESCAPE HATCH — item #13's full metaprogrammed dispatch (slice
       # 3, whole-project table-unification survey). BLANK for every word
@@ -291,14 +292,14 @@ Hecks.bluebook "Bluebook" do
         role "Language"
         goal "Mark a word as on its way out, still read"
 
-        emits "KeywordDeprecated"
+        emits KeywordDeprecated
       end
 
       command "Retire" do
         role "Language"
         goal "Remove a word from every generated parser table"
 
-        emits "KeywordRetired"
+        emits KeywordRetired
       end
     end
 
@@ -375,14 +376,14 @@ Hecks.bluebook "Bluebook" do
         role "Language"
         goal "Mark an argument as on its way out, still read"
 
-        emits "ArgumentDeprecated"
+        emits ArgumentDeprecated
       end
 
       command "Retire" do
         role "Language"
         goal "Remove an argument from every generated parser table"
 
-        emits "ArgumentRetired"
+        emits ArgumentRetired
       end
     end
 
@@ -408,7 +409,7 @@ Hecks.bluebook "Bluebook" do
       sets :bluebook
       sets :name
 
-      emits "SyntaxDeclared"
+      emits SyntaxDeclared
     end
 
     # THE KEYWORD'S OWN CREATION. An entity is never created through its
@@ -426,7 +427,7 @@ Hecks.bluebook "Bluebook" do
                                  inner: :inner, opens: :opens, fills: :fills, was: :was,
                                  resolves_via: :resolves_via, disambiguator: :disambiguator, calls: :calls }
 
-      emits "KeywordAdmitted"
+      emits KeywordAdmitted
     end
 
     command "Argument" do
@@ -441,7 +442,7 @@ Hecks.bluebook "Bluebook" do
                                   variadic: :variadic, minimum: :minimum,
                                   coerce: :coerce, blank_message: :blank_message }
 
-      emits "ArgumentAdmitted"
+      emits ArgumentAdmitted
     end
   end
 end

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

@@ -130,6 +130,13 @@ Hecks.bluebook "Bluebook" do
       # shape append does (`with: {...}` is a field map, same as
       # append's own `fields:`), so it carries no sign, same reading.
       member name: "delegate",  sign: ""
+      # CommandBuilder#corrects_impl's own comment gives the full
+      # reasoning — a command declaring a past event it amends, rather
+      # than a fresh mutation of its own. Rides the SAME multi-binding
+      # wire shape append/delegate do (`as:`/`reason:`/`reverses:`,
+      # assembled into one `source` hash by hand, same as `with:` is),
+      # so it carries no sign either.
+      member name: "corrects",  sign: ""
     end
 
     # QuerySpecification::Common::Comparators::COMPARATORS — a where-clause's
@@ -175,17 +182,23 @@ Hecks.bluebook "Bluebook" do
 
     # EntityInterpreter#call — the same shape
     # one level down, on a piece an aggregate holds rather than the aggregate
-    # itself. Shorter than AggregateDispatchOrder because an entity is never
-    # CREATED through this path (no assign_creation_attributes) and inherits
-    # its aggregate's own argument gate rather than running one of its own (no
-    # refuse_unknown_arguments) — hydrating the parent and locating the
+    # itself. `refuse_unknown_arguments`/`refuse_absent_arguments` lead it,
+    # the same position they hold in AggregateDispatchOrder — bug audit H1
+    # (docs/audits/2026-08-10-main-bug-audit.md): an entity command used to
+    # run NEITHER at all, on a since-corrected comment claiming it "inherits
+    # its aggregate's own gate" — nothing on this path ever ran one, and a
+    # bogus argument or a silently-nil'd absent one both went straight
+    # through. The only real difference from AggregateDispatchOrder now is
+    # that an entity is never CREATED through this path (no
+    # assign_creation_attributes) — hydrating the parent and locating the
     # element replace a single hydrate. resolve_references stayed, though —
     # an entity command can declare a reference-typed attribute the same way
     # an aggregate command can (CommandRules#resolve_references is shared by
     # both interpreters), even though nothing in the real corpus does yet.
     value_object "EntityDispatchOrder" do
       attribute :step, String,
-                one_of: ["normalize_args", "refuse_role_mismatch", "resolve_references", "hydrate_parent",
+                one_of: ["refuse_unknown_arguments", "refuse_absent_arguments", "normalize_args",
+                         "refuse_role_mismatch", "resolve_references", "hydrate_parent",
                          "locate_element", "enforce_givens", "admissible_transition", "apply_mutations",
                          "advance_lifecycle", "enforce_ensures", "enforce_invariants", "save", "emit"]
     end
@@ -196,8 +209,8 @@ Hecks.bluebook "Bluebook" do
     value_object "DomainRefusal" do
       attribute :name, String,
                 one_of: ["AbsentArgument", "AlreadyExists", "AttributeAbsent", "EnsuresNotMet", "GivenNotMet",
-                         "InvariantViolation", "LifecycleRefused", "NotFound", "ProjectionAbsent", "RemoteRefusal",
-                         "TypeMismatch", "Unauthorized", "UnknownArgument", "UnknownVerb"]
+                         "InvariantViolation", "LifecycleRefused", "NothingToCorrect", "NotFound", "ProjectionAbsent",
+                         "RemoteRefusal", "TypeMismatch", "Unauthorized", "UnknownArgument", "UnknownVerb"]
     end
 
     # THE WORDING ITSELF, for every DomainRefusal site that is not already
@@ -279,6 +292,8 @@ Hecks.bluebook "Bluebook" do
              template: "{type} is a composite identity — an identity must have exactly one field"
       member refusal: "TypeMismatch", site: "numeric_field",
              template: "{type}.{field} expects {expected}, got {offered}"
+      member refusal: "TypeMismatch", site: "non_finite_field",
+             template: "{type}.{field} must be a finite number, got {offered}"
       member refusal: "TypeMismatch", site: "pattern_mismatch",
              template: "{type}.{field} must match {pattern}, got {offered}"
       member refusal: "TypeMismatch", site: "arithmetic_amount",

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

@@ -4,7 +4,9 @@ Hecks.bluebook "Hecksagon" do
 
     identified_by PortName, as: :name
 
-    attribute :verb, PortVerb, optional: true
+    attribute :verb,    PortVerb, optional: true
+    attribute :signal,  PortSignal, optional: true
+    attribute :answers, list_of(PortAnswer)
 
     value_object "PortName" do
       attribute :value, String
@@ -16,6 +18,24 @@ Hecks.bluebook "Hecksagon" do
       invariant("a verb is named") { !value.to_s.empty? }
     end
 
+    # SAME CLOSED SET port.bluebook's own "Port" aggregate declares —
+    # kept as its own local value object rather than shared cross-
+    # chapter, the same way PortVerb already is here.
+    value_object "PortSignal" do
+      attribute :value, String, one_of: ["reply", "effect"]
+    end
+
+    # `answers` — DomainPortBuilder's own twin of PortBuilder#answers
+    # (port.bluebook's "Port" aggregate, same shape), added once a real
+    # `.port` file migrated to parse through this builder (the repoint
+    # `lib/hecks.rb#port`'s own comment describes) used the word
+    # (`extraction.port`'s own `answers :canonical`). Local, not shared
+    # cross-chapter, same reasoning as PortSignal just above.
+    value_object "PortAnswer" do
+      attribute :value, String
+      invariant("an answer names a real method") { !value.to_s.empty? }
+    end
+
     # HOW DOMAINPORT IS SPELLED. These rows live with the concept
     # they describe; SyntaxBoot discovers every aggregate-local seed table.
     # Contexts represented here: DomainPort.
@@ -35,6 +55,8 @@ Hecks.bluebook "Hecksagon" do
       member word: "tells",           context: "DomainPort",    body: "keywords", inner: "PortOperation", opens: "PortOperation", fills: "", calls: "tells_impl"
       member word: "asks",            context: "DomainPort",    body: "keywords", inner: "PortOperation", opens: "PortOperation", fills: "", calls: "asks_impl"
       member word: "verb",            context: "DomainPort",    body: "none",     inner: "",              opens: "",              fills: "verb"
+      member word: "signal",          context: "DomainPort",    body: "none",     inner: "",              opens: "",              fills: "signal"
+      member word: "answers",         context: "DomainPort",    body: "none",     inner: "",              opens: "",              fills: "answers"
 
     end
 
@@ -59,6 +81,8 @@ Hecks.bluebook "Hecksagon" do
       member keyword: "tells",           context: "DomainPort", at: "1", named: "", kind: "text", required: "true", fills: "name"
       member keyword: "asks",            context: "DomainPort", at: "1", named: "", kind: "text", required: "true", fills: "name"
       member keyword: "verb",            context: "DomainPort", at: "1", named: "", kind: "text", required: "true", fills: "verb"
+      member keyword: "signal",          context: "DomainPort", at: "1", named: "", kind: "symbol", required: "true", fills: "signal"
+      member keyword: "answers",         context: "DomainPort", at: "1", named: "", kind: "symbol", required: "true", fills: "answers"
 
       # THE RECEIVING AGGREGATE — PortOperationBuilder's own `reference_to`
       # (inside the block) is refused (#335); this is the sanctioned

data/lib/hecks/language/oidc.json

@@ -126,6 +126,11 @@
       "verb": "Bluebook::Entity.Declare",
       "role": "Language"
     },
+    {
+      "scope": "bluebook:entity.holds",
+      "verb": "Bluebook::Entity.Holds",
+      "role": "Language"
+    },
     {
       "scope": "bluebook:entity.identify",
       "verb": "Bluebook::Entity.Identify",
@@ -146,6 +151,11 @@
       "verb": "Bluebook::Entity.Precondition",
       "role": "Language"
     },
+    {
+      "scope": "bluebook:entity.reference",
+      "verb": "Bluebook::Entity.Reference",
+      "role": "Language"
+    },
     {
       "scope": "bluebook:entity.seal",
       "verb": "Bluebook::Entity.Seal",
@@ -186,6 +196,16 @@
       "verb": "Bluebook::ProcessManager.Handler.Dispatch.Bind",
       "role": "Language"
     },
+    {
+      "scope": "bluebook:process_manager.handler.dispatch.bind_compensation",
+      "verb": "Bluebook::ProcessManager.Handler.Dispatch.BindCompensation",
+      "role": "Language"
+    },
+    {
+      "scope": "bluebook:process_manager.handler.dispatch.compensates",
+      "verb": "Bluebook::ProcessManager.Handler.Dispatch.Compensates",
+      "role": "Language"
+    },
     {
       "scope": "bluebook:process_manager.state",
       "verb": "Bluebook::ProcessManager.State",