bend-kit-scheduler@0.1.0.0 relies on unsafe/foreign

0xd5d0bc5368c1bc2a6fbc863a812e64a1

Pure deadline queues and bounded fixed-rate/fixed-delay recurrence over exact clock ticks.

bend-kit-scheduler@0.1.0.0 by paymog

Published

2026-10-11

Size

8,266 bytes, 4 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 36 defs, 6 types

Import

import bend-kit-scheduler@0.1.0.0/clock.bend as Clock
import 0xd5d0bc5368c1bc2a6fbc863a812e64a1/clock.bend as Clock
import bend-kit-scheduler@0.1.0.0/queue.bend as Queue
import 0xd5d0bc5368c1bc2a6fbc863a812e64a1/queue.bend as Queue
import bend-kit-scheduler@0.1.0.0/recurrence.bend as Recurrence
import 0xd5d0bc5368c1bc2a6fbc863a812e64a1/recurrence.bend as Recurrence
import bend-kit-scheduler@0.1.0.0/scheduler.bend as Scheduler
import 0xd5d0bc5368c1bc2a6fbc863a812e64a1/scheduler.bend as Scheduler

Modules

• clock.bend 3 declarations — Monotonic clock adapter for consumers, outside the pure scheduler core.
• queue.bend 32 declarations — Pure generic scheduler queue; Nat deadlines and never-reused FIFO IDs.
• recurrence.bend 15 declarations — Pure recurrence on arbitrary-precision Nat ticks: no wrapping or U32 conversion.
• scheduler.bend 0 declarations — Pure deadline queues and bounded fixed-rate/fixed-delay recurrence over exact clock ticks.

Dependencies

• bend-kit-time@0.1.2.1 via clock.bend: import bend-kit-time@0.1.2.1/time.bend as Time
• bend-kit-collections@0.1.2.0 via queue.bend: import bend-kit-collections@0.1.2.0/heap.bend as H

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 6 defs rely on unsafe or foreign code:
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono.raw
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.wall.raw
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.now
- now_us
- now

SOME PROOFS FAIL
Error: 6 defs rely on unsafe or foreign code:
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono.raw
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.wall.raw
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.mono
- 0xe00bbf72c3ff9dc6d7b077524522b3a8/time.now
- 0xd5d0bc5368c1bc2a6fbc863a812e64a1/clock.now_us
- 0xd5d0bc5368c1bc2a6fbc863a812e64a1/clock.now