hecks 3.0.5 → 3.1.0

data/rust/project/write_if_changed.rb

@@ -1,83 +1,7 @@
-require "fileutils"
-require "set"
+require "hecks/rust_build/write_if_changed"
 
-# Skips writes whose content is unchanged so file mtimes stay stable.
-# A rewrite alone forces Cargo to rebuild downstream crates.
 module RustProjection
-  module WriteIfChanged
-    module_function
-
-    # Records every path written or confirmed unchanged inside the block, then deletes
-    # files left in `dir` that were never touched (orphans of removed aggregates).
-    # Every write is recorded against every open ancestor directory.
-    # `push_directory`/`pop_and_prune` are the same operation split for non-adjacent writes.
-    def track_directory(dir)
-      push_directory(dir)
-      yield
-    ensure
-      pop_and_prune(dir)
-    end
-
-    def push_directory(dir)
-      FileUtils.mkdir_p(dir)
-      stack.push([File.expand_path(dir), Set.new])
-    end
-
-    # Matches by directory, not LIFO: nested directories can close out of order.
-    def pop_and_prune(dir)
-      abs_dir = File.expand_path(dir)
-      idx = stack.rindex { |tracked_dir, _| tracked_dir == abs_dir }
-      return unless idx
-
-      _dir, touched = stack.delete_at(idx)
-      existing = Dir.glob(File.join(abs_dir, "*"))
-      (existing - touched.to_a).each do |orphan|
-        FileUtils.rm_rf(orphan)
-        puts "pruned #{orphan} (no longer generated)"
-      end
-    end
-
-    def stack
-      Thread.current[:hecks_write_if_changed_stack] ||= []
-    end
-    private_class_method :stack
-
-    def record_touch(path)
-      abs = File.expand_path(path)
-      stack.each do |dir, touched|
-        touched << abs if abs.start_with?("#{dir}/")
-      end
-    end
-    private_class_method :record_touch
-
-    # Writes `content` to `path` unless it already holds identical bytes.
-    # Returns whether it wrote.
-    def call(path, content)
-      record_touch(path)
-      # `.b` on both sides: String#== is encoding-aware, so UTF-8 vs ASCII-8BIT
-      # content can compare unequal even when the bytes are identical.
-      return false if File.exist?(path) && File.binread(path) == content.b
-
-      File.write(path, content)
-      true
-    end
-
-    # Like `call`, for callers that build content by writing to an IO. Yields a sibling
-    # temp file, then renames it into place only if the bytes differ. Returns whether it wrote.
-    def block(path)
-      record_touch(path)
-      tmp = "#{path}.tmp-#{Process.pid}-#{rand(1_000_000)}"
-      begin
-        File.open(tmp, "w") { |f| yield f }
-        if File.exist?(path) && FileUtils.compare_file(tmp, path)
-          false
-        else
-          FileUtils.mv(tmp, path)
-          true
-        end
-      ensure
-        File.delete(tmp) if File.exist?(tmp)
-      end
-    end
-  end
+  # The write-if-unchanged helper moved to `Hecks::RustBuild::WriteIfChanged`, which the
+  # codegen-backed `hecks project_rust` also uses; this name stays until this generator is deleted.
+  WriteIfChanged = Hecks::RustBuild::WriteIfChanged
 end

data/rust/project_rust_pipeline.rb

@@ -34,10 +34,10 @@ module RustProjectPipeline
     target_chapter_name = header_chapter_name(bluebook_paths.first)
     target_bluebooks = bluebook_paths.select { |path| header_chapter_name(path) == target_chapter_name }
 
-    uses_framework_names, uses_embryonaut_bluebook_names =
+    gem_chapter_names, vendored_package_names =
       if hecksagon_path
         resolved = JSON.parse(run_capture!(PARSER_BIN, "resolve", "--chapter", target_chapter_name, hecksagon_path))
-        [resolved.fetch("uses_framework"), resolved.fetch("uses_embryonaut_bluebook")]
+        [resolved.fetch("gem_chapters"), resolved.fetch("vendored_packages")]
       else
         [[], []]
       end
@@ -50,18 +50,22 @@ module RustProjectPipeline
 
     # Mirrors hecks project_rust's own Framework.load! resolution. A framework
     # member has no .hecksagon of its own, only its .bluebook.
-    chapters = uses_framework_names.map do |fw_name|
+    # A gem chapter that is not a framework member (the language, Tenancy, Deploy) is loaded by
+    # the Ruby runtime alone, so it is checked against the one table and skipped here.
+    chapters = gem_chapter_names.filter_map do |fw_name|
+      next if Hecks::Chapters.index.key?(fw_name) && !Hecks::Framework.members.key?(fw_name)
+
       fw_path = Hecks::Framework.members.fetch(fw_name) do
