hecks 3.2.1 → 3.4.0

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

@@ -164,7 +164,7 @@ pub fn parse_body(
                 owner_entities,
             );
             refuse_duplicate_targets(file, *pos, &command)?;
-            refuse_undeclared_needs(file, *pos, &command)?;
+            super::needs::refuse_undeclared(file, *pos, &command.name, &command.needs, &command.attributes)?;
             return Ok((command, pending));
         };
         let line = gated.line.number;
@@ -206,27 +206,7 @@ pub fn parse_body(
                     canonical: canonical::apply(&raw),
                 });
             }
-            "needs" => {
-                let fact = super::positional_symbol(file, line, "needs", &gated.args, 1)?;
-                if !NEEDABLE_FACTS.contains(&fact.as_str()) {
-                    return Err(Diagnostic::new(
-                        file,
-                        line,
-                        format!(
-                            "{} needs :{fact}, which the runtime cannot supply — it supplies :now",
-                            command.name
-                        ),
-                    ));
-                }
-                if command.needs.contains(&fact) {
-                    return Err(Diagnostic::new(
-                        file,
-                        line,
-                        format!("{} declares needs :{fact} twice", command.name),
-                    ));
-                }
-                command.needs.push(fact);
-            }
+            "needs" => super::needs::declare(file, line, &command.name, &gated.args, &mut command.needs)?,
             "provenance" => {
                 let raw = super::named_raw(&gated.args, "from")
                     .ok_or_else(|| Diagnostic::new(file, line, "'provenance' requires a from:"))?;
@@ -319,28 +299,6 @@ fn state_ref(raw: &str) -> Option<String> {
     Some(inner.to_string())
 }
 
-/// The outside facts a command may declare it needs; mirrors `CommandBuilder::NEEDABLE_FACTS`.
-const NEEDABLE_FACTS: &[&str] = &["now"];
-
-/// A need names the attribute the runtime fills, so the command must declare it.
-fn refuse_undeclared_needs(file: &str, line: usize, command: &ir::Command) -> ParseResult<()> {
-    match command
-        .needs
-        .iter()
-        .find(|fact| !command.attributes.iter().any(|a| &a.name == *fact))
-    {
-        Some(fact) => Err(Diagnostic::new(
-            file,
-            line,
-            format!(
-                "{} needs :{fact} but declares no attribute :{fact} for the runtime to fill — add `attribute :{fact}, <type>`",
-                command.name
-            ),
-        )),
-        None => Ok(()),
-    }
-}
-
 /// Refuses a field written twice: a command's effects are one update set (C4.2).
 /// `delegates_to`/`corrects` name no field and are not counted.
 fn refuse_duplicate_targets(file: &str, line: usize, command: &ir::Command) -> ParseResult<()> {

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

@@ -14,9 +14,8 @@ pub fn not_implemented(file: &str, line: usize, word: &str) -> Diagnostic {
 /// Applies a `.hecksagon` body onto an already-built `ir::Bluebook`, attaching
 /// aggregate-scoped ports to the aggregates the sibling `.bluebook` registered.
 ///
-/// `gem_chapter_names` collects each `attaches "Name"` (and the deprecated `uses_framework`) and
-/// `vendored_bluebook_names` each `attaches "name", from: :vendor` (and the deprecated
-/// `uses_embryonaut_bluebook`), in file order, for `hecks-parse resolve`; `ir.json` itself
+/// `gem_chapter_names` collects each `attaches "Name"` and
+/// `vendored_bluebook_names` each `attaches "name", from: :vendor`, in file order, for `hecks-parse resolve`; `ir.json` itself
 /// carries neither.
 ///
 /// `require_matching_aggregate` is `false` for resolve, which never sees a `.bluebook`, so an
@@ -65,8 +64,20 @@ pub fn apply(
         if let LineShape::Call(call) = lex::classify(file, &line)? {
             if !matches!(
                 call.word.as_str(),
-                "port" | "subscribe" | "uses_framework" | "uses_embryonaut_bluebook" | "attaches" | "translates" | "bounded" | "end"
+                "port" | "subscribe" | "attaches" | "translates" | "bounded" | "end"
             ) {
+                let instead = match call.word.as_str() {
+                    "uses_framework" => Some("attaches \"Name\""),
+                    "uses_embryonaut_bluebook" => Some("attaches \"name\", from: :vendor"),
+                    _ => None,
+                };
+                if let Some(instead) = instead {
+                    return Err(Diagnostic::new(
+                        file,
+                        line.number,
+                        format!("`{}` was removed in 3.4.0; use `{instead}`", call.word),
+                    ));
+                }
                 *pos += 1;
                 if matches!(call.opener, Opener::DoBlock { .. }) {
                     skip_dropped_body(file, lines, pos)?;
@@ -98,26 +109,6 @@ pub fn apply(
                     let built = policy::parse_body(file, lines, pos, &name)?;
                     bluebook.policies.push(built);
                 }
-                // Deprecated spelling of `attaches "Name"`; gated, then collected.
-                "uses_framework" => {
-                    gem_chapter_names.push(super::positional_text(
-                        file,
-                        gated.line.number,
-                        "uses_framework",
-                        &gated.args,
-                        1,
-                    )?);
-                }
-                // Deprecated spelling of `attaches "name", from: :vendor`; collected the same way.
-                "uses_embryonaut_bluebook" => {
-                    vendored_bluebook_names.push(super::positional_text(
-                        file,
-                        gated.line.number,
-                        "uses_embryonaut_bluebook",
-                        &gated.args,
-                        1,
-                    )?);
-                }
                 "subscribe" => {}
                 // One word for a chapter the gem carries and for a vendored package; a binding
                 // fact collected for `resolve`, absent from `ir.json`. Only `from: :vendor`

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

@@ -9,6 +9,7 @@ pub mod entity;
 pub mod file;
 pub mod hecksagon;
 pub mod lifecycle;
+pub mod needs;
 pub mod policy;
 pub mod process_manager;
 pub mod query;

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

@@ -0,0 +1,60 @@
+//! The `needs` word, shared by the two declarations that may use it: a command and a query
+//! (ADR 0081). Mirrors `Hecks::Bluebook::DSL::NeedWord`.
+
+use crate::diag::{Diagnostic, ParseResult};
+use crate::ir;
+use crate::parse::ArgumentGateResult;
+
+/// The outside facts a declaration may need, each the name of the attribute the runtime fills;
+/// mirrors `NeedWord::NEEDABLE_FACTS`. `now` is the clock port's reading in epoch seconds and
+/// `today` the day it falls in, whole days since the epoch in UTC.
+const NEEDABLE_FACTS: &[&str] = &["now", "today"];
+
+/// Reads one `needs :fact` line into `needs`.
+///
+/// Refuses a fact the runtime cannot supply and a fact declared twice, as the Ruby builder does.
+pub fn declare(
+    file: &str,
+    line: usize,
+    owner: &str,
+    args: &ArgumentGateResult,
+    needs: &mut Vec<String>,
+) -> ParseResult<()> {
+    let fact = super::positional_symbol(file, line, "needs", args, 1)?;
+    if !NEEDABLE_FACTS.contains(&fact.as_str()) {
+        let supplied: Vec<String> = NEEDABLE_FACTS.iter().map(|known| format!(":{known}")).collect();
+        return Err(Diagnostic::new(
+            file,
+            line,
+            format!(
+                "{owner} needs :{fact}, which the runtime cannot supply — it supplies {}",
+                supplied.join(", ")
+            ),
+        ));
+    }
+    if needs.contains(&fact) {
+        return Err(Diagnostic::new(file, line, format!("{owner} declares needs :{fact} twice")));
+    }
+    needs.push(fact);
+    Ok(())
+}
+
+/// A need names the attribute the runtime fills, so the declaration must have one.
+pub fn refuse_undeclared(
+    file: &str,
+    line: usize,
+    owner: &str,
+    needs: &[String],
+    attributes: &[ir::Attribute],
+) -> ParseResult<()> {
+    match needs.iter().find(|fact| !attributes.iter().any(|a| &a.name == *fact)) {
+        Some(fact) => Err(Diagnostic::new(
+            file,
+            line,
+            format!(
+                "{owner} needs :{fact} but declares no attribute :{fact} for the runtime to fill — add `attribute :{fact}, <type>`"
+            ),
+        )),
+        None => Ok(()),
+    }
+}

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.4.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,11 +282,12 @@ 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
 - lib/hecks/engine_agreement.rb
-- lib/hecks/facade.rb
 - lib/hecks/forms.rb
 - lib/hecks/forms/app.rb
 - lib/hecks/forms/banking_presentation.rb
@@ -387,10 +390,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 +551,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 +625,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 +748,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 +777,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 +798,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 +826,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 +848,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 +877,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 +887,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 +981,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/facade.rb

@@ -1,31 +0,0 @@
-# The deprecated alias shim: `Hecks::Facade` is now `Hecks::Doors` and `Doors::Surface` is
-# `Doors::RubyDoor`. Both old constants still resolve and warn; they are removed in
-# `Hecks::Doors::REMOVAL`.
-require_relative "doors"
-
-# The root namespace; this file holds only the deprecated aliases.
-module Hecks
-  # Resolves the constants that now live in `Doors` under their old names, warning on each use.
-  #
-  # Extended onto `Hecks` and `Hecks::Doors`, ahead of `Module#const_missing`.
-  module DoorsAliases
-    # Old constant name mapped to the new one, per namespace that carried it.
-    RENAMED = { Hecks => { Facade: "Hecks::Doors" }, Hecks::Doors => { Surface: "Hecks::Doors::RubyDoor" } }.freeze
-
-    # Answers a renamed constant with its replacement and a warning; anything else
-    # goes to the next `const_missing`.
-    #
-    # @param name [Symbol] the missing constant
-    # @return [Module] the replacement module
-    def const_missing(name)
-      target = RENAMED.fetch(self, {})[name]
-      return super unless target
-
-      warn "[hecks] #{self}::#{name} is deprecated and is removed in #{Hecks::Doors::REMOVAL}; use #{target}"
-      Object.const_get(target)
-    end
-  end
-
-  extend DoorsAliases
-  Doors.extend(DoorsAliases)
-end