From 557bee6d87ca84fef1bbee0547708e12a65c7b63 Mon Sep 17 00:00:00 2001 From: Tom Ballard Date: Sat, 8 Aug 2026 13:10:27 +0100 Subject: [PATCH] docs: normalize canonical site links Signed-off-by: tcballard <213978628+tcballard@users.noreply.github.com> --- README.md | 16 +++++++++------- package.json | 3 ++- 2 files changed, 11 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index cdc12f8..09c007d 100644 --- a/README.md +++ b/README.md @@ -3,9 +3,9 @@ @@ -19,8 +19,8 @@ Banner: add docs/assets/proofkeeper-header-{dark,light}.png, then uncomment.

-CI -Dogfood: Proofkeeper verifies its own corpus +CI +Dogfood: Proofkeeper verifies its own corpus npm Node >= 20 TypeScript @@ -29,7 +29,9 @@ Banner: add docs/assets/proofkeeper-header-{dark,light}.png, then uncomment. > **rac-core captures what your product should do. Proofkeeper shows it does — a bring-your-own-model agent that drives your app and leaves a re-runnable test as proof for each capability.** -[Lore (rac-core)](https://github.com/itsthelore/rac-core) records what your product should do — requirements as code. Proofkeeper reads those capabilities over the published `rac export --graph` contract, drives your product to exercise each one, and compiles the run into a Playwright test it proposes back to the corpus by pull request. It produces verification evidence and nothing else — no code review, no codegen — and never touches the Lore engine's internals. +[AsDecided ecosystem](https://asdecided.com/docs/ecosystem/) · [AsDecided documentation](https://asdecided.com/docs/start-here/) · [Source](https://github.com/asdecided/proofkeeper) + +[AsDecided Core](https://asdecided.com/docs/start-here/) records what your product should do — requirements as code. Proofkeeper reads those capabilities over the published `rac export --graph` contract, drives your product to exercise each one, and compiles the run into a Playwright test it proposes back to the corpus by pull request. It produces verification evidence and nothing else — no code review, no codegen — and never touches the AsDecided engine's internals. ## How it compares @@ -169,7 +171,7 @@ When a drive doesn't finish or a test fails the fidelity gate, the reason is rec ## Origin -Proofkeeper is a sibling of [Lore / RAC](https://github.com/itsthelore/rac-core), split out because verification is a runtime concern, not a knowledge one — the same split that moved [Wayfinder](https://github.com/itsthelore/wayfinder-router) (prompt-complexity routing) out of the engine. Lore records what a product should do; Proofkeeper drives it to prove it does. They compose over the published `rac export --graph` contract, so neither has to change for the other. +Proofkeeper is a sibling of [AsDecided Core](https://github.com/asdecided/core), split out because verification is a runtime concern, not a knowledge one — the same split that moved [Wayfinder](https://github.com/asdecided/WayfinderRouter) (prompt-complexity routing) out of the engine. AsDecided records what a product should do; Proofkeeper drives it to prove it does. They compose over the published `rac export --graph` contract, so neither has to change for the other. > **Naming.** The product is **Proofkeeper** (display brand **Lore Proofkeeper** where it helps). Unrelated to Epic Games' "Lore" version-control system. diff --git a/package.json b/package.json index f616d79..711db5e 100644 --- a/package.json +++ b/package.json @@ -37,8 +37,9 @@ ], "repository": { "type": "git", - "url": "https://github.com/itsthelore/proofkeeper.git" + "url": "https://github.com/asdecided/proofkeeper.git" }, + "homepage": "https://asdecided.com/docs/ecosystem/", "publishConfig": { "access": "public" },