From 1f8199cd2ed96c0e908a604b6c8fcb562ce6c38e Mon Sep 17 00:00:00 2001 From: Alex Kunich Date: Fri, 14 Aug 2026 04:17:04 +0300 Subject: [PATCH] docs: repoint the links the repository split broke MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Four relative links still pointed into the writ repository from inside this one, where ../../.. now lands on whatever directory happens to contain both checkouts — or on nothing at all, for a reader who cloned this repository alone, which is the normal case: libraries/README.md core/stdlib/stdlib.writ tests/models/politics.lib.writ jobshop-possible/README.md docs/diagrams/jobshop-deadlock.svg jobshop-best/README.md docs/set-as-chain.md They are absolute GitHub URLs now. That is already what the rest of this repository does for cross-repository references, and it is the only form that works for someone who has these problems and not the engine beside them. set-as-chain.md is a case of its own: it does not exist anywhere any more, having gone in writ's 417476d, "README: fix what the split and the kernel change made untrue". The argument it carried — where the chain has no answer the move is absent, and the swap that fixes when the right-hand side is read — is kernel-spec §10.3 now, so both the link and the text that names it point there instead of at a file that has not existed for some time. Co-Authored-By: Claude Opus 5 --- jobshop-best/README.md | 2 +- jobshop-possible/README.md | 2 +- libraries/README.md | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/jobshop-best/README.md b/jobshop-best/README.md index 9a472d6..27ac776 100644 --- a/jobshop-best/README.md +++ b/jobshop-best/README.md @@ -100,7 +100,7 @@ There is no guard stopping it at t9 and none is needed: **where the chain has no answer the move is absent** — not a no-op, which would be a self-loop and would stop the situation ever being reported as a dead end. The full argument, including the swap that fixes when the right-hand side is read, is -[`docs/set-as-chain.md`](../../../docs/set-as-chain.md). +[`docs/kernel-spec.md` §10.3](https://github.com/writ-lang/writ/blob/main/docs/kernel-spec.md). The space is unchanged: still 1314 situations, still an optimum of five. diff --git a/jobshop-possible/README.md b/jobshop-possible/README.md index 07b1f24..1407ba8 100644 --- a/jobshop-possible/README.md +++ b/jobshop-possible/README.md @@ -59,7 +59,7 @@ Now nobody can move. `a` waits on `b`, `b` waits on `c`, `c` waits on `a`. No job will ever release a machine, because releasing requires first acquiring the next one. The shop is stopped **forever**, and no amount of waiting fixes it. -![The deadlock: each job holds one machine and waits for the next, in a cycle](../../../docs/diagrams/jobshop-deadlock.svg) +![The deadlock: each job holds one machine and waits for the next, in a cycle](https://github.com/writ-lang/writ/blob/main/docs/diagrams/jobshop-deadlock.svg) Solid is *holds*, dashed is *waited for*. Follow either kind of arrow all the way round and you return where you started — that cycle **is** the deadlock. diff --git a/libraries/README.md b/libraries/README.md index dfbdc0f..cfa429c 100644 --- a/libraries/README.md +++ b/libraries/README.md @@ -28,7 +28,7 @@ forms — never a model's own choice of what to run. not be redeclared (kernel §7), so every model loading `chess.lib.writ` gives up `board`, `square`, `queen`, `free`, `empty` and the entity names. That cost is exactly why these are **domain** libraries and not additions to -[`core/stdlib/stdlib.writ`](../../../core/stdlib/stdlib.writ): the standard +[`core/stdlib/stdlib.writ`](https://github.com/writ-lang/writ/blob/main/core/stdlib/stdlib.writ): the standard library may not spend the shared namespace on a worldly concept. It is also the difference in kind — `stdlib.writ` is shipped and installed; these are not. @@ -69,7 +69,7 @@ writ: resolved "stdlib.writ" -> core/stdlib/stdlib.writ ## A third one, deliberately not here -[`tests/models/politics.lib.writ`](../../models/politics.lib.writ) is a domain +[`tests/models/politics.lib.writ`](https://github.com/writ-lang/writ/blob/main/tests/models/politics.lib.writ) is a domain library too, and it stays with the unit-test corpus it serves. Moving it would couple the unit tests to the examples tree for no gain — a library belongs wherever all of its models can see it, and for that one, that is `tests/models/`.