kibi-cli 2.29.0 → 2.31.0

package/dist/public/skills/kibi-usage/SKILL.md

@@ -2,7 +2,7 @@
 id: kibi-usage
 name: Kibi Usage
 description: Use Kibi's source-first, exact-Git, migration-aware, proof-aware operations safely across MCP or the trusted local CLI, including partial completion repair.
-version: 2.20.0
+version: 2.24.0
 kibiCompatibility: ">=1.0.0"
 tags:
   - kibi
@@ -121,6 +121,10 @@ component that renders it) with `implements` through `kb_upsert`. Without a read
 still answers and `kibi sync` regenerates the manifest. The search tip and the
 `.kb/` note appear once per session and need no action.
 
+Before you edit a source file that Kibi tracks, run `kb_search` with that file in `sourceLocations`, and treat both its ranked results and its `data.answer` layer as discovery only, not as the governing text. Then call `kb_query` by `id` on each current governing requirement that the search names, read what each one requires, and make the edit only after those exact reads. A `kb_check`, `kb_status` or `kb_coverage` result does not replace that `kb_query` read. This rule only adds an exact read before the edit and does not change the order of any other step in this workflow. It adds nothing to a modeling or write task: that task still ends with the real `kb_upsert` of every planned fact and requirement and the closing `kb_check`.
+
+For an edit that keeps the governing rule, limit the consultation before the edit to exactly two Kibi calls: `kb_search` with the file in `sourceLocations`, then one `kb_query` (by the governing requirement's `id`, or by `sourceFile` when several requirements govern the file). Do not start with `kb_status`, and do not repeat the search or the query before editing; run `kb_status`, `kb_check` and `kb_coverage` after the edit. This limit applies only to source edits. A task that models a claim keeps its full order, one step after the other: `kb_search`, then the exact `kb_query` of the supplied target, then `kb_model` with `mode: "analyze"` on the complete claim, then `mode: "predicates"` for each relational clause, then `kb_model` with `mode: "requirement"` for a strict or typed-rule clause, and only then the real `kb_upsert` of every planned fact and requirement and the closing `kb_check`. Never call `kb_model` before that exact `kb_query`, and never stop at a dry run.
+
 ## Safe workflow
 
 1. Always discover before you mutate: start with `kb_search`, then exact-filter with `kb_query`. Use
@@ -164,7 +168,7 @@ End every task with these five independent fields:
 taskOutcome: complete | interim | blocked
 kbState: clean_fresh | stale | dirty | legacy_compat | not_evaluated
 verificationState: fresh | dirty | unavailable | not_evaluated
-proofState: proven | mixed | unresolved | not_evaluated
+proofState: tested | mixed | unresolved | not_evaluated
 limitationDisposition: none | accepted | unaccepted | not_applicable
 ```
 
@@ -356,7 +360,9 @@ authored. Each one is the order the write path accepts.
 
 Entities record `origin` (`kind`: `human`, `agent`, `migration`, or `import`,
 plus optional `ref` and `approved_by`). `kb_upsert` records `kind: agent` on
-entities you create; leave `origin.approved_by` to the person who reviews them.
+entities you create; leave `origin.approved_by` to the person who reviews them,
+and ask for that review with `kibi signoff` (see `kibi-decisions`), never with
+a summary in your own words.
 An exception (a requirement that `exempts` another) exempts nothing until a
 human sets `approved_by`; `kb_check` flags approvals an agent recorded without
 corroboration. Never fill in an approval yourself. Record why a requirement
@@ -365,6 +371,8 @@ exists in `rationale`, or link the ADR that explains it.
 ## Decision firmness
 
 Requirements and ADRs carry `firmness`, which says what you may do with them.
+Load `kibi-decisions` when a person states a rule, a hook asks before an edit
+of firm code, or a request conflicts with a recorded rule.
 Search answers, `kb_query` rows and hook snippets show it (snippets label only
 `[firm: ask before changing]` and `[exploratory]`; an unlabeled decision is
 `default`).
@@ -394,17 +402,12 @@ task or in reply: then supersede it with `firmness: firm` and `origin.ref` to
 their words (or, for a correction they asked for in place, update it with
 `origin.ref` to those words), and say in the final answer which rule changed.
 
-Set `firmness` from what a human actually said: only their stated rule is
-`firm` (with `origin.ref`); "do whatever" or your own pick is `default`; a
-guess is `exploratory`. Write it explicitly whenever you record a decision,
-including when importing rules from documents, tests or tickets (a rule a
-person wrote there is `firm`, with `origin.ref` to that document). A
-supersede needs `## Why this changed` in the new entity's body (at least 12
-words): name the evidence (a failing test, a measured cost, a constraint the
-old decision missed, a new requirement, the person's instruction) and answer
-the old decision's reasoning; `kb_check` blocks it otherwise. A preference is
-not evidence: propose it instead of superseding. Kibi checks only that a firm
-decision has a reference; never cite words nobody said.
+Set `firmness` explicitly from what a human actually said: only their stated
+rule is `firm` (with `origin.ref` to their words); your own pick is `default`;
+a guess is `exploratory`. A supersede needs a `## Why this changed` section of
+at least 12 words naming the evidence; a preference is not evidence. Never
+cite words nobody said. `kibi-decisions` has the recording and supersede
+payloads.
 
 Conditional clauses ("only when", "only if", "must not ... unless") compile
 into typed `forbid` rules linked by `requires_rule`, not property facts; one
@@ -418,7 +421,8 @@ read `unresolved` as consistent. Compare the intent with each candidate's
 `statement`, then compile again with `conflictReviews`
 (`{requirementId, verdict: "conflict" | "no_conflict", note}`). On a conflict
 the plan is `blocked`: ask the human which rule holds (a firm requirement is
-theirs), then supersede or change it, or change the intent.
+theirs), then supersede or change it, or change the intent (see
+`kibi-decisions`).
 
 ## Semantic and proof guardrails
 
