hecks 3.13.0 → 4.0.0

data/lib/hecks/hecks/hecks.bluebook

@@ -14,7 +14,7 @@ Hecks.bluebook "Hecks" do
     identified_by :version
 
     value_object "FindingKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Version" do
@@ -94,7 +94,7 @@ Hecks.bluebook "Hecks" do
     identified_by :digest
 
     value_object "Digest" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a digest is present") { !value.to_s.empty? }
     end

data/lib/hecks/hecks/hecks.hecksagon

@@ -2,8 +2,8 @@ Hecks.hecksagon "Hecks" do
   attaches "Governance"
 
   # The chapters the gem carries: the language declared in itself (Paging comes with Bluebook),
-  # Expression, Tenancy, Deploy, Site, Tickets and QualityControl (the last three bring their own ports).
-  %w[Bluebook Hecksagon World Adapter Port Translation Expression Tenancy Deploy Site Tickets QualityControl]
+  # Expression, Tenancy, Deploy, Site, Tickets, Composer and QualityControl (the last three bring their own ports).
+  %w[Bluebook Hecksagon World Adapter Port Translation Expression Tenancy Deploy Site Tickets Composer QualityControl]
     .each { |chapter| attaches chapter }
   # Persistence is not bound here: hecks.world's `default_adapter` binds every aggregate, so
   # environments/memory.world can swap the whole domain without a double bind.

data/lib/hecks/hecks/hecks.world

@@ -61,7 +61,7 @@ Hecks.world "Hecks" do
                                       CodemodRun TestSuiteRun CorpusRun PublishingRun PromotionRun Release
                                       SyntaxBootCache],
                        newcomer: %w[launch.init launch.interview operation.open_console],
