hecks 4.0.0 → 6.0.0

data/lib/hecks/hecks/codebase.bluebook

@@ -9,7 +9,7 @@ Hecks.bluebook "Hecks" do
   # The records are named for the run, as ModelCheckRun is, because several of the table's
   # concerns share a name with a module the gem already owns.
 
-  # The language: the tables the Bluebook chapter declares and everything projected from them. A
+  # The language: the tables the Bluebook bluebook declares and everything projected from them. A
   # projection reports drift from the committed files and writes only when it is confirmed; an
   # evolution edits the syntax tables, regenerates the golden and holds the gates, and only when
   # confirmed (without it, the edit is rehearsed in memory and nothing is written).
@@ -64,7 +64,7 @@ Hecks.bluebook "Hecks" do
 
     # The part of the language a word is a word in.
     value_object "Context" do
-      attribute :value, String, pattern: '^[A-Za-z][A-Za-z0-9_]*$'
+      attribute :value, String, matches: :identifier
     end
 
     # What a word's block holds.
@@ -102,17 +102,16 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "ProjectModel" do
       role "Maintainer"
       goal "Project the model's holding half from the language that declares it"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_model"
 
       emits ProjectModelRequested
@@ -122,11 +121,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the language's closed sets into the vocabulary"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_vocabulary"
 
       emits ProjectVocabularyRequested
@@ -136,11 +133,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the vocabulary tables into the Rust kernel, one enum a table"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_rust_vocabulary"
 
       emits ProjectRustVocabularyRequested
@@ -150,11 +145,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the refusal template table, a second name of ProjectRustVocabulary"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_rust_vocabulary"
 
       emits ProjectRefusalWordingRequested
@@ -164,11 +157,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the Rust and Cargo reserved words into the codegen and build crates"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_reserved_names"
 
       emits ProjectReservedNamesRequested
@@ -178,25 +169,33 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the Rust parser's keyword table"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_parser_table"
 
       emits ProjectParserTableRequested
     end
 
+    command "ProjectPhraseTable" do
+      role "Maintainer"
+      goal "Project the Rust parser's sentence table from the Sentence bluebook's phrase rows"
+
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
+
+      sets :operation, to: "project_phrase_table"
+
+      emits ProjectPhraseTableRequested
+    end
+
     command "ProjectBootstrapTable" do
       role "Maintainer"
       goal "Project the DSL's bootstrap-window fallbacks from the keyword rows"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_bootstrap_table"
 
       emits ProjectBootstrapTableRequested
@@ -206,11 +205,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the host's form-field hints"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_field_hints"
 
       emits ProjectFieldHintsRequested
@@ -220,13 +217,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the expression machinery's operator and normalisation tables"
 
-      attribute :stdout,  Switch, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :stdout,  Switch, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :stdout
-      sets :run
-      sets :confirm
       sets :operation, to: "project_expression_tables"
 
       emits ProjectExpressionTablesRequested
@@ -234,13 +228,11 @@ Hecks.bluebook "Hecks" do
 
     command "ProjectReference" do
       role "Maintainer"
-      goal "Regenerate the DSL reference from the Syntax chapter, keeping the committed prose"
+      goal "Regenerate the DSL reference from the Syntax bluebook, keeping the committed prose"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_reference"
 
       emits ProjectReferenceRequested
@@ -250,23 +242,15 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Enter a keyword row, proposed: it reaches no projection until admitted"
 
-      attribute :word,    Word
-      attribute :context, Context
-      attribute :body,    Body, optional: true
-      attribute :inner,   Fill, optional: true
-      attribute :opens,   Fill, optional: true
-      attribute :fills,   Fill, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
-
-      sets :word
-      sets :context
-      sets :body
-      sets :inner
-      sets :opens
-      sets :fills
-      sets :run
-      sets :confirm
+      attribute :word,    Word, sets: true
+      attribute :context, Context, sets: true
+      attribute :body,    Body, optional: true, sets: true
+      attribute :inner,   Fill, optional: true, sets: true
+      attribute :opens,   Fill, optional: true, sets: true
+      attribute :fills,   Fill, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
+
       sets :operation, to: "propose"
 
       emits ProposeRequested
@@ -276,15 +260,11 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Move a proposed keyword row to admitted"
 
-      attribute :word,    Word
-      attribute :context, Context
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :word,    Word, sets: true
+      attribute :context, Context, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :word
-      sets :context
-      sets :run
-      sets :confirm
       sets :operation, to: "admit"
 
       emits AdmitRequested
@@ -294,15 +274,11 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Move an admitted keyword row to deprecated"
 
-      attribute :word,    Word
-      attribute :context, Context
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :word,    Word, sets: true
+      attribute :context, Context, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :word
-      sets :context
-      sets :run
-      sets :confirm
       sets :operation, to: "deprecate"
 
       emits DeprecateRequested
@@ -312,15 +288,11 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Move a deprecated or admitted keyword row to retired"
 
-      attribute :word,    Word
-      attribute :context, Context
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :word,    Word, sets: true
+      attribute :context, Context, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :word
-      sets :context
-      sets :run
-      sets :confirm
       sets :operation, to: "retire"
 
       emits RetireRequested
@@ -330,17 +302,12 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Respell a keyword row; the old spelling keeps parsing"
 
-      attribute :word,     Word
-      attribute :context,  Context
-      attribute :new_name, Word
-      attribute :run,      RunKey
-      attribute :confirm,  Switch, optional: true
-
-      sets :word
-      sets :context
-      sets :new_name
-      sets :run
-      sets :confirm
+      attribute :word,     Word, sets: true
+      attribute :context,  Context, sets: true
+      attribute :new_name, Word, sets: true
+      attribute :run,      RunKey, sets: true
+      attribute :confirm,  Switch, optional: true, sets: true
+
       sets :operation, to: "rename"
 
       emits RenameRequested
@@ -350,27 +317,17 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Enter an argument row of a keyword, proposed"
 
-      attribute :word,        Word
-      attribute :context,     Context
-      attribute :kind,        Kind
-      attribute :required,    Flag, optional: true
-      attribute :at,          Position, optional: true
-      attribute :named,       Fill, optional: true
-      attribute :fills,       Fill, optional: true
-      attribute :pairs_shape, Shape, optional: true
-      attribute :run,         RunKey
-      attribute :confirm,     Switch, optional: true
-
-      sets :word
-      sets :context
-      sets :kind
-      sets :required
-      sets :at
-      sets :named
-      sets :fills
-      sets :pairs_shape
-      sets :run
-      sets :confirm
+      attribute :word,        Word, sets: true
+      attribute :context,     Context, sets: true
+      attribute :kind,        Kind, sets: true
+      attribute :required,    Flag, optional: true, sets: true
+      attribute :at,          Position, optional: true, sets: true
+      attribute :named,       Fill, optional: true, sets: true
+      attribute :fills,       Fill, optional: true, sets: true
+      attribute :pairs_shape, Shape, optional: true, sets: true
+      attribute :run,         RunKey, sets: true
+      attribute :confirm,     Switch, optional: true, sets: true
+
       sets :operation, to: "propose_argument"
 
       emits ProposeArgumentRequested
