For judges

Value in sixty seconds.

No login, no key. The page opens on Arjun's specimen profile. Every result says whether it is live, a demo of the same code path, or a recorded run.

60 seconds

  1. Press Check below. The medical lapses on day 42 of 181 with its source quote.
  2. Run the offer flow. It uses triage, the Navigator and the plan writer; when the large model is busy the plan text is a labelled template.
  3. Open the proof page and read the misses.
Open the proof

3 minutes

  1. Read the boundary page: the four doors and the prover results. The sandbox cannot start on the build machine; its proofs ran on a GitHub Actions runner: 20 of 20 injected posts denied (P2), fails closed with the Seal stopped (P4), the agent sees only a placeholder (P5). The effective-policy re-proof (P1) was unsupported by the prover.
  2. Open the outbox: a draft with placeholders and its digest.
  3. Read how the model is routed and where no model is allowed.
Open the boundary

10 minutes

  1. Clone the repository and run the tests offline with the commands below.
  2. Open `PLATFORM_PROBE.md` and `SDK_SURFACE.md` for what is live and what is not.
  3. Reproduce a number from `docs/FACTS.json` with the run scripts.
Architecture and crew

Open the contract check and press Check

RECORDEDNOT READYNot ready: Medical fitness certificate lapses 2027-03-14 (day 42 of 181).

Recorded run for 1 Feb to 31 Jul. Change the dates and press Check to run the Navigator.

Certificate of Competency (India)
VALID THROUGH
Show the rules and arithmetic behind this answer
expiry 2029-06-30 is on or after window end 2027-07-31
of One year; performing functions appropriate to the certificate held, in the five years preceding the date of application for revalidation (IN-SS-1Y-5Y, TEAP Part B, Appendix 1/11F, criterion A-1, retrieved 2026-10-30) source
Sea service verdict: MEETS. days_inclusive=398 days vs 360; days_exclusive=396 days vs 360; calendar_months=13.1 months vs 12; days_360=13.2667 months vs 12; days_365=13.0849 months vs 12
Certificate of Equivalent Competency (Singapore)
VALID THROUGH
Show the rules and arithmetic behind this answer
expiry 2029-06-30 is on or after window end 2027-07-31
This answer compares the date printed on the certificate with the contract window, so no rule is quoted. The renewal window itself is a separate question for the administration.
Oil tanker endorsement
VALID THROUGH
Show the rules and arithmetic behind this answer
expiry 2029-06-30 is on or after window end 2027-07-31
This answer compares the date printed on the certificate with the contract window, so no rule is quoted. The renewal window itself is a separate question for the administration.
Medical fitness certificate
LAPSES
14 Mar 2027, day 42 of 181.
Renewal window: ask the administration. No sourced rule for it is shipped yet.
Show the rules and arithmetic behind this answer
expiry 2027-03-14 minus start 2027-02-01 plus 1 = day 42; window 2027-02-01 to 2027-07-31 = 181 days
This answer compares the date printed on the certificate with the contract window, so no rule is quoted. The renewal window itself is a separate question for the administration.
Passport
VALID THROUGH
Show the rules and arithmetic behind this answer
expiry 2031-05-02 is on or after window end 2027-07-31
This answer compares the date printed on the certificate with the contract window, so no rule is quoted. The renewal window itself is a separate question for the administration.
Basic safety training refresher
VALID THROUGH
Show the rules and arithmetic behind this answer
expiry 2028-11-20 is on or after window end 2027-07-31
This answer compares the date printed on the certificate with the contract window, so no rule is quoted. The renewal window itself is a separate question for the administration.

Window 1 Feb 2027 to 31 Jul 2027. Rule pack hashes are in the response; the arithmetic is shown under each lane.

Try an offer

Runs triage, then the Navigator, then the plan writer. Caps: one live run at a time per browser, 8 an hour per address, 60 a day overall. Past a cap you get the recorded run.

Offline, no keys

Everything below runs without any key, in recorded mode.

git clone https://github.com/0xkinno/dogwatch && cd dogwatch
python -m venv .venv && . .venv/bin/activate
pip install -r requirements.txt
(cd core && python -m pytest -q)
(cd seal && python -m pytest -q)
python eval/run_seal_corpus.py   # P3
python eval/run_conventions.py   # P7
python scripts/check_facts.py