@@ -558,4 +562,5 @@ retrying the same payload; inspect the typed error and `nextActions`.
 Kibi may now author tracked Markdown/YAML evidence transactionally. The former
 statement “Kibi operation writes do not automatically stage markdown evidence”
 means Kibi writes do not Git-stage it: review and commit remain ordinary Git
-workflows.
+workflows. When `kibi check --staged` or the pre-commit hook blocks a commit,
+load `kibi-commit-review`.

package/dist/public/skills/kibi-usage/resources/proof.md

@@ -1,6 +1,6 @@
 # Proof and Verification Workflow
 
-Use this resource when a requirement must be proven before handoff, when
+Use this resource when a requirement must be tested end to end before handoff, when
 wiring a proof-bearing test, or when `kb_ingest_proof` or `kibi prove`
 rejected evidence.
 
@@ -97,9 +97,9 @@ Cosmetic edits (descriptions, labels) never stale proof. Execution-relevant
 edits (command, artifact, targets, options, bindings, contract) change the
 effective fingerprint and do.
 
-## What counts toward proofProven
+## What counts toward proofTested
 
-A requirement is proven only by its scenarios' tests, and a scenario test
+A requirement reaches `proofStatus: tested` only through its scenarios' tests, and a scenario test
 counts only when it is an **end-to-end** test with a valid, fresh, passing
 receipt for the current snapshot.
 
@@ -109,7 +109,7 @@ receipt for the current snapshot.
   `source` path contains `e2e`) counts as end-to-end; anything else is
   `unknown` scope.
 - A `unit` or `integration` receipt is still recorded on the test entity, but
