hecks 3.2.0 → 3.3.0

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),
@@ -159,7 +169,7 @@ pub fn run(input: &str) -> String {
                              real declared query whose shape this generator's codegen doesn't cover yet (order_by/limit/\
                              cursor/consistency/freshness/authorization/null_semantics/inspection/index_hints, a where \
                              clause hopping through a reference, or a literal comparator value whose true JSON type \
-                             can't be recovered from the exported IR — rust/project/queries.rb's own header has the \
+                             can't be recovered from the exported IR — rust/codegen/src/queries.rs's own header has the \
                              full argument); the wheres-only, single-aggregate field-comparator subset and the ad hoc \
                              filter shape ({{\"aggregate\",\"field\",\"op\",\"value\"}}) both execute for real"
                         )),
@@ -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)),
                             ]));
@@ -195,7 +205,7 @@ pub fn run(input: &str) -> String {
                              or a real declared read model whose shape this generator's codegen doesn't cover yet \
                              (anything beyond a root aggregate fetched by reference id plus reference-matched sibling \
                              heads — where/order_by/limit/offset/cursor/consistency/freshness/authorize(TenantScope)/\
-                             nulls/inspect_query/use_index — rust/project/read_models.rb's own header has the full \
+                             nulls/inspect_query/use_index — rust/codegen/src/read_models.rs's own header has the full \
                              argument, including why where/order_by/limit specifically can never be recovered from the \
                              canonical IR at all); the named/declared AGGREGATE query form (\"Domain::Aggregate.Query\") \
                              and the ad hoc filter shape ({{\"aggregate\",\"field\",\"op\",\"value\"}}) both execute for \

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);
+    }
 }

data/rust/src/kernel/read_model.rs

@@ -1,5 +1,5 @@
 //! Interprets a compiled `report` block (`ReadModelDef`) against a domain's generated
-//! `READ_MODELS` table — the hand-written counterpart to `rust/project/read_models.rb`.
+//! `READ_MODELS` table — the hand-written counterpart to the retired Ruby generator's `read_models.rb`.
 
 use super::refusal_wording::{InvariantViolationGroupByCollisionArgs, NotFoundReadModelReferenceMissingArgs, UnauthorizedTenantRequiredArgs};
 use super::{named_query, query_comparators, query_ordering, repository, AggregateScan, Json, QueryCondition, QueryConditionValue, Refusal};

data/rust/src/lib.rs

@@ -3,6 +3,6 @@
 pub mod generated;
 pub mod kernel;
 
-// Test-only: rust/project/exemplar.rb slices shapes out of this; never in a release build.
+// Test-only: rust/codegen/src/exemplar.rs slices shapes out of this; never in a release build.
 #[cfg(test)]
 pub mod exemplar;

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: hecks
 version: !ruby/object:Gem::Version
-  version: 3.2.0
+  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
@@ -273,12 +275,15 @@ files:
 - lib/hecks/doors/launcher_options.rb
 - lib/hecks/doors/mcp_door.rb
 - lib/hecks/doors/mcp_door_scope.rb
+- lib/hecks/doors/mcp_guide_cache.rb
 - lib/hecks/doors/ruby_door.rb
 - lib/hecks/doors/ruby_door/aggregate_door.rb
 - lib/hecks/doors/ruby_door/chapter.rb
 - 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
@@ -386,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
@@ -545,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
@@ -611,11 +626,13 @@ 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
 - lib/hecks/projections/site/table.rb
 - lib/hecks/projections/site/table/checks.rb
+- lib/hecks/projections/site/table/link_builder.rb
 - lib/hecks/projections/site/table/row_builder.rb
 - lib/hecks/projections/statements.rb
 - lib/hecks/projections/vocabulary.rb
@@ -732,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
@@ -760,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
@@ -782,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
@@ -812,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
@@ -833,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
@@ -865,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
@@ -874,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
@@ -967,34 +982,13 @@ 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
 - rust/parser/src/parse/read_model.rs
 - rust/parser/src/parse/value_object.rs
 - rust/parser/src/ruby_value.rs
-- rust/project.rb
-- rust/project/bridging.rb
-- rust/project/commands.rb
-- rust/project/constraints.rb
-- rust/project/dependency_planning.rb
-- rust/project/domain_generator.rb
-- rust/project/exemplar.rb
-- rust/project/expr_emitter.rb
-- rust/project/fielded.rb
-- rust/project/json_codec.rb
-- rust/project/mutations.rb
-- rust/project/naming.rb
-- rust/project/ports.rb
-- rust/project/queries.rb
-- rust/project/reactions.rb
-- rust/project/read_models.rb
-- rust/project/reference_specs.rb
-- rust/project/registry.rb
-- rust/project/skip_reason.rb
-- rust/project/types.rb
-- rust/project/write_if_changed.rb
-- rust/project_rust_pipeline.rb
 - rust/src/exemplar/commands.rs
 - rust/src/exemplar/constraints.rs
 - rust/src/exemplar/fielded.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