A procedure is agnostic past the procedural rules (a calculator only follows a determined flow the way anyone could do without relevant differences); a stochastic process is inherently personal (non deterministic processes have internal biases).
In your example:
-- "iteration over filenames table reaches end → file not found";
-- "non-deterministic choice over lookup strategy does not return a positive → sorry I could not find the item"
In your example:
-- "iteration over filenames table reaches end → file not found";
-- "non-deterministic choice over lookup strategy does not return a positive → sorry I could not find the item"