tess::experimental::maintenance::FixedRegistrationBackend Concept Reference

#include <tess/experimental/registered_maintenance.h>

Concept definition

template<typename Backend>
concept FixedRegistrationBackend =
    MaintenanceBackend<Backend> &&
    requires(Backend& backend, MaintenanceTask& task) {
      { backend.register_task(task) } noexcept -> std::same_as<bool>;
      { backend.seal() } noexcept -> std::same_as<void>;
    }

Detailed Description

Optional paired setup hooks for a backend with its own fixed registry.

At facade seal(), no-throw register_task() is called once for every live slot in slot order, followed by exactly one no-throw backend seal(). A false registration result is an unrecoverable facade/backend capacity mismatch. After sealing, the backend retains those task identities until facade destruction; release is permitted only after the facade's positive-Idle gate.