@@ -380,19 +337,13 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Move a proposed argument row to admitted"
 
-      attribute :word,    Word
-      attribute :context, Context
-      attribute :at,      Position, optional: true
-      attribute :named,   Fill, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
-
-      sets :word
-      sets :context
-      sets :at
-      sets :named
-      sets :run
-      sets :confirm
+      attribute :word,    Word, sets: true
+      attribute :context, Context, sets: true
+      attribute :at,      Position, optional: true, sets: true
+      attribute :named,   Fill, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
+
       sets :operation, to: "admit_argument"
 
       emits AdmitArgumentRequested
@@ -402,19 +353,13 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Move an admitted argument row to deprecated"
 
-      attribute :word,    Word
-      attribute :context, Context
-      attribute :at,      Position, optional: true
-      attribute :named,   Fill, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
-
-      sets :word
-      sets :context
-      sets :at
-      sets :named
-      sets :run
-      sets :confirm
+      attribute :word,    Word, sets: true
+      attribute :context, Context, sets: true
+      attribute :at,      Position, optional: true, sets: true
+      attribute :named,   Fill, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
+
       sets :operation, to: "deprecate_argument"
 
       emits DeprecateArgumentRequested
@@ -424,19 +369,13 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Move a deprecated or admitted argument row to retired"
 
-      attribute :word,    Word
-      attribute :context, Context
-      attribute :at,      Position, optional: true
-      attribute :named,   Fill, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
-
-      sets :word
-      sets :context
-      sets :at
-      sets :named
-      sets :run
-      sets :confirm
+      attribute :word,    Word, sets: true
+      attribute :context, Context, sets: true
+      attribute :at,      Position, optional: true, sets: true
+      attribute :named,   Fill, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
+
       sets :operation, to: "retire_argument"
 
       emits RetireArgumentRequested
@@ -449,11 +388,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to LanguageRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits LanguageAccepted
     end
@@ -463,9 +401,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to LanguageRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits LanguageCompleted
     end
@@ -475,9 +412,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to LanguageRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits LanguageFaulted
     end
@@ -508,97 +444,102 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenProjectModelRequested" do
     on      "LanguageRun.ProjectModelRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectVocabularyRequested" do
     on      "LanguageRun.ProjectVocabularyRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectRustVocabularyRequested" do
     on      "LanguageRun.ProjectRustVocabularyRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectRefusalWordingRequested" do
     on      "LanguageRun.ProjectRefusalWordingRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectReservedNamesRequested" do
     on      "LanguageRun.ProjectReservedNamesRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectParserTableRequested" do
     on      "LanguageRun.ProjectParserTableRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
+  end
+
+  policy "ExamineWhenProjectPhraseTableRequested" do
+    on      "LanguageRun.ProjectPhraseTableRequested"
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectBootstrapTableRequested" do
     on      "LanguageRun.ProjectBootstrapTableRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectFieldHintsRequested" do
     on      "LanguageRun.ProjectFieldHintsRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectExpressionTablesRequested" do
     on      "LanguageRun.ProjectExpressionTablesRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectReferenceRequested" do
     on      "LanguageRun.ProjectReferenceRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProposeRequested" do
     on      "LanguageRun.ProposeRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenAdmitRequested" do
     on      "LanguageRun.AdmitRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenDeprecateRequested" do
     on      "LanguageRun.DeprecateRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenRetireRequested" do
     on      "LanguageRun.RetireRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenRenameRequested" do
     on      "LanguageRun.RenameRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProposeArgumentRequested" do
     on      "LanguageRun.ProposeArgumentRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenAdmitArgumentRequested" do
     on      "LanguageRun.AdmitArgumentRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenDeprecateArgumentRequested" do
     on      "LanguageRun.DeprecateArgumentRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenRetireArgumentRequested" do
     on      "LanguageRun.RetireArgumentRequested"
-    trigger LanguageRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptLanguageWhenExamined" do
@@ -614,7 +555,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformLanguageWhenAccepted" do
     on      "LanguageRun.LanguageAccepted"
-    trigger LanguageRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordLanguageOutcome" do
@@ -663,17 +604,16 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "ProjectKernelCapabilities" do
       role "Maintainer"
       goal "Project the capability enums the hand-written Rust kernel is matched against"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "project_kernel_capabilities"
 
       emits ProjectKernelCapabilitiesRequested
@@ -683,9 +623,8 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Check that every capability the grammar admits has its hand-written kernel file"
 
-      attribute :run, RunKey
+      attribute :run, RunKey, sets: true
 
-      sets :run
       sets :operation, to: "measure_kernel_coverage"
 
       emits MeasureKernelCoverageRequested
@@ -698,11 +637,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to KernelRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits KernelAccepted
     end
@@ -712,9 +650,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to KernelRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits KernelCompleted
     end
@@ -724,9 +661,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to KernelRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits KernelFaulted
     end
@@ -747,12 +683,12 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenProjectKernelCapabilitiesRequested" do
     on      "KernelRun.ProjectKernelCapabilitiesRequested"
-    trigger KernelRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenMeasureKernelCoverageRequested" do
     on      "KernelRun.MeasureKernelCoverageRequested"
-    trigger KernelRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptKernelWhenExamined" do
@@ -768,7 +704,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformKernelWhenAccepted" do
     on      "KernelRun.KernelAccepted"
-    trigger KernelRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordKernelOutcome" do
@@ -790,6 +726,7 @@ Hecks.bluebook "Hecks" do
     attribute :run,       RunKey
     attribute :operation, Operation, optional: true
     attribute :confirm,   Switch, optional: true
+    attribute :additive,  Switch, optional: true
     attribute :checkout,  Switch, optional: true
     attribute :report,    Report, optional: true
     attribute :refusal,   Report, optional: true
@@ -818,15 +755,15 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "CheckEngineAgreement" do
       role "Maintainer"
       goal "Check that the query engines route every comparator through the one shared implementation"
 
-      attribute :run, RunKey
+      attribute :run, RunKey, sets: true
 
-      sets :run
       sets :operation, to: "check_engine_agreement"
 
       emits CheckEngineAgreementRequested
@@ -836,23 +773,34 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Check that every live word of the language has prose and a running example in the reference"
 
-      attribute :run, RunKey
+      attribute :run, RunKey, sets: true
 
-      sets :run
       sets :operation, to: "measure_doc_coverage"
 
       emits MeasureDocCoverageRequested
     end
 
+    command "CheckShapeLedger" do
+      role "Maintainer"
+      goal "Check that no bluebook's storage shape moved without a translation edge, and rewrite the ledger when confirmed"
+
+      attribute :run,      RunKey, sets: true
+      attribute :confirm,  Switch, optional: true, sets: true
+      # With `confirm`: write the empty edge for a shape that moved with none, for a change that only adds.
+      attribute :additive, Switch, optional: true, sets: true
+
+      sets :operation, to: "check_shape_ledger"
+
+      emits CheckShapeLedgerRequested
+    end
+
     command "ArgumentGateMatrix" do
       role "Maintainer"
       goal "Generate the argument-gate ordering matrix; rewrite it and its fixtures only when confirmed"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "argument_gate_matrix"
 
       emits ArgumentGateMatrixRequested
