ace-assign 0.70.0 → 0.73.0

data/lib/ace/assign/authority/launch_control_channel.rb

@@ -1,313 +0,0 @@
-# frozen_string_literal: true
-require "securerandom"
-require_relative "transfer_codec"
-
-module Ace
-  module Assign
-    module Authority
-      # A rendezvous for one already authenticated original launcher stream.
-      # Canonical issue permits belong to LaunchLifecycle/JournalMutation.
-      # This queue owns no replay, authorization, terminal state or effects.
-      class LaunchControlChannel
-        Pending = Struct.new(:frame, :bytes, :deadline, :result, :error, :finished, keyword_init: true)
-        PROMPT_FIELDS = %w[attempt_id intent_event_id journal_commit mutation_id original_binding_digest text_descriptor transfer_id type version].freeze
-        OUTCOME_FIELDS = %w[guarded_evidence intent_event_id mutation_id original_binding_digest type version].freeze
-        RECORDED_FIELDS = %w[intent_event_id journal_commit mutation_id original_binding_digest outcome type version].freeze
-        REVIEW_FIELDS = %w[attempt_id journal_commit mutation_id original_binding_digest request_event_id type version].freeze
-        REVIEW_ASSIGNED_FIELDS = %w[assignment_event_id journal_commit mutation_id original_binding_digest request_event_id type version].freeze
-        INHIBIT_FIELDS = %w[attempt_id journal_commit original_binding_digest seal_event_id type version].freeze
-        INHIBIT_OUTCOME_FIELDS = %w[guarded_evidence original_binding_digest seal_event_id type version].freeze
-        INHIBIT_RECORDED_FIELDS = %w[journal_commit original_binding_digest seal_event_id type version].freeze
-
-        def initialize(socket:, codec:, outcome:, input_inhibition: nil)
-          @socket, @codec, @outcome = socket, codec, outcome
-          @input_inhibition = input_inhibition
-          @mutex, @changed = Mutex.new, ConditionVariable.new
-          @pending = nil
-          @closed = false
-        end
-
-        def reserve_dispatch!
-          @mutex.synchronize do
-            raise AttemptErrors::EvidenceUnavailable, "Original launcher control channel is unavailable" if @closed
-            raise AttemptErrors::Conflict, "Original launcher input is inhibited" if @inhibiting
-            raise AttemptErrors::Conflict, "Original launcher control channel is busy" if @reservation || @pending
-            @reservation = Object.new.freeze
-          end
-        end
-
-        def inhibit_input(frame:, deadline:)
-          self.class.validate_inhibit!(frame)
-          pending = Pending.new(frame: frame, deadline: deadline, finished: false)
-          @mutex.synchronize do
-            @inhibiting = true
-            if @inhibition_pending
-              unless @inhibition_pending.frame.slice("attempt_id", "original_binding_digest", "seal_event_id") == frame.slice("attempt_id", "original_binding_digest", "seal_event_id")
-                raise AttemptErrors::Conflict, "Original input inhibition names another seal"
-              end
-              pending = @inhibition_pending
-            else
-              @inhibition_pending = pending
-              while @reservation || @pending
-                raise AttemptErrors::EvidenceUnavailable, "Original launcher control channel is unavailable" if @closed
-                remaining = deadline - Process.clock_gettime(Process::CLOCK_MONOTONIC)
-                raise AttemptErrors::EvidenceUnavailable, "Original input inhibition is uncertain" unless remaining.positive?
-                @changed.wait(@mutex, remaining)
-              end
-              raise AttemptErrors::EvidenceUnavailable, "Original launcher control channel is unavailable" if @closed
-              @pending = pending
-              @changed.broadcast
-            end
-            until pending.finished
-              remaining = deadline - Process.clock_gettime(Process::CLOCK_MONOTONIC)
-              raise AttemptErrors::EvidenceUnavailable, "Original input inhibition is uncertain" unless remaining.positive?
-              @changed.wait(@mutex, remaining)
-            end
-          end
-          raise pending.error if pending.error
-          pending.result
-        rescue AttemptErrors::EvidenceUnavailable
-          close
-          raise
-        end
-
-        def dispatch_reserved?(reservation)
-          @mutex.synchronize { !@closed && !reservation.nil? && @reservation.equal?(reservation) }
-        end
-
-        def release_dispatch!(reservation)
-          @mutex.synchronize do
-            @reservation = nil if @reservation.equal?(reservation) && !@pending
-            @changed.broadcast if @inhibiting
-          end
-        end
-
-        def dispatch_prompt(frame:, bytes:, deadline:, reservation:)
-          validate_prompt!(frame)
-          dispatch_pending(Pending.new(frame: frame, bytes: bytes, deadline: deadline, finished: false), reservation)
-        end
-
-        def dispatch_review(frame:, deadline:, reservation:)
-          self.class.validate_review!(frame)
-          dispatch_pending(Pending.new(frame: frame, deadline: deadline, finished: false), reservation)
-        end
-
-        def dispatch_pending(pending, reservation)
-          @mutex.synchronize do
-            raise AttemptErrors::EvidenceUnavailable, "Original launcher control channel is unavailable" if @closed
-            raise AttemptErrors::EvidenceUnavailable, "Original launcher dispatch capacity is not held" unless reservation && @reservation.equal?(reservation)
-            raise AttemptErrors::Conflict, "Original launcher control channel is busy" if @pending
-            @pending = pending
-            @changed.broadcast
-            until pending.finished
-              remaining = pending.deadline - Process.clock_gettime(Process::CLOCK_MONOTONIC)
-              raise AttemptErrors::EvidenceUnavailable, "Original launcher dispatch outcome is uncertain" unless remaining.positive?
-              @changed.wait(@mutex, remaining)
-            end
-          end
-          raise pending.error if pending.error
-          pending.result
-        end
-
-        private :dispatch_pending
-
-        # Only the existing Server connection handler calls serve. No slot,
-        # assignment, journal or channel mutex is held over a socket wait or
-        # the original owner's canonical outcome ingestion callback.
-        def serve
-          loop do
-            pending = @mutex.synchronize do
-              @changed.wait(@mutex, 1) unless @closed || @pending
-              break if @closed
-              @pending
-            end
-            break if closed?
-            unless pending
-              ping
-              next
-            end
-            begin
-              wire.write(@socket, pending.frame, deadline: pending.deadline, limit: 16_384)
-              if pending.frame.fetch("type") == "launch_review_delegate"
-                result = wire.read(@socket, deadline: pending.deadline, limit: 16_384)
-                self.class.validate_review_assigned!(result, pending.frame)
-                # This transport correlation is not assignment acceptance.
-                # The canonical request owner must authenticate the returned
-                # event/commit before recording the public response.
-                complete(pending, result: result)
-                next
-              end
-              if pending.frame.fetch("type") == "launch_input_inhibit"
-                result = wire.read(@socket, deadline: pending.deadline, limit: 16_384)
-                self.class.validate_inhibit_outcome!(result, pending.frame)
-                raise AttemptErrors::EvidenceUnavailable, "Canonical input inhibition owner unavailable" unless @input_inhibition
-                accepted = @input_inhibition.call(result)
-                unless accepted.is_a?(Hash) && accepted.keys.sort == %w[journal_commit original_binding_digest seal_event_id] &&
-                    %w[original_binding_digest seal_event_id].all? { |key| accepted[key] == pending.frame.fetch(key) }
-                  raise AttemptErrors::EvidenceUnavailable, "Canonical input inhibition acceptance differs"
-                end
-                recorded = pending.frame.slice("original_binding_digest", "seal_event_id").merge("version" => 1,
-                  "type" => "launch_input_inhibit_recorded", "journal_commit" => accepted.fetch("journal_commit"))
-                self.class.validate_inhibit_recorded!(recorded, pending.frame)
-                wire.write(@socket, recorded, deadline: pending.deadline, limit: 16_384)
-                complete(pending, result: result)
-                next
-              end
-              @codec.send_launch_prompt(@socket, bytes: pending.bytes, descriptor: pending.frame.fetch("text_descriptor"),
-                transfer_id: pending.frame.fetch("transfer_id"), deadline: pending.deadline)
-              pending.bytes = nil
-              result = wire.read(@socket, deadline: pending.deadline, limit: 16_384)
-              validate_outcome!(result, pending.frame)
-              accepted = @outcome.call(result)
-              unless accepted.is_a?(Hash) && accepted.keys.sort == %w[journal_commit outcome] &&
-                  accepted["outcome"] == result.dig("guarded_evidence", "outcome") &&
-                  accepted["journal_commit"].is_a?(String) && accepted["journal_commit"].match?(/\A(?:[0-9a-f]{40}|[0-9a-f]{64})\z/)
-                raise AttemptErrors::EvidenceUnavailable, "Canonical prompt completion acknowledgement is unavailable"
-              end
-              recorded = pending.frame.slice("mutation_id", "intent_event_id", "original_binding_digest").merge(accepted).merge(
-                "version" => 1, "type" => "prompt_outcome_recorded")
-              wire.write(@socket, recorded, deadline: pending.deadline, limit: 16_384)
-              complete(pending, result: result)
-            rescue StandardError => error
-              complete(pending, error: error)
-              break
-            end
-          end
-        rescue IOError, SystemCallError, Ace::Runtime::RuntimeUnavailableError
-          nil
-        ensure
-          close
-        end
-
-        def close
-          @mutex.synchronize do
-            @closed = true
-            @reservation = nil
-            if @pending && !@pending.finished
-              @pending.error = AttemptErrors::EvidenceUnavailable.new("Original launcher control channel closed with uncertain outcome")
-              @pending.finished = true
-              @pending.bytes = nil
-            end
-            if @inhibition_pending && !@inhibition_pending.finished
-              @inhibition_pending.error = AttemptErrors::EvidenceUnavailable.new("Original input inhibition is uncertain")
-              @inhibition_pending.finished = true
-            end
-            @changed.broadcast
-          end
-        end
-
-        def closed?
-          @mutex.synchronize { @closed }
-        end
-
-        def self.validate_review!(frame)
-          unless frame.is_a?(Hash) && frame.keys.sort == REVIEW_FIELDS &&
-              frame["version"].is_a?(Integer) && frame["version"] == 1 && frame["type"] == "launch_review_delegate" &&
-              %w[attempt_id mutation_id].all? { |key| frame[key].is_a?(String) && frame[key].match?(Molecules::JournalMutation::ID) } &&
-              %w[request_event_id original_binding_digest].all? { |key| frame[key].is_a?(String) && frame[key].match?(/\A[0-9a-f]{64}\z/) } &&
-              frame["journal_commit"].is_a?(String) && frame["journal_commit"].match?(/\A(?:[0-9a-f]{40}|[0-9a-f]{64})\z/)
-            raise AttemptErrors::EvidenceUnavailable, "Private review delegation differs"
-          end
-          true
-        end
-
-        def self.validate_review_assigned!(result, frame)
-          unless result.is_a?(Hash) && result.keys.sort == REVIEW_ASSIGNED_FIELDS &&
-              result["version"].is_a?(Integer) && result["version"] == 1 && result["type"] == "launch_review_assigned" &&
-              %w[mutation_id request_event_id original_binding_digest].all? { |key| result[key] == frame.fetch(key) } &&
-              result["assignment_event_id"].is_a?(String) && result["assignment_event_id"].match?(/\A[0-9a-f]{64}\z/) &&
-              result["journal_commit"].is_a?(String) && result["journal_commit"].match?(/\A(?:[0-9a-f]{40}|[0-9a-f]{64})\z/)
-            raise AttemptErrors::EvidenceUnavailable, "Private review assignment does not join original request"
-          end
-          true
-        end
-
-        def self.validate_prompt!(frame)
-          unless frame.is_a?(Hash) && frame.keys.all? { |key| key.is_a?(String) } && frame.keys.sort == PROMPT_FIELDS &&
-              frame["version"].is_a?(Integer) && frame["version"] == 1 && frame["type"] == "prompt_dispatch" &&
-              %w[intent_event_id original_binding_digest].all? { |key| frame[key].is_a?(String) && frame[key].match?(/\A[0-9a-f]{64}\z/) } &&
-              frame["journal_commit"].is_a?(String) && frame["journal_commit"].match?(/\A(?:[0-9a-f]{40}|[0-9a-f]{64})\z/) &&
-              %w[attempt_id mutation_id].all? { |key| frame[key].is_a?(String) && frame[key].match?(/\A[a-zA-Z0-9][a-zA-Z0-9_.-]{0,127}\z/) } &&
-              frame["transfer_id"].is_a?(String) && frame["transfer_id"].match?(/\A[0-9a-f]{32}\z/)
-            raise AttemptErrors::EvidenceUnavailable, "Private prompt dispatch frame is malformed"
-          end
-          TransferCodec.new.validate!(frame.fetch("text_descriptor"), :prompt_text)
-          true
-        end
-
-        def self.validate_recorded!(recorded, frame, evidence)
-          unless recorded.is_a?(Hash) && recorded.keys.sort == RECORDED_FIELDS && recorded["version"].is_a?(Integer) && recorded["version"] == 1 &&
-              recorded["type"] == "prompt_outcome_recorded" && recorded["outcome"] == evidence.fetch("outcome") &&
-              %w[mutation_id intent_event_id original_binding_digest].all? { |key| recorded[key] == frame.fetch(key) } &&
-              recorded["journal_commit"].is_a?(String) && recorded["journal_commit"].match?(/\A(?:[0-9a-f]{40}|[0-9a-f]{64})\z/)
-            raise AttemptErrors::EvidenceUnavailable, "Canonical prompt completion acknowledgement differs"
-          end
-          true
-        end
-
-        def self.validate_inhibit!(frame)
-          unless frame.is_a?(Hash) && frame.keys.sort == INHIBIT_FIELDS && frame["version"].is_a?(Integer) && frame["version"] == 1 &&
-              frame["type"] == "launch_input_inhibit" && frame["attempt_id"].is_a?(String) && frame["attempt_id"].match?(/\A[a-zA-Z0-9][a-zA-Z0-9_.-]{0,127}\z/) &&
-              %w[original_binding_digest seal_event_id].all? { |key| frame[key].is_a?(String) && frame[key].match?(/\A[0-9a-f]{64}\z/) } &&
-              frame["journal_commit"].is_a?(String) && frame["journal_commit"].match?(/\A(?:[0-9a-f]{40}|[0-9a-f]{64})\z/)
-            raise AttemptErrors::EvidenceUnavailable, "Private input inhibition frame is malformed"
-          end
-          true
-        end
-
-        def self.validate_inhibit_outcome!(result, frame)
-          unless result.is_a?(Hash) && result.keys.sort == INHIBIT_OUTCOME_FIELDS && result["version"].is_a?(Integer) && result["version"] == 1 &&
-              result["type"] == "launch_input_inhibit_outcome" && result["guarded_evidence"].is_a?(Hash) &&
-              %w[original_binding_digest seal_event_id].all? { |key| result[key] == frame.fetch(key) }
-            raise AttemptErrors::EvidenceUnavailable, "Private input inhibition outcome differs"
-          end
-          true
-        end
-
-        def self.validate_inhibit_recorded!(result, frame)
-          unless result.is_a?(Hash) && result.keys.sort == INHIBIT_RECORDED_FIELDS && result["version"].is_a?(Integer) && result["version"] == 1 &&
-              result["type"] == "launch_input_inhibit_recorded" && %w[original_binding_digest seal_event_id].all? { |key| result[key] == frame.fetch(key) } &&
-              result["journal_commit"].is_a?(String) && result["journal_commit"].match?(/\A(?:[0-9a-f]{40}|[0-9a-f]{64})\z/)
-            raise AttemptErrors::EvidenceUnavailable, "Canonical input inhibition acknowledgement differs"
-          end
-          true
-        end
-
-        private
-
-        def validate_prompt!(frame) = self.class.validate_prompt!(frame)
-
-        def validate_outcome!(result, frame)
-          unless result.is_a?(Hash) && result.keys.all? { |key| key.is_a?(String) } && result.keys.sort == OUTCOME_FIELDS &&
-              result["version"].is_a?(Integer) && result["version"] == 1 && result["type"] == "prompt_dispatch_outcome" &&
-              %w[mutation_id intent_event_id original_binding_digest].all? { |key| result[key] == frame.fetch(key) } &&
-              result["guarded_evidence"].is_a?(Hash)
-            raise AttemptErrors::EvidenceUnavailable, "Private prompt outcome does not join original dispatch"
-          end
-        end
-
-        def complete(pending, result: nil, error: nil)
-          @mutex.synchronize do
-            @closed = true if error
-            pending.result, pending.error, pending.finished = result, error, true
-            pending.bytes = nil
-            @pending = nil if @pending.equal?(pending)
-            @reservation = nil
-            @changed.broadcast
-          end
-        end
-
-        def ping
-          nonce, deadline = SecureRandom.hex(16), wire.deadline(5)
-          wire.write(@socket, {"version" => 1, "type" => "launch_control_idle", "nonce" => nonce}, deadline: deadline, limit: 16_384)
-          result = wire.read(@socket, deadline: deadline, limit: 16_384)
-          unless result.is_a?(Hash) && result["version"].is_a?(Integer) && result == {"version" => 1, "type" => "launch_control_idle_ack", "nonce" => nonce}
-            raise AttemptErrors::EvidenceUnavailable, "Private launcher idle response differs"
-          end
-        end
-
-        def wire = Ace::Runtime::Molecules::ProtectedSocket
-      end
-    end
-  end
-end

