rename: pick up typedwasm.ownership section name from typed-wasm#65

Producer-side update for the wasm custom-section rename
`affinescript.ownership` → `typedwasm.ownership`. The section name
flows in through `typed_wasm_verify::OWNERSHIP_SECTION_NAME`; this
PR bumps that rev pin to typed-wasm#65 (`a1935c16`) and updates
the 5 in-source comments that referenced the old name.

> ⚠️ The rev pin currently points at typed-wasm#65's branch HEAD.
> RE-BUMP to the post-merge SHA on `origin/main` before this PR
> merges, otherwise the dangling-ref risk grows if typed-wasm's
> branch is auto-deleted after merge.

Touched:
- Cargo.toml — bump typed-wasm-verify rev + note re-bump obligation
- Cargo.lock — `indexmap` 2.13 → 2.14 (required by the new
  wasmparser 0.250.0 that the bumped typed-wasm-verify pulls in)
- src/ephapax-wasm/src/lib.rs — 4 doc-comment references
- src/ephapax-cli/src/main.rs — 1 doc-comment reference

Tests: `cargo test -p ephapax-wasm` → **79/79 passing** against the
new typed-wasm-verify rev (proves the integration with the renamed
`OWNERSHIP_SECTION_NAME` constant).

Sibling PRs (must merge first):
- typed-wasm#65 — source-of-truth constant + verifier
- hyperpolymath/affinescript PR — producer-side emit + parse

Refs: estate disentangling — Ephapax must not embed AffineScript's
brand in its wire format. typed-wasm now owns a producer-neutral
section name; both producers consume it via the shared crate.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

Cargo.lock

@@ -51,8 +51,11 @@ ephapax-lsp = { path = "src/ephapax-lsp" }
 ephapax-package = { path = "src/ephapax-package" }
 ephapax-vram-cache = { path = "src/ephapax-vram-cache" }
 
-# Sibling-repo crates
-typed-wasm-verify = { git = "https://github.com/hyperpolymath/typed-wasm", rev = "67006edddef34e86be2afd97f23d0dfb1191b228" }
+# Sibling-repo crates.
+# NOTE: rev pin currently points at typed-wasm#65 branch HEAD for the
+# `typedwasm.ownership` section rename. RE-BUMP to the post-merge SHA
+# on `origin/main` before this PR merges.
+typed-wasm-verify = { git = "https://github.com/hyperpolymath/typed-wasm", rev = "a1935c16176567e0470de2feedf9c37a87dc0158" }
 
 # External dependencies
 serde = { version = "1.0", features = ["derive"] }

Cargo.toml

@@ -104,7 +104,7 @@ enum Commands {
         mode: String,
 
         /// Run the typed-wasm L7+L10 verifier on the emitted module.
-        /// Reads the `affinescript.ownership` custom section and
+        /// Reads the `typedwasm.ownership` custom section and
         /// reports any aliasing / linearity violations. Non-zero exit
         /// if any are found.
         #[arg(long)]

src/ephapax-cli/src/main.rs

@@ -175,7 +175,7 @@ struct UserFnInfo {
     #[allow(dead_code)]
     param_names: Vec<String>,
     /// Whether each parameter is linear (must-use-once). Drives the
-    /// `affinescript.ownership` custom section emitted by
+    /// `typedwasm.ownership` custom section emitted by
     /// [`Codegen::emit_ownership_section`].
     param_linear: Vec<bool>,
 }
@@ -1269,7 +1269,7 @@ impl Codegen {
         self.module.section(&data);
     }
 
-    /// Emit the `affinescript.ownership` custom section if any user
+    /// Emit the `typedwasm.ownership` custom section if any user
     /// function takes a Linear parameter. The section is consumed by
     /// `typed-wasm-verify` (and by affinescript's OCaml verifier) to
     /// enforce L7 + L10 across emitted wasm modules. Functions with no
@@ -4569,10 +4569,10 @@ mod tests {
     }
 
     // -----------------------------------------------------------------------
-    // affinescript.ownership custom section (C6)
+    // typedwasm.ownership custom section (C6)
     // -----------------------------------------------------------------------
 
-    /// Locate the `affinescript.ownership` custom section in a wasm
+    /// Locate the `typedwasm.ownership` custom section in a wasm
     /// module's bytes and return its payload, or None if the section
     /// isn't present.
     fn ownership_payload(wasm: &[u8]) -> Option<Vec<u8>> {