@kontourai/survey 6.1.0 → 7.0.0

package/dist/example-data/public-directory-review-resource.d.ts

@@ -35,12 +35,12 @@ export declare const publicDirectoryReviewItemExample: {
                 excerpt: string;
             };
             extraction: {
-                model?: undefined;
                 extractionId: string;
                 target: string;
                 confidence: number;
                 extractor: string;
                 extractedAt: string;
+                model?: undefined;
             };
             claimTarget: {
                 claimId: string;
@@ -61,13 +61,13 @@ export declare const publicDirectoryReviewItemExample: {
                 claimId: string;
             };
             producer: {
-                proposalId?: undefined;
-                oldValue?: undefined;
                 sourceAuthority: {
                     authorityClass: string;
                     declaredBy: string;
                     scope: string;
                 };
+                proposalId?: undefined;
+                oldValue?: undefined;
             };
         } | {
             id: string;

package/dist/src/canonical-reviewed-trust-input.js

@@ -39,10 +39,17 @@ export function buildCanonicalReviewedTrustInput(options) {
         const rejectsAll = selectsNone && result.decision === "reject-proposed";
         const rejectedRole = workbenchDecisionDefinitions[result.decision].candidateRole;
         const rejectAllReason = result.rationale?.trim() || "Every proposed value for this claim was rejected.";
+        // A choice of one conflicting value passes over the others: each keeps a
+        // record that it was seen and not chosen (and so its own rejected-candidate
+        // learning), never silently dropped.
+        const unchosenIds = new Set(result.decision === "select-proposed" ? result.reviewDecision.spec.unselectedCandidateIds ?? [] : []);
+        const notChosenReason = `Not chosen: the reviewer chose candidate ${recordIdFor(item, result.selectedCandidateId ?? "")} for this claim.`;
         const candidates = item.spec.candidates.map((candidate) => {
             const records = projectCandidate(item, rejectsAll && candidate.role === rejectedRole
                 ? { ...candidate, rejectionReason: candidate.rejectionReason ?? rejectAllReason }
-                : candidate);
+                : unchosenIds.has(candidate.id)
+                    ? { ...candidate, rejectionReason: candidate.rejectionReason ?? notChosenReason }
+                    : candidate);
             addConsistent(rawSources, records.rawSource, "raw source");
             addConsistent(extractions, records.extraction, "extraction");
             return records.candidate;
@@ -96,6 +103,9 @@ export function buildCanonicalReviewedTrustInput(options) {
             metadata: {
                 workbenchDecision: result.decision,
                 ...(result.editedValue !== undefined ? { editedValue: result.editedValue } : {}),
+                ...(decision.unselectedCandidateIds?.length
+                    ? { unselectedCandidateIds: decision.unselectedCandidateIds.map((id) => recordIdFor(item, id)) }
+                    : {}),
             },
         };
         addConsistent(reviewOutcomes, reviewOutcome, "review outcome");
@@ -192,6 +202,20 @@ function assertCanonicalResult(item, result) {
         || canonicalJson(decision.editedValue) !== canonicalJson(result.editedValue)) {
         throw new Error(`Review result ${result.reviewItemName} contradicts its canonical ReviewDecision.`);
     }
+    // Accepting one value of a conflict would project it as if it had been the
+    // only value; a choice between conflicting values is select-proposed.
+    if (result.decision === "accept-proposed" && item.spec.candidates.filter((candidate) => candidate.role === "proposed").length > 1) {
+        throw new Error(`Review result ${result.reviewItemName} accepts one proposed value of a conflict; a choice between conflicting values must be a select-proposed decision that records the values it passed over.`);
+    }
+    // A choice names exactly the proposed values it passed over; no other
+    // decision names any.
+    const expectedUnselected = result.decision === "select-proposed" && selected
+        ? item.spec.candidates.filter((candidate) => candidate.role === "proposed" && candidate.id !== selected.id).map((candidate) => candidate.id)
+        : [];
+    if (canonicalJson(decision.unselectedCandidateIds ?? []) !== canonicalJson(expectedUnselected)
+        || (result.decision === "select-proposed" && expectedUnselected.length === 0)) {
+        throw new Error(`Review result ${result.reviewItemName} does not record the proposed values its ${result.decision} decision passed over.`);
+    }
     if ((result.decision === "could-not-confirm") !== (decision.resolution === "could_not_confirm")) {
         throw new Error(`Review result ${result.reviewItemName} contradicts its canonical review resolution.`);
     }
@@ -210,6 +234,11 @@ function assertCanonicalResult(item, result) {
         }
     }
 }
+/** The projected Candidate record id of a ReviewItem candidate. */
+function recordIdFor(item, candidateId) {
+    const candidate = item.spec.candidates.find((entry) => entry.id === candidateId);
+    return candidate?.projection?.candidateId ?? candidateId;
+}
 function claimTargetIdentity(target) {
     const { claimId: _claimId, ...identity } = target;
     return identity;

package/dist/src/console/review-console-server.js

@@ -18,6 +18,7 @@ import { readFile as readFileAsync } from "node:fs/promises";
 import { resolve, join, dirname, extname, normalize, sep } from "node:path";
 import { fileURLToPath } from "node:url";
 import { createServerReviewSessionRecord, currentSessionState, deriveServerReviewSessionApplyResult, } from "../review-workbench/server-review-session.js";
+import { attestReviewQueueExtraction } from "../review-workbench/queue-binding.js";
 import { appendReviewSessionEvents, readReviewSessionFile, reviewSessionRevision, storedReviewSessionName, updateReviewSessionFile, } from "../review-session-file.js";
 // ---------------------------------------------------------------------------
 // Constants
@@ -404,9 +405,15 @@ let activeItemName = null;
 async function fetchAndMount() {
   try {
     const res = await fetch("/api/session");
-    if (!res.ok) throw new Error("Session fetch failed: " + res.status);
+    if (!res.ok) {
+      const body = await res.json().catch(() => ({}));
+      showSaveStatus(body.error || ("The session could not be loaded (HTTP " + res.status + ")."));
+      const root = document.getElementById("review-workbench");
+      if (root) root.innerHTML = "";
+      return;
+    }
     const data = await res.json();
-    const { snapshot, events, revision } = data;
+    const { snapshot, events, revision, extractionImport } = data;
     const state = events && events.length > 0
       ? replayReviewSessionEvents(snapshot, events)
       : snapshot;
@@ -419,7 +426,7 @@ async function fetchAndMount() {
     const root = document.getElementById("review-workbench");
     if (!root) return;
 
-    mountReviewWorkbench(root, state, { eventStore: createConsoleEventStore(revision) });
+    mountReviewWorkbench(root, state, { eventStore: createConsoleEventStore(revision), ...(extractionImport ? { extractionImport } : {}) });
   } catch (err) {
     console.error("[console] Mount error:", err);
   }
@@ -602,12 +609,22 @@ export async function startReviewConsoleServer(options) {
             // ---- Session read ----
             if (pathname === "/api/session" && req.method === "GET") {
                 const content = await readSession(sessionPath);
+                // A queue that does not match the extraction import stored with it is
+                // not served for review; one without a stored import is served, and the
+                // workbench marks it unverified.
+                const attestation = attestReviewQueueExtraction(content.snapshot.items, content.extractionImport);
+                if (attestation.state === "diverges") {
+                    sendJson(res, 409, { error: attestation.message, queueAttestation: attestation.state });
+                    return;
+                }
                 sendJson(res, 200, {
                     session: content.session,
                     snapshot: content.snapshot,
                     events: content.events,
                     revision: reviewSessionRevision(content.events),
                     state: currentSessionState(content.snapshot, content.events),
+                    queueAttestation: attestation.state,
+                    ...(content.extractionImport !== undefined ? { extractionImport: content.extractionImport } : {}),
                 });
                 return;
             }
@@ -660,6 +677,7 @@ export async function startReviewConsoleServer(options) {
                             record,
                             events: nextEvents,
                             requiredResolvedItems: "none",
+                            extractionImport: content.extractionImport,
                         });
                         issueMessages = applyResult.ok
                             ? []
@@ -672,7 +690,7 @@ export async function startReviewConsoleServer(options) {
                         return { result: { status: 422, body: { error: `Validation failed: ${issueMessages.join("; ")}` } } };
                     }
                     return {
-                        next: { session: content.session, snapshot, events: nextEvents },
+                        next: { ...content, session: content.session, snapshot, events: nextEvents },
                         result: {
                             status: 200,
                             body: { ok: true, eventCount: nextEvents.length, revision: reviewSessionRevision(nextEvents) },

package/dist/src/index.d.ts

@@ -3,8 +3,8 @@ export { SURVEY_INPUT_CONTRACT_VERSION } from "./types.js";
 export { reviewResourceApiVersion } from "./review-resource.js";
 export { buildReviewItemsFromExtractionEnvelopeImport, createExtractionEnvelopeResolutionIdentity, exportExtractionEnvelopeImport, extractionEnvelopeImportApiVersion, importExtractionEnvelope, portableExtractionResultFormat, portableExtractionResultVersion, reimportExtractionEnvelope, validateExtractionEnvelopeImport, } from "./extraction-envelope.js";
 export { buildExtractionInspectorModel, exportExtractionInspector, inspectorSourcePosture, filterExtractionInspectorCandidates, } from "./review-workbench/extraction-inspector.js";
-export { assertReviewQueueAgainstExtractionImport, assertReviewQueueBinding, bindReviewQueue, hashReviewQueueSnapshot, UnattestedExtractionQueueError, UnattestedReviewQueueError, validateReviewQueueAgainstExtractionImport, validateReviewQueueBinding, } from "./review-workbench/queue-binding.js";
-export type { BindReviewQueueOptions, ReviewQueueBinding, ReviewQueueBindingIssue, ReviewQueueBindingIssueCode, ReviewQueueExtractionIssue, ReviewQueueExtractionIssueCode, ValidateReviewQueueBindingOptions, } from "./review-workbench/queue-binding.js";
+export { assertReviewQueueAgainstExtractionImport, assertReviewQueueBinding, attestReviewQueueExtraction, bindReviewQueue, reviewItemCarriesExtractionBinding, unverifiedExtractionQueueSentence, hashReviewQueueSnapshot, UnattestedExtractionQueueError, UnattestedReviewQueueError, validateReviewQueueAgainstExtractionImport, validateReviewQueueBinding, } from "./review-workbench/queue-binding.js";
+export type { BindReviewQueueOptions, ReviewQueueBinding, ReviewQueueBindingIssue, ReviewQueueBindingIssueCode, ReviewQueueExtractionAttestation, ReviewQueueExtractionIssue, ReviewQueueExtractionIssueCode, ValidateReviewQueueBindingOptions, } from "./review-workbench/queue-binding.js";
 export { resolvePortablePdfRegion } from "./pdf-layout.js";
 export type { PortablePdfBoundingBox, PortablePdfLayout, PortablePdfPageGeometry, PortablePdfRegionContext, PortablePdfTable, PortablePdfTableCell, PortablePdfTextElement, PortablePdfTextRange, } from "./pdf-layout.js";
 export type { ExtractionAlignmentState, ArtifactUnavailableCode, BuiltExtractionInspectorCandidate, BuiltExtractionInspectorModel, ExtractionInspectorCandidate, ExtractionInspectorEntry, ExtractionInspectorExportOptions, ExtractionInspectorFilters, ExtractionInspectorInput, ExtractionInspectorModel, ExtractionInspectorSource, ResolvedExtractionArtifact, } from "./review-workbench/extraction-inspector.js";
@@ -38,7 +38,7 @@ export type { SourceAuthorityClass, SourceAuthorityMetadata, SourceOfAuthorityOb
 export { buildCandidateVerification, candidateVerificationKind, DEFAULT_SUPPORT_VERIFIER_TIMEOUT_MS, MAX_SUPPORT_VERIFIER_TIMEOUT_MS, foldCandidateVerifications, runSupportVerifier, supportVerificationInputDigest, validateCandidateVerification, valueDigest, } from "./candidate-verification.js";
 export type { BuildCandidateVerificationInput, CandidateVerification, CandidateVerificationInapplicableReason, CandidateVerificationStatus, CandidateVerificationSubject, FoldCandidateVerificationsResult, RunSupportVerifierOptions, SupportAbstainReason, SupportEvidence, SupportVerdict, SupportVerificationInput, SupportVerificationMethod, SupportVerificationResult, SupportVerifier, } from "./candidate-verification.js";
 export { buildInterpretationReadingPresentation, buildReviewCandidatePresentation, buildReviewItemPresentation, buildReviewResultPresentation, candidateVerificationNotes, humanizeIdentifier, } from "./review-workbench/review-presentation.js";
-export type { CandidateVerificationNote, CandidateVerificationRecordPresentation, InterpretationReadingPresentation, InterpretationReadingSource, ReviewCandidatePresentation, ReviewCandidatePresentationContext, ReviewItemPresentation, ReviewItemPresentationContext, ReviewPresentationAdapter, ReviewPresentationLink, ReviewResultPresentation, ReviewTracePresentationContext, ReviewTraceRef, ReviewValuePresentationContext, } from "./review-workbench/review-presentation.js";
+export type { CandidateVerificationNote, CandidateVerificationRecordPresentation, ExcludedProposalPresentation, ExcludedProposalsUnreadable, InterpretationReadingPresentation, InterpretationReadingSource, ReviewCandidatePresentation, ReviewCandidatePresentationContext, ReviewItemPresentation, ReviewItemPresentationContext, ReviewPresentationAdapter, ReviewPresentationLink, ReviewResultPresentation, ReviewTracePresentationContext, ReviewTraceRef, ReviewValuePresentationContext, } from "./review-workbench/review-presentation.js";
 export { apiRecordSource, manualEntrySource, policyStandardSource, uploadedDocumentSource, webPageSource, } from "./raw-source.js";
 export type { ApiRecordSourceInput, ChecksumInput, ManualEntrySourceInput, PolicyStandardMetadata, PolicyStandardSourceInput, RawSourceInput, UploadedDocumentSourceInput, WebPageSourceInput, } from "./raw-source.js";
 export { applyAutoAcceptPolicy, applyMappingReview, buildMappingReviewItems, lookupMapping, lookupRejectedMapping, normalizeQuestion, proposalsToCandidateSet, referenceMappingProposer, resolveQuestion, } from "./inquiry-mapping.js";

package/dist/src/index.js

@@ -2,7 +2,7 @@ export { SURVEY_INPUT_CONTRACT_VERSION } from "./types.js";
 export { reviewResourceApiVersion } from "./review-resource.js";
 export { buildReviewItemsFromExtractionEnvelopeImport, createExtractionEnvelopeResolutionIdentity, exportExtractionEnvelopeImport, extractionEnvelopeImportApiVersion, importExtractionEnvelope, portableExtractionResultFormat, portableExtractionResultVersion, reimportExtractionEnvelope, validateExtractionEnvelopeImport, } from "./extraction-envelope.js";
 export { buildExtractionInspectorModel, exportExtractionInspector, inspectorSourcePosture, filterExtractionInspectorCandidates, } from "./review-workbench/extraction-inspector.js";
-export { assertReviewQueueAgainstExtractionImport, assertReviewQueueBinding, bindReviewQueue, hashReviewQueueSnapshot, UnattestedExtractionQueueError, UnattestedReviewQueueError, validateReviewQueueAgainstExtractionImport, validateReviewQueueBinding, } from "./review-workbench/queue-binding.js";
+export { assertReviewQueueAgainstExtractionImport, assertReviewQueueBinding, attestReviewQueueExtraction, bindReviewQueue, reviewItemCarriesExtractionBinding, unverifiedExtractionQueueSentence, hashReviewQueueSnapshot, UnattestedExtractionQueueError, UnattestedReviewQueueError, validateReviewQueueAgainstExtractionImport, validateReviewQueueBinding, } from "./review-workbench/queue-binding.js";
 export { resolvePortablePdfRegion } from "./pdf-layout.js";
 export { toSurfaceReviewedExtractionDecision, toSurfaceReviewedExtractionImport, toSurfaceReviewedExtractionItem, } from "./surface-reviewed-extraction.js";
 export { candidateReviewRecord, candidateSetStatusFor, SurveyInputBuilder } from "./builder.js";