hecks 3.13.0 → 4.0.0

data/lib/hecks/hecks/codebase.bluebook

@@ -38,13 +38,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -57,7 +57,7 @@ Hecks.bluebook "Hecks" do
 
     # A keyword of the language, or the keyword an argument belongs to.
     value_object "Word" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a word is named") { !value.to_s.empty? }
     end
@@ -94,7 +94,7 @@ Hecks.bluebook "Hecks" do
 
     # How a pairs argument is read, such as verbatim.
     value_object "Shape" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     lifecycle :status, default: "requested" do
@@ -641,13 +641,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -796,13 +796,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -971,13 +971,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -990,7 +990,7 @@ Hecks.bluebook "Hecks" do
 
     # A `CiGate` row of the Vocabulary chapter, by name.
     value_object "GateName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     lifecycle :status, default: "requested" do
@@ -1201,17 +1201,17 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Stage" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
 
       invariant("a stage is named") { !value.to_s.empty? }
     end
@@ -1355,13 +1355,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -1391,12 +1391,12 @@ Hecks.bluebook "Hecks" do
 
     # A revision a code comparison is made against.
     value_object "Ref" do
-      attribute :value, String, pattern: '^[^ \t\n\r]+$'
+      attribute :value, String, matches: :no_whitespace
     end
 
     # A JSON file.
     value_object "FilePath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a file is named") { !value.to_s.empty? }
     end
@@ -1676,13 +1676,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -1891,13 +1891,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2064,13 +2064,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2090,19 +2090,19 @@ Hecks.bluebook "Hecks" do
 
     # A CI run's number.
     value_object "RunId" do
-      attribute :value, String, pattern: '^[0-9]+$'
+      attribute :value, String, matches: :digits
     end
 
     # A file, relative to the checkout or absolute.
     value_object "FilePath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a file is named") { !value.to_s.empty? }
     end
 
     # Part of an example's description.
     value_object "ExampleText" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("an example is named") { !value.to_s.empty? }
     end
@@ -2114,7 +2114,7 @@ Hecks.bluebook "Hecks" do
 
     # A regular expression naming the specs to leave out.
     value_object "ExcludePattern" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # The tag filter, as the test runner spells it.
@@ -2390,13 +2390,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2424,7 +2424,7 @@ Hecks.bluebook "Hecks" do
 
     # The name of one field of a construct.
     value_object "FieldName" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
     end
 
     # A local port a server listens on.
@@ -2467,6 +2467,22 @@ Hecks.bluebook "Hecks" do
       emits PresentRequested
     end
 
+    command "Compose" do
+      role "Maintainer"
+      goal "Serve the Composer, a live bluebook editor over one domain directory, on a local port until stopped"
+
+      attribute :port,    Port, optional: true
+      attribute :domains, PathList, optional: true
+      attribute :run,     RunKey
+
+      sets :port
+      sets :domains
+      sets :run
+      sets :operation, to: "compose"
+
+      emits ComposeRequested
+    end
+
     # What the tree reported about itself, held against every request: nothing here runs
     # outside a hecks checkout (hecks.gemspec beside lib/).
     command "Accept" do
@@ -2571,6 +2587,11 @@ Hecks.bluebook "Hecks" do
     trigger CorpusRun::SourceTree::Examine, with: { run: :run }
   end
 
+  policy "ExamineWhenComposeRequested" do
+    on      "CorpusRun.ComposeRequested"
+    trigger CorpusRun::SourceTree::Examine, with: { run: :run }
+  end
+
   policy "AcceptCorpusWhenExamined" do
     on      "CorpusRun.CorpusExamined"
     trigger CorpusRun::Accept, with: { checkout: :checkout }
@@ -2633,13 +2654,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2652,7 +2673,7 @@ Hecks.bluebook "Hecks" do
 
     # One word of a fact: a branch, a commit, whether a tag stands.
     value_object "Word" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Version" do
@@ -2968,13 +2989,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2987,7 +3008,7 @@ Hecks.bluebook "Hecks" do
 
     # A branch name, or a commit.
     value_object "Word" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # How long a lane has stood behind the lane it follows, or how long its row lets it.

data/lib/hecks/hecks/composer.behaviors

