> For the complete documentation index, see [llms.txt](https://osintelligence-llc.gitbook.io/osintelligence/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://osintelligence-llc.gitbook.io/osintelligence/part-v-the-frontier/24-the-weaver-paradigm/references-and-provenance.md). # References & provenance ### References **Microkernel + OS infrastructure:** Klein, G., et al. (2009). "[seL4: Formal Verification of an OS Kernel](https://doi.org/10.1145/1629575.1629596)." *SOSP 2009* · Linux 6.12 sched\_ext (2024; [LWN #922405](https://lwn.net/Articles/922405/)) · Rust-for-Linux permanent status (Kernel Maintainer Summit, 2025) · Godoy et al. (2025). "Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem." *SC '25 Workshops*; [arXiv:2509.21039](https://arxiv.org/abs/2509.21039) (Mojo/MLIR designed by Lattner; this is the peer-reviewed anchor) · Sidero Labs Talos Linux · Microsoft Secure Boot 2011-CA expiry playbook (2026) · aya pure-Rust eBPF (2026). **Compiler synthesis:** Android AutoFDO production numbers (2026) · Chen et al. (2026). "Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve." [arXiv:2601.21096](https://arxiv.org/abs/2601.21096) · KerSpecGen (PLoS ONE 2026) + Springer 978-3-031-75434-0\_11 (the disconfirming pair). **Blackwell:** "Microbenchmarking Blackwell" (2025). [arXiv:2512.02189](https://arxiv.org/abs/2512.02189) (sm\_100 tcgen05/TMEM) · consumer sm\_120 substrate: CUTLASS issues #2723/#2800/#2820/#3096; "Private LLM Inference on Consumer Blackwell GPUs" (2026). [arXiv:2601.09527](https://arxiv.org/abs/2601.09527); NVIDIA Blackwell whitepaper v1.1. **Hardware trust + safety:** TCG (2014). TPM 2.0 Library Specification · Shamir (1979). *CACM* 22(11) · Krawczyk (2010). HKDF, [RFC 5869](https://www.rfc-editor.org/rfc/rfc5869) · Boneh, Lynn & Shacham (2001). LNCS 2248 · [NIST SP 800-89](https://doi.org/10.6028/NIST.SP.800-89) · Ames et al. (2017/2019). Control Barrier Functions, *ECC* · VeriBench (2025) + Lean 4 verification wave (2026) · Parno, McCune & Perrig (2010). *IEEE S\&P* · Sailer et al. (2004). *USENIX Security* · Anderson (2008). *Security Engineering* §16 · Saltzer & Schroeder (1975). *Proc. IEEE* 63(9) · Schneier (2000). *Secrets and Lies* §13 · Lampson (1973). *CACM* 16(10). **Regulatory:** [EU Regulation 2024/1689 (AI Act)](https://eur-lex.europa.eu/eli/reg/2024/1689/oj) · [EU Directive 2024/1799 (Right to Repair)](https://eur-lex.europa.eu/eli/dir/2024/1799/oj) · Montana SB 212, Right to Compute Act (2025). **Edge + sandboxing + side channels:** NVIDIA Jetson Orin Nano Super benchmarks (2025–26) · Frantar et al. (2023). GPTQ. *ICLR 2023*; [arXiv:2210.17323](https://arxiv.org/abs/2210.17323) · Hinton, Vinyals & Dean (2015). Distillation. [arXiv:1503.02531](https://arxiv.org/abs/1503.02531) · Bytecode Alliance WASI · McDonald (2025). Whisper Leak. [arXiv:2511.03675](https://arxiv.org/abs/2511.03675). **Multi-agent + theory anchors:** Wang et al. (2023). Self-Consistency. [arXiv:2203.11171](https://arxiv.org/abs/2203.11171) · Du et al. (2023). Multiagent Debate. *ICML 2024*; [arXiv:2305.14325](https://arxiv.org/abs/2305.14325) · Liang et al. (2024). *EMNLP* · Juvenal, *Satirae* VI 347–348 · Gödel (1931) · Bostrom (2014). *Superintelligence* §9 · Russell (2019). *Human Compatible* §7. **In-series companions:** [*Sixteen Practices*](/osintelligence/part-ii-the-discipline/5-sixteen-practices.md) (Chapter 5; the Pair §1.5 + consensus §5.7 + saturation §5.24) · [*The Sovereign Triad*](/osintelligence/part-i-the-architecture/1-the-sovereign-triad.md) (the architectural joint-necessity this paper's governance chain pairs with) · [*The External Sentinel*](/osintelligence/part-i-the-architecture/2-the-external-sentinel.md) (the authoritative Sentinel specification; this paper's §4 defers to it) · [*Sovereign Optimization Flywheel*](/osintelligence/part-ii-the-discipline/8-sovereign-optimization-flywheel.md) · [*Sovereign Safety Architecture*](/osintelligence/part-i-the-architecture/3-sovereign-safety-architecture.md) · *Sharded-MCP Architecture* · [*Multi-Agent OODA Mesh*](/osintelligence/part-ii-the-discipline/6-multi-agent-ooda-mesh.md) (the consensus protocol's operating topology) · [*Corpus-Sovereign Self-Distillation*](/osintelligence/part-iv-the-evidence-what-worked/18-corpus-sovereign-self-distillation.md) (Chapter 18; the H-AIOS-3 substrate) · [*Sovereign Domain Pruning*](/osintelligence/part-iv-the-evidence-what-worked/16-sovereign-domain-pruning.md) (Chapter 16; the 219-hour envelope). ### AI-assistance disclosure Large language models were used as research tools in the preparation of this chapter: Claude Opus 4.7 (Anthropic; Integrator); source corpus by Gemini Deep Research (Generator), ChatGPT GPT‑5 (Critic), and Perplexity Pro (Citer) under the tri‑AI consensus protocol. The model versions and roles named above keep the provenance of this chapter auditable. No AI system is listed as an author or credited as a contributor, in line with COPE and ICMJE guidance: an AI system cannot take responsibility for the work, cannot assert competing interests, and cannot enter a licence agreement. The author verified every claim in this chapter against the sealed artifacts and is solely accountable for it. **Citation (preferred):** Kistner, J. (2026). *The Weaver Paradigm: A Scaffolded Roadmap Toward a Sovereign, Bare-Metal AI Operating System on Consumer Hardware*, version 1.0.0. OSINTelligence LLC research whitepaper (scaffold; long-horizon target). Tri-AI consensus corpus: Gemini + ChatGPT + Perplexity. Cited in-series by title. **License:** CC BY 4.0 (text). Code and data artifacts MIT per repository license. **Corresponding author:** Jamey Kistner, , OSINTelligence LLC (Columbus, OH).