solid_objects 0.3.0 → 0.4.0

data/lib/solid_objects/turbo_stream_renderer.rb

@@ -1,9 +1,13 @@
 # rbs_inline: enabled
 
 require "erb"
+require "base64"
 
 module SolidObjects
   module TurboStreamRenderer
+    INVALIDATION_MARKER = "solid_objects_invalidation:"
+    INVALIDATION_PATTERN = /<!--solid_objects_invalidation:([A-Za-z0-9_=-]+)-->/
+
     module_function
 
     # @rbs (Broadcast) -> String
@@ -12,7 +16,19 @@ module SolidObjects
         actor_type: broadcast.instance.actor_type,
         actor_id: broadcast.instance.actor_id
       )
-      observable_value(reference, broadcast.observable_name, broadcast.value)
+      stream = observable_value(
+        reference,
+        broadcast.observable_name,
+        broadcast.value
+      )
+      metadata = Base64.urlsafe_encode64(
+        JSON.generate(
+          "instance_id" => broadcast.instance_id,
+          "revision" => broadcast.message.sequence,
+          "observable_name" => broadcast.observable_name
+        )
+      )
+      "#{stream}<!--#{INVALIDATION_MARKER}#{metadata}-->"
     end
 
     # @rbs (Reference, Symbol | String, untyped) -> String
