Idunn/src
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Meta Vens 8760a4fab3 A boot lift that errs fails closed
If the boot lift returned Err, boot logged and served with nothing held, so
every pending continuity abort ran and stopped a running candidate. Boot now
sets lift_unsettled; retry_held_lift runs the lift for each continuity abort
until one succeeds, and no abort step runs before. Boot's call moves into
Engine::boot_lift so the failure is testable.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-20 01:51:57 +02:00
..
bin Host actuator: Idunn manages a workload on a Windows host it cannot touch 2026-09-11 13:49:25 +02:00
control_plane.rs A boot lift that errs fails closed 2026-10-20 01:51:57 +02:00
deployment.rs Freeze per-phase deadline durations into the compiled plan (F0) 2026-09-29 02:14:47 +02:00
deployment_plan.rs Cut c2b: one derivation of every deadline; Warming, aborts and drains are timed 2026-10-19 14:23:59 +02:00
drivers.rs Continuity backoff: capped streak anchored when the target is found free; one uncharged re-materialization 2026-10-18 23:52:13 +02:00
host.rs wip2 2026-09-22 17:41:06 +02:00
host_actuator.rs Test: a managed-host workload is never claimed lost to a reboot (kills the surviving Ok(true) mutant) 2026-10-19 00:24:48 +02:00
incident.rs Cut c2b: operator-required incident, opened at the decision site and closed when spent 2026-10-19 14:39:42 +02:00
lib.rs Idunn records continuity exhaustion as a durable incident in incidents.cc 2026-09-30 16:21:02 +02:00
main.rs Rebuild Idunn around typed authority ports 2026-09-02 23:13:36 +02:00
provisioning.rs idunn-provision prints the derived identity id of an enrolled store 2026-09-11 13:51:50 +02:00