nested_lifecycle

First-class nested LiveView lifecycle primitives for M55.

Types

ChildLifecycle

Child lifecycle status in one nested tree.

pub type ChildLifecycle {
  Mounted
  Suspended
  Failed(reason: String)
  Terminated
}

Constructors

```
Mounted
```
```
Suspended
```
```
Failed(reason: String)
```
```
Terminated
```

ChildNode

One child runtime record.

pub type ChildNode {
  ChildNode(
    id: String,
    identity: String,
    lifecycle: ChildLifecycle,
    mount_count: Int,
    update_count: Int,
    fingerprint: String,
  )
}

Constructors

ChildNode(
  id: String,
  identity: String,
  lifecycle: ChildLifecycle,
  mount_count: Int,
  update_count: Int,
  fingerprint: String,
)

EventScope

Event scope for authority-safe routing.

pub type EventScope {
  ParentScope
  ChildScope(child_id: String)
}

Constructors

```
ParentScope
```
```
ChildScope(child_id: String)
```

RouteDecision

Event routing decision.

pub type RouteDecision {
  RoutedToParent
  RoutedToChild(child_id: String)
  Rejected(reason: String)
}

Constructors

```
RoutedToParent
```
```
RoutedToChild(child_id: String)
```
```
Rejected(reason: String)
```

Runtime

opaque

Nested parent/child runtime.

pub opaque type Runtime

ScopedEvent

One scoped inbound event.

pub type ScopedEvent {
  ScopedEvent(scope: EventScope, name: String, payload: String)
}

Constructors

ScopedEvent(scope: EventScope, name: String, payload: String)

Values

authority_invariants

pub fn authority_invariants(runtime: Runtime) -> Bool

True when no authority invariants were violated.

authority_violations

pub fn authority_violations(runtime: Runtime) -> List(String)

Authority violation labels in execution order.

child

pub fn child(
  runtime: Runtime,
  child_id: String,
) -> option.Option(ChildNode)

One child by id.

child_lifecycle_label

pub fn child_lifecycle_label(lifecycle: ChildLifecycle) -> String

Child lifecycle label.

child_signature

pub fn child_signature(child: ChildNode) -> String

Child signature.

child_target

pub fn child_target(runtime: Runtime, child_id: String) -> String

Child patch target.

children

pub fn children(runtime: Runtime) -> List(ChildNode)

Children in insertion order.

fail_child

pub fn fail_child(
  runtime: Runtime,
  child_id: String,
  reason: String,
) -> #(Runtime, List(diff.Patch))

Fail one child subtree while keeping siblings alive.

lifecycle_events

pub fn lifecycle_events(runtime: Runtime) -> List(String)

Lifecycle events in execution order.

mount_child

pub fn mount_child(
  runtime: Runtime,
  child_id: String,
  fingerprint: String,
  html: String,
) -> #(Runtime, List(diff.Patch))

Mount a child boundary with stable identity.

parent_id

pub fn parent_id(runtime: Runtime) -> String

Parent id.

parent_mount_count

pub fn parent_mount_count(runtime: Runtime) -> Int

Parent mount count.

parent_target

pub fn parent_target(runtime: Runtime) -> String

Parent patch target.

patches

pub fn patches(runtime: Runtime) -> List(diff.Patch)

All emitted patches in execution order.

resume_child

pub fn resume_child(
  runtime: Runtime,
  child_id: String,
) -> Runtime

Resume one suspended child subtree.

route

pub fn route(runtime: Runtime) -> String

Parent route.

route_decision_label

pub fn route_decision_label(decision: RouteDecision) -> String

Routing decision label.

route_event

pub fn route_event(
  runtime: Runtime,
  scoped: ScopedEvent,
) -> #(Runtime, RouteDecision)

Route one scoped event.

routed_events

pub fn routed_events(runtime: Runtime) -> List(String)

Routed event labels in execution order.

runtime_signature

pub fn runtime_signature(runtime: Runtime) -> String

Runtime signature.

scoped_event

pub fn scoped_event(
  scope: EventScope,
  name: String,
  payload: String,
) -> ScopedEvent

Build one scoped event.

stable_child_identity

pub fn stable_child_identity(runtime: Runtime) -> Bool

True when child identity contracts are stable and unique.

start

pub fn start(
  parent_id: String,
  route: String,
) -> #(Runtime, List(diff.Patch))

Start one parent runtime.

subtree_isolated

pub fn subtree_isolated(
  runtime: Runtime,
  failed_child_id: String,
) -> Bool

True when one failed subtree does not corrupt siblings or parent mounts.

suspend_child

pub fn suspend_child(
  runtime: Runtime,
  child_id: String,
) -> Runtime

Suspend one child subtree.

terminate_child

pub fn terminate_child(
  runtime: Runtime,
  child_id: String,
) -> #(Runtime, List(diff.Patch))

Terminate one child subtree.

update_child

pub fn update_child(
  runtime: Runtime,
  child_id: String,
  html: String,
) -> #(Runtime, List(diff.Patch))

Update one mounted child without remounting the parent.