.. aleph-008-continuity README.md aleph-001-standard-nix.md aleph-002-lint.md aleph-003-prelude.md aleph-004-typed-unix.md aleph-005-profiles.md aleph-006-safe-bash.md aleph-007-formalization.md aleph-011-render.md aleph-012-render.md aleph-013-aleph.md conformance-report.md