ace-lab 0.6.0 → 0.8.0

data/lib/ace/lab/molecules/ordinary_owner_admission.rb

@@ -0,0 +1,139 @@
+# frozen_string_literal: true
+
+require "ace/assign/authority/ordinary_peer"
+require "ace/assign/molecules/execution_identity_resolver"
+require "ace/herdr"
+require_relative "ordinary_owner_config"
+require_relative "ordinary_native_read"
+require_relative "ordinary_worktree_read"
+
+module Ace
+  module Lab
+    module Molecules
+      # The source-selected ordinary peer policy. Native selectors are hints;
+      # only actual ancestry in the installed project's Herdr grants attribution.
+      class OrdinaryOwnerAdmission
+        def initialize(config:, peer: Ace::Assign::Authority::OrdinaryPeer.new, runtime: nil)
+          raise ArgumentError, "ordinary owner requires validated installed selection" unless config.is_a?(OrdinaryOwnerConfig)
+          @config, @peer = config, peer
+          @runtime = runtime
+        end
+
+        def service = @config.service
+        def verify_listener!
+          @config.verify_listener!
+          OrdinaryNativeRead.new(config: @config, deadline: default_deadline, peer: @peer).preflight!
+        end
+        def peer(socket, deadline:) = @peer.capture(socket, deadline: deadline)
+
+        def authorize!(request:, peer:, deadline: default_deadline)
+          @peer.live!(peer, deadline: deadline)
+          unless request.fetch("project_id") == @config.project
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary request belongs to another project"
+          end
+          @config.participant!(peer)
+          pane = request.fetch("params", {})["pane"]
+          # Reads need project visibility only. Every mutating lifecycle route
+          # validates a pane; supervisor authority additionally requires actual
+          # caller ancestry in one of the root-installed native placements.
+          return :worker unless pane
+          identity!(peer: peer, pane: pane, deadline: deadline).role == "coordinator" ? :supervisor : :worker
+        end
+
+        def identity!(peer:, pane:, deadline: default_deadline)
+          observe_identity(peer: peer, pane: pane, deadline: deadline, with_cwd: false).first
+        end
+
+        # The caller's claimed head is only a comparison. The accepted start
+        # uses the observed worker's checkout and process, never daemon cwd.
+        def execution!(peer:, pane:, head:, deadline: default_deadline)
+          unless head.is_a?(String) && head.match?(/\A[0-9a-f]{40}\z/)
+            raise ArgumentError, "ordinary start HEAD is invalid"
+          end
+          identity, cwd = observe_identity(peer: peer, pane: pane, deadline: deadline, with_cwd: true)
+          checkout = OrdinaryWorktreeRead.new(root: @config.worktrees.fetch("root"),
+            common_dir: @config.worktrees.fetch("common_dir"), deadline: deadline).observe(cwd)
+          after, after_cwd = observe_identity(peer: peer, pane: pane, deadline: deadline, with_cwd: true)
+          unless after == identity && after_cwd == cwd && checkout.fetch("head") == head
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary worker process, working directory or HEAD changed"
+          end
+          {identity: identity, checkout: checkout}
+        end
+
+        # Read the original canonical native owner for a trusted consumer.
+        # The binding must come from accepted history, never requester fields.
+        # This observes ownership; it does not grant the target's privileges to
+        # the caller or manufacture a kernel-authenticated connection identity.
+        def recorded_binding!(binding:, caller_pid: nil, deadline: default_deadline)
+          observe_recorded_binding(binding, caller_pid, deadline).first
+        end
+
+        def recorded_execution!(binding:, head:, deadline: default_deadline)
+          before, cwd = observe_recorded_binding(binding, nil, deadline)
+          checkout = OrdinaryWorktreeRead.new(root: @config.worktrees.fetch("root"),
+            common_dir: @config.worktrees.fetch("common_dir"), deadline: deadline).observe(cwd)
+          after, after_cwd = observe_recorded_binding(binding, nil, deadline)
+          unless before == after && cwd == after_cwd && checkout.fetch("head") == head
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary recorded worker or HEAD changed"
+          end
+          {runtime_binding: after, checkout: checkout}
+        end
+
+        private
+
+        def observe_recorded_binding(binding, caller_pid, deadline)
+          @config.verify_selection!
+          uid = binding.fetch("process_identity").fetch("uid")
+          participant = @config.selected_principal!(uid)
+          unless participant && binding["runtime"] == participant.fetch("runtime") && binding["session"] == participant.fetch("workspace")
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary recorded participant is no longer selected"
+          end
+          native, runtime = native_runtime(deadline)
+          actual = runtime.process_binding(pane: binding.fetch("pane"), caller_pid: caller_pid || binding.fetch("process_identity").fetch("pid"))
+          unless actual == binding
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary recorded native owner is unavailable or changed"
+          end
+          cwd = native.process_cwd(binding.fetch("process_identity").fetch("pid"))
+          @config.selected_principal!(uid)
+          [actual, cwd]
+        end
+
+        def native_runtime(deadline)
+          return [@runtime, @runtime] if @runtime
+          observation = Ace::Herdr::Molecules::BoundedObservation.new(deadline: deadline, binary: @config.runtime_binary)
+          native = OrdinaryNativeRead.new(config: @config, deadline: deadline, peer: @peer)
+          native.preflight!
+          [native, Ace::Herdr::Organisms::RuntimeAdapter.new(executor: native, env: {},
+            process_identity: Ace::Runtime::Molecules::ProcessIdentity.new(executor: observation))]
+        end
+
+        def observe_identity(peer:, pane:, deadline:, with_cwd:)
+          @peer.live!(peer, deadline: deadline)
+          participant = @config.participant!(peer)
+          unless pane.is_a?(String) && pane.bytesize.between?(1, 128) && !pane.include?("\0")
+            raise ArgumentError, "ordinary native pane selector is invalid"
+          end
+          native, runtime = native_runtime(deadline)
+          binding = runtime.process_binding(pane: pane, caller_pid: peer.fetch("pid"))
+          unless binding && binding["runtime"] == participant.fetch("runtime") &&
+              binding["session"] == participant.fetch("workspace") && binding["pane"] == pane &&
+              binding.dig("process_identity", "uid") == peer.fetch("uid")
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary native owner is unavailable or differs"
+          end
+          @peer.live!(peer, deadline: deadline)
+          @config.participant!(peer)
+          # Ordinary native agents may share an OS account. Preserve that actor
+          # for HITL attribution; privilege follows observed native placement,
+          # not a claimed role or an invented per-agent account alias.
+          role = participant.fetch("supervisor_panes").include?(binding.fetch("pane")) ? "coordinator" : "worker"
+          identity = Ace::Assign::Molecules::ExecutionIdentityResolver::Identity.new(
+            actor: participant.fetch("actor"), role: role, runtime: participant.fetch("runtime"),
+            adapter: "ordinary", process_pid: binding.fetch("process_identity").fetch("pid"), runtime_binding: binding)
+          [identity, with_cwd ? native.process_cwd(identity.process_pid) : nil]
+        end
+
+        def default_deadline = Process.clock_gettime(Process::CLOCK_MONOTONIC) + 30
+      end
+    end
+  end
+end

