ace-overseer 0.19.1 → 0.20.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ddb4ab63bd7aef05354b5cfad9c217f5708a6d62bf04c876bf41cc4a1da81c42
-  data.tar.gz: 8e7ef410ac3a625556f26ce5b30f4a119ac174a85077fe3f6f9296b2f4d06081
+  metadata.gz: 7afa7d878680232ac2f7800973b1dec72b7991a9ecd6ce3c498c73d6d8264b21
+  data.tar.gz: 124e8f19e7aa46504760813344459124a630db4263e9a2f4bf08133409036e94
 SHA512:
-  metadata.gz: fef928d60d47f36c5ebbc8b9df15f4fd390119158858ef458134cba4594ef9733fc9f6de292c5b8caa1092df5c09029375a91629a925e4a2767410ee11dca85a
-  data.tar.gz: a9df42de1d0c45a3c3dc62d29f5da05baba635bc3d74d23451a52160f2a1e1e3f04b24eb5836b30a1ea925fe4cf8c92d50ce0a5e867d61437bb83fc84bac77b4
+  metadata.gz: 86a724ae87399315af6cbce345ec911f62ea7ec28e57ab660652056d99bcda986fd8cb571bb031071e6971b4bbd78f39b697fa02c393ed4a562c594306b012b5
+  data.tar.gz: 15ae48aea39c596a2fb3fd639f04f72b8f669872a9a4cce365ff5cca9eefbd8d2322df523b5b6974d56e9253011dd12b4aa72f8243f7d7f1264248b548cc2a8e

data/CHANGELOG.md

@@ -7,6 +7,23 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.20.0] - 2026-10-05
+
+### Added
+
+- Resolve immutable second-commander proposals through confirmed-delivery sixteen-hour policy and canonical Assign authorization.
+- Expose assignment recovery liveness/reasons and show unreadable evidence as unknown rather than omitting it.
+
+### Fixed
+
+- Expose deferred proposal ticks in Lab status diagnostics and object JSON while preserving status availability and array output.
+
+- Keep watch/status alive on proposal tick failure and queue project-scoped HITL reconciliation under the proposer identity.
+
+### Changed
+
+- Declare the required direct dependencies and minimum producer versions for this coordinated release: `ace-assign ~> 0.64`, `ace-git ~> 0.29`, `ace-git-worktree ~> 0.26`, `ace-herdr ~> 0.4`.
+
 ## [0.19.1] - 2026-10-04
 
 ### Changed

data/docs/usage.md

@@ -148,7 +148,7 @@ does not read Lab credentials and does not call Podman or Herdr directly.
 - `ace-overseer agents`: list registered Lab agents and concurrency limits.
 - `ace-overseer prepare --runtime lab --project PROJECT --source KIND:ID --work WORK --planner AGENT --title TITLE`: create a reviewed Work and its isolated worktree.
 - `ace-overseer work-on --runtime lab --work WORK --agent AGENT`: reserve the agent, create or reuse its Herdr workspace, and dispatch it.
-- `ace-overseer status --runtime lab [--project PROJECT] [--format table|json]`: show Lab Work state. Continuous status lives in each project Herdr session, so `--watch` is intentionally rejected for Lab.
+- `ace-overseer status --runtime lab [--project PROJECT] [--format table|json]`: show Lab Work state. Failed proposal ticks defer resolution and report a diagnostic on stderr while status remains available. Object JSON also includes `proposal_resolution.status: "deferred"`; legacy array JSON keeps its schema and uses the stderr diagnostic. Continuous status lives in each project Herdr session, so `--watch` is intentionally rejected for Lab.
 - `ace-overseer prompt --work WORK --file PATH`: forward prompt text from a file to the Work pane. Piped stdin is also supported; prompt text is never passed as a process argument.
 - `ace-overseer review --work WORK --pr NUMBER`: prepare an exact-head admin review checkout and pane.
 - `ace-overseer stop --work WORK`: stop the assigned process without destroying Work state.
