Open lab notebook

Every finding here links to the log that produced it. Nothing is asserted without a document showing the test, the failure, or the fix. Status tags are honest — pending means pending, not "soon." How this lab stays rigorous ↗

Research areas

Grows as work is added. Same field names used on gregorylacefield.com — one taxonomy, not two.

Systems Architecture / State Estimation Formal Methods / Mathematical Verification Adversarial / Security Testing Software QA / Verification Engineering Applied Statistics / Quantitative Backtesting Educational Technology / Instructional Design AI Systems Evaluation / LLM Auditing built The Four-Channel Framework The canonical S/D/I/C reference every domain application points back to.

The Reasoning Chain

Observe → Research → Decide — a real, verified pipeline for tracking research state as callable functions, not narration.

built · verified The Reasoning Chain Verification Registry → Observation Kernels → Research State Kernel → Decision Kernels.

Docs

Reference material, not findings — vocabulary and current-state summaries other pages link into.

built Current Understanding built Master Kernel Library

Formal proof — Non-Collapsible State Separation

Full version chain, four snapshots, each reproduced completely and chained by metadata box. Start anywhere — each page links both directions.

Current · v3.7 · June 2026 Flagship proof — 10,234 words Theorem 3, Corollary 3.1, Propositions 1.3–1.4, Open Problems 1–10. Superseded · v3.1 Post-audit snapshot — 4,211 words Superseded · v2.0 draft D-separation proof introduced — 3,860 words Superseded · v1.0 · May 2026 Initial version — 2,978 words

Core architecture — NCFCA

ncfca_lib · built Module Status Honest state of every module — what's live, what's orphaned.

pending · Audit Full System Audit What's wired in, what's dead, found and verified live.

Security · built Laundering Vulnerability — Found & Fixed Threat model · built Evaluation Package

Verification & testing methodology

Component A · built Full Changelog 9 real fixes, chronological, including the Fix 5 self-correction. built Backtest-Only Audit Full list of what's still only ever been backtested against its own construction.

pending Estimator Correlation Finding The 15-to-1 duplicate-estimator finding.

pending Test 5 — Tuned Final Report Reconstructed and verified.

built Infrastructure (source) document_metadata_box.py, kernel_registry.py, four_channel_formulas.py — the white-box proof itself.

Sports / quant backtesting

pending · Cover page Walk-Forward Methodology, Plain Terms

built NFL 2024 Backtest Results Matched to full floating-point precision.

pending MLB Backtest Analysis Includes the synthetic-data disclosure.

Education / Wayfinder

pending · Cover page 7 Years Teaching → Software Formalization AI as delivery and measurement system for a proven method.

pending GED Misconception Database

pending Calibration Forward-Walk Result The honest bug-found story.

Domain exploration

Lighter pieces. This section grows over time.

built · real data Boston Housing Backtest Domain-independence test — same kernel logic, real 1970 Boston housing data, honest failure case included.

pending Correlation Evidence Compilation Pay-gap-style applied analysis.