data/lib/ace/lab/molecules/ordinary_owner_config.rb

@@ -0,0 +1,232 @@
+# frozen_string_literal: true
+
+require "yaml"
+require "json"
+require "digest"
+require "etc"
+require "ace/assign/authority/private_directory"
+require "ace/assign/authority/protected_assignment_context"
+require "ace/assign/molecules/installed_journal_read"
+require "ace/runtime/molecules/protected_artifact_set"
+require "ace/hitl/lifecycle/store"
+require_relative "../errors"
+
+module Ace
+  module Lab
+    module Molecules
+      # Placement and principals only. Source selects lifecycle operations.
+      # Root installs this independently of requester worktrees/config cascades.
+      class OrdinaryOwnerConfig
+        PATH = "/etc/lab/ace-lab/assign-owners.yml"
+        ID = /\A[a-zA-Z0-9][a-zA-Z0-9_.-]{0,127}\z/
+        PROJECT_KEYS = %w[service journal assignment_root lifecycle_root runtime_binary native worktrees participants hitl].freeze
+        SERVICE_KEYS = %w[uid gid socket_path state_root].freeze
+        JOURNAL_KEYS = %w[repository ref checkout_root].freeze
+        PARTICIPANT_KEYS = %w[gid actor runtime workspace supervisor_panes].freeze
+        PANE = /\A[a-zA-Z0-9][a-zA-Z0-9_.:-]{0,127}\z/
+        NATIVE_KEYS = %w[socket_path socket_identity server_identity version protocol].freeze
+        HITL_KEYS = %w[root socket_path group grants_path].freeze
+        HITL_OPTIONAL_KEYS = %w[tls_authority].freeze
+
+        def self.load(project:, path: PATH)
+          reader = Ace::Runtime::Molecules::ProtectedArtifactSet.new(file_limit: 65_536, total_limit: 65_536)
+          bytes = reader.with do |held|
+            content, = held.read_path!(path)
+            held.verify_unchanged!
+            content
+          end
+          new(YAML.safe_load(bytes, aliases: false), project: project, source: path)
+        rescue Psych::Exception, Ace::Runtime::Error
+          raise InvalidConfigurationError, "ordinary assignment owner configuration is unavailable: #{path}"
+        end
+
+        attr_reader :project, :service, :journal, :assignment_root, :lifecycle_root,
+          :runtime_binary, :native, :worktrees, :participants, :hitl, :source
+
+        def initialize(document, project:, source:)
+          unless document.is_a?(Hash) && document.keys.sort == %w[projects version] && document["version"] == 1 &&
+              document["projects"].is_a?(Hash) && document["projects"].keys.all? { |id| id.is_a?(String) && ID.match?(id) } &&
+              project.is_a?(String) && ID.match?(project)
+            invalid!
+          end
+          selected = document.fetch("projects")[project]
+          validate_principal_separation!(document.fetch("projects"))
+          invalid! unless selected.is_a?(Hash) && selected.keys.sort == PROJECT_KEYS.sort
+          invalid! unless absolute?(source)
+          @project, @source = project.dup.freeze, source.dup.freeze
+          # Validate a detached immutable copy; callers cannot mutate trusted selection.
+          selected = JSON.parse(JSON.generate(selected))
+          @service, @journal, @participants = selected.values_at("service", "journal", "participants")
+          invalid! unless @service.is_a?(Hash) && @service.keys.sort == SERVICE_KEYS.sort &&
+            %w[uid gid].all? { |key| uid?(@service[key]) } &&
+            %w[socket_path state_root].all? { |key| absolute?(@service[key]) }
+          invalid! unless @journal.is_a?(Hash) && @journal.keys.sort == JOURNAL_KEYS.sort &&
+            %w[repository checkout_root].all? { |key| absolute?(@journal[key]) } &&
+            @journal["ref"].is_a?(String) && @journal["ref"].match?(%r{\Arefs/[a-zA-Z0-9_-]+(?:/[a-zA-Z0-9_-]+)+\z})
+          @assignment_root, @lifecycle_root, @runtime_binary = selected.values_at("assignment_root", "lifecycle_root", "runtime_binary")
+          invalid! unless [@assignment_root, @lifecycle_root, @runtime_binary].all? { |path| absolute?(path) }
+          @native = selected.fetch("native")
+          invalid! unless @native.is_a?(Hash) && @native.keys.sort == NATIVE_KEYS.sort && absolute?(@native["socket_path"]) &&
+            @native["protocol"] == 22 && @native["protocol"].is_a?(Integer) && @native["version"].is_a?(String) &&
+            @native["version"].match?(/\A\d+\.\d+\.\d+\z/)
+          server = @native["server_identity"]
+          invalid! unless server.is_a?(Hash) && server.keys.sort == %w[gid host pid started_at uid] &&
+            %w[pid uid gid].all? { |key| uid?(server[key]) } &&
+            %w[host started_at].all? { |key| server[key].is_a?(String) && server[key].bytesize.between?(1, 512) && !server[key].include?("\0") }
+          endpoint = @native["socket_identity"]
+          invalid! unless endpoint.is_a?(Array) && endpoint.size == 3 && endpoint.all? { |value| value.is_a?(Integer) && value >= 0 } && endpoint.last.zero?
+          @worktrees = selected.fetch("worktrees")
+          invalid! unless @worktrees.is_a?(Hash) && @worktrees.keys.sort == %w[common_dir root] && @worktrees.values.all? { |path| absolute?(path) }
+          @hitl = selected.fetch("hitl")
+          invalid! unless @hitl.is_a?(Hash) && (HITL_KEYS - @hitl.keys).empty? &&
+            (@hitl.keys - HITL_KEYS - HITL_OPTIONAL_KEYS).empty? &&
+            %w[root socket_path grants_path].all? { |key| absolute?(@hitl[key]) } &&
+            (!@hitl.key?("tls_authority") || absolute?(@hitl["tls_authority"])) &&
+            @hitl["group"].is_a?(String) && ID.match?(@hitl["group"]) &&
+            [@service.fetch("socket_path"), @native.fetch("socket_path"), @hitl.fetch("socket_path")].uniq.size == 3
+          private_paths = [@assignment_root, @lifecycle_root, @journal.fetch("checkout_root"), @hitl.fetch("root")]
+          invalid! unless private_paths.all? { |path| path.start_with?(@service.fetch("state_root") + "/") } &&
+            private_paths.uniq.size == private_paths.size && private_paths.combination(2).none? { |a, b| a.start_with?(b + "/") || b.start_with?(a + "/") }
+          invalid! if @journal.fetch("repository").start_with?(@service.fetch("state_root") + "/") ||
+            @service.fetch("state_root").start_with?(@journal.fetch("repository") + "/") ||
+            @service.fetch("state_root") == @journal.fetch("repository")
+          invalid! unless @participants.is_a?(Hash) && !@participants.empty? && @participants.size <= 64
+          @participants.each do |uid, participant|
+            invalid! unless uid.is_a?(String) && uid.match?(/\A[1-9][0-9]{0,9}\z/) && uid?(uid.to_i) && uid.to_i != @service.fetch("uid") &&
+              participant.is_a?(Hash) && participant.keys.sort == PARTICIPANT_KEYS.sort && uid?(participant["gid"]) &&
+              participant["actor"].is_a?(String) && ID.match?(participant["actor"]) &&
+              participant["runtime"] == "herdr" && participant["workspace"].is_a?(String) && ID.match?(participant["workspace"]) &&
+              participant["supervisor_panes"].is_a?(Array) && participant["supervisor_panes"].size <= 16 &&
+              participant["supervisor_panes"].uniq == participant["supervisor_panes"] &&
+              participant["supervisor_panes"].all? { |pane| pane.is_a?(String) && PANE.match?(pane) }
+          end
+          invalid! unless @participants.values.map { |value| value.fetch("actor") }.uniq.size == @participants.size
+          @fingerprint = Digest::SHA256.hexdigest(Ace::Assign::Atoms::EvidenceDigest.canonical_json(selected))
+          freeze_value(selected)
+          freeze
+        end
+
+        def verify_selection!
+          current = self.class.load(project: @project, path: @source)
+          unless current.fingerprint == @fingerprint
+            raise InvalidConfigurationError, "ordinary assignment owner selection changed; restart with installed configuration"
+          end
+          true
+        end
+
+        def verify_listener!
+          verify_owner!
+          unless [Process.uid, Process.euid, Process.gid, Process.egid] ==
+              [@service.fetch("uid"), @service.fetch("uid"), @service.fetch("gid"), @service.fetch("gid")]
+            raise InvalidConfigurationError, "ordinary assignment owner process differs"
+          end
+          ([service.fetch("uid")] + participants.keys.map(&:to_i)).each { |uid| exclude_protected!(uid) }
+          [@service.fetch("state_root"), @assignment_root, @lifecycle_root, @journal.fetch("checkout_root")].each do |path|
+            Ace::Assign::Authority::PrivateDirectory.verify!(path)
+          end
+          verify_hitl_root!
+          wire = Ace::Runtime::Molecules::ProtectedSocket
+          wire.root_path!(@runtime_binary)
+          invalid! unless File.file?(@runtime_binary) && File.executable?(@runtime_binary)
+          invalid! unless File.lstat(@journal.fetch("repository")).uid == @service.fetch("uid")
+          reader = Ace::Assign::Molecules::InstalledJournalRead.new(repo_root: @journal.fetch("repository"),
+            ref: @journal.fetch("ref"), owner_uid: @service.fetch("uid"))
+          reader.with(deadline: wire.deadline(30)) { |_snapshot| true }
+          true
+        end
+
+        def verify_owner!
+          verify_selection!
+          exclude_protected!(@service.fetch("uid"))
+          true
+        end
+
+        def participant!(peer)
+          participant = selected_principal!(peer.fetch("uid"))
+          unless participant.fetch("gid") == peer.fetch("gid")
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary participant group differs"
+          end
+          participant
+        end
+
+        # Selection only: consumers of canonical native history have an
+        # observed process UID, not a new authenticated socket from that owner.
+        def selected_principal!(uid)
+          verify_owner!
+          exclude_protected!(uid)
+          participant = @participants[uid.to_s]
+          unless participant
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary participant is not installed for this project"
+          end
+          # HITL and the canonical coordinator use the authenticated passwd
+          # principal. An unrelated display label cannot replace that identity.
+          unless Etc.getpwuid(uid).name == participant.fetch("actor")
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary actor differs from installed OS principal"
+          end
+          participant
+        rescue ArgumentError
+          raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "ordinary OS principal is unavailable"
+        end
+
+        protected
+
+        attr_reader :fingerprint
+
+        private
+
+        # HITL maintains its own layout (root 0711, private request/secret
+        # directories). The already-verified private state_root encloses it.
+        # Requiring a 0700 HITL leaf would reject every normal service restart.
+        def verify_hitl_root!
+          root = @hitl.fetch("root")
+          Ace::Runtime::Molecules::ProtectedSocket.root_path!(root, directory: true, owner: @service.fetch("uid"))
+          unless (File.stat(root).mode & 0o7777) == Ace::Hitl::Lifecycle::Store::ROOT_MODE
+            raise InvalidConfigurationError, "ordinary HITL store root must use the maintained store mode"
+          end
+          true
+        end
+
+        def validate_principal_separation!(projects)
+          invalid! unless projects.size.between?(1, 64)
+          owners, callers = [], []
+          projects.each_value do |entry|
+            invalid! unless entry.is_a?(Hash) && entry["service"].is_a?(Hash) &&
+              uid?(entry["service"]["uid"]) && entry["participants"].is_a?(Hash)
+            owners << entry.fetch("service").fetch("uid")
+            entry.fetch("participants").each_key do |uid|
+              invalid! unless uid.is_a?(String) && uid.match?(/\A[1-9][0-9]{0,9}\z/) && uid?(uid.to_i)
+              callers << uid.to_i
+            end
+          end
+          invalid! unless (owners & callers).empty?
+        end
+
+        def exclude_protected!(uid)
+          context = Ace::Assign::Authority::ProtectedAssignmentContext.load(uid: uid)
+          if context.protected_participant?
+            raise Ace::Assign::AttemptErrors::UnauthorizedIdentity, "protected principal cannot use ordinary assignment authority"
+          end
+        end
+
+        def absolute?(value)
+          value.is_a?(String) && value.bytesize.between?(1, 4096) && !value.include?("\0") &&
+            value.start_with?("/") && File.expand_path(value) == value
+        end
+
+        def uid?(value) = value.is_a?(Integer) && value.between?(1, 2**31 - 1)
+
+        def freeze_value(value)
+          case value
+          when Hash then value.each { |key, item| key.freeze; freeze_value(item) }
+          when Array then value.each { |item| freeze_value(item) }
+          end
+          value.freeze
+        end
+
+        def invalid!
+          raise InvalidConfigurationError, "ordinary assignment owner configuration is invalid"
+        end
+      end
+    end
+  end
+end

