New procedure

Step 1 of 5 · Next: Review the logic

What should it work out? 1 to 4000 characters stating what must be computed or decided

What must it cover, and what must it refuse? 1 to 2000 characters stating which inputs the procedure must cover and which it must refuse

Sources each an admitted source with provenance, licence and digest

Step 1 of 5 · Next: Review the logic

What should it work out?: 1 to 4000 characters stating what must be computed or decided
What must it cover, and what must it refuse?: 1 to 2000 characters stating which inputs the procedure must cover and which it must refuse
Sources: each an admitted source with provenance, licence and digest