@sema-agent/core 7.45.0 → 7.46.0

package/dist/tools/fs/program-read-model.rows.d.ts

@@ -0,0 +1,18 @@
+/**
+ * The rows of the program read model (`program-read-model.ts` is the schema and the readers). One row per program
+ * bash can run at a segment's program position, grouped by family. Every row is DATA: adding a program, an option or
+ * an implementation is a row edit, never a reader branch.
+ *
+ * How a row is written:
+ *  · an option is declared with its arity and, where it is known, the ROLE of its value; a value whose role is not
+ *    known is declared by arity alone, and every reader then reads that option the speculative way;
+ *  · where two implementations of one program disagree, the row carries one grammar per implementation, and the
+ *    readers combine them (a short letter whose arity they dispute is read as nothing; a disputed long name as
+ *    optional-valued; a spelling one implementation does not declare is one it rejects, opening nothing);
+ *  · a row is checked against the real binaries by the gate (`test/program-read-model.binary-gate.test.ts`);
+ *    a row the gate cannot run says why in `witness`.
+ */
+import type { ProgramRow } from "./program-read-model.js";
+/** The time a launcher waits (`timeout 5s …`): a number with an optional unit. */
+export declare const DURATION_SPELLING: RegExp;
+export declare const PROGRAM_ROWS: readonly ProgramRow[];