@mcptoolshop/research-os 0.1.1 → 0.3.0

package/dist/index.d.ts

@@ -1201,6 +1201,7 @@ declare const ClaimSchema: z.ZodObject<{
 }>;
 type Claim = z.infer<typeof ClaimSchema>;
 
+type DetectorMode = 'auto' | 'heuristic' | 'ollama-intern';
 type ContradictionType = 'direct_conflict' | 'scope_conflict' | 'temporal_conflict' | 'definition_conflict' | 'evidence_conflict' | 'overgeneralization_risk';
 type Severity = 'low' | 'medium' | 'high' | 'blocking';
 type ContradictionDetectorName = 'heuristic' | 'ollama-intern';
@@ -1237,6 +1238,13 @@ interface MapOptions {
     sectionId: string;
     packPath?: string;
     detectors?: ContradictionDetector[];
+    detectorMode?: DetectorMode;
+    ollamaConfig?: {
+        host?: string;
+        model?: string;
+        timeoutMs?: number;
+        fetchImpl?: typeof fetch;
+    };
     triagedOnly?: boolean;
 }
 interface MapSummary {
@@ -1249,6 +1257,7 @@ interface MapSummary {
     contradictionsDeduped: number;
     contradictionIds: string[];
     detectorError: string | null;
+    detectorAnnouncement: string;
 }
 
 declare function map(options: MapOptions): Promise<MapSummary>;
@@ -1311,7 +1320,7 @@ interface OllamaContradictionConfig {
 declare class OllamaInternContradictionDetector implements ContradictionDetector {
     readonly name: "ollama-intern";
     private readonly host;
-    private readonly model;
+    readonly model: string;
     private readonly timeoutMs;
     private readonly fetchImpl;
     constructor(config?: OllamaContradictionConfig);
@@ -2486,6 +2495,7 @@ interface SectionState {
     candidate_claims_total: number;
     unresolved_contradiction_ids: string[];
     blocking_reasons: string[];
+    active_blockers: string[];
     blocking_contradictions_unresolved: number;
     provenance_summary?: ProvenanceSummary;
 }
@@ -2612,6 +2622,7 @@ declare const SectionStateSchema: z.ZodObject<{
     candidate_claims_total: z.ZodNumber;
     unresolved_contradiction_ids: z.ZodArray<z.ZodString, "many">;
     blocking_reasons: z.ZodArray<z.ZodString, "many">;
+    active_blockers: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     blocking_contradictions_unresolved: z.ZodNumber;
     provenance_summary: z.ZodOptional<z.ZodObject<{
         accepted_count: z.ZodNumber;
@@ -2687,6 +2698,7 @@ declare const SectionStateSchema: z.ZodObject<{
     dispositioned_claim_ids: string[];
     candidate_claims_total: number;
     unresolved_contradiction_ids: string[];
+    active_blockers: string[];
     blocking_contradictions_unresolved: number;
     provenance_summary?: {
         accepted_count: number;
@@ -2721,6 +2733,7 @@ declare const SectionStateSchema: z.ZodObject<{
     unresolved_contradiction_ids: string[];
     blocking_contradictions_unresolved: number;
     dispositioned_claim_ids?: string[] | undefined;
+    active_blockers?: string[] | undefined;
     provenance_summary?: {
         accepted_count: number;
         rejected_count: number;
@@ -2806,6 +2819,7 @@ declare const CoworkHandoffPayloadSchema: z.ZodObject<{
         candidate_claims_total: z.ZodNumber;
         unresolved_contradiction_ids: z.ZodArray<z.ZodString, "many">;
         blocking_reasons: z.ZodArray<z.ZodString, "many">;
+        active_blockers: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         blocking_contradictions_unresolved: z.ZodNumber;
         provenance_summary: z.ZodOptional<z.ZodObject<{
             accepted_count: z.ZodNumber;
@@ -2881,6 +2895,7 @@ declare const CoworkHandoffPayloadSchema: z.ZodObject<{
         dispositioned_claim_ids: string[];
         candidate_claims_total: number;
         unresolved_contradiction_ids: string[];
+        active_blockers: string[];
         blocking_contradictions_unresolved: number;
         provenance_summary?: {
             accepted_count: number;
@@ -2915,6 +2930,7 @@ declare const CoworkHandoffPayloadSchema: z.ZodObject<{
         unresolved_contradiction_ids: string[];
         blocking_contradictions_unresolved: number;
         dispositioned_claim_ids?: string[] | undefined;
+        active_blockers?: string[] | undefined;
         provenance_summary?: {
             accepted_count: number;
             rejected_count: number;
@@ -3005,6 +3021,7 @@ declare const CoworkHandoffPayloadSchema: z.ZodObject<{
         dispositioned_claim_ids: string[];
         candidate_claims_total: number;
         unresolved_contradiction_ids: string[];
+        active_blockers: string[];
         blocking_contradictions_unresolved: number;
         provenance_summary?: {
             accepted_count: number;
@@ -3074,6 +3091,7 @@ declare const CoworkHandoffPayloadSchema: z.ZodObject<{
         unresolved_contradiction_ids: string[];
         blocking_contradictions_unresolved: number;
         dispositioned_claim_ids?: string[] | undefined;
+        active_blockers?: string[] | undefined;
         provenance_summary?: {
             accepted_count: number;
             rejected_count: number;
@@ -5902,6 +5920,6 @@ declare class SynthesisNotReadyError extends ResearchOSError {
     constructor(mode: string);
 }
 
-declare const RESEARCH_OS_VERSION = "0.1.0";
+declare const RESEARCH_OS_VERSION = "0.3.0";
 
-export { type AllowedSynthesisInput, AllowedSynthesisInputSchema, type ApproveOptions, type ApproveResult, type ArchivedArtifact, ArchivedArtifactSchema, type ArtifactHash, ArtifactHashSchema, type AuditDensityOptions, type AuditDensityResult, type HandoffMode as AuditHandoffMode, HandoffModeSchema as AuditHandoffModeSchema, type AuditOptions, type AuditSummary, type CitationCoverage, type Claim, type ClaimCluster, ClaimClusterSchema, type ClaimCounts, type ClaimDensityAudit, ClaimDensityAuditSchema, type ClaimExtractionInput, type ClaimExtractionResult, type ClaimExtractor, type ClaimExtractorAdapter, ClaimExtractorSchema, type ClaimReview, ClaimReviewSchema, ClaimSchema, type ClaimSummary, type ClaimTriage, ClaimTriageSchema, type Confidence, ConfidenceSchema, type Contradiction, ContradictionConfidenceSchema, type ContradictionCounts, type ContradictionDetector, type ContradictionDetectorName, ContradictionDetectorSchema, type ContradictionResolution, ContradictionResolutionSchema, ContradictionSchema, type ContradictionStatus, ContradictionStatusSchema, type ContradictionSummary, type ContradictionType, ContradictionTypeSchema, type CoworkHandoffPayload$1 as CoworkHandoffPayload, CoworkHandoffPayloadSchema, type CrossSectionContradictionRef, CrossSectionContradictionRefSchema, type CrossSectionMap, CrossSectionMapSchema, DEFAULT_PROFILE, type DensityFlag, DensityFlagSchema, type DetectionResult, type DiscoverOptions, type DiscoverProposal, type DiscoverProvider, type DiscoverProviderInput, type DiscoverProviderResult, type DiscoverResult, type DiscoveryCandidate, DiscoveryCandidateSchema, type DiscoveryCandidateStatus, DiscoveryCandidateStatusSchema, type DiscoverySummary, DiscoverySummarySchema, type DraftClaim, type DraftContradiction, type DraftFinding, EXCERPT_ID_PATTERN, type Excerpt, type ExcerptDraft, type ExcerptOrigin, ExcerptOriginSchema, ExcerptSchema, type ExportOptions, type ExportSummary, type ExportUrlsOptions, type ExportUrlsResult, type ExtractClaimsOptions, type ExtractClaimsSummary, type ExtractionInput, type ExtractionResult, type Extractor, type ExtractorName, ExtractorNameSchema, FORBIDDEN_ACTIONS_ALWAYS, type FetchReceipt, FetchReceiptSchema, type FindingCategory, FindingCategorySchema, type FindingSeverity, FindingSeveritySchema, type ForbiddenInput, ForbiddenInputSchema, type FreezeOptions, type FreezeReceiptPayload, FreezeReceiptPayloadSchema, type FreezeRefusalPayload, FreezeRefusalPayloadSchema, type FreezeSummary, type FreshnessSummary, type GateCheckResult, GateCheckResultSchema, type GateCheckStatus, GateCheckStatusSchema, type GateConfig, GateConfigSchema, type GateFamily, GateFamilySchema, type GateInput, type GateVerdictEntry, GateVerdictEntrySchema, type GatherOptions, type GatherSummary, type HandoffMode$1 as HandoffMode, HandoffModeSchema$1 as HandoffModeSchema, HandoffNotFoundError, type HandoffOptions, type HandoffSummary, HeuristicClaimExtractor, HeuristicContradictionDetector, HeuristicExtractor, HeuristicReviewer, type IndexBuildOptions, type IndexBuildSummary, IndexNotBuiltError, type IndexQueryOptions, type IndexQuerySummary, type IndexStatus, IndexStatusSchema, type InitOptions, type InitResult, IntakeValidationError, type IntegrityCheck, IntegrityCheckSchema, InvalidSectionIdError, type InvalidateExtractionOptions, type InvalidateExtractionResult, type InvalidateReviewOptions, type InvalidateReviewResult, type InvalidationReceipt, InvalidationReceiptSchema, LlmHeuristicDiscoverProvider, type LoadOrBuildArgs, type LoadOrBuildResult, type MapOptions, type MapSummary, type NearDuplicateCluster, NearDuplicateClusterSchema, NoSourcesGatheredError, NoUrlsProvidedError, OllamaInternClaimExtractor, OllamaInternContradictionDetector, OllamaInternExtractor, OllamaInternReviewer, type OrphanClaimRow, OrphanClaimRowSchema, type OverlapAssessment, OverlapAssessmentSchema, type PackAuditPayload, PackAuditPayloadSchema, PackExistsError, PackNotFoundError, type PackVerdict, PackVerdictSchema, type PairedDraft, type PerSourceDensity, PerSourceDensitySchema, type PrimarySourceWaiver, PrimarySourceWaiverSchema, type PromoteOptions, type PromoteResult, type QueryHit, RESEARCH_OS_VERSION, type ReadinessSummary, type RecordType, type RejectOptions, type RejectResult, type Relevance, RelevanceSchema, ResearchOSError, type ResearchYaml, ResearchYamlSchema, type ResolutionStatus, ResolutionStatusSchema, type ReviewActive, ReviewActiveSchema, ReviewConfidenceSchema, type ReviewDecision, type ReviewDecisionCount, ReviewDecisionCountSchema, ReviewDecisionSchema, type ReviewFinding, ReviewFindingSchema, type ReviewInvalidationReceipt, ReviewInvalidationReceiptSchema, type ReviewSnapshot, ReviewSnapshotSchema, type ReviewState, ReviewStateSchema, type ReviewSummary, type Reviewer, type ReviewerInput, type ReviewerName, ReviewerNameSchema, type ReviewerResult, type RunGateOptions, type RunReviewOptions, type RunReviewSummary, SCHEMA_VERSION, type ScopeIntegritySummary, type ScopeOverlap, ScopeOverlapSchema, type ScopeWideningRiskRow, ScopeWideningRiskRowSchema, type Section, type SectionAcceptedSummary, SectionAcceptedSummarySchema, type SectionAddOptions, type SectionAddResult, SectionExistsError, type SectionGateResult$1 as SectionGateResult, SectionGateResultSchema, type SectionGatesYaml, SectionGatesYamlSchema, SectionNotFoundError, type SectionReport, SectionReportAcceptanceSchema, SectionReportContradictionsSchema, SectionReportExtractionSchema, type SectionReportOptions, type SectionReportResult, SectionReportReviewSchema, SectionReportSchema, SectionReportSourcesSchema, SectionSchema, type SectionState, SectionStateSchema, type SectionStatusChange, SectionStatusChangeSchema, type Severity, SeveritySchema, type SharedSource, SharedSourceSchema, type SourceCard, SourceCardSchema, type SourceCounts, type SourceDiversityGapRow, SourceDiversityGapRowSchema, type SourceFetchPair, type SourceSummary, type SourceType, type SourceTypeGuess, SourceTypeGuessSchema, SourceTypeSchema, type StaleSourceRow, StaleSourceRowSchema, type SyncOptions, type SyncSummary, SynthesisNotReadyError, type SynthesisReadinessRow, SynthesisReadinessRowSchema, TemplateNotFoundError, type TriageDecision, TriageDecisionSchema, type TriageOptions, type TriageRunResult, type TriageSummary, TriageSummarySchema, type UnresolvedContradictionRow, UnresolvedContradictionRowSchema, type Verdict, VerdictSchema, type WaiverApplication, WaiverApplicationSchema, type WaiverDependency, WaiverDependencySchema, type WaiverEntry, WaiverEntrySchema, type WaiverSummary, type WeakSourceRow, WeakSourceRowSchema, type WorkspaceOptions, type WorkspaceSummary, add, aggregate, appendFetchLog, appendSectionSourceId, applySchema, applyWaivers, approve, assessScopeOverlap, audit, auditDensity, build, buildCard, buildExcerptIndex, buildResearchYaml, checkClaimIntegrity, checkContradiction, checkFreshness, checkScopeIntegrity, checkSectionBudget, checkSourceFloor, chunkKeyPoints, chunkRawText, collectUrls, dedupeAndValidate, defaultClaimExtractors, defaultContradictionDetectors, defaultExtractors, defaultReviewers, derive, deriveClaimReviews, deriveCrossSectionMap, discover, evidenceGrounded, exportRepoKnowledge, exportUrls, extract, extractClaimCitations, extractContradictionDisclosures, extractWaiverDisclosures, fetchOnce, freeze, gate, gather, handoff, hasNegation, indexDbPath, init, invalidateExtraction, invalidateReview, isValidProfileName, jaccardSimilarity, ledgerPathFor, loadOrBuildLedger, makeReceiptId, makeSourceId, map, normalizeOllamaHost, openIndexDb, parseUrlsFileText, pickClaimExtractor, pickContradictionDetector, pickExtractor, pickReviewer, profileDir, promote, query, readActiveProfile, readTriagedClaimIds, readUrlsFile, reject, renderCoworkMaster, renderCrossSectionMapMarkdown, renderDecisionBrief, renderFinalReport, renderFreezeReceiptMarkdown, renderFreezeRefusalMarkdown, renderGateMarkdown, renderLedgerForPrompt, renderMarkdownView, renderOrphanClaimsMarkdown, renderPackAuditMarkdown, renderReviewMarkdown, renderScopeWideningRisksMarkdown, renderSourceDiversityGapsMarkdown, renderStaleSourcesMarkdown, renderSynthesisReadinessMarkdown, renderUnresolvedContradictionsMarkdown, renderWeakSourcesMarkdown, renderWorkingReport, reportSection, resolve, review, reviewActivePath, slugify, syncRepoKnowledge, tokenize, triage, workspace, writeActiveProfile, writeSourceCard };
+export { type AllowedSynthesisInput, AllowedSynthesisInputSchema, type ApproveOptions, type ApproveResult, type ArchivedArtifact, ArchivedArtifactSchema, type ArtifactHash, ArtifactHashSchema, type AuditDensityOptions, type AuditDensityResult, type HandoffMode as AuditHandoffMode, HandoffModeSchema as AuditHandoffModeSchema, type AuditOptions, type AuditSummary, type CitationCoverage, type Claim, type ClaimCluster, ClaimClusterSchema, type ClaimCounts, type ClaimDensityAudit, ClaimDensityAuditSchema, type ClaimExtractionInput, type ClaimExtractionResult, type ClaimExtractor, type ClaimExtractorAdapter, ClaimExtractorSchema, type ClaimReview, ClaimReviewSchema, ClaimSchema, type ClaimSummary, type ClaimTriage, ClaimTriageSchema, type Confidence, ConfidenceSchema, type Contradiction, ContradictionConfidenceSchema, type ContradictionCounts, type ContradictionDetector, type ContradictionDetectorName, ContradictionDetectorSchema, type ContradictionResolution, ContradictionResolutionSchema, ContradictionSchema, type ContradictionStatus, ContradictionStatusSchema, type ContradictionSummary, type ContradictionType, ContradictionTypeSchema, type CoworkHandoffPayload$1 as CoworkHandoffPayload, CoworkHandoffPayloadSchema, type CrossSectionContradictionRef, CrossSectionContradictionRefSchema, type CrossSectionMap, CrossSectionMapSchema, DEFAULT_PROFILE, type DensityFlag, DensityFlagSchema, type DetectionResult, type DetectorMode, type DiscoverOptions, type DiscoverProposal, type DiscoverProvider, type DiscoverProviderInput, type DiscoverProviderResult, type DiscoverResult, type DiscoveryCandidate, DiscoveryCandidateSchema, type DiscoveryCandidateStatus, DiscoveryCandidateStatusSchema, type DiscoverySummary, DiscoverySummarySchema, type DraftClaim, type DraftContradiction, type DraftFinding, EXCERPT_ID_PATTERN, type Excerpt, type ExcerptDraft, type ExcerptOrigin, ExcerptOriginSchema, ExcerptSchema, type ExportOptions, type ExportSummary, type ExportUrlsOptions, type ExportUrlsResult, type ExtractClaimsOptions, type ExtractClaimsSummary, type ExtractionInput, type ExtractionResult, type Extractor, type ExtractorName, ExtractorNameSchema, FORBIDDEN_ACTIONS_ALWAYS, type FetchReceipt, FetchReceiptSchema, type FindingCategory, FindingCategorySchema, type FindingSeverity, FindingSeveritySchema, type ForbiddenInput, ForbiddenInputSchema, type FreezeOptions, type FreezeReceiptPayload, FreezeReceiptPayloadSchema, type FreezeRefusalPayload, FreezeRefusalPayloadSchema, type FreezeSummary, type FreshnessSummary, type GateCheckResult, GateCheckResultSchema, type GateCheckStatus, GateCheckStatusSchema, type GateConfig, GateConfigSchema, type GateFamily, GateFamilySchema, type GateInput, type GateVerdictEntry, GateVerdictEntrySchema, type GatherOptions, type GatherSummary, type HandoffMode$1 as HandoffMode, HandoffModeSchema$1 as HandoffModeSchema, HandoffNotFoundError, type HandoffOptions, type HandoffSummary, HeuristicClaimExtractor, HeuristicContradictionDetector, HeuristicExtractor, HeuristicReviewer, type IndexBuildOptions, type IndexBuildSummary, IndexNotBuiltError, type IndexQueryOptions, type IndexQuerySummary, type IndexStatus, IndexStatusSchema, type InitOptions, type InitResult, IntakeValidationError, type IntegrityCheck, IntegrityCheckSchema, InvalidSectionIdError, type InvalidateExtractionOptions, type InvalidateExtractionResult, type InvalidateReviewOptions, type InvalidateReviewResult, type InvalidationReceipt, InvalidationReceiptSchema, LlmHeuristicDiscoverProvider, type LoadOrBuildArgs, type LoadOrBuildResult, type MapOptions, type MapSummary, type NearDuplicateCluster, NearDuplicateClusterSchema, NoSourcesGatheredError, NoUrlsProvidedError, OllamaInternClaimExtractor, OllamaInternContradictionDetector, OllamaInternExtractor, OllamaInternReviewer, type OrphanClaimRow, OrphanClaimRowSchema, type OverlapAssessment, OverlapAssessmentSchema, type PackAuditPayload, PackAuditPayloadSchema, PackExistsError, PackNotFoundError, type PackVerdict, PackVerdictSchema, type PairedDraft, type PerSourceDensity, PerSourceDensitySchema, type PrimarySourceWaiver, PrimarySourceWaiverSchema, type PromoteOptions, type PromoteResult, type QueryHit, RESEARCH_OS_VERSION, type ReadinessSummary, type RecordType, type RejectOptions, type RejectResult, type Relevance, RelevanceSchema, ResearchOSError, type ResearchYaml, ResearchYamlSchema, type ResolutionStatus, ResolutionStatusSchema, type ReviewActive, ReviewActiveSchema, ReviewConfidenceSchema, type ReviewDecision, type ReviewDecisionCount, ReviewDecisionCountSchema, ReviewDecisionSchema, type ReviewFinding, ReviewFindingSchema, type ReviewInvalidationReceipt, ReviewInvalidationReceiptSchema, type ReviewSnapshot, ReviewSnapshotSchema, type ReviewState, ReviewStateSchema, type ReviewSummary, type Reviewer, type ReviewerInput, type ReviewerName, ReviewerNameSchema, type ReviewerResult, type RunGateOptions, type RunReviewOptions, type RunReviewSummary, SCHEMA_VERSION, type ScopeIntegritySummary, type ScopeOverlap, ScopeOverlapSchema, type ScopeWideningRiskRow, ScopeWideningRiskRowSchema, type Section, type SectionAcceptedSummary, SectionAcceptedSummarySchema, type SectionAddOptions, type SectionAddResult, SectionExistsError, type SectionGateResult$1 as SectionGateResult, SectionGateResultSchema, type SectionGatesYaml, SectionGatesYamlSchema, SectionNotFoundError, type SectionReport, SectionReportAcceptanceSchema, SectionReportContradictionsSchema, SectionReportExtractionSchema, type SectionReportOptions, type SectionReportResult, SectionReportReviewSchema, SectionReportSchema, SectionReportSourcesSchema, SectionSchema, type SectionState, SectionStateSchema, type SectionStatusChange, SectionStatusChangeSchema, type Severity, SeveritySchema, type SharedSource, SharedSourceSchema, type SourceCard, SourceCardSchema, type SourceCounts, type SourceDiversityGapRow, SourceDiversityGapRowSchema, type SourceFetchPair, type SourceSummary, type SourceType, type SourceTypeGuess, SourceTypeGuessSchema, SourceTypeSchema, type StaleSourceRow, StaleSourceRowSchema, type SyncOptions, type SyncSummary, SynthesisNotReadyError, type SynthesisReadinessRow, SynthesisReadinessRowSchema, TemplateNotFoundError, type TriageDecision, TriageDecisionSchema, type TriageOptions, type TriageRunResult, type TriageSummary, TriageSummarySchema, type UnresolvedContradictionRow, UnresolvedContradictionRowSchema, type Verdict, VerdictSchema, type WaiverApplication, WaiverApplicationSchema, type WaiverDependency, WaiverDependencySchema, type WaiverEntry, WaiverEntrySchema, type WaiverSummary, type WeakSourceRow, WeakSourceRowSchema, type WorkspaceOptions, type WorkspaceSummary, add, aggregate, appendFetchLog, appendSectionSourceId, applySchema, applyWaivers, approve, assessScopeOverlap, audit, auditDensity, build, buildCard, buildExcerptIndex, buildResearchYaml, checkClaimIntegrity, checkContradiction, checkFreshness, checkScopeIntegrity, checkSectionBudget, checkSourceFloor, chunkKeyPoints, chunkRawText, collectUrls, dedupeAndValidate, defaultClaimExtractors, defaultContradictionDetectors, defaultExtractors, defaultReviewers, derive, deriveClaimReviews, deriveCrossSectionMap, discover, evidenceGrounded, exportRepoKnowledge, exportUrls, extract, extractClaimCitations, extractContradictionDisclosures, extractWaiverDisclosures, fetchOnce, freeze, gate, gather, handoff, hasNegation, indexDbPath, init, invalidateExtraction, invalidateReview, isValidProfileName, jaccardSimilarity, ledgerPathFor, loadOrBuildLedger, makeReceiptId, makeSourceId, map, normalizeOllamaHost, openIndexDb, parseUrlsFileText, pickClaimExtractor, pickContradictionDetector, pickExtractor, pickReviewer, profileDir, promote, query, readActiveProfile, readTriagedClaimIds, readUrlsFile, reject, renderCoworkMaster, renderCrossSectionMapMarkdown, renderDecisionBrief, renderFinalReport, renderFreezeReceiptMarkdown, renderFreezeRefusalMarkdown, renderGateMarkdown, renderLedgerForPrompt, renderMarkdownView, renderOrphanClaimsMarkdown, renderPackAuditMarkdown, renderReviewMarkdown, renderScopeWideningRisksMarkdown, renderSourceDiversityGapsMarkdown, renderStaleSourcesMarkdown, renderSynthesisReadinessMarkdown, renderUnresolvedContradictionsMarkdown, renderWeakSourcesMarkdown, renderWorkingReport, reportSection, resolve, review, reviewActivePath, slugify, syncRepoKnowledge, tokenize, triage, workspace, writeActiveProfile, writeSourceCard };

package/dist/index.js

@@ -3262,6 +3262,48 @@ function buildContradiction(args) {
     created_at: (/* @__PURE__ */ new Date()).toISOString()
   });
 }
+async function resolveDetector(options) {
+  const mode = options.detectorMode ?? "auto";
+  if (!VALID_DETECTOR_MODES.includes(mode)) {
+    throw new Error(
+      `contradict map: invalid --detector value "${mode}"; valid values are: auto, heuristic, ollama-intern`
+    );
+  }
+  if (mode === "heuristic") {
+    return {
+      detector: new HeuristicContradictionDetector(),
+      announcement: "contradict map: using heuristic detector"
+    };
+  }
+  if (mode === "ollama-intern") {
+    const d = new OllamaInternContradictionDetector(options.ollamaConfig ?? {});
+    if (!await d.available()) {
+      throw new Error(
+        `contradict map: ollama-intern detector requested but model ${d.model} is unavailable; aborting (use --detector heuristic to bypass)`
+      );
+    }
+    return {
+      detector: d,
+      announcement: `contradict map: using ollama-intern detector with model ${d.model}`
+    };
+  }
+  const detectors = options.detectors ?? [
+    new OllamaInternContradictionDetector(options.ollamaConfig ?? {}),
+    new HeuristicContradictionDetector()
+  ];
+  const detector = await pickContradictionDetector(detectors);
+  if (detector.name === "ollama-intern") {
+    const modelName = detector instanceof OllamaInternContradictionDetector ? detector.model : process.env.OLLAMA_INTERN_MODEL ?? "hermes3:8b";
+    return {
+      detector,
+      announcement: `contradict map: using ollama-intern detector with model ${modelName}`
+    };
+  }
+  return {
+    detector,
+    announcement: "contradict map: ollama-intern unavailable; using heuristic detector"
+  };
+}
 async function map(options) {
   const packPath = options.packPath ? resolve7(options.packPath) : process.cwd();
   if (!existsSync9(join10(packPath, "research.yaml"))) throw new PackNotFoundError(packPath);
@@ -3273,8 +3315,7 @@ async function map(options) {
     const allowed = await readTriagedClaimIds2(packPath, options.sectionId);
     candidateClaims = candidateClaims.filter((c) => allowed.has(c.claim_id));
   }
-  const adapters = options.detectors ?? defaultContradictionDetectors();
-  const detector = await pickContradictionDetector(adapters);
+  const { detector, announcement } = await resolveDetector(options);
   const summary = {
     sectionId: options.sectionId,
     detector: detector.name,
@@ -3284,7 +3325,8 @@ async function map(options) {
     contradictionsAdded: 0,
     contradictionsDeduped: 0,
     contradictionIds: [],
-    detectorError: null
+    detectorError: null,
+    detectorAnnouncement: announcement
   };
   const ledgerPath = join10(sectionDir, "contradictions.jsonl");
   const mdPath = join10(sectionDir, "contradictions.md");
@@ -3348,7 +3390,7 @@ async function map(options) {
   await writeFile9(mdPath, md, "utf8");
   return summary;
 }
-var DETECTOR_ID_PART;
+var DETECTOR_ID_PART, VALID_DETECTOR_MODES;
 var init_map = __esm({
   "src/contradictions/map.ts"() {
     "use strict";
@@ -3356,11 +3398,14 @@ var init_map = __esm({
     init_schema5();
     init_schema7();
     init_detectors();
+    init_heuristic3();
+    init_ollama_intern3();
     init_markdown();
     DETECTOR_ID_PART = {
       heuristic: "heuristic",
       "ollama-intern": "ollama_intern"
     };
+    VALID_DETECTOR_MODES = ["auto", "heuristic", "ollama-intern"];
   }
 });
 
@@ -7277,6 +7322,7 @@ function buildSectionState(args) {
     candidate_claims_total: candidateClaims.length,
     unresolved_contradiction_ids: unresolved.map((c) => c.contradiction_id),
     blocking_reasons: gate2?.blocking_reasons ?? [],
+    active_blockers: gate2?.blocking_reasons ?? [],
     blocking_contradictions_unresolved: blocking.length,
     provenance_summary: provenanceSummary
   };
@@ -7320,7 +7366,7 @@ function determineMode(sections, waivers, warnings) {
     return "human_review_required";
   }
   const allReady = sections.every(
-    (s) => s.has_gate_run && s.synthesis_eligible && s.has_review_run && s.candidate_claims_total > 0 && s.repair_claim_ids.length === 0 && s.unresolved_contradiction_ids.length === 0
+    (s) => s.has_gate_run && s.synthesis_eligible && s.has_review_run && s.candidate_claims_total > 0 && s.active_blockers.length === 0 && s.unresolved_contradiction_ids.length === 0
   );
   if (allReady && sections.length > 0) return "synthesis_ready";
   return "repair_required";
@@ -7529,6 +7575,7 @@ var init_schema13 = __esm({
       candidate_claims_total: z14.number().int().nonnegative(),
       unresolved_contradiction_ids: z14.array(z14.string()),
       blocking_reasons: z14.array(z14.string()),
+      active_blockers: z14.array(z14.string()).default([]),
       blocking_contradictions_unresolved: z14.number().int().nonnegative(),
       provenance_summary: ProvenanceSummarySchema.optional()
     });
@@ -9145,7 +9192,7 @@ function buildReadinessSummary(rows, handoff2, unresolvedContradictions) {
     if (!r.has_gate_run) noGate += 1;
     if (!r.has_review_run) noReview += 1;
     const unresolvedCount = unresolvedBySection.get(r.section_id) ?? 0;
-    if (r.synthesis_eligible && r.has_review_run && r.candidate_claims > 0 && r.repair_claims === 0 && unresolvedCount === 0) {
+    if (r.synthesis_eligible && r.has_review_run && r.candidate_claims > 0 && r.blocking_reasons.length === 0 && unresolvedCount === 0) {
       ready += 1;
     } else if (r.has_gate_run && r.gate_verdict === "blocked" && !r.synthesis_eligible) {
       blocked += 1;
@@ -12118,7 +12165,7 @@ var init_src = __esm({
     init_triage();
     init_discover();
     init_errors();
-    RESEARCH_OS_VERSION = "0.1.0";
+    RESEARCH_OS_VERSION = "0.3.0";
   }
 });
 init_src();