rescore --gate verdict for an edited file

Previous value: -"repo-relative, or absolute inside repo, source file to judge as edited. Outside the repo or missing answers a config error, and an unchanged or unscoped file judges 0. repo may be any directory under the checkout, and path stays relative to the root it walks up to."New value: +"repo-relative, or absolute inside repo, source file to judge as edited. Outside the repo, missing or a directory answers a config error, and an unchanged or unscoped file judges 0. A file a scope takes whose name is not UTF-8 answers gate.ok false with the name in gate.unread_files. repo may be any directory under the checkout, and path stays relative to the root it walks up to."

Previous value: -"path to the scored repo's root (default: the repo the server was started in)"New value: +"path to the scored repo's root (default: the repo the server was started in); a leading ~ is the home directory"

Previous value: -"branch coverage from the baseline run, 0.0 to 1.0"New value: +"from the baseline run: branch coverage inside the span, 0.0 to 1.0; statement coverage when the span has no branches, and invoked-or-not (1.0 or 0.0) when it has no statements; Python and/or add to ccn but coverage.py records no branch arc for them; 0.0 on an untested, excluded, no-lane or cc-only row"

Previous value: -"score from fresh ccn and baseline cov"New value: +"score from fresh ccn and baseline cov: ccn^2 x (1 - cov)^3 + ccn, or ccn on a cc-only or excluded row"

Previous value: -"measured, untested, no-lane or cc-only: whether a lane artifact could measure this span"New value: +"measured, untested, excluded, no-lane or cc-only: whether a lane artifact could measure this span"

Previous value: -[
-  "measured",
-  "untested",
-  "no-lane",
-  "cc-only"
-]New value: +[
+  "measured",
+  "untested",
+  "excluded",
+  "no-lane",
+  "cc-only"
+]

Added value: +{
+  "description": "true when no measurement stands behind cov: the baseline run holds no row this function joins by name (it was added or renamed since), or its scope has no lane or asks for none. cov 0.0 is then a stand-in",
+  "type": "boolean"
+}

Previous value: -"baseline coverage"New value: +"from the baseline run: branch coverage inside the span, 0.0 to 1.0; statement coverage when the span has no branches, and invoked-or-not (1.0 or 0.0) when it has no statements; Python and/or add to ccn but coverage.py records no branch arc for them; 0.0 on an untested, excluded, no-lane or cc-only row"

Previous value: -"score"New value: +"score: ccn^2 x (1 - cov)^3 + ccn, or ccn on a cc-only or excluded row"

Previous value: -"true when breaches is empty; false is the verdict (CLI exit 6), delivered as a normal result"New value: +"true when breaches and unread_files are empty; false is the verdict (CLI exit 6, or 3 when a file's name is not UTF-8), delivered as a normal result"

Added value: +{
+  "description": "changed files no reader could read, so none of their functions was judged; any entry fails the gate (exit 6, or for a file whose name is not UTF-8 the exit-3 refusal, which check_gate answers as this verdict)",
+  "items": {
+    "description": "one changed file the gate refused unread",
+    "properties": {
+      "dirty": {
+        "description": "always true here: the gate judges the working tree's changes since HEAD",
+        "type": "boolean"
+      },
+      "path": {
+        "description": "repo-relative path of the file, each byte that is not UTF-8 spelled \\xNN",
+        "type": "string"
+      },
+      "reason": {
+        "description": "the reader's refusal, naming the line and what to change",
+        "type": "string"
+      }
+    },
+    "type": "object"
+  },
+  "type": "array"
+}

Added value: +{
+  "description": "present only when the whole answer was longer than one tool result the server sends (7,500 characters): each list, string or object field it cut, at any depth, keeps its start, and full is the CLI command that prints the whole answer",
+  "properties": {
+    "fields": {
+      "additionalProperties": {
+        "properties": {
+          "kept": {
+            "description": "how many the answer keeps",
+            "type": "integer"
+          },
+          "of": {
+            "description": "how many the whole answer has",
+            "type": "integer"
+          }
+        },
+        "type": "object"
+      },
+      "description": "each cut field, named by its keys joined with dots (gate.breaches) -> kept and of: elements for a list, entries for an object, characters for a string",
+      "type": "object"
+    },
+    "full": {
+      "description": "the crapkit command that prints the whole answer, spelled for the server's shell",
+      "type": "string"
+    }
+  },
+  "type": "object"
+}

Previous value: -"repo-relative source file to judge as edited"New value: +"repo-relative, or absolute inside repo, source file to judge as edited. Outside the repo or missing answers a config error, and an unchanged or unscoped file judges 0. repo may be any directory under the checkout, and path stays relative to the root it walks up to."

Added value: +{
+  "description": "source creation order among functions sharing start, from 1; 0 on an older row with no recorded position",
+  "type": "integer"
+}

Previous value: -"decompose (ccn over ceiling), split-lines (another function shares its source lines, so coverage cannot tell them apart and no test lowers the score until the definitions sit on separate lines), add-tests (coverage short) or ok (nothing left to do)"New value: +"decompose (ccn over ceiling), split-lines (another function shares its source lines, or a Python def's body starts on the line its signature ends, where coverage.py reads it as the def statement, so coverage cannot tell them apart and no test lowers the score until they sit on separate lines), add-tests (coverage short) or ok (nothing left to do)"

Previous value: -"one judged function over its ceiling that no ratchet mark covers"New value: +"one judged function over its ceiling, unmarked or with its crap past its ratchet mark"

Previous value: -"decompose (ccn over ceiling), split-lines (another function shares its source lines, so coverage cannot tell them apart and no test lowers the score until the definitions sit on separate lines), add-tests (coverage short) or ok (nothing left to do)"New value: +"decompose (ccn over ceiling), split-lines (another function shares its source lines, or a Python def's body starts on the line its signature ends, where coverage.py reads it as the def statement, so coverage cannot tell them apart and no test lowers the score until they sit on separate lines), add-tests (coverage short) or ok (nothing left to do)"

Added value: +{
+  "type": "integer"
+}

Previous value: -"map of path to the ccn ceiling it was judged against"New value: +"map of repo-relative path to the ccn ceiling it was judged against"

Previous value: -"decompose (ccn over ceiling), add-tests (coverage short) or ok (nothing left to do)"New value: +"decompose (ccn over ceiling), split-lines (another function shares its source lines, so coverage cannot tell them apart and no test lowers the score until the definitions sit on separate lines), add-tests (coverage short) or ok (nothing left to do)"

Previous value: -[
-  "decompose",
-  "add-tests",
-  "ok"
-]New value: +[
+  "decompose",
+  "split-lines",
+  "add-tests",
+  "ok"
+]

Previous value: -"decompose (ccn over ceiling), add-tests (coverage short) or ok (nothing left to do)"New value: +"decompose (ccn over ceiling), split-lines (another function shares its source lines, so coverage cannot tell them apart and no test lowers the score until the definitions sit on separate lines), add-tests (coverage short) or ok (nothing left to do)"

Previous value: -[
-  "decompose",
-  "add-tests",
-  "ok"
-]New value: +[
+  "decompose",
+  "split-lines",
+  "add-tests",
+  "ok"
+]