@@ -188,3 +188,5 @@ Use these user-visible checks when validating behavior end-to-end:
   3. `ace-overseer prune --yes`
   4. `ace-git-worktree list` to confirm removed vs retained task worktrees
   5. `ace-overseer prune --dry-run` to confirm no remaining safe candidates
+
+Assignment JSON includes `recovery`: current liveness, recovery decision/reason, last verified observation, exact attempt identities, checkpoints and unresolved effect/inbox references. Unreadable evidence is explicitly unknown; dashboard rows needing reconciliation use a question mark instead of a success indicator. An older verified observation remains audit history and does not make a current unknown observation live.

data/handbook/workflow-instructions/overseer.wf.md

@@ -161,3 +161,16 @@ candidate:
 - Work starts only through `ace-overseer work-on` (or the Lab-runtime equivalent), never through ad-hoc manual worktree provisioning.
 - Every status review re-verified pending owner-blocked tasks with an executed check and corrected stale state in the same change.
 - Every pruned worktree/branch had an executed preservation proof (ancestor containment, or a verified destination with tree/artifact or exact content-transition equivalence) and an executed no-active-writer check; candidates without complete proof were reported as blocked, not removed; `--force` and `--yes` never bypassed a safety block.
+
+### Second-commander proposal policy ticks
+
+With ACE_HITL_SOCKET and ACE_HITL_PROJECT configured, the living overseer invokes
+`ace-hitl proposal resolve-due --project PROJECT` at startup and each watch/status tick, including restart
+after a missed deadline. The authenticated HITL boundary queues a canonical wake;
+the existing Hermes transport actor polls and reconciles under its own UID.
+The installed HITL/Hermes commands own policy/reconciliation;
+overseer does not claim effects, shorten the sixteen-hour window, or replay elapsed ticks.
+A failed tick is visible, defers authorization, and keeps watch/status running. The decision role reviews relevant prior
+`ace-hitl proposal history --project ID --query TEXT`, creates exact proposals, and inspects
+`proposal show` deadline/decision/Assign outcome. Do not mark technical or installed gates
+passed from a proposal's authorization state.

data/lib/ace/overseer/atoms/status_formatter.rb

@@ -33,7 +33,8 @@ module Ace
           "failed" => {icon: "\u2717", color: :red},     # ✗
           "stalled" => {icon: "\u25FC", color: :yellow},  # ◼
           "paused" => {icon: "\u2016", color: :dim},     # ‖
-          "none" => {icon: "-", color: :dim}
+          "none" => {icon: "-", color: :dim},
+          "unknown" => {icon: "?", color: :yellow}
         }.freeze
 
         # PR state colors
@@ -80,6 +81,7 @@ module Ace
           id = assignment.dig("assignment", "id") || "-"
           name = assignment.dig("assignment", "name") || "-"
           state_str = assignment.dig("assignment", "state") || "none"
+          state_str = "unknown" if assignment.dig("recovery", "decision") == "reconcile-required"
           display = STATE_DISPLAY[state_str] || STATE_DISPLAY["none"]
 
           state_icon = colorize(display[:icon].to_s.ljust(COL_STATE), display[:color])

data/lib/ace/overseer/cli/commands/status.rb

@@ -1,6 +1,7 @@
 # frozen_string_literal: true
 
 require "json"
+require_relative "../../molecules/proposal_tick"
 
 module Ace
   module Overseer
@@ -18,14 +19,16 @@ module Ace
           option :runtime, default: "tmux", desc: "Runtime (tmux, lab)"
           option :project, desc: "Filter Lab status by project"
 
-          def initialize(collector: nil, config: nil, lab_client: nil)
+          def initialize(collector: nil, config: nil, lab_client: nil, proposal_tick: nil)
             super()
             @collector = collector || Organisms::StatusCollector.new
             @config = config
             @lab_client = lab_client || Molecules::LabClient.new
