hecks 3.2.1 → 3.3.0

data/rust/parser/src/parse/query.rs

@@ -25,6 +25,8 @@ pub fn parse_body(
 
     loop {
         let Some(gated) = super::next_line(file, lines, pos, "Query")? else {
+            let end = lines.get(pos.saturating_sub(1)).map_or(0, |l| l.number);
+            super::needs::refuse_undeclared(file, end, name, &query.needs, &query.attributes)?;
             return Ok(query);
         };
         let line = gated.line.number;
@@ -83,6 +85,7 @@ pub fn parse_body(
                     type_name
                 });
             }
+            "needs" => super::needs::declare(file, line, name, &gated.args, &mut query.needs)?,
             word if OPTION_WORDS.contains(&word) => {
                 query_options::apply(file, line, word, &gated.args, &mut query.options)?
             }

data/rust/src/kernel/cli.rs

@@ -18,6 +18,8 @@ pub fn run(input: &str) -> String {
 
     // Optional `"needs"`: which commands need which outside facts (ADR 0081), passed by the host.
     super::needs::install(parsed.get("needs"));
+    // Optional `"query_needs"`: which queries need which outside facts, filled the same way.
+    super::needs::install_queries(parsed.get("query_needs"));
     // Optional `"defaults"`: each command's declared argument defaults, filled the same way.
     super::needs::install_defaults(parsed.get("defaults"));
 
@@ -86,6 +88,14 @@ pub fn run(input: &str) -> String {
         // A query step's `args` sit at the sibling `"args"` key, as for a command step.
         let empty_args = Json::Object(vec![]);
         let args = step.get("args").unwrap_or(&empty_args);
+        // What the caller offered is what the log echoes; a fact the query `needs` is answered
+        // for the run alone (ADR 0081), so the log holds no value that depends on the clock.
+        let offered = args;
+        let filled = match step.get("query") {
+            Some(Json::Str(question)) => super::needs::enrich_query(question, args, step.get("occurred_at").and_then(Json::as_str)),
+            _ => None,
+        };
+        let args = filled.as_ref().unwrap_or(args);
 
         // A `"query"` step carries no verb and takes one of three shapes:
         //   - `"Domain::Aggregate.Query"`: a declared aggregate query, looked up in `QUERIES`.
@@ -106,7 +116,7 @@ pub fn run(input: &str) -> String {
                             let rows = Json::Array(rows);
                             query_results.push(Json::obj(vec![
                                 ("query", Json::Str(question.clone())),
-                                ("args", args.clone()),
+                                ("args", offered.clone()),
                                 ("rows", rows.clone()),
                                 ("reference_rows", rows),
                             ]));
@@ -115,7 +125,7 @@ pub fn run(input: &str) -> String {
                             let message = refusal.to_string();
                             query_results.push(Json::obj(vec![
                                 ("query", Json::Str(question.clone())),
-                                ("args", args.clone()),
+                                ("args", offered.clone()),
                                 ("rows", Json::Null),
                                 ("error", Json::Str(message.clone())),
                                 ("reference_rows", Json::Null),
@@ -131,7 +141,7 @@ pub fn run(input: &str) -> String {
                             let rows = Json::Array(entries.into_iter().map(|(id, record)| repository::row_json(id, record)).collect());
                             query_results.push(Json::obj(vec![
                                 ("query", Json::Str(question.clone())),
-                                ("args", args.clone()),
+                                ("args", offered.clone()),
                                 ("rows", rows.clone()),
                                 // Same as `rows`: one compiled path (named_query.rs).
                                 ("reference_rows", rows),
@@ -143,7 +153,7 @@ pub fn run(input: &str) -> String {
                             let message = refusal.to_string();
                             query_results.push(Json::obj(vec![
                                 ("query", Json::Str(question.clone())),
-                                ("args", args.clone()),
+                                ("args", offered.clone()),
                                 ("rows", Json::Null),
                                 ("error", Json::Str(message.clone())),
                                 ("reference_rows", Json::Null),
@@ -170,7 +180,7 @@ pub fn run(input: &str) -> String {
                         Ok(row) => {
                             query_results.push(Json::obj(vec![
                                 ("query", Json::Str(question.clone())),
-                                ("args", args.clone()),
+                                ("args", offered.clone()),
                                 ("rows", Json::Array(vec![row])),
                                 // No `reference_rows` key: Ruby sets it only for questions with a
                                 // reference twin, and a read model has none.
@@ -181,7 +191,7 @@ pub fn run(input: &str) -> String {
                             let message = refusal.to_string();
                             query_results.push(Json::obj(vec![
                                 ("query", Json::Str(question.clone())),
-                                ("args", args.clone()),
+                                ("args", offered.clone()),
                                 ("rows", Json::Null),
                                 ("error", Json::Str(message)),
                             ]));

data/rust/src/kernel/needs.rs

@@ -26,15 +26,16 @@ pub struct Need {
 thread_local! {
     static TABLE: RefCell<HashMap<String, Vec<Need>>> = RefCell::new(HashMap::new());
     static DEFAULTS: RefCell<HashMap<String, Vec<(String, Json)>>> = RefCell::new(HashMap::new());
+    static QUERY_TABLE: RefCell<HashMap<String, Vec<Need>>> = RefCell::new(HashMap::new());
     static FIXED_CLOCK: Cell<Option<i64>> = const { Cell::new(None) };
 }
 
-/// Installs the table the host passed (an absent or malformed `"needs"` installs an empty one).
-pub fn install(table: Option<&Json>) {
-    let parsed = match table {
+/// Reads a `{ name: [{fact, type}] }` table (an absent or malformed one reads as empty).
+fn parse_table(table: Option<&Json>) -> HashMap<String, Vec<Need>> {
+    match table {
         Some(Json::Object(entries)) => entries
             .iter()
-            .map(|(verb, needs)| {
+            .map(|(name, needs)| {
                 let needs = needs
                     .as_array()
                     .unwrap_or(&[])
@@ -45,12 +46,23 @@ pub fn install(table: Option<&Json>) {
                         Some(Need { fact, attribute_type })
                     })
                     .collect();
-                (verb.clone(), needs)
+                (name.clone(), needs)
             })
             .collect(),
         _ => HashMap::new(),
-    };
-    TABLE.with(|t| *t.borrow_mut() = parsed);
+    }
+}
+
+/// Installs the table the host passed, command verb to its needs (an absent or malformed
+/// `"needs"` installs an empty one).
+pub fn install(table: Option<&Json>) {
+    TABLE.with(|t| *t.borrow_mut() = parse_table(table));
+}
+
+/// Installs the table of queries that need a fact, `"Domain::Aggregate.Query"` to its needs. Kept
+/// apart from the commands': a command and a query may share a qualified name.
+pub fn install_queries(table: Option<&Json>) {
+    QUERY_TABLE.with(|t| *t.borrow_mut() = parse_table(table));
 }
 
 /// Installs the declared defaults the host passed, `{ verb: { attribute: value } }` (an absent or
@@ -106,9 +118,11 @@ fn parse_iso8601_utc(text: &str) -> Option<i64> {
 
 fn answer(need: &Need, occurred_at: Option<&str>) -> Option<Json> {
     match need.fact.as_str() {
-        "now" => {
+        // `now` is epoch seconds; `today` the day those fall in, whole days since the epoch (UTC).
+        "now" | "today" => {
             let secs = now_secs(occurred_at);
-            Some(if need.attribute_type == "Integer" { Json::int(secs) } else { Json::obj(vec![("value", Json::int(secs))]) })
+            let answer = if need.fact == "today" { secs.div_euclid(86_400) } else { secs };
+            Some(if need.attribute_type == "Integer" { Json::int(answer) } else { Json::obj(vec![("value", Json::int(answer))]) })
         }
         _ => None,
     }
@@ -151,6 +165,27 @@ pub fn enrich(verb: &str, args: &Json, occurred_at: Option<&str>) -> Option<Json
     Some(Json::Object(envelope.iter().map(|(k, v)| if k == "with" { (k.clone(), Json::Object(filled.clone())) } else { (k.clone(), v.clone()) }).collect()))
 }
 
+/// `args` with each fact the query `question` needs and the caller left out answered, or `None`
+/// when nothing needed filling (the query needs nothing, or every fact is supplied). A query's
+/// arguments are the flat object of its step.
+pub fn enrich_query(question: &str, args: &Json, occurred_at: Option<&str>) -> Option<Json> {
+    let needs = QUERY_TABLE.with(|t| t.borrow().get(question).cloned())?;
+    let Json::Object(held) = args else { return None };
+    let mut filled = held.clone();
+    for need in &needs {
+        if held.iter().any(|(k, _)| k == &need.fact) {
+            continue;
+        }
+        if let Some(value) = answer(need, occurred_at) {
+            filled.push((need.fact.clone(), value));
+        }
+    }
+    if filled.len() == held.len() {
+        return None;
+    }
+    Some(Json::Object(filled))
+}
+
 #[cfg(test)]
 mod tests {
     use super::*;
@@ -264,4 +299,64 @@ mod tests {
         install_defaults(None);
         assert_eq!(enrich("D::A.Start", &with(vec![]), None), None);
     }
+
+    fn query_table() -> Json {
+        Json::parse(
+            r#"{"D::A.Expired": [{"fact": "now", "type": "Integer"}],
+                "D::A.Today": [{"fact": "today", "type": "DayNumber"}]}"#,
+        )
+        .unwrap()
+    }
+
+    #[test]
+    fn a_needed_query_fact_the_caller_left_out_is_answered_by_the_clock() {
+        install_queries(Some(&query_table()));
+        fix_clock(Some(1_700_000_000));
+        let filled = enrich_query("D::A.Expired", &Json::obj(vec![]), None).unwrap();
+        assert_eq!(filled.get("now"), Some(&Json::int(1_700_000_000)));
+        fix_clock(None);
+        install_queries(None);
+    }
+
+    #[test]
+    fn a_query_value_the_caller_supplied_is_kept() {
+        install_queries(Some(&query_table()));
+        fix_clock(Some(1));
+        assert_eq!(enrich_query("D::A.Expired", &Json::obj(vec![("now", Json::int(7))]), None), None);
+        fix_clock(None);
+        install_queries(None);
+    }
+
+    #[test]
+    fn a_query_that_needs_nothing_is_untouched() {
+        install_queries(Some(&query_table()));
+        assert_eq!(enrich_query("D::A.Plain", &Json::obj(vec![]), None), None);
+        install_queries(None);
+        assert_eq!(enrich_query("D::A.Expired", &Json::obj(vec![]), None), None);
+    }
+
+    #[test]
+    fn a_command_and_a_query_of_one_name_keep_their_own_needs() {
+        install(Some(&table()));
+        install_queries(Some(&query_table()));
+        fix_clock(Some(5));
+        assert_eq!(enrich_query("D::A.Instant", &Json::obj(vec![]), None), None);
+        assert!(enrich("D::A.Instant", &with(vec![]), None).is_some());
+        fix_clock(None);
+        install(None);
+        install_queries(None);
+    }
+
+    #[test]
+    fn today_is_the_day_the_clock_falls_in_whole_days_since_the_epoch() {
+        install_queries(Some(&query_table()));
+        fix_clock(Some((19_000 * 86_400) + 86_399));
+        let filled = enrich_query("D::A.Today", &Json::obj(vec![]), None).unwrap();
+        assert_eq!(filled.get("today"), Some(&Json::obj(vec![("value", Json::int(19_000))])));
+        fix_clock(Some(19_001 * 86_400));
+        let next = enrich_query("D::A.Today", &Json::obj(vec![]), None).unwrap();
+        assert_eq!(next.get("today"), Some(&Json::obj(vec![("value", Json::int(19_001))])));
+        fix_clock(None);
+        install_queries(None);
+    }
 }

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: hecks
 version: !ruby/object:Gem::Version
-  version: 3.2.1
+  version: 3.3.0
 platform: ruby
 authors:
 - Chris Young
@@ -162,6 +162,7 @@ files:
 - lib/hecks/bluebook/dsl/identity_declaration.rb
 - lib/hecks/bluebook/dsl/lifecycle_builder.rb
 - lib/hecks/bluebook/dsl/malformed.rb
+- lib/hecks/bluebook/dsl/need_word.rb
 - lib/hecks/bluebook/dsl/policy_builder.rb
 - lib/hecks/bluebook/dsl/port_builder.rb
 - lib/hecks/bluebook/dsl/port_operation_builder.rb
@@ -232,6 +233,7 @@ files:
 - lib/hecks/cli/interview_draft.rb
 - lib/hecks/cli/interview_run.rb
 - lib/hecks/cli/interview_session.rb
+- lib/hecks/cli/interview_shape.rb
 - lib/hecks/cli/ir.rb
 - lib/hecks/cli/mcp.rb
 - lib/hecks/cli/model_check.rb
@@ -280,6 +282,8 @@ files:
 - lib/hecks/doors/usage_cache.rb
 - lib/hecks/embryonaut_bluebook.rb
 - lib/hecks/embryonaut_bluebook/lock.rb
+- lib/hecks/embryonaut_bluebook/manifest.rb
+- lib/hecks/embryonaut_bluebook/registry.rb
 - lib/hecks/embryonaut_bluebook/shape.rb
 - lib/hecks/embryonaut_bluebook/vendor.rb
 - lib/hecks/embryonaut_bluebook/vendor_cli.rb
@@ -387,10 +391,12 @@ files:
 - lib/hecks/hecks/adapters/deploy_toolchain.rb
 - lib/hecks/hecks/adapters/finding_github.adapter
 - lib/hecks/hecks/adapters/finding_github.rb
+- lib/hecks/hecks/adapters/first_admin.rb
 - lib/hecks/hecks/adapters/git.adapter
 - lib/hecks/hecks/adapters/git.rb
 - lib/hecks/hecks/adapters/host_http.adapter
 - lib/hecks/hecks/adapters/host_http.rb
+- lib/hecks/hecks/adapters/in_process_access.rb
 - lib/hecks/hecks/adapters/in_process_boot.adapter
 - lib/hecks/hecks/adapters/in_process_boot.rb
 - lib/hecks/hecks/adapters/in_process_operations.rb
@@ -546,14 +552,22 @@ files:
 - lib/hecks/projections.rb
 - lib/hecks/projections/bootstrap_table.rb
 - lib/hecks/projections/deploy/box.rb
+- lib/hecks/projections/deploy/box/hosting.rb
+- lib/hecks/projections/deploy/box/hosting_settings.rb
 - lib/hecks/projections/deploy/box/settings.rb
 - lib/hecks/projections/deploy/box/templates/box.yaml.tmpl
 - lib/hecks/projections/deploy/box/templates/deploy-box.sh.tmpl
+- lib/hecks/projections/deploy/box/templates/deploy-service.services-roll.part
+- lib/hecks/projections/deploy/box/templates/deploy-service.sh.tmpl
+- lib/hecks/projections/deploy/box/templates/deploy-service.taskdef-roll.part
+- lib/hecks/projections/deploy/box/templates/deploy-service.taskdef.part
 - lib/hecks/projections/deploy/box/templates/fetch-secrets.sh
+- lib/hecks/projections/deploy/box/templates/hosting.mk.tmpl
 - lib/hecks/projections/deploy/box/templates/rds.yaml.tmpl
 - lib/hecks/projections/deploy/box/templates/render-compose-taskdef.sh.tmpl
 - lib/hecks/projections/deploy/box/templates/render-compose.sh.tmpl
 - lib/hecks/projections/deploy/box/templates/restore-to-rds.sh.tmpl
+- lib/hecks/projections/deploy/box/templates/smoke-after-deploy.sh.tmpl
 - lib/hecks/projections/deploy/box/templates/verify-copy.sh.tmpl
 - lib/hecks/projections/deploy/fargate.rb
 - lib/hecks/projections/deploy/fargate/assembly.rb
@@ -612,6 +626,7 @@ files:
 - lib/hecks/projections/site/edge/checks.rb
 - lib/hecks/projections/site/edge/pattern.rb
 - lib/hecks/projections/site/edge/rules.rb
+- lib/hecks/projections/site/live_edge.rb
 - lib/hecks/projections/site/regions.rb
 - lib/hecks/projections/site/routes_ts.rb
 - lib/hecks/projections/site/site_cdn.rb
@@ -734,6 +749,7 @@ files:
 - lib/hecks/runtime/interpreting.rb
 - lib/hecks/runtime/invocation.rb
 - lib/hecks/runtime/loader.rb
+- lib/hecks/runtime/needs.rb
 - lib/hecks/runtime/outbox.rb
 - lib/hecks/runtime/policy_interpreter.rb
 - lib/hecks/runtime/port_operation_interpreter.rb
@@ -762,17 +778,16 @@ files:
 - lib/hecks/runtime/value/field_checks.rb
 - lib/hecks/runtime/value/invariant_violation.rb
 - lib/hecks/rust_build.rb
-- lib/hecks/rust_build/append_optionals.rb
 - lib/hecks/rust_build/conformance.rb
 - lib/hecks/rust_build/conformance_fuzz.rb
 - lib/hecks/rust_build/coverage.rb
 - lib/hecks/rust_build/domain_name.rb
+- lib/hecks/rust_build/host.rb
 - lib/hecks/rust_build/kernel_input.rb
 - lib/hecks/rust_build/native_build.rb
 - lib/hecks/rust_build/project_rust.rb
 - lib/hecks/rust_build/project_rust/codegen_run.rb
 - lib/hecks/rust_build/project_rust/root_mod.rb
-- lib/hecks/rust_build/rust_literal.rb
 - lib/hecks/rust_build/wasm.rb
 - lib/hecks/rust_build/wasm_browser.rb
 - lib/hecks/rust_build/write_if_changed.rb
@@ -784,8 +799,6 @@ files:
 - lib/hecks/storehouse.rb
 - lib/hecks/tenancy/bluebook/tenancy.bluebook
 - lib/hecks/tenancy/bluebook/tenancy.hecksagon
-- lib/hecks/three_zero.rb
-- lib/hecks/three_zero/forms.yml
 - lib/hecks/tickets/bluebook/tickets.bluebook
 - lib/hecks/tickets/bluebook/tickets.hecksagon
 - lib/hecks/tickets/bluebook/tickets.ports.hecksagon
@@ -814,6 +827,7 @@ files:
 - lib/hecks/tools/site_routes.rb
 - lib/hecks/tools/tail_merge.rb
 - lib/hecks/tools/tenant_provisioning.rb
+- lib/hecks/tools/tools_doc.rb
 - lib/hecks/tools/translation_audit.rb
 - lib/hecks/tools/translation_scaffold.rb
 - lib/hecks/vendoring.rb
@@ -835,15 +849,12 @@ files:
 - rust/build/Cargo.toml
 - rust/build/src/build_artifact.rs
 - rust/build/src/cargo_sync.rs
-- rust/build/src/json.rs
 - rust/build/src/lineage_pass.rs
 - rust/build/src/main.rs
-- rust/build/src/optional_pass.rs
 - rust/build/src/pipeline.rs
 - rust/build/src/reserved_names.rs
 - rust/build/src/resolve.rs
 - rust/build/src/root.rs
-- rust/build/src/sidecars.rs
 - rust/build/src/subprocess.rs
 - rust/build/src/tmp.rs
 - rust/codegen/.cargo/config.toml
@@ -867,6 +878,7 @@ files:
 - rust/codegen/src/manifest.rs
 - rust/codegen/src/mutations.rs
 - rust/codegen/src/naming.rs
+- rust/codegen/src/optional_pass.rs
 - rust/codegen/src/ports.rs
 - rust/codegen/src/prelude.rs
 - rust/codegen/src/queries.rs
@@ -876,6 +888,7 @@ files:
 - rust/codegen/src/registry.rs
 - rust/codegen/src/reserved_names.rs
 - rust/codegen/src/shared.rs
+- rust/codegen/src/sidecars.rs
 - rust/codegen/src/skip_reason.rs
 - rust/codegen/src/types.rs
 - rust/host/.cargo/config.toml
@@ -969,6 +982,7 @@ files:
 - rust/parser/src/parse/hecksagon.rs
 - rust/parser/src/parse/lifecycle.rs
 - rust/parser/src/parse/mod.rs
+- rust/parser/src/parse/needs.rs
 - rust/parser/src/parse/policy.rs
 - rust/parser/src/parse/process_manager.rs
 - rust/parser/src/parse/query.rs

data/lib/hecks/rust_build/append_optionals.rb

@@ -1,79 +0,0 @@
-# frozen_string_literal: true
-
-module Hecks
-  module RustBuild
-    # Makes an appended element's field `Option<T>` in the IR when any command sources it from an
-    # optional argument, since Ruby stores the omitted nil without complaint. `ir.json` records
-    # the marking, so it runs before the IR is written or generated from.
-    #
-    # `rust/build/src/optional_pass.rs` is the Ruby-free build's port of this; it looks only at an
-    # aggregate's own value objects, where this reads the domain-wide set.
-    module AppendOptionals
-      # Marks every aggregate in the IR, in place.
-      #
-      # @param tree [Hash] a domain's IR, symbol-keyed
-      # @return [Hash] the same IR
-      def self.mark(tree)
-        domain_wide = by_name(tree[:aggregates].flat_map { |aggregate| aggregate[:value_objects] })
-        tree[:aggregates].each do |aggregate|
-          mark_aggregate(aggregate, domain_wide.merge(by_name(aggregate[:value_objects])))
-        end
-        tree
-      end
-
-      # Resolves an `append` target to its entity or value object, or nil if it is neither. A
-      # local entity wins over a domain-wide value object of the same name: Syntax's local
-      # `Argument` entity shares a name with Command's `Argument` value object.
-      #
-      # @param aggregate [Hash] the aggregate owning the command
-      # @param target_type [String] the appended-to attribute's element type
-      # @param value_objects_by_name [Hash{String => Hash}] the value objects in scope
-      # @return [Hash, nil] the element, or nil
-      def self.element(aggregate, target_type, value_objects_by_name)
-        aggregate[:entities].find { |entity| entity[:name] == target_type } ||
-          value_objects_by_name[target_type]
-      end
-
-      # @param aggregate [Hash] one aggregate of the IR
-      # @param value_objects_by_name [Hash{String => Hash}] the value objects in scope
-      # @return [void]
-      def self.mark_aggregate(aggregate, value_objects_by_name)
-        aggregate[:attributes].each do |target_attr|
-          target = element(aggregate, target_attr[:type], value_objects_by_name)
-          next unless target
-
-          aggregate[:commands].each do |command|
-            appends = command[:mutations].select { |m| append_to?(m, target_attr) }
-            appends.each { |mutation| mark_fields(mutation, command, target) }
-          end
-        end
-      end
-
-      def self.append_to?(mutation, target_attr)
-        mutation[:op].to_s == "append" && mutation[:target].to_s == target_attr[:name].to_s
-      end
-      private_class_method :append_to?
-
-      # A Symbol is an argument name, and an optional one is what this pass wants; anything
-      # else is a literal.
-      def self.mark_fields(mutation, command, target)
-        mutation[:fields].each do |field_name, source|
-          parsed = Hecks::Bluebook::Assembly::Marks.read(source)
-          next unless parsed.is_a?(Symbol)
-
-          source_attr = command[:attributes].find { |attr| attr[:name].to_s == parsed.to_s }
-          next unless source_attr && source_attr[:optional]
-
-          field_attr = target[:attributes].find { |attr| attr[:name].to_s == field_name.to_s }
-          field_attr[:optional] = true if field_attr
-        end
-      end
-      private_class_method :mark_fields
-
-      def self.by_name(value_objects)
-        value_objects.to_h { |value_object| [value_object[:name], value_object] }
-      end
-      private_class_method :by_name
-    end
-  end
-end

data/lib/hecks/rust_build/rust_literal.rb

@@ -1,33 +0,0 @@
-# frozen_string_literal: true
-
-module Hecks
-  module RustBuild
-    # Rust string literals. Ruby's `String#inspect` escapes for Ruby's own read-back (a
-    # brace-less `\uXXXX`, for one), which is not valid Rust syntax.
-    module RustLiteral
-      # Escapes only what Rust's string-literal grammar needs: backslash, double quote and
-      # control characters.
-      #
-      # @param text [#to_s] the text to embed
-      # @return [String] the quoted literal
-      def self.string(text)
-        escaped = text.to_s.each_char.map { |char| escape(char) }.join
-        "\"#{escaped}\""
-      end
-
-      def self.escape(char)
-        case char
-        when "\\" then "\\\\"
-        when "\"" then "\\\""
-        when "\n" then "\\n"
-        when "\r" then "\\r"
-        when "\t" then "\\t"
-        else
-          code = char.ord
-          code < 0x20 || code == 0x7F ? format("\\u{%x}", code) : char
-        end
-      end
-      private_class_method :escape
-    end
-  end
-end

data/lib/hecks/three_zero/forms.yml

@@ -1,127 +0,0 @@
-# Each bin/ script and exe/hecks route, and the hecks 3.0 form that replaces it: the verb spelling the
-# 3.0 launcher answers to (ADR 0080, section 7), with QualityControl verbs after `hecks quality_control`.
----
-argument_gate_matrix: hecks conformance_run.argument_gate_matrix [--confirm] (writes only with --confirm)
-backfill_era_projections: hecks era.backfill_projections <domain>
-behaviors: hecks operation.run_behaviors subject=<path>
-bench: hecks fuzz_run.bench [domains=pizzas,banking] [targets=] [iterations=1000] [warmup=200]
-  [runs=3] [rust_binary=] [format=markdown] [output=]
-canonicalise: hecks style_run.canonicalise <file.json>
-check_engine_agreement: hecks conformance_run.check_engine_agreement
-check_era: hecks host.check_era <url> expected=era-file [timeout=]
-codemod_hoist_local_givens: hecks codemod_run.hoist_local_givens --confirm
-codemod_implicit_append_fields: hecks codemod_run.drop_implicit_append_fields --confirm
-compact: hecks era.compact <domain> [aggregates=A,B] --confirm
-console: hecks console [subject=<domain>]
-corpus: hecks corpus_run.rust_domains; hecks corpus_run.regen_order; hecks corpus_run.corpus_rust_coverage
-deploy_template_diff: hecks deploy template_comparison.diff before=a.yaml after=b.yaml [--json] [--strict]
-doc_coverage: hecks conformance_run.measure_doc_coverage
-docs: hecks docs [domain-path] [aggregate]
-evolve: hecks language_run.word_status; hecks language_run.propose <word> context=X [body=none] [inner=] [opens=]
-  [fills=]; hecks language_run.admit|deprecate|retire <word> context=X; hecks language_run.rename <word> context=X
-  new_name=Y; hecks language_run.propose_argument <word> context=X kind=K [required=false] [at=N]
-  [named=] [fills=] [pairs_shape=]; hecks language_run.admit_argument|deprecate_argument|retire_argument
-  <word> context=X [at=N] [named=]
-expression_projection: hecks language_run.project_expression_tables [--stdout]
-follow: hecks operation.follow <domain> [aggregate=Name] [since=N] [interval=0.5] [wait=N] [--from-now] [--stream]
-fuzz: hecks fuzz_run.fuzz [domain] [seeds=20] [steps=30] [workers=] [adapter=memory]
-generate: hecks fuzz_run.generate_sequence <domain> [seed=1] [steps=30] [adversarial=0.0]
-hecks_mcp_door: hecks mcp [--stdio]
-hecks_query_ir_mcp: hecks corpus_run.serve_query_ir_mcp
-heki_compact: hecks era.compact_heki <domain> [aggregates=A,B] --confirm
-history: hecks introspection.history <domain>
-ir: hecks ir <domain> [--translations] | hecks ir --meta
-lint_deploy_recipes: hecks deploy makefile_check.lint [makefiles=a,b]
-merge_tail: hecks era.merge_tail <domain> winners=id:old,id:new --confirm
-model_check: hecks model_check [--strict] [--profile client] [<domain> …]
-narrate: hecks narrate [domain-path] [aggregate]
-pattern-cases: hecks test_suite_run.record_pattern_cases
-present: hecks corpus_run.present [port=4567]
-project: hecks operation.refresh_projections subject=<domain>
-project_bootstrap_table: hecks language_run.project_bootstrap_table
-project_cli: hecks project_cli [domain-path …]
-project_deploy: hecks deploy recipe.project <domain> [tenant=] [schema=] [out=] [environment=]
-project_diagrams: hecks project_diagrams <domain-path> <ChapterName>
-project_field_hints: hecks language_run.project_field_hints
-project_glossary: hecks introspection.glossary <domain> chapter=Name
-project_kernel_capabilities: hecks kernel_run.project_kernel_capabilities
-project_model: hecks language_run.project_model
-project_oidc: hecks deploy oidc_manifest.project_oidc [domains=a,b]
-project_parser_table: hecks language_run.project_parser_table
-project_refusal_wording: hecks language_run.project_refusal_wording
-project_reserved_names: hecks language_run.project_reserved_names
-project_rust: hecks build.project_rust <domain>
-project_rust_vocabulary: hecks language_run.project_rust_vocabulary
-project_tenant: hecks deploy tenant.provision <domain_dir> slug=s domain= realm= schema=
-  database= [adapter=PostgresEra]; hecks deploy tenant.reprovision <tenant> directory= database=
-  [adapter=PostgresEra]
-project_vocabulary: hecks language_run.project_vocabulary
-project_wasm: hecks build.build_wasm <domain>
-project_wasm_browser: hecks build.build_browser_wasm <domain>
-qa_concurrency_racer: not user-facing; ProcessPool starts it as hecks quality_control
-  sweep.race domain= database= schema= verb= step_arguments=
-qa_discover_external_domains: hecks quality_control target.discover_external_domains [arguments="--projects-dir
-  ~/Projects --max-depth 3 --known-path PATH …"]
-qa_domain_novelty: hecks quality_control target.judge_novelty <domain> [arguments="--against
-  PATH …"]
-qa_generated_domains: hecks quality_control target.check_generated_domains [arguments="--domains
-  3 --start N --forms a,b --seeds 5 --steps 25 --adversarial 0.3 --rust --shrink-budget
-  200 --domain-shrink-budget 40 --promote dir --name N --from-dials --blueprint F
-  --source F"]
-qa_log_bug: hecks quality_control bug.log sweep=<sweep id> reference= sequence=N title=
-  demonstration= symptom= expectation= submitter= [tags=a,b] [name=] [reproduced=yes|no]
-qa_mine_combinations: hecks quality_control target.mine_combinations [arguments="--candidates
-  3 --rust --seeds 5 --steps 25 --adversarial 0.3 --repair-rounds 1 --agent CMD --from
-  DIR --against PATH --brief"]
-qa_open_pr: hecks quality_control patch.open bug=BUG#n number=N url=… branch=… commit=SHA
-  title=… [now=]; hecks quality_control improvement.open [angle=ANGLE-n] number=N
-  url=… branch=… title=… [now=]
-qa_postgres_migrate: hecks quality_control sweep.migrate_ledger_from_heki domain=<domain_dir>
-  data=<heki_dir> [arguments="[aggregate …] --force"] (a dry run without --force)
-qa_postgres_role: hecks quality_control sweep.create_ledger_role <database> [role=hecks_qa]
-qa_pr_check: hecks quality_control clearance.check_pull_requests
-qa_seed_angles: hecks quality_control angle.seed
-qa_seed_targets: hecks quality_control target.seed
-qa_sweep: hecks quality_control query sweep.run [target=] [arguments="--all --seeds N --steps
-  N --adversarial F --role-draw F --dry-run F --self-consistency BOOL --modes a,b
-  --persistence-parity --no-parity"]; hecks quality_control target.release <target> [now=]
-  [next_streak=] [capabilities=] [yield_score=]
-qa_tick: hecks quality_control sweep.tick
-query_ir: hecks corpus_run.ir_constructs [names=a,b]; hecks corpus_run.ir_duplicates [domains=a,b] [--meta];
-  hecks corpus_run.ir_impact name=N field=F
-reattest_era: hecks era.reattest <domain> era=N --confirm
-reference: hecks language_run.project_reference
-refresh_rspec_runtime_baseline: hecks test_suite_run.refresh_runtime_baseline [workers=] [from_run=ID]
-regen_codegen_domains: hecks regeneration_run.regenerate_corpus [--check]
-regenerate_persistence_legacy_fixtures: hecks test_suite_run.regenerate_legacy_fixtures --confirm
-release: hecks publishing_run.publish [--gem-only] [--npm-only] [--npm-local] [--no-wait] --confirm
-  (without --confirm, the old --dry-run)
-release_gem: hecks publishing_run.publish_gem --confirm
-rspec_io_parallel_files: hecks test_suite_run.list_io_parallel_specs exclude=REGEX [tags=] [check=file];
-  hecks test_suite_run.write_io_parallel_spec_list exclude=REGEX [tags=] write=file --confirm
-rspec_shard_files: hecks test_suite_run.shard_specs group=1 groups=N [runtime_log=]
-run: hecks run [domain] <verb [name=value …] | script.json | - | '{"steps":[…]}'>
-rust_conformance: hecks build.check_conformance <domain> script=steps.json [artifact=native]
-rust_conformance_fuzz: hecks build.fuzz_conformance <domain> artifact=native [seeds=10]
-  [steps=25]
-rust_coverage: hecks build.rust_coverage <module> [codegen=ruby]; hecks build.check_coverage_allowlist
-rust_kernel_coverage: hecks kernel_run.measure_kernel_coverage
-scaffold_translation: hecks era.scaffold_translation <domain>
-seed_semantics_corpus: hecks test_suite_run.seed_semantics_corpus [fixture=name]
-shape: hecks introspection.shape <domain>
-smoke_http: hecks operation.smoke_http path=/p [url=] [header=] [scheme=timestamped]
-  [payload=] [payload_file=] [health_path=] [state_path=]
-smoke_test: hecks smoke_test [domain]
-spec_example: hecks test_suite_run.run_spec_example file=path example=text
-standardize_comments: hecks style_run.report_comments paths=a,b [only=] [--json] [top=20]; hecks
-  style_run.check_comments paths=…; hecks style_run.fix_comments paths=… --confirm; hecks style_run.write_comment_baseline
-  --confirm; hecks style_run.check_comments_unchanged ref=REF
-standardize_comments_rust: hecks style_run.report_rust_comments paths=a,b [only=] [--json] [top=N];
-  hecks style_run.check_rust_comments paths=… [only=]; hecks style_run.fix_rust_comments paths=… [only=]
-  --confirm
-statements: hecks introspection.statements <domain> chapter=Name
-stores: hecks stores <domain>
-stress_concurrency_specs: hecks test_suite_run.stress_concurrency [runs=] [parallel=] [seed_start=]
-translation_audit: hecks era.audit_translation <domain>; hecks era.approve_translation <domain>
-  [snapshot=] [host_version=] [rehearsal=pass|fail] [rehearsed_at=] --confirm
-vendor_bluebook: hecks package.vendor <package[@version]> [from=path] [root=path]

data/lib/hecks/three_zero.rb

@@ -1,12 +0,0 @@
-# frozen_string_literal: true
-
-require "yaml"
-
-module Hecks
-  # The table of what each retired `bin/` script became in hecks 3.0.0 (ADR 0080): a command on
-  # the Hecks domain, run through `exe/hecks`. `docs/tools.md` is pinned to it.
-  module ThreeZero
-    # Each retired script's name mapped to the 3.0 form that replaced it.
-    FORMS = YAML.safe_load_file(File.join(__dir__, "three_zero/forms.yml")).freeze
-  end
-end