augustus

# Augustus Design-judgment skill for **placing typed probabilistic judgment** (the Jev-class of System One / decision models) using mathematical, logical, and algorithmic mental models — across **AI, software, business, knowledge work, and life**. Not limited to software engineering. Formal methods are one pillar (`references/formal-methods.md`); the portable frames are `references/mental-models.md`. TypeSafe Jev is the documented **exemplar** (typed Choice / Score / Noul), not the monopoly. This skill owns **where judgment belongs**; the official `typesafe-ai` skill plus the live docs own Jev integration contracts — read them before writing Jev API code. Neighbor skills `tenbin` (lint/measure) and `decision-first` (try-Jev-first habit) own their jobs. Do not collapse into a TypeSafe how-to, a Laya install, a kev serve, a blackwood vLLM how-to, a jev-local Docker install, or a GLiClass or GLiNER tutorial. Pick the **pillar** from the hole (expected utility, VOI, MCDA, signal detection, search/control, org/safety, formal methods), then the **family** (`references/judgment-class.md`), then the vendor. Default placement is **mixed architecture**: exact work in code/policy, narrow judgment on a System One–class model, generation only where something must be written. Central model: **evidence → semantic judgments → explicit policy → checked action → observed outcome.** Every design must name what the judgment model estimates, what remains exact, what (if anything) is still gen...