@@ -22,6 +38,34 @@ module SolidObjects
       %(<turbo-stream action="replace" target="#{target}"><template><span id="#{target}">#{content}</span></template></turbo-stream>)
     end
 
+    # @rbs (ComponentRegistration, Integer, Integer) -> String
+    def component_refresh(registration, instance_id, revision)
+      target = DomIdentity.component(
+        registration.reference,
+        registration.component_name
+      )
+      source = ERB::Util.html_escape(
+        registration.refresh_url(instance_id, revision)
+      )
+      revision_value = "#{instance_id}:#{revision}"
+      %(<turbo-stream action="replace" target="#{target}"><template><turbo-frame id="#{target}" src="#{source}" data-solid-objects-revision="#{revision_value}"></turbo-frame></template></turbo-stream>)
+    end
+
+    # @rbs (String) -> Hash[String, untyped]?
+    def invalidation(stream)
+      encoded = stream[INVALIDATION_PATTERN, 1]
+      return unless encoded
+
+      payload = JSON.parse(Base64.urlsafe_decode64(encoded))
+      return unless payload["instance_id"].is_a?(Integer)
+      return unless payload["revision"].is_a?(Integer)
+      return unless payload["observable_name"].is_a?(String)
+
+      payload
+    rescue ArgumentError, JSON::ParserError
+      nil
+    end
+
     # @rbs (untyped) -> String
     def display_value(value)
       return value if value.is_a?(String)

data/lib/solid_objects/version.rb

@@ -1,5 +1,5 @@
 # rbs_inline: enabled
 
 module SolidObjects
-  VERSION = "0.3.0"
+  VERSION = "0.4.0"
 end

data/lib/solid_objects.rb

@@ -32,8 +32,14 @@ require "solid_objects/process_pruner"
 require "solid_objects/stream_name"
 require "solid_objects/dom_identity"
 require "solid_objects/stream_token"
+require "solid_objects/component_token"
+require "solid_objects/component_path_resolver"
 require "solid_objects/turbo_stream_renderer"
 require "solid_objects/actor_snapshot"
+require "solid_objects/component_registration"
+require "solid_objects/component_subscriptions"
+require "solid_objects/component_view"
+require "solid_objects/component_renderer"
 require "solid_objects/state_snapshot"
 require "solid_objects/actor_view"
 require "solid_objects/action_cable_broadcast_adapter"

data/sig/generated/controllers/solid_objects/components_controller.rbs

@@ -0,0 +1,22 @@
+# Generated from app/controllers/solid_objects/components_controller.rb with RBS::Inline
+
+module SolidObjects
+  class ComponentsController < ActionController::Base
+    # @rbs () -> void
+    def show: () -> void
+
+    private
+
+    # @rbs () -> Array[Integer]
+    def requested_revision_key: () -> Array[Integer]
+
+    # @rbs (Array[Integer], ActorSnapshot) -> bool
+    def newer_than_snapshot?: (Array[Integer], ActorSnapshot) -> bool
+
+    # @rbs () -> untyped
+    def component_view_context: () -> untyped
+
+    # @rbs (ComponentRegistration, ActorSnapshot, untyped) -> String
+    def component_frame: (ComponentRegistration, ActorSnapshot, untyped) -> String
+  end
+end

data/sig/generated/lib/solid_objects/actor.rbs

@@ -166,6 +166,9 @@ module SolidObjects
     # @rbs () -> Hash[String, untyped]
     def observable_values: () -> Hash[String, untyped]
 
+    # @rbs (Symbol | String) -> untyped
+    def observable_value: (Symbol | String) -> untyped
+
     # @rbs () -> void
     def activate: () -> void
 

data/sig/generated/lib/solid_objects/actor_channel.rbs

@@ -4,5 +4,25 @@ module SolidObjects
   class ActorChannel < ActionCable::Channel::Base
     # @rbs () -> void
     def subscribed: () -> void
+
+    private
+
+    attr_reader reference: untyped
+
+    attr_reader component_subscriptions: untyped
+
+    attr_reader scalar_observables: untyped
+
+    # @rbs (String) -> void
+    def receive_broadcast: (String) -> void
+
+    # @rbs (ActorSnapshot) -> void
+    def refresh_outdated_components: (ActorSnapshot) -> void
+
+    # @rbs () -> void
+    def validate_scalar_observables!: () -> void
+
+    # @rbs (ActorSnapshot) -> Array[String]
+    def scalar_observable_names: (ActorSnapshot) -> Array[String]
   end
 end

data/sig/generated/lib/solid_objects/actor_snapshot.rbs

@@ -8,20 +8,37 @@ module SolidObjects
 
     @actor: Actor
 
+    @instance_id: Integer
+
+    @revision: Integer
+
+    @observable_values: Hash[String, untyped]?
+
+    @observable_value_cache: Hash[String, untyped]
+
     attr_reader reference: untyped
 
     attr_reader actor_class: untyped
 
     attr_reader actor: untyped
 
+    attr_reader instance_id: untyped
+
+    attr_reader revision: untyped
+
     # @rbs (Reference) -> void
     def initialize: (Reference) -> void
 
     # @rbs () -> Hash[String, untyped]
     def observable_values: () -> Hash[String, untyped]
 
+    # @rbs (Symbol | String) -> untyped
+    def observable_value: (Symbol | String) -> untyped
+
     private
 
+    attr_reader instance: untyped
+
     # @rbs () -> Actor
     def build_actor: () -> Actor
   end

data/sig/generated/lib/solid_objects/actor_view.rbs

@@ -2,6 +2,10 @@
 
 module SolidObjects
   class ActorView
+    @observable_names: Array[String]
+
+    @component_registrations: Array[ComponentRegistration]
+
     @snapshot: ActorSnapshot
 
     @authorization_context: untyped
@@ -18,8 +22,14 @@ module SolidObjects
     # @rbs (Symbol | String) -> untyped
     def value: (Symbol | String) -> untyped
 
-    # @rbs (Symbol | String, ?partial: String?) -> untyped
-    def component: (Symbol | String, ?partial: String?) -> untyped
+    # @rbs (Symbol | String, ?observes: Symbol | String | Array[Symbol | String]?, ?partial: String?) -> untyped
+    def component: (Symbol | String, ?observes: Symbol | String | Array[Symbol | String]?, ?partial: String?) -> untyped
+
+    # @rbs () -> Array[String]
+    def component_tokens: () -> Array[String]
+
+    # @rbs () -> Array[String]
+    def scalar_observable_names: () -> Array[String]
 
     # @rbs () -> State
     def state: () -> State
@@ -38,6 +48,13 @@ module SolidObjects
 
     attr_reader snapshot: untyped
 
+    attr_reader component_registrations: untyped
+
+    attr_reader observable_names: untyped
+
+    # @rbs (String, partial: String?) -> untyped
+    def static_component: (String, partial: String?) -> untyped
+
     # @rbs (Symbol | String) -> void
     def authorize_read!: (Symbol | String) -> void
 
@@ -50,6 +67,18 @@ module SolidObjects
     # @rbs (Symbol | String) -> String
     def normalized_component_name: (Symbol | String) -> String
 
+    # @rbs (Symbol | String | Array[Symbol | String]) -> Array[String]
+    def normalized_dependencies: (Symbol | String | Array[Symbol | String]) -> Array[String]
+
+    # @rbs (Array[String]) -> void
+    def validate_dependencies!: (Array[String]) -> void
+
+    # @rbs (String) -> void
+    def ensure_unique_component!: (String) -> void
+
+    # @rbs () -> Proc | ComponentPathResolver
+    def component_path_resolver: () -> Proc
+
     # @rbs (String) -> String
     def default_partial: (String) -> String
   end

data/sig/generated/lib/solid_objects/component_path_resolver.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/solid_objects/component_path_resolver.rb with RBS::Inline
+
+module SolidObjects
+  class ComponentPathResolver
+    # @rbs (view_context: untyped) -> String
+    def call: (view_context: untyped) -> String
+
+    private
+
+    # @rbs () -> bool
+    def mounted?: () -> bool
+  end
+end

data/sig/generated/lib/solid_objects/component_registration.rbs

@@ -0,0 +1,51 @@
+# Generated from lib/solid_objects/component_registration.rb with RBS::Inline
+
+module SolidObjects
+  class ComponentRegistration
+    @reference: Reference
+
+    @component_name: String
+
+    @dependencies: Array[String]
+
+    @instance_id: Integer
+
+    @revision: Integer
+
+    @refresh_path: String
+
+    @token: String
+
+    attr_reader reference: untyped
+
+    attr_reader component_name: untyped
+
+    attr_reader dependencies: untyped
+
+    attr_reader instance_id: untyped
+
+    attr_reader revision: untyped
+
+    attr_reader refresh_path: untyped
+
+    attr_reader token: untyped
+
+    # @rbs (reference: Reference, component_name: String, dependencies: Array[String], instance_id: Integer, revision: Integer, refresh_path: String, token: String) -> void
+    def initialize: (reference: Reference, component_name: String, dependencies: Array[String], instance_id: Integer, revision: Integer, refresh_path: String, token: String) -> void
+
+    # @rbs (reference: Reference, component_name: String, dependencies: Array[String], snapshot: ActorSnapshot, refresh_path: String) -> ComponentRegistration
+    def self.issue: (reference: Reference, component_name: String, dependencies: Array[String], snapshot: ActorSnapshot, refresh_path: String) -> ComponentRegistration
+
+    # @rbs (String) -> ComponentRegistration
+    def self.from_token: (String) -> ComponentRegistration
+
+    # @rbs (Reference, Array[String]) -> void
+    private def self.validate_dependencies!: (Reference, Array[String]) -> void
+
+    # @rbs () -> Array[Integer]
+    def revision_key: () -> Array[Integer]
+
+    # @rbs (Integer, Integer) -> String
+    def refresh_url: (Integer, Integer) -> String
+  end
+end

data/sig/generated/lib/solid_objects/component_renderer.rbs

@@ -0,0 +1,39 @@
+# Generated from lib/solid_objects/component_renderer.rb with RBS::Inline
+
+module SolidObjects
+  class ComponentRenderer
+    @snapshot: ActorSnapshot
+
+    @component_name: String
+
+    @dependencies: Array[String]
+
+    @view_context: untyped
+
+    @authorization_context: untyped
+
+    # @rbs (snapshot: ActorSnapshot, component_name: String, dependencies: Array[String], view_context: untyped, authorization_context: untyped) -> void
+    def initialize: (snapshot: ActorSnapshot, component_name: String, dependencies: Array[String], view_context: untyped, authorization_context: untyped) -> void
+
+    # @rbs () -> untyped
+    def call: () -> untyped
+
+    private
+
+    attr_reader snapshot: untyped
+
+    attr_reader component_name: untyped
+
+    attr_reader dependencies: untyped
+
+    attr_reader view_context: untyped
+
+    attr_reader authorization_context: untyped
+
+    # @rbs (String) -> void
+    def authorize_read!: (String) -> void
+
+    # @rbs () -> String
+    def default_partial: () -> String
+  end
+end

data/sig/generated/lib/solid_objects/component_subscriptions.rbs

@@ -0,0 +1,40 @@
+# Generated from lib/solid_objects/component_subscriptions.rb with RBS::Inline
+
+module SolidObjects
+  class ComponentSubscriptions
+    MAXIMUM_COMPONENTS: ::Integer
+
+    MAXIMUM_SERIALIZED_BYTES: ::Integer
+
+    @registrations: Array[ComponentRegistration]
+
+    @revisions: Hash[String, Array[Integer]]
+
+    # @rbs (String?, reference: Reference) -> ComponentSubscriptions
+    def self.parse: (String?, reference: Reference) -> ComponentSubscriptions
+
+    # @rbs (Array[ComponentRegistration]) -> void
+    def initialize: (Array[ComponentRegistration]) -> void
+
+    # @rbs (Hash[String, untyped]) -> Array[String]
+    def refreshes_for: (Hash[String, untyped]) -> Array[String]
+
+    # @rbs (ActorSnapshot) -> Array[String]
+    def reconnect_refreshes: (ActorSnapshot) -> Array[String]
+
+    # @rbs (ComponentRegistration, Reference) -> void
+    private def self.validate_identity!: (ComponentRegistration, Reference) -> void
+
+    private
+
+    attr_reader registrations: untyped
+
+    attr_reader revisions: untyped
+
+    # @rbs (ComponentRegistration, Integer, Integer) -> String
+    def refresh: (ComponentRegistration, Integer, Integer) -> String
+
+    # @rbs (String, Integer, Integer) -> bool
+    def newer_revision?: (String, Integer, Integer) -> bool
+  end
+end

data/sig/generated/lib/solid_objects/component_token.rbs

@@ -0,0 +1,38 @@
+# Generated from lib/solid_objects/component_token.rb with RBS::Inline
+
+module SolidObjects
+  module ComponentToken
+    PURPOSE: ::String
+
+    MAXIMUM_TOKEN_BYTES: ::Integer
+
+    MAXIMUM_DEPENDENCIES: ::Integer
+
+    # @rbs (reference: Reference, component_name: String, dependencies: Array[String], instance_id: Integer, revision: Integer, refresh_path: String) -> String
+    def self?.generate: (reference: Reference, component_name: String, dependencies: Array[String], instance_id: Integer, revision: Integer, refresh_path: String) -> String
+
+    # @rbs (String) -> Hash[String, untyped]
+    def self?.verify: (String) -> Hash[String, untyped]
+
+    # @rbs (Hash[String, untyped]) -> Hash[String, untyped]
+    def self?.validate_payload!: (Hash[String, untyped]) -> Hash[String, untyped]
+
+    # @rbs (String) -> void
+    def self?.validate_component_name!: (String) -> void
+
+    # @rbs (Array[untyped]) -> void
+    def self?.validate_dependencies!: (Array[untyped]) -> void
+
+    # @rbs (Integer, Integer) -> void
+    def self?.validate_revision!: (Integer, Integer) -> void
+
+    # @rbs (String) -> void
+    def self?.validate_refresh_path!: (String) -> void
+
+    # @rbs () -> ActiveSupport::MessageVerifier
+    def self?.verifier: () -> ActiveSupport::MessageVerifier
+
+    # @rbs () -> String
+    def self?.signing_secret: () -> String
+  end
+end

data/sig/generated/lib/solid_objects/component_view.rbs

@@ -0,0 +1,43 @@
+# Generated from lib/solid_objects/component_view.rb with RBS::Inline
+
+module SolidObjects
+  class ComponentView
+    @snapshot: ActorSnapshot
+
+    @dependencies: Array[String]
+
+    @authorization_context: untyped
+
+    attr_reader authorization_context: untyped
+
+    # @rbs (snapshot: ActorSnapshot, dependencies: Array[String], authorization_context: untyped) -> void
+    def initialize: (snapshot: ActorSnapshot, dependencies: Array[String], authorization_context: untyped) -> void
+
+    # @rbs () -> Reference
+    def reference: () -> Reference
+
+    # @rbs () -> String
+    def actor_id: () -> String
+
+    # @rbs () -> void
+    def state: () -> void
+
+    # @rbs (Symbol, *untyped, **untyped) -> untyped
+    def method_missing: (Symbol, *untyped, **untyped) -> untyped
+
+    # @rbs (Symbol, bool) -> bool
+    def respond_to_missing?: (Symbol, bool) -> bool
+
+    private
+
+    attr_reader snapshot: untyped
+
+    attr_reader dependencies: untyped
+
+    # @rbs (Symbol | String) -> bool
+    def observable?: (Symbol | String) -> bool
+
+    # @rbs (Symbol | String) -> untyped
+    def observable_value: (Symbol | String) -> untyped
+  end
+end

data/sig/generated/lib/solid_objects/configuration.rbs

@@ -4,8 +4,6 @@ module SolidObjects
   class Configuration
     @table_name_prefix: String
 
-    @process_alive_threshold: Float
-
     @shutdown_timeout: Float
 
     @message_retention: Numeric
@@ -36,6 +34,10 @@ module SolidObjects
 
     @wake_up_adapter: untyped
 
+    @component_path_resolver: Proc?
+
+    @component_authorization_context: Proc
+
     @authorize_message: Proc
 
     @authorize_query: Proc
@@ -76,6 +78,8 @@ module SolidObjects
 
     @process_heartbeat_interval: Float
 
+    @process_alive_threshold: Float
+
     attr_accessor table_name_prefix: untyped
 
     attr_accessor polling_interval: untyped
@@ -140,6 +144,10 @@ module SolidObjects
 
     attr_accessor wake_up_adapter: untyped
 
+    attr_accessor component_path_resolver: untyped
+
+    attr_accessor component_authorization_context: untyped
+
     attr_accessor authorize_message: untyped
 
     attr_accessor authorize_query: untyped

data/sig/generated/lib/solid_objects/database_adapters/sqlite.rbs

@@ -3,9 +3,14 @@
 module SolidObjects
   module DatabaseAdapters
     class Sqlite < DatabaseAdapter
+      LOCK_RETRY_INTERVAL: ::Float
+
       # @rbs () -> String
       def current_time_expression: () -> String
 
+      # @rbs () { () -> untyped } -> untyped
+      def transaction: () { () -> untyped } -> untyped
+
       private
 
       # @rbs (untyped) { () -> untyped } -> untyped

data/sig/generated/lib/solid_objects/errors.rbs

@@ -37,6 +37,18 @@ module SolidObjects
   class InvalidStreamToken < Error
   end
 
+  class InvalidComponentToken < Error
+  end
+
+  class UnknownComponent < Error
+  end
+
+  class UnknownComponentDependency < Error
+  end
+
+  class UnsupportedComponentRendering < Error
+  end
+
   class LostActivation < Error
   end
 

data/sig/generated/lib/solid_objects/stream_token.rbs

@@ -4,11 +4,16 @@ module SolidObjects
   module StreamToken
     PURPOSE: ::String
 
-    # @rbs (Reference) -> String
-    def self?.generate: (Reference) -> String
+    MAXIMUM_OBSERVABLES: ::Integer
 
-    # @rbs (String) -> Hash[String, String]
-    def self?.verify: (String) -> Hash[String, String]
+    # @rbs (Reference, ?observables: Array[String]?) -> String
+    def self?.generate: (Reference, ?observables: Array[String]?) -> String
+
+    # @rbs (String) -> Hash[String, untyped]
+    def self?.verify: (String) -> Hash[String, untyped]
+
+    # @rbs (Hash[String, untyped]) -> Hash[String, untyped]
+    def self?.validate_identity!: (Hash[String, untyped]) -> Hash[String, untyped]
 
     # @rbs () -> ActiveSupport::MessageVerifier
     def self?.verifier: () -> ActiveSupport::MessageVerifier

data/sig/generated/lib/solid_objects/turbo_stream_renderer.rbs

@@ -2,12 +2,22 @@
 
 module SolidObjects
   module TurboStreamRenderer
+    INVALIDATION_MARKER: ::String
+
+    INVALIDATION_PATTERN: ::Regexp
+
     # @rbs (Broadcast) -> String
     def self?.observable: (Broadcast) -> String
 
     # @rbs (Reference, Symbol | String, untyped) -> String
     def self?.observable_value: (Reference, Symbol | String, untyped) -> String
 
+    # @rbs (ComponentRegistration, Integer, Integer) -> String
+    def self?.component_refresh: (ComponentRegistration, Integer, Integer) -> String
+
+    # @rbs (String) -> Hash[String, untyped]?
+    def self?.invalidation: (String) -> Hash[String, untyped]?
+
     # @rbs (untyped) -> String
     def self?.display_value: (untyped) -> String
   end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: solid_objects
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.4.0
 platform: ruby
 authors:
 - Lucas Carlson
@@ -261,6 +261,7 @@ files:
 - README.md
 - Rakefile
 - app/controllers/solid_objects/application_controller.rb
+- app/controllers/solid_objects/components_controller.rb
 - app/controllers/solid_objects/dead_letters_controller.rb
 - app/controllers/solid_objects/instances_controller.rb
 - app/helpers/solid_objects/actor_helper.rb
@@ -290,6 +291,7 @@ files:
 - benchmark/sync_latency.rb
 - config/routes.rb
 - db/migrate/20260805000000_create_solid_objects_tables.rb
+- db/migrate/20260806000000_add_state_revision_to_solid_objects_instances.rb
 - docs/adr/0001-postgresql-backend.md
 - docs/adr/0002-jsonb-actor-state.md
 - docs/adr/0003-mailbox-ordering.md
@@ -348,6 +350,12 @@ files:
 - lib/solid_objects/cli.rb
 - lib/solid_objects/client.rb
 - lib/solid_objects/commit_action_registry.rb
+- lib/solid_objects/component_path_resolver.rb
+- lib/solid_objects/component_registration.rb
+- lib/solid_objects/component_renderer.rb
+- lib/solid_objects/component_subscriptions.rb
+- lib/solid_objects/component_token.rb
+- lib/solid_objects/component_view.rb
 - lib/solid_objects/configuration.rb
 - lib/solid_objects/context.rb
 - lib/solid_objects/database_adapter.rb
@@ -390,6 +398,7 @@ files:
 - lib/solid_objects/worker.rb
 - lib/tasks/solid_objects_tasks.rake
 - sig/generated/controllers/solid_objects/application_controller.rbs
+- sig/generated/controllers/solid_objects/components_controller.rbs
 - sig/generated/controllers/solid_objects/dead_letters_controller.rbs
 - sig/generated/controllers/solid_objects/instances_controller.rbs
 - sig/generated/helpers/solid_objects/actor_helper.rbs
@@ -410,6 +419,12 @@ files:
 - sig/generated/lib/solid_objects/cli.rbs
 - sig/generated/lib/solid_objects/client.rbs
 - sig/generated/lib/solid_objects/commit_action_registry.rbs
+- sig/generated/lib/solid_objects/component_path_resolver.rbs
+- sig/generated/lib/solid_objects/component_registration.rbs
+- sig/generated/lib/solid_objects/component_renderer.rbs
+- sig/generated/lib/solid_objects/component_subscriptions.rbs
+- sig/generated/lib/solid_objects/component_token.rbs
+- sig/generated/lib/solid_objects/component_view.rbs
 - sig/generated/lib/solid_objects/configuration.rbs
 - sig/generated/lib/solid_objects/context.rbs
 - sig/generated/lib/solid_objects/database_adapter.rbs