@@ -865,11 +813,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to ConformanceRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits ConformanceAccepted
     end
@@ -879,9 +826,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to ConformanceRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits ConformanceCompleted
     end
@@ -891,9 +837,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to ConformanceRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits ConformanceFaulted
     end
@@ -914,17 +859,22 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenCheckEngineAgreementRequested" do
     on      "ConformanceRun.CheckEngineAgreementRequested"
-    trigger ConformanceRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenMeasureDocCoverageRequested" do
     on      "ConformanceRun.MeasureDocCoverageRequested"
-    trigger ConformanceRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
+  end
+
+  policy "ExamineWhenCheckShapeLedgerRequested" do
+    on      "ConformanceRun.CheckShapeLedgerRequested"
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenArgumentGateMatrixRequested" do
     on      "ConformanceRun.ArgumentGateMatrixRequested"
-    trigger ConformanceRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptConformanceWhenExamined" do
@@ -940,7 +890,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformConformanceWhenAccepted" do
     on      "ConformanceRun.ConformanceAccepted"
-    trigger ConformanceRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordConformanceOutcome" do
@@ -988,7 +938,7 @@ Hecks.bluebook "Hecks" do
       attribute :value, String
     end
 
-    # A `CiGate` row of the Vocabulary chapter, by name.
+    # A `CiGate` row of the Vocabulary bluebook, by name.
     value_object "GateName" do
       attribute :value, String, matches: :present
     end
@@ -998,19 +948,17 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "RegenerateCorpus" do
       role "Maintainer"
       goal "Regenerate every corpus domain's Rust output, or with check only compare it with the tree"
 
-      attribute :check,   Switch, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :check,   Switch, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :check
-      sets :run
-      sets :confirm
       sets :operation, to: "regenerate_corpus"
 
       emits RegenerateCorpusRequested
@@ -1020,13 +968,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the CiGate rows into the workflows' marked detector jobs, or with check only compare them"
 
-      attribute :check,   Switch, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :check,   Switch, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :check
-      sets :run
-      sets :confirm
       sets :operation, to: "project_ci_gates"
 
       emits ProjectCiGatesRequested
@@ -1036,15 +981,11 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Project the Lane rows into the rulesets and the promotion workflow, or with live compare GitHub's rulesets"
 
-      attribute :check,   Switch, optional: true
-      attribute :live,    Switch, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :check,   Switch, optional: true, sets: true
+      attribute :live,    Switch, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :check
-      sets :live
-      sets :run
-      sets :confirm
       sets :operation, to: "project_lanes"
 
       emits ProjectLanesRequested
@@ -1054,13 +995,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Write the launcher forms of docs/tools.md from the RetiredScript rows, or with check only compare them"
 
-      attribute :check,   Switch, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :check,   Switch, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :check
-      sets :run
-      sets :confirm
       sets :operation, to: "project_tools_doc"
 
       emits ProjectToolsDocRequested
@@ -1070,11 +1008,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Say whether this run's change touches what a CiGate row guards, as the gated job's detector"
 
-      attribute :gate, GateName
-      attribute :run,  RunKey
+      attribute :gate, GateName, sets: true
+      attribute :run,  RunKey, sets: true
 
-      sets :gate
-      sets :run
       sets :operation, to: "decide_ci_gate"
 
       emits DecideCiGateRequested
@@ -1087,11 +1023,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to RegenerationRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits RegenerationAccepted
     end
@@ -1101,9 +1036,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to RegenerationRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits RegenerationCompleted
     end
@@ -1113,9 +1047,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to RegenerationRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits RegenerationFaulted
     end
@@ -1136,27 +1069,27 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenRegenerateCorpusRequested" do
     on      "RegenerationRun.RegenerateCorpusRequested"
-    trigger RegenerationRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectCiGatesRequested" do
     on      "RegenerationRun.ProjectCiGatesRequested"
-    trigger RegenerationRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectLanesRequested" do
     on      "RegenerationRun.ProjectLanesRequested"
-    trigger RegenerationRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenProjectToolsDocRequested" do
     on      "RegenerationRun.ProjectToolsDocRequested"
-    trigger RegenerationRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenDecideCiGateRequested" do
     on      "RegenerationRun.DecideCiGateRequested"
-    trigger RegenerationRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptRegenerationWhenExamined" do
@@ -1172,7 +1105,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformRegenerationWhenAccepted" do
     on      "RegenerationRun.RegenerationAccepted"
-    trigger RegenerationRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordRegenerationOutcome" do
@@ -1186,7 +1119,7 @@ Hecks.bluebook "Hecks" do
   end
 
   # Gate: the checks a stage holds a change against before it is let through. The checks are data
-  # (lib/hecks/gate/stages.yml), run together, and a red one faults the run, so `--wait` fails the
+  # (the Vocabulary gate rows), run together, and a red one faults the run, so `--wait` fails the
   # push or the build that asked, and the journal keeps when the gate went red.
   aggregate "GateRun" do
     description "One run of a stage's checks: every check of the stage, or the ones named."
@@ -1233,19 +1166,17 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "Gate" do
       role "Maintainer"
       goal "Run every check of a stage, or the ones named, and keep whether the gate is green"
 
-      attribute :stage, Stage
-      attribute :only,  CheckList, optional: true
-      attribute :run,   RunKey
+      attribute :stage, Stage, sets: true
+      attribute :only,  CheckList, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :stage
-      sets :only
-      sets :run
       sets :operation, to: "gate"
 
       emits GateRequested
@@ -1256,11 +1187,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to GateRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits GateAccepted
     end
@@ -1270,9 +1200,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that every check passed, and which"
 
       reference_to GateRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits GateCompleted
     end
@@ -1282,9 +1211,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that a check was red or the run could not be made, and why"
 
       reference_to GateRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits GateFaulted
     end
@@ -1305,7 +1233,7 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenGateRequested" do
     on      "GateRun.GateRequested"
-    trigger GateRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptGateWhenExamined" do
@@ -1321,7 +1249,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformGateWhenAccepted" do
     on      "GateRun.GateAccepted"
-    trigger GateRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordGateOutcome" do
@@ -1374,7 +1302,7 @@ Hecks.bluebook "Hecks" do
 
     # Files or directories, comma separated.
     value_object "PathList" do
-      attribute :value, String, pattern: '^[^ \t\n\r,]+(,[^ \t\n\r,]+)*$'
+      attribute :value, String, matches: :csv_list
     end
 
     # Violation categories, comma separated.
@@ -1406,19 +1334,17 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "CheckComments" do
       role "Maintainer"
       goal "List every comment that breaks the Ruby style guide"
 
-      attribute :paths, PathList
-      attribute :only,  CategoryList, optional: true
-      attribute :run,   RunKey
+      attribute :paths, PathList, sets: true
+      attribute :only,  CategoryList, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :paths
-      sets :only
-      sets :run
       sets :operation, to: "check_comments"
 
       emits CheckCommentsRequested
@@ -1428,15 +1354,11 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Rewrite the mechanical Ruby comment violations"
 