data/lib/ace/assign/authority/launch_control_exclusions.rb

@@ -1,127 +0,0 @@
-# frozen_string_literal: true
-require_relative "../molecules/protected_control_exclusion"
-require_relative "campaign_execution"
-require_relative "assignment_definition"
-
-module Ace
-  module Assign
-    module Authority
-      class LaunchLifecycle
-        private
-
-        def control_registration_context!(params, map, journal, commit: journal.ref_value)
-          assignment = params.fetch("assignment_id")
-          mapping = params.fetch("mapping_id")
-          inventory = if commit.nil?
-            unless params.key?("definition_bytes") && journal.ref_value.nil?
-              raise AttemptErrors::EvidenceUnavailable, "Original control canonical ref is unavailable"
-            end
-            # Existing first-registration bootstrap. The lower CAS initializes
-            # and authenticates its seed prefix before accepting any event.
-            {"commit" => nil, "events" => {}, "introductions" => {}}
-          else
-            journal.canonical_event_inventory!(commit: commit)
-          end
-          unless inventory.fetch("commit") == commit
-            raise AttemptErrors::EvidenceUnavailable, "Control canonical snapshot differs"
-          end
-          events = inventory.fetch("events").fetch(assignment, [])
-          introductions = inventory.fetch("introductions").fetch(assignment, {})
-          registrations = events.select { |event| event["type"] == "authority_mutation" &&
-            event.dig("payload", "operation") == "register_assignment" }
-          first = registrations.first&.dig("payload", "data")
-          registration = registrations.last&.dig("payload", "data")
-          if params["attempt_id"]
-            chain = events.select { |event| event["attempt_id"] == params.fetch("attempt_id") }
-            reserves = chain.select { |event| event.dig("payload", "operation") == "reserve_attempt" }
-            unless reserves.one? && reserves.first.dig("payload", "data", "mapping_id") == mapping
-              raise AttemptErrors::EvidenceUnavailable, "Original control reservation is unavailable"
-            end
-            prefix = introductions.fetch(reserves.first.fetch("digest"))
-            registration = definition(journal, assignment, commit: prefix)
-          end
-          unless registration || params.key?("definition_bytes")
-            raise AttemptErrors::NotFound, "canonical assignment registration is missing"
-          end
-          selection = first&.fetch("lifecycle_control")
-          selected = selection ? control_original_descriptor!(selection) : @deployment
-          original_map = selected.mapping(mapping)
-          project = selected.project(original_map.fetch("project_id"))
-          unless original_map.fetch("project_id") == map.fetch("project_id") &&
-              project.values_at("journal_repository", "evidence_git_ref", "evidence_checkout_root") ==
-                [journal.repo_root, journal.ref, journal.checkout_root]
-            raise AttemptErrors::EvidenceUnavailable, "Original control journal association differs"
-          end
-          control_owner_unchanged!(selected, original_map, map)
-          if first
-            authenticate_inventory_registration!(journal, assignment, events, first, mapping, original_map,
-              commit, introductions)
-            authenticate_inventory_registration!(journal, assignment, events, registration, mapping, original_map,
-              commit, introductions) unless registration == first
-            unless registrations.all? { |event| event.dig("payload", "data", "lifecycle_control") == selection }
-              raise AttemptErrors::EvidenceUnavailable, "Assignment control owner was replaced"
-            end
-          end
-          control = exclusion_for(original_map, journal, deployment: selected, selection: selection)
-          actual_selection = control.selection!
-          if actual_selection.fetch("descriptor_sha256") != selected.artifact_reference.fetch("sha256") ||
-              selection && actual_selection != selection
-            raise AttemptErrors::EvidenceUnavailable, "Original control root differs"
-          end
-          proposed = params.key?("definition_bytes") ? validated_registration_definition!(params, map) : nil
-          tasks = [registration&.fetch("task_id"), proposed&.task_id].compact.uniq.sort
-          tasks.each { |task| token!(task) }
-          keys = tasks.map { |task| control.task_key(task) } + [control.assignment_key(assignment)]
-          {commit: commit, registration: registration, descriptor: selected, map: original_map,
-            selection: actual_selection, exclusion: control, keys: keys.freeze}.freeze
-        rescue KeyError, TypeError, JSON::ParserError
-          raise AttemptErrors::EvidenceUnavailable, "Original control registration is unavailable"
-        end
-
-        def control_original_descriptor!(selection)
-          unless selection.is_a?(Hash) && selection.keys.sort == %w[descriptor_sha256 root_identity] &&
-              selection["descriptor_sha256"].is_a?(String) && selection["descriptor_sha256"].match?(/\A[0-9a-f]{64}\z/)
-            raise AttemptErrors::EvidenceUnavailable, "Original control selection is malformed"
-          end
-          sha = selection.fetch("descriptor_sha256")
-          return @deployment if sha == protected_descriptor_sha256!
-          unless @deployment_history
-            raise AttemptErrors::EvidenceUnavailable, "Original control descriptor is unavailable"
-          end
-          @deployment_history.descriptor!(sha256: sha)
-        end
-
-        def control_owner_unchanged!(selected, original_map, current_map)
-          old_authority = selected.authority(original_map.fetch("authority_id"))
-          current_authority = @deployment.authority(current_map.fetch("authority_id"))
-          slot_fields = %w[slot_id slice_unit service_unit root_directory runtime_directory network_namespace_path]
-          unless original_map.fetch("authority_id") == current_map.fetch("authority_id") &&
-              old_authority.values_at("state_root", "uid", "gid") == current_authority.values_at("state_root", "uid", "gid") &&
-              original_map.fetch("execution_scope").slice(*slot_fields) == current_map.fetch("execution_scope").slice(*slot_fields)
-            raise AttemptErrors::Conflict, "Control ownership changes require a fresh assignment"
-          end
-        end
-
-        def recheck_control_registration!(context, params, map, journal, commit: journal.ref_value, held_exclusion: context.fetch(:exclusion))
-          fresh = if context.fetch(:commit) == commit
-            context
-          else
-            control_registration_context!(params, map, journal, commit: commit)
-          end
-          unless fresh.fetch(:registration) == context.fetch(:registration) &&
-              fresh.fetch(:selection) == context.fetch(:selection) && fresh.fetch(:keys) == context.fetch(:keys) &&
-              journal.ref_value == commit && context.fetch(:exclusion).selection! == context.fetch(:selection)
-            raise AttemptErrors::Conflict, "Control registration changed while entering exclusion"
-          end
-          held_exclusion.verify_unchanged!
-          true
-        end
-
-        def validated_registration_definition!(params, map)
-          AssignmentDefinition.parse(bytes: params.fetch("definition_bytes"), digest: params["definition_digest"],
-            assignment_id: params["assignment_id"], project_id: map["project_id"])
-        end
-      end
-    end
-  end
-end