-        abort "hecks project_rust (Rust path): uses_framework #{fw_name.inspect} names no known framework member — known: #{Hecks::Framework.members.keys.sort.join(', ')}"
+        abort "hecks project_rust (Rust path): attaches #{fw_name.inspect} names no chapter the gem carries — known: #{Hecks::Chapters.table.keys.sort.join(', ')}"
       end
       fw_chapter_name = header_chapter_name(fw_path)
       unless fw_chapter_name == fw_name
-        abort "hecks project_rust (Rust path): #{fw_path} declares chapter #{fw_chapter_name.inspect}, but uses_framework named #{fw_name.inspect}"
+        abort "hecks project_rust (Rust path): #{fw_path} declares chapter #{fw_chapter_name.inspect}, but attaches named #{fw_name.inspect}"
       end
       fw_ir_text = derive_append_optionals(run_capture!(PARSER_BIN, "chapter", "--chapter", fw_chapter_name, fw_path))
       {
         mod_name:     fw_name.downcase,
-        source_label: "#{domain} (uses_framework #{fw_name.inspect})",
+        source_label: "#{domain} (attaches #{fw_name.inspect})",
         ir_text:      fw_ir_text
       }
     end
@@ -69,22 +73,22 @@ module RustProjectPipeline
     # Mirrors EmbryonautBluebook.load!: every .bluebook file directly under
     # vendor/embryonaut_bluebooks/<name>/bluebook/, sorted. A vendored
     # package has no .hecksagon of its own either, just its .bluebook(s).
-    chapters += uses_embryonaut_bluebook_names.map do |pkg_name|
+    chapters += vendored_package_names.map do |pkg_name|
       unless pkg_name.to_s.match?(Hecks::EmbryonautBluebook::PACKAGE_NAME)
-        abort "hecks project_rust (Rust path): uses_embryonaut_bluebook #{pkg_name.inspect} is not a package " \
+        abort "hecks project_rust (Rust path): attaches #{pkg_name.inspect}, from: :vendor is not a package " \
               "name — it must match [a-z][a-z0-9_]* (the name `hecks vendor` accepts)"
       end
       pkg_dir = File.join(domain, "vendor", "embryonaut_bluebooks", pkg_name.to_s, "bluebook")
       pkg_files = Dir.glob(File.join(pkg_dir, "*.bluebook")).sort
       if pkg_files.empty?
-        abort "hecks project_rust (Rust path): uses_embryonaut_bluebook #{pkg_name.inspect} names no vendored " \
+        abort "hecks project_rust (Rust path): attaches #{pkg_name.inspect}, from: :vendor names no vendored " \
               "bluebook at #{pkg_dir} — run hecks vendor #{pkg_name}"
       end
       pkg_chapter_name = header_chapter_name(pkg_files.first)
       expected_chapter_name = Hecks::Naming.pascal(pkg_name.to_s)
       unless pkg_chapter_name == expected_chapter_name
         abort "hecks project_rust (Rust path): #{pkg_files.first} declares chapter #{pkg_chapter_name.inspect}, but " \
-              "uses_embryonaut_bluebook #{pkg_name.inspect} expects #{expected_chapter_name.inspect}"
+              "attaches #{pkg_name.inspect}, from: :vendor expects #{expected_chapter_name.inspect}"
       end
       pkg_bluebooks = pkg_files.select { |path| header_chapter_name(path) == pkg_chapter_name }
       pkg_ir_text = derive_append_optionals(run_capture!(PARSER_BIN, "chapter", "--chapter", pkg_chapter_name, *pkg_bluebooks))
@@ -92,7 +96,7 @@ module RustProjectPipeline
         # Derived from the declared chapter name, not pkg_name.downcase
         # directly — the two diverge once a package name has an underscore.
         mod_name:     expected_chapter_name.downcase,
-        source_label: "#{domain} (uses_embryonaut_bluebook #{pkg_name.inspect})",
+        source_label: "#{domain} (attaches #{pkg_name.inspect}, from: :vendor)",
         ir_text:      pkg_ir_text
       }
     end
@@ -294,7 +298,7 @@ module RustProjectPipeline
       f.puts "// chapter (governance/identity — no merged.rs of its own, so absent"
       f.puts "// from `domains`) stays unconditional: it has no single feature of its"
       f.puts "// own to gate behind, and is compiled in by whichever domain(s) attach"
