@clien-ai/mcp 0.10.9 → 0.12.0

package/CHANGELOG.md

@@ -13,6 +13,158 @@ upgrade here does not imply the deployed app speaks the same shape, and the
 client strips unknown fields by construction — so a field described below only
 reaches you once both sides have shipped.
 
+## 0.12.0
+
+**Hypothesis confidence now means how reliable the final verdict is, not the
+probability that the hypothesis is true.** The report and interview-script
+tools expose the same effective verdict after robustness checks, with separate
+evidence sufficiency and robustness outcomes. This is a minor release because
+the `structuredContent.interviewScripts[].confidence` field changes from a
+number to `low` / `medium` / `high`; integrations reading structured output
+must handle the new categorical shape.
+
+### Changed
+
+- **Interview scripts rank what most needs a real answer.** Product priority,
+  lower verdict reliability, and thinner evidence replace the old distance from
+  0.5 ordering, which incorrectly treated a model-written score as a posterior
+  probability.
+- **Every report-facing MCP reader resolves one final hypothesis result.** A
+  robustness downgrade or flip cannot retain contradictory high confidence,
+  and malformed robustness output cannot upgrade a result.
+- **Legacy numeric confidence remains explicit and non-comparable.** In
+  `list_interview_scripts`, an older app response's 0–1 or 0–100 value moves to
+  `legacyConfidence` rather than mixing with the categorical measure. Report
+  data keeps that compatibility value at `hypothesisResults[].confidence` and
+  treats it as legacy beside `hypothesisResults[].final.confidence`.
+- **Research tools drain every terminal event page before returning.** Full and
+  scoped runs no longer stop at the first bounded snapshot when later terminal
+  events carry the authoritative outcome.
+
+### Added
+
+- **Final hypothesis semantics in structured report output:** categorical
+  verdict reliability, evidence sufficiency, robustness outcome, and preserved
+  original/final state for audit.
+- **Literal trust states and denominators.** Successful checks that found
+  nothing now say so, while report-prose and digest claim populations are
+  labelled separately instead of appearing to contradict one another.
+- **Bounded status-snapshot disclosure.** `clien_research_status` adds
+  `_meta.snapshot_truncated` when newer events exist beyond the returned page.
+
+### Fixed
+
+- **Markdown and digest readers no longer disagree with stored or visible
+  hypothesis outcomes.** Shared resolution and position-specific escaping keep
+  the final verdict coherent without corrupting receipt text.
+- **Failed and cancelled runs surface the latest observed refund status with
+  bounded guidance.** Full and scoped research now use the drained terminal
+  events for error, refunded-credit, and refund-pending guidance.
+  `refund_pending` means the run is refund-eligible but no refund is visible
+  yet; it is not a guarantee that a refund will occur.
+
+## 0.11.0
+
+**A claim grounded on the second excerpt of a discussion now shows the second
+excerpt.** One community permalink can legitimately carry several bounded
+excerpts, and a `GROUNDED` claim records which one its span lives in. Every
+receipt reader in this package still resolved positionally — claim → `sourceId`
+→ `personas[i].sources[j].quote` — and that parent row holds the FIRST excerpt.
+So a claim grounded on the second displayed a clip of the first, under a
+`[GROUNDED]` badge, with no way for a reader to tell. A minor rather than a
+patch because the digest gained lines and a section, and because an older
+installed client cannot honour `receiptId` at all.
+
+### Fixed
+
+- **The trust digest resolves `claim.receiptId` to the excerpt it names.** The
+  source's pool row is unchanged and still one row per discussion — receipt
+  count must never inflate how much community evidence a run appears to have —
+  with an indented `↳ rr1:… — "…"` line for each excerpt a rendered claim
+  actually addresses. The claim's own line carries both ids (`← RCP-p0-s0 ·
+  rr1:…`), so two claims on one discussion can be told apart.
+- **The window is chosen per excerpt, not per source.** A span verified inside
+  the second excerpt is not findable in the first, so the previous single span
+  bucket would have windowed the parent line by a span it does not contain —
+  locating nothing, taking the head clip, and looking like a window.
+- **`methodology.redditRetrieval`'s `outcome` and `reason` are bounded code
+  tokens.** They are approved keys, so whatever they carried was copied verbatim
+  into `structuredContent.report_data` and `_meta.report_data` — typed channels
+  the digest's own truncation never touches. Raw text in either field is now
+  refused rather than forwarded, at the schema and again in the projection that
+  runs when a report fails to parse. An unknown token still parses, because a
+  client older than the app that answered it must report an outcome it does not
+  recognise rather than fall silent.
+- **An explicit `receiptId: null` fails closed instead of borrowing the parent's
+  excerpt.** It used to read as "no receipt named", which licenses showing the
+  source's first excerpt as the claim's evidence. Our own producer omits this
+  optional key rather than writing `null`, so a stored `null` has unknown
+  provenance and cannot claim that licence — it now loses the receipt, exactly
+  as an unparseable id does. The app spine, the public share payload and this
+  digest give the same answer, pinned by a coupling test that fails if either
+  side changes alone.
+
+- **A whitespace-only receipt excerpt fails closed.** `"   "` cleared every
+  producer and database check, so the digest rendered `↳ rr1:… — ""` under a
+  `[GROUNDED]` badge — a claim whose evidence is the source saying nothing. Such
+  a claim now renders "receipt unavailable; do not cite".
+- **`completed` with zero accepted sources is treated as inconsistent input.**
+  The rail's contract makes `completed` mean at least one source was accepted, so
+  a note reporting both states coverage the run does not have and points at a
+  pool the next section may declare empty. It renders as coverage UNKNOWN. An
+  unreadable count is not zero and keeps the completed wording.
+- **Malformed acceptance counters no longer print impossible evidence counts.**
+  Values that are not whole non-negative numbers now render as "not recorded
+  readably" instead of being treated as a real number of accepted discussions or
+  bounded excerpts.
+- **The scoped primitives' `report_data` meets the same projection the full
+  report does.** `scan_competitors`, `search_forums` and `scan_market` forwarded
+  the server's payload straight into `_meta.report_data` and
+  `structuredContent`, bypassing the one projection that bounds the Reddit note's
+  code fields and removes an internal task id — and the scoped rail is the path
+  that writes a Reddit note today. The values were code-stamped, so nothing
+  escaped; the check now runs where the note actually travels.
+
+### Added
+
+- **`personas[].sources[].receipts[]`** — the receipt children of a source whose
+  one URL yielded several excerpts. Absent on every other source, which is what
+  makes a legacy report render byte-identically.
+- **`methodology.redditRetrieval`** — the frozen, code-stamped outcome of the
+  Reddit community-evidence pass, mirroring the producer's own summary shape
+  (typed outcome, bounded reason code, the plan/completed/failed intent split,
+  request and evidence counts, `costUsd`, `latencyMs`), rendered as a short
+  `### Reddit community evidence` block. Five typed states; `failed` is never presented as an empty
+  search, and **absent means unrecorded** rather than disabled or empty. The
+  digest says nothing at all for an absent note or `not_run`. Cost, latency and
+  request counts are typed for auditing and deliberately not rendered — none of
+  them changes what an agent may cite.
+
+### Changed
+
+- **A `receiptId` that does not resolve under its own source loses the receipt**
+  rather than falling back to the parent excerpt. Malformed, dangling,
+  cross-source and duplicate ids all degrade to the existing "receipt
+  unavailable; do not cite" state. Falling back would restore the original defect
+  as an error path, firing only on the inputs nobody is watching.
+- **An outcome this client does not know reads as UNKNOWN, not as silence.**
+  `methodology.redditRetrieval.outcome` is typed loosely on purpose: this
+  package and the app ship on independent release cycles, so a client older
+  than the deploy answering it is the normal pairing. A strict enum would have
+  turned a future sixth state into an absent note — and absent means
+  *unrecorded* — so the digest would have fallen silent about a run that really
+  did search Reddit. It now names the state it cannot read and tells you to
+  upgrade.
+- **One malformed receipt child no longer costs the whole report its typing.**
+  `personas[].sources[].receipts` degrades to absent rather than failing the
+  `report_data` parse, matching how the app stores it. A claim naming one of
+  those children then fails closed, which is the only cost it should have.
+- **"Verbatim" retired where the text is an excerpt.** `relevantQuotes[]` on
+  `search_forums` / `list_community_signals`, and `quoteSpan`'s description, no
+  longer promise a speaker's exact words: these fields are fed by more than one
+  retrieval rail and only "cached excerpt" is true of all of them. The span is
+  still exact against the text we cached — that is what verification means.
+
 ## 0.8.0
 
 **The persona WRITE tools get the guards the read tools already had.** 0.6.0 and

