style: remove every em-dash and en-dash

Eighteen occurrences across fourteen files. Each sentence was repunctuated to
suit what the dash was doing rather than swapped for a hyphen, which produces
comma splices. The minus sign in folio-web's ledger is a minus sign and stays.

Claude-Session: https://claude.ai/code/session_01A5KmftdEJ49A9z5mF5ESrX

pkg/spec/src/ltl.ts

@@ -12,8 +12,8 @@ export function next(predicate: () => boolean): Formula {
   return globalThis.__sanderling__.next(predicate);
 }
 
-// An unbounded `eventually` never forces a violation within a finite run —
-// prefer `.within(n, unit)` when you want the verifier to fail a property
+// An unbounded `eventually` never forces a violation within a finite run.
+// Prefer `.within(n, unit)` when you want the verifier to fail a property
 // that stalls.
 export function eventually(predicate: () => boolean): EventuallyFormula {
   return globalThis.__sanderling__.eventually(predicate);

pkg/spec/src/runtime-entry.ts

@@ -151,7 +151,7 @@ export function installRuntime(
   defineLockedGlobal("__sanderlingExtractors__", () => evaluateExtractors());
   // __sanderlingSetupAction__ walks ONLY the setup generator once, for the LLM
   // action generator (Go), which drives selection itself and must not run the
-  // seeded action root — but still wants setup's precondition steps (e.g. login)
+  // seeded action root, but still wants setup's precondition steps (e.g. login)
   // to run first. Returns null when setup is unset or yields nothing.
   defineLockedGlobal("__sanderlingSetupAction__", () => {
     resolveRoot();

pkg/spec/src/types.ts

@@ -113,7 +113,7 @@ export interface State {
 
 /**
  * State as observed inside a web (V8/browser) extractor. Adds the live
- * `document` and `window` handles. `state.document` is V8-only — goja-side
+ * `document` and `window` handles. `state.document` is V8-only, so goja-side
  * predicates do not see it; if you need DOM data in a predicate, surface it
  * via an `extract()`.
  */