Determining validity of multipart branching literate programs

A system comprising:

• a memory;
• and
• a processing device communicably coupled to the memory to:
• receive a first module of a plurality of modules of a literate programming document, wherein the plurality of modules are organized as a directed graph;
• generate a first contract associated with the first module in view of the first module and additional modules connected to the first module within the directed graph, wherein the first contract specifies a first set of input criteria associated with the first module and a first set of output criteria associated with the first module;
• determine whether one or more first output generated by the first module satisfies the first set of output criteria when one or more first input provided to the first module satisfies the first set of input criteria;
• and
• upon determination that the one or more first output satisfies the first set of output criteria when the one or more first input satisfies the first set of input criteria, provide an indication that the first module satisfies a validity test.

A non-transitory machine-readable storage medium storing instructions that cause a processing device to:

• receive a first module of a plurality of modules of a literate programming document, wherein the plurality of modules are organized as a directed graph;
• identify a first contract associated with the first module, wherein the first contract specifies a first set of input criteria to be satisfied by one or more first input provided to the first module and a first set of output criteria to be satisfied by one or more first output generated by the first module;
• and
• determine whether the one or more first output satisfies the first set of output criteria when the one or more first input satisfies the first set of input criteria.