ODS · decision courseENPT
Evidence · minimum M5 Max pilot

Evidence ladder — a check is not runtime

The checks prove clean HEAD, syntax, tier contracts, dispatcher smoke, and CLI help. They do not prove installation, healthy containers, chat, UI, security, backup, or uninstall.

By the end: explain, locate evidence, and apply it to the pilot.
01

Complete Simple + Technical

The checks prove clean HEAD, syntax, tier contracts, dispatcher smoke, and CLI help. They do not prove installation, healthy containers, chat, UI, security, backup, or uninstall.

Bounded analogy: Plans and materials may be coherent; only an instrumented crossing proves the bridge in use. Software also changes state during execution.

Under the hood

The runner checked the exact commit and used pipefail. The receipt marks installation, runtime, and Docker/Compose as not executed. That non-claim is part of the proof.

Boundary: installation, runtime, and Docker/Compose were not executed.

02

14 semantic microdiagrams

Each figure teaches one relationship; the sequence is a decision map, not a health dashboard.

exact HEAD
01 · exact HEAD — decision relationship
clean worktree
02 · clean worktree — decision relationship
273 scripts
03 · 273 scripts — decision relationship
tier map
04 · tier map — decision relationship
dispatcher smoke
05 · dispatcher smoke — decision relationship
CLI help
06 · CLI help — decision relationship
structure
07 · structure — decision relationship
upstream docs
08 · upstream docs — decision relationship
external green
09 · external green — decision relationship
install not run
10 · install not run — decision relationship
runtime not run
11 · runtime not run — decision relationship
Docker not run
12 · Docker not run — decision relationship
health open
13 · health open — decision relationship
live pilot
14 · live pilot — decision relationship
03

Command and proof boundary

bash work/run-nonmutating-checks.sh
rg -n 'Exit code|Fronteira de prova|Resultado geral' outputs/ods-check-receipt.md
Do not execute by inference: install commands are only a future user-gated plan.

Allows claiming

checkreading
localexercised contract
upstreamdeclared capability

Remains open

runtimegate
health/chat/UIlive pilot
lifecyclebackup/restore/uninstall

Local sources

  • outputs/ods-adoption-dossier.md:89-109
  • outputs/ods-check-receipt.md:8-33
  • work/ods-latest/ods/docs/RELEASE_VALIDATION.md:98-115
  • outputs/ods-check-receipt.md:120-135,222-232

Includes dossier, receipt, and official source by path:line.

04

Practice with feedback

1 · Prediction

2 · Stepper

1. classify the need

2. locate the proof

3. decide without overclaiming

3 · Scenarios

4 · Checklist

5 · Slide deck

The checks prove clean HEAD, syntax, tier contracts, dispatcher smoke, and CLI help. They do not prove installation, healthy containers, chat, UI, security, backup, or uninstall.

A check is not runtime.

decide without overclaiming

6 · Quiz

What does macOS smoke prove?

7 · Active recall

Demo debate: research-concept-explainer + status-report; quiz + code-understanding; runner-up code-review-pr