docs: repoint the links the repository split broke

[sajonaro]

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.

[sajonaro]

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.

[sajonaro]

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.

[sajonaro]

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.

[sajonaro]

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.

[sajonaro]

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.

[sajonaro]

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.

[sajonaro]

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.