@@ -0,0 +1,68 @@
+Hecks.behaviors "Composer" do
+  vision "A draft is opened, revised, judged by its check and talked about with an agent, one recorded step at a time."
+
+  loads "hecks.bluebook", "custodian.bluebook", "tooling.bluebook", "rehearsal.bluebook", "codebase.bluebook", "context_map.hecksagon", "hecks.hecksagon", "environments/memory.world"
+
+  test "Begin opens a chapter for editing" do
+    tests "Begin", on: "Draft"
+    input slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    expect status:"drafting"
+  end
+
+  test "Revise replaces the text of a draft" do
+    tests "Revise", on: "Draft"
+    setup  "Composer::Draft.Begin", slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    input  slug: { value: "account" }, text: { value: "Hecks.bluebook \"Account\" do\nend" }
+    expect emits: ["DraftRevised"]
+  end
+
+  test "Accept records a draft that passed its check" do
+    tests "Accept", on: "Draft"
+    setup  "Composer::Draft.Begin", slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    input  slug: { value: "account" }, note: { value: "ok" }
+    expect status:"valid"
+  end
+
+  test "Reject records a draft that failed its check" do
+    tests "Reject", on: "Draft"
+    setup  "Composer::Draft.Begin", slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    input  slug: { value: "account" }, note: { value: "line 3: expected one of: attribute, command" }
+    expect status:"invalid"
+  end
+
+  test "Revise returns a valid draft to drafting" do
+    tests "Revise", on: "Draft"
+    setup  "Composer::Draft.Begin", slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    setup  "Composer::Draft.Accept", slug: { value: "account" }, note: { value: "ok" }
+    input  slug: { value: "account" }, text: { value: "Hecks.bluebook \"Account\" do\nend" }
+    expect status:"drafting"
+  end
+
+  test "Ask puts a request to the conversation" do
+    tests "Ask", on: "Draft"
+    setup  "Composer::Draft.Begin", slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    input  slug: { value: "account" }, sequence: { value: 1 }, said: { value: "add a Refund command" }
+    expect emits: ["TurnAsked"]
+  end
+
+  test "Ask refuses a turn that says nothing" do
+    tests "Ask", on: "Draft"
+    setup  "Composer::Draft.Begin", slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    input  slug: { value: "account" }, sequence: { value: 1 }, said: { value: "" }
+    expect refused: "says something"
+  end
+
+  test "Answer records the agent's reply after a request" do
+    tests "Answer", on: "Draft"
+    setup  "Composer::Draft.Begin", slug: { value: "account" }, chapter_name: { value: "Account" }, text: { value: "" }
+    setup  "Composer::Draft.Ask", slug: { value: "account" }, sequence: { value: 1 }, said: { value: "add a Refund command" }
+    input  slug: { value: "account" }, sequence: { value: 2 }, said: { value: "Added Refund." }, text: { value: "Hecks.bluebook \"Account\" do\nend" }
+    expect emits: ["TurnAnswered"]
+  end
+
+  test "Accept refuses a draft that was never begun" do
+    tests "Accept", on: "Draft"
+    input slug: { value: "nothing" }, note: { value: "ok" }
+    expect refused: "no Draft with"
+  end
+end

data/lib/hecks/hecks/context_map.hecksagon

@@ -8,6 +8,6 @@ end
 
 # The attached chapters (hecks.hecksagon `attaches`): each is a bounded context whose store comes
 # from hecks.world's `default_adapter`, so the memory overlay swaps them with the Hecks chapter.
-%w[Bluebook Hecksagon World Adapter Port Translation Expression Tenancy Deploy Site Tickets QualityControl].each do |chapter|
+%w[Bluebook Hecksagon World Adapter Port Translation Expression Tenancy Deploy Site Tickets Composer QualityControl].each do |chapter|
   Hecks.hecksagon(chapter) { attaches "Governance" }
 end

data/lib/hecks/hecks/custodian.behaviors

@@ -105,12 +105,6 @@ Hecks.behaviors "Custodian" do
     expect refused: "an era is counted from one"
   end
 