+            @proposal_tick = proposal_tick || Molecules::ProposalTick.new
           end
 
           def call(format:, runtime: "tmux", project: nil, **options)
+            tick_proposals
             if runtime == "lab"
               if options[:watch]
                 raise Ace::Support::Cli::Error, "Lab watch runs in the project Herdr status pane; omit --watch"
@@ -34,7 +37,15 @@ module Ace
               arguments.concat(["--project", project]) unless project.to_s.empty?
               arguments << "--json" if format == "json"
               output = @lab_client.call(*arguments, json: false)
-              puts output unless options[:quiet]
+              unless options[:quiet]
+                warn @proposal_error if @proposal_error
+                if format == "json" && @proposal_error
+                  value = JSON.parse(output)
+                  output = JSON.pretty_generate(value.merge("proposal_resolution" =>
+                    {"status" => "deferred", "error" => @proposal_error})) if value.is_a?(Hash)
+                end
+                puts output
+              end
               return
             end
             raise Ace::Support::Cli::Error, "unsupported runtime: #{runtime}" unless runtime == "tmux"
@@ -55,14 +66,24 @@ module Ace
 
           private
 
+          def tick_proposals
+            @proposal_tick.call
+            @proposal_error = nil
+          rescue StandardError => e
+            @proposal_error = "Proposal resolution deferred (#{e.class}); retrying on next wake"
+          end
+
           def run_once(format)
             snapshot = @collector.collect
 
             if format == "json"
-              puts JSON.pretty_generate(@collector.to_h(snapshot))
+              value = @collector.to_h(snapshot)
+              value = value.merge(proposal_resolution: {status: "deferred", error: @proposal_error}) if @proposal_error
+              puts JSON.pretty_generate(value)
               return
             end
 
+            warn @proposal_error if @proposal_error
             puts @collector.to_table(snapshot)
           end
 
@@ -77,6 +98,7 @@ module Ace
 
             loop do
               sleep_interruptible(refresh_interval)
+              tick_proposals
 
               elapsed = Time.now - last_full_collect
               if elapsed >= git_refresh_interval
@@ -93,6 +115,7 @@ module Ace
           def print_watch_screen(snapshot, git_refresh_interval, last_full_collect)
             remaining = [(git_refresh_interval - (Time.now - last_full_collect)).round, 0].max
             print "\e[H\e[2J"
+            warn @proposal_error if @proposal_error
             puts @collector.to_table(snapshot)
             puts
             puts Atoms::StatusFormatter.format_watch_footer(remaining)

data/lib/ace/overseer/molecules/proposal_tick.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+require "open3"
+require "json"
+
+module Ace
+  module Overseer
+    module Molecules
+      # The living overseer invokes the deterministic policy evaluator.
+      # No timers, effect retries or executor live in this process.
+      class ProposalTick
+        def initialize(runner: Open3, binary: "/usr/local/bin/ace-hitl", socket: ENV["ACE_HITL_SOCKET"], project: ENV["ACE_HITL_PROJECT"])
+          @runner, @binary, @socket, @project = runner, binary, socket, project
+        end
+
+        def call
+          return [] if @socket.to_s.empty? || @project.to_s.empty?
+          out, _err, status = @runner.capture3({"ACE_HITL_SOCKET" => @socket},
+            @binary, "proposal", "resolve-due", "--project", @project)
+          raise Error, "Proposal resolution unavailable; deadlines deferred" unless status.success?
+          JSON.parse(out)
+        rescue JSON::ParserError, SystemCallError
+          raise Error, "Proposal resolution unavailable; deadlines deferred"
+        end
+      end
+    end
+  end
+end

data/lib/ace/overseer/molecules/worktree_context_collector.rb

@@ -4,11 +4,12 @@ module Ace
   module Overseer
     module Molecules
       class WorktreeContextCollector