-      attribute :paths,   PathList
-      attribute :only,    CategoryList, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :paths,   PathList, sets: true
+      attribute :only,    CategoryList, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :paths
-      sets :only
-      sets :run
-      sets :confirm
       sets :operation, to: "fix_comments"
 
       emits FixCommentsRequested
@@ -1446,13 +1368,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Record every long comment block as tolerated, for lib/hecks unless paths are named"
 
-      attribute :paths,   PathList, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :paths,   PathList, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :paths
-      sets :run
-      sets :confirm
       sets :operation, to: "write_comment_baseline"
 
       emits WriteCommentBaselineRequested
@@ -1462,13 +1381,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Prove an edit was comment-only: no file's code differs from the ref"
 
-      attribute :ref,   Ref
-      attribute :paths, PathList, optional: true
-      attribute :run,   RunKey
+      attribute :ref,   Ref, sets: true
+      attribute :paths, PathList, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :ref
-      sets :paths
-      sets :run
       sets :operation, to: "check_comments_unchanged"
 
       emits CheckCommentsUnchangedRequested
@@ -1478,13 +1394,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "List every comment that breaks the Rust style guide"
 
-      attribute :paths, PathList
-      attribute :only,  CategoryList, optional: true
-      attribute :run,   RunKey
+      attribute :paths, PathList, sets: true
+      attribute :only,  CategoryList, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :paths
-      sets :only
-      sets :run
       sets :operation, to: "check_rust_comments"
 
       emits CheckRustCommentsRequested
@@ -1494,15 +1407,11 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Rewrite the mechanical Rust comment violations"
 
-      attribute :paths,   PathList
-      attribute :only,    CategoryList, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :paths,   PathList, sets: true
+      attribute :only,    CategoryList, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :paths
-      sets :only
-      sets :run
-      sets :confirm
       sets :operation, to: "fix_rust_comments"
 
       emits FixRustCommentsRequested
@@ -1512,11 +1421,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Write a JSON document with every object's keys sorted"
 
-      attribute :file, FilePath
-      attribute :run,  RunKey
+      attribute :file, FilePath, sets: true
+      attribute :run,  RunKey, sets: true
 
-      sets :file
-      sets :run
       sets :operation, to: "canonicalise"
 
       emits CanonicaliseRequested
@@ -1529,11 +1436,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to StyleRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits StyleAccepted
     end
@@ -1543,9 +1449,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to StyleRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits StyleCompleted
     end
@@ -1555,9 +1460,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to StyleRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits StyleFaulted
     end
@@ -1601,37 +1505,37 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenCheckCommentsRequested" do
     on      "StyleRun.CheckCommentsRequested"
-    trigger StyleRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenFixCommentsRequested" do
     on      "StyleRun.FixCommentsRequested"
-    trigger StyleRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenWriteCommentBaselineRequested" do
     on      "StyleRun.WriteCommentBaselineRequested"
-    trigger StyleRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenCheckCommentsUnchangedRequested" do
     on      "StyleRun.CheckCommentsUnchangedRequested"
-    trigger StyleRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenCheckRustCommentsRequested" do
     on      "StyleRun.CheckRustCommentsRequested"
-    trigger StyleRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenFixRustCommentsRequested" do
     on      "StyleRun.FixRustCommentsRequested"
-    trigger StyleRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenCanonicaliseRequested" do
     on      "StyleRun.CanonicaliseRequested"
-    trigger StyleRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptStyleWhenExamined" do
@@ -1647,7 +1551,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformStyleWhenAccepted" do
     on      "StyleRun.StyleAccepted"
-    trigger StyleRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordStyleOutcome" do
@@ -1695,7 +1599,7 @@ Hecks.bluebook "Hecks" do
 
     # Files or directories, comma separated; lib when none is named.
     value_object "PathList" do
-      attribute :value, String, pattern: '^[^ \t\n\r,]+(,[^ \t\n\r,]+)*$'
+      attribute :value, String, matches: :csv_list
     end
 
     # How many lines of the report are kept.
@@ -1710,19 +1614,17 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "Flog" do
       role "Maintainer"
       goal "Rank the Ruby methods by complexity, worst first"
 
-      attribute :paths, PathList, optional: true
-      attribute :top,   Top, optional: true
-      attribute :run,   RunKey
+      attribute :paths, PathList, optional: true, sets: true
+      attribute :top,   Top, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :paths
-      sets :top
-      sets :run
       sets :operation, to: "flog"
 
       emits FlogRequested
@@ -1732,13 +1634,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Find Ruby code that is copied or nearly copied"
 
-      attribute :paths, PathList, optional: true
-      attribute :top,   Top, optional: true
-      attribute :run,   RunKey
+      attribute :paths, PathList, optional: true, sets: true
+      attribute :top,   Top, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :paths
-      sets :top
-      sets :run
       sets :operation, to: "flay"
 
       emits FlayRequested
@@ -1748,13 +1647,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "List the design smells in the Ruby"
 
-      attribute :paths, PathList, optional: true
-      attribute :top,   Top, optional: true
-      attribute :run,   RunKey
+      attribute :paths, PathList, optional: true, sets: true
+      attribute :top,   Top, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :paths
-      sets :top
-      sets :run
       sets :operation, to: "reek"
 
       emits ReekRequested
@@ -1764,13 +1660,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Write the combined quality report, with git churn"
 
-      attribute :paths, PathList, optional: true
-      attribute :top,   Top, optional: true
-      attribute :run,   RunKey
+      attribute :paths, PathList, optional: true, sets: true
+      attribute :top,   Top, optional: true, sets: true
+      attribute :run,   RunKey, sets: true
 
-      sets :paths
-      sets :top
-      sets :run
       sets :operation, to: "rubycritic"
 
       emits RubycriticRequested
@@ -1783,11 +1676,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to InspectionRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits InspectionAccepted
     end
@@ -1797,9 +1689,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the inspection was carried out, and what it reported"
 
       reference_to InspectionRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits InspectionCompleted
     end
@@ -1809,9 +1700,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the inspection was refused or could not be carried out, and why"
 
       reference_to InspectionRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits InspectionFaulted
     end
@@ -1828,26 +1718,90 @@ Hecks.bluebook "Hecks" do
       where(status: "faulted")
       order_by :run
     end
+
+    # A regular expression, matched against one line of text at a time.
+    value_object "Pattern" do
+      attribute :value, String, matches: :present
+    end
+
+    # An answer that is one document of text, one `path:line: text` row to a match.
+    value_object "Document" do
+      attribute :text, String
+    end
+
+    query "Search" do
+      description "The lines of the checkout's text files that match a pattern, as path:line: text."
+      attribute :pattern, Pattern
+      attribute :paths, PathList, optional: true
+      attribute :top, Top, optional: true
+      returns Document
+    end
+
+    # A file of the checkout, named from its root.
+    value_object "SourcePath" do
+      attribute :value, String, matches: :present
+    end
+
+    # A line of a file, counted from 1.
+    value_object "LineNumber" do
+      attribute :value, Integer
+
+      invariant("a line is counted from 1") { value > 0 }
+    end
+
+    # The name a construct is declared under, as it stands between the quotes.
+    value_object "DeclaredName" do
+      attribute :value, String, matches: :present
+    end
+
+    # What a declaration is: aggregate, command, query, policy and the rest.
+    value_object "DeclaredKind" do
+      attribute :value, String, pattern: '^[a-z_]+$'
+    end
+
+    query "ReadSource" do
+      description "The numbered lines of one file of the checkout, whole or from one line to another."
+      attribute :path, SourcePath
+      attribute :from, LineNumber, optional: true
+      attribute :to,   LineNumber, optional: true
+      attribute :top,  Top, optional: true
+      returns Document
+    end
+
+    query "Outline" do
+      description "What a file declares, by line: each construct of a bluebook, each definition of Ruby."
+      attribute :path, SourcePath
+      returns Document
+    end
+
+    query "Declaration" do
+      description "Where a named construct is declared across the corpus, as path:from-to, with its text on request."
+      attribute :name,  DeclaredName
+      attribute :kind,  DeclaredKind, optional: true
+      attribute :paths, PathList, optional: true
+      attribute :show,  Switch, optional: true
+      returns Document
+    end
   end
 
   policy "ExamineWhenFlogRequested" do
     on      "InspectionRun.FlogRequested"
