Select a reference to highlight the story passages that currently depend on it. This makes citation coverage visible as a relation, not a decoration at the bottom of the page.
[01]
2026
MOSS: Self-Evolution through Source-Level Rewriting in Autonomous Agent SystemsQianshu Cai et al. · arXiv
Source-level self-rewriting, trial workers, host-resident supervisor, health-gated container swap and rollback.
SOURCE ↗
[02]
2026
OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence ChainsJun He, Deying Yu · arXiv
Declarative intent, execution contracts, ephemeral task identities and intent-to-execution evidence chains.
SOURCE ↗
[03]
2026
Proof of Execution: Runtime Verification for Governed AI Agent ActionsJames Rhodes, George Kang · arXiv
Contract-bound execution traces, authority-plane separation, replay and validator-checkable attestation.
SOURCE ↗
[04]
2026
Self-Harness: Harnesses That Improve ThemselvesHangfan Zhang et al. · arXiv
Models improve their operating harness from traces; candidate edits survive regression tests.
SOURCE ↗
[05]
2025
Darwin Gödel Machine: Open-Ended Evolution of Self-Improving AgentsJenny Zhang et al. · arXiv
Open-ended code self-modification with empirical benchmark validation and an archive of descendants.
SOURCE ↗
[06]
2025
A Self-Improving Coding AgentMaxime Robeyns, Martin Szummer, Laurence Aitchison · arXiv
A coding agent edits its own implementation and validates gains on coding benchmarks.
SOURCE ↗
[07]
2025
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement LearningLakshya A. Agrawal et al. · arXiv
Evolutionary reflection over execution trajectories; useful contrast with source-level mutation.
SOURCE ↗
[08]
2025
Automated Design of Agentic SystemsShengran Hu et al. · ICLR 2025
Meta Agent Search explores agent designs in executable code space.
SOURCE ↗
[09]
2025
MetaAgent: Automatically Constructing Multi-Agent Systems Based on Finite State MachinesYaolun Zhang, Xiaogeng Liu, Chaowei Xiao · ICML 2025
Automatic generation of multi-agent structures rather than fixed human orchestration.
SOURCE ↗
[10]
2026
Runtime Compliance Verification for AI AgentsNafiseh Kahani, Masoud Barati, Diana Addae · arXiv
Runtime interception of tool use against formal policy predicates.
SOURCE ↗
[11]
2024
AIOS: LLM Agent Operating SystemKai Mei et al. · arXiv
An operating-system-style kernel for scheduling, context, memory, storage and access control for agents.
SOURCE ↗
[12]
2024
OSWorld: Benchmarking Multimodal Agents for Open-Ended Tasks in Real Computer EnvironmentsTianbao Xie et al. · arXiv
Execution-based benchmark for GUI-operating agents; a useful contrast with source-integrated adaptation.
SOURCE ↗
[13]
2026
OSWorld2.0: Benchmarking Computer Use Agents on Long-Horizon Real-World TasksMengqi Yuan et al. · arXiv
Long-horizon computer-use workflows expose state-tracking and verification failures.
SOURCE ↗
[14]
2025
OSWorld-MCP: Benchmarking MCP Tool Invocation In Computer-Use AgentsHongrui Jia et al. · arXiv
Measures tool invocation alongside GUI control.
SOURCE ↗
[15]
2003
The Vision of Autonomic ComputingJeffrey O. Kephart, David M. Chess · IEEE Computer
Classic statement of self-managing computing under high-level human objectives.
SOURCE ↗
[16]
2004
An Architectural Approach to Autonomic ComputingSteve R. White et al. · ICAC 2004
Self-configuration, self-optimization, self-healing and self-protection as architectural properties.
SOURCE ↗
[17]
2005
Self-managing systems: A control theory foundationYixin Diao et al. · IEEE ECS 2005
Control-theoretic foundation for self-management.
SOURCE ↗
[18]
2003
Crash-Only SoftwareGeorge Candea, Armando Fox · HotOS IX
Designing components to stop and recover cleanly makes replacement and restart cheaper.
SOURCE ↗
[19]
2002
Recovery Oriented Computing: Motivation, Definition, Techniques, and Case StudiesDavid Patterson et al. · UC Berkeley Technical Report
Treat recovery speed and maintainability as first-class system metrics.
SOURCE ↗
[20]
2004
Microreboot—A Technique for Cheap RecoveryGeorge Candea et al. · OSDI 2004
Fine-grained restart recovers components without rebooting the entire application.
SOURCE ↗
[21]
2005
Providing Dynamic Update in an Operating SystemAndrew Baumann et al. · USENIX ATC
K42 applies code and data-structure updates to a running OS.
SOURCE ↗
[22]
2007
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the FlyAndrew Baumann et al. · USENIX ATC
Explores interface and state challenges in live OS update.
SOURCE ↗
[23]
2012
Kitsune: Efficient, General-purpose Dynamic Software Updating for CChristopher M. Hayden et al. · OOPSLA
Whole-program replacement with explicit state transformation from old version to new.
SOURCE ↗
[24]
2009
Ksplice: Automatic Rebootless Kernel UpdatesJeff Arnold, M. Frans Kaashoek · EuroSys
Transforms many ordinary kernel security patches into live updates at object-code level.
SOURCE ↗
[25]
2026
Linux Kernel Livepatch DocumentationLinux kernel community · kernel.org
Kernel runtime patch lifecycle: load, enable, replace, disable and remove.
SOURCE ↗
[26]
2026
Atomic Replace & Cumulative PatchesLinux kernel community · kernel.org
Cumulative livepatches replace older function implementations in one transition.
SOURCE ↗
[27]
2026
A/B (seamless) system updatesAndroid Open Source Project · AOSP
Updates inactive slot while current system remains available; boot failure falls back to old slot.
SOURCE ↗
[28]
2026
Atomic UpgradesOSTree project · OSTree Documentation
Atomic transitions between bootable deployments: after failure you have old or new, not half-updated.
SOURCE ↗
[29]
2026
RAUC BasicsRAUC project · RAUC Documentation
Signed bundles, verification, robust installation and boot integration for unattended Linux updates.
SOURCE ↗
[30]
2024
GNU Guix Reference ManualGNU Project · GNU Guix
Transactional package/profile generations with rollback and reproducible provenance.
SOURCE ↗
[31]
2026
seL4 White PaperseL4 Foundation · seL4
A minimal capability-based microkernel as a high-assurance trusted foundation.
SOURCE ↗
[32]
1995
Extensibility, Safety and Performance in the SPIN Operating SystemBrian Bershad et al. · SOSP 1995
Protected in-kernel extensibility and dynamic binding without making the entire system static.
SOURCE ↗
[33]
2020
Firecracker: Lightweight Virtualization for Serverless ApplicationsAlexandru Agache et al. · NSDI 2020
Minimal microVM monitor for high-density isolated trial execution.
SOURCE ↗
[34]
2021
The Endokernel: Fast, Secure, and Programmable Subprocess VirtualizationBumjin Im et al. · arXiv
An extensible monitor nested inside a process for least-authority sub-process abstractions.
SOURCE ↗
[35]
2026
What is gVisor?gVisor project · gVisor Documentation
Userspace application kernel that mediates container system calls and reduces host-kernel exposure.
SOURCE ↗
[36]
2026
Kata ContainersKata Containers project · OpenInfra
Lightweight VM-backed container runtime for stronger isolation.
SOURCE ↗
[37]
2019
in-toto: Providing farm-to-table guarantees for bits and bytesSantiago Torres-Arias et al. · USENIX Security 2019
Cryptographically verifies the sequence of steps in a software supply chain.
SOURCE ↗
[38]
2026
SLSA: Supply-chain Levels for Software ArtifactsOpenSSF · SLSA
Provenance and build-integrity framework for software artifacts.
SOURCE ↗
[39]
2026
The Update Framework SpecificationTUF community · TUF
Signed metadata architecture designed to make software update systems resilient to repository/key compromise.
SOURCE ↗
[40]
2026
Rekor Transparency LogSigstore project · Sigstore
Immutable, tamper-resistant public ledger for signed software supply-chain metadata.
SOURCE ↗
[41]
2013
PROV-DM: The PROV Data ModelW3C Provenance Working Group · W3C Recommendation
Standard vocabulary for entities, activities, agents and derivations.
SOURCE ↗
[42]
2021
RFC 9162: Certificate Transparency Version 2.0Ben Laurie, Emilia Messeri, Rob Stradling · IETF
Auditable append-only Merkle logs; a useful lineage for transparent mutation records.
SOURCE ↗
[43]
2009
Efficient Data Structures for Tamper-Evident LoggingScott A. Crosby, Dan S. Wallach · USENIX Security 2009
Authenticated data structures for detecting log tampering.
SOURCE ↗
[44]
2026
Open Policy Agent DocumentationOPA project · CNCF
Separates declarative policy decision-making from enforcement.
SOURCE ↗
[45]
2024
Cedar: A New Language for Expressive, Fast, Safe AuthorizationCedar authors · OSDI 2024
Policy language designed for analyzable, high-performance authorization.
SOURCE ↗
[46]
2009
A Brief Account of Runtime VerificationMartin Leucker, Christian Schallhart · Journal of Logic and Algebraic Programming
Foundational survey of checking execution traces against specifications at runtime.
SOURCE ↗
[47]
2025
A Note on Runtime Verification of Concurrent SystemsMartin Leucker · arXiv
Trace-aware monitoring for concurrent systems.
SOURCE ↗
[48]
2019
Runtime Verification For Timed Event Streams With Partial InformationMartin Leucker et al. · arXiv
Runtime reasoning even when observed traces contain gaps.
SOURCE ↗
[49]
2026
BPF DocumentationLinux kernel community · kernel.org
Programmable kernel instrumentation substrate relevant to observation, policy and crash evidence.
SOURCE ↗
[50]
2021
BPF for storage: an exokernel-inspired approachYu Jian Wu et al. · arXiv
Example of safely injecting programmable logic deep into kernel data paths.
SOURCE ↗
[51]
2026
Autogenic Operating System — Realized Architecturetransductive.science · Project implementation record
The project-specific synthesis: conversation artifact → live browser probe → immutable resident → atomic swap → reload → resume → evidence return.
IN THIS OBJECT
[52]
2026
Transductive Publishing and Visual Execution Master Guidetransductive.science · Project operating guide
Cut-board, Chromium acceptance, deterministic build and reversible publication procedure used by this page.
IN THIS OBJECT
[53]
2026
ChatGPT Internal Image Generation 2.0 Master Guidetransductive.science · Project operating guide
Image-first production contract and Ralph Wiggum visual iteration method; the Image generation tool itself was unavailable in this run.
IN THIS OBJECT