-        def initialize(repo_status_loader: nil, assignment_discoverer_factory: nil)
+        def initialize(repo_status_loader: nil, assignment_discoverer_factory: nil, recovery_factory: nil)
           @repo_status_loader = repo_status_loader || -> {
             Ace::Git::Organisms::RepoStatusLoader.load(include_pr_activity: false, include_commits: false)
           }
           @assignment_discoverer_factory = assignment_discoverer_factory || -> { Ace::Assign::Molecules::AssignmentDiscoverer.new }
+          @recovery_factory = recovery_factory || -> { Ace::Assign::Organisms::AttemptCoordinator.new }
         end
 
         def collect(worktree_path, location_type: :worktree)
@@ -49,8 +50,9 @@ module Ace
         def load_all_assignments
           infos = @assignment_discoverer_factory.call.find_all(include_completed: true)
           infos.map { |info| assignment_info_to_h(info) }
-        rescue
-          []
+        rescue StandardError => e
+          [{"assignment" => {"id" => "unknown", "name" => "unreadable assignment state", "state" => "unknown"},
+            "recovery" => unavailable_recovery("unknown", e)}]
         end
 
         def assignment_info_to_h(info)
@@ -70,10 +72,22 @@ module Ace
               "pending" => info.queue_state.summary[:pending]
             },
             "active_steps" => active_steps.map(&:name),
-            "next_step" => next_step&.name
+            "next_step" => next_step&.name,
+            "recovery" => recovery_for(info.id)
           }
         end
 
+        def recovery_for(id)
+          @recovery_factory.call.recovery_snapshot(id)
+        rescue StandardError => e
+          unavailable_recovery(id, e)
+        end
+
+        def unavailable_recovery(id, error)
+          {"assignment_id" => id, "liveness" => "unknown", "last_verified_observation" => nil,
+           "decision" => "reconcile-required", "recovery_reason" => "recovery evidence unavailable (#{error.class})"}
+        end
+
         def extract_task_id(worktree_path, branch)
           # Match "task.NNN"/"t.NNN" or "ace-task.xxx"/"ace-t.xxx" in path (numeric or B36TS naming)
           from_path = worktree_path.to_s[/^(?:.*\/)?(?:ace-)?(?:task|t)\.([0-9a-z]+(?:\.[0-9a-z]+)?)\/?$/, 1]

data/lib/ace/overseer/version.rb

@@ -2,6 +2,6 @@
 
 module Ace
   module Overseer
-    VERSION = "0.19.1"
+    VERSION = "0.20.0"
   end
 end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: ace-overseer
 version: !ruby/object:Gem::Version
-  version: 0.19.1
+  version: 0.20.0
 platform: ruby
 authors:
 - Michal Czyz
 bindir: exe
 cert_chain: []
-date: 2026-10-04 00:00:00.000000000 Z
+date: 2026-10-05 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ace-support-cli
@@ -71,42 +71,42 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.63.1
+        version: '0.64'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.63.1
+        version: '0.64'
 - !ruby/object:Gem::Dependency
   name: ace-git
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.23'
+        version: '0.29'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.23'
+        version: '0.29'
 - !ruby/object:Gem::Dependency
   name: ace-git-worktree
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.25.1
+        version: '0.26'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.25.1
+        version: '0.26'
 - !ruby/object:Gem::Dependency
   name: ace-task
   requirement: !ruby/object:Gem::Requirement
@@ -155,14 +155,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.2
+        version: '0.4'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.2
+        version: '0.4'
 - !ruby/object:Gem::Dependency
   name: ace-support-test-helpers
   requirement: !ruby/object:Gem::Requirement
@@ -270,6 +270,7 @@ files:
 - lib/ace/overseer/molecules/lab_client.rb
 - lib/ace/overseer/molecules/lab_prune_safety_checker.rb
 - lib/ace/overseer/molecules/preservation_manifest.rb
+- lib/ace/overseer/molecules/proposal_tick.rb
 - lib/ace/overseer/molecules/prune_safety_checker.rb
 - lib/ace/overseer/molecules/window_opener.rb
 - lib/ace/overseer/molecules/worktree_context_collector.rb