From 8d22001837a640b0faf410c86ef7785f38296bc4 Mon Sep 17 00:00:00 2001
From: Taras Mankovski
- Plan produces a program. Run executes a program from the host or
- CLI. Composition decides whether and when a planned program runs.
+
+
+ Plan produces a program. Evaluate evaluates a program in the current + XMD execution. Run executes a program from the host or CLI. + Composition decides whether and when a planned program runs.
( { type: EVALUATE_PROGRAM, @@ -420,7 +494,7 @@ export function* evaluateProgram(request: ProgramEvaluationRequest): Operation
admitProgram(request, terms), + () => admitProgram(request, terms, resolved), ); const decided = readAdmission(parseJson(stored)); @@ -430,27 +504,85 @@ export function* evaluateProgram(request: ProgramEvaluationRequest): Operation
;
+ readonly returns?: ReturnsSchema;
+ readonly bodySegments: Segment[];
+}
+
+/**
+ * Prove the retained admission describes itself, and produce what it admitted.
+ *
+ * A journal is data, and every member of this record is a claim about another
+ * one: the digest claims to be the source's, the mode claims to be what
+ * reparsing produces, the validated props claim to be what the supplied ones
+ * validate to, and the components claim to be the elements the source writes.
+ * A record that fails any of them is not one this evaluation wrote, whatever
+ * shape it has, and nothing of either program runs on the strength of it.
+ *
+ * The parse is the one this expansion will use, so what is checked and what
+ * runs are the same value rather than two readings of one string.
+ */
+function* restore(decided: Admitted): Operation