Skip to main content

Hyper

Struct Hyper 

Source
pub struct Hyper { /* private fields */ }
Expand description

Hyper — pre-workload framework infrastructure.

Hyper is the operating system that runs an Actor: it owns configuration, instance identity, trust material, and the package verifier. It is deliberately generic-free and has no knowledge of a specific workload.

User code constructs Hyper only in the escape-hatch path (Node::from_hyper); prefer Node::from_config_file for the common case where config lives in actr.toml. The full typestate chain is:

Node::from_config_file(path)    -> Node<Init>              (framework only)
Node::from_hyper(hyper, config) -> Node<Init>              (escape hatch)
    .attach(package)            -> Node<Attached>          (attach: wasm / dyn lib)
    .link(workload)             -> Node<Attached>          (link: static lib)
    .register(ais_endpoint)     -> Node<Registered>        (credential obtained)
    .start()                    -> ActrRef                 (running node)

Once you call attach, you no longer have a Hyper: you have a Node, which is “Hyper wired to a workload”. register and start live on Node, not on Hyper.

Implementations§

Source§

impl Hyper

Source

pub async fn new(config: HyperConfig) -> Result<Self, HyperError>

Construct a Hyper with native defaults (uses tokio::fs / ActorStore).

  • Parse configuration
  • Load or generate instance_id (persisted to data_dir)
  • Initialize package verifier
Source

pub async fn with_platform( config: HyperConfig, platform: Arc<dyn PlatformProvider>, ) -> Result<Self, HyperError>

Construct a Hyper with an injected platform provider (cross-platform / embedded).

When a PlatformProvider is injected:

  • instance UID comes from platform.instance_uid() (and its backing store)
  • bootstrap_credential uses platform.secret_store() instead of ActorStore::open()
  • TrustProvider verifies .actr package signatures using whatever mechanism the injected provider implements
Source

pub async fn verify_package( &self, package: &WorkloadPackage, ) -> Result<VerifiedPackage, HyperError>

Verify a WorkloadPackage and return the verified package bundle (parsed manifest + raw manifest bytes + signature).

Delegates entirely to the configured crate::verify::TrustProvider; the provider decides how to authenticate the package (static key, registry lookup, keyless transparency log, etc).

Source§

impl Hyper

Source

pub fn resolve_storage_path( &self, manifest: &PackageManifest, ) -> Result<PathBuf, HyperError>

Resolve the storage namespace path for a verified manifest.

The path is fixed here; all subsequent storage operations are isolated based on this path.

Source

pub async fn bootstrap_credential( &self, verified: &VerifiedPackage, ais_endpoint: &str, realm_id: u32, service_spec: Option<ServiceSpec>, acl: Option<Acl>, ) -> Result<RegisterOk, HyperError>

Bootstrap credential registration with AIS (two-phase flow).

Hyper completes registration bootstrap on behalf of the Actor and returns the full AIS registration payload.

§Two-Phase Logic
  • Phase 1 (first registration): no valid PSK in ActorStore -> register with MFR-signed manifest -> AIS returns credential + PSK -> stored in ActorStore
  • Phase 2 (PSK renewal): valid PSK exists in ActorStore -> register directly with PSK -> AIS returns new credential
§Parameters
  • verified: verified package bundle (from verify_package) — carries the parsed manifest plus the raw manifest bytes and signature needed for phase-1 registration with AIS.
  • ais_endpoint: AIS HTTP address, e.g. "http://ais.example.com:8080"
  • realm_id: target Realm ID
  • service_spec: optional protobuf API metadata published to discovery
  • acl: optional access-control policy attached to the actor
Source

pub fn instance_id(&self) -> &str

Current instance_id

Source

pub fn config(&self) -> &HyperConfig

Current configuration

Auto Trait Implementations§

§

impl !RefUnwindSafe for Hyper

§

impl !UnwindSafe for Hyper

§

impl Freeze for Hyper

§

impl Send for Hyper

§

impl Sync for Hyper

§

impl Unpin for Hyper

§

impl UnsafeUnpin for Hyper

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

Source§

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

Source§

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

Source§

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> MaybeSendSync for T
where T: Send + Sync + ?Sized,

Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more