-    trigger InspectionRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenFlayRequested" do
     on      "InspectionRun.FlayRequested"
-    trigger InspectionRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenReekRequested" do
     on      "InspectionRun.ReekRequested"
-    trigger InspectionRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenRubycriticRequested" do
     on      "InspectionRun.RubycriticRequested"
-    trigger InspectionRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptInspectionWhenExamined" do
@@ -1863,7 +1817,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformInspectionWhenAccepted" do
     on      "InspectionRun.InspectionAccepted"
-    trigger InspectionRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordInspectionOutcome" do
@@ -1913,17 +1867,16 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "HoistLocalGivens" do
       role "Maintainer"
       goal "Hoist a given that several commands of one owner repeat into one owner-level given"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "hoist_local_givens"
 
       emits HoistLocalGivensRequested
@@ -1933,11 +1886,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Drop an attribute line that only repeats what an append target element declares"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "drop_implicit_append_fields"
 
       emits DropImplicitAppendFieldsRequested
@@ -1950,11 +1901,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to CodemodRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits CodemodAccepted
     end
@@ -1964,9 +1914,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to CodemodRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits CodemodCompleted
     end
@@ -1976,9 +1925,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to CodemodRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits CodemodFaulted
     end
@@ -1999,12 +1947,12 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenHoistLocalGivensRequested" do
     on      "CodemodRun.HoistLocalGivensRequested"
-    trigger CodemodRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenDropImplicitAppendFieldsRequested" do
     on      "CodemodRun.DropImplicitAppendFieldsRequested"
-    trigger CodemodRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptCodemodWhenExamined" do
@@ -2020,7 +1968,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformCodemodWhenAccepted" do
     on      "CodemodRun.CodemodAccepted"
-    trigger CodemodRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordCodemodOutcome" do
@@ -2053,6 +2001,11 @@ Hecks.bluebook "Hecks" do
     attribute :fixture,     FixtureName, optional: true
     attribute :exclude,     ExcludePattern, optional: true
     attribute :tags,        TagArguments, optional: true
+    attribute :strict,      Switch, optional: true
+    attribute :seeds,       Count, optional: true
+    attribute :environment, EnvironmentName, optional: true
+    attribute :declaration_cache, Switch, optional: true
+    attribute :crate,       CrateName, optional: true
     attribute :write,       FilePath, optional: true
     attribute :group,       Count, optional: true
     attribute :groups,      Count, optional: true
@@ -2122,26 +2075,34 @@ Hecks.bluebook "Hecks" do
       attribute :value, String, pattern: '^[^\t\n\r]+$'
     end
 
+    # An environment overlay's name, as `environments/<name>.world` spells it.
+    value_object "EnvironmentName" do
+      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+    end
+
+    # A Rust test target whose fuzzers take their seed counts as arguments: the host, the parser,
+    # or the JSON parse fuzzer of the root crate.
+    value_object "CrateName" do
+      attribute :value, String, pattern: '^(host|parser|json)$'
+    end
+
     lifecycle :status, default: "requested" do
       mark :failure, "faulted"
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "RefreshRuntimeBaseline" do
       role "Maintainer"
       goal "Regenerate the committed runtime baselines the sharded jobs group from"
 
-      attribute :workers,  Count, default: 6
-      attribute :from_run, RunId, optional: true
-      attribute :run,      RunKey
-      attribute :confirm,  Switch, optional: true
+      attribute :workers,  Count, default: 6, sets: true
+      attribute :from_run, RunId, optional: true, sets: true
+      attribute :run,      RunKey, sets: true
+      attribute :confirm,  Switch, optional: true, sets: true
 
-      sets :workers
-      sets :from_run
-      sets :run
-      sets :confirm
       sets :operation, to: "refresh_runtime_baseline"
 
       emits RefreshRuntimeBaselineRequested
@@ -2151,13 +2112,22 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Run one spec file filtered to one example, through the test runner in this process"
 
-      attribute :file,    FilePath
-      attribute :example, ExampleText
-      attribute :run,     RunKey
+      attribute :file,        FilePath, sets: true
+      attribute :example,     ExampleText, sets: true
+      attribute :run,         RunKey, sets: true
+      # Run the specs as CI does: the slow io, process and fuzzing groups included, and a Postgres
+      # that is not reachable a failure, not a skip.
+      attribute :strict,      Switch, optional: true, sets: true
+      # How many seeds the property specs try, where they default to a few.
+      attribute :seeds,       Count, optional: true, sets: true
+      # The environment overlay the example boots its domains on, such as `memory`.
+      attribute :environment, EnvironmentName, optional: true, sets: true
+      # RSpec tag filters, such as `cloudfront` for the examples that call a real AWS account.
+      attribute :tags, TagArguments, optional: true, sets: true
+      # Whether specs share the loaded declarations of an unchanged domain directory; false loads each
+      # boot afresh.
+      attribute :declaration_cache, Switch, default: true, sets: true
 
-      sets :file
-      sets :example
-      sets :run
       sets :operation, to: "run_spec_example"
 
       emits RunSpecExampleRequested
@@ -2167,30 +2137,51 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Rerun the thread-safety specs under many seeds, several processes at a time"
 
-      attribute :runs,       Count, default: 30
+      attribute :runs,       Count, default: 30, sets: true
       # The machine's own core count when none is named, which no fixed default can say.
-      attribute :parallel,   Count, optional: true
-      attribute :seed_start, Count, default: 1
-      attribute :run,        RunKey
-
-      sets :runs
-      sets :parallel
-      sets :seed_start
-      sets :run
+      attribute :parallel,   Count, optional: true, sets: true
+      attribute :seed_start, Count, default: 1, sets: true
+      attribute :run,        RunKey, sets: true
+
       sets :operation, to: "stress_concurrency"
 
       emits StressConcurrencyRequested
     end
 
