@henols/vice-mcp 0.2.3 → 0.2.4

package/anno-confidence.ts

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-// anno-confidence.ts -- the ONE authoritative place in this repo for D-25's
+// anno-confidence.ts -- the ONE authoritative place in this repo for the
 // confidence-grade convention: a machine-readable bracket-token prefix inside
 // an anno line comment (e.g. `[confirmed-code] observed executing at $0810`).
 //
@@ -10,7 +10,7 @@
 // "reachable via a JSR, never run" -- that distinction is
 // `memory-map.template.md`'s most deliberate feature, and its own text
 // forbids promoting a row by editing its grade (re-verify and restate the
-// evidence instead). Measured (D-25): anno line comments persist through
+// evidence instead). Measured: anno line comments persist through
 // save/reload (`user_line_comments`), and both `anno_get_comments` and
 // `anno_search_disassembly` (which searches comments by default) can filter
 // on a leading token -- so "show me everything still [unknown]" is a real

package/anno-derive.ts

@@ -21,7 +21,7 @@
 //     ON-DISK TRUTH that can disagree with the range table it came from".
 //   * `anno-types.ts`'s `XrefRow` type doc: "Only NON-DERIVABLE references live
 //     here".
-//   * `COV-01`'s derived-from-bytes byte-coverage census, whose whole
+//   * the derived-from-bytes byte-coverage census, whose whole
 //     discipline is that coverage is computed from bytes rather than recorded
 //     beside them.
 //
@@ -57,11 +57,11 @@
 //     no index file, no memoised store column, no snapshot. That means: no SQL
 //     write statement, no `node:fs` write call, and no naming of the
 //     persistence builtin `node:sqlite` -- the store is reached ONLY through
-//     `anno-store.ts`'s own read entry points (STORE-07).
+//     `anno-store.ts`'s own read entry points.
 //   - Never import `hostpath.ts`, `containerpath.ts` or `container-guard.mts`.
 //     This module is proxy-local; a host/container-translated path would point
 //     the derivation at bytes on the wrong side of the container boundary
-//     (MCP-02, and `hostpath-consumers.test.ts` names this module as forbidden).
+//     (`hostpath-consumers.test.ts` names this module as forbidden).
 //   - Never add a second address parser, a second range validator or a second
 //     data-type vocabulary. `parseStoreAddress`, `assertRangeShape` and
 //     `assertDataType` are imported from `anno-types.ts` for exactly that
@@ -189,7 +189,7 @@ function currentCorpusByteCap(): number {
 function assertImage(image: unknown): Uint8Array {
   if (!(image instanceof Uint8Array)) {
     throw new AnnoDeriveArgumentError(
-      'the program "image" must be a Uint8Array of the bytes to derive from -- the store holds NO program image (D-07), so every ' +
+      'the program "image" must be a Uint8Array of the bytes to derive from -- the store holds NO program image, so every ' +
         "derived answer is computed from bytes the caller names.",
       { argument: "image", value: typeof image },
     );
@@ -281,7 +281,7 @@ function referencedAddress(instruction: Instruction): number | undefined {
 }
 
 // ---------------------------------------------------------------------------
-// Derived cross-references (STORE-06)
+// Derived cross-references
 // ---------------------------------------------------------------------------
 
 /** What `crossReferencesTo()` returns: the target, every address that reaches
@@ -363,7 +363,7 @@ export function crossReferencesTo(
 }
 
 // ---------------------------------------------------------------------------
-// Search (STORE-06)
+// Search
 // ---------------------------------------------------------------------------
 
 /** The three corpora this surface has. Frozen and derived from, never

package/anno-details.ts

@@ -32,15 +32,15 @@
 //   - Never scan for the containing range with a start/end bracket comparison
 //     loop. `resolveAt()` over `paintIndexOf()` is the single arbiter --
 //     narrowest range wins, and among equally short ones the later-inserted one
-//     -- and `STORE-03` cross-validated it at all 65,536 addresses against an
+//     -- cross-validated at all 65,536 addresses against an
 //     independently written implementation. A second lookup rule here would be
 //     a second answer, and the disagreement would be invisible because both
 //     look authoritative.
 //   - Never write anything. This module is on a read path and is held to
 //     `anno-derive.ts`'s never-cache rule by the same structural control: no
 //     SQL write verb, no filesystem write call, no persistence binding.
-//   - Never import `hostpath.ts`, `containerpath.ts` or `container-guard.mts`
-//     (MCP-02) -- this composition is proxy-local.
+//   - Never import `hostpath.ts`, `containerpath.ts` or `container-guard.mts` --
+//     this composition is proxy-local.
 //   - Never return an empty array for something that could not be answered. A
 //     component with no answer comes back as `{available:false, reason}`, so an
 //     address that genuinely has no comments is distinguishable from a question
@@ -135,7 +135,7 @@ export function composeAddressDetails(
           available: false,
           reason:
             `cross-references to ${hex4(at)} are DERIVED from program bytes on every query and no bytes were supplied: the store ` +
-            "holds no program image (D-07), so this component is answerable only when the caller names the image it wants derived " +
+            "holds no program image, so this component is answerable only when the caller names the image it wants derived " +
             "from. The stored non-derivable rows alone are readable through anno-store.ts's listXrefs.",
         }
       : { available: true, value: crossReferencesTo(handle, image, origin, at) };