chore(contractiles): migrate julia-the-viper to the standards contractiles/{family}/ trident layout

Aligns jtv's machine-readable layout with hyperpolymath/standards (source of
truth) per the checkpoint decision. Content-preserving: the mature top-level
.machine_readable/{MUST,TRUST,INTENT,ADJUST}.contractile files are kept as
human-readable companions (standards keeps both forms); their content is
translated into the new per-family Xfile.a2ml.

Adds .machine_readable/contractiles/ with the full 6-family trident:
  must, trust, adjust, bust, dust, intend — each with
  {Verb}file.a2ml (content) + {verb}.ncl (runner) + {verb}.k9.ncl (k9) +
  {verb}.manifest.a2ml (coherence), plus shared _base.ncl, INDEX.a2ml, README.

* Framework files (_base.ncl, per-verb .ncl + .k9.ncl) copied verbatim from
  standards (repo-agnostic verb logic).
* Xfile content authored from jtv's existing contractiles where present:
  - must: Harvard thesis, addition-only, reverse-linearity, PataCL boundary,
    purity lattice, Echo, and the proof invariants (incl. NO-VACUITY + the
    no-hashFiles-in-job-if and SHA-pin CI guards).
  - trust: maximal trust + deny-list + repo boundary.
  - intend: purpose / anti-purpose / architectural invariants / roadmap intents
    (governance-hardening → number-system-semantics → v2 (c) → (b)).
  - adjust: accessibility adaptation invariants.
  - dust (new): retirements — embedded decision sublanguage → PataCL (ADR-0006),
    top-level contractile layout → this trident layout.
  - bust (new): adversarial/injection-stress probes that MUST be grammatically
    rejected — the falsifiable form of "injection is grammatically impossible".

Also adds .machine_readable/anchors/ANCHOR.a2ml (filled for jtv: identity,
golden-path smoke tests, semantic-authority incl. ADR-0007) and
.machine_readable/bot_exclusion_registry.a2ml (from standards).

First repo of the alignment sweep; exemplar for the remaining five. The
top-level-.contractile-vs-contractiles/{family}/ format/layout divergence and
the rsr-template↔standards drift are recorded for issues, not silently
reshaped beyond this additive migration.

https://claude.ai/code/session_01BJmfoz1ZS1Pejy9LLMY742

Author: claude

.machine_readable/anchors/ANCHOR.a2ml

@@ -0,0 +1,62 @@
+# SPDX-License-Identifier: MPL-2.0
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# ANCHOR.a2ml - authoritative anchor for julia-the-viper
+
+[metadata]
+version = "1.0.0"
+last-updated = "2026-06-13"
+
+[anchor]
+schema = "hyperpolymath.anchor/1"
+repo = "hyperpolymath/julia-the-viper"
+authority = "upstream-canonical"
+purpose = [
+  "Define canonical semantics and policy boundaries for julia-the-viper.",
+  "Declare what downstream/satellite repos can extend but not redefine.",
+  "Provide a stable golden path and invariant contract for release readiness.",
+]
+
+[identity]
+project = "Julia the Viper"
+kind = "language"
+one-sentence = "Harvard-architecture, addition-only language that makes code injection grammatically impossible; v2 adds reverse-addition reversibility with Echo loss-lineage."
+domain = "programming-languages / security / formal-methods"
+
+[semantic-authority]
+policy = "canonical"
+owns = [
+  "The Harvard thesis: grammatical Control/Data separation (injection-impossibility).",
+  "Addition-only Data semantics; subtraction = reverse addition, never a primitive (ADR-0007).",
+  "Echo reversibility tiering: group→Safe / cancellative→Neutral / idempotent→Breaking (ADR-0007 D6).",
+  "Invariant definitions and contractiles; reference interpreter/typechecker behaviour.",
+]
+
+[implementation-policy]
+allowed = ["Rust", "Lean4", "Idris2", "Zig", "Scheme", "Shell", "Just", "Nickel", "AsciiDoc", "Markdown"]
+forbidden = ["TypeScript", "Node.js", "npm", "Python", "Go"]
+
+[golden-path]
+smoke-test-command = [
+  "cargo test --all-targets",
+  "cd jtv_proofs && lake build",
+  "idris2 --check src/abi/Types.idr",
+]
+success-criteria = [
+  "Rust suite green (3-OS matrix)",
+  "Lean proofs build; 0 sorry/admit/axiom AND 0 True-typed theorems",
+  "Idris2 ABI total-checks",
+  "No unresolved critical security findings",
+]
+
+[satellite-policy]
+must-pin-upstream = true
+must-declare-authority = true
+must-have-anchor = true
+must-have-golden-path = true
+
+[semantic-authority-files]
+language-spec = "spec/"
+formal-proofs = "jtv_proofs/"
+proof-status = "verification/PROOF-CAPABILITY-MATRIX.adoc"
+foundational-adr = "docs/design-decisions/0007-addition-only-mandate-and-reversibility-tiering.adoc"