-      f.puts "// it via `uses_framework`."
+      f.puts "// it via `attaches`."
       all_dirs.each do |name|
         f.puts "#[cfg(feature = #{name.inspect})]" if domains.include?(name)
         f.puts "pub mod #{name};"

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 `"defaults"`: each command's declared argument defaults, filled the same way.
+    super::needs::install_defaults(parsed.get("defaults"));
 
     let steps = match parsed.get("steps").and_then(Json::as_array) {
         Some(s) => s,

data/rust/src/kernel/needs.rs

@@ -25,6 +25,7 @@ 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 FIXED_CLOCK: Cell<Option<i64>> = const { Cell::new(None) };
 }
 
@@ -52,6 +53,23 @@ pub fn install(table: Option<&Json>) {
     TABLE.with(|t| *t.borrow_mut() = parsed);
 }
 
+/// Installs the declared defaults the host passed, `{ verb: { attribute: value } }` (an absent or
+/// malformed `"defaults"` installs an empty table). They fill after the needs, so a fact that is
+/// both needed and defaulted takes the answer.
+pub fn install_defaults(table: Option<&Json>) {
+    let parsed = match table {
+        Some(Json::Object(entries)) => entries
+            .iter()
+            .filter_map(|(verb, attributes)| match attributes {
+                Json::Object(held) => Some((verb.clone(), held.clone())),
+                _ => None,
+            })
+            .collect(),
+        _ => HashMap::new(),
+    };
+    DEFAULTS.with(|t| *t.borrow_mut() = parsed);
+}
+
 /// Makes the kernel clock answer `secs` on this thread until cleared; the test seam.
 pub fn fix_clock(secs: Option<i64>) {
     FIXED_CLOCK.with(|c| c.set(secs));
@@ -100,7 +118,11 @@ fn answer(need: &Need, occurred_at: Option<&str>) -> Option<Json> {
 /// needed filling (no needs, or every fact supplied). Reads `with` when the call carries one,
 /// else the flat object, as `CommandInvocation` does.
 pub fn enrich(verb: &str, args: &Json, occurred_at: Option<&str>) -> Option<Json> {
-    let needs = TABLE.with(|t| t.borrow().get(verb).cloned())?;
+    let needs = TABLE.with(|t| t.borrow().get(verb).cloned()).unwrap_or_default();
+    let defaults = DEFAULTS.with(|t| t.borrow().get(verb).cloned()).unwrap_or_default();
+    if needs.is_empty() && defaults.is_empty() {
+        return None;
+    }
     let explicit = matches!(args.get("with"), Some(Json::Object(_)));
     let facts = if explicit { args.get("with")? } else { args };
     let Json::Object(held) = facts else { return None };
@@ -114,6 +136,11 @@ pub fn enrich(verb: &str, args: &Json, occurred_at: Option<&str>) -> Option<Json
             filled.push((need.fact.clone(), value));
         }
     }
+    for (name, value) in &defaults {
+        if !filled.iter().any(|(k, _)| k == name) {
+            filled.push((name.clone(), value.clone()));
+        }
+    }
     if filled.len() == before {
         return None;
     }
@@ -191,4 +218,50 @@ mod tests {
         assert_eq!(now_secs(Some("1970-01-01T00:00:00Z")), 0);
         assert!(now_secs(None) > 1_700_000_000);
     }
+
+    fn defaults() -> Json {
+        Json::parse(r#"{"D::A.Start": {"runs": 30}, "D::A.Instant": {"holder": "nobody"}}"#).unwrap()
+    }
+
+    #[test]
+    fn an_omitted_argument_takes_its_declared_default() {
+        install(None);
+        install_defaults(Some(&defaults()));
+        let filled = enrich("D::A.Start", &with(vec![("ref", Json::int(1))]), None).unwrap();
+        assert_eq!(filled.get("with").unwrap().get("runs"), Some(&Json::int(30)));
+        assert_eq!(filled.get("with").unwrap().get("ref"), Some(&Json::int(1)));
+    }
+
+    #[test]
+    fn a_supplied_argument_keeps_its_value_over_the_default() {
+        install(None);
+        install_defaults(Some(&defaults()));
+        assert_eq!(enrich("D::A.Start", &with(vec![("runs", Json::int(7))]), None), None);
+    }
+
+    #[test]
+    fn a_flat_invocation_is_filled_at_its_top_level() {
+        install(None);
+        install_defaults(Some(&defaults()));
+        let filled = enrich("D::A.Start", &Json::obj(vec![("ref", Json::int(1))]), None).unwrap();
+        assert_eq!(filled.get("runs"), Some(&Json::int(30)));
+    }
+
+    #[test]
+    fn a_needed_fact_is_answered_and_the_default_fills_beside_it() {
+        install(Some(&table()));
+        install_defaults(Some(&defaults()));
+        fix_clock(Some(3));
+        let filled = enrich("D::A.Instant", &with(vec![]), None).unwrap();
+        assert_eq!(filled.get("with").unwrap().get("now"), Some(&Json::obj(vec![("value", Json::int(3))])));
+        assert_eq!(filled.get("with").unwrap().get("holder"), Some(&Json::str("nobody")));
+        fix_clock(None);
+    }
+
+    #[test]
+    fn no_installed_defaults_leaves_a_command_untouched() {
+        install(None);
+        install_defaults(None);
+        assert_eq!(enrich("D::A.Start", &with(vec![]), None), None);
+    }
 }

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: hecks
 version: !ruby/object:Gem::Version
-  version: 3.0.5
+  version: 3.1.0
 platform: ruby
 authors:
 - Chris Young
@@ -215,9 +215,11 @@ files:
 - lib/hecks/cli/deploy_template_diff.rb
 - lib/hecks/cli/doc_coverage.rb
 - lib/hecks/cli/document.rb
+- lib/hecks/cli/domain_stub.rb
 - lib/hecks/cli/expression_projection.rb
 - lib/hecks/cli/follow.rb
 - lib/hecks/cli/history.rb
+- lib/hecks/cli/interview_draft.rb
 - lib/hecks/cli/ir.rb
 - lib/hecks/cli/mcp.rb
 - lib/hecks/cli/model_check.rb
@@ -393,6 +395,8 @@ files:
 - lib/hecks/hecks/adapters/rust_workspace.rb
 - lib/hecks/hecks/adapters/shell.adapter
 - lib/hecks/hecks/adapters/shell.rb
+- lib/hecks/hecks/adapters/site_toolchain.adapter
+- lib/hecks/hecks/adapters/site_toolchain.rb
 - lib/hecks/hecks/adapters/terminal.adapter
 - lib/hecks/hecks/adapters/terminal.rb
 - lib/hecks/hecks/codebase.behaviors
@@ -408,6 +412,8 @@ files:
 - lib/hecks/hecks/hecks.bluebook
 - lib/hecks/hecks/hecks.hecksagon
 - lib/hecks/hecks/hecks.world
+- lib/hecks/hecks/site.behaviors
+- lib/hecks/hecks/site.world
 - lib/hecks/ir.rb
 - lib/hecks/kernel_capabilities.rb
 - lib/hecks/language/adapter.bluebook
@@ -521,6 +527,13 @@ files:
 - lib/hecks/projection_files.rb
 - lib/hecks/projections.rb
 - lib/hecks/projections/bootstrap_table.rb
+- lib/hecks/projections/deploy/box.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/fetch-secrets.sh
+- lib/hecks/projections/deploy/box/templates/rds.yaml.tmpl
+- lib/hecks/projections/deploy/box/templates/render-compose.sh.tmpl
 - lib/hecks/projections/deploy/fargate.rb
 - lib/hecks/projections/deploy/fargate/assembly.rb
 - lib/hecks/projections/deploy/fargate/cdn.rb
@@ -573,6 +586,17 @@ files:
 - lib/hecks/projections/reference.rb
 - lib/hecks/projections/rust_vocabulary.rb
 - lib/hecks/projections/shape.rb
+- lib/hecks/projections/site/edge.rb
+- lib/hecks/projections/site/edge/behaviours.rb
+- 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/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/row_builder.rb
 - lib/hecks/projections/statements.rb
 - lib/hecks/projections/vocabulary.rb
 - lib/hecks/projector.rb
@@ -715,14 +739,25 @@ 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/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
+- lib/hecks/site/bluebook/site.bluebook
+- lib/hecks/site/bluebook/site.hecksagon
+- lib/hecks/site/bluebook/site.ports.hecksagon
+- lib/hecks/sme/bluebook/sme.bluebook
+- lib/hecks/sme/bluebook/sme.hecksagon
 - lib/hecks/storehouse.rb
 - lib/hecks/tenancy/bluebook/tenancy.bluebook
 - lib/hecks/tenancy/bluebook/tenancy.hecksagon
@@ -750,6 +785,7 @@ files:
 - lib/hecks/tools/regeneration_run.rb
 - lib/hecks/tools/rust_comment_style.rb
 - lib/hecks/tools/sequence_script.rb
+- lib/hecks/tools/site_routes.rb
 - lib/hecks/tools/tail_merge.rb
 - lib/hecks/tools/tenant_provisioning.rb
 - lib/hecks/tools/translation_audit.rb