-                       chapters: %w[Deploy Governance Tenancy Site Tickets QualityControl],
+                       chapters: %w[Deploy Governance Tenancy Site Tickets Composer QualityControl],
                        maintainer_chapters: %w[Bluebook Hecksagon World Adapter Port Translation Expression],
                        memory_commands: %w[console init interview],
                        legacy: %w[run docs narrate ir stores model_check smoke_test

data/lib/hecks/hecks/rehearsal.bluebook

@@ -35,7 +35,6 @@ Hecks.bluebook "Hecks" do
     attribute :after,          ShapeLabel,  optional: true
     attribute :minting,        Minting,     optional: true
     attribute :edge_present,   Switch,      optional: true
-    attribute :edge_approved,  Switch,      optional: true
     attribute :refused_rows,   list_of(RefusedRow), optional: true
     attribute :refusal_total,  Count,       optional: true
     attribute :audited,        Switch,      optional: true
@@ -53,14 +52,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a rehearsal is named") { !value.to_s.empty? }
     end
 
     # The domain's directory: where its bluebooks and its `.world` stand.
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # The Hecks the rehearsal must run on: a release (`3.9.0`) or a commit, whole or a prefix.
@@ -69,7 +68,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "HostVersion" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # Which strategy the subject's world named for the copy of its data.
@@ -279,15 +278,14 @@ Hecks.bluebook "Hecks" do
       emits RehearsalBooted
     end
 
-    # The mint's own three layers and its edge, approval and coverage rules, run over the copy.
+    # The mint's own three layers and its edge and coverage rules, run over the copy.
     command "Audit" do
       role "System"
-      goal "Record whether an edge leads to the shape and is approved, and every row the mint's audit would refuse"
+      goal "Record whether an edge leads to the shape, and every row the mint's audit would refuse"
 
       reference_to RehearsalRun
       attribute :minting,       Minting
       attribute :edge_present,  Switch
-      attribute :edge_approved, Switch
       attribute :refused_rows,  list_of(RefusedRow), optional: true
       attribute :refusal_total, Count
       attribute :audited,       Switch
@@ -302,7 +300,6 @@ Hecks.bluebook "Hecks" do
 
       sets :minting
       sets :edge_present
-      sets :edge_approved
       sets :refused_rows
       sets :refusal_total
       sets :audited
@@ -326,7 +323,6 @@ Hecks.bluebook "Hecks" do
       attribute :verdict,       Verdict
       attribute :refusal_total, Count
       attribute :edge_present,  Switch
-      attribute :edge_approved, Switch
 
       given("a rehearsal that finds a refused row would not mint") { refusal_total.value == 0 }
       given("a rehearsal judged to mint names that verdict") { verdict.value == "would_mint" }
@@ -439,7 +435,7 @@ Hecks.bluebook "Hecks" do
 
   policy "RecordAuditWhenStoreExamined" do
     on      "RehearsalRun.StoreExamined"
-    trigger RehearsalRun::Audit, with: { minting: :minting, edge_present: :edge_present, edge_approved: :edge_approved,
+    trigger RehearsalRun::Audit, with: { minting: :minting, edge_present: :edge_present,
                                           refused_rows: :refused_rows, refusal_total: :refusal_total,
                                           audited: :audited, rows_examined: :rows_examined,
                                           rust_rows_examined: :rust_rows_examined,
@@ -451,11 +447,10 @@ Hecks.bluebook "Hecks" do
   policy "JudgeWhenNothingWouldStopTheMint" do
     on      "RehearsalRun.RehearsalAudited"
     where do
-      (minting.value != "next" || edge_present.value) && refusal_total.value == 0 &&
-        (minting.value != "next" || edge_approved.value)
+      (minting.value != "next" || edge_present.value) && refusal_total.value == 0
     end
     trigger RehearsalRun::Judge, with: { verdict: "would_mint", refusal_total: :refusal_total,
-                                          edge_present: :edge_present, edge_approved: :edge_approved }
+                                          edge_present: :edge_present }
   end
 
   policy "WithholdWhenNoEdgeLeadsOn" do
@@ -468,10 +463,9 @@ Hecks.bluebook "Hecks" do
   policy "WithholdWhenTheMintWouldRefuse" do
     on      "RehearsalRun.RehearsalAudited"
     where do
-      (minting.value != "next" || edge_present.value) &&
-        (refusal_total.value > 0 || (minting.value == "next" && !edge_approved.value))
+      (minting.value != "next" || edge_present.value) && refusal_total.value > 0
     end
     trigger RehearsalRun::Withhold, with: { verdict: "would_refuse",
-                                             refusal: "the mint would refuse: see the refused rows and the edge's approval" }
+                                             refusal: "the mint would refuse: see the refused rows" }
   end
 end

data/lib/hecks/hecks/tooling.bluebook

@@ -10,19 +10,19 @@ Hecks.bluebook "Hecks" do
     identified_by :domain
 
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a domain is named by its path") { !value.to_s.empty? }
     end
 
     value_object "ChapterName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a chapter is named") { !value.to_s.empty? }
     end
 
     value_object "AggregateName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("an aggregate is named") { !value.to_s.empty? }
     end
@@ -128,13 +128,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "DomainList" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "ProfileName" do
@@ -254,7 +254,7 @@ Hecks.bluebook "Hecks" do
 
     # A directory: the source repository (`from`), or the project the files land in (`root`).
     value_object "Location" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Report" do
@@ -383,18 +383,18 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RegistryKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a release is named") { !value.to_s.empty? }
     end
 
     value_object "PackageName" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
     end
 
     # The registry repository: the current directory when absent.
     value_object "Location" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Report" do
@@ -520,14 +520,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "LaunchKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a launch is named") { !value.to_s.empty? }
     end
 
     # Domain directories under the project, comma separated.
     value_object "DomainList" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Switch" do
@@ -546,12 +546,12 @@ Hecks.bluebook "Hecks" do
 
     # Where the new domain goes; the domain's snake-cased name under the current directory when absent.
     value_object "TargetDir" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # Who is interviewed; asked for at the terminal when absent.
     value_object "ExpertName" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Note" do
@@ -724,7 +724,7 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "BuildKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a build is named") { !value.to_s.empty? }
     end
@@ -737,18 +737,18 @@ Hecks.bluebook "Hecks" do
 
     # A generated module: the directory name a domain was built as.
     value_object "ModuleName" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
     end
 
     # A JSON file of steps for a domain to replay.
     value_object "ScriptPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # What a build is replayed through: `native`, `build` (the domain's own feature), a `.wasm`
     # module, or a binary.
     value_object "Artifact" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # A Rust target triple: `<arch>-<vendor>-<os>` with an optional `-<env>`. The toolchain
@@ -759,7 +759,7 @@ Hecks.bluebook "Hecks" do
 
     # The directory a host build stages its files in.
     value_object "StagePath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Count" do