-  it does not move `proofProven` for a behavioural requirement: the
+  it does not move `proofTested` for a behavioural requirement: the
   requirement keeps the `missing_passing_e2e` gap in `proofGaps`. The one
   exception is a scenario whose specifying requirements are all grounded only
   in component-scope UI predicates (`ui_pattern`, `same_pattern`,
@@ -120,6 +120,38 @@ receipt for the current snapshot.
   receipt does not change it, and a `passing` status without a fresh receipt
   proves nothing.
 
+## Evidence levels
+
+Every requirement row also carries `evidenceLevel`, the strength of what backs
+it, and `evidence`, the entries that earned it (each with `kind`, `scope` and
+`level`):
+
+- `proved`: a re-checkable certificate covers every case. No proof kind issues
+  certificates yet, so nothing reaches it today.
+- `tested`: `proofStatus` is `tested`; fresh E2E receipts cover every linked
+  scenario.
+- `asserted`: a person stands behind the statement (approved, or firm by
+  `firmness` or a non-agent origin) but nothing current checks it.
+- `unverified`: an agent wrote it, no person approved it, nothing checks it.
+
+Report the level as it is. Never call an `asserted` or `unverified`
+requirement proven or tested, and never call `tested` proved. Firmness is a
+separate axis: it says how sure the person is, not how strong the evidence is.
+
+## Knowledge-base certificates
+
+`kb_check` (`kibi check`) proves facts about the KB itself in its
+`kb-consistency` rule and re-checks each answer with an independent checker:
+property facts are consistent (a model per subject, property and scope, or an
+irreducible contradiction core), predicate facts and allow/deny decisions are
+consistent, and stored rules are stratified. It catches facts that contradict
+only together, which the pairwise `domain-contradictions` rule misses. A
+`kb-consistency` violation names the core facts and the requirements behind
+them: supersede or change one of those requirements; never edit the facts so
+the check passes. Quote a `kb-consistency-unresolved` diagnostic as
+unresolved, never as consistent. Opposing rule pairs and scenario
+feasibility are not certified yet; their own rules still decide them.
+
 ## Attempt semantics (factual, never optimistic)
 
 - `attempts: {status: "complete", entries: [...]}` — known history; the

package/dist/public/skills/kibi-usage/resources/workflows.md

@@ -9,7 +9,7 @@ success flag):
 taskOutcome: complete | interim | blocked
 kbState: clean_fresh | stale | dirty | legacy_compat | not_evaluated
 verificationState: fresh | dirty | unavailable | not_evaluated
