hecks 3.2.0 → 3.2.1

data/rust/codegen/src/fielded.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/fielded.rb`: emits the `Fielded` impls for structs and records.
+//! Port of the retired Ruby generator's `fielded.rb`: emits the `Fielded` impls for structs and records.
 
 use crate::exemplar::Exemplar;
 use crate::json::Json;

data/rust/codegen/src/json_codec.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/json_codec.rb`, the JSON boundary generator: `to_json`/`from_json`
+//! Port of the retired Ruby generator's `json_codec.rb`, the JSON boundary generator: `to_json`/`from_json`
 //! codecs, closed-set codecs, and `extract_id`/`extract_wants`/`self_identity`.
 
 use crate::exemplar::Exemplar;

data/rust/codegen/src/main.rs

@@ -1,4 +1,4 @@
-//! `hecks-codegen` — Rust port of the IR-to-Rust-source codegen in `rust/project/*.rb`.
+//! `hecks-codegen` — the IR-to-Rust-source generator, the only one (ADR 0086).
 //! Usage: `hecks-codegen <prelude|domain|full> ...`, one subcommand per function below.
 // Some ported `naming.rs` helpers are not called yet.
 #![allow(dead_code)]
@@ -110,7 +110,7 @@ fn write_domain(
     mod_name: &str,
     out_dir: &str,
 ) -> Result<domain_generator::GeneratedDomain, String> {
-    // Refuse before writing anything; same message as `RustProjection::DomainGenerator.call`.
+    // Refuse before writing anything, so a name collision is reported before any file exists.
     let aggregate_names: Vec<&str> = ir
         .get("aggregates")
         .map(Json::each)
@@ -257,8 +257,7 @@ fn run_full(args: &[String]) -> Result<(), String> {
     puts_blank(&mut merged_rs);
     puts_str(&mut merged_rs, &reactions::emit_identity_head_table(&ex, &merged_aggregates));
     puts_blank(&mut merged_rs);
-    // Section order must match `rust/project/domain_generator.rb`; the pipeline spec compares
-    // this file byte for byte.
+    // Section order is part of the output: `hecks regenerate_corpus --check` diffs this file byte for byte.
     puts_str(&mut merged_rs, &reactions::emit_entity_identity_head_table(&ex, &merged_aggregates));
     puts_blank(&mut merged_rs);
     puts_str(&mut merged_rs, &reactions::emit_command_attributes_table(&ex, &merged_aggregates));

data/rust/codegen/src/mutations.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/mutations.rb`, function for function.
+//! Port of the retired Ruby generator's `mutations.rb`, function for function.
 //! `mark_append_optional_fields!` is not ported: `Json` has no mutation API and the corpus
 //! already declares `optional: true` on every field that pass would touch.
 

data/rust/codegen/src/naming.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/naming.rb`, mirrored function for function.
+//! Port of the retired Ruby generator's `naming.rb`, mirrored function for function.
 
 use crate::json::Json;
 

data/rust/codegen/src/ports.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/ports.rb` — read that file's own header comments
+//! Port of the retired Ruby generator's `ports.rb` — read that file's own header comments
 //! in full; this mirrors its algorithm directly, function for function.
 
 use crate::exemplar::Exemplar;

data/rust/codegen/src/queries.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/queries.rb`, mirrored function for function.
+//! Port of the retired Ruby generator's `queries.rb`, mirrored function for function.
 
 use crate::exemplar::Exemplar;
 use crate::json::Json;
@@ -302,7 +302,7 @@ pub fn query_skip_reason(query: &Json, aggregate: &Json, value_objects_by_name:
     let extra_keys = ["cursor", "consistency", "freshness", "inspection"];
     let extras: Vec<&str> = extra_keys.iter().filter(|k| query.get(k).is_some()).copied().collect();
     if !extras.is_empty() {
-        return Some(skip(extras[0], format!("declares {} — out of scope for this generator (rust/project/queries.rb's own header has the full argument)", extras.join(", "))));
+        return Some(skip(extras[0], format!("declares {} — out of scope for this generator (rust/codegen/src/queries.rs's own header has the full argument)", extras.join(", "))));
     }
     if query.get("index_hints").map(Json::each).unwrap_or(&[]).iter().any(|_| true) {
         return Some(skip("index_hints", "declares use_index, out of scope for the same reason the extras above are"));
@@ -780,7 +780,7 @@ pub fn emit_query_arg_check_table(query_defs: &[QueryDef]) -> String {
         })
         .collect();
     format!(
-        "/// C3.7 for a named query's own arguments — `query_arg_checks`\n/// (rust/project/queries.rb) has the full story.\npub fn check_query_args(verb: &str, args: &crate::kernel::Json) -> Result<(), crate::kernel::Refusal> {{\n    match verb {{\n{}\n        _ => Ok(()),\n    }}\n}}\n",
+        "/// C3.7 for a named query's own arguments — `query_arg_checks`\n/// (rust/codegen/src/queries.rs) has the full story.\npub fn check_query_args(verb: &str, args: &crate::kernel::Json) -> Result<(), crate::kernel::Refusal> {{\n    match verb {{\n{}\n        _ => Ok(()),\n    }}\n}}\n",
         arms.join("\n")
     )
 }

data/rust/codegen/src/reactions.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/reactions.rb`, mirrored function for function.
+//! Port of the retired Ruby generator's `reactions.rb`, mirrored function for function.
 
 use crate::exemplar::Exemplar;
 use crate::json::Json;

data/rust/codegen/src/read_models.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/read_models.rb`, mirrored function for function —
+//! Port of the retired Ruby generator's `read_models.rb`, mirrored function for function —
 //! read that file's own header for the full algorithm.
 
 use crate::exemplar::Exemplar;
@@ -267,7 +267,7 @@ fn aggregation_skip_reason(read_model: &Json, aggregates_by_name: &HashMap<Strin
     None
 }
 
-// Mirrors `rust/project/read_models.rb`'s `group_by_skip_reason`: the one
+// Mirrors the retired Ruby generator's `read_models.rb`'s `group_by_skip_reason`: the one
 // shape the corpus declares — a single rootless head, group_by alone.
 fn group_by_skip_reason(read_model: &Json, aggregates_by_name: &HashMap<String, &Json>, unsupported_names: &[String]) -> Option<SkipReason> {
     let heads = read_model.get("aggregate_heads").map(Json::each).unwrap_or(&[]);

data/rust/codegen/src/reference_specs.rs

@@ -1,4 +1,4 @@
-//! Port of `rust/project/reference_specs.rb` — read that file's own
+//! Port of the retired Ruby generator's `reference_specs.rb` — read that file's own
 //! header comments in full; this mirrors its algorithm directly,
 //! function for function.
 

data/rust/codegen/src/registry.rs

@@ -1,4 +1,4 @@
-//! Command router emitter, ported from `rust/project/registry.rb`.
+//! Command router emitter, ported from the retired Ruby generator's `registry.rb`.
 //! The entry structs mirror the Hashes `domain_generator.rb` accumulates while walking the IR.
 
 use crate::exemplar::Exemplar;
@@ -144,7 +144,7 @@ pub fn emit_role_check(
     ))
 }
 
-/// Port of `rust/project/registry.rb#emit_tenant_boundary_check`.
+/// Port of the retired Ruby generator's `registry.rb#emit_tenant_boundary_check`.
 /// Hand-built: the target accessor differs for a single-attribute value object and a bare scalar.
 pub fn emit_tenant_boundary_check(check: &TenantBoundaryCheck) -> String {
     let ref_ident = naming::rust_ident_field(&check.reference_field);
@@ -740,7 +740,7 @@ pub fn emit_registry(exemplar: &Exemplar, aggregates: &[AggregateEntry]) -> Stri
     format!("{header}{body}")
 }
 
-/// Port of `rust/project/registry.rb#emit_reference_table`.
+/// Port of the retired Ruby generator's `registry.rb#emit_reference_table`.
 pub fn emit_reference_table(aggregates: &[AggregateEntry]) -> String {
     let rows: Vec<String> = aggregates
         .iter()
@@ -760,7 +760,7 @@ pub fn emit_reference_table(aggregates: &[AggregateEntry]) -> String {
     )
 }
 
-/// Port of `rust/project/registry.rb#emit_reference_lookup`.
+/// Port of the retired Ruby generator's `registry.rb#emit_reference_lookup`.
 pub fn emit_reference_lookup(aggregates: &[AggregateEntry]) -> String {
     let arms: Vec<String> = aggregates
         .iter()

data/rust/codegen/src/shared.rs

@@ -1,4 +1,4 @@
-//! Predicates ported from `rust/project/mutations.rb` that `types.rs` and `json_codec.rs` share.
+//! Predicates ported from the retired Ruby generator's `mutations.rb` that `types.rs` and `json_codec.rs` share.
 
 use crate::json::Json;
 use std::collections::HashMap;

data/rust/codegen/src/skip_reason.rs

@@ -1,4 +1,4 @@
-//! A skip decision plus the construct family that forced it (`rust/project/skip_reason.rb`).
+//! A skip decision plus the construct family that forced it (the retired Ruby generator's `skip_reason.rb`).
 //! `construct` goes to `manifest.json` beside the reason so tools read the family, not the prose.
 
 use std::fmt;

data/rust/codegen/src/types.rs

@@ -1,4 +1,4 @@
-//! Type emitters ported from `rust/project/types.rb`: records, entities, value objects and
+//! Type emitters ported from the retired Ruby generator's `types.rb`: records, entities, value objects and
 //! closed-set tables.
 
 use crate::exemplar::Exemplar;
@@ -286,7 +286,7 @@ pub fn emit_record(exemplar: &Exemplar, aggregate: &Json, value_objects_by_name:
     format!("{struct_part}\n\n{fielded_part}")
 }
 
-/// Port of `rust/project/types.rb#projected_field_pseudo_attributes` (ADR 0025).
+/// Port of the retired Ruby generator's `types.rb#projected_field_pseudo_attributes` (ADR 0025).
 pub fn projected_field_pseudo_attributes(aggregate: &Json) -> Vec<Json> {
     aggregate
         .get("projected_fields")
@@ -318,7 +318,7 @@ pub fn with_projected_field_pseudo_attributes(aggregate: &Json) -> Json {
     Json::Object(pairs)
 }
 
-/// Port of `rust/project/types.rb#emit_set_projected_field`.
+/// Port of the retired Ruby generator's `types.rb#emit_set_projected_field`.
 pub fn emit_set_projected_field(aggregate: &Json) -> String {
     let name = naming::rust_ident(aggregate.get("name").and_then(Json::as_str).unwrap_or(""));
     let arms: Vec<String> = aggregate
@@ -338,7 +338,7 @@ pub fn emit_set_projected_field(aggregate: &Json) -> String {
     )
 }
 
-/// Port of `rust/project/types.rb#emit_projected_field_table`.
+/// Port of the retired Ruby generator's `types.rb#emit_projected_field_table`.
 pub fn emit_projected_field_table(aggregate: &Json) -> String {
     let name = naming::screaming_snake(aggregate.get("name").and_then(Json::as_str).unwrap_or(""));
     let rows: Vec<String> = aggregate

data/rust/host/HECKS_RELEASE

@@ -1 +1 @@
-3.2.0
+3.2.1

data/rust/host/src/needs.rs

@@ -110,21 +110,34 @@ pub fn table(domain_ir: &Value) -> Value {
     Value::Object(verbs)
 }
 
+fn list<'a>(value: &'a Value, key: &str) -> &'a [Value] {
+    value.get(key).and_then(Value::as_array).map(Vec::as_slice).unwrap_or(&[])
+}
+
+fn named(value: &Value, name: &str) -> bool {
+    value.get("name").and_then(Value::as_str) == Some(name)
+}
+
+/// The command a verb names: `Domain::Aggregate.Command` on the aggregate itself, or
+/// `Domain::Aggregate.Entity[.Entity].Command` on an entity nested inside it.
+fn command_for<'a>(domain_ir: &'a Value, verb: &str) -> Option<&'a Value> {
+    let mut segments = verb.split('.');
+    let aggregate = segments.next()?.rsplit("::").next()?;
+    let mut path: Vec<&str> = segments.collect();
+    let command_name = path.pop()?;
+    let mut node = list(domain_ir, "aggregates").iter().find(|a| named(a, aggregate))?;
+    for entity in path {
+        node = list(node, "entities").iter().find(|e| named(e, entity))?;
+    }
+    list(node, "commands").iter().find(|c| named(c, command_name))
+}
+
 /// The command's attributes that declare a default (`attribute :runs, Count, default: 30`), each
 /// with the declared value. An attribute whose default is null declares none.
 fn declared_defaults<'a>(domain_ir: &'a Value, verb: &str) -> Vec<(&'a str, &'a Value)> {
-    let Some((qualified_aggregate, command_name)) = verb.rsplit_once('.') else { return Vec::new() };
-    let aggregate = qualified_aggregate.rsplit("::").next().unwrap_or(qualified_aggregate);
-    let named = |value: &Value, name: &str| value.get("name").and_then(Value::as_str) == Some(name);
-    let list = |value: &'a Value, key: &str| -> Vec<&'a Value> {
-        value.get(key).and_then(Value::as_array).map(|a| a.iter().collect()).unwrap_or_default()
-    };
-    list(domain_ir, "aggregates")
-        .into_iter()
-        .filter(|a| named(a, aggregate))
-        .flat_map(|a| list(a, "commands"))
-        .filter(|c| named(c, command_name))
-        .flat_map(|c| list(c, "attributes"))
+    let Some(command) = command_for(domain_ir, verb) else { return Vec::new() };
+    list(command, "attributes")
+        .iter()
         .filter_map(|a| {
             let default = a.get("default").filter(|d| !d.is_null())?;
             Some((a.get("name").and_then(Value::as_str)?, default))
@@ -133,29 +146,35 @@ fn declared_defaults<'a>(domain_ir: &'a Value, verb: &str) -> Vec<(&'a str, &'a
 }
 
 /// Every command's declared defaults as the kernel's input `"defaults"` reads them:
-/// `{ verb: { attribute: value } }`. The kernel fills a reaction's command from this the same way
-/// the host fills the outermost one.
+/// `{ verb: { attribute: value } }`, entity commands included. The kernel fills a reaction's
+/// command from this the same way the host fills the outermost one.
 pub fn defaults_table(domain_ir: &Value) -> Value {
     let domain = domain_ir.get("name").and_then(Value::as_str).unwrap_or_default();
     let mut verbs = serde_json::Map::new();
-    let aggregates = domain_ir.get("aggregates").and_then(Value::as_array).into_iter().flatten();
-    for aggregate in aggregates {
+    for aggregate in list(domain_ir, "aggregates") {
         let aggregate_name = aggregate.get("name").and_then(Value::as_str).unwrap_or_default();
-        for command in aggregate.get("commands").and_then(Value::as_array).into_iter().flatten() {
-            let command_name = command.get("name").and_then(Value::as_str).unwrap_or_default();
-            let verb = format!("{domain}::{aggregate_name}.{command_name}");
-            let defaults: serde_json::Map<String, Value> = declared_defaults(domain_ir, &verb)
-                .into_iter()
-                .map(|(name, value)| (name.to_string(), value.clone()))
-                .collect();
-            if !defaults.is_empty() {
-                verbs.insert(verb, Value::Object(defaults));
-            }
-        }
+        collect_defaults(domain_ir, aggregate, &format!("{domain}::{aggregate_name}"), &mut verbs);
     }
     Value::Object(verbs)
 }
 
+/// Adds the defaults of `node`'s commands, then of each entity nested in it, under `prefix`.
+fn collect_defaults(domain_ir: &Value, node: &Value, prefix: &str, verbs: &mut serde_json::Map<String, Value>) {
+    for command in list(node, "commands") {
+        let command_name = command.get("name").and_then(Value::as_str).unwrap_or_default();
+        let verb = format!("{prefix}.{command_name}");
+        let defaults: serde_json::Map<String, Value> =
+            declared_defaults(domain_ir, &verb).into_iter().map(|(name, value)| (name.to_string(), value.clone())).collect();
+        if !defaults.is_empty() {
+            verbs.insert(verb, Value::Object(defaults));
+        }
+    }
+    for entity in list(node, "entities") {
+        let entity_name = entity.get("name").and_then(Value::as_str).unwrap_or_default();
+        collect_defaults(domain_ir, entity, &format!("{prefix}.{entity_name}"), verbs);
+    }
+}
+
 /// The facts of a command invocation: the `with` object when the call carries one, else the
 /// flat object itself (the kernel's `CommandInvocation` reads both shapes).
 fn facts_mut(args: &mut Value) -> Option<&mut serde_json::Map<String, Value>> {
@@ -351,4 +370,52 @@ mod tests {
         assert_eq!(defaults_table(&defaulted_ir()), json!({"Qc::Check.Start": {"runs": 30}}));
         assert_eq!(defaults_table(&integer_ir()), json!({}));
     }
+
+    // A board entity with a defaulted command, and a card nested inside it with another.
+    fn nested_ir() -> Value {
+        json!({"name": "Np", "aggregates": [{"name": "Workspace", "commands": [], "entities": [
+            {"name": "Board", "commands": [
+                {"name": "Retitle", "attributes": [
+                    {"name": "label", "type": "BoardLabel", "default": {"value": "untitled"}}], "needs": []}
+            ], "entities": [
+                {"name": "Card", "commands": [
+                    {"name": "Remark", "attributes": [
+                        {"name": "note", "type": "CardNote", "default": {"text": "none"}}], "needs": []}
+                ]}
+            ]}
+        ]}]})
+    }
+
+    #[test]
+    fn an_entity_command_is_filled_from_its_own_declared_default() {
+        let mut args = json!({"reference": {"value": "W1"}, "number": {"value": 1}});
+        fill_defaults(&nested_ir(), "Np::Workspace.Board.Retitle", &mut args);
+        assert_eq!(args["label"], json!({"value": "untitled"}));
+    }
+
+    #[test]
+    fn a_command_on_an_entity_nested_in_an_entity_is_filled_too() {
+        let mut args = json!({"with": {"reference": {"value": "W1"}}});
+        fill_defaults(&nested_ir(), "Np::Workspace.Board.Card.Remark", &mut args);
+        assert_eq!(args["with"]["note"], json!({"text": "none"}));
+    }
+
+    #[test]
+    fn an_entity_path_that_names_nothing_is_left_untouched() {
+        let mut args = json!({"number": 1});
+        fill_defaults(&nested_ir(), "Np::Workspace.Shelf.Retitle", &mut args);
+        fill_defaults(&nested_ir(), "Np::Workspace.Board.Remark", &mut args);
+        assert_eq!(args, json!({"number": 1}));
+    }
+
+    #[test]
+    fn the_kernel_table_lists_entity_commands_under_their_full_path() {
+        assert_eq!(
+            defaults_table(&nested_ir()),
+            json!({
+                "Np::Workspace.Board.Retitle": {"label": {"value": "untitled"}},
+                "Np::Workspace.Board.Card.Remark": {"note": {"text": "none"}}
+            })
+        );
+    }
 }

data/rust/src/exemplar/commands.rs

@@ -1,4 +1,4 @@
-//! Exemplar shapes for rust/project/commands.rb (see mod.rs).
+//! Exemplar shapes for rust/codegen/src/commands.rs (see mod.rs).
 //!
 //! `dispatch_fn` proves the outer `pub fn .. -> DispatchResult { .. dispatch(..) .. }` wrapper.
 #![allow(dead_code, unused_variables)]

data/rust/src/exemplar/constraints.rs

@@ -1,4 +1,4 @@
-//! Exemplar shapes for rust/project/constraints.rb (see mod.rs).
+//! Exemplar shapes for rust/codegen/src/constraints.rs (see mod.rs).
 //!
 //! Both shapes are single-line refusal checks spliced into a `Result`-returning body.
 #![allow(dead_code, unused_variables)]

data/rust/src/exemplar/fielded.rs

@@ -1,4 +1,4 @@
-//! Exemplar shapes for rust/project/fielded.rb (see mod.rs).
+//! Exemplar shapes for rust/codegen/src/fielded.rs (see mod.rs).
 //!
 //! Each `Fielded::field` arm shape is a standalone leaf so both outer skeletons can reuse it.
 #![allow(dead_code, unused_variables)]

data/rust/src/exemplar/json.rs

@@ -1,4 +1,4 @@
-// Exemplar shapes for rust/project/json_codec.rb; see mod.rs.
+// Exemplar shapes for rust/codegen/src/json_codec.rs; see mod.rs.
 // Kept out of the fenced region so its prose is not baked into every generated codec.
 #![allow(dead_code, unused_variables)]
 

data/rust/src/exemplar/mod.rs

@@ -1,4 +1,4 @@
-// Compile-checked Rust for every shape rust/project/*.rb emits; exemplar.rb slices the fenced
+// Compile-checked Rust for every shape rust/codegen/src/*.rs emits; exemplar.rs slices the fenced
 // `// TMPL:<id> BEGIN` / `END` regions and substitutes real names for the `tmpl_` vocabulary.
 //
 // `tmpl_*_host` functions only give fenced fragments real types and are never called, hence

data/rust/src/exemplar/mutations.rs

@@ -1,4 +1,4 @@
-// Exemplar shapes for rust/project/mutations.rb; see mod.rs.
+// Exemplar shapes for rust/codegen/src/mutations.rs; see mod.rs.
 // Hosts take `record: &mut Tmpl...`, not `&mut self`, as the generated mutation closures do.
 #![allow(dead_code, unused_variables)]
 

data/rust/src/exemplar/queries.rs

@@ -1,4 +1,4 @@
-// Exemplar shape for rust/project/registry.rb's `emit_query_table`; see mod.rs.
+// Exemplar shape for rust/codegen/src/registry.rs's `emit_query_table`; see mod.rs.
 #![allow(dead_code, unused_variables)]
 
 // A `const` cannot call a function, so the row is a real literal substituted wholesale.

data/rust/src/exemplar/reactions.rs

@@ -1,4 +1,4 @@
-// Exemplar shapes that rust/project/reactions.rb slices into generated tables;
+// Exemplar shapes that rust/codegen/src/reactions.rs slices into generated tables;
 // see mod.rs for how they are used.
 #![allow(dead_code, unused_variables)]
 

data/rust/src/exemplar/read_models.rs

@@ -1,4 +1,4 @@
-// Exemplar shapes for rust/project/read_models.rb's `emit_read_model_table`
+// Exemplar shapes for rust/codegen/src/read_models.rs's `emit_read_model_table`
 // — see mod.rs's own header. `ReadModelDef`/`ReadModelHead`/`FilteredHead`/
 // `ReferenceField` are real kernel types (`rust/src/kernel/read_model.rs`).
 #![allow(dead_code, unused_variables)]

data/rust/src/exemplar/registry.rs

@@ -1,4 +1,4 @@
-// Exemplar shapes for rust/project/registry.rb; see mod.rs.
+// Exemplar shapes for rust/codegen/src/registry.rs; see mod.rs.
 // `InMemoryRepository<T>` only needs `T: Clone`, so an `i64` record type suffices.
 #![allow(dead_code, unused_variables)]
 

data/rust/src/exemplar/types.rs

@@ -1,4 +1,4 @@
-// Exemplar shapes for rust/project/types.rb; see mod.rs.
+// Exemplar shapes for rust/codegen/src/types.rs; see mod.rs.
 // `closed_set_enum` is a one-field closed set (one variant per member); a multi-field closed
 // set is a fixed data table instead.
 #![allow(dead_code, unused_variables)]

data/rust/src/kernel/cli.rs

@@ -159,7 +159,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"
                         )),
@@ -195,7 +195,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/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.2.1
 platform: ruby
 authors:
 - Chris Young
@@ -273,6 +273,7 @@ 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
@@ -616,6 +617,7 @@ files:
 - 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
@@ -973,28 +975,6 @@ files:
 - 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