@tikoci/centrs 0.1.4 → 0.1.7

package/src/explain/blocks.ts

@@ -28,10 +28,16 @@
 import {
 	DIRECTIVE_BODY,
 	HEAD_SCOPED_ARG_NAMES,
+	matchingBraceEnd,
 	SCOPE_ARG_NAMES,
 	scopeNameFromMasked,
 } from "./scope-brace.ts";
-import { maskComments, scanQuotedString } from "./segment.ts";
+import {
+	documentRange,
+	type MaskedRange,
+	maskComments,
+	scanQuotedString,
+} from "./segment.ts";
 
 export { DIRECTIVE_BODY, HEAD_SCOPED_ARG_NAMES, SCOPE_ARG_NAMES };
 /** One depth-0 scope block found in a statement: its name and raw body text. */
@@ -64,6 +70,22 @@ export function isScopeBrace(text: string, open: number): boolean {
 	return scopeNameAt(text, open) !== null;
 }
 
+/**
+ * {@link isScopeBrace} for a reader that already holds the document's mask,
+ * with `open` relative to `range` rather than to the whole document.
+ *
+ * The string form has to mask the text it is given, and a statement's text
+ * carries its whole nested `do={…}` subtree — so asking it this question once
+ * per brace re-derived a mask over that subtree once per enclosing level
+ * (#322). Same answer: the floor is what makes a ranged reading identical to
+ * the region read on its own (`scope-brace.ts` → `scopeNameFromMasked`).
+ */
+export function isScopeBraceIn(range: MaskedRange, open: number): boolean {
+	return (
+		scopeNameFromMasked(range.masked, range.start + open, range.start) !== null
+	);
+}
+
 /**
  * The depth-0 scope `{…}` in a statement, with names and raw body text. A
  * single left-to-right pass (no recursion): each scope's body is returned raw
@@ -71,29 +93,46 @@ export function isScopeBrace(text: string, open: number): boolean {
  * values are skipped, not descended.
  */
 export function scopeBlocks(text: string): ScopeBlock[] {
+	return scopeBlocksIn(documentRange(text));
+}
+
+/**
+ * The same scan over a RANGE of a document, reading the document's own mask.
+ *
+ * `ScopeBlock.start` stays relative to the range, which is what its contract
+ * already promises ("within the text `scopeBlocks` was given") and what a
+ * caller rebasing through `Loc` needs. Every other offset here is absolute.
+ */
+export function scopeBlocksIn(range: MaskedRange): ScopeBlock[] {
 	// Scan a comment-masked copy for structure so a `#`-comment `}`/`[` cannot
 	// truncate a body or shift depth; slice the ORIGINAL for the body text.
-	const masked = maskComments(text);
+	const { text, masked, start: lo, end: hi } = range;
 	const blocks: ScopeBlock[] = [];
 	let depth = 0;
-	for (let i = 0; i < masked.length; i++) {
+	for (let i = lo; i < hi; i++) {
 		const c = masked[i];
 		if (c === '"') {
-			i = scanQuotedString(masked, i).end - 1;
+			i = scanQuotedString(masked, i, hi).end - 1;
 			continue;
 		}
 		if (c === "[" || c === "(") depth++;
 		else if (c === "]" || c === ")") {
 			if (depth > 0) depth--;
 		} else if (c === "{") {
-			const end = matchBraceInMasked(masked, i);
+			const indexedEnd = range.coordinateIdentity
+				? matchingBraceEnd(masked, i)
+				: undefined;
+			const end =
+				indexedEnd !== undefined && indexedEnd < hi
+					? indexedEnd
+					: matchBraceInMasked(masked, i, hi);
 			if (depth === 0) {
-				const name = scopeNameFromMasked(masked, i);
+				const name = scopeNameFromMasked(masked, i, lo);
 				if (name !== null)
 					blocks.push({
 						name,
 						body: text.slice(i + 1, end),
-						start: i + 1,
+						start: i + 1 - lo,
 					});
 			}
 			i = end;
@@ -109,12 +148,16 @@ export function scopeBodies(text: string): string[] {
 	return scopeBlocks(text).map((b) => b.body);
 }
 
-function matchBraceInMasked(masked: string, open: number): number {
+function matchBraceInMasked(
+	masked: string,
+	open: number,
+	limit: number = masked.length,
+): number {
 	let depth = 0;
-	for (let i = open; i < masked.length; i++) {
+	for (let i = open; i < limit; i++) {
 		const c = masked[i];
 		if (c === '"') {
-			i = scanQuotedString(masked, i).end - 1;
+			i = scanQuotedString(masked, i, limit).end - 1;
 			continue;
 		}
 		if (c === "{") depth++;
@@ -123,7 +166,7 @@ function matchBraceInMasked(masked: string, open: number): number {
 			if (depth === 0) return i;
 		}
 	}
-	return masked.length;
+	return limit;
 }
 
 /** Index of the `}` matching the `{` at `open`, honoring strings and comments. */

package/src/explain/brace-tokens.ts

@@ -5,9 +5,10 @@
  * delimiters remain unclassified (container excluded to avoid overlap). Scope
  * braces (`do={...}` etc.) are never array values. Both families therefore
  * appear on the residual after the `value` and `string` fills, so this fill
- * claims every remaining `{` / `}` byte there as provisional `brace`. Whether
- * scope vs array braces later deserve distinct classes is #264 B5 and does not
- * move byte coverage.
+ * claims every remaining `{` / `}` byte there as `brace`. #264 B5 kept scope
+ * and array delimiters in one class: `structure.blocks[]` already locates every
+ * scope block, and an array container is the `data.values.occurrences[]` entry
+ * that is some other occurrence's `parent`, so the distinction is a join away.
  */
 
 import type { ExplainToken } from "../explain.ts";

package/src/explain/catalog.ts

@@ -9,23 +9,25 @@
  * Union of two first-order sources (#228):
  *
  * 1. MikroTik's published CLI Reference (`https://manual.mikrotik.com/docs/cli-reference/`),
- *    1,070 pages, 1,077 entries — first-order about the definition
+ *    1,055 pages, 1,062 entries — first-order about the definition
  *    structs and their build-time gates. Since #285 every page is a leaf whose
  *    slug is the CLI path, so no spelling has to be rewritten to be looked up.
- * 2. Four pinned restraml `/console/inspect` trees
+ * 2. 6 pinned restraml `/console/inspect` trees
  *    (`https://tikoci.github.io/restraml/`) — first-order about the CLI surface:
  *
  * | Tree | Arch | RouterOS | Nodes |
  * | ---- | ---- | -------- | ----- |
  * | `7.10.2/extra/inspect.json` | x86 | 7.10.2 | 29,086 |
  * | `7.16/extra/inspect.json` | x86 | 7.16 | 34,876 |
- * | `7.23.2/extra/deep-inspect.x86.json` | x86 | 7.23.2 | 40,595 |
- * | `7.24rc2/extra/deep-inspect.arm64.json` | arm64 | 7.24rc2 | 42,690 |
+ * | `7.24.4/extra/deep-inspect.x86.json` | x86 | 7.24.4 | 41,345 |
+ * | `7.24.4/extra/deep-inspect.arm64.json` | arm64 | 7.24.4 | 42,691 |
+ * | `7.25beta5/extra/deep-inspect.x86.json` | x86 | 7.25beta5 | 41,794 |
+ * | `7.25beta5/extra/deep-inspect.arm64.json` | arm64 | 7.25beta5 | 43,150 |
  *
  * | Kind | Total | `both` | `inspect` | `published` |
  * | ---- | ----- | ------ | --------- | ----------- |
- * | `menu` | 558 | 454 | 54 | 50 |
- * | `command` | 450 | 407 | 0 | 43 |
+ * | `menu` | 554 | 445 | 65 | 44 |
+ * | `command` | 450 | 409 | 0 | 41 |
  * | `settings` | 116 | 107 | 0 | 9 |
  *
  * Zero navigation-vs-command contradictions between the two sources. Generation
@@ -45,7 +47,7 @@
  *
  * **Gates conjoin down a path, so read them with {@link effectiveGates}, not
  * row by row.** A row states only what the publication stated at that entry.
- * Read row-wise, 2 published-only paths look ungated; read with
+ * Read row-wise, 1 published-only path looks ungated; read with
  * ancestry, the residue carrying no published explanation for its absence at
  * all is 1.
  *
@@ -87,7 +89,7 @@ export interface CatalogEntry {
  * `path|kind|provenance|package|conditions|syscap` — with trailing empty
  * columns trimmed. Lower-cased, slash-led and sorted by path.
  *
- * Text rather than ~1,124 object literals so that one path is one line in a
+ * Text rather than ~1,120 object literals so that one path is one line in a
  * review diff, and so the formatter has nothing to re-wrap.
  */
 const ROWS = `
@@ -152,7 +154,7 @@ const ROWS = `
 /certificate/settings|settings|both
 /certificate/sign|command|both
 /certificate/sign-certificate-request|command|both
-/console|menu|both
+/console|menu|inspect
 /console/inspect|command|both
 /console/settings|settings|both
 /container|menu|both|container
@@ -239,7 +241,7 @@ const ROWS = `
 /interface/bonding|menu|both
 /interface/bonding/monitor|command|both
 /interface/bonding/monitor-slaves|command|both
-/interface/bridge|menu|both||MSRP_ENABLE
+/interface/bridge|menu|both
 /interface/bridge/calea|menu|both
 /interface/bridge/calea/reset-counters|command|both
 /interface/bridge/calea/reset-counters-all|command|both
@@ -249,11 +251,6 @@ const ROWS = `
 /interface/bridge/host|menu|both
 /interface/bridge/mdb|menu|both
 /interface/bridge/monitor|command|both
-/interface/bridge/msrp|menu|published||MSRP_ENABLE
-/interface/bridge/msrp/attributes|menu|published||MSRP_ENABLE
-/interface/bridge/msrp/domain|menu|published||MSRP_ENABLE
-/interface/bridge/msrp/domain/attributes|menu|published||MSRP_ENABLE
-/interface/bridge/msrp/domain/monitor|command|published||MSRP_ENABLE
 /interface/bridge/msti|menu|both
 /interface/bridge/msti/monitor|command|both
 /interface/bridge/nat|menu|both
@@ -280,14 +277,15 @@ const ROWS = `
 /interface/dot1x/server/state|menu|both||!smips
 /interface/eoip|menu|both
 /interface/eoipv6|menu|both
-/interface/ethernet|menu|both||i386
+/interface/ethernet|menu|both
 /interface/ethernet/blink|command|both
 /interface/ethernet/cable-test|command|both
-/interface/ethernet/monitor|command|both||i386
+/interface/ethernet/monitor|command|both
 /interface/ethernet/poe|menu|published|||(poe or poe-in)
 /interface/ethernet/poe/monitor|command|published|||(poe or poe-in)
 /interface/ethernet/poe/power-cycle|command|published|||(poe or poe-in)
 /interface/ethernet/poe/settings|settings|published|||(poe or poe-in) and poesettings
+/interface/ethernet/pon|menu|both
 /interface/ethernet/reset-counters|command|both
 /interface/ethernet/reset-mac-address|command|both
 /interface/ethernet/switch|menu|both
@@ -329,6 +327,7 @@ const ROWS = `
 /interface/ethernet/switch/reserved-fdb|menu|published|||musicswitch
 /interface/ethernet/switch/reset-counters|command|both
 /interface/ethernet/switch/rule|menu|both|||rbswitch
+/interface/ethernet/switch/rule/reset-counters|command|both|||rbswitch
 /interface/ethernet/switch/shaper|menu|published|||musicswitch
 /interface/ethernet/switch/stats|settings|published||!smips|musicswitch
 /interface/ethernet/switch/trunk|menu|published|||musicswitch
@@ -365,7 +364,7 @@ const ROWS = `
 /interface/lte/monitor|command|both||!smips
 /interface/lte/run-modem-update|command|published||!smips
 /interface/lte/scan|command|both||!smips
-/interface/lte/settings|settings|both||!smips, !i386, !mips, !powerpc
+/interface/lte/settings|settings|both||!smips
 /interface/lte/show-capabilities|command|both||!smips
 /interface/macsec|menu|both||!smips
 /interface/macsec/monitor|command|both||!smips
@@ -418,7 +417,7 @@ const ROWS = `
 /interface/sstp-server/monitor|command|both
 /interface/sstp-server/server|settings|both
 /interface/veth|menu|both||!smips|container
-/interface/vlan|menu|both||!smips
+/interface/vlan|menu|both
 /interface/vpls|menu|both||!smips
 /interface/vpls/monitor|command|both||!smips
 /interface/vrrp|menu|both
@@ -531,7 +530,7 @@ const ROWS = `
 /interface/wireless/wds/monitor|command|both|wireless-rep
 /interface/wireless/wps-client|command|both|wireless-rep
 /interface/wireless/wps-push-button|command|both|wireless-rep
-/interface/xfrm|menu|published
+/interface/xfrm|menu|both
 /iot|menu|inspect
 /iot/bluetooth|menu|both|iot
 /iot/bluetooth/advertisers|menu|both|iot
@@ -602,7 +601,7 @@ const ROWS = `
 /ip/cloud/advanced|settings|both
 /ip/cloud/back-to-home-file|menu|both|||cloud-vpn
 /ip/cloud/back-to-home-file/settings|settings|both|||cloud-vpn
-/ip/cloud/back-to-home-file/settings/remove-certificate|command|published|||cloud-vpn
+/ip/cloud/back-to-home-file/settings/remove-certificate|command|both|||cloud-vpn
 /ip/cloud/back-to-home-user|menu|both|||cloud-vpn
 /ip/cloud/back-to-home-user/show-client-config|command|both|||cloud-vpn
 /ip/cloud/force-update|command|both
@@ -674,7 +673,7 @@ const ROWS = `
 /ip/hotspot/walled-garden/ip|menu|both
 /ip/hotspot/walled-garden/reset-counters|command|both
 /ip/hotspot/walled-garden/reset-counters-all|command|both
-/ip/ipsec|menu|both
+/ip/ipsec|menu|inspect
 /ip/ipsec/active-peers|menu|both
 /ip/ipsec/active-peers/kill-connections|command|both
 /ip/ipsec/identity|menu|both
@@ -683,7 +682,6 @@ const ROWS = `
 /ip/ipsec/key|menu|both
 /ip/ipsec/key/psk|menu|both
 /ip/ipsec/key/psk/generate|command|both
-/ip/ipsec/key/qkd|menu|inspect
 /ip/ipsec/key/rsa|menu|both
 /ip/ipsec/key/rsa/export-pub-key|command|both
 /ip/ipsec/key/rsa/generate-key|command|both
@@ -746,6 +744,7 @@ const ROWS = `
 /ip/ssh|settings|both
 /ip/ssh/export-host-key|command|both
 /ip/ssh/import-host-key|command|both
+/ip/ssh/known-hosts|menu|both
 /ip/ssh/regenerate-host-key|command|both
 /ip/tftp|menu|both
 /ip/tftp/settings|settings|both
@@ -850,7 +849,7 @@ const ROWS = `
 /password|command|both
 /port|menu|both
 /port/remote-access|menu|both
-/ppp|menu|both
+/ppp|menu|inspect
 /ppp/aaa|settings|both
 /ppp/active|menu|both
 /ppp/l2tp-secret|menu|both
@@ -874,12 +873,11 @@ const ROWS = `
 /radius/monitor|command|both
 /radius/reset-counters|command|both
 /redo|command|both
-/root|menu|published||CONSOLE_DEBUG
 /root/terminal|menu|published
 /routing|menu|inspect
-/routing/bfd|menu|both||BFD_AUTHENTICATION
+/routing/bfd|menu|inspect
 /routing/bfd/authentication|menu|published||BFD_AUTHENTICATION
-/routing/bfd/configuration|menu|both||BFD_AUTHENTICATION
+/routing/bfd/configuration|menu|both
 /routing/bfd/session|menu|both
 /routing/bgp|menu|both||!smips
 /routing/bgp/advertisements|menu|both||!smips
@@ -897,7 +895,7 @@ const ROWS = `
 /routing/bgp/vpn|menu|both||!smips
 /routing/discourse|command|both
 /routing/fantasy|menu|both
-/routing/filter|menu|both
+/routing/filter|menu|inspect
 /routing/filter/chain|menu|both
 /routing/filter/community-ext-list|menu|both
 /routing/filter/community-large-list|menu|both
@@ -913,7 +911,7 @@ const ROWS = `
 /routing/igmp-proxy|settings|both
 /routing/igmp-proxy/interface|menu|both
 /routing/igmp-proxy/mfc|menu|both
-/routing/isis|menu|both
+/routing/isis|menu|inspect
 /routing/isis/instance|menu|both
 /routing/isis/interface|menu|both
 /routing/isis/interface-template|menu|both
@@ -921,7 +919,7 @@ const ROWS = `
 /routing/isis/neighbor|menu|both
 /routing/nexthop|menu|both
 /routing/nexthop/dump-dot|command|both
-/routing/ospf|menu|both
+/routing/ospf|menu|inspect
 /routing/ospf/area|menu|both
 /routing/ospf/area/range|menu|both
 /routing/ospf/instance|menu|both
@@ -943,7 +941,7 @@ const ROWS = `
 /routing/pimsm/static-rp|menu|both||!smips
 /routing/pimsm/uib-g|menu|both||!smips
 /routing/pimsm/uib-sg|menu|both||!smips
-/routing/rip|menu|both
+/routing/rip|menu|inspect
 /routing/rip/instance|menu|both
 /routing/rip/interface|menu|both
 /routing/rip/interface-template|menu|both
@@ -958,7 +956,7 @@ const ROWS = `
 /routing/rpki/session|menu|both
 /routing/rule|menu|both
 /routing/settings|settings|both
-/routing/stats|menu|both||!smips
+/routing/stats|menu|inspect
 /routing/stats/memory|menu|both
 /routing/stats/origin|menu|both
 /routing/stats/pcap|menu|both||!smips
@@ -973,7 +971,7 @@ const ROWS = `
 /snmp/send-trap|command|both
 /special-login|menu|both
 /system|menu|inspect
-/system/backup|menu|both
+/system/backup|menu|inspect
 /system/backup/cloud|menu|both
 /system/backup/cloud/download-file|command|both
 /system/backup/cloud/remove-file|command|both
@@ -993,11 +991,11 @@ const ROWS = `
 /system/default-configuration/wps-sync-mode-script|settings|published|||wpssync
 /system/device-mode|settings|both
 /system/device-mode/update|command|both
-/system/gps|settings|both|gps|mmips
+/system/gps|settings|both|gps
 /system/gps/monitor|command|both|gps
 /system/hardware|menu|inspect
-/system/health|menu|both||!i386
-/system/health/settings|settings|both||!i386, tile|health and health-settings
+/system/health|menu|both
+/system/health/settings|settings|both||!i386|health and health-settings
 /system/health/settings/detect-fans|command|both||!i386|health and health-settings
 /system/history|menu|both
 /system/identity|settings|both
@@ -1015,7 +1013,7 @@ const ROWS = `
 /system/logging/action|menu|both
 /system/logging/action/clear|command|both
 /system/note|settings|both
-/system/ntp|menu|both
+/system/ntp|menu|inspect
 /system/ntp/client|settings|both
 /system/ntp/client/reset-freq-drift|command|both
 /system/ntp/client/servers|menu|both
@@ -1048,9 +1046,9 @@ const ROWS = `
 /system/reboot|command|both
 /system/regulatory|settings|both
 /system/reset-configuration|command|both
-/system/resource|settings|both||!powerpc, !smips
+/system/resource|settings|both
 /system/resource/cpu|menu|both
-/system/resource/hardware|menu|both||!powerpc, !smips, i386
+/system/resource/hardware|menu|both||!powerpc, !smips
 /system/resource/hardware/authorize|command|both||!powerpc, !smips
 /system/resource/hardware/usb-power-reset|command|both||!powerpc, !smips, i386
 /system/resource/hardware/usb-settings|settings|both||!powerpc, !smips
@@ -1060,10 +1058,10 @@ const ROWS = `
 /system/resource/pci|menu|inspect
 /system/resource/usb|menu|inspect
 /system/resource/usb/settings|menu|inspect
-/system/routerboard|settings|both||!i386, !i386, !mipsel, !powerpc
+/system/routerboard|settings|both||!i386
 /system/routerboard/mode-button|settings|both||!i386
 /system/routerboard/reset-button|settings|both||!i386
-/system/routerboard/settings|settings|both||!i386, !i386
+/system/routerboard/settings|settings|both||!i386
 /system/routerboard/settings/keep-frequency|command|published||!i386, mipsel
 /system/routerboard/upgrade|command|both||!i386
 /system/routerboard/usb|settings|both||!i386, !i386, !mipsel, !powerpc
@@ -1110,7 +1108,7 @@ const ROWS = `
 /tool/dns-update|command|both
 /tool/e-mail|settings|both
 /tool/e-mail/send|command|both
-/tool/fetch|command|both||arm64
+/tool/fetch|command|both
 /tool/flood-ping|command|both||!smips
 /tool/graphing|settings|both
 /tool/graphing/interface|menu|both
@@ -1161,7 +1159,7 @@ const ROWS = `
 /tool/traffic-generator/quick|command|both
 /tool/traffic-generator/raw-packet-template|menu|both
 /tool/traffic-generator/start|command|both
-/tool/traffic-generator/stats|menu|both
+/tool/traffic-generator/stats|menu|inspect
 /tool/traffic-generator/stats/latency-distribution|menu|both
 /tool/traffic-generator/stats/port|menu|both
 /tool/traffic-generator/stats/raw|menu|both
@@ -1320,7 +1318,7 @@ export interface CatalogGate {
  * parent's `syscap` applies even though the child entry states none: the gates
  * up a path CONJOIN, they do not override.
  *
- * Read row-wise, 2 published-only paths look ungated; read with
+ * Read row-wise, 1 published-only path looks ungated; read with
  * ancestry the residue is 1. The gap between the two is the
  * conjunction, and it is what a caller has to reproduce: a child's silence about
  * a gate is not the absence of one. #228's finding — that a published-only path

package/src/explain/coordinates.ts

@@ -87,9 +87,31 @@ export interface CoordinateAnalysis {
 	/** Pure-ASCII surface; `analyzed.length === originalU8.length`. */
 	analyzed: Uint8Array;
 	originalU8: Uint8Array;
+	/**
+	 * One run per code point.
+	 *
+	 * On the {@link CoordinateAnalysis.ascii} path this array is built ON FIRST
+	 * READ, not by `analyzeCoordinates`: every caller that only needs an offset
+	 * or a position can answer from arithmetic there, and materializing one
+	 * object per character was the single largest allocation in the analyzer
+	 * (#322). Reading it is always sound — the contract is the array, and the
+	 * lazy path builds the same one the eager path would have.
+	 */
 	runs: CharRun[];
 	/** Byte offset of each line's first character (index === 0-based line). */
 	lineStarts: number[];
+	/**
+	 * True when every code point of `original` is ASCII, so `analyzed`,
+	 * `originalU8` and `original` agree byte for byte and a byte offset IS a
+	 * UTF-16 offset.
+	 *
+	 * This is the property the three coordinate spaces were defined to make
+	 * checkable, and it is what lets a caller skip the mapping rather than
+	 * re-derive an identity one. It is a FACT about the input, never a mode: the
+	 * non-ASCII path below is unchanged and stays the only reading of a
+	 * non-ASCII document.
+	 */
+	ascii: boolean;
 }
 
 /** UTF-8 byte length of a Unicode scalar value. */
@@ -114,12 +136,34 @@ function utf8Encode(cp: number): number[] {
 	];
 }
 
+/**
+ * Any code point outside ASCII.
+ *
+ * `u`-mode, so the test is over CODE POINTS: an astral character is one match
+ * rather than two halves, and a lone surrogate — which is not a scalar value
+ * and therefore not ASCII either — matches as itself. That is the same
+ * population the walk below normalizes, so the two cannot disagree about what
+ * "all ASCII" means.
+ */
+const NON_ASCII = /[^\p{ASCII}]/u;
+
 /**
  * Build the coordinate analysis of `original`: its UTF-8 encoding, the
  * byte-count-preserving `analyzed` surface, and one {@link CharRun} per code
  * point locating it in all three spaces.
+ *
+ * An ALL-ASCII input takes the identity path. Nothing about the contract
+ * changes there — the three spaces coincide, which is what the
+ * byte-count-preserving rule above was chosen to guarantee — so the mapping is
+ * arithmetic and the per-character {@link CharRun} array is deferred to its
+ * first reader. The analyzer re-derived that map for every nested block body it
+ * descended into, and `pathresolve`'s own `locate` discards the coordinate
+ * facts of a body anyway (they are properties of the root input): on a 60 KiB
+ * document nested 64 deep it decoded 7.9 MiB and allocated a run object per
+ * byte of it, a quarter of total analysis time (#322).
  */
 export function analyzeCoordinates(original: string): CoordinateAnalysis {
+	if (!NON_ASCII.test(original)) return asciiCoordinates(original);
 	const runs: CharRun[] = [];
 	const u8: number[] = [];
 	const analyzed: number[] = [];
@@ -175,9 +219,78 @@ export function analyzeCoordinates(original: string): CoordinateAnalysis {
 		originalU8: Uint8Array.from(u8),
 		runs,
 		lineStarts,
+		ascii: false,
 	};
 }
 
+/**
+ * The identity analysis of an all-ASCII input.
+ *
+ * One byte per code unit, so `analyzed`, `originalU8` and `original` are the
+ * same sequence and every offset is the same number in all three spaces. Only
+ * `lineStarts` needs a scan; `runs` is built on demand by {@link asciiRuns}
+ * because most callers never ask for it.
+ */
+function asciiCoordinates(original: string): CoordinateAnalysis {
+	const len = original.length;
+	const u8 = new Uint8Array(len);
+	const lineStarts = [0];
+	for (let i = 0; i < len; i++) {
+		const code = original.charCodeAt(i);
+		u8[i] = code;
+		if (code === 0x0a) lineStarts.push(i + 1);
+	}
+	let runs: CharRun[] | undefined;
+	return {
+		original,
+		// `analyzed` and `originalU8` are equal by definition here, but they stay
+		// separate arrays: they are separately typed, separately indexed surfaces
+		// and a shared buffer would let a write through one be read through the
+		// other.
+		analyzed: u8,
+		originalU8: u8.slice(),
+		get runs(): CharRun[] {
+			runs ??= asciiRuns(original, lineStarts);
+			return runs;
+		},
+		lineStarts,
+		ascii: true,
+	};
+}
+
+/** The per-character runs of an all-ASCII input, built on first read. */
+function asciiRuns(original: string, lineStarts: readonly number[]): CharRun[] {
+	const runs: CharRun[] = new Array(original.length);
+	let line = 0;
+	for (let i = 0; i < original.length; i++) {
+		const codePoint = original.charCodeAt(i);
+		runs[i] = {
+			codePoint,
+			utf16Start: i,
+			utf16Len: 1,
+			byteStart: i,
+			byteLen: 1,
+			ascii: true,
+			line,
+			col: i - (lineStarts[line] as number),
+		};
+		if (codePoint === 0x0a) line++;
+	}
+	return runs;
+}
+
+/** 0-based line containing `byte` — the last line start at or before it. */
+function lineAtByte(lineStarts: readonly number[], byte: number): number {
+	let lo = 0;
+	let hi = lineStarts.length - 1;
+	while (lo < hi) {
+		const mid = (lo + hi + 1) >> 1;
+		if ((lineStarts[mid] as number) <= byte) lo = mid;
+		else hi = mid - 1;
+	}
+	return lo;
+}
+
 /**
  * The {@link CharRun} whose byte range contains `byte`. Throws if `byte` is not
  * inside any run (i.e. `byte < 0` or `byte >= analyzed.length`).
@@ -188,6 +301,21 @@ export function runAtByte(a: CoordinateAnalysis, byte: number): CharRun {
 		throw new Error(
 			`runAtByte: ${byte} is not a valid interior byte offset; expected an integer in [0, ${len})`,
 		);
+	// On the identity path the run IS the byte, so answer it rather than build
+	// (and then binary-search) an array of one object per character.
+	if (a.ascii) {
+		const line = lineAtByte(a.lineStarts, byte);
+		return {
+			codePoint: a.original.charCodeAt(byte),
+			utf16Start: byte,
+			utf16Len: 1,
+			byteStart: byte,
+			byteLen: 1,
+			ascii: true,
+			line,
+			col: byte - (a.lineStarts[line] as number),
+		};
+	}
 	let lo = 0;
 	let hi = a.runs.length - 1;
 	while (lo <= hi) {
@@ -214,6 +342,12 @@ export function byteToPosition(a: CoordinateAnalysis, byte: number): Position {
 			`byteToPosition: ${byte} is not a valid cursor offset; expected an integer in [0, ${len}]`,
 		);
 	if (byte === len) {
+		// The identity path reads the same answer off `lineStarts`: a trailing
+		// newline has already pushed the line that the cursor sits at column 0 of.
+		if (a.ascii) {
+			const line = a.lineStarts.length - 1;
+			return { line, col: len - (a.lineStarts[line] as number) };
+		}
 		const last = a.runs.at(-1);
 		if (!last) return { line: 0, col: 0 };
 		if (last.codePoint === 0x0a) return { line: last.line + 1, col: 0 };
@@ -264,6 +398,9 @@ export function byteSpanToRange(
  * as part of its `non-ascii` run like any other character.
  */
 export function coordinateDefects(a: CoordinateAnalysis): Defect[] {
+	// Both classes are non-ASCII code points by definition (U+FEFF included), so
+	// an all-ASCII input has neither and the runs never need building.
+	if (a.ascii) return [];
 	const defects: Defect[] = [];
 	const first = a.runs[0];
 	const hasBom = first !== undefined && first.codePoint === BOM;
@@ -308,6 +445,28 @@ export function positionToByte(
 		throw new Error(
 			`positionToByte: (line ${line}, col ${col}) is not a valid position; expected non-negative integers`,
 		);
+	// On the identity path a position is arithmetic: the column IS the byte
+	// offset from the line start.
+	//
+	// The bound is the byte one PAST the line's last character, and on a line
+	// that ends in a newline that last character is the newline — so the bound
+	// is the next line's start, not one before it. That is the boundary the scan
+	// below reaches through `lastOnLine`, whose last run on the line is the
+	// newline itself; getting it wrong refused (line 0, col 2) of `a\n\nb`,
+	// which the scan answers with byte 2.
+	if (a.ascii) {
+		if (line >= a.lineStarts.length)
+			throw new Error(
+				`positionToByte: no character boundary at (line ${line}, col ${col})`,
+			);
+		const start = a.lineStarts[line] as number;
+		const end = (a.lineStarts[line + 1] ?? a.original.length) as number;
+		if (start + col > end)
+			throw new Error(
+				`positionToByte: no character boundary at (line ${line}, col ${col})`,
+			);
+		return start + col;
+	}
 	// Single pass: return an exact (line, col) hit immediately; otherwise keep
 	// the last run seen on the target line to resolve a just-past-the-end column.
 	let lastOnLine: CharRun | undefined;