+    command "RunCargoTests" do
+      role "Maintainer"
+      goal "Run the cargo tests of the host, the parser or the JSON fuzzer, with the seed counts their fuzzers take"
+
+      attribute :crate,       CrateName, sets: true
+      attribute :seeds,       Count, optional: true, sets: true
+      attribute :seed_start,  Count, optional: true, sets: true
+      attribute :run,         RunKey, sets: true
+
+      sets :operation, to: "run_cargo_tests"
+
+      emits RunCargoTestsRequested
+    end
+
+    # The caches key on a digest of what they were built from, so a stale entry is never read; this
+    # is for ruling a cache out as the cause of a surprise, which turning it off used to do.
+    command "ClearCaches" do
+      role "Maintainer"
+      goal "Delete the on-disk syntax-boot and verdict caches, so the next boot builds and judges afresh"
+
+      attribute :run, RunKey, sets: true
+
+      sets :operation, to: "clear_caches"
+
+      emits ClearCachesRequested
+    end
+
     command "RegenerateLegacyFixtures" do
       role "Maintainer"
       goal "Regenerate the persistence legacy fixtures through the real adapters"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "regenerate_legacy_fixtures"
 
       emits RegenerateLegacyFixturesRequested
@@ -2200,11 +2191,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Fill the expected outcome of every semantics fixture that lacks one, or re-seed one"
 
-      attribute :fixture, FixtureName, optional: true
-      attribute :run,     RunKey
+      attribute :fixture, FixtureName, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
 
-      sets :fixture
-      sets :run
       sets :operation, to: "seed_semantics_corpus"
 
       emits SeedSemanticsCorpusRequested
@@ -2214,17 +2203,12 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Write the committed list of the spec files a tag filter selects"
 
-      attribute :exclude, ExcludePattern
-      attribute :tags,    TagArguments, optional: true
-      attribute :write,   FilePath
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
-
-      sets :exclude
-      sets :tags
-      sets :write
-      sets :run
-      sets :confirm
+      attribute :exclude, ExcludePattern, sets: true
+      attribute :tags,    TagArguments, optional: true, sets: true
+      attribute :write,   FilePath, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
+
       sets :operation, to: "write_io_parallel_spec_list"
 
       emits WriteIoParallelSpecListRequested
@@ -2237,11 +2221,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to TestSuiteRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits TestSuiteAccepted
     end
@@ -2251,9 +2234,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to TestSuiteRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits TestSuiteCompleted
     end
@@ -2263,9 +2245,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to TestSuiteRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits TestSuiteFaulted
     end
@@ -2312,32 +2293,42 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenRefreshRuntimeBaselineRequested" do
     on      "TestSuiteRun.RefreshRuntimeBaselineRequested"
-    trigger TestSuiteRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenRunSpecExampleRequested" do
     on      "TestSuiteRun.RunSpecExampleRequested"
-    trigger TestSuiteRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenStressConcurrencyRequested" do
     on      "TestSuiteRun.StressConcurrencyRequested"
-    trigger TestSuiteRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
+  end
+
+  policy "ExamineWhenRunCargoTestsRequested" do
+    on      "TestSuiteRun.RunCargoTestsRequested"
+    ask     :examine, with: { run: :run }
+  end
+
+  policy "ExamineWhenClearCachesRequested" do
+    on      "TestSuiteRun.ClearCachesRequested"
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenRegenerateLegacyFixturesRequested" do
     on      "TestSuiteRun.RegenerateLegacyFixturesRequested"
-    trigger TestSuiteRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenSeedSemanticsCorpusRequested" do
     on      "TestSuiteRun.SeedSemanticsCorpusRequested"
-    trigger TestSuiteRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenWriteIoParallelSpecListRequested" do
     on      "TestSuiteRun.WriteIoParallelSpecListRequested"
-    trigger TestSuiteRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptTestSuiteWhenExamined" do
@@ -2353,7 +2344,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformTestSuiteWhenAccepted" do
     on      "TestSuiteRun.TestSuiteAccepted"
-    trigger TestSuiteRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordTestSuiteOutcome" do
@@ -2384,17 +2375,30 @@ Hecks.bluebook "Hecks" do
     attribute :name,      ConstructName, optional: true
     attribute :field,     FieldName, optional: true
     attribute :port,      Port, optional: true
+    attribute :agent,     AgentName, optional: true
+    attribute :directory, Directory, optional: true
     attribute :checkout,  Switch, optional: true
     attribute :report,    Report, optional: true
     attribute :refusal,   Report, optional: true
     identified_by :run
 
+    # One directory of files, named by a path.
+    value_object "Directory" do
+      attribute :value, String, matches: :present
+    end
+
     value_object "RunKey" do
       attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
+    # Which agent drives the Composer's assistant: the real `claude`, or a scripted `fake` for
+    # trying the editor without a model.
+    value_object "AgentName" do
+      attribute :value, String, pattern: '^(claude|fake)$'
+    end
+
     value_object "Operation" do
       attribute :value, String, matches: :present
     end
@@ -2414,12 +2418,12 @@ Hecks.bluebook "Hecks" do
 
     # Domain directories, comma separated.
     value_object "PathList" do
-      attribute :value, String, pattern: '^[^ \t\n\r,]+(,[^ \t\n\r,]+)*$'
+      attribute :value, String, matches: :csv_list
     end
 
     # The name of one IR construct.
     value_object "ConstructName" do
-      attribute :value, String, pattern: '^[A-Za-z][A-Za-z0-9_]*$'
+      attribute :value, String, matches: :identifier
     end
 
     # The name of one field of a construct.
@@ -2439,15 +2443,15 @@ Hecks.bluebook "Hecks" do
       transition "Accept"   => "accepted",  from: "requested"
       transition "Complete" => "completed", from: "accepted"
       transition "Fault"    => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "ServeQueryIrMcp" do
       role "Maintainer"
       goal "Serve the IR queries to an MCP client over stdio until it closes"
 
-      attribute :run, RunKey
+      attribute :run, RunKey, sets: true
 
-      sets :run
       sets :operation, to: "serve_query_ir_mcp"
 
       emits ServeQueryIrMcpRequested
@@ -2457,11 +2461,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Serve the banking example's rendered forms and views on a local port until stopped"
 
-      attribute :port, Port, optional: true
-      attribute :run,  RunKey
+      attribute :port, Port, optional: true, sets: true
+      attribute :run,  RunKey, sets: true
 
-      sets :port
-      sets :run
       sets :operation, to: "present"
 
       emits PresentRequested
@@ -2471,18 +2473,29 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Serve the Composer, a live bluebook editor over one domain directory, on a local port until stopped"
 
-      attribute :port,    Port, optional: true
-      attribute :domains, PathList, optional: true
-      attribute :run,     RunKey
+      attribute :port,    Port, optional: true, sets: true
+      attribute :domains, PathList, optional: true, sets: true
+      attribute :agent,   AgentName, default: "claude", sets: true
+      attribute :run,     RunKey, sets: true
 
-      sets :port
-      sets :domains
-      sets :run
       sets :operation, to: "compose"
 
       emits ComposeRequested
     end
 
+    command "Preview" do
+      role "Maintainer"
+      goal "Serve one directory of static files, such as a website, on a local port until stopped"
+
+      attribute :directory, Directory, sets: true
+      attribute :port,      Port, optional: true, sets: true
+      attribute :run,       RunKey, sets: true
+
+      sets :operation, to: "preview"
+
+      emits PreviewRequested
+    end
+
     # What the tree reported about itself, held against every request: nothing here runs
     # outside a hecks checkout (hecks.gemspec beside lib/).
     command "Accept" do