-  test "ApproveTranslation refuses a rehearsal that neither passed nor failed" do
-    tests "ApproveTranslation", on: "Era"
-    input domain: { value: "examples/pizzas" }, run: { value: "approve" }, confirm: { value: true }, rehearsal: { value: "maybe" }
-    expect refused: "must match"
-  end
-
   test "CompactHeki keeps a domain that is not there as a refused change" do
     tests "CompactHeki", on: "Era"
     input domain: { value: "/tmp/hecks-behaviors-absent/heki-domain" }, run: { value: "compact" }, confirm: { value: true }

data/lib/hecks/hecks/custodian.bluebook

@@ -27,14 +27,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "OperationKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("an operation is named") { !value.to_s.empty? }
     end
 
     # What the operation acts on: a domain directory, or a behaviors file or directory.
     value_object "Subject" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Script" do
@@ -42,7 +42,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "Verb" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # One `name=value` word of the verb a run dispatches.
@@ -59,7 +59,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "HeaderName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Scheme" do
@@ -71,7 +71,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "PayloadFile" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Output" do
@@ -84,11 +84,11 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "PersonName" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "RoleName" do
-      attribute :value, String, pattern: '^[^ \t\n\r]+$'
+      attribute :value, String, matches: :no_whitespace
     end
 
     lifecycle :status, default: "requested" do
@@ -361,7 +361,7 @@ Hecks.bluebook "Hecks" do
 
     # The file listing the eras that should be running, one per line.
     value_object "ExpectedFile" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Seconds" do
@@ -371,7 +371,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "EraId" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "VersionText" do
@@ -524,20 +524,12 @@ policy "RecordTheEra" do
     attribute :era,                 Ordinal,       optional: true
     attribute :aggregates,          AggregateList, optional: true
     attribute :confirm,             Switch,        optional: true
-    attribute :snapshot,            Snapshot,      optional: true
-    attribute :host_version,        HostVersion,   optional: true
-    attribute :rehearsal,           Verdict,       optional: true
-    attribute :rehearsed_at,        Moment,        optional: true
     attribute :capable,             Switch,        optional: true
     attribute :held,                Count,         optional: true
     attribute :forks,               Count,         optional: true
     attribute :contested,           Count,         optional: true
-    attribute :edges,               Count,         optional: true
     attribute :bound,               Count,         optional: true
     attribute :candidates,          Count,         optional: true
-    attribute :audited,             Switch,        optional: true
-    attribute :rehearsal_needed,    Switch,        optional: true
-    attribute :rehearsal_recorded,  Switch,        optional: true
     attribute :drifted,             Switch,        optional: true
     attribute :loadable,            Switch,        optional: true
     attribute :shape_kept,          Switch,        optional: true
@@ -546,19 +538,19 @@ policy "RecordTheEra" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a change is named") { !value.to_s.empty? }
     end
 
     # The domain whose journal is changed: its directory.
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "OperationName" do
       attribute :value, String,
-                pattern: '^(hold_first|merge_tail|reattest|backfill_projections|compact|compact_heki|approve_translation)$'
+                pattern: '^(hold_first|merge_tail|reattest|backfill_projections|compact|compact_heki)$'
     end
 
     # `id:old,id:new`: which world's record wins for each id both worlds touched since the cut.
@@ -574,7 +566,7 @@ policy "RecordTheEra" do
 
     # Aggregate names, comma separated; every aggregate that keeps a journal when absent.
     value_object "AggregateList" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Switch" do
@@ -585,24 +577,6 @@ policy "RecordTheEra" do
       attribute :value, Integer
     end
 
-    # The rehearsal a compute or rekey edge is approved on: the snapshot it ran against, the host
-    # that ran it, whether it passed, and when.
-    value_object "Snapshot" do
-      attribute :value, String, pattern: '[^\t\n\r]'
-    end
-
-    value_object "HostVersion" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
-    end
-
-    value_object "Verdict" do
-      attribute :value, String, pattern: '^(pass|fail)$'
-    end
-
-    value_object "Moment" do
-      attribute :value, String, pattern: '^[0-9][0-9][0-9][0-9]-[0-9][0-9]-[0-9][0-9]T[^ \t\n\r]+$'
-    end
-
     value_object "Report" do
       attribute :value, String
     end
@@ -730,34 +704,6 @@ policy "RecordTheEra" do
       emits HekiCompactionRequested
     end
 