-proofState: proven | mixed | unresolved | not_evaluated
+proofState: tested | mixed | unresolved | not_evaluated
 limitationDisposition: none | accepted | unaccepted | not_applicable
 ```
 

package/dist/report/html-report.css

@@ -341,7 +341,7 @@ h1 span {
   content: "";
   background: var(--amber);
 }
-.requirement--proven::before {
+.requirement--tested::before {
   background: var(--green);
 }
 .requirement--unresolved::before {
@@ -356,6 +356,13 @@ h1 span {
   align-items: start;
   justify-content: space-between;
 }
+.evidence-level {
+  margin-left: 6px;
+  opacity: 0.75;
+  font-weight: 700;
+  text-transform: uppercase;
+  letter-spacing: .06em;
+}
 .requirement__id {
   margin-bottom: 7px;
   color: var(--muted);
@@ -380,7 +387,7 @@ h1 span {
   letter-spacing: .07em;
   text-transform: uppercase;
 }
-.proof-badge--proven {
+.proof-badge--tested {
   border-color: rgba(98, 230, 167, 0.25);
   color: var(--green);
   background: rgba(98, 230, 167, 0.08);
@@ -1001,7 +1008,7 @@ h1 {
 .requirement::before {
   background: var(--warning);
 }
-.requirement--proven::before {
+.requirement--tested::before {
   background: var(--success);
 }
 .requirement--unresolved::before {
@@ -1024,7 +1031,7 @@ h1 {
   background: rgba(242, 184, 75, 0.07);
   font: 800 9px / 1.2 var(--mono);
 }
-.proof-badge--proven {
+.proof-badge--tested {
   border-color: rgba(99, 201, 154, 0.3);
   color: var(--success);
   background: rgba(99, 201, 154, 0.07);

package/dist/report/html-report.d.ts

@@ -15,7 +15,7 @@ export type HtmlReportInput = Readonly<{
     generatedAt: Date;
     repository?: ReportRepository;
 }>;
-export declare function firstFailingProofGate(gates: readonly ProofGateKey[], passes: (gate: ProofGateKey) => boolean): ProofGateKey | "proven";
-export declare function earliestUnmetGate(row: UnknownRecord): ProofGateKey | "proven";
+export declare function firstFailingProofGate(gates: readonly ProofGateKey[], passes: (gate: ProofGateKey) => boolean): ProofGateKey | "tested";
+export declare function earliestUnmetGate(row: UnknownRecord): ProofGateKey | "tested";
 export declare function renderHtmlReport(input: HtmlReportInput): string;
 //# sourceMappingURL=html-report.d.ts.map

package/dist/report/html-report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"html-report.d.ts","sourceRoot":"","sources":["../../src/report/html-report.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,gBAAgB,EAMtB,MAAM,iBAAiB,CAAC;AAGzB,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAuB9D,eAAO,MAAM,UAAU,6FACqE,CAAC;AAG7F,eAAO,MAAM,wBAAwB,gEAC0B,CAAC;AAEhE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/B,IAAI,CAAC,EAAE,aAAa,CAAC;CACtB,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,YAAY,EAAE,kBAAkB,CAAC;IACjC,OAAO,EAAE,kBAAkB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,IAAI,CAAC;IAClB,UAAU,CAAC,EAAE,gBAAgB,CAAC;CAC/B,CAAC,CAAC;AAkNH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,MAAM,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,GACtC,YAAY,GAAG,QAAQ,CAKzB;AAID,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,aAAa,GAAG,YAAY,GAAG,QAAQ,CAM7E;AA8YD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAuM/D"}
+{"version":3,"file":"html-report.d.ts","sourceRoot":"","sources":["../../src/report/html-report.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,gBAAgB,EAMtB,MAAM,iBAAiB,CAAC;AAGzB,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAuB9D,eAAO,MAAM,UAAU,6FACqE,CAAC;AAG7F,eAAO,MAAM,wBAAwB,gEAC0B,CAAC;AAEhE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/B,IAAI,CAAC,EAAE,aAAa,CAAC;CACtB,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,YAAY,EAAE,kBAAkB,CAAC;IACjC,OAAO,EAAE,kBAAkB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,IAAI,CAAC;IAClB,UAAU,CAAC,EAAE,gBAAgB,CAAC;CAC/B,CAAC,CAAC;AAkNH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,MAAM,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,GACtC,YAAY,GAAG,QAAQ,CAKzB;AAID,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,aAAa,GAAG,YAAY,GAAG,QAAQ,CAM7E;AAqZD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAuM/D"}

package/dist/report/html-report.js

@@ -143,7 +143,7 @@ function implementationOwned(stages) {
     return productionSymbols.every((symbol) => !missingCoordinates.has(symbol));
 }
 function passesProofGate(row, gate) {
-    if (row.proofStatus === "proven")
+    if (row.proofStatus === "tested")
         return true;
     const stages = record(row.proofStages);
     if (gate === "semantic") {
@@ -158,7 +158,7 @@ function passesProofGate(row, gate) {
     if (gate === "e2e") {
         return stagePassed(stages, "scenarioTests") && hasEndToEndTest(stages);
     }
-    return row.proofStatus === "proven";
+    return row.proofStatus === "tested";
 }
 function proofGates(rows) {
     const definitions = [
@@ -197,13 +197,13 @@ export function firstFailingProofGate(gates, passes) {
         if (!passes(gate))
             return gate;
     }
-    return "proven";
+    return "tested";
 }
 // implements REQ-kibi-html-health-report
 // covered_by TEST-kibi-html-health-report
 export function earliestUnmetGate(row) {
-    if (row.proofStatus === "proven")
-        return "proven";
+    if (row.proofStatus === "tested")
+        return "tested";
     return firstFailingProofGate(["semantic", "scenario", "implementation", "e2e", "evidence"], (gate) => passesProofGate(row, gate));
 }
 function evidenceStage(passingE2e, testSources, repository) {
@@ -401,15 +401,15 @@ function rowSeverity(row) {
         return 0;
     if (gaps.includes("stale_proof_receipt"))
         return 1;
-    if (row.proofStatus !== "proven")
+    if (row.proofStatus !== "tested")
         return 2;
     return 3;
 }
 function rowStates(row) {
     const states = new Set();
     const gaps = strings(row.proofGaps);
-    if (row.proofStatus === "proven")
-        states.add("proven");
+    if (row.proofStatus === "tested")
+        states.add("tested");
     else
         states.add("attention");
     if (gaps.includes("stale_proof_receipt"))
@@ -430,8 +430,8 @@ function renderRequirement(row, repository) {
     const proofStatus = text(row.proofStatus, "missing");
     const proofGaps = strings(row.proofGaps);
     const proofAdvisories = strings(row.proofAdvisories);
-    const blockingGaps = proofStatus === "proven" ? [] : proofGaps;
-    const advisories = proofStatus === "proven"
+    const blockingGaps = proofStatus === "tested" ? [] : proofGaps;
+    const advisories = proofStatus === "tested"
         ? [
             ...proofAdvisories,
             ...proofGaps.filter((gap) => !proofAdvisories.includes(gap)),
@@ -439,7 +439,8 @@ function renderRequirement(row, repository) {
         : proofAdvisories;
     const conflicts = records(record(record(row.proofStages).contradictions).conflicts).filter((conflict) => text(conflict.status) === "contradiction");
     const stages = requirementStages(row, repository);
-    const badgeLabel = proofStatus === "proven" ? "Proven" : "Needs attention";
+    const badgeLabel = proofStatus === "tested" ? "Tested" : "Needs attention";
+    const evidenceLevel = text(row.evidenceLevel, "unverified");
     const requirementSource = sourceCoordinate({
         path: text(record(record(row.proofStages).sourceCoordinates).requirementPath, text(row.source)),
     }) ?? sourceCoordinate({ path: text(row.source) });
@@ -447,7 +448,7 @@ function renderRequirement(row, repository) {
     return `<article class="requirement requirement--${escapeHtml(proofStatus)}" data-state="${rowStates(row)}" data-gate="${escapeHtml(gate)}">
     <header class="requirement__header">
       <div>