@@ -2490,11 +2503,10 @@ Hecks.bluebook "Hecks" do
       goal "Let a request through only when the working tree is a hecks checkout"
 
       reference_to CorpusRun
-      attribute :checkout, Switch
+      attribute :checkout, Switch, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
 
-      sets :checkout
 
       emits CorpusAccepted
     end
@@ -2504,9 +2516,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was carried out, and what it reported"
 
       reference_to CorpusRun
-      attribute :report, Report
+      attribute :report, Report, sets: true
 
-      sets :report
 
       emits CorpusCompleted
     end
@@ -2516,9 +2527,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to CorpusRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits CorpusFaulted
     end
@@ -2579,17 +2589,22 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenServeQueryIrMcpRequested" do
     on      "CorpusRun.ServeQueryIrMcpRequested"
-    trigger CorpusRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenPresentRequested" do
     on      "CorpusRun.PresentRequested"
-    trigger CorpusRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenComposeRequested" do
     on      "CorpusRun.ComposeRequested"
-    trigger CorpusRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
+  end
+
+  policy "ExamineWhenPreviewRequested" do
+    on      "CorpusRun.PreviewRequested"
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptCorpusWhenExamined" do
@@ -2605,7 +2620,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformCorpusWhenAccepted" do
     on      "CorpusRun.CorpusAccepted"
-    trigger CorpusRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordCorpusOutcome" do
@@ -2626,6 +2641,13 @@ Hecks.bluebook "Hecks" do
   aggregate "PublishingRun" do
     description "One release of the gem, or the rehearsal of it: judged by the facts, then carried out."
 
+    acknowledges :key_by_value, "the version this run tags; its Release is made by the run's own Tag, so a reference would require the record the command exists to make",
+                 of: :version
+    acknowledges :key_by_value, "the client package's version, not a gem Release",
+                 of: :client_version
+    acknowledges :key_by_value, "the IR format's version, not a gem Release",
+                 of: :ir_version
+
     attribute :run,            RunKey
     attribute :operation,      Operation, optional: true
     attribute :confirm,        Switch, optional: true
@@ -2677,7 +2699,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "Version" do
-      attribute :value, String, pattern: '^[0-9]+[.][0-9]+[.][0-9]+'
+      attribute :value, String, matches: :version
     end
 
     # The working tree the release is cut from.
@@ -2691,25 +2713,20 @@ Hecks.bluebook "Hecks" do
       transition "AcceptGem"  => "accepted",  from: "requested"
       transition "Complete"   => "completed", from: "accepted"
       transition "Fault"      => "faulted",   from: %w[requested accepted]
+      mark :terminal, "completed", "faulted"
     end
 
     command "Publish" do
       role "Maintainer"
       goal "Tag the merged release commit, publish the gem, and get the client package published"
 
-      attribute :gem_only,  Switch, optional: true
-      attribute :npm_only,  Switch, optional: true
-      attribute :npm_local, Switch, optional: true
-      attribute :no_wait,   Switch, optional: true
-      attribute :run,       RunKey
-      attribute :confirm,   Switch, optional: true
-
-      sets :gem_only
-      sets :npm_only
-      sets :npm_local
-      sets :no_wait
-      sets :run
-      sets :confirm
+      attribute :gem_only,  Switch, optional: true, sets: true
+      attribute :npm_only,  Switch, optional: true, sets: true
+      attribute :npm_local, Switch, optional: true, sets: true
+      attribute :no_wait,   Switch, optional: true, sets: true
+      attribute :run,       RunKey, sets: true
+      attribute :confirm,   Switch, optional: true, sets: true
+
       sets :operation, to: "publish"
 
       emits PublishRequested
@@ -2719,11 +2736,9 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Build the gem and push it to the gem registry, with the key the vault holds"
 
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :run
-      sets :confirm
       sets :operation, to: "publish_gem"
 
       emits PublishGemRequested
@@ -2736,19 +2751,19 @@ Hecks.bluebook "Hecks" do
       goal "Let a release go ahead only in a hecks checkout, and only when the facts satisfy every rule"
 
       reference_to PublishingRun
-      attribute :checkout,       Switch
-      attribute :branch,         Word
-      attribute :release_lane,   Word
-      attribute :on_origin,      Switch
-      attribute :clean,          Switch
-      attribute :version,        Version
-      attribute :client_version, Version
-      attribute :changelog,      Switch
-      attribute :approved,       Switch
-      attribute :tag_state,      Word
-      attribute :head,           Word
-      attribute :ir_version,     Version
-      attribute :ships_from,     Checkout
+      attribute :checkout,       Switch, sets: true
+      attribute :branch,         Word, sets: true
+      attribute :release_lane,   Word, sets: true
+      attribute :on_origin,      Switch, sets: true
+      attribute :clean,          Switch, sets: true
+      attribute :version,        Version, sets: true
+      attribute :client_version, Version, sets: true
+      attribute :changelog,      Switch, sets: true
+      attribute :approved,       Switch, sets: true
+      attribute :tag_state,      Word, sets: true
+      attribute :head,           Word, sets: true
+      attribute :ir_version,     Version, sets: true
+      attribute :ships_from,     Checkout, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
       given("a release is cut from the release lane (the Lane row that feeds a tag): switch to it first") do
@@ -2767,19 +2782,6 @@ Hecks.bluebook "Hecks" do
         tag_state.value != "elsewhere"
       end
 
-      sets :checkout
-      sets :branch
-      sets :release_lane
-      sets :on_origin
-      sets :clean
-      sets :version
-      sets :client_version
-      sets :changelog
-      sets :approved
-      sets :tag_state
-      sets :head
-      sets :ir_version
-      sets :ships_from
 
       emits PublishingAccepted
     end
@@ -2790,22 +2792,17 @@ Hecks.bluebook "Hecks" do
       goal "Let a gem push go ahead only in a hecks checkout, with the client package at the gem's version"
 
       reference_to PublishingRun
-      attribute :checkout,       Switch
-      attribute :version,        Version
-      attribute :client_version, Version
-      attribute :ir_version,     Version
-      attribute :ships_from,     Checkout
+      attribute :checkout,       Switch, sets: true
+      attribute :version,        Version, sets: true
+      attribute :client_version, Version, sets: true
+      attribute :ir_version,     Version, sets: true
+      attribute :ships_from,     Checkout, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
       given("the client package is at the gem's version: bump the package first") do
         client_version.value == version.value
       end
 
-      sets :checkout
-      sets :version
-      sets :client_version
-      sets :ir_version
-      sets :ships_from
 
       emits GemAccepted
     end
@@ -2815,15 +2812,11 @@ Hecks.bluebook "Hecks" do
       goal "Record that the release was carried out, what it did, and what it reported"
 
       reference_to PublishingRun
-      attribute :report,    Report
-      attribute :tagged,    Switch
-      attribute :published, Switch
-      attribute :verified,  Switch
+      attribute :report,    Report, sets: true
+      attribute :tagged,    Switch, sets: true
+      attribute :published, Switch, sets: true
+      attribute :verified,  Switch, sets: true
 