package/README.md

@@ -8,7 +8,7 @@ competitors, and key findings) with a typed
 [trust layer](#trust-signals) — per-claim GROUNDED/SPECULATION/NO_RECEIPT
 classifications, source receipts, and robustness survival counts.
 
-Alongside it, [21 more tools](#tools) let an agent read and edit what a project
+Alongside it, [the rest of the toolset](#tools) lets an agent read and edit what a project
 already holds — projects, personas, interviews, reports, competitors, and
 community signals — most of them free.
 
@@ -86,7 +86,24 @@ Restart Claude Code. First call triggers OAuth.
         { "name": "...", "sources": [{ "url": "...", "platform": "Hacker News", "quote": "...", "retrievedAt": "..." }] }
       ],
       "hypothesisResults": [
-        { "hypothesisId": "h1", "status": "validated", "confidence": 0.82, "robustness": { "survived": 3, "total": 3, "flipped": false } }
+        {
+          "hypothesisId": "h1",
+          // Legacy compatibility fields: preserve, but do not rank or compare them.
+          "status": "validated", "confidence": 0.82,
+          // The authoritative effective result on current reports.
+          "final": {
+            "version": 1, "verdict": "validated", "originalVerdict": "validated",
+            "confidence": "high", "confidenceBasis": "evidence",
+            "sufficiency": "substantial", "robustness": "held", "priority": "high"
+          },
+          // Raw re-ask detail retained for audit; `final` above owns the effective result.
+          "robustness": {
+            "originalStatus": "validated", "survived": 1, "total": 1, "flipped": false,
+            "variants": [
+              { "framing": "...", "returnedStatus": "validated", "returnedConfidence": 0.84, "agreed": true, "reasoning": "..." }
+            ]
+          }
+        }
       ],
       "sycophancySignals": { "lowDiscriminationCount": 0, "totalRejections": 2, "personaSignals": [...], "disagreements": [...] },
       "openQuestions": [
@@ -160,7 +177,10 @@ Every field below reaches the agent-visible result text on any host, not only
 `structuredContent`/`_meta`. Most are **summarised into the appended trust
 digest**; `openQuestions[]` is the exception — it comes through instead as its
 own `## Open Questions` section in the primary markdown report, ahead of the
-digest. The typed fields themselves are in `structuredContent.report_data`
+digest. `methodology.redditRetrieval` is the other exception, in the opposite
+direction: two of its states (`not_run`, and the field being absent entirely)
+render **nothing at all**, because saying anything would claim the run searched
+Reddit. The typed fields themselves are in `structuredContent.report_data`
 (and `_meta.report_data`) when you want to read them programmatically.
 
 When a claim/receipt/robustness/sycophancy section is missing, the digest says
@@ -176,10 +196,13 @@ a finding is, rather than taking the prose at face value:
 
 | Field                              | What it tells you                                                                                                                   |
 |------------------------------------|-------------------------------------------------------------------------------------------------------------------------------------|
-| `claims[]`                         | Every persona/interview claim with a `state`: `GROUNDED` (span-verified against a cached source quote), `SPECULATION`, or `NO_RECEIPT` (evidence-shaped but unsourced). A `GROUNDED` claim carries a `sourceId` receipt and the `quoteSpan` that grounds it. |
-| `personas[].sources[]`             | The cached forum posts (`url`, `platform`, `quote`, `retrievedAt`) a claim's `sourceId` (`RCP-p{i}-s{j}`) points at — the receipts. In the digest text each quote is shown as a 200-character excerpt **windowed around the span that grounded the claim**, with a leading `…` when the window starts mid-quote; the untruncated `quote` is in the structured payload. |
+| `claims[]`                         | Every persona/interview claim with a `state`: `GROUNDED` (span-verified against a cached source excerpt), `SPECULATION`, or `NO_RECEIPT` (evidence-shaped but unsourced). A `GROUNDED` claim carries a `sourceId` receipt and the `quoteSpan` that grounds it, plus a `receiptId` when one discussion yielded several excerpts (see the row below). |
+| `personas[].sources[]`             | The cached forum posts (`url`, `platform`, `quote`, `retrievedAt`) a claim's `sourceId` (`RCP-p{i}-s{j}`) points at — the receipts. In the digest text each excerpt is shown as a 200-character window **around the span that grounded the claim**, with a leading `…` when the window starts mid-excerpt; the untruncated text is in the structured payload. |
+| `personas[].sources[].receipts[]`  | Present only when **one discussion yielded several excerpts**. Each child is `{ receiptId, excerpt, retrievedAt }`, and `receiptId` is content-addressed from the normalized URL plus the exact excerpt. A claim addressing one shows a second id after `·` on its digest line, and the receipt pool hangs that excerpt off the source's single row on its own `↳` line — read that, not the row's first excerpt, as what the claim was checked against. The source still counts as **one** discussion; several excerpts never inflate the breadth. A `receiptId` that does not resolve under its own source loses the receipt arrow entirely rather than falling back. |
+| `methodology.redditRetrieval`      | Present only on runs that recorded it. The frozen, code-stamped outcome of the Reddit community-evidence pass: `completed`, `completed_empty`, `completed_partial`, `failed` or `not_run`, with a bounded reason code and accepted discussion / excerpt counts. **Absent means unrecorded** — not disabled, not empty, not failed. The digest renders a sentence for the four states a reader has to act on and says nothing for `not_run` or unrecorded. |
 | `personas[].qaFlagged` / `insufficientEvidence` / `sourcesFound` | Per-persona quality flags: `qaFlagged` means the persona failed a QA check; `insufficientEvidence` / `sourcesFound` tell you whether a `NO_RECEIPT` reflects a weak claim or just a thin evidence base. |
-| `hypothesisResults[].robustness`   | How many reworded re-asks a verdict survived (`survived`/`total`); when `flipped` is true, `downgradedStatus` is the verdict to trust, not the top-level `status`. |
+| `hypothesisResults[].final`        | The authoritative effective result on current reports: `verdict`, categorical reliability in `confidence`, evidence coverage in `sufficiency`, and the `robustness` outcome. `confidence` may be absent when reliability was withheld; read `confidenceBasis`. Raw top-level `status` and numeric `confidence` are legacy compatibility fields and must not be ranked, trended, or compared with `final.confidence`. |
+| `hypothesisResults[].robustness`   | Raw re-ask detail retained for audit, including survival counts. Read `final.verdict` and `final.robustness` for the effective result; never independently promote `downgradedStatus` or the top-level `status`. |
 | `sycophancySignals`                | Anti-sycophancy readout: broken-persona flags (`lowDiscrimination`), per-hypothesis disagreement splits, and explicit `totalRejections`. |
 | `openQuestions[]`                  | What the run did **not** settle. Each row carries the hypothesis and a `status` telling you why it's open — `never_asked`, `nobody_answered`, or `voices_disagreed` — plus `personasAsked`, how many distinct personas it was put to. Deterministically derived, never model-opined. Reaches the result text via the report's own `## Open Questions` section (see above), not via the trust digest; absent on reports from before this field shipped, an empty array means nothing was left open. |
 
@@ -191,7 +214,7 @@ simply omits them. The full Zod schema lives in
 
 ## Tools
 
-Twenty-three tools. `clien_research` is the hero — the recommended default for
+`clien_research` is the hero — the recommended default for
 validating an idea end to end. Everything else is either a **free read** for
 orienting on what a project already holds, or a **targeted primitive** for a
 narrow, cheaper probe.
@@ -262,9 +285,9 @@ name — the aliases exist for callers written before the rename.
 | `list_reports` | — | free | Past `clien_research` runs, newest first. Optionally scoped to one `project_id`. |
 | `get_report` | `job_id` | free | A past run's full report + `report_data`, same shape `clien_research` returns. Use this instead of re-running. |
 | `list_competitors` | `project_id` | free | The project's deduped, accumulated competitor set, most-recently-seen first. Each of the four company facts carries a sibling `<fact>Grounding` — key on its `state`. |
-| `list_community_signals` | `project_id` | free | The project's deduped, accumulated thread set, newest-**discovered** first (a stable order — a thread seen again does not move back to page one). Carries the verbatim `relevantQuotes[]` cached at collection. |
+| `list_community_signals` | `project_id` | free | The project's deduped, accumulated thread set, newest-**discovered** first (a stable order — a thread seen again does not move back to page one). Carries the cached `relevantQuotes[]` excerpts captured at collection; they are user-voice evidence but are not guaranteed to preserve a speaker's exact words. |
 | `get_market` | `project_id` | free | The project's market snapshot — size, growth trend, key trends, positioning gaps. A **singleton**, not a page: every field was written together by the one run named in `sourceRunId`. No snapshot is reported as "no run has produced market data", never as an empty or unmeasured market. The figures carry no trust state here; read the source run with `get_report` for their claim states. |
-| `list_interview_scripts` | `project_id` | free | The interview scripts a research run wrote for the project — one per hypothesis, ranked least-settled first, each carrying its `hypothesisId`, statement, verdict and questions. **Stored output of one run, never generated on read.** Call it before `interview_persona` so the answers anchor to a hypothesis; no scripts is reported as "no run has written any", never as "nothing worth asking". |
+| `list_interview_scripts` | `project_id` | free | The interview scripts a research run wrote for the project — one per hypothesis, ranked by product priority, then lower verdict reliability, then thinner evidence. Each carries its `hypothesisId`, statement, verdict, questions, categorical `confidence`, `sufficiency`, and `robustness`; older runs expose the retired numeric measure as `legacyConfidence`, which is not comparable with `low` / `medium` / `high`. **Stored output of one run, never generated on read.** Call it before `interview_persona` so the answers anchor to a hypothesis; no scripts is reported as "no run has written any", never as "nothing worth asking". |
 
 ### Account
 
@@ -320,7 +343,7 @@ same payload as `structuredContent`; see
 | `job_id`           | UUID            | The validation job's ID                                                             |
 | `status`           | string          | Terminal status: `complete`, `failed`, or `cancelled`                               |
 | `project_id`       | UUID \| `null`  | The project this run is attached to. Pass back as `project_id` on follow-up runs.  |
-| `report_data`      | object \| `null`| Structured report framing + findings, including typed `personasSynthesis`, `researchBrief`, `methodology`, safe `interviewHighlights[]`, competitors, hypotheses, and the trust layer — `claims[]`, `personas[].sources[]`, `hypothesisResults[].robustness`, `sycophancySignals`, `openQuestions[]` (see [Trust signals](#trust-signals)) |
+| `report_data`      | object \| `null`| Structured report framing + findings, including typed `personasSynthesis`, `researchBrief`, `methodology`, safe `interviewHighlights[]`, competitors, hypotheses, and the trust layer — `claims[]`, `personas[].sources[]`, authoritative `hypothesisResults[].final`, raw `hypothesisResults[].robustness`, `sycophancySignals`, `openQuestions[]` (see [Trust signals](#trust-signals)) |
 | `total_cost_cents` | number          | Optional. Total cost of the run, in cents.                                          |
 
 ---

package/dist/hypothesis-semantics.js

@@ -0,0 +1,230 @@
+/**
+ * Pure FUL-358 hypothesis semantics for the published MCP package.
+ *
+ * This module deliberately has no Zod or tool imports. Both the transport projection and the
+ * human-readable digest call the same normalizer, so a raw-drift payload cannot be trusted by one
+ * exit and rejected by another. The returned object is an allowlist: producer-private or future
+ * fields never cross the current contract boundary merely because an enclosing schema is
+ * passthrough-compatible.
+ */
+export const VERDICT_STATUSES = ['validated', 'invalidated', 'inconclusive'];
+export const CONFIDENCE_LEVELS = ['low', 'medium', 'high'];
+export const EVIDENCE_SUFFICIENCY_LEVELS = ['none', 'thin', 'moderate', 'substantial'];
+export const ROBUSTNESS_OUTCOMES = ['held', 'flipped', 'not_retested'];
+export const CONFIDENCE_BASES = ['evidence', 'recomputed_after_flip', 'withheld_no_evidence'];
+export const HYPOTHESIS_PRIORITIES = ['high', 'medium', 'low'];
+/** The semantics contract version this MCP build knows how to read. */
+export const HYPOTHESIS_SEMANTICS_VERSION = 1;
+const VERDICT_STRENGTH = {
+    validated: 2,
+    inconclusive: 1,
+    invalidated: 0,
+};
+function asRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value)
+        ? value
+        : null;
+}
+function asMember(value, members) {
+    return typeof value === 'string' && members.includes(value)
+        ? value
+        : null;
+}
+/** The weaker of the original and candidate verdicts; an attempted upgrade is ignored. */
+export function resolveMonotoneVerdict(rawOriginal, rawCandidate) {
+    const original = asMember(rawOriginal, VERDICT_STATUSES);
+    const candidate = asMember(rawCandidate, VERDICT_STATUSES);
+    if (!candidate)
+        return original;
+    if (!original)
+        return candidate;
+    return VERDICT_STRENGTH[candidate] < VERDICT_STRENGTH[original] ? candidate : original;
+}
+/**
+ * Read a rephrasing ratio only when it can describe a real finite count whose `flipped` flag
+ * agrees with whether every framing survived. A malformed ratio still cannot erase a separately
+ * readable weaker recorded verdict.
+ */
+export function readRobustnessCounts(value) {
+    const robustness = asRecord(value);
+    if (!robustness)
+        return null;
+    const survived = robustness.survived;
+    const total = robustness.total;
+    const flipped = robustness.flipped;
+    if (typeof survived !== 'number' ||
+        !Number.isInteger(survived) ||
+        survived < 0 ||
+        typeof total !== 'number' ||
+        !Number.isInteger(total) ||
+        total <= 0 ||
+        survived > total ||
+        typeof flipped !== 'boolean' ||
+        flipped !== (survived < total)) {
+        return null;
+    }
+    return { survived, total };
+}
+/** A typed robustness block is trustworthy only when its detailed working proves its summary. */
+export function hasCoherentRobustnessWorking(value) {
+    const robustness = asRecord(value);
+    const counts = readRobustnessCounts(robustness);
+    const originalStatus = asMember(robustness?.originalStatus, VERDICT_STATUSES);
+    const variants = robustness?.variants;
+    if (!robustness || !counts || !originalStatus || !Array.isArray(variants))
+        return false;
+    if (variants.length !== counts.total)
+        return false;
+    let agreedCount = 0;
+    for (const raw of variants) {
+        const variant = asRecord(raw);
+        const returnedStatus = asMember(variant?.returnedStatus, VERDICT_STATUSES);
+        if (!variant || !returnedStatus || typeof variant.agreed !== 'boolean')
+            return false;
+        if (variant.agreed !== (returnedStatus === originalStatus))
+            return false;
+        if (variant.agreed)
+            agreedCount += 1;
+    }
+    return agreedCount === counts.survived;
+}
+/**
+ * Whether present working positively disproves its own summary. Absent working and individually
+ * unreadable variant rows do not by themselves disprove a separately valid count. A present
+ * non-array `variants` container does: it is an attempted shape that cannot authenticate dependent
+ * final semantics or cross the raw projection boundary.
+ */
+export function robustnessWorkingContradictsSummary(value) {
+    const robustness = asRecord(value);
+    if (!robustness)
+        return false;
+    const counts = readRobustnessCounts(robustness);
+    const originalStatus = asMember(robustness.originalStatus, VERDICT_STATUSES);
+    const variants = robustness.variants;
+    if (!Object.prototype.hasOwnProperty.call(robustness, 'variants'))
+        return false;
+    if (!Array.isArray(variants))
+        return true;
+    if (!originalStatus)
+        return true;
+    let readableCount = 0;
+    let agreedCount = 0;
+    let disagreedCount = 0;
+    for (const raw of variants) {
+        const variant = asRecord(raw);
+        const returnedStatus = asMember(variant?.returnedStatus, VERDICT_STATUSES);
+        if (!variant || !returnedStatus || typeof variant.agreed !== 'boolean')
+            continue;
+        readableCount += 1;
+        if (variant.agreed !== (returnedStatus === originalStatus))
+            return true;
+        if (variant.agreed)
+            agreedCount += 1;
+        else
+            disagreedCount += 1;
+    }
+    if (!counts)
+        return false;
+    if (variants.length > counts.total)
+        return true;
+    if (agreedCount > counts.survived || disagreedCount > counts.total - counts.survived)
+        return true;
+    return (readableCount === variants.length &&
+        variants.length === counts.total &&
+        agreedCount !== counts.survived);
+}
+/** Read robustness in the context of its owning row, including parent-verdict coherence. */
+export function readRowRobustnessOutcome(rawRow) {
+    const row = asRecord(rawRow);
+    if (!row)
+        return null;
+    if (row.robustness === undefined || row.robustness === null)
+        return 'not_retested';
+    const robustness = asRecord(row.robustness);
+    if (!robustness || !readRobustnessCounts(robustness))
+        return null;
+    const rowStatus = asMember(row.status, VERDICT_STATUSES);
+    if (!rowStatus)
+        return null;
+    if (Object.prototype.hasOwnProperty.call(robustness, 'originalStatus') &&
+        asMember(robustness.originalStatus, VERDICT_STATUSES) !== rowStatus)
+        return null;
+    if (Object.prototype.hasOwnProperty.call(robustness, 'variants') &&
+        robustnessWorkingContradictsSummary(robustness))
+        return null;
+    return robustness.flipped ? 'flipped' : 'held';
+}
+/**
+ * Read a legacy robustness outcome without treating a contradicted measurement as truth.
+ * Old rows may carry only `flipped`; once either count is present, the whole measured triple
+ * must agree before its outcome can be rendered.
+ */
+export function readLegacyRobustnessOutcome(value) {
+    if (value === undefined || value === null)
+        return 'not_retested';
+    const robustness = asRecord(value);
+    if (!robustness || typeof robustness.flipped !== 'boolean')
+        return null;
+    const carriesMeasuredCounts = Object.prototype.hasOwnProperty.call(robustness, 'survived') ||
+        Object.prototype.hasOwnProperty.call(robustness, 'total');
+    if (carriesMeasuredCounts && readRobustnessCounts(robustness) === null)
+        return null;
+    return robustness.flipped ? 'flipped' : 'held';
+}
+function finalAxesAreCoherent(final) {
+    const confidence = final.confidence ?? null;
+    if (final.confidenceBasis === 'withheld_no_evidence') {
+        return confidence === null && final.sufficiency === 'none';
+    }
+    if (final.confidenceBasis === 'recomputed_after_flip') {
+        return confidence === 'low' && final.sufficiency !== 'none' && final.robustness === 'flipped';
+    }
+    return confidence !== null && final.sufficiency !== 'none' && final.robustness !== 'flipped';
+}
+/**
+ * Authenticate and normalize a producer-owned `final` block against its raw row.
+ *
+ * A readable row status is mandatory: it is the original verdict the code-derived block claims
+ * to reconcile. The final robustness outcome must also agree with the raw pass (or its absence),
+ * otherwise a stale pre-flip reliability block could caption a flipped row. Optional priority
+ * degrades field-locally; every unknown key is removed from the returned current-version block.
+ */
+export function normalizeFinalHypothesisState(rawRow) {
+    const row = asRecord(rawRow);
+    const block = asRecord(row?.final);
+    if (!row || !block || block.version !== HYPOTHESIS_SEMANTICS_VERSION)
+        return null;
+    const rowVerdict = asMember(row.status, VERDICT_STATUSES);
+    const originalVerdict = asMember(block.originalVerdict, VERDICT_STATUSES);
+    const verdict = asMember(block.verdict, VERDICT_STATUSES);
+    if (!rowVerdict || originalVerdict !== rowVerdict || !verdict)
+        return null;
+    const rawRobustness = asRecord(row.robustness);
+    const weakestRecorded = resolveMonotoneVerdict(rowVerdict, rawRobustness?.downgradedStatus);
+    if (resolveMonotoneVerdict(weakestRecorded, verdict) !== verdict)
+        return null;
+    const confidence = asMember(block.confidence, CONFIDENCE_LEVELS);
+    if (block.confidence !== undefined && confidence === null)
+        return null;
+    const confidenceBasis = asMember(block.confidenceBasis, CONFIDENCE_BASES);
+    const sufficiency = asMember(block.sufficiency, EVIDENCE_SUFFICIENCY_LEVELS);
+    const robustness = asMember(block.robustness, ROBUSTNESS_OUTCOMES);
+    if (!confidenceBasis || !sufficiency || !robustness)
+        return null;
+    if (readRowRobustnessOutcome(row) !== robustness)
+        return null;
+    const normalized = {
+        version: HYPOTHESIS_SEMANTICS_VERSION,
+        verdict,
+        originalVerdict,
+        ...(confidence ? { confidence } : {}),
+        confidenceBasis,
+        sufficiency,
+        robustness,
+    };
+    const priority = asMember(block.priority, HYPOTHESIS_PRIORITIES);
+    if (priority)
+        normalized.priority = priority;
+    return finalAxesAreCoherent(normalized) ? normalized : null;
+}
+//# sourceMappingURL=hypothesis-semantics.js.map

package/dist/hypothesis-semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hypothesis-semantics.js","sourceRoot":"","sources":["../src/hypothesis-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,cAAc,CAAU,CAAA;AAGrF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAU,CAAA;AAGnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,CAAU,CAAA;AAG/F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,cAAc,CAAU,CAAA;AAG/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,UAAU,EAAE,uBAAuB,EAAE,sBAAsB,CAAU,CAAA;AAGtG,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAA;AAGvE,uEAAuE;AACvE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAA;AAiB7C,MAAM,gBAAgB,GAAkC;IACtD,SAAS,EAAE,CAAC;IACZ,YAAY,EAAE,CAAC;IACf,WAAW,EAAE,CAAC;CACf,CAAA;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,IAAI,CAAA;AACV,CAAC;AAED,SAAS,QAAQ,CAAmB,KAAc,EAAE,OAAqB;IACvE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,OAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChF,CAAC,CAAE,KAAW;QACd,CAAC,CAAC,IAAI,CAAA;AACV,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,sBAAsB,CACpC,WAAoB,EACpB,YAAqB;IAErB,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACxD,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAA;IAC1D,IAAI,CAAC,SAAS;QAAE,OAAO,QAAQ,CAAA;IAC/B,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC/B,OAAO,gBAAgB,CAAC,SAAS,CAAC,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAA;AACxF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAA;IAC5B,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAA;IACpC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAA;IAC9B,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAA;IAClC,IACE,OAAO,QAAQ,KAAK,QAAQ;QAC5B,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC;QAC3B,QAAQ,GAAG,CAAC;QACZ,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QACxB,KAAK,IAAI,CAAC;QACV,QAAQ,GAAG,KAAK;QAChB,OAAO,OAAO,KAAK,SAAS;QAC5B,OAAO,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AAC5B,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAClC,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAA;IAC/C,MAAM,cAAc,GAAG,QAAQ,CAAC,UAAU,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAA;IAC7E,MAAM,QAAQ,GAAG,UAAU,EAAE,QAAQ,CAAA;IACrC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,IAAI,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAA;IACvF,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK;QAAE,OAAO,KAAK,CAAA;IAElD,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAA;QAC1E,IAAI,CAAC,OAAO,IAAI,CAAC,cAAc,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;QACpF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,cAAc,KAAK,cAAc,CAAC;YAAE,OAAO,KAAK,CAAA;QACxE,IAAI,OAAO,CAAC,MAAM;YAAE,WAAW,IAAI,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,WAAW,KAAK,MAAM,CAAC,QAAQ,CAAA;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mCAAmC,CAAC,KAAc;IAChE,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAA;IAC7B,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAA;IAC/C,MAAM,cAAc,GAAG,QAAQ,CAAC,UAAU,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAA;IAC5E,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAA;IACpC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC;QAAE,OAAO,KAAK,CAAA;IAC/E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IACzC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAA;IAEhC,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,IAAI,cAAc,GAAG,CAAC,CAAA;IACtB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAA;QAC1E,IAAI,CAAC,OAAO,IAAI,CAAC,cAAc,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS;YAAE,SAAQ;QAChF,aAAa,IAAI,CAAC,CAAA;QAClB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,cAAc,KAAK,cAAc,CAAC;YAAE,OAAO,IAAI,CAAA;QACvE,IAAI,OAAO,CAAC,MAAM;YAAE,WAAW,IAAI,CAAC,CAAA;;YAC/B,cAAc,IAAI,CAAC,CAAA;IAC1B,CAAC;IAED,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACzB,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK;QAAE,OAAO,IAAI,CAAA;IAC/C,IAAI,WAAW,GAAG,MAAM,CAAC,QAAQ,IAAI,cAAc,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAA;IACjG,OAAO,CACL,aAAa,KAAK,QAAQ,CAAC,MAAM;QACjC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK;QAChC,WAAW,KAAK,MAAM,CAAC,QAAQ,CAChC,CAAA;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,wBAAwB,CAAC,MAAe;IACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC5B,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAA;IACrB,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,cAAc,CAAA;IAClF,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC3C,IAAI,CAAC,UAAU,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAA;IACjE,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IACxD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAA;IAC3B,IACE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC;QAClE,QAAQ,CAAC,UAAU,CAAC,cAAc,EAAE,gBAAgB,CAAC,KAAK,SAAS;QACnE,OAAO,IAAI,CAAA;IACb,IACE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC;QAC5D,mCAAmC,CAAC,UAAU,CAAC;QAC/C,OAAO,IAAI,CAAA;IACb,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAA;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,cAAc,CAAA;IAChE,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,CAAC,UAAU,IAAI,OAAO,UAAU,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACvE,MAAM,qBAAqB,GACzB,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC;QAC5D,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC3D,IAAI,qBAAqB,IAAI,oBAAoB,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACnF,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAA;AAChD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAqC;IACjE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,IAAI,CAAA;IAC3C,IAAI,KAAK,CAAC,eAAe,KAAK,sBAAsB,EAAE,CAAC;QACrD,OAAO,UAAU,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAA;IAC5D,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,KAAK,uBAAuB,EAAE,CAAC;QACtD,OAAO,UAAU,KAAK,KAAK,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,CAAA;IAC/F,CAAC;IACD,OAAO,UAAU,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,CAAA;AAC9F,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAe;IAEf,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAClC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,4BAA4B;QAAE,OAAO,IAAI,CAAA;IAEjF,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IACzD,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAA;IACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAA;IACzD,IAAI,CAAC,UAAU,IAAI,eAAe,KAAK,UAAU,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAA;IAE1E,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC9C,MAAM,eAAe,GAAG,sBAAsB,CAAC,UAAU,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAA;IAC3F,IAAI,sBAAsB,CAAC,eAAe,EAAE,OAAO,CAAC,KAAK,OAAO;QAAE,OAAO,IAAI,CAAA;IAE7E,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAA;IAChE,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACtE,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAA;IACzE,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,2BAA2B,CAAC,CAAA;IAC5E,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAA;IAClE,IAAI,CAAC,eAAe,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAA;IAChE,IAAI,wBAAwB,CAAC,GAAG,CAAC,KAAK,UAAU;QAAE,OAAO,IAAI,CAAA;IAE7D,MAAM,UAAU,GAAmC;QACjD,OAAO,EAAE,4BAA4B;QACrC,OAAO;QACP,eAAe;QACf,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,eAAe;QACf,WAAW;QACX,UAAU;KACX,CAAA;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAA;IAChE,IAAI,QAAQ;QAAE,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAE5C,OAAO,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAA;AAC7D,CAAC"}

package/dist/tools/hypothesis-final.js

@@ -0,0 +1,55 @@
+/**
+ * Defensive reader for the versioned FUL-358 hypothesis result.
+ *
+ * The MCP package cannot import the app or agent resolver, so this is its local mirror of the
+ * same contract: recognise only the semantics version this build understands, preserve every
+ * legacy number verbatim, and never let either a `final.verdict` or a raw robustness downgrade
+ * strengthen the hypothesis's original status.
+ */
+import { VERDICT_STATUSES, } from '../types/report.js';
+import { readRowRobustnessOutcome, normalizeFinalHypothesisState, resolveMonotoneVerdict, } from '../hypothesis-semantics.js';
+function asRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value)
+        ? value
+        : null;
+}
+function asMember(value, members) {
+    return typeof value === 'string' && members.includes(value)
+        ? value
+        : null;
+}
+export { resolveMonotoneVerdict } from '../hypothesis-semantics.js';
+/** Read one raw `hypothesisResults[]` row without assuming its Zod parse succeeded. */
+export function readFinalHypothesisState(rawHypothesis) {
+    const row = asRecord(rawHypothesis) ?? {};
+    const originalVerdict = asMember(row.status, VERDICT_STATUSES);
+    const legacyConfidence = typeof row.confidence === 'number' && Number.isFinite(row.confidence)
+        ? row.confidence
+        : null;
+    const robustness = asRecord(row.robustness);
+    const weakestRecordedVerdict = resolveMonotoneVerdict(originalVerdict, robustness?.downgradedStatus);
+    const final = normalizeFinalHypothesisState(row);
+    if (final) {
+        return {
+            verdict: final.verdict,
+            originalVerdict: final.originalVerdict,
+            confidence: final.confidence ?? null,
+            confidenceBasis: final.confidenceBasis,
+            sufficiency: final.sufficiency,
+            robustness: final.robustness,
+            legacyConfidence,
+            fromContract: true,
+        };
+    }
+    return {
+        verdict: weakestRecordedVerdict,
+        originalVerdict,
+        confidence: null,
+        confidenceBasis: null,
+        sufficiency: null,
+        robustness: readRowRobustnessOutcome(row),
+        legacyConfidence,
+        fromContract: false,
+    };
+}
+//# sourceMappingURL=hypothesis-final.js.map

package/dist/tools/hypothesis-final.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hypothesis-final.js","sourceRoot":"","sources":["../../src/tools/hypothesis-final.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,gBAAgB,GAMjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,wBAAwB,EACxB,6BAA6B,EAC7B,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAanC,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,IAAI,CAAA;AACV,CAAC;AAED,SAAS,QAAQ,CAAmB,KAAc,EAAE,OAAqB;IACvE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,OAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChF,CAAC,CAAE,KAAW;QACd,CAAC,CAAC,IAAI,CAAA;AACV,CAAC;AAED,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AAEnE,uFAAuF;AACvF,MAAM,UAAU,wBAAwB,CAAC,aAAsB;IAC7D,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,CAAA;IACzC,MAAM,eAAe,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAC9D,MAAM,gBAAgB,GACpB,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;QACnE,CAAC,CAAC,GAAG,CAAC,UAAU;QAChB,CAAC,CAAC,IAAI,CAAA;IACV,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC3C,MAAM,sBAAsB,GAAG,sBAAsB,CACnD,eAAe,EACf,UAAU,EAAE,gBAAgB,CAC7B,CAAA;IAED,MAAM,KAAK,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAA;IAChD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,IAAI;YACpC,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,gBAAgB;YAChB,YAAY,EAAE,IAAI;SACnB,CAAA;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,sBAAsB;QAC/B,eAAe;QACf,UAAU,EAAE,IAAI;QAChB,eAAe,EAAE,IAAI;QACrB,WAAW,EAAE,IAAI;QACjB,UAAU,EAAE,wBAAwB,CAAC,GAAG,CAAC;QACzC,gBAAgB;QAChB,YAAY,EAAE,KAAK;KACpB,CAAA;AACH,CAAC"}