Doctor check-integrity invocation flags. quick and round_trip
are accepted in 0.6.0 but treated as default; only full activates
PRAGMA integrity_check. Per dev/design/recovery.md § Doctor-only
flags.
Result of Engine::dump_schema. user_version is the
PRAGMA user_version sentinel. Canonical tables appear first per
fathomdb_schema::CANONICAL_TABLES, then remaining non-sqlite_*
tables alphabetically. Indexes follow the same alphabetical rule.
Phase 9 Pack B excise report (AC-028a/b/c). Counts are post-excise
totals; projections_invalidated reports the shadow-row invalidation
total (FTS5 + vec0 + projection terminal) for the excised source.
Single doctor finding record. Stable report-shape per AC-043c. The
code and doc_anchor strings are stable dispatch keys owned by
dev/design/recovery.md § Code-to-operator-action cross-reference.
0.7.2 PR-2b — result of Engine::recompute_mean (the manual
doctor recompute-mean path) and of the shared in-transaction
recompute core. drift_cos_before is the cosine between the freshly
derived corpus mean and the previously-pinned mean (1.0 when nothing
was pinned yet, i.e. a first pin). mean_was_pinned distinguishes a
refresh of an existing mean from an initial pin. See
dev/design/embedder.md §0.3.
Structured result of a rebuild operation. rows_invalidated is the
total shadow-state rows truncated before re-derivation; rows_rebuilt
is the count of rows the synchronous rebuild loop re-materialised
(asynchronous re-enqueue work performed by the projection scheduler is
not counted here). projection_cursor_after is the post-rebuild value
of the projection cursor.
Result of a successful Engine::safe_export call. The returned
manifest_sha256 equals the SHA-256 of the export file bytes (per
AC-039a) and matches the sha256 field written into the manifest
JSON.
Result of Engine::verify_embedder. stored_identity is the
name:revision pair persisted in _fathomdb_embedder_profiles;
supplied_identity echoes the operator’s input verbatim.
One section of an IntegrityReport. Either every check in the
section was clean, or one or more typed Findings describe the
detected issue. Per AC-043b.
Typed outcome of Engine::verify_embedder. Mismatches do not raise
EngineError; the operator workflow needs to see the stored vs.
supplied pair to decide on next action.
EU-5a2 — number of documents required before the workspace’s
_fathomdb_embedder_profiles.mean_vec is pinned for the default
profile. Per dev/design/embedder.md §0.3 (compute-once-on-first-
ingest lifecycle). Public-visible so the EU-5a2 machinery test can
assert the value.
0.7.2 PR-2bc S1 fix-1 — production phase-2 rerank LIMIT for engine
search. This is the original hardcoded LIMIT 10; it is the default and
the floor for search_limit_override (a test seam may RAISE it but never
shrink it below this). There is NO env-var override on the hot path.