kibi-cli 2.38.0 → 2.39.0

package/src/public/skills/kibi-decisions/resources/signoff-views.md

@@ -51,7 +51,9 @@ writes and opens the page; `--format json` prints the view.
 The person answers by number ("1 yes, 2 exploratory, 3 reword: ..."). Copy
 each answer into `answer`, render again, and record the rules only once every
 question is answered. An answer is the person's words: quote it in
-`origin.ref`; a view itself is never an approval.
+`origin.ref`; a view itself is never an approval. Record the answers on the
+branch of the change they approve and push them to its pull request, never to
+a separate one.
 
 ## Summary contents
 

package/src/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.36.0
+version: 2.37.0
 kibiCompatibility: ">=1.0.0"
 tags:
   - kibi
@@ -372,6 +372,14 @@ human sets `approved_by`; `kb_check` flags approvals an agent recorded without
 corroboration. Never fill in an approval yourself. Record why a requirement
 exists in `rationale`, or link the ADR that explains it.
 
+A signoff belongs to the change it approves. Ask for it before you open or
+merge the pull request, and when the person answers, record their answer
+(`approved_by` or a `*_waiver_approved_by` field set to them, their words in
+`origin.ref` or `approval_ref`) on the same branch and push it to the same pull
+request. Writing down an answer the person gave is not approving it yourself.
+Never open a separate pull request only to carry a signoff, firmness or waiver
+approval.
+
 ## Decision firmness
 
 Requirements and ADRs carry `firmness`, which says what you may do with them.

package/src/schemas/entity.schema.json

@@ -562,6 +562,18 @@
       "minLength": 1,
       "description": "Requirement-only. Optional reference to the approval decision record (ticket, ADR or review link) for an exception requirement."
     },
+    "failure_side_waiver": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "\\S",
+      "description": "Requirement-only. Why the requirement has no failure side to test: its claims state a capability or an output shape, so there is no input or attempt for Kibi to refuse. Waives the happy_path_only gap once failure_side_waiver_approved_by is set."
+    },
+    "failure_side_waiver_approved_by": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "\\S",
+      "description": "Requirement-only. The person who accepted failure_side_waiver. Without it the waiver is reported as awaiting approval and the gap stays open."
+    },
     "rationale": {
       "type": "string",
       "minLength": 1,
@@ -684,6 +696,32 @@
           },
           "reason": {
             "type": "string"
+          },
+          "dimension": {
+            "type": "object",
+            "required": [
+              "quantifier",
+              "rewrites"
+            ],
+            "properties": {
+              "quantifier": {
+                "type": "string",
+                "minLength": 1
+              },
+              "rewrites": {
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "enum": [
+                    "bound",
+                    "rule",
+                    "count",
+                    "set"
+                  ]
+                }
+              }
+            },
+            "additionalProperties": false
           }
         },
         "additionalProperties": false
@@ -1602,6 +1640,30 @@
     "claim_text": {
       "type": "string"
     },
+    "dimension_waiver": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "\\S",
+      "description": "Fact-only. Why the quantifier word in claim_text (each, every, all, or a cardinality bound) ranges over nothing, so the claim needs no count, set or rule. Waives dimension_unrepresented for the claim once dimension_waiver_approved_by is set."
+    },
+    "dimension_waiver_approved_by": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "\\S",
+      "description": "Fact-only. The person who accepted dimension_waiver. Without it the waiver is reported as awaiting approval and the gap stays open."
+    },
+    "case_waiver": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "\\S",
+      "description": "Fact-only. Why the edge cases Kibi derives from this fact (the value past a bound, a value outside a set) are covered some other way or cannot occur. Waives uncovered_case for the fact once case_waiver_approved_by is set."
+    },
+    "case_waiver_approved_by": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "\\S",
+      "description": "Fact-only. The person who accepted case_waiver. Without it the waiver is reported as awaiting approval and the gap stays open."
+    },
     "predicate_name": {
       "type": "string"
     },
@@ -1839,6 +1901,26 @@
                 "claim_text"
               ]
             },
+            {
+              "required": [
+                "dimension_waiver"
+              ]
+            },
+            {
+              "required": [
+                "dimension_waiver_approved_by"
+              ]
+            },
+            {
+              "required": [
+                "case_waiver"
+              ]
+            },
+            {
+              "required": [
+                "case_waiver_approved_by"
+              ]
+            },
             {
               "required": [
                 "predicate_name"
@@ -2051,6 +2133,16 @@
                 "approval_ref"
               ]
             },
+            {
+              "required": [
+                "failure_side_waiver"
+              ]
+            },
+            {
+              "required": [
+                "failure_side_waiver_approved_by"
+              ]
+            },
             {
               "required": [
                 "rationale"