@allocator-one/rcl 4.5.3 → 4.5.5

package/dist/converge/semantic-state.d.ts

@@ -0,0 +1,55 @@
+import { type NativeTargetOwnership } from './target-ownership.js';
+import { migratedLegacyPendingRound } from '../evidence/claim-recovery/validation/obligations.js';
+export { migratedLegacyPendingRound };
+import { type ClaimDescriptor, type MatchRationale } from '../consensus/claim-identity.js';
+import type { ConsensusFinding, ReviewResult } from '../consensus/types.js';
+import { type ProcessRoundOptions, type RoundReport, type ConvergeRunState, type FindingStatus } from './run-state.js';
+export interface ReportBinding {
+    runId: string;
+    target: string;
+    round: number;
+    reportSha256: string;
+    sourcePath: string;
+}
+export interface SemanticSighting {
+    runId: string;
+    target: string;
+    round: number;
+    reportSha256: string;
+    findingRef: string;
+    reportKey: string;
+    canonicalIdentity: string;
+    claimDescriptor: ClaimDescriptor;
+    matchRationale: MatchRationale;
+    status: FindingStatus;
+    /** Obligation immediately after this sighting, before subsequent verdicts. */
+    pendingRound: number | null;
+    suppressReason?: string;
+    severity: ConsensusFinding['severity'];
+    gating: string;
+    belowThreshold: boolean;
+    file: string;
+    category: string;
+    startLine: number;
+    endLine: number;
+}
+/** Validate exact original bytes and caller bindings before any durable effect. */
+export declare function bindRoundEvidence(options: ProcessRoundOptions): ReportBinding;
+export declare function retainReportEvidence(raw: string, binding: ReportBinding): Promise<void>;
+export declare function verifyRoundBinding(binding: ReportBinding, target: string, round: number, runId: string): Promise<ReviewResult>;
+/** All native consumers validate the same immutable sighting membership before effects. */
+export declare function validateSemanticState(state: ConvergeRunState, gitCommonDir: string, recoveryLegacy?: ConvergeRunState): Promise<void>;
+/** @internal Linear first-seen index for admission candidates. */
+export declare function indexSemanticPriorByFileCategory<T extends {
+    file: string;
+    category: string;
+}>(prior: readonly T[]): Map<string, T[]>;
+/** Frozen batch matching: a component must be a clique and agree on one prior claim. */
+export declare function processSemanticRound(options: ProcessRoundOptions, binding: ReportBinding, ownership: NativeTargetOwnership): Promise<RoundReport>;
+/** Historical attribution may add an escalation obligation, never clear one.
+ * Each recovery operation is bound to the exact predecessor state that existed
+ * before it. A later refresh cannot rewrite the dismissal explaining an earlier
+ * semantic sighting. */
+/** @internal Physical adapter for the shared retained-dismissal projection. */
+export declare function retainedRecoveredDismissalsByRound(state: ConvergeRunState, gitCommonDir: string): Promise<Map<number, Map<string, string>>>;
+export declare function pending(state: ConvergeRunState): string[];