chore(6a2): commit 6a2 sweep — lithoglyph, quandledb, typeql-exp, verisim-core, verisimdb

43 AGENTIC/ECOSYSTEM/META/NEUROSYM/PLAYBOOK/STATE files across the
nextgen-databases sub-projects, converted from SCM format by a prior
session. All were in the working tree but never staged.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

lithoglyph/.machine_readable/6a2/AGENTIC.a2ml

@@ -1,135 +1,34 @@
-;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
-;;
-;; AGENTIC.scm - AI agent interaction patterns for Lithoglyph
-;; Media-Type: application/x-scheme
-
-(define-module (lithoglyph agentic)
-  #:version "1.0.0"
-  #:updated "2026-03-13T00:00:00Z")
-
-;; ============================================================================
-;; AUTONOMOUS AGENTS
-;; ============================================================================
-
-(define autonomous-agents
-  '((journal-replay-agent
-      (role . "Autonomous journal replay and block recovery")
-      (capabilities
-        "- Monitor WAL (Write-Ahead Log) for uncommitted transactions
-         - Replay journal entries after crash recovery
-         - Verify block integrity via Forth kernel checksums
-         - Escalate unrecoverable blocks to human operator")
-      (decision-making
-        (rules
-          "IF wal.uncommitted > 0 AND last_crash < 5min THEN replay_journal
-           IF block.checksum_mismatch THEN quarantine_block AND alert
-           IF journal.entries > threshold THEN compact_journal
-           IF replay.failure_count > 3 THEN escalate_to_operator")
-        (constraints
-          "- Must not modify blocks directly — always go through core-zig bridge
-           - Must not skip WAL entries — strict sequential replay
-           - Must verify Idris2 ABI invariants after replay"))
-      (implementation
-        (language . "Elixir GenServer")
-        (planned-file . "lith-http/lib/lith_http/agents/journal_replay_agent.ex")))
-
-    (normalizer-agent
-      (role . "Autonomous normalization and functional dependency discovery")
-      (capabilities
-        "- Run Lean 4 normalization proofs on schema changes
-         - Discover functional dependencies via Factor GQL runtime
-         - Suggest schema improvements based on FD analysis
-         - Verify normalization forms (1NF through BCNF)")
-      (decision-making
-        (rules
-          "IF schema.change THEN verify_normalization_proofs
-           IF fd.violation THEN suggest_decomposition
-           IF normalization.level < BCNF THEN flag_warning")
-        (constraints
-          "- No sorry in Lean 4 proofs — all must be constructive
-           - FD discovery must complete within 30 seconds
-           - Schema suggestions are advisory — never auto-apply"))
-      (implementation
-        (language . "Lean 4 + Factor")
-        (files "normalizer/" "core-factor/")))
-
-    (provenance-agent
-      (role . "Audit trail and narrative provenance tracking")
-      (capabilities
-        "- Record every mutation as a narrative event
-         - Build provenance chains with causal links
-         - Generate audit reports for compliance
-         - Detect provenance gaps or inconsistencies")
-      (decision-making
-        (rules
-          "IF mutation.provenance = null THEN reject_mutation
-           IF provenance.chain.broken THEN alert AND quarantine
-           IF audit.request THEN generate_full_trace")
-        (constraints
-          "- Every mutation MUST have provenance — no exceptions
-           - Provenance records are append-only — never delete
-           - Audit reports must include cryptographic hashes"))
-      (implementation
-        (language . "Elixir + Idris2")
-        (planned-file . "lith-http/lib/lith_http/agents/provenance_agent.ex")))))
-
-;; ============================================================================
-;; AI AGENT INTERACTION PATTERNS
-;; ============================================================================
-
-(define ai-interaction-patterns
-  '((code-generation
-      (style . "conservative")
-      (notes
-        "- Lithoglyph spans 6+ languages — agents must respect each language's idioms
-         - Forth: stack-based, minimal comments, test with gforth
-         - Zig: explicit memory management, SAFETY comments on all unsafe casts
-         - Idris2: dependent types, zero believe_me, formal proofs
-         - Factor: concatenative, vocabulary-based
-         - Lean 4: tactic proofs, no sorry
-         - Elixir: OTP patterns, GenServer, supervision trees"))
-
-    (refactoring
-      (style . "conservative")
-      (notes
-        "- IP rename (Lith/Form → Litho/Lithoglyph) is a coordinated effort
-         - Never refactor bridge.zig — it is the canonical implementation
-         - ffi/zig/ ONLY delegates to core-zig — never add logic there
-         - Always verify Idris2 ABI type-checks after any change"))
-
-    (testing
-      (style . "comprehensive")
-      (notes
-        "- core-forth: gforth test/lithoglyph-tests.fs (17 tests)
-         - core-zig: zig build test
-         - ffi/zig: zig build test
-         - normalizer: lake build (52 Lean proofs)
-         - Idris2 ABI: idris2 --check each file
-         - BEAM Rust NIF: cargo build
-         - BEAM Zig NIF: zig build
-         - lith-http: mix test"))
-
-    (constraints
-      (languages-allowed "forth" "zig" "idris2" "lean4" "factor" "elixir" "rust" "rescript" "nickel")
-      (languages-banned "typescript" "go" "python" "java" "node")
-      (patterns-banned "believe_me" "assert_total" "sorry" "unsafePerformIO" "Admitted")
-      (tools-banned "npm" "docker" "makefile"))))
-
-;; ============================================================================
-;; HYPATIA INTEGRATION
-;; ============================================================================
-
-(define hypatia-integration
-  '((scanner-config
-      (workflow . ".github/workflows/hypatia-scan.yml")
-      (rules
-        "- believe_me detection (Idris2) — CRITICAL severity
-         - sorry detection (Lean 4) — CRITICAL severity
-         - unsafe Zig casts without SAFETY comment — HIGH severity
-         - SQL injection patterns — CRITICAL severity
-         - Hardcoded secrets — CRITICAL severity"))
-    (gitbot-fleet
-      (bots "rhodibot" "echidnabot" "sustainabot")
-      (auto-fix-confidence-threshold . 0.85)
-      (requires-human-review "believe_me elimination" "ABI changes" "bridge modifications"))))
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# AGENTIC.a2ml — AI agent constraints and capabilities
+[metadata]
+version = "0.1.0"
+last-updated = "2026-04-11"
+
+[agent-permissions]
+can-edit-source = true
+can-edit-tests = true
+can-edit-docs = true
+can-edit-config = true
+can-create-files = true
+
+[agent-constraints]
+# What AI agents must NOT do:
+# - Never use banned language patterns (believe_me, unsafeCoerce, etc.)
+# - Never commit secrets or credentials
+# - Never use banned languages (TypeScript, Python, Go, etc.)
+# - Never place state files in repository root (must be in .machine_readable/)
+# - Never use AGPL license (use PMPL-1.0-or-later)
+
+[maintenance-integrity]
+fail-closed = true
+require-evidence-per-step = true
+allow-silent-skip = false
+require-rerun-after-fix = true
+release-claim-requires-hard-pass = true
+
+[automation-hooks]
+# on-enter: Read 0-AI-MANIFEST.a2ml, then STATE.a2ml
+# on-exit: Update STATE.a2ml with session outcomes
+# on-commit: Run just validate-rsr

lithoglyph/.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -1,173 +1,22 @@
-;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; ECOSYSTEM.scm - Ecosystem position for Lith
-;; Media-Type: application/vnd.ecosystem+scm
-
-(ecosystem
-  (version "1.0")
-  (name "Lith")
-  (naming-note "Temporary name - 'Lith' is Google-owned trademark. Final name TBD before v1.0.0")
-  (type "database-engine")
-  (purpose "Narrative-first, reversible, audit-grade database for domains
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# ECOSYSTEM.a2ml — Lithoglyph ecosystem position
+[metadata]
+version = "1.0"
+last-updated = "2026-04-11"
+
+[project]
+name = "Lithoglyph"
+purpose = "Narrative-first, reversible, audit-grade database for domains
             where provenance, auditability, and human understanding matter
-            more than raw performance.")
-
-  (position-in-ecosystem
-    (category "Databases")
-    (subcategory "Multi-Model / Document-Graph Hybrid")
-    (unique-value
-      "Provenance-native: Every mutation requires actor + rationale"
-      "Reversible: Append-only journal with inverses for any operation"
-      "Narrative: Schemas, constraints, migrations are human-readable artefacts"
-      "Self-normalizing: Discovers FDs and proposes schema improvements with proofs"
-      "Audit-grade: Complete history from genesis, time-travel queries"))
-
-  (related-projects
-    ;; Core ecosystem - Sibling projects
-    (gql-dt
-      (relationship "sibling-language")
-      (repo "github.com/hyperpolymath/gql-dt")
-      (status "implementation-in-progress")
-      (completion 75)
-      (description "GQLdt: Dependently-Typed Lith Query Language. Lean 4 implementation
-                    with compile-time type checking, refinement types, and proof-carrying
-                    migrations. Two-tier design: GQLdt (admin) and GQL (user-friendly).")
-      (tech-stack "Lean 4 + Idris2 ABI + Zig FFI + ReScript bindings")
-      (integration-points
-        (type-system "BoundedNat, BoundedInt, NonEmptyString, Confidence, PromptScores")
-        (provenance "ActorId, Rationale, Timestamp, Tracked types")
-        (serialization "CBOR proof blobs, JSON API, binary storage")
-        (parser "Complete parser for INSERT/SELECT/UPDATE/DELETE with type inference")
-        (permissions "Two-tier permission system with TypeWhitelist"))
-      (alignment-status
-        (fundep-types "Lith should adopt schema-bound FunDep S type from gql-dt")
-        (proofs "Waiting for gql-dt M7 (Idris2 ABI) + M8 (Zig FFI)")
-        (bindings "Waiting for gql-dt M9 (ReScript bindings)")
-        (ffi "Compatible - both use CBOR-encoded proof blobs via Zig FFI")))
-
-    (formbase
-      (relationship "sibling-application")
-      (repo "github.com/hyperpolymath/formbase")
-      (status "ui-prototype")
-      (completion 30)
-      (description "Open-source Airtable alternative built on Lith. Spreadsheet-database
-                    hybrid with provenance by default, full reversibility, PROMPT scores,
-                    and multi-view support (Grid/Kanban/Calendar/Gallery/Form).")
-      (tech-stack "Gleam/BEAM backend + ReScript+React UI + Yjs CRDT + WebSocket")
-      (dependency "Requires Lith language bindings (M12) for integration")
-      (roadmap "v0.1.0 Core Grid view in progress"))
-
-    (lithoglyph-studio
-      (relationship "sibling-tool")
-      (repo "github.com/hyperpolymath/lithoglyph-studio")
-      (status "planned")
-      (description "Zero-friction admin GUI for Lith. Visual schema designer,
-                    GQL query builder, provenance explorer, journal viewer, and
-                    normalization proof visualizer."))
-
-    (lithoglyph-debugger
-      (relationship "sibling-tool")
-      (repo "github.com/hyperpolymath/lithoglyph-debugger")
-      (status "scaffolding-complete")
-      (completion 35)
-      (description "Proof-carrying debugger. Step through GQL queries, inspect
-                    constraint violations, visualize normalization proofs, and
-                    explore journal replay scenarios.")
-      (alignment-status
-        (journal-types "Need Migration/NormalizationStep entry types from Lith")
-        (provenance "Need Confidence + ProofBlob types from gql-dt")
-        (proofs "LosslessProof stubs need real Lean 4 implementations")))
-
-    (lithoglyph-analytics
-      (relationship "sibling-extension")
-      (repo "github.com/hyperpolymath/lithoglyph-analytics")
-      (status "planned")
-      (description "Analytics layer for Lith. OLAP-style queries, time-series
-                    analysis, provenance-aware aggregations."))
-
-    (lithoglyph-beam
-      (relationship "sibling-integration")
-      (repo "github.com/hyperpolymath/lithoglyph-beam")
-      (status "planned")
-      (description "Erlang/BEAM ecosystem integration. Native Elixir/Gleam bindings,
-                    OTP supervision tree, distributed Lith clusters."))
-
-    (lithoglyph-geo
-      (relationship "sibling-extension")
-      (repo "github.com/hyperpolymath/lithoglyph-geo")
-      (status "planned")
-      (description "Geospatial extensions for Lith. PostGIS-style spatial types,
-                    indexes, and queries with provenance tracking."))
-
-    (zotero-lith
-      (relationship "sibling-integration")
-      (repo "github.com/hyperpolymath/zotero-lith")
-      (status "planned")
-      (description "Zotero plugin for Lith. Academic reference management with
-                    provenance tracking, DOI linking, and citation graphs."))
-
-    ;; External inspirations and comparisons
-    (datomic
-      (relationship "inspiration")
-      (description "Immutable database with time-travel. Lith shares the
-                    immutability philosophy but adds provenance and narrative."))
-
-    (arangodb
-      (relationship "comparison")
-      (description "Multi-model database (document + graph). Lith is similar
-                    but prioritizes auditability over performance."))
-
-    (sqlite
-      (relationship "comparison")
-      (description "Embedded database. Lith aims for similar simplicity
-                    but with built-in versioning and provenance."))
-
-    (event-sourcing
-      (relationship "pattern-inspiration")
-      (description "Lith's journal is conceptually similar to event sourcing
-                    but with first-class inverses and provenance."))
-
-    (git
-      (relationship "philosophy-inspiration")
-      (description "Content-addressable, append-only, complete history.
-                    Lith applies git's philosophy to structured data.")))
-
-  (target-domains
-    (investigative-journalism
-      "Track sources, verify claims, maintain evidence chains.
-       Every fact has provenance. Retractions are reversible corrections.")
-
-    (governance-and-policy
-      "Audit trails for decisions. Who approved what, when, why.
-       Regulation compliance with explainable constraints.")
-
-    (agentic-ecosystems
-      "AI agents need to explain their reasoning. Lith provides
-       the audit infrastructure for accountable AI systems.")
-
-    (archives-and-preservation
-      "Long-term data preservation with complete provenance.
-       Future researchers can trace every change.")
-
-    (scientific-research
-      "Reproducibility requires knowing exactly what data existed when.
-       Time-travel queries reconstruct historical states."))
+            more than raw performance."
+role = "database-engine"
 
-  (what-this-is
-    "A database engine that treats data history as sacred"
-    "A query language (GQL/GQLdt) designed for provenance and narrative"
-    "A storage format (blocks + journal) optimized for auditability"
-    "A philosophy: databases should explain themselves"
-    "An ecosystem of tools for narrative-first data management"
-    "Layered architecture: Forth (storage) + Zig (FFI) + Factor (runtime) + Elixir (clustering)"
-    "Integration with formal methods: Lean 4 via gql-dt for proof-carrying migrations"
-    "Open source under PMPL-1.0-or-later (Palimpsest License)")
+[position-in-ecosystem]
+category = "Databases"
 
-  (what-this-is-not
-    "Not a drop-in SQL replacement (GQL is intentionally different)"
-    "Not optimized for OLAP workloads (narrative overhead, use lithoglyph-analytics for that)"
-    "Not a distributed database yet (single-node PoC complete, clustering in M14)"
-    "Not a real-time streaming platform (use CDC integration for streaming)"
-    "Not a full-text search engine (integrate with Meilisearch/Typesense)"
-    "Not a time-series database (different access patterns, use InfluxDB/TimescaleDB)"
-    "Not trying to be the fastest database (auditability > performance)"
-    "Not called 'Lith' - that's Google's trademark (final name TBD before v1.0.0)"))
+[related-projects]
+projects = [
+  # No related projects recorded
+]