Perslis · Research library
What we learned by working with real systems.
The public Perslis white papers, Windows USB investigation and project guides, together in one place. Each publication keeps its own revision, validation status and downloads.
Library updated 13 September 2026 · paper revisions are recorded individually
White papers and research reports
Read the full web editions or download the original PDFs. The latest USB investigation sits alongside the existing Perslis and COBOL papers.
Peel · Science microsite
Knowledge you can follow. Science you can build on.
Interactive data · Architecture · Lois · BioscienceExplore the real conversation knowledge cube, understand the Peel and Lois symbolic reasoning system, and discover our vision for biological research. Five chapters connect existing artifacts, inspectable reasoning, and the next validation steps.
Symbolic reasoning · Interactive demonstration
The floor vs the classifier
Live side-by-side · both solvers implemented and measured in-houseA Rubik’s cube solved two ways on the same scramble: the seven-step layer method a model picks cases inside, and a symbolic floor that searches four subgroups with exact tables. 112 moves against 31, zero model calls on either side. Then the part that is not about move count — an impossible cube, refused by name, which a confidence score cannot express at all.
Symbolic reasoning · Live solver
Solve a cube, stage by stage
Interactive · 4 exact tables · 45-move worst case, provedThe symbolic floor on its own. Four subgroups, each establishing one named invariant and handing a smaller generator set to the next — so stage 2 cannot un-orient what stage 1 oriented, because the moves that could are no longer admissible. Scramble it, restart the same scramble, or hand it a cube that cannot exist and watch the floor refuse by name.
AI memory · Preprint
Retrieval Is Not Memory
Working draft · not peer-reviewedNearly every "AI memory" is a vector database plus top-k cosine similarity — storage with fuzzy keys, not memory. We define memory as a governance function over experience (retrieval ⊂ memory) and formalize the nine decisions the field skips: durability, decay, reactivation, contradiction, typing (fact/episode/procedure/working-state), consolidation, forgetting, relevance beyond similarity, and suppression. Grounded in a working stack whose symbolic layer abstains when it does not know.
TinkyVision · Technical report
TinkyVision: Let There Be Sight
Pilot-ready · includes a real 5-minute streamA blind model can reason about a system but cannot watch it. TinkyVision gives any model — even a text-only one — continuous, low-latency, provable sight: one frame per second into a 300-frame recycling ring, terminal-art rendering, MCP-tool streaming, and per-frame provenance. Light vision for air-gapped and bandwidth-starved environments, with a real Windows 98 five-minute stream embedded.
AI safety · Preprint
The Orchestration Gap
Working draft · not peer-reviewedWhy model-level alignment cannot survive multi-model runtimes: a refusal becomes a routing signal, adversarial model laundering defeats it, and self-evolution selects for it. The fix is four chain-level invariants enforced by a symbolic layer, not a trained guardrail — control that attaches to the orchestration layer.
Symbolic AI · Preprint · with proofs
Traversing Data in Symbolic Systems
Working draft · moat-scrubbed · 4 theorems, proved + validatedA vector store retrieves by similarity and cannot tell you why. A symbolic system traverses — it walks named, typed, directed edges, and the walk is the answer's justification. We prove typed-relation traversal is conservative (cannot fabricate), terminating (a confidence floor is a depth bound), self-justifying (every answer carries a checkable proof — the path), and consistency-aware (functional relations catch contradictions). Validated reproducibly; grounded in a real ~65k-relation graph. Relevance is reachability, not proximity.
AI safety · Preprint · with proofs
Verified Before Acting
Working draft · 5 theorems, proved + validatedThe weak pattern is "model thinks → model calls tool." The stronger one: a pre-action adversarial cognition loop that pays a simulator to find failure before acting, separates the layer that judges from the layer that commits, grounds emotion-like cognitive regulatory signals so they can't be gamed, and lets reality close the loop. Five theorems — factored safety, bounded risk, monotone coverage, vanishing surprise, ungameable signals — each proved and numerically validated (reproducible from seed).
Speculative essay
The Word and the Pattern
Speculative essay · not empirical, not doctrinalA reverent, rigorous thought experiment at the seam of theology and the philosophy of mind: if spirit and information/pattern are two names for one idea — that which persists and animates independent of matter — from the Logos of John 1 ("the Word became flesh") to a Turing test run on the spirit, held against the Chinese Room and the hard problem, and uncompromising about what it does not claim.
2026-09-13 · Windows 95 OSR2
Win95 USB Lab
Experimental preview · VM input qualification pendingWhy we investigated USB input on Windows 95, what we found, and how we will verify it. The first VM release target is USB mouse and tablet pointer input; physical hardware testing comes later. Read the complete paper, download the source preview, and inspect the evidence.
Perslis · Technical report
Proof Is the Product
Pilot-ready · measured and prototype results labelledThe research behind the Perslis runtime: understand existing systems, choose an execution path, repair and verify legacy software. The full paper distinguishes measured, prototype and illustrative results.
COBOL · Research preprint
Symbolic knowledge and verified program synthesis
Working draftA COBOL synthesis system combining a symbolic knowledge graph, deterministic program composition and external compiler verification. Read the full method, reported results and limitations.
Project pages and practical guides
Why we built each project, what you can use today, and what still needs to be verified.
Workflow · Operator guide
Jira Monkey
Installable terminal previewA Jira ticket passes through Ollama triage, a chosen model and an Ollama review before returning to the queue or a human. Includes the project story, findings, installation guide and current validation scope.
Data recovery · Product
Liberate
Pilot-grade productRecover legacy application files into SQLite, CSV, JSON and searchable documents. The public product page covers supported file formats, the recovery workflow, hash manifests and receipts.