@@ -1014,14 +1014,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "FuzzKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a sweep is named") { !value.to_s.empty? }
     end
 
     # A domain directory; a sweep with none covers every domain of a hecks checkout.
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a domain is named by its path") { !value.to_s.empty? }
     end
@@ -1054,7 +1054,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "BinaryPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Format" do
@@ -1062,7 +1062,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "OutputPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Report" do

data/lib/hecks/kernel_capabilities/templates.rb

@@ -30,13 +30,13 @@ module Hecks
             /// variant names — `hecks measure_kernel_coverage`'s own existence
             /// check reads this, so the file-name spelling here is the ONE
             /// place that ever needs to change if a name is renamed.
-            pub fn module_name(&self) -> &'static str {
+            pub const fn module_name(&self) -> &'static str {
                 match self {
         %<arms>s
                 }
             }
 
-            pub const ALL: &'static [%<enum_name>s] = &[%<all>s];
+            pub const ALL: &'static [Self] = &[%<all>s];
         }
       RUST
 
@@ -78,8 +78,8 @@ module Hecks
                      directory: shapes ? "attribute_shapes" : "expression_operators",
                      mods: names.map { |name| "pub mod #{name};" }.join("\n"),
                      variants: names.map { |name| "    #{pascal(name)}," }.join("\n"),
-                     arms: names.map { |name| "            #{enum_name}::#{pascal(name)} => #{name.to_s.inspect}," }.join("\n"),
-                     all: names.map { |name| "#{enum_name}::#{pascal(name)}" }.join(", "))
+                     arms: names.map { |name| "            Self::#{pascal(name)} => #{name.to_s.inspect}," }.join("\n"),
+                     all: names.map { |name| "Self::#{pascal(name)}" }.join(", "))
       end
 
       # @param name [String, Symbol] a snake_case capability name

data/lib/hecks/kernel_capabilities.rb

@@ -42,7 +42,7 @@ module Hecks
         File.join(kernel, "attribute_shapes/mod.rs")     => shapes_module,
         File.join(kernel, "expression_operators/mod.rs") => operators_module
       }
-      ProjectionFiles::Result.new(content, [])
+      ProjectionFiles::Result.new(RustFormat.files(content), [])
     end
 
     # Writes the capability modules.

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

@@ -440,6 +440,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Aggregate", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "invariant",       context: "Aggregate", at: "1", named: "",         kind: "text",     required: "true",  fills: "description"

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

@@ -368,6 +368,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Command", at: "",  named: "default",   kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Command", at: "",  named: "optional",  kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Command", at: "",  named: "pattern",   kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Command", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Command", at: "",  named: "admits",    kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Command", at: "",  named: "one_of",    kind: "list",     required: "false", fills: "one_of"
       # `reason` is required in practice; CommandBuilder#corrects_impl refuses its absence.

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

@@ -319,6 +319,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Entity", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Entity", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Entity", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Entity", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Entity", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Entity", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "reference_to",    context: "Entity", at: "1", named: "",         kind: "constant", required: "true",  fills: "type"

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

@@ -229,6 +229,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Query", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Query", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Query", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Query", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Query", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Query", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "reference_to",    context: "Query", at: "1", named: "",         kind: "constant", required: "true",  fills: "type"

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

@@ -19,14 +19,14 @@ Hecks.bluebook "Bluebook" do
     end
 
     value_object "ValueObjectName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a value object is named") { !value.to_s.empty? }
     end
 
     value_object "ShapeField" do
-      attribute :name,    String, pattern: '[^ \t\n\r]'
-      attribute :type,    String, pattern: '[^ \t\n\r]'
-      attribute :list,    String, pattern: '[^ \t\n\r]'
+      attribute :name,    String, matches: :present
+      attribute :type,    String, matches: :present
+      attribute :list,    String, matches: :present
       attribute :optional, String, optional: true
       attribute :pattern,  String, optional: true
       # optional: a declaration with no default has none
@@ -40,8 +40,8 @@ Hecks.bluebook "Bluebook" do
     end
 
     value_object "Assertion" do
