Translation Review Summary

This page summarizes the public review state for non-English EWD records that are translated, awaiting review, or blocked by source quality. It does not publish full source-language review packets, bilingual packet tables, long Dutch source text, or OCR-derived source text. Reviewer-passed status is not granted here; freeze criteria are recorded internally for review governance. A plain text summary is available for external extraction tools.

I. Review-needed machine translations

EWD108 — An algorithm for preventing deadly embrace

Status: machine translation, needs review.

Review artifact: Repository-maintained review artifact recorded. Reviewer checklist recorded. Reviewer pass 1 recorded. Risk closure recorded.

Handoff: Human-review handoff recorded internally.

Main blocker: source-order / strict inequality issue requires explicit acceptance or resolution.

Reviewer-passed: not granted. Freeze criteria recorded.

Public risk summary:

  • Code/source identifiers such as vrij bedrag, kasvoorraad, lening, and veilig are intentionally preserved in program/source-identifier contexts.
  • The public translation uses source-order wording and records the source formula claim[i] < claim[i + 1] without changing it to a non-strict relation.
  • Terms around humane conditions and upper-limit lowering still require human reviewer judgment.

Open EWD108

EWD116 — The banker’s algorithm and refinements thereof

Status: machine translation, needs review.

Review artifact: Correction log recorded. Reviewer checklist recorded. Reviewer pass 1 recorded. Risk closure recorded. source-critical decisions recorded.

Handoff: Human-review handoff recorded internally.

Main blocker: human reviewer signoff is still missing.

Reviewer-passed: not granted. Freeze criteria recorded.

Public risk summary:

  • The non-decreasing-claim prompt item belongs to EWD108; it is not present in EWD116 source or public translation.
  • Source-critical decisions are recorded.
  • opgegeven / opgenomen: PDF evidence supports "withdrawn" as contextual/source correction.
  • a fertion is interpreted as a fortiori.
  • clai is interpreted as claim.
  • Serviceable customers vs customers to be served has been corrected and remains guarded by checks.

Open EWD116

II. Source-blocked records

EWD405 — Synchronization and sequencing

Status: translation pending.

Source status: OCR/source review required; local OCR-derived source needs manual review.

Public provenance: PDF available; no reliable UT source transcription exposed.

Source restoration: Source restoration artifacts are recorded internally. Promotion readiness is not ready; human source review is still required.

Translation: no public translation.

Open EWD405