chore: hypatia auto-fix (5 formulaic fixes)

Applied by auto-fix-formulaic.sh:
- SHA-pinned unpinned GitHub Actions
- Added missing workflow permissions
- Fixed license headers

Co-Authored-By: hypatia-autofix <noreply@hyperpolymath.github.io>

Author: hyperpolymath

.github/workflows/jekyll-gh-pages.yml

@@ -30,9 +30,9 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v6.0.1
       - name: Setup Pages
-        uses: actions/configure-pages@v5
+        uses: actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b # v5
       - name: Build with Jekyll
-        uses: actions/jekyll-build-pages@v1
+        uses: actions/jekyll-build-pages@44a6e6beabd48582f863aeeb6cb2151cc1716697 # v1
         with:
           source: ./
           destination: ./_site
@@ -49,4 +49,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4

.github/workflows/jekyll.yml

@@ -43,7 +43,7 @@ jobs:
           cache-version: 0 # Increment this number if you need to re-download cached gems
       - name: Setup Pages
         id: pages
-        uses: actions/configure-pages@v5
+        uses: actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b # v5
       - name: Build with Jekyll
         # Outputs to the './_site' directory by default
         run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}"
@@ -63,4 +63,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4

verisimdb/connectors/shared/json-schema/hexad-input.json

@@ -23,7 +23,7 @@
                 "properties": {
                   "predicate": {
                     "type": "string",
-                    "description": "Edge label or relationship type (IRI or plain string, e.g. 'relates_to', 'http://schema.org/knows')."
+                    "description": "Edge label or relationship type (IRI or plain string, e.g. 'relates_to', 'https://schema.org/knows')."
                   },
                   "target_id": {
                     "type": "string",
@@ -93,7 +93,7 @@
             "types": {
               "type": "array",
               "items": { "type": "string" },
-              "description": "Type IRIs from ontologies (e.g. ['http://schema.org/Person', 'http://xmlns.com/foaf/0.1/Agent'])."
+              "description": "Type IRIs from ontologies (e.g. ['https://schema.org/Person', 'http://xmlns.com/foaf/0.1/Agent'])."
             },
             "properties": {
               "type": "object",

verisimdb/connectors/shared/json-schema/hexad.json

@@ -105,7 +105,7 @@
             "types": {
               "type": "array",
               "items": { "type": "string" },
-              "description": "Type IRIs from ontologies (e.g. 'http://schema.org/Person')."
+              "description": "Type IRIs from ontologies (e.g. 'https://schema.org/Person')."
             },
             "properties": {
               "type": "object",

verisimdb/connectors/test-infra/seed/mongodb-init.js

@@ -176,7 +176,7 @@ db.hexads.insertMany([
                 type: "graph",
                 data: {
                     types: [
-                        "http://schema.org/Article",
+                        "https://schema.org/Article",
                         "http://verisimdb.org/ontology/Entity",
                     ],
                     relationships: [
@@ -249,7 +249,7 @@ db.hexads.insertMany([
             {
                 type: "graph",
                 data: {
-                    types: ["http://schema.org/TechArticle"],
+                    types: ["https://schema.org/TechArticle"],
                     relationships: [
                         {
                             predicate: "relates_to",

verisimdb/connectors/test-infra/seed/redis-init.sh

@@ -107,7 +107,7 @@ ${CLI} JSON.SET "hexad:test-001" '$' "$(cat <<ENDJSON
         {
             "type": "graph",
             "data": {
-                "types": ["http://schema.org/Article", "http://verisimdb.org/ontology/Entity"],
+                "types": ["https://schema.org/Article", "http://verisimdb.org/ontology/Entity"],
                 "relationships": [
                     {"predicate": "relates_to", "target": "hexad-test-002", "weight": 0.85}
                 ]

verisimdb/docs/backwards-compatibility.adoc

@@ -67,7 +67,7 @@ Each query can optionally specify a version:
 VERSION 1.0;
 
 FROM verisim:semantic
-WHERE hexad.types INCLUDES "http://schema.org/Person"
+WHERE hexad.types INCLUDES "https://schema.org/Person"
 LIMIT 10;
 ```
 

verisimdb/docs/drift-handling.adoc

@@ -83,8 +83,8 @@ University B: retraction_status = "retracted"  ❌ DRIFT
 **Example:**
 
 ```
-verisim:semantic → types: ["http://schema.org/Paper", "http://schema.org/Article"]
-verisim:graph    → types: ["http://schema.org/Paper"]  ❌ DRIFT
+verisim:semantic → types: ["https://schema.org/Paper", "https://schema.org/Article"]
+verisim:graph    → types: ["https://schema.org/Paper"]  ❌ DRIFT
 ```
 
 **Causes:**
@@ -182,7 +182,7 @@ WHERE hexad.id = @id;
 ```vql
 DRIFT DETECT
 FROM verisim:graph
-WHERE hexad.types INCLUDES "http://schema.org/Paper"
+WHERE hexad.types INCLUDES "https://schema.org/Paper"
 LIMIT 100;
 ```
 
@@ -391,7 +391,7 @@ WHERE hexad.id = @id;
 ```vql
 FROM verisim:graph
 WITH DRIFT TOLERANCE 0.1  -- Allow 10% drift
-WHERE hexad.types INCLUDES "http://schema.org/Paper"
+WHERE hexad.types INCLUDES "https://schema.org/Paper"
 LIMIT 100;
 ```
 
@@ -423,7 +423,7 @@ LIMIT 100;
 ```vql
 FROM verisim:graph
 WITH DRIFT TOLERANCE 0.0  -- No drift allowed
-WHERE hexad.types INCLUDES "http://schema.org/Paper"
+WHERE hexad.types INCLUDES "https://schema.org/Paper"
 LIMIT 100;
 ```
 
@@ -456,7 +456,7 @@ WHERE hexad.id = @id;
 
 ```vql
 FROM verisim:federation
-WHERE hexad.types INCLUDES "http://schema.org/Paper"
+WHERE hexad.types INCLUDES "https://schema.org/Paper"
 WITH DRIFT TOLERANCE 0.2  -- Tolerate 20% drift across federation
 MIN QUORUM 3;  -- At least 3 stores must respond
 ```

verisimdb/docs/getting-started.adoc

@@ -180,7 +180,7 @@ curl -X POST http://localhost:8080/api/v1/hexads \
   -d '{
     "title": "Douglas Adams",
     "body": "English author, best known for The Hitchhiker'\''s Guide to the Galaxy",
-    "types": ["http://schema.org/Person", "http://schema.org/Author"],
+    "types": ["https://schema.org/Person", "https://schema.org/Author"],
     "embedding": [0.12, -0.34, 0.56, 0.78, -0.91, 0.23, -0.45, 0.67],
     "relationships": [
       {"predicate": "wrote", "object": "hitchhikers-guide"},

verisimdb/docs/vql-examples.adoc

@@ -643,7 +643,7 @@ VERSION 1.0;
 
 SELECT GRAPH, DOCUMENT
 FROM verisim:semantic
-WHERE hexad.types INCLUDES "http://schema.org/Person"
+WHERE hexad.types INCLUDES "https://schema.org/Person"
 LIMIT 10;
 ----
 
@@ -654,7 +654,7 @@ VERSION 0.9;  -- Deprecated syntax accepted
 
 FROM verisim:semantic
 SELECT GRAPH, DOCUMENT
-WHERE hexad.types INCLUDES "http://schema.org/Person"
+WHERE hexad.types INCLUDES "https://schema.org/Person"
 LIMIT 10;
 ----