-      sets :report
-      sets :tagged
-      sets :published
-      sets :verified
 
       emits PublishingCompleted
     end
@@ -2833,9 +2826,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the request was refused or could not be carried out, and why"
 
       reference_to PublishingRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits PublishingFaulted
     end
@@ -2856,12 +2848,12 @@ Hecks.bluebook "Hecks" do
 
   policy "ExaminePublishingWhenPublishRequested" do
     on      "PublishingRun.PublishRequested"
-    trigger PublishingRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExaminePublishingWhenPublishGemRequested" do
     on      "PublishingRun.PublishGemRequested"
-    trigger PublishingRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "AcceptTheReleaseWhenExamined" do
@@ -2903,12 +2895,12 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformPublishingWhenAccepted" do
     on      "PublishingRun.PublishingAccepted"
-    trigger PublishingRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "PerformPublishingWhenGemAccepted" do
     on      "PublishingRun.GemAccepted"
-    trigger PublishingRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   # A real run advances the root Release: tagged when the tag was made, published when a registry
@@ -3023,6 +3015,7 @@ Hecks.bluebook "Hecks" do
       transition "Complete" => "completed", from: %w[accepted observed]
       transition "Fault"    => "faulted",   from: %w[requested accepted]
       transition "Lag"      => "faulted",   from: "observed"
+      mark :terminal, "completed", "faulted"
     end
 
     # Looks at a lane and moves nothing: faults when it has stood behind the lane it follows for
@@ -3032,13 +3025,10 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Fault when a lane has stood behind the lane it follows for longer than its Lane row allows"
 
-      attribute :lane,      Word
-      attribute :run,       RunKey
-      attribute :alert_key, Word
+      attribute :lane,      Word, sets: true
+      attribute :run,       RunKey, sets: true
+      attribute :alert_key, Word, sets: true
 
-      sets :lane
-      sets :run
-      sets :alert_key
       sets :operation, to: "watch"
 
       emits WatchRequested
@@ -3048,15 +3038,11 @@ Hecks.bluebook "Hecks" do
       role "Maintainer"
       goal "Move a lane onto a commit that has passed every required check, or with no --confirm rehearse the move"
 
-      attribute :lane,    Word
-      attribute :commit,  Word, optional: true
-      attribute :run,     RunKey
-      attribute :confirm, Switch, optional: true
+      attribute :lane,    Word, sets: true
+      attribute :commit,  Word, optional: true, sets: true
+      attribute :run,     RunKey, sets: true
+      attribute :confirm, Switch, optional: true, sets: true
 
-      sets :lane
-      sets :commit
-      sets :run
-      sets :confirm
       sets :operation, to: "promote"
 
       emits PromoteRequested
@@ -3069,24 +3055,18 @@ Hecks.bluebook "Hecks" do
       goal "Let a lane move only in a hecks checkout, onto a commit that is green on every required check and contains the lane's head"
 
       reference_to PromotionRun
-      attribute :checkout,   Switch
-      attribute :lane_known, Switch
-      attribute :green,      Switch
-      attribute :descends,   Switch
-      attribute :commit,     Word
-      attribute :head,       Word, optional: true
+      attribute :checkout,   Switch, sets: true
+      attribute :lane_known, Switch, sets: true
+      attribute :green,      Switch, sets: true
+      attribute :descends,   Switch, sets: true
+      attribute :commit,     Word, sets: true
+      attribute :head,       Word, optional: true, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
       given("the lane is one of the Lane rows, and follows another lane") { lane_known.value }
       given("every RequiredCheck is green on the commit: wait for the checks, or fix the red one") { green.value }
       given("the commit is on the lane it follows and contains the lane's head: a lane only moves forward") { descends.value }
 
-      sets :checkout
-      sets :lane_known
-      sets :green
-      sets :descends
-      sets :commit
-      sets :head
 
       emits PromotionAccepted
     end
@@ -3098,24 +3078,17 @@ Hecks.bluebook "Hecks" do
       goal "Let a lane be judged late or on time only in a hecks checkout, for a lane that follows another"
 
       reference_to PromotionRun
-      attribute :checkout,     Switch
-      attribute :lane_known,   Switch
-      attribute :behind_hours, Hours
-      attribute :limit_hours,  Hours
-      attribute :alert_key,    Word
-      attribute :promoted,     Switch
-      attribute :reason,       Report
+      attribute :checkout,     Switch, sets: true
+      attribute :lane_known,   Switch, sets: true
+      attribute :behind_hours, Hours, sets: true
+      attribute :limit_hours,  Hours, sets: true
+      attribute :alert_key,    Word, sets: true
+      attribute :promoted,     Switch, sets: true
+      attribute :reason,       Report, sets: true
 
       given("needs a hecks checkout: hecks.gemspec stands beside lib/") { checkout.value }
       given("the lane is one of the Lane rows, and follows another lane") { lane_known.value }
 
-      sets :checkout
-      sets :lane_known
-      sets :behind_hours
-      sets :limit_hours
-      sets :alert_key
-      sets :promoted
-      sets :reason
 
       emits LaneObserved
     end
@@ -3125,11 +3098,9 @@ Hecks.bluebook "Hecks" do
       goal "Record that the promotion was carried out or rehearsed, or the lane was on time, and what it reported"
 
       reference_to PromotionRun
-      attribute :report,   Report
-      attribute :promoted, Switch
+      attribute :report,   Report, sets: true
+      attribute :promoted, Switch, sets: true
 
-      sets :report
-      sets :promoted
 
       emits PromotionCompleted
     end
@@ -3140,11 +3111,9 @@ Hecks.bluebook "Hecks" do
       goal "Record that a lane is late, and what it is waiting on, under the alert key that names its finding"
 
       reference_to PromotionRun
-      attribute :refusal,   Report
-      attribute :alert_key, Word
+      attribute :refusal,   Report, sets: true
+      attribute :alert_key, Word, sets: true
 
-      sets :refusal
-      sets :alert_key
 
       emits LaneLagged
     end
@@ -3154,9 +3123,8 @@ Hecks.bluebook "Hecks" do
       goal "Record that the promotion was refused or could not be carried out, and why"
 
       reference_to PromotionRun
-      attribute :refusal, Report
+      attribute :refusal, Report, sets: true
 
-      sets :refusal
 
       emits PromotionFaulted
     end
@@ -3177,12 +3145,12 @@ Hecks.bluebook "Hecks" do
 
   policy "ExamineWhenPromoteRequested" do
     on      "PromotionRun.PromoteRequested"
-    trigger PromotionRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ExamineWhenWatchRequested" do
     on      "PromotionRun.WatchRequested"
-    trigger PromotionRun::SourceTree::Examine, with: { run: :run }
+    ask     :examine, with: { run: :run }
   end
 
   policy "ObserveWhenWatchExamined" do
@@ -3226,7 +3194,7 @@ Hecks.bluebook "Hecks" do
 
   policy "PerformPromotionWhenAccepted" do
     on      "PromotionRun.PromotionAccepted"
-    trigger PromotionRun::SourceTree::Perform, with: { run: :run }
+    ask     :perform, with: { run: :run }
   end
 
   policy "RecordPromotionOutcome" do