Incubator: incomplete implementation entries
Browse the collection · Completion guide · Finalization queue
These works need further evidence before returning to the main reading lists. Their original files remain available for development and inspection. Placement here describes their readiness and does not dismiss every mathematical idea they contain. Lean is optional. The requirements below identify the written, computational, or implementation evidence each entry needs.
The first focused review and SRIC admission audit record the sources inspected, findings, and limits. Works outside this list still have their own review limits and open questions.
RRCT multispace convergence protocol
Only synthetic estimator execution is recorded. The actual Qwen and primary causal runs are absent.
Requirements for returning to the reading list: Run the frozen-model smoke with authenticated inputs and report its descriptive scope. Any workspace claim additionally requires the full primary causal, mediation, and replication gates.
Work page: paper, proofs, Lean, and code · Preserved source · Completion and evidence record · Review and findings
PRISM-1R
The hardware is an uncompiled interface skeleton with success tie-offs. No hardware qualification has been run.
Requirements for returning to the reading list: Replace success tie-offs with real generation, certificate, dependency and fault inputs. Compile/simulate the RTL and retain meaningful rejection controls. Hardware performance requires separate measured evidence.
Work page: paper, proofs, Lean, and code · Preserved source · Completion and evidence record · Review and findings
Returned to a scoped reading list
These works have a later recorded decision allowing them back into a reading list. Their remaining limits still apply, and the earlier audits remain available.
SRIC: external semantic admission
Returned through the corrected 0.3.3 beta source edition after bounded admission/CLI qualification. The original 0.3.2 defects remain historical facts. Real-model execution and wider scientific claims remain pending.
Current review and edition · Earlier audit
Work page: paper, proofs, Lean, and code · Completion and evidence record
Research reading list · Complete inventory · Finalization queue