-      attribute :description, String, pattern: '[^ \t\n\r]'
-      attribute :canonical,   String, pattern: '[^ \t\n\r]'
+      attribute :description, String, matches: :present
+      attribute :canonical,   String, matches: :present
       invariant("an assertion description is present") { !description.to_s.empty? }
       invariant("an assertion canonical form is present") { !canonical.to_s.empty? }
     end
@@ -59,7 +59,7 @@ Hecks.bluebook "Bluebook" do
     end
 
     value_object "Pair" do
-      attribute :key,   String, pattern: '[^ \t\n\r]'
+      attribute :key,   String, matches: :present
       attribute :value, String
       # Keys must be named; values may be empty or numeric.
       invariant("a pair key is present") { !key.to_s.empty? }
@@ -230,6 +230,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "ValueObject", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "invariant",       context: "ValueObject", at: "1", named: "",         kind: "text",     required: "true",  fills: "description"

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

@@ -846,7 +846,6 @@ Hecks.bluebook "Bluebook" do
       member script: "backfill_era_projections", section: "Custodian", aggregate: "Era", verb: "backfill_projections"
       member script: "scaffold_translation", section: "Custodian", aggregate: "Era", verb: "scaffold_translation"
       member script: "translation_audit", section: "Custodian", aggregate: "Era", verb: "audit_translation"
-      member script: "translation_audit", section: "Custodian", aggregate: "Era", verb: "approve_translation"
       member script: "compact", section: "Custodian", aggregate: "Era", verb: "compact"
       member script: "heki_compact", section: "Custodian", aggregate: "Era", verb: "compact_heki"
       member script: "vendor_bluebook", section: "Custodian", aggregate: "Package", verb: "vendor", note: "waits: a refusal exits 1 with its reason on stderr"
@@ -954,8 +953,8 @@ Hecks.bluebook "Bluebook" do
     # hand-typed copies.
     value_object "RustReservedWord" do
       attribute :word, String,
