deriva 0.0.4 → 0.0.5

package/README.md

@@ -49,7 +49,7 @@ console.log(result.stdout);
 
 ## Documentation
 
-- [Playground](https://josd.github.io/deriva/playground)
+- [Playground](https://eyereasoner.github.io/deriva/playground)
 - [Guide](docs/guide.md)
 - [Language reference](docs/language-reference.md)
 - [A Compact Reasoning Workbench](docs/compact-reasoning-workbench.md)

package/examples/output/web-names.pl

@@ -1,3 +1,3 @@
 affiliated_with('<https://data.ugent.be/id/josd>', '<https://data.ugent.be/id/idlab>').
 affiliated_with('<https://data.ugent.be/id/josd>', '<https://data.ugent.be/id/ugent>').
-project_contact('<https://github.com/josd/deriva>', '<https://data.ugent.be/id/josd>', "josderoo@gmail.com").
+project_contact('<https://github.com/eyereasoner/deriva>', '<https://data.ugent.be/id/josd>', "josderoo@gmail.com").

package/examples/web-names.pl

@@ -14,9 +14,9 @@ triple('<https://data.ugent.be/id/josd>', '<https://schema.org/email>', "josdero
 triple('<https://data.ugent.be/id/josd>', '<https://schema.org/affiliation>', '<https://data.ugent.be/id/idlab>').
 triple('<https://data.ugent.be/id/idlab>', '<https://schema.org/parentOrganization>', '<https://data.ugent.be/id/ugent>').
 
-triple('<https://github.com/josd/deriva>', '<https://schema.org/name>', "deriva").
-triple('<https://github.com/josd/deriva>', '<https://schema.org/codeRepository>', '<https://github.com/josd/deriva>').
-triple('<https://github.com/josd/deriva>', '<https://schema.org/maintainer>', '<https://data.ugent.be/id/josd>').
+triple('<https://github.com/eyereasoner/deriva>', '<https://schema.org/name>', "deriva").
+triple('<https://github.com/eyereasoner/deriva>', '<https://schema.org/codeRepository>', '<https://github.com/eyereasoner/deriva>').
+triple('<https://github.com/eyereasoner/deriva>', '<https://schema.org/maintainer>', '<https://data.ugent.be/id/josd>').
 
 % Organization membership follows parentOrganization links transitively.
 parent_organization(Unit, Org) :-

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "0.0.4",
+  "version": "0.0.5",
   "description": "Deriva turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -22,9 +22,9 @@
   "author": "Jos De Roo",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/josd/deriva.git"
+    "url": "git+https://github.com/eyereasoner/deriva.git"
   },
-  "homepage": "https://github.com/josd/deriva#readme",
+  "homepage": "https://github.com/eyereasoner/deriva#readme",
   "files": [
     "LICENSE.md",
     "README.md",

package/playground.html

@@ -429,7 +429,7 @@
   </main>
 
   <footer>
-    Powered by <a href="https://github.com/josd/deriva">Deriva</a>.
+    Powered by <a href="https://github.com/eyereasoner/deriva">Deriva</a>.
   </footer>
 
   <script type="module">

package/test/run-regression.mjs

@@ -989,7 +989,7 @@ function playgroundStaticIssues() {
   const html = fs.readFileSync(playgroundPath, 'utf8');
   const readme = fs.readFileSync(path.join(packageRoot, 'README.md'), 'utf8');
   if (!pkg.files?.includes('playground.html')) issues.push('package files must include playground.html');
-  if (!readme.includes('[Playground](https://josd.github.io/deriva/playground)')) issues.push('README must link to the GitHub Pages playground URL');
+  if (!readme.includes('[Playground](https://eyereasoner.github.io/deriva/playground)')) issues.push('README must link to the GitHub Pages playground URL');
   if (!html.includes('<meta name="viewport" content="width=device-width, initial-scale=1">')) issues.push('missing mobile viewport meta');
   if (!html.includes('main {') || !html.includes('display: block;')) {
     issues.push('playground must use a simple vertical layout');