data/lib/ace/lab/molecules/ordinary_receiver_config.rb

@@ -0,0 +1,94 @@
+# frozen_string_literal: true
+
+require "yaml"
+require_relative "../errors"
+require_relative "service_policy"
+require_relative "grant_resolver"
+
+module Ace
+  module Lab
+    module Molecules
+      # Project-scoped, explicitly filed receiver configuration (spec
+      # 8x3.t.xz9.4 execution clauses). The host owns the file, its
+      # placement, its credentials and its deployment; this loader only
+      # validates the exact closed shape and fails closed on anything else.
+      # It invents no credential and accepts no caller-selected endpoint:
+      # every value comes from one explicit deployment-owned YAML file.
+      class OrdinaryReceiverConfig
+        KEYS = %w[project receiver_id socket_path receiver_uid principal principal_uid
+          repo_path policy_path execution_identity].freeze
+        OPTIONAL_KEYS = %w[socket_gid forge_config_path].freeze
+        IDENTITY_KEYS = %w[checkout_id worktree_id branch].freeze
+        ID = ServicePolicy::ID
+
+        def self.load(path)
+          raise Ace::Lab::InvalidConfigurationError, "receiver config path is required" unless path.is_a?(String) && !path.empty?
+          bytes = GrantResolver.read_verified(path)
+          raise Ace::Lab::InvalidConfigurationError, "receiver configuration is missing" unless bytes
+          document = YAML.safe_load(bytes, permitted_classes: [Date], aliases: false)
+          new(document, source: path)
+        rescue Errno::ENOENT, Errno::EACCES, Psych::Exception
+          raise Ace::Lab::InvalidConfigurationError, "receiver configuration is unreadable: #{path}"
+        end
+
+        attr_reader :project, :receiver_id, :socket_path, :receiver_uid, :principal,
+          :principal_uid, :repo_path, :policy_path, :execution_identity, :source, :socket_gid, :forge_config_path
+
+        def initialize(document, source: nil)
+          unless document.is_a?(Hash) && (document.keys - KEYS - OPTIONAL_KEYS).empty? &&
+              (KEYS - document.keys).empty?
+            raise Ace::Lab::InvalidConfigurationError,
+              "receiver configuration requires #{KEYS.join(', ')}; optional: #{OPTIONAL_KEYS.join(', ')}"
+          end
+          @socket_gid = uid!(document.fetch("socket_gid"), "socket_gid") if document.key?("socket_gid")
+          @forge_config_path = absolute!(document.fetch("forge_config_path"), "forge_config_path") if
+            document.key?("forge_config_path")
+          @source = source
+          @project = string!(document.fetch("project"), "project")
+          @receiver_id = string!(document.fetch("receiver_id"), "receiver_id")
+          @principal = string!(document.fetch("principal"), "principal")
+          @socket_path = absolute!(document.fetch("socket_path"), "socket_path")
+          @repo_path = absolute!(document.fetch("repo_path"), "repo_path")
+          @policy_path = absolute!(document.fetch("policy_path"), "policy_path")
+          @receiver_uid = uid!(document.fetch("receiver_uid"), "receiver_uid")
+          raise Ace::Lab::InvalidConfigurationError, "ordinary receiver must have a non-root owner" if @receiver_uid.zero?
+          @principal_uid = uid!(document.fetch("principal_uid"), "principal_uid")
+          identity = document.fetch("execution_identity")
+          unless identity.is_a?(Hash) && (identity.keys - IDENTITY_KEYS).empty? &&
+              IDENTITY_KEYS.all? { |key| identity[key].is_a?(String) && !identity[key].empty? }
+            raise Ace::Lab::InvalidConfigurationError,
+              "receiver execution_identity is incomplete"
+          end
+          @execution_identity = IDENTITY_KEYS.to_h { |key| [key, identity.fetch(key)] }.freeze
+          unless @repo_path.start_with?("/") && File.directory?(@repo_path)
+            raise Ace::Lab::InvalidConfigurationError, "receiver repo_path is not a directory"
+          end
+          freeze
+        end
+
+        private
+
+        def string!(value, name)
+          unless value.is_a?(String) && !value.empty? && value.length <= 256 && value.match?(ID)
+            raise Ace::Lab::InvalidConfigurationError, "receiver #{name} is invalid"
+          end
+          value
+        end
+
+        def absolute!(value, name)
+          unless value.is_a?(String) && value.start_with?("/") && value.length <= 1024
+            raise Ace::Lab::InvalidConfigurationError, "receiver #{name} must be an absolute path"
+          end
+          value
+        end
+
+        def uid!(value, name)
+          unless value.is_a?(Integer) && value >= 0
+            raise Ace::Lab::InvalidConfigurationError, "receiver #{name} must be a non-negative integer"
+          end
+          value
+        end
+      end
+    end
+  end
+end

