From 166549f358744098fe66b496c6c4ab286f7c5312 Mon Sep 17 00:00:00 2001 From: Jose Montes de Oca Date: Thu, 3 Sep 2026 11:18:17 -0400 Subject: [PATCH] docs: name the example generators as the corpus expansion path The language repository's example READMEs now attribute their expanded node and edge counts to the reference harness. Say on this side that the per-example generate.ts files are that expansion path, so a reader arriving from either repository finds the same account of where the numbers come from. --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 3f0c4e4..bc619ff 100644 --- a/README.md +++ b/README.md @@ -134,6 +134,8 @@ That's the front door. The deeper surface lives behind six reasoned subpaths: `. The examples in [`skills/open-prose/examples/`](skills/open-prose/examples/) are the tour of the language: each carries its contract source and a README with its standing goal and DAG sketch. (That directory is a pinned snapshot of the OpenProse skill, bumped deliberately per [`RELEASE.md`](RELEASE.md); see [`skills/README.md`](skills/README.md).) The thirteen below are **replayable keyless**, driving the **real** reconciler at **zero model spend**, through two paths: the six marked with **\*** ship **bundled inside `reactor-devtools`** and replay **by name from any directory** (no clone needed), and the full thirteen are exercised by the offline example corpus at [`tests/open-prose/examples/`](tests/open-prose/examples/), six of which ship a committed, chain-verifiable `replay/` state-dir you can open directly. (Two of the thirteen, `masked-relay` and `tamper-forge`, share a **byte-identical** ledger: `tamper-forge` is an audit _lens_ over the masked-relay receipts, so the set is **twelve distinct datasets plus one honest tamper-evidence lens**, not thirteen unrelated ledgers.) +The per-example `generate.ts` files under [`tests/open-prose/examples/`](tests/open-prose/examples/) are the expansion path from the corpus's authored contracts to the described topologies: `src/` alone mounts only the contracts an example authors, and the node and edge counts the corpus READMEs state are what these generators produce. + | Example | What it shows | Domain | | ------------------------- | ------------------------------------------------------------------------------- | ----------------- | | `surprise-cost` \* | memoized skip → surprise-render when the memo key moves | the core thesis |