ENG 100.1Week 1
Module 1 of 4Runtime Virtualization, Ephemeral Sandboxes & Zero-Copy ZAP RPCAnalyze the systems boundary of autonomous code execution. Configure local high-throughput quantized serving for Zen 6 (27.3B) and Zen 6 Flash. Engineer Hanzo Visor user-space kernel virtualization with ephemeral lease lifecycles and zero-copy Cap’n Proto RPC channels.
LECTURE TOPICS & SYSTEMS PRINCIPLES:Zen 6 architecture: quantized GGUF/AWQ local inference on Apple Silicon (Metal) and Linux (CUDA) The 4-surface boundary contract: unified ergonomics across CLI, SDKs, HTTP REST, and MCP sockets ZAP Zero-Copy RPC over Cap’n Proto: replacing high-overhead JSON serialization with microsecond IPC User-space container virtualization: Hanzo Visor / runsc process boundaries and ephemeral rootfs mounts REQUIRED READING:• Google Engineering: Container Isolation through User-Space Kernel Virtualization (Hanzo Visor Architecture)• Kent: Cap’n Proto Serialization and RPC Protocol Specification
GRADED LABORATORY ASSIGNMENT:Lab 1: Provision an isolated multi-process execution jail with ZAP IPC socket bridge and evaluate inter-process latency.
ENG 100.2Week 2
Module 2 of 4Abstract Syntax Trees, Context Distillation & Dual-Index RetrievalTrain agents to navigate 100,000+ line repositories without exceeding token context boundaries. Extract AST symbol graphs using tree-sitter grammars and synthesize dual-index retrieval combining BM25 keyword matching with dense vector embeddings.
LECTURE TOPICS & SYSTEMS PRINCIPLES:AST-based symbol extraction using tree-sitter across Python, TypeScript, Go, and Rust codebases Dual-index code retrieval: combining BM25 exact keyword inverted indexes with dense vector embeddings Context compression algorithms: distilling 50-file call chains into a 4k-token working memory scratchpad Three-tier memory hierarchy: immediate scratchpad, thread history log, and long-term vector stores REQUIRED READING:• Bruns et al.: Tree-sitter: An Incremental Parsing System for Programming Tools• Robertson et al.: The Probabilistic Relevance Framework: BM25 and Beyond
GRADED LABORATORY ASSIGNMENT:Lab 2: Implement an autonomous AST file scout that isolates defect locations across a 100k-line repo in < 3 tool hops.
ENG 100.3Week 3
Module 3 of 4Test-Driven Self-Healing & Finite-State Kai VerificationClose the autonomous execution feedback loop. Engineer agents that parse natural-language issue tickets, synthesize minimal reproducible failing tests, generate syntax-safe AST patches, and verify state transitions with Kai zero-token heuristics.
LECTURE TOPICS & SYSTEMS PRINCIPLES:Automated reproduction synthesis: generating failing pytest / cargo test cases directly from GitHub issues AST diff validation: guaranteeing generated patches introduce zero syntax regressions or unused symbols Kai finite-state decision checkpoints: zero-token verification scoring, completion heuristics, and state branching Micro-USD economic governance: enforcing hard pre-call cost ceilings and handling in-band budget refusals REQUIRED READING:• Hanzo Research: Finite-State Decision Models: Zero-Token Control in Autonomous Software Construction• Monperrus: Automatic Software Repair: A Survey on Principles, Benchmarks, and Verification
GRADED LABORATORY ASSIGNMENT:Lab 3: Build an autonomous test runner that iterates on AST patches in an isolated pod until test exit code 0.
ENG 100.4Week 4
Module 4 of 4Coordinator-Worker Swarms & SWE-bench Capstone DefenseDeploy multi-agent coordinator-executor pairs to resolve authentic defects from Princeton SWE-bench Lite. Submit your agent harness to the automated Hanzo cleanroom grader pod for adversarial evaluation and credential issuance.
LECTURE TOPICS & SYSTEMS PRINCIPLES:Coordinator-Worker topology: formal architectural decoupling of high-level planning from atomic file editing Git branch management: automated branch isolation, semantic commit hygiene, and pull request generation Distributed telemetry & audit trails: streaming full Cap’n Proto agent trajectories to ClickHouse O11y W3C Verifiable Credential issuance: on-chain cryptographic proofs and dynamic GitHub SVG verification badges REQUIRED READING:• Jimenez et al. (Princeton NLP): SWE-bench: Can Language Models Resolve Real-World GitHub Issues?• W3C Recommendation: Verifiable Credentials Data Model v2.0
GRADED LABORATORY ASSIGNMENT:Capstone Project: Autonomously resolve 5 SWE-bench benchmark issues with 100% test pass rate and < $0.50 spend per issue.