/reality-check

name: reality-check
description: 'Check whether a claimed shipped feature, repo state or goal status holds up in evidence. Use when: comparing a claim with what exists; a gap report is not a verdict.'
practices: [design-by-contract, evidence-based-engineering]
hexagonal_role: domain
consumes: [caller-question, native-source-evidence]
produces: [reality-check-report.v1, goal-measurement-report, native-status-snapshot]
context_rel:
- kind: supplier-to
  with: plan
skill_api_version: 1
user-invocable: true
metadata:
  tier: judgment
  dependencies: []
  capabilities: [compare_claim_to_evidence, measure_declared_goals, report_native_status]
  effects: [write_advisory_gap_report, write_goal_snapshot, write_requested_rendered_spec]
  canonical_status: canonical
  disposition: keep_strategy
output_contract: cited claim comparison; validated reality-check-report.v1 for durable gap reports; measured goal results or observable native status

Reality Check

Compare an expected state with observable evidence, measure declared goals, or report native status. Select the requested question; a snapshot needs no invented completion claim. Return facts and gaps without selecting work.

Claim comparison

1. Read the exact claim and its source. For a completion claim, enumerate every stated goal, including work that was never started. Give each a disposition: confirmed with evidence, concrete gap or unverifiable. 2. Inspect relevant files, command outcomes and artifacts. Separate confirmed behavior, concrete gaps, incomplete evidence and changed assumptions. Name the missing evidence instead of resolving an untestable claim by assertion. 3. Compare proposed scope with the original goal when asked about a plan. Report additions that lack authority as scope escalation; the report cannot approve them. Repeated measurements use the same question and criteria; a changed question starts a different comparison. 4. Return the cited findings with checked and not-checked scope. Keep native tracker, Git, runtime, deterministic checks and semantic judgments distinct.

A quick answer can be inline. A selected durable gap report retains `reality-check-report.v1`: write `reality-check-report.json` under the caller's chosen destination, default `.agents/scratch/reality-check/<run-id>/`, and run `skills/reality-check/scripts/validate-output.sh <report.json>`. Include the checked claim, evidence-backed finding kinds and goal-by-goal dispositions for completion/status claims. This format permits no `verdict`, `readiness` or `PASS` field; observations are not independent semantic judgment.

Goal measurement

Inspect the declared goals source; prefer `GOALS.md` when it and legacy YAML both exist. Preserve directive and gate identities and report each executable check with its actual outcome. Run the requested `ao goals` command once: `measure --json`, `validate --json`, `drift`, `history`, `export`, `meta --json`, `scenarios` or `render`.

These commands do not edit the goals source, but `measure`, `drift` and `export` may write best-effort derived snapshots under `.agents/ao/goals/baselines/`. `render --out <file>` writes a caller-selected spec; never target the goals source or another non-derived file. Use stdout when no output file is requested. Return command, exit code, goal-level results, aggregate measurement, missing evidence and checked/not-checked scope. Do not add, remove, prioritize, migrate or repair goals, or turn a measurement gap into assigned work.

Native status

Use `ao status` for the local evidence-store view. It validates content-addressed intent and verdict artifacts before counting them, reports corruption or unavailable sources, and shows evidence recency. Its durable stores are `.agents/ao/intents/sha256` and `.agents/ao/verdicts/sha256`; a count is not a per-artifact digest inventory. Inspect a specific digest or timestamp only when that artifact is part of the requested question.

Report caller-supplied subject manifests from their named location. Otherwise mark manifests, runtime phase, elapsed execution, tool-call activity and remaining work as not checked. An artifact's recent timestamp proves evidence recency, not an active worker. Read other tracker, Git or factory facts only from their own authorized source; do not blend factory completion, green checks and a fresh verdict into one health judgment. Report unavailable evidence explicitly.

Boundary

Return the selected report or snapshot. This skill neither changes native state nor issues semantic PASS, repairs records, schedules or retries work. The documented goal snapshots and requested report/spec writes are its only output side effects. A native caller pursuing an authorized outcome uses these facts and continues its work; the reporting mode does not decide completion for it.