-                one_of: ["as", "break", "const", "continue", "crate", "dyn", "else", "enum", "extern", "false",
-                         "fn", "for", "if", "impl", "in", "let", "loop", "match", "mod", "move", "mut", "pub",
+                one_of: ["as", "async", "await", "break", "const", "continue", "crate", "dyn", "else", "enum",
+                         "extern", "false", "fn", "for", "if", "impl", "in", "let", "loop", "match", "mod", "move", "mut", "pub",
                          "ref", "return", "self", "Self", "static", "struct", "super", "trait", "true", "type",
                          "unsafe", "use", "where", "while", "abstract", "become", "box", "do", "final", "macro",
                          "override", "priv", "typeof", "unsized", "virtual", "yield", "try"]

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

@@ -80,6 +80,7 @@ Hecks.bluebook "Hecksagon" do
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "PortOperation", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "emits",           context: "PortOperation", at: "1", named: "", kind: "text", required: "true", fills: "emits"

data/lib/hecks/language/translation/translation_aggregate.bluebook

@@ -29,7 +29,7 @@ Hecks.bluebook "Translation" do
     attribute :converts,  list_of(TranslationConvert)
     attribute :drops,     list_of(TranslationName)
     attribute :retypes,   list_of(TranslationRetype)
-    attribute :computes,  list_of(TranslationCompute)
+    attribute :derives,   list_of(TranslationDerive)
     attribute :rekeys,    list_of(TranslationRekey)
     attribute :backfills, list_of(TranslationBackfill)
 
@@ -56,14 +56,13 @@ Hecks.bluebook "Translation" do
       attribute :to,   TranslationName
     end
 
-    value_object "TranslationCompute" do
-      attribute :from, TranslationName
-      attribute :to,   TranslationName
-      attribute :sql,  TranslationLiteralText
+    value_object "TranslationDerive" do
+      attribute :to,         TranslationName
+      attribute :expression, TranslationLiteralText
     end
 
     value_object "TranslationRekey" do
-      attribute :sql, TranslationLiteralText
+      attribute :to, TranslationName
     end
 
     value_object "TranslationBackfill" do
@@ -146,28 +145,27 @@ Hecks.bluebook "Translation" do
       emits "TranslationRetypeAdded"
     end
 
-    command "AddCompute" do
+    command "AddDerive" do
       role "Deployment"
-      goal "Move data at an old path to a new one, transformed by a real SQL expression"
+      goal "Give a new field a value computed from the record's own text, read before any other rule runs"
 
-      attribute :from, TranslationName
-      attribute :to,   TranslationName
-      attribute :sql,  TranslationLiteralText
+      attribute :to,         TranslationName
+      attribute :expression, TranslationLiteralText
 
-      sets :computes, append: { from: :from, to: :to, sql: :sql }
+      sets :derives, append: { to: :to, expression: :expression }
 
-      emits "TranslationComputeAdded"
+      emits "TranslationDeriveAdded"
     end
 
-    command "AddRekey" do
+    command "AddRekeyTo" do
       role "Deployment"
-      goal "Recompute this aggregate's own identity by a real SQL expression"
+      goal "Take this aggregate's identity from the value of a field a derive computes"
 
-      attribute :sql, TranslationLiteralText
+      attribute :to, TranslationName
 
-      sets :rekeys, append: { sql: :sql }
+      sets :rekeys, append: { to: :to }
 
-      emits "TranslationRekeyAdded"
+      emits "TranslationRekeyToAdded"
     end
 
     command "AddBackfill" do
@@ -200,8 +198,8 @@ Hecks.bluebook "Translation" do
       member word: "convert",         context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "converts", calls: "convert_impl"
       member word: "drop",            context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "drops"
       member word: "retype",          context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "retypes", calls: "retype_impl"
-      member word: "compute",         context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "computes", calls: "compute_impl"
-      member word: "rekey",           context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "rekeys", calls: "rekey_impl"
+      member word: "derive",          context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "derives", calls: "derive_impl"
+      member word: "rekey_to",        context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "rekeys", calls: "rekey_to_impl"
       member word: "backfill",        context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "backfills", calls: "backfill_impl"
       member word: "unresolved",      context: "TranslationAggregate", body: "none", inner: "", opens: "", fills: "", calls: "unresolved_impl"
 
@@ -234,10 +232,9 @@ Hecks.bluebook "Translation" do
       member keyword: "drop",            context: "TranslationAggregate", at: "1", named: "",       kind: "symbol",  required: "true", fills: "name", blank_message: "a drop needs a name"
       member keyword: "retype",          context: "TranslationAggregate", at: "1", named: "",       kind: "text",    required: "true", fills: "old_type"
       member keyword: "retype",          context: "TranslationAggregate", at: "",  named: "to", kind: "text", required: "true", fills: "to"
-      member keyword: "compute",         context: "TranslationAggregate", at: "1", named: "", kind: "text", required: "true", fills: "old_path"
-      member keyword: "compute",         context: "TranslationAggregate", at: "",  named: "to",      kind: "text",    required: "true", fills: "to"
-      member keyword: "compute",         context: "TranslationAggregate", at: "",  named: "sql",     kind: "text",    required: "true", fills: "sql"
-      member keyword: "rekey",           context: "TranslationAggregate", at: "",  named: "sql",     kind: "text",    required: "true", fills: "sql"
+      member keyword: "derive",          context: "TranslationAggregate", at: "1", named: "",   kind: "text", required: "true", fills: "to"
+      member keyword: "derive",          context: "TranslationAggregate", at: "",  named: "as", kind: "text", required: "true", fills: "as"
+      member keyword: "rekey_to",        context: "TranslationAggregate", at: "1", named: "", kind: "symbol", required: "true", fills: "to"
       member keyword: "backfill",        context: "TranslationAggregate", at: "1", named: "", kind: "symbol", required: "true", fills: "name"
       member keyword: "backfill",        context: "TranslationAggregate", at: "",  named: "default", kind: "literal", required: "true", fills: "default"
       member keyword: "unresolved",      context: "TranslationAggregate", at: "1", named: "", kind: "symbol", required: "true", fills: "name"

data/lib/hecks/ports/access_control.rb

@@ -26,8 +26,8 @@ module Hecks
 
       # Admits a new person, in whatever way this domain's adapter defines admission.
       #
-      # The keywords carry the names of a verified sign-in (`Ports::Authentication.verify`),
-      # but nothing here wires the two together, so their shapes are adapter-defined.
+      # The keywords carry the names of a verified OIDC sign-in, but nothing here wires
+      # one to this port, so their shapes are adapter-defined.
       #
       # @param registry [Runtime::Registry] the booted registry to resolve the adapter against
       # @param email [Object] adapter-defined, forwarded unchanged; the person's email