hecks 3.14.0 → 5.0.0

data/lib/hecks/tools/fuzz_sweep/findings.rb

@@ -48,19 +48,13 @@ module Hecks
           failure[:message].split("; ").all? { |chunk| matchers.any? { |regex| regex.match?(chunk) } }
         end
 
-        # Skips only exact, already-tracked wiring gaps; any other WiringError is re-raised.
+        # Skips only exact, already-tracked wiring gaps (`SKIPPED_DOMAIN_REASONS`); none is tracked
+        # now, so any WiringError is re-raised.
         #
         # @param error [Hecks::Runtime::WiringError] what generating a sequence raised
         # @return [Symbol] a key of `SKIPPED_DOMAIN_REASONS`
         def known_unfuzzable_wiring_gap(error)
-          case error.message
-          when %r{a compute/rekey rule is declared}
-            # compute/rekey needs an era/Postgres migration, so it cannot boot under IsolatedBoot's
-            # Memory rebind. Real coverage lives in spec/adapters/driven/postgres_era/*_spec.rb.
-            :skip_compute_rekey
-          else
-            raise error
-          end
+          raise error
         end
 
         # Shrinks steps, then arguments, keeping a removal only while the same finding reproduces.

data/lib/hecks/tools/fuzz_sweep.rb

@@ -29,9 +29,7 @@ module Hecks
       KNOWN_FUZZ_FINDINGS = {}.freeze
 
       # Why a domain is skipped, by the reason `known_unfuzzable_wiring_gap` answers.
-      SKIPPED_DOMAIN_REASONS = {
-        skip_compute_rekey: "declares compute/rekey, which only an era/Postgres-bound boot can interpret"
-      }.freeze
+      SKIPPED_DOMAIN_REASONS = {}.freeze
 
       # The persistence an ephemeral boot may use.
       ADAPTERS = %i[memory sqlite postgres].freeze

data/lib/hecks/tools/translation_audit/verdicts.rb

@@ -30,17 +30,14 @@ module Hecks
         end
 
         # @return [Integer] the exit status
-        def conclude(db, lineage, edge, failed, approve)
+        def conclude(db, failed)
+          db.close
           if failed
-            db.close
             puts "AUDIT REFUSED."
             return 1
           end
 
-          needs_approval = edge.aggregates.any? { |declared| !declared.computes.empty? || !declared.rekeys.empty? }
-          record_approval(lineage, edge) if needs_approval && approve
-          db.close
-          print_passed(needs_approval, approve)
+          puts "AUDIT PASSED — review the samples above; intent is yours to approve."
           0
         end
 
@@ -79,28 +76,6 @@ module Hecks
           puts "     before: #{JSON.generate(sample[:before])}" if sample[:before]
           puts "     after:  #{JSON.generate(sample[:after])}" if sample[:after]
         end
-
-        # Binds to what was reviewed — this edge and the journal as it stands now — so it must
-        # live in the database, not the repo.
-        def record_approval(lineage, edge)
-          lineage.record_approval!(
-            from: edge.from, to: edge.to,
-            edge_digest: Hecks::Translation::Audit.edge_digest(edge)
-          )
-        end
-
-        def print_passed(needs_approval, approve)
-          if needs_approval && approve
-            puts "AUDIT PASSED — approval recorded in the database, bound to this edge and this journal."
-            puts "A journal that advances before the mint invalidates it; re-run with --approve if that happens."
-          elsif needs_approval
-            puts "AUDIT PASSED — this edge carries a compute or rekey rule, and the samples above are " \
-                 "its ONLY verification."
-            puts "If they show what you intended, run again with --approve; the mint refuses until you do."
-          else
-            puts "AUDIT PASSED — review the samples above; intent is yours to approve."
-          end
-        end
       end
     end
   end

data/lib/hecks/tools/translation_audit.rb

@@ -12,13 +12,12 @@ require_relative "translation_audit/verdicts"
 module Hecks
   module Tools
     # Runs the translation audit's three layers standalone against a domain's latest or pending
-    # edge. Read-only except `--approve`, which records the human approval in the database.
+    # edge. Read-only.
     #
-    #   hecks audit_translation <domain> [--approve]
+    #   hecks audit_translation <domain>
     module TranslationAudit
-      # What one audit run works on: the loaded domain, its open journal, and whether `--approve`
-      # was given.
-      Session = Struct.new(:registry, :bluebook, :directory, :db, :lineage, :approve)
+      # What one audit run works on: the loaded domain and its open journal.
+      Session = Struct.new(:registry, :bluebook, :directory, :db, :lineage)
 
       extend DomainLoading
       extend Edges
