Idunn/src
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Eureka 47a9c3d89e Liveness cut: say lasting observe/lease/demotion faults once, mark a past-due route as waiting on a running incarnation
Applies Soul findings to cut-liveness-gates-presence: report_once+clear_fault
for the remaining per-tick eprintln sites in supervise_one_admitted_generation,
status marks a past-due challenge, tests for the unreadable-fragment and
HostUnobservable paths, F8 marked resolved in route-continuity-cut.md.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-14 03:02:47 +00:00
..
bin idunn-launch answers presence only: the splice, the unix child endpoint and --listener are deleted; the child binds the member bind and the probe reaches it over TCP 2026-10-23 01:28:30 +02:00
brake.rs Steward brake: refuse a shared steward directory, name the proven owner, steward-only remedy 2026-11-13 18:09:41 +00:00
control_plane.rs Liveness cut: say lasting observe/lease/demotion faults once, mark a past-due route as waiting on a running incarnation 2026-11-14 03:02:47 +00:00
deployment.rs Steward brake: refuse a shared steward directory, name the proven owner, steward-only remedy 2026-11-13 18:09:41 +00:00
deployment_plan.rs Idunn: StaticRelease target declaration and workload binding 2026-11-13 16:27:56 +00:00
drivers.rs Idunn: idunn rollback <target>, a brake-gated transaction flipping to the previous static release 2026-11-13 16:55:43 +00:00
host.rs Idunn: StaticRelease target declaration and workload binding 2026-11-13 16:27:56 +00:00
host_actuator.rs Steward orders: refuse Upholds and ConsistsOf units, pin the rule's gaps, README names the residuals 2026-11-02 23:32:30 +01: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
launcher.rs Launcher: presence freshness treats a stamp after the reading as age zero; pin the bound literally 2026-10-23 15:01:56 +02:00
lib.rs Idunn: the deployment brake is a stop, not a per-deploy gate 2026-11-13 17:24:34 +00:00
main.rs Rebuild Idunn around typed authority ports 2026-09-02 23:13:36 +02:00
provisioning.rs Liveness gates presence: route challenge and topology refresh run only for an observed-running incarnation 2026-11-14 02:23:49 +00:00
runner_evidence.rs Steward orders: typed package, unit and deploy orders from one steward, in a sibling root unit 2026-11-01 02:33:01 +01:00
steward_orders.rs Deployment brake: a steward-owned second stop per target, named by the binding 2026-11-13 17:46:36 +00:00