-        <div class="requirement__id">${linkedLabel(id, sourceWebUrl(repository, requirementSource))}</div>
+        <div class="requirement__id">${linkedLabel(id, sourceWebUrl(repository, requirementSource))} <span class="evidence-level evidence-level--${escapeHtml(evidenceLevel)}" title="Evidence level">${escapeHtml(evidenceLevel)}</span></div>
         <h3>${linkedLabel(title, sourceWebUrl(repository, requirementSource))}</h3>
       </div>
       <span class="proof-badge proof-badge--${escapeHtml(proofStatus)}">${escapeHtml(badgeLabel)}</span>
@@ -458,6 +459,11 @@ function renderRequirement(row, repository) {
     ${renderIssueList(advisories, "proof-advisories", "advisory", "advisories")}
   </article>`;
 }
+// implements REQ-kibi-evidence-levels
+function evidenceCount(rows, level) {
+    return rows.filter((row) => text(row.evidenceLevel, "unverified") === level)
+        .length;
+}
 function metric(label, value, tone = "") {
     return `<div class="metric${tone ? ` metric--${tone}` : ""}"><span>${escapeHtml(label)}</span><strong>${value.toLocaleString("en-US")}</strong></div>`;
 }
@@ -513,7 +519,7 @@ function reportIdentity(input) {
 function renderFilters(counts) {
     const labels = {
         all: "All",
-        proven: "Proven",
+        tested: "Tested",
         attention: "Needs attention",
         stale: "Stale evidence",
         contradiction: "Contradictions",
@@ -537,10 +543,10 @@ export function renderHtmlReport(input) {
     const total = count(summary.total);
     const notApplicable = count(summary.proofNotApplicable);
     const currentRequirements = Math.max(0, total - notApplicable);
-    const proven = count(summary.proofProven);
+    const tested = count(summary.proofTested);
     const proofPercent = currentRequirements === 0
         ? 0
-        : Math.round((proven / currentRequirements) * 100);
+        : Math.round((tested / currentRequirements) * 100);
     const missingScenarios = currentRows.filter((row) => strings(row.proofGaps).includes("missing_scenario")).length;
     const staleEvidence = currentRows.filter((row) => strings(row.proofGaps).includes("stale_proof_receipt")).length;
     const withoutImplementation = currentRows.filter((row) => strings(row.proofGaps).includes("missing_production_symbol")).length;
@@ -561,12 +567,10 @@ export function renderHtmlReport(input) {
     })));
     const identity = reportIdentity({ ...input, repository });
     const faviconHref = renderKibiFaviconDataUri();
-    const scoreLabel = currentRequirements === 0
-        ? "No current requirements"
-        : "Strict proof coverage";
+    const scoreLabel = currentRequirements === 0 ? "No current requirements" : "Tested end to end";
     const scoreRatio = currentRequirements === 0
         ? "No current requirements to prove"
-        : `${proven.toLocaleString("en-US")} of ${currentRequirements.toLocaleString("en-US")} current requirements fully proven end-to-end`;
+        : `${tested.toLocaleString("en-US")} of ${currentRequirements.toLocaleString("en-US")} current requirements fully tested end-to-end`;
     return `<!doctype html>
 <html lang="en">
 <head>
@@ -596,7 +600,7 @@ export function renderHtmlReport(input) {
           <h1>Intent to proof,<br>without the gaps.</h1>
           <p>Kibi compiles product intent into an inspectable chain of semantics, scenarios, implementation ownership, end-to-end tests, and fresh evidence.</p>
         </div>
-        <div class="score" aria-label="${proofPercent}% strict proof coverage, ${proven} of ${currentRequirements} current requirements fully proven end-to-end">
+        <div class="score" aria-label="${proofPercent}% tested end to end, ${tested} of ${currentRequirements} current requirements fully tested end-to-end">
           <div class="score__value">${proofPercent}<span>%</span></div>
           <div class="score__label">${escapeHtml(scoreLabel)}</div>
           <div class="score__ratio">${escapeHtml(scoreRatio)}</div>
@@ -613,7 +617,9 @@ export function renderHtmlReport(input) {
       </section>
       <section class="metrics" aria-label="Requirement health summary">
         ${metric("Requirements", currentRequirements)}
-        ${metric("Strict proof coverage", proven, "good")}
+        ${metric("Tested end to end", tested, "good")}
+        ${metric("Asserted, no current test", evidenceCount(currentRows, "asserted"), evidenceCount(currentRows, "asserted") ? "warn" : "")}
+        ${metric("Unverified", evidenceCount(currentRows, "unverified"), evidenceCount(currentRows, "unverified") ? "warn" : "")}
         ${metric("Missing scenarios", missingScenarios, missingScenarios ? "warn" : "")}
         ${metric("Stale E2E evidence", staleEvidence, staleEvidence ? "warn" : "")}
         ${metric("Contradictions", contradictions.length, contradictions.length ? "bad" : "")}

package/dist/report/report-view.d.ts

@@ -1,11 +1,11 @@
-export declare const REPORT_FILTERS: readonly ["all", "proven", "attention", "stale", "contradiction"];
+export declare const REPORT_FILTERS: readonly ["all", "tested", "attention", "stale", "contradiction"];
 export type ReportFilter = (typeof REPORT_FILTERS)[number];
 export declare const PROOF_GATE_KEYS: readonly ["semantic", "scenario", "implementation", "e2e", "evidence"];
 export type ProofGateKey = (typeof PROOF_GATE_KEYS)[number];
 export type RequirementView = Readonly<{
     text: string;
     states: readonly string[];
-    earliestGate: ProofGateKey | "proven";
+    earliestGate: ProofGateKey | "tested";
 }>;
 export type ReportViewQuery = Readonly<{
     query: string;

package/dist/report/report-view.js

@@ -1,6 +1,6 @@
 export const REPORT_FILTERS = [
     "all",
-    "proven",
+    "tested",
     "attention",
     "stale",
     "contradiction",
@@ -24,7 +24,7 @@ export function matchesReportView(row, view) {
 export function reportFilterCounts(rows) {
     return {
         all: rows.length,
-        proven: rows.filter((row) => row.states.includes("proven")).length,
+        tested: rows.filter((row) => row.states.includes("tested")).length,
         attention: rows.filter((row) => row.states.includes("attention")).length,
         stale: rows.filter((row) => row.states.includes("stale")).length,
         contradiction: rows.filter((row) => row.states.includes("contradiction"))

package/dist/signoff/collect.d.ts

@@ -0,0 +1,39 @@
+import { type ExtractedEntity } from "../extractors/markdown.js";
+import { type SignoffProof, type SignoffQuestionInput, type SignoffQuestions, type SignoffSummary } from "./model.js";
+export type SignoffScope = "staged" | "working";
+/** Changed code symbols per requirement they implement. */
+export type AffectedRequirements = ReadonlyMap<string, readonly string[]>;
+export type SignoffCollectDeps = Readonly<{
+    /** Run git in the workspace and return stdout; throws on failure. */
+    git?: (args: readonly string[]) => string;
+    /** Requirements the changed code implements, from the impact analysis. */
+    loadAffected?: (scope: SignoffScope) => Promise<AffectedRequirements>;
+    /** Proof rows by requirement id, from coverage. */
+    loadProof?: () => Promise<ReadonlyMap<string, SignoffProof>>;
+    now?: () => Date;
+}>;
+/** The requirement's statement: its semantic text, else its title. */
+export declare function requirementStatement(entity: ExtractedEntity): string;
+/**
+ * The end-of-work signoff summary: the requirements the change adds, rewrites,
+ * retires, or leaves unchanged while changing code that implements them, each
+ * with its statement, firmness, origin, scenarios and proof state.
+ */
+export declare function collectSignoffSummary(workspaceRoot: string, scope: SignoffScope, deps?: SignoffCollectDeps): Promise<SignoffSummary>;
+/**
+ * Requirements whose implementing code the change edits, read from the
+ * `requirement_statement_unverified` impact diagnostics of `kibi check`.
+ */
+export declare function loadAffectedForScope(workspaceRoot: string, scope: SignoffScope): Promise<AffectedRequirements>;
+/**
+ * The mid-work decision questions, numbered, with the recorded requirement a
+ * question would change and the recorded rules it conflicts with quoted from
+ * the knowledge base rather than from the agent's memory.
+ */
+export declare function collectSignoffQuestions(workspaceRoot: string, inputs: readonly SignoffQuestionInput[], now?: () => Date): SignoffQuestions;
+/**
+ * Parse the questions input: `{"questions":[{statement, id?, title?, quote?,
+ * firmness?, governs?, conflictsWith?, question?, answer?}]}` or a bare array.
+ */
+export declare function parseSignoffQuestionsInput(raw: string): SignoffQuestionInput[];
+//# sourceMappingURL=collect.d.ts.map

package/dist/signoff/collect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect.d.ts","sourceRoot":"","sources":["../../src/signoff/collect.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,eAAe,EAErB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAIL,KAAK,YAAY,EAEjB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EAGrB,KAAK,cAAc,EACpB,MAAM,YAAY,CAAC;AASpB,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEhD,2DAA2D;AAC3D,MAAM,MAAM,oBAAoB,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;AAE1E,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,qEAAqE;IACrE,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC;IAC1C,0EAA0E;IAC1E,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,KAAK,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACtE,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAC7D,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAClB,CAAC,CAAC;AAuCH,sEAAsE;AACtE,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAEpE;AAyGD;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,YAAY,EACnB,IAAI,GAAE,kBAAuB,GAC5B,OAAO,CAAC,cAAc,CAAC,CAiKzB;AAGD;;;GAGG;AACH,wBAAsB,oBAAoB,CACxC,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,YAAY,GAClB,OAAO,CAAC,oBAAoB,CAAC,CA8B/B;AAGD;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,SAAS,oBAAoB,EAAE,EACvC,GAAG,GAAE,MAAM,IAAuB,GACjC,gBAAgB,CA4BlB;AA+BD;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,MAAM,GACV,oBAAoB,EAAE,CAkDxB"}