@@ -28,18 +27,17 @@ module Hecks
 
       # Audits the edge and prints each aggregate's verdict and samples.
       #
-      # @param argv [Array<String>] the domain directory, and `--approve` to record approval
+      # @param argv [Array<String>] the domain directory
       # @param root [String] unused: the domain is read from the path given
       # @return [Integer] 0 when the audit passes or there is no edge, 1 when it is refused
       # @raise [SystemExit] when the domain cannot be loaded or is not lineage-capable
       def main(argv, **)
         argv = argv.dup
-        approve = argv.delete("--approve")
-        domain_path = argv.shift or abort "usage: hecks audit_translation <domain> [--approve]"
+        domain_path = argv.shift or abort "usage: hecks audit_translation <domain>"
 
         registry, bluebook, directory = load_domain(domain_path)
         db, lineage = open_lineage(registry, bluebook)
-        audit(Session.new(registry, bluebook, directory, db, lineage, approve))
+        audit(Session.new(registry, bluebook, directory, db, lineage))
       end
 
       # @param session [Session] the loaded domain and its open journal
@@ -59,7 +57,7 @@ module Hecks
 
         edge = chain.last[:translation]
         failed = report(session.bluebook, session.lineage, edge, era, chain)
-        conclude(session.db, session.lineage, edge, failed, session.approve)
+        conclude(session.db, failed)
       end
 
       # A journal with no era yet holds the bluebook as its first, so there is no edge to audit.

data/lib/hecks/tools/translation_scaffold/reporting.rb

@@ -31,7 +31,7 @@ module Hecks
               "Check it with hecks audit_translation, then boot."
           elsif unresolved.positive?
             "#{unresolved} unresolved — decide what each became (rename/move/convert/drop, or " \
-              "compute on PostgresEra), then boot."
+              "derive), then boot."
           end
         end
       end

data/lib/hecks/version.rb

@@ -1,5 +1,5 @@
 module Hecks
   # Read directly by the gemspec, so this file must never require the
   # rest of the gem (its dependencies aren't resolved yet at that point).
-  VERSION = "3.14.0".freeze # rust/host/HECKS_RELEASE names the same release
+  VERSION = "5.0.0".freeze # rust/host/HECKS_RELEASE names the same release
 end

data/lib/hecks/vocabulary.rb

@@ -412,7 +412,6 @@ module Hecks
         {"script"=>"backfill_era_projections", "section"=>"Custodian", "aggregate"=>"Era", "verb"=>"backfill_projections"}.freeze,
         {"script"=>"scaffold_translation", "section"=>"Custodian", "aggregate"=>"Era", "verb"=>"scaffold_translation"}.freeze,
         {"script"=>"translation_audit", "section"=>"Custodian", "aggregate"=>"Era", "verb"=>"audit_translation"}.freeze,
-        {"script"=>"translation_audit", "section"=>"Custodian", "aggregate"=>"Era", "verb"=>"approve_translation"}.freeze,
         {"script"=>"compact", "section"=>"Custodian", "aggregate"=>"Era", "verb"=>"compact"}.freeze,
         {"script"=>"heki_compact", "section"=>"Custodian", "aggregate"=>"Era", "verb"=>"compact_heki"}.freeze,
         {"script"=>"vendor_bluebook", "section"=>"Custodian", "aggregate"=>"Package", "verb"=>"vendor", "note"=>"waits: a refusal exits 1 with its reason on stderr"}.freeze,
@@ -514,6 +513,8 @@ module Hecks
       ].freeze,
       "RustReservedWord" => [
         {"word"=>"as"}.freeze,
+        {"word"=>"async"}.freeze,
+        {"word"=>"await"}.freeze,
         {"word"=>"break"}.freeze,
         {"word"=>"const"}.freeze,
         {"word"=>"continue"}.freeze,

data/lib/hecks.rb

@@ -45,6 +45,9 @@ Hecks.autoload(:Corpus, File.expand_path("hecks/corpus", __dir__))
 # The chapters a hecksagon can `attaches` by name (ADR 0080); loads on first use.
 Hecks.autoload(:Chapters, File.expand_path("hecks/chapters", __dir__))
 
+# The Composer's staging, parse stage and check; loads on first use.
+Hecks.autoload(:Composer, File.expand_path("hecks/composer", __dir__))
+
 # Root namespace and public facade of the DSL/runtime: `Hecks.boot`/`.boot_files`
 # assemble a running domain from `.bluebook`/`.hecksagon`/`.world` files.
 module Hecks