@hcmai/sdk 0.3.6 → 0.3.8

package/dist/index.d.ts

@@ -2082,6 +2082,20 @@ interface ProbeResult {
  * **一个自己都分辨不了的分辨承诺比不承诺更糟**，它让人以为这件事已经处理了。
  */
 declare function probeExtensionSource(probe: ReconProbe, keys: string[]): Promise<ProbeResult>;
+/**
+ * 产物目录要用的 `sourceKey`——`recon` 打出去的**第一个**请求序列。
+ *
+ * 🔴 单独一个入口，而**不是**让命令层自己 `probe.get(MODELS_PATH)` 再就地取 key：
+ * `probeExtensionSource` 此前有三个调用点，其中一个（recon 的这一跳）漏了
+ * 「元素可能不是对象 / body 整体可能不是对象 / modelKey 可能是空串」这三道过滤，
+ * 于是客户网关一改清单形状，`recon` 就在第一步以一条裸堆栈收场 —— 而顾问手上
+ * 没有源码、没有安装包、也没有第二份基线可对照。
+ * 三处各修各的会再漏第四处；收进 `modelKeys()` 这**一道门**，漏不掉。
+ *
+ * 🔴 探不到时回 `'unknown'` 而不是抛：探不到是**可降级**的（产物目录名带 unknown，
+ * 顾问一眼看得出这份基线的层次身份没确认），而抛会让整轮爬取在第一步就没了。
+ */
+declare function computeReconSourceKey(probe: ReconProbe): Promise<string>;
 interface Fingerprint {
     tenantMetaManifestDigest: string;
     manifestEntryCount: number;
@@ -2153,4 +2167,662 @@ declare const AUTH_INFO_PATH = "/api/auth/info";
  */
 declare function fetchReconIdentity(probe: ReconProbe, requestedTenantId: string): Promise<ReconIdentity | null>;
 
-export { AUTH_INFO_PATH, type ActionHttpMethod, type ActionInput, type ActionMeta, type ActionResult, type ActionScope, type AdminResetPasswordRequest, type AdminResetPasswordResult, type AnyStreamEvent, type ApprovalConfirmPayload, type ApprovalRejectPayload, type AttachmentMeta, type AuthScheme, BLIND_SPOTS, type BootstrapReconcileResult, type BootstrapTenantRequest, type BootstrapTenantResult, type CacheClearResult, type CacheStats, type ChangePasswordInput, type ChironCategory, type ChironManifest, type ChironSkill, type ChironSkillFile, type ChironStage, type ClearMetaCacheOpts, CliError, CliErrorCode, type CliErrorInit, type ClientAuthContext, type ClientCredentialsInput, type ConnectionMessage, type ControlChannelEnvelope, type ConversationListItem, type ConversationListResult, type ConversationState, type CreateResult, type CreatedConversation, DEFAULT_AGENT_ID, DEFAULT_SESSION_TTL_SECONDS, DOCTOR_ANCHORS, type DescribeOpts, type DoctorAnchor, type DoctorCheck, type DoctorReport, EXTENSION_SOURCE_HEADER, type EnvConfig, ExitCode, type FieldMeta, type Fingerprint, type Fixture, type FormatOptions, GATE_COMPONENTS, type GlobalConfig, HcmClient, type HcmClientOpts, type HttpClientOptions, type IdentityMeta, type ImportClient, type ImportOptions, type ImportResult, type InteractionAnswerPayload, type InteractionRequest, type InteractionResolved, LayoutContainmentError, type ListTenantMetaOpts, type LoginOutcome, MANIFEST_PATH, MAX_MANIFEST_PAGES, MAX_SOURCE_PROBES, META_PATH, MINI_CONTEXT_FILE, MINI_CONTEXT_KIND, MINI_CONTEXT_VERSION, MINI_PULL_MANIFEST_FILE, MINI_REMOTE_ROOT, MINI_STATE_DIR, MODELS_PATH, type MessageClass, type MessageCreatePayload, type MessageStreamHandle, type MigrationSummary, type MiniFileSnapshot, type MiniInitArgs, type MiniLocalFile, type MiniLocalStatus, type MiniPreviewTarget, type MiniProjectContext, type MiniPullArgs, type MiniPullManifest, type MiniPullResult, type MiniPushArgs, type MiniPushConflict, type MiniPushOperation, type MiniPushPlanItem, type MiniPushResult, type MiniSmokeCheckArgs, type MiniSmokeFetch, type MiniSmokeFetchResponse, type MiniSmokeResult, type MiniSmokeTargetKind, type MiniSmokeTargetResult, type MiniStatusEntry, type MiniSurface, type MiniTemplateArgs, type MiniTemplateKind, type MiniValidationResult, type MiniVerifyAgentReport, type MiniVerifyBrowserAcceptance, type MiniVerifyChangedFile, type MiniVerifyNextAction, type MiniVerifyPlan, type MiniVerifyPreviewUrl, type MiniVerifyReport, type MiniVerifySummary, type MiniWritableTemplateConfig, type ModelDescription, type ModelQueryDsl, type OneShotOpts, type OneShotResult, type OneShotToolCall, type Outcome, type OutputFormat, PASSWORD_CHANGE_REQUIRED, PROACTIVE_REFRESH_MARGIN_SECONDS, type PairingLoginInput, type ParsedPlaceholder, type PasswordChangeChallenge, type PasswordLoginInput, type PatLoginInput, type Principal, type ProfileConfig, type QueryResult, type ReconIdentity, ReconLayout, type ReconProbe, RefStore, type RefreshInput, type RelationMeta, type RemoveResult, type ResponseCompletedPayload, type ResponseFailedPayload, type ResponsePartDeltaPayload, type ResponseStartedPayload, type ResumeSummary, type ResumeTurn, type RowResult, type RowStatus, SDK_VERSION, type SaveMetaResult, type SendMessageOpts, type SettingItem, type SettingWrite, type StreamCancelPayload, type StreamCommand, type StreamCommandEnvelope, type StreamCommandType, type StreamEventEnvelope, type StreamEventType, type TaskProgressPayload, type TenantMetaEntry, type TimelineItemLite, type TokenRecord, TokenStore, type ToolCallFailedPayload, type ToolCallResultPayload, type ToolCallStartedPayload, type V4RenderSink, type V4StreamEventType, VERSION_PATH, type WorkspaceFileContent, type WorkspaceFileItem, type WorkspaceFileListResult, WsClient, type WsClientOpts, absoluteDownloadUrl, adminResetPassword, archiveDir, assertSafeReferencePath, assertSafeSkillFilePath, assertSafeSkillId, bootstrapTenant, buildAnswer, buildConfirm, buildInterrupt, buildMiniAppTemplateFiles, buildMiniPreviewTargets, buildMiniVerifyAgentReport, buildReject, buildResumeSummary, buildSteer, camelizeKeys, changePassword, classifyMessage, clearMetaCache, clearModelCache, compareFingerprint, computeFingerprint, conversationStateFile, create, createConversation, createHttpClient, createV4Reducer, createWorkspaceFile, credentialsFile, defaultDownloadDir, defaultMiniRequiredScopes, deleteEnv, deleteIdentity, deleteTenantMeta, deleteWorkspaceFile, deriveNamelessToolLabel, describePrincipal, detectDelegationPause, detectDirectInteractionPending, detectPasswordChangeChallenge, displayWidth, downloadDocument, ensureSessionFresh, envDir, envFile, envsDir, exitCodeFor, extractNextSteps, fetchConversationTimeline, fetchConversationTimelineStrict, fetchRecentConversations, fetchReconIdentity, fetchSkillCatalog, fetchSkillFile, fetchSkillMarkdown, fetchSkillReference, filterByStage, findLastAssistantSeq, flattenSkills, formatMiniVerifyReport, formatObject, formatRows, fromAxiosError, getCacheStats, getMiniStatus, getSettingDomain, getTenantMeta, globalConfigFile, guessMimeType, hcmConfigDir, httpProbe, identitiesDir, identityDir, identityMetaFile, inferEnvName, inferMiniWritableTemplateOptionsFromModel, initMiniAppProject, isDelegationToolName, isServerSlidingSession, listEnvs, listIdentities, listProfiles, listTenantMeta, listWorkspaceFiles, loadConversationState, loadEnv, loadGlobalConfig, loadIdentity, loadProfile, loadWorkspaceFileContent, loginClientCredentials, loginPairing, loginPassword, loginPat, matchSkills, migrateLegacyProfiles, modelEntries, modelKeys, needsRefresh, normalizeReferences, oneShot, parseConfirmToolName, parseFixture, parseInteractionRequest, parseInteractionResolved, parsePlaceholder, parseSettingAssignment, parseSkillFrontmatter, parseSkillRequirements, patchSettingDomain, probeExtensionSource, profileDir, profileFile, pullMiniAppProject, pushMiniAppProject, readMiniContext, readPullManifest, refreshToken, remove, replHistoryFile, resetSettingItem, resolveActiveEnv, resolveActiveIdentity, resolveActiveProfile, resolveAllSkillsInstallOrder, resolveChironBase, resolveRefs, resolveSkillInstallOrder, runDoctor, runImport, runMiniSmokeChecks, safeSegment, saveConversationState, saveEnv, saveGlobalConfig, saveIdentity, saveProfile, saveTenantMeta, saveWorkspaceFileContent, sendMessageAndStream, snakeToCamel, tenantSegment, toJson, toOrigin, toPrincipal, toTable, toYaml, truncateDisplay, update, uploadDocument, validateMiniProject };
+/**
+ * 定向重爬的披露标记。
+ *
+ * 🔴 `_kit` 前缀：这一节是**工具加的**，产品从不发它。下游遍历产物顶层键的人
+ * 必须一眼看得出哪些是服务端说的、哪些是我们说的。
+ *
+ * 🔴 **为什么单独成一个模块**：有**三份**产物要写这一节 —— `gates.json`（编排层写）、
+ * `mapping/_index.json`、`valuedomain/_index.json`（后两份由各自模块写）。
+ * 而 `mapping` / `valuedomain` 不许反过来 import 编排层（那是它们的上层，import 会成环）。
+ * 剩下的选择只有两个：把字面量抄三份，或者收到一个三方都在其下的地方。
+ * 抄三份必然漂移，而漂移的表现是**顾问 grep `_kitCarryOver` 只搜到两份产物** ——
+ * 第三份看着就像「这一轮没有沿用」，正是这一节存在的意义所要防的那种误读。
+ */
+declare const KIT_CARRY_OVER_KEY = "_kitCarryOver";
+
+/**
+ * 只读闸（action gates）的爬取与落盘（契约清单 §3.5，29 条）。
+ *
+ * `readOnly` 是产品里**唯一**让 AI 工具 `hcm_invoke_read_action` 免用户确认直接执行的开关。
+ * 判错的代价不是「基线不准」，是 **AI 静默写客户生产库**。所以本模块一切从严、一切 fail-closed：
+ * 凡是没能确凿看到「显式声明只读 + 全部候选都只读 + 端点自己也不认为有分歧」的条目，一律不进闸表。
+ */
+
+/**
+ * 「声明了只读、却被 fail-closed 规则拒掉」的动作必须留痕：不留痕的话，
+ * 「我们拒了它」与「压根没这个动作」在产物里同形，下一个人无从复核我们拒得对不对。
+ */
+type RejectReason = 'conflict' | 'conflict-undeclared' | 'candidate-not-read-only' | 'no-candidates' | 'malformed-candidate' | 'malformed-key' | 'malformed-action';
+interface RejectedEntry {
+    model: string;
+    key: string | null;
+    reason: RejectReason;
+    note: string;
+}
+interface GateUnavailable {
+    modelKey: string;
+    status: number;
+    error: string;
+    note: string;
+    bodyPreview?: string;
+}
+interface GateCoverage {
+    scope: 'state-scoped';
+    state: string | null;
+    statesEchoed: string[];
+    stateObserved: boolean;
+    stateEchoAgrees: boolean;
+    stateRequested: string;
+    modelsWithoutStateEcho: number;
+    sources: string[];
+    modelsQueried: number;
+    duplicateModelKeys: number;
+    modelsAnswered: number;
+    modelsUnavailable: number;
+    accountingBalanced: boolean;
+    unavailable: GateUnavailable[];
+    rejected: RejectedEntry[];
+    endpointGates: false;
+    note: string;
+}
+
+/**
+ * `--model X` 在模型清单里一个都没匹配上。
+ *
+ * 🔴 **必须在写盘之前抛**。原先它一路走完编排：`fields.jsonl` 被清成 0 字节、
+ * `gates.json` 清空，而摘要是 `rc=0 / modelsQueried:0 / driftSinceLastRecon: []`
+ * ——读作「跑成功了，环境没变」。此后 `find` 任何词都印「0 命中 / 索引共 0 字段」，
+ * 与「产品没有这个字段」同形（GC3 要分开的两件事），方向是**低报**。
+ *
+ * 代价在客户现场是最重的一档：FDE 手上**只有这一份基线**，没有源码、没有安装包可以重来，
+ * 刚跑完的一次全量（可能几十分钟）会被一个拼错的模型名抹掉，而且没有任何迹象告诉他出事了。
+ */
+declare class TargetModelNotFound extends Error {
+    constructor(message: string);
+}
+/**
+ * 每个模型的爬取时刻，写进**内容**而不是靠文件 mtime。
+ *
+ * 🔴 理由是判据本身：**说错年龄比不说更坏**。mtime 会被 `cp`（不带 `-p`）、打包解包、
+ * rsync 改写 —— 复评实测 `cp -r` 之后「最早」由 2026-08-13 变 2026-08-16，
+ * 沿用行再次被报成刚爬的。而 FDE 的产物被拷来拷去（发同事 / 打包带走 / rsync 上跳板机 /
+ * 装进交付包）**是主路径不是边缘场景**，光加一句免责声明等于让他继续读一个错日期。
+ *
+ * 🔴 落点是**独立文件**，不许往 `meta/<key>.model.json` 里塞键：那些是原样留证的产品
+ * 响应体，污染它们就毁掉了「这是服务端原话」这个唯一价值。文件名带 `_kit` 前缀 ——
+ * 一眼看得出是工具写的，产品从不发它。
+ */
+declare const KIT_CRAWLED_AT_FILE = "_kitCrawledAt.json";
+/**
+ * 「带轮次戳的产物」名单是**判据的单一来源**：`runRecon` 按它写、`inspectRound` 按它读。
+ *
+ * 🔴 两边各写一份清单，下一个新产物必然只补一边 —— 而漏补的表现是
+ * 「那份产物永远被判成本轮的」，一个只在中断时才暴露的静默缺陷。
+ */
+declare const ROUND_STAMPED_PRODUCTS: readonly ["topology.json", "valuedomain/_index.json", "mapping/_index.json"];
+/**
+ * 🔴 三档**不许合并**，它们的下一步动作完全不同：
+ *   complete = 所有产物同属一轮，且这一轮跑到了最后（台账落了盘）；
+ *   mixed    = 存在不同轮次的产物 / 有产物没戳 / 有产物缺席 / 这一轮没跑完 —— 都要指名道姓；
+ *   unknown  = 产物里根本没有 roundId（更早版本的 kit 爬的），**判不了**。
+ * ⚠️ `unknown` 这一档不许省：老基线不带戳，把它判成 complete 或 mixed 都是撒谎。
+ */
+declare const ROUND_STATES: readonly ["complete", "mixed", "unknown"];
+type RoundState = (typeof ROUND_STATES)[number];
+/**
+ * 档位 → 退出码。**这张表是唯一一处做这个映射的地方**，命令层只查表、一个字都不重判。
+ *
+ * 🔴 `unknown` 也非零：它是「判不了」，而脚本把「判不了」当成「没问题」继续往下走，
+ * 正是这一整节要防的事。
+ */
+declare const ROUND_EXIT_CODES: Record<RoundState, number>;
+/** 零网络子命令的名字。产物里教的读法与摘要里给的提示都从这里取，不抄第二份。 */
+declare const ROUND_SUBCOMMAND = "hcm delivery recon round";
+/** `20260816T075429Z-a1b2c3d4`。前半给顺序，后半给身份（理由见上方注释）。 */
+declare function newRoundId(started: Date): string;
+interface RoundProduct {
+    path: string;
+    state: 'this-round' | 'older-round' | 'unstamped' | 'missing' | 'unreadable';
+    roundId: string | null;
+}
+interface LedgerFilesMissing {
+    checked: number;
+    count: number;
+    files: string[];
+}
+interface RoundResult {
+    state: RoundState;
+    roundId: string | null;
+    roundStartedAt: unknown;
+    finished: boolean | null;
+    productsWrittenThisRound: number | null;
+    ledgerFilesMissing: LedgerFilesMissing | null;
+    products: RoundProduct[];
+    dir: string;
+    note: string;
+}
+/**
+ * 读一份**已经落盘**的基线，回答「它是不是一轮完整跑出来的」。
+ *
+ * 只读文件、零网络：顾问在气隙机器上、或者刚被 Ctrl-C 打断之后，手上就只有这几个文件
+ * （被打断的那一轮**不会**打印任何摘要 —— 所以这个判断不能只活在摘要里）。
+ */
+declare function inspectRound(root: string): RoundResult;
+/**
+ * 「台账点了名、盘上却没有」是**第三种事**，措辞不许与下面那四档任何一条重合（连子串都不许）：
+ * 带戳索引的 `missing` = 那份产物**根本没有**（这一轮没写到那里），下一步是重跑 recon；
+ * 本档 = **本轮写过、现在却找不到了**，下一步是先问「这份基线是怎么拷过来的」。
+ * 把两者说成同一句话，顾问就会去重跑一个其实拷漏了的基线，而漏的那几份下次还会漏。
+ */
+declare const LEDGER_MISSING_WORD = "\u672C\u8F6E\u5199\u8FC7\u3001\u73B0\u5728\u5374**\u627E\u4E0D\u5230\u4E86**\uFF08\u62F7\u8D1D / \u88C1\u526A\u65F6\u6F0F\u5E26\uFF0C\u6216\u4E8B\u540E\u88AB\u5220\uFF09";
+declare const PRODUCT_STATE_WORDS: Record<Exclude<RoundProduct['state'], 'this-round'>, string>;
+/**
+ * 两个 roundId 的时间差 —— 「旧到哪一轮」要说得出**多旧**才有用。
+ * 解析不出来就不说（宁可少说一句，也不许说错一个时间）。
+ */
+declare function roundAge(roundId: unknown, other: unknown): string;
+/** 把 `inspectRound` 的结论说成人话。三档措辞**互不重叠**，读者不必回头查文档。 */
+declare function renderRound(result: RoundResult): string;
+interface CarryOver {
+    mode: 'full' | 'targeted';
+    onlyModel: string | null;
+    modelsRecrawled: string[];
+    modelsCarriedOver: string[];
+    gatesCarriedOver: number;
+    problems: string[];
+    topologyRecomputed: boolean;
+    note: string;
+}
+interface RunReconOptions {
+    state?: string;
+    onlyModel?: string | null;
+    /** 服务端认定的 token 归属。落进 `valuedomain/_index.json`，`null` = 调用方没告诉我。 */
+    identity?: unknown;
+}
+interface ReconSummary {
+    driftSinceLastRecon: string[] | null;
+    modelsQueried: number;
+    metasCrawled: number;
+    unavailable: number;
+    gates: number;
+    fieldRows: number;
+    fieldsDropped: number;
+    carryOver: CarryOver;
+    crawledAtUnknown: number;
+    topology: Record<string, unknown>;
+    valuedomain: Record<string, unknown>;
+    mapping: Record<string, unknown>;
+    round: Record<string, unknown>;
+    coverage: GateCoverage & {
+        [KIT_CARRY_OVER_KEY]: CarryOver;
+    };
+    dir: string;
+}
+declare function runRecon(probe: ReconProbe, layout: ReconLayout, opts?: RunReconOptions): Promise<ReconSummary>;
+
+declare const ACLASS_KINDS: readonly ["fieldKey", "fieldLabel", "enumValue", "modelName", "codeValue", "naturalKey", "caliber"];
+type AclassKind = (typeof ACLASS_KINDS)[number];
+/** 枚举元素里**属于租户事实**的那几个键。 */
+declare const ENUM_ELEMENT_KEYS: readonly ["value", "label", "key"];
+declare const CLASS_SCOPE = "class";
+declare const ENTRY_SCOPE = "entry";
+/**
+ * 🔴 取值域要有个**唯一的**出处：`scope` 写错一个字母，那条类级台账就从
+ * `unguardedKinds` 里**静默消失** —— 症状与「这一类有人守」逐字相同。
+ */
+declare const SCOPES: readonly ["class", "entry"];
+declare const REASON_UNREAD = "unread";
+declare const REASON_EMPTY = "empty";
+/**
+ * **类级台账的 reason 取值域**。它存在的唯一理由是**给下游一个能绑的键集**：
+ * `scan.ts` 要按这两档说出「为什么这一类是空的」。下游查表用 `[]` 而不是 `.get(…, '')`
+ * —— 这里多一档而下游没跟上 ⇒ 当场炸，不是静默少一句话。
+ */
+declare const CLASS_REASONS: readonly ["unread", "empty"];
+/**
+ * 一条台账。
+ *
+ * 🔴 台账是**结构**不是字符串：判据要按「类级 / 条目级」分档，而分档信息一旦只活在
+ * 中文消息里，判据就得去解析散文 —— 改一个字就悄悄失效。
+ */
+interface AclassProblem {
+    readonly scope: string;
+    readonly reason: string;
+    readonly kinds: readonly AclassKind[];
+    readonly message: string;
+}
+type Aclass = Record<AclassKind, Set<string>>;
+/**
+ * → 类级台账点名的类集合。
+ *
+ * 🔴 **认不出的 `scope` 一律抛，不许当成条目级悄悄跳过**：`'clsss'` 这种手误会让那一条
+ * 从这个集合里消失，而「这一类没人守」与「这一类有人守」在返回值上**逐字同形**。
+ */
+declare function unguardedKinds(problems: readonly AclassProblem[]): Set<AclassKind>;
+interface DerivedAclass {
+    aclass: Aclass;
+    problems: AclassProblem[];
+}
+/**
+ * → `(aclass, problems)`。`aclass[kind]` 是 `Set<string>`，七个键**恒在**。
+ *
+ * `root` = recon 产物根（`ReconLayout.dir` 那一层）。
+ * `mappingArtifact` = 顾问手写的 `work/mapping.json` 路径；`null` 时 `naturalKey`
+ * 这一类**没有来源**，此事进 problems。
+ *
+ * 🔴 七个键恒在（而不是「有内容才建键」）：调用方按 `ACLASS_KINDS` 遍历时，
+ * 「这一类是空的」与「根本没有这一类」必须是两个状态 —— 后者读起来像「没查过」。
+ */
+declare function deriveAclass(root: string, mappingArtifact?: string | null): DerivedAclass;
+
+/** 工件契约版本。与 kit `init/artifacts.py::VERSION` 同值，刀 11 合流时以那一份为准。 */
+declare const MAPPING_ARTIFACT_VERSION = 1;
+/** 读不下去。`reason` 给程序判、`message` 给人读，两者都不许省。 */
+declare class MappingArtifactError extends Error {
+    readonly reason: string;
+    readonly message: string;
+    constructor(reason: string, message: string);
+}
+/**
+ * → 每个模型声明的业务键字段清单（没声明的模型给一个空数组，**不是**跳过）。
+ *
+ * 🔴 「这个模型没声明业务键」与「工件里根本没有这个模型」是两件事，
+ * 上游按数组长度对得上模型条数才说得清是哪一件。
+ */
+declare function readBusinessKeyFields(file: string): string[][];
+
+/** 一条登记项。三个键**恰好**是这些——多一个键不是「宽容」，是没人知道它什么意思。 */
+interface ProtocolFact {
+    /** 协议形态本身：端点写模板形（`/api/models/{model}/meta`），错误码写字面。 */
+    readonly token: string;
+    /** `<相对仓根的测试文件>::<该文件里的 `// P:` 标记>`。 */
+    readonly probe: string;
+    /** 这条事实说的是什么；给人读，不参与判据。 */
+    readonly note: string;
+}
+/** 台账作用域：整册级 vs 单条级。两者的下游去处不同（见 `scan.ts`）。 */
+declare const REGISTRY_SCOPE = "registry";
+declare const FACTS_SCOPES: readonly ["registry", "entry"];
+type FactsScope = (typeof FACTS_SCOPES)[number];
+/** 整册级成因。 */
+declare const REASON_NO_ENTRIES = "no-entries";
+/** 没给探针根 ⇒ 一条探针都没验过（**不是**「都验过了」）。 */
+declare const REASON_PROBE_UNVERIFIED = "probe-unverified";
+declare const REGISTRY_REASONS: readonly ["no-entries", "probe-unverified"];
+/** 单条级成因。 */
+declare const REASON_PROBE_SHAPE = "probe-shape";
+declare const REASON_PROBE_ABSENT = "probe-absent";
+declare const REASON_DUPLICATE_TOKEN = "duplicate-token";
+declare const FACTS_REASONS: readonly ["no-entries", "probe-unverified", "probe-shape", "probe-absent", "duplicate-token"];
+type FactsReason = (typeof FACTS_REASONS)[number];
+/** 一条台账。`token` 在整册级那一档是 `null`（那时候还没有具体条目可点名）。 */
+interface FactsProblem {
+    readonly scope: FactsScope;
+    readonly reason: FactsReason;
+    /** 第几条（从 1 起）；整册级是 0。 */
+    readonly index: number;
+    readonly token: string | null;
+    readonly message: string;
+}
+/** 探针标记在测试文件里的写法。**与 `// C:` 是两套记号**，理由见模块 docstring。 */
+declare const PROBE_MARK_PREFIX = "// P:";
+/**
+ * 随包登记册。
+ *
+ * 🔴 **两条，不是三条** —— kit 那边还登记着 `/api/auth/login`，这里**没有**，
+ * 而这是按 kit 自己那条纪律作的决定：**写不出断行为的探针就不登记**。
+ * 行为契约清单 §1.1 把「登录请求体带 tenantId、header 不带」判给了 CLI 既有的认证管道
+ * （`packages/core/src/auth/password.ts`），那一半**没有**任何一条用例断它的 wire shape
+ * ——「已核实」是一句读代码得来的话，不是一条会红的判据。
+ * ⇒ 本刀补了一条真断它的用例（`fde-gate0-facts.test.ts` 里那条带 `// P:` 标记的），
+ * 于是这条事实**付得起**探针，登记成立。**先有探针，才有登记**，顺序不许反。
+ */
+declare const PROTOCOL_FACTS: readonly ProtocolFact[];
+interface LoadedFacts {
+    /** 进了 `P` 的 token（付过探针的那些）。 */
+    facts: string[];
+    problems: FactsProblem[];
+}
+/**
+ * 装载登记册 → `(P, 台账)`。
+ *
+ * ## 🔴 探针在**什么时候**被验，与 kit 不同 —— 这一处必须说准
+ *
+ * kit 侧探针是**运行时**验的：它的包里带着自己的 `tests/`，现场跑一次就能确认每条登记
+ * 都真有背书。**npm 包里没有测试**（`files` 只发 `dist/**`）⇒ 同一个做法搬过来的后果是
+ * 每一次现场调用都判「一条探针都没验过」⇒ **rc 恒为 2**，闸从此说不出任何话。
+ *
+ * ⇒ 验的时刻**搬到构建期**：`PROTOCOL_FACTS` 是编译进包的常量，本仓的
+ * `fde-gate0-facts.test.ts` 逐条把它的探针解析到真文件真标记 —— 那条用例红，包就发不出去。
+ * 于是随包登记册在运行时**已经**是验过的，不必也无法再验一次。
+ *
+ * 🔴 **但「没查」与「查过」仍然不许同形**，所以这条豁免**只给随包那一份**：
+ * · 传进来的就是 `PROTOCOL_FACTS`（同一个引用）且没给 `probeRoot` ⇒ 构建期那道闸背书，不记账；
+ * · 传的是**别的**数组且没给 `probeRoot` ⇒ **没有任何东西验过它** ⇒ 记一条整册级
+ *   `probe-unverified`（下游据此判前提不成立）。
+ * · 给了 `probeRoot` ⇒ 当场逐条解析（本仓那条用例走的正是这条路）。
+ */
+declare function loadProtocolFacts(entries?: readonly ProtocolFact[], options?: {
+    probeRoot?: string;
+}): LoadedFacts;
+
+declare const CHANNEL_ACLASS = "aclass";
+declare const CHANNEL_ARTIFACT = "artifact-path";
+declare const CHANNEL_UNREGISTERED = "protocol-unregistered";
+declare const CHANNEL_REGISTERED_IS_ACLASS = "registered-but-is-aclass";
+declare const CHANNEL_NO_PROBE = "no-probe";
+declare const CHANNELS: readonly ["aclass", "artifact-path", "protocol-unregistered", "registered-but-is-aclass", "no-probe"];
+type Channel = (typeof CHANNELS)[number];
+declare const PREMISE_REASONS: readonly ["no-skill-root", "nothing-scanned", "file-unreadable", "aclass-empty", "aclass-partially-unread", "registry-not-established", "channel-four-unchecked", "baseline-round-not-complete", "symlink-not-scanned"];
+type PremiseReason = (typeof PREMISE_REASONS)[number];
+/**
+ * **哪些整册级台账算前提不成立**：除了「查过且为空」之外**全部**。
+ *
+ * 🔴 写成「全集减一个」而不是逐个枚举 —— 逐个枚举的那张表与 `REGISTRY_REASONS` 之间
+ * 没有任何东西绑住，对面加一档时这里静默漏掉，而漏掉的后果是「登记册根本没立住」
+ * 被判成 rc≤1，顾问照着一份**没有豁免通道**的判红清单去改 skill。
+ */
+declare const PREMISE_REGISTRY_REASONS: readonly string[];
+/**
+ * 端点：只认 `/api/` 与 `/ws/` 起头（缺口③）。`{model}` 这种模板段要收得下 ——
+ * 登记册登记的是**模板形态**，skill 正文里出现的往往是**具体形态**，两者必须能对上
+ * （对不上 ⇒ `P` 恒不命中 ⇒ 每一处端点提及都判假红，而两边都全绿）。
+ *
+ * 🔴 **左边界锚点不是装饰**：没有它时 `docs/reference/api/model-api-quickref.md` 会被抽成
+ * `/api/model-api-quickref.md` —— 一条**文档路径**被判进**可豁免的通道二**，消息叫人
+ * 「登记一条并挂上断行为的探针」。那比单纯指错方向更远：它**诱导往登记册里塞非协议条目**，
+ * 而登记册是整条公式里唯一的豁免通道，污染它等于给别的东西开后门。
+ * 🔴 放宽到只排除字母数字**会重新打开这个缺陷**（多抽以 `.md` 收尾的文档路径），
+ * 别顺手去调排除集。
+ */
+declare const ENDPOINT_PREFIXES: readonly ["api", "ws"];
+/**
+ * 产物文件名的后缀集。🔴 **只有这一个载体**：把 `json` / `jsonl` 在正则里再硬编码一遍时，
+ * 「哪些后缀算产物」会**分成两个答案**，症状是某一档静默不再命中 —— 而且往其中一个载体
+ * 打的变异**根本不生效**，差点被读成「守卫有洞」。
+ */
+declare const ARTIFACT_SUFFIXES: readonly [".json", ".jsonl"];
+/**
+ * 产物路径两档，`product-tree-path` 那一档**从产物根锚定**。
+ *
+ * 起手写的是「路径里有一段叫 `recon`/`index`/`meta`/`mapping`/`valuedomain`/`work`」——
+ * 那张目录名表**过判得离谱**：`src/index/router.ts`、`docs/meta/field-spec.md` 全被判成
+ * 产物路径，消息同样把人指错方向。⇒ 要求**真的从产物根起**。
+ */
+declare const ARTIFACT_ROOT = ".hcmnx";
+declare const RECON_DIRNAME = "recon";
+declare const RECON_SEGMENTS_BELOW_ROOT = 2;
+/**
+ * 产物根**下面一层**的形状。收窄成「从产物根锚定」时 `index/models.md` 这份**真产物**
+ * 掉出去了 ⇒ 补一档「**恰好两段**且（第一段, 末段后缀）是真产物真有的那几对」。
+ * 🔴 **末段必须是产物后缀**：只判「两段 + 产物子目录」时，`meta/capabilities` /
+ * `index/version` 这类**根本不是文件路径**的写法全被判红。
+ * 🔴 判的是**（子目录, 后缀）这一对**，不是两个独立集合的乘积：乘积里有 `meta/*.md`
+ * 这种真产物根本没有的组合，而散文里真有 `meta/README.md`。
+ * ⚠️ 名单与**真跑一次 recon** 落盘的形状绑住（`==` 不是 `⊆`，现算）：`⊆` 只管
+ * 「真产物的形状都在表里」，不管表里有没有多余的对。
+ */
+declare const PRODUCT_RELATIVE_SHAPES: ReadonlyArray<readonly [string, string]>;
+declare const RED_REASONS: Record<Channel, readonly string[]>;
+/**
+ * **每个 reason 一句自己的话，键集与 `RED_REASONS[CHANNEL_ARTIFACT]` 相等**。
+ *
+ * 起手这里是一句**二分**的三元表达式，而取值域早已是**三档** —— 中间没有任何东西绑住，
+ * 于是新加的那一档落进 `else` 分支，对着 `index/models.md` 说「以 .json/.jsonl 收尾」
+ * 「这一档会过判」：**两句全假**。后果比判错更难查 —— **判红是对的**，顾问会照着那两句
+ * 去改，而那两句描述的是另一档。⇒ 查表少一档当场炸，不静默回落到别人的话。
+ */
+declare const ARTIFACT_WORDING: Record<string, (token: string) => string>;
+/**
+ * 每一档类级成因一句自己的话，键集与 `aclass.CLASS_REASONS` 相等。
+ * 起手这两句话是**内联的字面量**，与 `aclass.ts` 的两个常量各写各的，中间没有任何东西
+ * 绑住 —— 只改其中一个值，全套照样全绿，而后果是前提消息里「为什么这一类是空的」那半句
+ * 静默消失，顾问只知道「空了」不知道该去查哪一头。
+ */
+declare const ACLASS_EMPTY_WHY: Record<string, string>;
+/**
+ * 一条判红。
+ *
+ * 🔴 判红是**结构**不是字符串：通道、成因、token、文件、行号各占一格。分档信息一旦只活在
+ * 中文消息里，判据就得去解析散文，改一个字悄悄失效。
+ * `path` / `line` 在整册级的通道三、通道四上是 `null` / `0`。
+ */
+interface Red {
+    readonly channel: Channel;
+    readonly reason: string;
+    readonly token: string;
+    readonly path: string | null;
+    readonly line: number;
+    readonly kinds: readonly AclassKind[];
+    readonly message: string;
+}
+/** 一条**前提级**台账 —— 它让 rc 变成 2，而不是让判红清单多一条。 */
+interface Premise {
+    readonly reason: PremiseReason;
+    readonly message: string;
+}
+/** 缺口的两档。**分桶不是分对错**：说不准的那一档**看得见但不拦人**。 */
+declare const GAP_NOISE_TOKEN = "pure-digit-or-single-char";
+declare const GAP_CJK_INSIDE_LONGER_RUN = "cjk-inside-longer-run";
+declare const GAP_REASONS: readonly ["pure-digit-or-single-char", "cjk-inside-longer-run"];
+type GapReason = (typeof GAP_REASONS)[number];
+/**
+ * 一条**查过、按缺口放行**的记录。
+ *
+ * 🔴 没有它，「这个 token 落在缺口里」与「压根没找过这个 token」在返回值上逐字同形。
+ */
+interface Gap {
+    readonly reason: GapReason;
+    readonly token: string;
+    readonly kinds: readonly AclassKind[];
+    readonly path: string;
+    readonly line: number;
+    readonly why: string;
+}
+/**
+ * → 判红清单原样返回；通道名 / 成因认不出来就**抛**。
+ *
+ * 🔴 fail-loud：`'aclas'` 这种手误会让那一条从任何按通道分类的统计里静默消失，
+ * 而「这一条判红了」与「这一条没判红」在按通道统计的结果上逐字同形。
+ */
+declare function checkReds(reds: readonly Red[]): Red[];
+/** → 缺口台账原样返回；`reason` 认不出来就**抛**（理由同 `checkReds`）。 */
+declare function checkGaps(gaps: readonly Gap[]): Gap[];
+/** → 前提级台账原样返回；`reason` 认不出来就**抛**（理由同 `checkReds`）。 */
+declare function checkPremise(problems: readonly Premise[]): Premise[];
+/**
+ * → 基线轮次这一档的前提级台账（`complete` ⇒ 空表）。
+ *
+ * 🔴 **判据只读 `inspectRound` 的结论，一个字都不重判**：门 0 自己比几份 roundId，
+ * 就是把 `inspectRound` 花整轮治掉的那个洞重新引回来。
+ * 🔴 **不认识的档位一律算「不完整」**（fail-closed）：生产者哪天多一档而这里没跟上时，
+ * 静默放行等于把没见过的状态当成 complete。
+ * ⚠️ **这一档的出路要联网，说清楚**：`unknown`（更早版本爬的老基线）唯一的出路是重跑一次
+ * `recon`，而它**要连客户内网的 HCM**。⇒ 在**拿不到网**的机器上这条路确实可能走不通 ——
+ * 那是一条真实的现场约束。放行它不是选项：那等于把「判不了」当「完整」。
+ */
+declare function baselineRoundPremise(round: Pick<RoundResult, 'state'> | null): Premise[];
+/**
+ * 这个 token 落不落在**判红这一层声明的缺口**里（纯数字 / 单字符）。
+ *
+ * 🔴 **不是「过滤噪声」而是「声明缺口」**：`7`（码表的 sortOrder）与 `男`（枚举 label）
+ * 是真的 A 类取值，写进 skill 正文本来就该判红。这里放行它们是因为拿它们当判据会把任何
+ * 一份中文文档淹成红海 —— 代价是这一档**门 0 恒绿**。落在这里的 token 逐条进 `gaps`，
+ * 不许说成「已覆盖」。
+ */
+declare function inGap(token: string): boolean;
+type Span = readonly [number, number];
+/**
+ * → 这一行里的端点 `[(token, span)]`，**两种形态都收**。
+ *
+ * 🔴 **这是端点抽取唯一的入口**：判据断在其中一条正则上、而另一条形态压根不存在时，
+ * 「端点抽得出来」在用例里成立、在真样本上整类落空。token 一律是**路径部分**，
+ * `span` 是**整段**（URL 形态含 scheme + host），后面几档正则靠它避让。
+ */
+declare function endpointsIn(line: string): Array<[string, Span]>;
+/**
+ * 端点归一：`{model}` / `{id}` 这类模板段一律写成 `{}`。
+ *
+ * 🔴 **幂等**（`normalize(normalize(t)) === normalize(t)`）—— 占位段的正则用 `*` 而不是 `+`，
+ * `{}` 自身归一后还是 `{}`。不幂等时「登记册里的 token」与「查表用的键」会随调用次数变形，
+ * 而症状是豁免时灵时不灵。
+ */
+declare function normalize(token: string): string;
+/**
+ * → 查 `P` 用的模板段清单（每条是一个段数组）。
+ *
+ * 🔴 **这是那道接缝的落点**：登记册登记的是模板形态 `/api/models/{model}/meta`，
+ * skill 正文里出现的是具体形态 `/api/models/Employee/meta`。按字符串相等查，`P` **恒不命中**，
+ * 于是每一处端点提及都判假红 —— 而登记册那边全绿、抽取器那边也全绿，两边谁也发现不了。
+ * 所以查表是**按段匹配**：段数相同、每一段要么逐字相等、要么登记的那一段是占位符。
+ */
+declare function factsIndex(facts: readonly string[]): string[][];
+/**
+ * 这个 token 有没有被 `P` 覆盖（`token ∈ P` 的实际判据）。
+ * 对没有斜杠的 token（错误码）退化成「与某条登记项逐字相等」。
+ *
+ * 🔴 **查询侧那个 `normalize` 是冗余的，别把它读成一道守卫**：`{}` 吃任意一段这一条
+ * **不足以**推出冗余，还得有「抽取器产出的 token 里，花括号只可能**占满整段**」这一条
+ * （它来自端点正则的段交替式）。两条合起来才推得出「查询侧归一改变不了任何结果」。
+ * 留着这次调用只是为了两侧口径出自同一个函数。真正承重的是下面按段匹配本身。
+ */
+declare function covered(token: string, index: readonly string[][]): boolean;
+declare const SEGMENT_SEPARATOR = "/";
+/**
+ * 把一个路径形态的 token 切成段。**路径分段这件事只有这一个出处**。
+ *
+ * 加这个函数不是为了好看：`artifactReason` 与用例里那几条「放宽面」谓词各自写
+ * `token.split('/')` 时，「怎么切段」有好几份载体，而判据那一侧的载体一旦漂了，守卫看不见。
+ */
+declare function segmentsOf(token: string): string[];
+/**
+ * 这个 token 是不是产物树里的路径片段（**无豁免**）；不是就返 `null`。
+ *
+ * · `product-tree-path` —— **从产物根锚定**：有一段是 `.hcmnx`，或有一段是 `recon` 且它
+ *   后面还有至少两段。这一档几乎不会误伤：它要求路径长得像**真的产物树**。
+ * · `product-relative-path` —— **恰好两段**，且（第一段, 末段后缀）是真产物**真有**的那几对。
+ * · `product-file-name` —— 文件名以 `.json` / `.jsonl` 收尾。这一档是**过判**：
+ *   `package.json` 也会红。留着它是因为产物**全部**是 json/jsonl，而收窄成「白名单文件名」
+ *   就成了一张没人维护的登记表（产物多一份、白名单不动，那一份从此免检）。
+ *   ⚠️ 拆成独立 reason 就是为了让读的人分得清「这条是真产物路径」与「这条只是恰好以
+ *   .json 收尾」—— 两者该不该照着改并不一样。
+ */
+declare function artifactReason(token: string): string | null;
+declare function isCjk(char: string | undefined): boolean;
+/**
+ * → `token` 在这一行里**按分词边界**出现的位置；没有就 -1。
+ *
+ * 🔴 边界只在**词字符**那一侧成立：`hireDate` 出现在 `myhireDates` 里不算数，
+ * 而 `已离职` 出现在 `已离职员工` 里**算数**（CJK 侧没有边界，见缺口②）。
+ * ⚠️ 「算数」不等于「判红」—— 它被分进第二个桶，见 `cjkRunAt`。
+ */
+declare function boundedFind(line: string, token: string): number;
+/**
+ * 这一处命中是不是**落在更长的中文串里**（缺口②的分桶判据）。
+ *
+ * 🔴 中文没有分词边界，所以这一档**分桶而非分对错**：token 的边是汉字、而紧挨着它的那个字
+ * 也是汉字 ⇒ 说不准（`数字员工` 里的 `员工`）。**假红会让顾问把门 0 整个关掉，比漏扫更糟**。
+ * ⇒ 两侧都不是汉字 ⇒ 照常判红；任一侧是汉字 ⇒ 进 `gaps`，**不顶 rc，但逐条印出**。
+ */
+declare function cjkRunAt(line: string, start: number, token: string): boolean;
+/** A 类七子集 → 逐行命中。两条实现路径见模块 docstring。 */
+declare class Matcher {
+    readonly owners: Map<string, AclassKind[]>;
+    private readonly simple;
+    private readonly byFirst;
+    constructor(aclass: Partial<Aclass>);
+    /**
+     * → 这一行命中的 `[(token, **有边界的**那一处的位置)]`，同一 token 一行只报一次。
+     *
+     * 🔴 **位置必须来自 `boundedFind`，不许再算一遍 `indexOf`**。起手那版用 `boundedFind`
+     * 确认「这一行**存在**一处合法边界命中」，返回的却是第一处裸子串 —— 可能根本不是那一处。
+     * 下游把这个位置交给 `cjkRunAt` 做分桶，于是**在同一行前面加一处诱饵写法就能把一条
+     * 真红压掉**。辖区 = 首/末字符为 CJK、另一端为词字符的**混合形态** token；纯 ASCII 与
+     * 纯 CJK 两个位置必然相等，所以此前每一项变异都照不到它。
+     * 「存在一处合法命中」是「这一处合法」的**必要条件**，不是充分条件。
+     *
+     * 🔴 **`sort` 不是洁癖，它是这份输出的确定性本身**：按插入序遍历会让非纯词形 token 的
+     * 先后随输入变化，集合、rc、判词全都一样，只有顺序变 —— 那正是「静默」的定义，
+     * 而它坏的是**验证仪器**：任何「前后两版输出逐字相等」的复核都会假红。
+     */
+    hits(line: string): Array<[string, number]>;
+}
+/**
+ * 全角**只映射字母与数字三段**，不动标点。这一半是**长度保持的 1:1 映射** ⇒ 它单独作用时
+ * 所有 span 语义原样成立。
+ * 🔴 **不做完整 NFKC**，两条都是实测，不是直觉：
+ *   ① NFKC 会把全角**标点**一并改写（全角括号、全角冒号、全角加号），而全角冒号参与
+ *      scheme-less host 的「名字:端口」形态、加号参与 naturalKey 的组合形态
+ *      （`code+orgUnitCode`）⇒ 端点抽取与通道一的口径都要重核；而那些全角标点在出厂
+ *      skill 里是**真有的**。它会动的还不止标点，还有带圈数字 —— 而带圈数字正是本模块
+ *      缺口清单的**编号载体**。
+ *   ② U+F900–FAFF 这一段**恰好在 `CJK_RANGES` 里**，而它里面**有**码位 NFKC 之后落到
+ *      `CJK_RANGES` 之外 ⇒ `isCjk` 翻转，缺口② 的分桶跟着变。（是「有」不是「整段」。）
+ */
+declare const FULLWIDTH_ALNUM_RANGES: ReadonlyArray<readonly [number, number, number]>;
+/**
+ * 归一之后才认出来的那一条红 / 缺口，**必须自己说出来**：不给它，顾问拿判词里那个词去
+ * 文件里 grep 会**一无所获**，然后判定门 0 报了假红。
+ * 🔴 **它带上原文里那一段的字面**：只说「grep 搜不到」是一句**没有出路**的话。
+ */
+declare const FOLDED_NOTE: string;
+/**
+ * 同形不同码 → 逐字节可比的形态。**幂等**（第二次调用是恒等变换）。
+ *
+ * 🔴 **不做 casefold**：A 类里**有** `code` 这一类通用词，casefold 之后英文散文里的
+ * `Claude Code` / `Code-First` 这类写法会整片判红 —— 假红面在扩大，而扩出来的那一批与
+ * 环境事实无关。⇒ 缺口⑨ 收窄成「**大小写变形仍不判**」，不许说成已覆盖。
+ * ⚠️ **只归一被扫的那一行，不归一 A 类 token 自己**（那一档至今没修，见缺口⑨）。
+ */
+declare function foldConfusables(line: string): string;
+/**
+ * → 这条红 / 缺口该追加的判词（`token` 在原文里逐字找得到时是**空串**）。
+ *
+ * 🔴 **条件是「这个 token 在原文里找不到」，不是「这一行被归一改动过」**。两者不等价，
+ * 而差出来的那一档会让判词**说假话**：一份带 BOM（`Cf` 类）的文件，整行都被归一改动过，
+ * 可 `hireDate` **在原文里逐字就在那儿**、grep 找得到 —— 按行判的话会给它贴上
+ * 「grep 会搜不到」。判词的整个立论是「一条把人指错方向的红比不红更贵」。
+ */
+declare function foldedNoteFor(original: string, folded: string, token: string): string;
+interface ScanResult {
+    red: Red[];
+    channels: Record<Channel, Red[]>;
+    scanned: string[];
+    gaps: Gap[];
+    premise: Premise[];
+}
+interface ScanOptions {
+    /** `loadProtocolFacts` 的台账。**不传 ⇒ 通道四一条都判不出来**，见下。 */
+    factsProblems?: readonly FactsProblem[];
+    /** `deriveAclass` 的台账。 */
+    aclassProblems?: readonly AclassProblem[];
+}
+/**
+ * → `{red, channels, scanned, gaps, premise}`。
+ *
+ * `skillRoot` = 一个 skill 的根目录。**扫描面 = 递归走得到的全部文件**（skill 正文 +
+ * `references/` 全目录 + 别的任何子目录，同一判据）。
+ * 🔴 **点目录不排除**：`grep -r` 进不了点目录、会假报零命中 —— 扫描面漏掉一支不会让任何
+ * 东西红，「没扫到」与「扫过、干净」逐字同形。
+ * 🔴 **「递归」这个词有一处例外**：**不进符号链接目录** ⇒ 软链目录 / 环路软链 / 断链
+ * **不跟随**，但**会被逐条判成前提级**（rc=2），不再静默。指向**文件**的软链照旧扫。
+ *
+ * `factsProblems` **有默认值，但那个默认值不代表「查过了」**：不传 ⇒ 通道四一条都判不出来，
+ * 而「登记册干干净净」与「根本没查登记册」在返回值上逐字同形 ⇒ 走到缺省就必然多一条
+ * 前提级台账。
+ * `aclassProblems` **两个去处**：类级那一档只用来把消息说清楚；**条目级那一档升前提**
+ * （`aclass-partially-unread`）—— 此前条目级被整类吞掉 ⇒ 一行坏数据里的环境事实逐字写进
+ * skill 也判不出来，而门 0 说「判红 0 条」、rc=0，是完整的静默假绿。
+ */
+declare function scan(skillRoot: string, aclass: Partial<Aclass>, facts: readonly string[], options?: ScanOptions): ScanResult;
+/**
+ * → 三档退出码。**不许合并**。
+ *
+ * 🔴 前提级**压过**判红：前提不成立时那份判红清单本身不可信。判红清单照打 ——
+ * rc 是给脚本的闸，清单是给人的依据。
+ */
+declare function exitCode(result: Pick<ScanResult, 'premise' | 'red'>): number;
+
+export { ACLASS_EMPTY_WHY, ACLASS_KINDS, ARTIFACT_ROOT, ARTIFACT_SUFFIXES, ARTIFACT_WORDING, AUTH_INFO_PATH, type Aclass, type AclassKind, type AclassProblem, type ActionHttpMethod, type ActionInput, type ActionMeta, type ActionResult, type ActionScope, type AdminResetPasswordRequest, type AdminResetPasswordResult, type AnyStreamEvent, type ApprovalConfirmPayload, type ApprovalRejectPayload, type AttachmentMeta, type AuthScheme, BLIND_SPOTS, type BootstrapReconcileResult, type BootstrapTenantRequest, type BootstrapTenantResult, CHANNELS, CHANNEL_ACLASS, CHANNEL_ARTIFACT, CHANNEL_NO_PROBE, CHANNEL_REGISTERED_IS_ACLASS, CHANNEL_UNREGISTERED, CLASS_REASONS, CLASS_SCOPE, type CacheClearResult, type CacheStats, type CarryOver, type ChangePasswordInput, type Channel, type ChironCategory, type ChironManifest, type ChironSkill, type ChironSkillFile, type ChironStage, type ClearMetaCacheOpts, CliError, CliErrorCode, type CliErrorInit, type ClientAuthContext, type ClientCredentialsInput, type ConnectionMessage, type ControlChannelEnvelope, type ConversationListItem, type ConversationListResult, type ConversationState, type CreateResult, type CreatedConversation, DEFAULT_AGENT_ID, DEFAULT_SESSION_TTL_SECONDS, DOCTOR_ANCHORS, type DescribeOpts, type DoctorAnchor, type DoctorCheck, type DoctorReport, ENDPOINT_PREFIXES, ENTRY_SCOPE, ENUM_ELEMENT_KEYS, EXTENSION_SOURCE_HEADER, type EnvConfig, ExitCode, FACTS_REASONS, FOLDED_NOTE, FULLWIDTH_ALNUM_RANGES, type FactsProblem, type FieldMeta, type Fingerprint, type Fixture, type FormatOptions, GAP_CJK_INSIDE_LONGER_RUN, GAP_NOISE_TOKEN, GAP_REASONS, GATE_COMPONENTS, type Gap, type GlobalConfig, HcmClient, type HcmClientOpts, type HttpClientOptions, type IdentityMeta, type ImportClient, type ImportOptions, type ImportResult, type InteractionAnswerPayload, type InteractionRequest, type InteractionResolved, KIT_CARRY_OVER_KEY, KIT_CRAWLED_AT_FILE, LEDGER_MISSING_WORD, LayoutContainmentError, type ListTenantMetaOpts, type LoginOutcome, MANIFEST_PATH, MAPPING_ARTIFACT_VERSION, MAX_MANIFEST_PAGES, MAX_SOURCE_PROBES, META_PATH, MINI_CONTEXT_FILE, MINI_CONTEXT_KIND, MINI_CONTEXT_VERSION, MINI_PULL_MANIFEST_FILE, MINI_REMOTE_ROOT, MINI_STATE_DIR, MODELS_PATH, MappingArtifactError, Matcher, type MessageClass, type MessageCreatePayload, type MessageStreamHandle, type MigrationSummary, type MiniFileSnapshot, type MiniInitArgs, type MiniLocalFile, type MiniLocalStatus, type MiniPreviewTarget, type MiniProjectContext, type MiniPullArgs, type MiniPullManifest, type MiniPullResult, type MiniPushArgs, type MiniPushConflict, type MiniPushOperation, type MiniPushPlanItem, type MiniPushResult, type MiniSmokeCheckArgs, type MiniSmokeFetch, type MiniSmokeFetchResponse, type MiniSmokeResult, type MiniSmokeTargetKind, type MiniSmokeTargetResult, type MiniStatusEntry, type MiniSurface, type MiniTemplateArgs, type MiniTemplateKind, type MiniValidationResult, type MiniVerifyAgentReport, type MiniVerifyBrowserAcceptance, type MiniVerifyChangedFile, type MiniVerifyNextAction, type MiniVerifyPlan, type MiniVerifyPreviewUrl, type MiniVerifyReport, type MiniVerifySummary, type MiniWritableTemplateConfig, type ModelDescription, type ModelQueryDsl, type OneShotOpts, type OneShotResult, type OneShotToolCall, type Outcome, type OutputFormat, PASSWORD_CHANGE_REQUIRED, PREMISE_REASONS, PREMISE_REGISTRY_REASONS, PROACTIVE_REFRESH_MARGIN_SECONDS, PROBE_MARK_PREFIX, PRODUCT_RELATIVE_SHAPES, PRODUCT_STATE_WORDS, PROTOCOL_FACTS, type PairingLoginInput, type ParsedPlaceholder, type PasswordChangeChallenge, type PasswordLoginInput, type PatLoginInput, type Premise, type Principal, type ProfileConfig, type ProtocolFact, type QueryResult, REASON_DUPLICATE_TOKEN, REASON_EMPTY, REASON_NO_ENTRIES, REASON_PROBE_ABSENT, REASON_PROBE_SHAPE, REASON_PROBE_UNVERIFIED, REASON_UNREAD, RECON_DIRNAME, RECON_SEGMENTS_BELOW_ROOT, RED_REASONS, REGISTRY_REASONS, REGISTRY_SCOPE, ROUND_EXIT_CODES, ROUND_STAMPED_PRODUCTS, ROUND_STATES, ROUND_SUBCOMMAND, type ReconIdentity, ReconLayout, type ReconProbe, type ReconSummary, type Red, RefStore, type RefreshInput, type RelationMeta, type RemoveResult, type ResponseCompletedPayload, type ResponseFailedPayload, type ResponsePartDeltaPayload, type ResponseStartedPayload, type ResumeSummary, type ResumeTurn, type RoundResult, type RoundState, type RowResult, type RowStatus, SCOPES, SDK_VERSION, SEGMENT_SEPARATOR, type SaveMetaResult, type ScanOptions, type ScanResult, type SendMessageOpts, type SettingItem, type SettingWrite, type StreamCancelPayload, type StreamCommand, type StreamCommandEnvelope, type StreamCommandType, type StreamEventEnvelope, type StreamEventType, TargetModelNotFound, type TaskProgressPayload, type TenantMetaEntry, type TimelineItemLite, type TokenRecord, TokenStore, type ToolCallFailedPayload, type ToolCallResultPayload, type ToolCallStartedPayload, type V4RenderSink, type V4StreamEventType, VERSION_PATH, type WorkspaceFileContent, type WorkspaceFileItem, type WorkspaceFileListResult, WsClient, type WsClientOpts, absoluteDownloadUrl, adminResetPassword, archiveDir, artifactReason, assertSafeReferencePath, assertSafeSkillFilePath, assertSafeSkillId, baselineRoundPremise, bootstrapTenant, boundedFind, buildAnswer, buildConfirm, buildInterrupt, buildMiniAppTemplateFiles, buildMiniPreviewTargets, buildMiniVerifyAgentReport, buildReject, buildResumeSummary, buildSteer, camelizeKeys, changePassword, checkGaps, checkPremise, checkReds, cjkRunAt, classifyMessage, clearMetaCache, clearModelCache, compareFingerprint, computeFingerprint, computeReconSourceKey, conversationStateFile, covered, create, createConversation, createHttpClient, createV4Reducer, createWorkspaceFile, credentialsFile, defaultDownloadDir, defaultMiniRequiredScopes, deleteEnv, deleteIdentity, deleteTenantMeta, deleteWorkspaceFile, deriveAclass, deriveNamelessToolLabel, describePrincipal, detectDelegationPause, detectDirectInteractionPending, detectPasswordChangeChallenge, displayWidth, downloadDocument, endpointsIn, ensureSessionFresh, envDir, envFile, envsDir, exitCode, exitCodeFor, extractNextSteps, factsIndex, fetchConversationTimeline, fetchConversationTimelineStrict, fetchRecentConversations, fetchReconIdentity, fetchSkillCatalog, fetchSkillFile, fetchSkillMarkdown, fetchSkillReference, filterByStage, findLastAssistantSeq, flattenSkills, foldConfusables, foldedNoteFor, formatMiniVerifyReport, formatObject, formatRows, fromAxiosError, getCacheStats, getMiniStatus, getSettingDomain, getTenantMeta, globalConfigFile, guessMimeType, hcmConfigDir, httpProbe, identitiesDir, identityDir, identityMetaFile, inGap, inferEnvName, inferMiniWritableTemplateOptionsFromModel, initMiniAppProject, inspectRound, isCjk, isDelegationToolName, isServerSlidingSession, listEnvs, listIdentities, listProfiles, listTenantMeta, listWorkspaceFiles, loadConversationState, loadEnv, loadGlobalConfig, loadIdentity, loadProfile, loadProtocolFacts, loadWorkspaceFileContent, loginClientCredentials, loginPairing, loginPassword, loginPat, matchSkills, migrateLegacyProfiles, modelEntries, modelKeys, needsRefresh, newRoundId, normalize, normalizeReferences, oneShot, parseConfirmToolName, parseFixture, parseInteractionRequest, parseInteractionResolved, parsePlaceholder, parseSettingAssignment, parseSkillFrontmatter, parseSkillRequirements, patchSettingDomain, probeExtensionSource, profileDir, profileFile, pullMiniAppProject, pushMiniAppProject, readBusinessKeyFields, readMiniContext, readPullManifest, refreshToken, remove, renderRound, replHistoryFile, resetSettingItem, resolveActiveEnv, resolveActiveIdentity, resolveActiveProfile, resolveAllSkillsInstallOrder, resolveChironBase, resolveRefs, resolveSkillInstallOrder, roundAge, runDoctor, runImport, runMiniSmokeChecks, runRecon, safeSegment, saveConversationState, saveEnv, saveGlobalConfig, saveIdentity, saveProfile, saveTenantMeta, saveWorkspaceFileContent, scan, segmentsOf, sendMessageAndStream, snakeToCamel, tenantSegment, toJson, toOrigin, toPrincipal, toTable, toYaml, truncateDisplay, unguardedKinds, update, uploadDocument, validateMiniProject };