Lab 11 - Ivan Alpatov#1413

Open

ivanalpatov2003-design wants to merge 10 commits into

inno-devops-labs:mainfrom

ivanalpatov2003-design:feature/lab11

Commits on Jun 8, 2026

docs: add PR template
ivanalpatov2003-design
committed

Commits on Jul 8, 2026

feat(lab11): add flake.nix for reproducible QuickNotes build
ivanalpatov2003-design
committed
chore(lab11): remove stray lab4 files from commit
ivanalpatov2003-design
committed

Commits on Jul 9, 2026

docs(lab11): add Task 1 submission — flake.nix build proof and design questions a-d
ivanalpatov2003-design
committed
feat(lab11): deterministic OCI image via dockerTools.buildLayeredImage
ivanalpatov2003-design
committed
feat(lab11): carry seed.json into Nix image for parity with Lab 6
ivanalpatov2003-design
committed
ci(lab11): add two-replica Nix reproducibility gate
ivanalpatov2003-design
committed
ci(lab11): TEMPORARY — inject non-determinism into replica A to prove the gate fires
ivanalpatov2003-design
committed
Revert "ci(lab11): TEMPORARY — inject non-determinism into replica A to prove the gate fires"
ivanalpatov2003-design
committed
docs(lab11): add bonus task submission — CI reproducibility gate, design questions h-j
ivanalpatov2003-design
committed