data/lib/ace/lab/molecules/ordinary_socket.rb

@@ -9,7 +9,7 @@ module Ace
       # Admission transport between the ordinary fixed merge producer and the
       # installed ordinary receiver: one bounded JSON document each way over
       # a configured unix stream socket with a fixed deadline. Authentication
-      # is mutual through SO_PEERCRED — the producer verifies the receiver's
+      # is mutual through OS peer credentials — the producer verifies the receiver's
       # configured UID and transmits the verified local caller identity, so
       # no caller-selected credential, token or endpoint exists. This is not
       # an HTTP transport; a lost or unauthenticated response is a
@@ -33,19 +33,19 @@ module Ace
         def submit(document)
           payload = JSON.generate(document)
           raise OrdinaryUnavailable, "request document exceeds the wire bound" if payload.bytesize > LIMIT
-          socket = Socket.new(:UNIX, :STREAM, 0)
+          socket = nil
           begin
-            socket.connect(Addrinfo.unix(@socket_path))
+            socket = UNIXSocket.new(@socket_path)
             verify_peer!(socket)
             write_all!(socket, "#{HANDSHAKE} #{payload.bytesize}\n#{payload}")
             response = read_response!(socket)
           rescue OrdinaryUnavailable
             raise
-          rescue SystemCallError, IOError => e
+          rescue SystemCallError, IOError, SocketError, NotImplementedError => e
             raise OrdinaryUnavailable, "receiver transport failed: #{e.class}"
           ensure
             begin
-              socket.close
+              socket&.close
             rescue IOError
               nil
             end
@@ -58,10 +58,7 @@ module Ace
         private
 
         def verify_peer!(socket)
-          credentials = socket.getsockopt(:SOCKET, :PEERCRED)
-          # struct ucred is {pid, uid, gid} on Linux; the producer binds the
-          # receiver to its installed UID and nothing else.
-          _peer_pid, peer_uid, = credentials.unpack("L3")
+          peer_uid, = socket.getpeereid
           return if peer_uid == @receiver_uid
           raise OrdinaryUnavailable, "receiver endpoint identity is not the installed receiver"
         end