Files
software-mansion__argent/scripts/e2e-full/phases/10-introspection.sh
filip131311 b232114422 docs: audit every comment in src against the code it describes (#931)
Audits every comment in `src/` and `scripts/` against the code it
describes.

**462 files, 57 commits, net −8,194 lines.** Comment text only — the
whole branch is code-identical to `main`.

## Method

One subagent per file, strictly sequential. Scope was `src/` +
`scripts/` (459 files); three more files were added at the end because
they carried dead references of the same kind — two test headers citing
design docs that do not exist, and `publish-npm.yml` citing a retired
workflow. Each agent verified every comment — line, block, JSDoc, file
header, trailing — against the surrounding code and the rest of the
repo, following identifiers, paths, tool ids, config keys, env vars and
issue links to see whether they still exist and still behave as
described. Rules:

- **A false or misleading comment is deleted, not reworded.** If a claim
could not be confirmed by reading the source, it went. That is why the
deletion count is so much larger than the rewrite count.
- Survivors are cut to the shortest form carrying something the code
does not already say. Restatement, preamble, hedging, changelog prose
and ASCII banners are gone; the non-obvious *why* stays.
- Preserved byte-identical: license headers, pragmas and directives
(`@ts-*`, `eslint-disable`, shebangs, `/// <reference>`), JSDoc tag
tokens, everything inside a string or template literal, and the sole
comment inside an otherwise empty block (ESLint `no-empty` counts a
comment-bearing block as non-empty).

## Verification

Every file passed two independent gates before being recorded as done:

1. `comments-only` — the required check.
2. A second comment-stripping comparator with a proper mode stack,
written for this pass because `comments-only`'s flat scanner desyncs on
nested template literals and quote-bearing regex literals and then
reports comment lines as code changes. Two files hit that false FAIL
(`utils/android-profiler/pipeline/index.ts`,
`scripts/extract-tools.mjs`); in both the "changed code" it printed was
literally `//` lines, and the second checker confirmed the code was
byte-identical.

After the last file, all 462 changed files were re-checked against
`main` with the same comparator, rather than trusting any agent's
self-report. **459 code-identical; 2 are non-code (`.svg`, `.md`); 1
intentional.**

The intentional one is `packages/argent/scripts/bundle-tools.cjs`: the
changed template literal *is* the comment header of the file it
generates, `packages/native-devtools-android/src/bundled-meta.ts`.
Fixing only the generated file would have been reverted by the next
build, so the generator changed too — and it has been verified to
reproduce the committed generated file byte-for-byte.

## Representative false claims removed

Not wording nits — statements a reader would have acted on:

- **Reversed directions.** `proxyStart`'s JSDoc had the tunnel backwards
(it is a reverse tunnel: the host binds first and the simulator dials
in). A `paste()` doc had the pasteboard copy direction reversed.
- **Contradicted by the code below it.** A timeout budget multiplied by
three where the probes run concurrently — the same comment said so six
lines later. A "warn once" that warns on every call. A "binary search"
that is a linear scan.
- **Named things that do not exist.** A `vega-fast-cli` binary, a
`finish-recording.ts`, a `publish-next.yml` workflow, two
`profiler-react19-*.md` design docs, a `DebuggerTarget.ts`, a commit
hash git does not know, two tool ids, an `ensureEnv` cycle.
- **Wrong by construction.** "Welford accumulators" across four files
where the code keeps naive `n`/`sum`/`sumSq`; `sum`/`sumSq` documented
over `actualDuration` when reduce sums `selfDuration`; a strict-mode
halving written `n/2` where the code ceils; field docs listing enum
values the producers never emit.
- **Guarantees the code does not make.** A validation matrix claiming to
cover "EVERY tool" that skips flagless ones; a Pareto cutoff that
`slice(0, 20)` makes inert; an idempotence claim where the real rule is
at-or-ahead; a capability note describing a clean 400 the shape-based
device resolver can never produce.
- **Unverifiable assertions** about prebuilt binaries, external CLIs and
the cloud SDK — deleted rather than kept as folklore, since nothing in
the repo can confirm them.
- **Stale numbers**: invented Android tool versions, hard-coded tool
counts and description lengths that had drifted.

## Review

A Fable agent reviewed both halves adversarially for over-deletion,
misread code, `no-empty` hazards and byte-identity violations.
Second-half verdict: **SHIP**, with two one-line restores, both applied
in the final commit — the `npm view ""` rationale behind a blank-token
guard, and the note that `argent-mcp` keeps a copy of
`SECRET_PLACEHOLDER_MARKER` it cannot import.

## Code issues surfaced but deliberately not fixed

This pass changes comments only. Eight genuine findings are logged for a
follow-up:

1. `telemetry/src/consent.ts` — a non-ENOENT read error returns null and
falls through to the default-on path, so file errors *can* silently flip
telemetry on.
2. `chromium-server/navigation.ts` — `navigate()` is reachable from
`POST /api/navigate` with only a `typeof === "string"` check; open-url's
schema is a bare `z.string()`, so the "already validated by zod" premise
never held.
3. `http.ts` — `constantTimeEqual` returns early on a length mismatch,
so the auth token's length is observable.
4. `describe/index.ts:~114` — the ios-remote branch passes `{ isTvOs:
false }` unconditionally, so a remote tvOS simulator takes the iOS
ax-service path, though `isRemoteTvOsSimulator` exists and shake/paste
do use it.
5. `devices/boot-device.ts` — `-crash-report-mode never` is passed
unconditionally *and* appended again by the feature-detecting path, so
every emulator spawn passes it twice.
6. `react-profiler/pipeline/04-rank.ts` — `PARETO_THRESHOLD_PCT` is
dead: `slice(0, 20)` always wins.
7. `reaped-sessions.ts` — a user-facing hint string tells the agent that
`react-profiler-start { force: true }` disposes the debugger and
profiler session; it does not. Left byte-identical because it is a
string literal, not a comment.
8. `utils/simctl-backend.ts` — `localSimctl` is exported with no
importers anywhere.

## Docs

No documentation change is needed: this pass touches only source
comments, and no user-facing capability, tool, CLI flag, config key or
flow-file behaviour changed.

---------

Co-authored-by: filip131311 <f.kaminski2000@gmail.com>
Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-24 12:16:20 +02:00

114 lines
4.6 KiB
Bash

#!/usr/bin/env bash
# Phase 1 — Introspection (offline, no device).
#
# Describes every tool `argent tools` reports (each tool's first recorded case),
# and round-trips flags, the server lifecycle and remote-link config against the
# sandbox HOME.
run_phase() {
local P=introspection
if argent_cli --version && [ "$CLI_OUT" = "$TGZ_VERSION" ]; then
pass "$P" cli version
else
fail "$P" cli version "got '$CLI_OUT' want '$TGZ_VERSION'"
fi
argent_cli --help
case "$CLI_OUT" in *"Usage: argent"*) pass "$P" cli help;; *) fail "$P" cli help "no usage banner";; esac
argent_cli definitely-not-a-command
if [ $? -ne 0 ]; then pass "$P" cli unknown-command-exits-nonzero; else fail "$P" cli unknown-command-exits-nonzero "exited 0"; fi
local names n
names="$(list_tool_names)"
n="$(printf '%s\n' "$names" | grep -c .)"
# A floor, not an exact count — the roster changes between releases. It only
# has to catch a registry that failed to load, so it sits just under the
# shipped set.
local MIN_TOOLS="${E2E_MIN_TOOLS:-70}"
if [ "$n" -ge "$MIN_TOOLS" ]; then
pass "$P" tools list "$n tools"
else
fail "$P" tools list "$n tools, expected at least $MIN_TOOLS"
fi
# A tool with no params is legitimate, so the describe call's exit code — not
# its flag count — is the verdict.
local t model
while read -r t; do
[ -z "$t" ] && continue
if argent_cli tools describe "$t"; then
model="$(parse_tool_model "$t")"
pass "$P" "$t" describe "$(model_flag_count "$model") flags"
else
fail "$P" "$t" describe "describe exited non-zero: $(printf '%s' "$CLI_OUT" | head -1)"
fi
done <<< "$names"
argent_cli flags; [ $? -eq 0 ] && pass "$P" flags list || fail "$P" flags list "$CLI_OUT"
# Must be a registry-known name: `argent enable` rejects anything else.
local PROBE_FLAG="disable-auto-screenshot"
# `argent flags` lists every registry flag whether or not one was ever stored,
# so only the state token beside the name proves the write happened.
_flag_state() { # flag -> "enabled" | "disabled" | ""
printf '%s\n' "$CLI_OUT" | awk -v f="$1" '$1==f {print $2; exit}'
}
if argent_cli enable "$PROBE_FLAG" --scope global; then
argent_cli flags
if [ "$(_flag_state "$PROBE_FLAG")" = "enabled" ]; then
pass "$P" flags enable
else
fail "$P" flags enable "still '$(_flag_state "$PROBE_FLAG")' after enable"
fi
if argent_cli disable "$PROBE_FLAG" --scope global; then
argent_cli flags
if [ "$(_flag_state "$PROBE_FLAG")" = "disabled" ]; then
pass "$P" flags disable
else
fail "$P" flags disable "still '$(_flag_state "$PROBE_FLAG")' after disable"
fi
else
fail "$P" flags disable "$(printf '%s' "$CLI_OUT" | head -1)"
fi
else
fail "$P" flags enable "enable exited non-zero: $(printf '%s' "$CLI_OUT" | head -1)"
fi
argent_cli telemetry status; [ $? -eq 0 ] && pass "$P" telemetry status || fail "$P" telemetry status "$CLI_OUT"
# Kill any server the calls above auto-spawned, so this exercises an explicit
# `server start`.
argent_cli server stop >/dev/null 2>&1 || true
if argent_cli server start --detach --no-auth --port 0; then
pass "$P" server start
else
fail "$P" server start "$(printf '%s' "$CLI_OUT" | head -1)"
fi
local i ready=0
for i in $(seq 1 30); do server_running && { ready=1; break; }; sleep 1; done
[ "$ready" -eq 1 ] && pass "$P" server ready || fail "$P" server ready "status never reported healthy"
argent_cli server status --json
if printf '%s' "$CLI_OUT" | jq -e '.running==true' >/dev/null 2>&1; then
pass "$P" server status "port=$(printf '%s' "$CLI_OUT" | jq -r .port)"
else
fail "$P" server status "$(printf '%s' "$CLI_OUT" | head -1)"
fi
argent_cli server logs; [ $? -eq 0 ] && pass "$P" server logs || skip "$P" server logs "logs exited non-zero"
# Bring a server back after the stop test: downstream phases reuse it.
if argent_cli server stop; then pass "$P" server stop; else fail "$P" server stop "$(printf '%s' "$CLI_OUT" | head -1)"; fi
ensure_server || warn "could not restart server after stop test"
# A link overrides discovery and this one points at a port nothing listens on,
# so unset it immediately or every downstream phase talks to nothing.
if argent_cli link "http://127.0.0.1:${E2E_TOOLS_PORT}"; then
pass "$P" link set
if [ -f "$E2E_HOME/.argent/link.json" ]; then pass "$P" link persisted; else skip "$P" link persisted "no link.json"; fi
argent_cli unlink && pass "$P" link unset || fail "$P" link unset "$CLI_OUT"
else
fail "$P" link set "link exited non-zero: $(printf '%s' "$CLI_OUT" | head -1)"
fi
}