-    # Writes `translations/<edge>.approval` beside the edge, for the host to apply at its next
-    # boot. An edge with a compute or rekey rule also needs the rehearsal a person ran by hand.
-    command "ApproveTranslation" do
-      role "Operator"
-      goal "Approve the edge that leads a domain's latest era to its current shape, in a committed file"
-
-      attribute :domain,       DomainPath
-      attribute :run,          RunKey
-      attribute :confirm,      Switch,      optional: true
-      attribute :snapshot,     Snapshot,    optional: true
-      attribute :host_version, HostVersion, optional: true
-      attribute :rehearsal,    Verdict,     optional: true
-      attribute :rehearsed_at, Moment,      optional: true
-
-      given("the approval is confirmed") { confirm.value == true }
-
-      sets :domain
-      sets :run
-      sets :confirm
-      sets :snapshot
-      sets :host_version
-      sets :rehearsal
-      sets :rehearsed_at
-      sets :operation, to: "approve_translation"
-
-      emits ApprovalRequested
-    end
-
     # The facts the journal store reported, held against the change that was asked for.
     command "Permit" do
       role "System"
@@ -768,12 +714,8 @@ policy "RecordTheEra" do
       attribute :held,               Count
       attribute :forks,              Count
       attribute :contested,          Count
-      attribute :edges,              Count
       attribute :bound,              Count
       attribute :candidates,         Count
-      attribute :audited,            Switch
-      attribute :rehearsal_needed,   Switch
-      attribute :rehearsal_recorded, Switch
       attribute :drifted,            Switch
       attribute :loadable,           Switch
       attribute :shape_kept,         Switch
@@ -795,13 +737,6 @@ policy "RecordTheEra" do
       given("no projection reads the journal that would be emptied") do
         (operation.value != "compact" && operation.value != "compact_heki") || bound.value == 0
       end
-      given("exactly one edge leaves the latest era") do
-        operation.value != "approve_translation" || edges.value == 1
-      end
-      given("the audit passed") { operation.value != "approve_translation" || audited.value }
-      given("a rehearsal that passed is recorded for an edge with a compute or rekey rule") do
-        operation.value != "approve_translation" || !rehearsal_needed.value || rehearsal_recorded.value
-      end
       given("the held text no longer matches its digest: there is nothing to re-attest") do
         operation.value != "reattest" || drifted.value
       end
@@ -816,12 +751,8 @@ policy "RecordTheEra" do
       sets :held
       sets :forks
       sets :contested
-      sets :edges
       sets :bound
       sets :candidates
-      sets :audited
-      sets :rehearsal_needed
-      sets :rehearsal_recorded
       sets :drifted
       sets :loadable
       sets :shape_kept
@@ -930,17 +861,11 @@ policy "RecordTheEra" do
     trigger Era::JournalStore::Examine, with: { run: :run }
   end
 
-  policy "ExamineWhenApprovalRequested" do
-    on      "Era.ApprovalRequested"
-    trigger Era::JournalStore::Examine, with: { run: :run }
-  end
-
   policy "PermitWhenExamined" do
     on      "Era.EraExamined"
     trigger Era::Permit, with: {
-      capable: :capable, held: :held, forks: :forks, contested: :contested, edges: :edges,
-      bound: :bound, candidates: :candidates, audited: :audited,
-      rehearsal_needed: :rehearsal_needed, rehearsal_recorded: :rehearsal_recorded,
+      capable: :capable, held: :held, forks: :forks, contested: :contested,
+      bound: :bound, candidates: :candidates,
       drifted: :drifted, loadable: :loadable, shape_kept: :shape_kept
     }
   end
@@ -956,8 +881,6 @@ policy "RecordTheEra" do
         (operation.value == "merge_tail" && (held.value <= 1 || forks.value != 0 || contested.value != 0)) ||
         ((operation.value == "compact" || operation.value == "compact_heki") &&
           (candidates.value <= 0 || bound.value != 0)) ||
-        (operation.value == "approve_translation" &&
-          (edges.value != 1 || !audited.value || (rehearsal_needed.value && !rehearsal_recorded.value))) ||
         (operation.value == "reattest" && (!drifted.value || !loadable.value || !shape_kept.value))
     end
     trigger Era::Abandon, with: { refusal: "the journal's facts do not admit this change" }