Cross-check Computus against PHP easter_days() #46

New issue

Closed

opened 2026-07-01 00:52:01 +00:00 by manlycucumber · 0 comments

manlycucumber commented

2026-07-01 00:52:01 +00:00

(Migrated from github.com)

Problem

The clean-room Computus must be proven against an independent reference. PHP's built-in easter_days() gives a cheap, ubiquitous oracle for Easter across a wide year range.

Acceptance criteria

A test compares engine Easter to easter_days() for every year in an agreed range
Any mismatch fails the test with the offending year
The year range is documented
Test runs in CI

Notes

This is the cheapest 100% proof and should run first.

## Problem The clean-room Computus must be proven against an independent reference. PHP's built-in `easter_days()` gives a cheap, ubiquitous oracle for Easter across a wide year range. ## Acceptance criteria - [ ] A test compares engine Easter to `easter_days()` for every year in an agreed range - [ ] Any mismatch fails the test with the offending year - [ ] The year range is documented - [ ] Test runs in CI ## Notes This is the cheapest 100% proof and should run first.

manlycucumber referenced this issue from a commit

2026-08-05 19:02:29 +00:00

chore: cross-check Computus against PHP easter_days() (#46) (#421)

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

Directorium/Core#46

No description provided.

Rows
Columns