ᚲ.com

K12 · differential evidence, reconciliation, and information-flow control

Scheduler Reliability Simulator

Direct answer

K12 simulates 168 expected runs across six schedules, suppresses duplicates, records two bounded catch-up sequences, and exposes no public runtime.

Stable record
K12-PAGE-SCHEDULER-SIM
Claim status
VERIFIED PROJECT IMPLEMENTATION
Last reviewed
Research cutoff
Source type
GOVERNED PROJECT KNOWLEDGE
Currentness
Current for release 2.1.0; external sources require periodic revalidation.
Correction state
No unresolved public correction recorded for this release.
Machine record
Static JSON record
Evidence and authority boundary. K12 publishes deterministic static models, signed offline reference bundles, synthetic fixtures, review records, custody receipts, public projections, and release-time comparisons. It does not perform live network acquisition, deploy software, operate a facility, make an award, authorize force, certify compliance, enforce production access control, or convert a signature into factual truth.

Claim-level evidence boundary

VERIFIED PROJECT IMPLEMENTATION

Scheduler reliability simulation has no public runtime

K12 models maintenance, duplicate suppression, catch-up, idempotency, missed runs, repair, retest, and signed offline import for six schedules.

Scope: K12 deterministic local reference implementation.

No scheduler is installed or operating on the public site.

SRC-W3C-PROV-O: PROV-O at a glance

Reliability simulation

6schedules
168expected runs
12maintenance suppressions
12duplicate suppressions
2missed and recovered runs
NONEpublic runtime
Fourteen-day simulation
SimulationScheduleExpectedMissedCatch-upDuplicates stoppedRuntime
SSIM-K12-001SCH-K09-00128002NONE
SSIM-K12-002SCH-K09-00228112NONE
SSIM-K12-003SCH-K09-00328002NONE
SSIM-K12-004SCH-K09-00428002NONE
SSIM-K12-005SCH-K09-00528112NONE
SSIM-K12-006SCH-K09-00628002NONE

Schedule records

ACCEPTED_FOR_REVIEW

SCH-K09-001

28 expected · 0 missed · 0 catch-up

ACCEPTED_FOR_REVIEW

SCH-K09-002

28 expected · 1 missed · 1 catch-up

ACCEPTED_FOR_REVIEW

SCH-K09-003

28 expected · 0 missed · 0 catch-up

ACCEPTED_FOR_REVIEW

SCH-K09-004

28 expected · 0 missed · 0 catch-up

ACCEPTED_FOR_REVIEW

SCH-K09-005

28 expected · 1 missed · 1 catch-up

ACCEPTED_FOR_REVIEW

SCH-K09-006

28 expected · 0 missed · 0 catch-up

Signed offline import

Import bundle
{
  "id": "SIB-K12-001",
  "payloadPath": "fixtures/k12/scheduler-import/scheduler-simulation-import.json",
  "publicKeyPath": "fixtures/k12/scheduler-import/scheduler-import-public.pem",
  "signaturePath": "fixtures/k12/scheduler-import/scheduler-simulation-import.sig",
  "status": "SIGNED OFFLINE REFERENCE PACKAGE"
}

The simulator tests deterministic maintenance, duplicate, catch-up, idempotency, exception-expiry, repair, retest, and supersession behavior. It installs and observes no public scheduler.