feat!: complete the RAES namespace hard cut

.claude/skills/aces-asset-inventory-capture/SKILL.md → .claude/skills/raes-asset-inventory-capture/SKILL.md

@@ -1,5 +1,5 @@
 ---
-name: aces-asset-inventory-capture
+name: raes-asset-inventory-capture
 description: Run the ACES asset inventory methodology as an agent-runnable capture workflow from either Claude Code or Codex. Use when asked to inventory a target image, container, host, or asset into a methodology-conformant evidence bundle with mapping-ledger.yaml, explicit capture-limits.txt declinations, scanner/SBOM evidence, and ACES/APTL gap triage.
 ---
 
@@ -11,7 +11,7 @@ methodology: capture evidence first, map facts to ACES only when the mapping is
 semantically correct, and leave every omission as durable evidence.
 
 The ACES methodology remains the authority. Read
-`docs/aces/inventory/asset-inventory-methodology.md` from the ACES repo before
+`docs/raes/inventory/asset-inventory-methodology.md` from the ACES repo before
 capture; when working in a downstream checkout, use that ACES document as the
 canonical source. This skill operationalizes that prose; it does not define a
 second ledger schema or a second secret taxonomy.
@@ -35,7 +35,7 @@ Before running commands, identify:
 - asset kind: image, running container, VM/host, or composed service;
 - immutable target reference where possible, such as image digest or container
   id;
-- output bundle directory, usually `docs/aces/inventory/<asset-id>/`;
+- output bundle directory, usually `docs/raes/inventory/<asset-id>/`;
 - allowed discovery vantages inside the realized range.
 
 If any input is missing, infer it from the repo and target runtime when safe.

.claude/skills/aces-asset-inventory-capture/agents/openai.yaml → .claude/skills/raes-asset-inventory-capture/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: "ACES Asset Inventory Capture"
   short_description: "Run the ACES asset inventory methodology."
-  default_prompt: "Use $aces-asset-inventory-capture to capture a methodology-conformant ACES asset inventory bundle for a target image or container."
+  default_prompt: "Use $raes-asset-inventory-capture to capture a methodology-conformant ACES asset inventory bundle for a target image or container."

.codex-skills/aces-asset-inventory-capture/scripts/capture-container-evidence-template.sh → .claude/skills/raes-asset-inventory-capture/scripts/capture-container-evidence-template.sh

@@ -3,7 +3,7 @@ set -euo pipefail
 
 ROOT="${ROOT:-$(git rev-parse --show-toplevel)}"
 ASSET_ID="${ASSET_ID:?Set ASSET_ID to the inventory asset id}"
-ASSET_DIR="${ASSET_DIR:-$ROOT/docs/aces/inventory/$ASSET_ID}"
+ASSET_DIR="${ASSET_DIR:-$ROOT/docs/raes/inventory/$ASSET_ID}"
 OUT="${EVIDENCE_DIR:-$ASSET_DIR/evidence}"
 IMAGE="${IMAGE:?Set IMAGE to an image tag or immutable digest}"
 CONTAINER="${CONTAINER:-}"

.codex-skills/aces-gap-remediation-implement/SKILL.md → .claude/skills/raes-gap-remediation-implement/SKILL.md

@@ -1,5 +1,5 @@
 ---
-name: aces-gap-remediation-implement
+name: raes-gap-remediation-implement
 description: Architecture-first overlay for remediating ACES/APTL gaps, especially gaps found by the ACES asset inventory capture methodology. Use before normal Ground Control /implement work when a gap may require new or changed SDL/runtime semantics, schemas, validators, ADRs, docs, capture mappings, or cross-repo ACES/APTL behavior. Forces whole-surface review, lineage and primary-literature grounding, peer-review-grade justification, and then delegates to the repo's standard Ground Control implement workflow.
 ---
 

.claude/skills/aces-gap-remediation-implement/agents/openai.yaml → .claude/skills/raes-gap-remediation-implement/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: "ACES Gap Remediation"
   short_description: "Architecture-first gap remediation overlay"
-  default_prompt: "Use $aces-gap-remediation-implement to remediate an ACES/APTL gap through the Ground Control implement workflow."
+  default_prompt: "Use $raes-gap-remediation-implement to remediate an ACES/APTL gap through the Ground Control implement workflow."

.codex

@@ -1,4 +1,4 @@
-# ACES SDL Codex Rules
+# RAES Codex Rules
 
 Use the repo policy tooling before and after implementation work.
 
@@ -17,27 +17,26 @@ such as `GOV-918`.
   `docs/`, and `implementations/`.
 - Do not edit `contracts/schemas/` directly; change generator inputs and
   regenerate.
-- Do not add new implementation logic to `implementations/python/src/aces/`;
-  that tree is compatibility-only wrappers.
-- Do not import `aces.*` from owning packages under
+- Do not recreate the retired `implementations/python/src/aces/` namespace.
+- Import only the owning `raes` or `raes_*` packages under
   `implementations/python/packages/`.
 - Keep concept-authority artifacts in the approved concept-authority surfaces.
 - Keep IMPLEMENTS and TESTS traceability in Ground Control aligned with changed
   code and tests.
 
 ## Repo skills
 
-- For Codex, use `.codex-skills/aces-asset-inventory-capture/SKILL.md`.
+- For Codex, use `.codex-skills/raes-asset-inventory-capture/SKILL.md`.
   This server also links it at
-  `~/.codex/skills/aces-asset-inventory-capture`.
+  `~/.codex/skills/raes-asset-inventory-capture`.
 - For Claude Code, use
-  `.claude/skills/aces-asset-inventory-capture/SKILL.md`. This server also
-  links it at `~/.claude/skills/aces-asset-inventory-capture`.
-- For Codex, use `.codex-skills/aces-gap-remediation-implement/SKILL.md`
-  when remediating ACES/APTL gaps found by the asset-inventory methodology.
+  `.claude/skills/raes-asset-inventory-capture/SKILL.md`. This server also
+  links it at `~/.claude/skills/raes-asset-inventory-capture`.
+- For Codex, use `.codex-skills/raes-gap-remediation-implement/SKILL.md`
+  when remediating RAES/APTL gaps found by the asset-inventory methodology.
   This server also links it at
-  `~/.codex/skills/aces-gap-remediation-implement`.
+  `~/.codex/skills/raes-gap-remediation-implement`.
 - For Claude Code, use
-  `.claude/skills/aces-gap-remediation-implement/SKILL.md` for the same
+  `.claude/skills/raes-gap-remediation-implement/SKILL.md` for the same
   overlay. This server also links it at
-  `~/.claude/skills/aces-gap-remediation-implement`.
+  `~/.claude/skills/raes-gap-remediation-implement`.

.codex-skills/aces-asset-inventory-capture/SKILL.md → .codex-skills/raes-asset-inventory-capture/SKILL.md

@@ -1,5 +1,5 @@
 ---
-name: aces-asset-inventory-capture
+name: raes-asset-inventory-capture
 description: Run the ACES asset inventory methodology as an agent-runnable capture workflow from either Claude Code or Codex. Use when asked to inventory a target image, container, host, or asset into a methodology-conformant evidence bundle with mapping-ledger.yaml, explicit capture-limits.txt declinations, scanner/SBOM evidence, and ACES/APTL gap triage.
 ---
 
@@ -11,7 +11,7 @@ methodology: capture evidence first, map facts to ACES only when the mapping is
 semantically correct, and leave every omission as durable evidence.
 
 The ACES methodology remains the authority. Read
-`docs/aces/inventory/asset-inventory-methodology.md` from the ACES repo before
+`docs/raes/inventory/asset-inventory-methodology.md` from the ACES repo before
 capture; when working in a downstream checkout, use that ACES document as the
 canonical source. This skill operationalizes that prose; it does not define a
 second ledger schema or a second secret taxonomy.
@@ -35,7 +35,7 @@ Before running commands, identify:
 - asset kind: image, running container, VM/host, or composed service;
 - immutable target reference where possible, such as image digest or container
   id;
-- output bundle directory, usually `docs/aces/inventory/<asset-id>/`;
+- output bundle directory, usually `docs/raes/inventory/<asset-id>/`;
 - allowed discovery vantages inside the realized range.
 
 If any input is missing, infer it from the repo and target runtime when safe.

.codex-skills/aces-asset-inventory-capture/agents/openai.yaml → .codex-skills/raes-asset-inventory-capture/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: "ACES Asset Inventory Capture"
   short_description: "Run the ACES asset inventory methodology."
-  default_prompt: "Use $aces-asset-inventory-capture to capture a methodology-conformant ACES asset inventory bundle for a target image or container."
+  default_prompt: "Use $raes-asset-inventory-capture to capture a methodology-conformant ACES asset inventory bundle for a target image or container."

.claude/skills/aces-asset-inventory-capture/scripts/capture-container-evidence-template.sh → .codex-skills/raes-asset-inventory-capture/scripts/capture-container-evidence-template.sh

@@ -3,7 +3,7 @@ set -euo pipefail
 
 ROOT="${ROOT:-$(git rev-parse --show-toplevel)}"
 ASSET_ID="${ASSET_ID:?Set ASSET_ID to the inventory asset id}"
-ASSET_DIR="${ASSET_DIR:-$ROOT/docs/aces/inventory/$ASSET_ID}"
+ASSET_DIR="${ASSET_DIR:-$ROOT/docs/raes/inventory/$ASSET_ID}"
 OUT="${EVIDENCE_DIR:-$ASSET_DIR/evidence}"
 IMAGE="${IMAGE:?Set IMAGE to an image tag or immutable digest}"
 CONTAINER="${CONTAINER:-}"

.claude/skills/aces-gap-remediation-implement/SKILL.md → .codex-skills/raes-gap-remediation-implement/SKILL.md

@@ -1,5 +1,5 @@
 ---
-name: aces-gap-remediation-implement
+name: raes-gap-remediation-implement
 description: Architecture-first overlay for remediating ACES/APTL gaps, especially gaps found by the ACES asset inventory capture methodology. Use before normal Ground Control /implement work when a gap may require new or changed SDL/runtime semantics, schemas, validators, ADRs, docs, capture mappings, or cross-repo ACES/APTL behavior. Forces whole-surface review, lineage and primary-literature grounding, peer-review-grade justification, and then delegates to the repo's standard Ground Control implement workflow.
 ---
 

.codex-skills/aces-gap-remediation-implement/agents/openai.yaml → .codex-skills/raes-gap-remediation-implement/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: "ACES Gap Remediation"
   short_description: "Architecture-first gap remediation overlay"
-  default_prompt: "Use $aces-gap-remediation-implement to remediate an ACES/APTL gap through the Ground Control implement workflow."
+  default_prompt: "Use $raes-gap-remediation-implement to remediate an ACES/APTL gap through the Ground Control implement workflow."

.gc/plan-rules.md

@@ -23,11 +23,10 @@ These encode the hard rules previously in `AGENTS.md` prose.
   `tools/check_generated_schemas.py` passes. The published schema is the
   authority; a generator/Python edit alone is NOT authorization for a schema
   change.
-- Plans MUST NOT add new implementation logic to
-  `implementations/python/src/aces/`; that tree is compatibility-only
-  wrappers.
-- Plans MUST NOT import `aces.*` from owning packages under
-  `implementations/python/packages/`.
+- Plans MUST NOT recreate the retired `implementations/python/src/aces/`
+  namespace.
+- Plans MUST NOT import retired `aces` or `aces_*` modules from owning packages
+  under `implementations/python/packages/`.
 - Plans MUST keep concept-authority artifacts in the approved
   concept-authority surfaces.
 - Plans MUST keep IMPLEMENTS and TESTS traceability in Ground Control

.github/workflows/release-please.yml

@@ -10,7 +10,7 @@ name: Release Please
 #
 # Feature PRs never touch CHANGELOG.md (release-please owns it) — no fragment
 # collisions. The version literal is in the dedicated RAES package version file;
-# `aces.__version__` derives from the installed distribution metadata.
+# `raes.__version__` derives from the installed distribution metadata.
 #
 # Caveat: the release PR is opened by GITHUB_TOKEN, so required CI checks do not
 # auto-run on it — admin-merge it, or give release-please a PAT so checks run.
@@ -78,15 +78,15 @@ jobs:
               sys.exit(f"expected exactly one wheel, found {wheels}")
           names = zipfile.ZipFile(wheels[0]).namelist()
           required = [
-              "aces_contracts/_corpus/profiles/backend/provisioning-only.json",
-              "aces_contracts/_corpus/fixtures/",
-              "aces_contracts/_corpus/concept-authority/controlled-vocabularies-v1.json",
-              "aces_contracts/_corpus/schemas/",
+              "raes_contracts/_corpus/profiles/backend/provisioning-only.json",
+              "raes_contracts/_corpus/fixtures/",
+              "raes_contracts/_corpus/concept-authority/controlled-vocabularies-v1.json",
+              "raes_contracts/_corpus/schemas/",
           ]
           missing = [r for r in required if not any(n == r or n.startswith(r) for n in names)]
           if missing:
               sys.exit(f"wheel is missing corpus payload: {missing}")
-          print(f"corpus payload present: {sum(n.startswith('aces_contracts/_corpus/') for n in names)} files")
+          print(f"corpus payload present: {sum(n.startswith('raes_contracts/_corpus/') for n in names)} files")
           PY
 
       - name: Publish to PyPI (OIDC trusted publishing)

README.md

@@ -236,7 +236,7 @@ conformance, and existing scenario examples.
 ## Versioning
 
 The Python package version lives in
-[`implementations/python/pyproject.toml`](https://github.com/RAESystem/rae/blob/main/implementations/python/pyproject.toml)
+[`implementations/python/packages/raes/_version.py`](https://github.com/RAESystem/rae/blob/main/implementations/python/packages/raes/_version.py)
 and is bumped by [release-please](https://github.com/googleapis/release-please)
 from the Conventional Commit history on `main`, which also generates
 `CHANGELOG.md`. Do not hand-edit the version or `CHANGELOG.md`. See

contracts/concept-authority/behavioral-relations-v1.json

@@ -447,7 +447,7 @@
         "test_status": "tested",
         "proof_status": "not-applicable",
         "evidence_refs": [
-          "implementations/python/packages/aces_contracts/manifest_authority.py"
+          "implementations/python/packages/raes_contracts/manifest_authority.py"
         ]
       },
       "source_refs": [
@@ -617,7 +617,7 @@
         "test_status": "tested",
         "proof_status": "not-applicable",
         "evidence_refs": [
-          "implementations/python/packages/aces_conformance/conformance.py"
+          "implementations/python/packages/raes_conformance/conformance.py"
         ]
       },
       "source_refs": [
@@ -873,7 +873,7 @@
         "test_status": "tested",
         "proof_status": "deliberately-unproved",
         "evidence_refs": [
-          "implementations/python/packages/aces_contracts/realization_envelope.py"
+          "implementations/python/packages/raes_contracts/realization_envelope.py"
         ]
       },
       "source_refs": [

contracts/fixtures/concept-authority/behavioral-relations-v1/valid/reference.json

@@ -68,7 +68,7 @@
         "implementation_status": "implemented",
         "test_status": "bounded",
         "proof_status": "deliberately-unproved",
-        "evidence_refs": ["implementations/python/packages/aces_conformance/conformance.py"]
+        "evidence_refs": ["implementations/python/packages/raes_conformance/conformance.py"]
       },
       "source_refs": ["milner-1980"]
     }

contracts/profiles/scientific-completeness/delivery-assessment-2026-07-12.json

@@ -104,7 +104,7 @@
     },
     {
       "concern_id": "backend-teardown-reconciliation", "status": "partial", "limitation": "Reference backends have teardown paths, but portable authored cleanup and cross-backend reconciliation guarantees are incomplete.", "issue_refs": ["#658"],
-      "evidence": [{"kind": "implementation", "path": "implementations/python/packages/aces_backend_libvirt/provisioner.py", "claim": "Libvirt teardown and reconciliation implementation."}]
+      "evidence": [{"kind": "implementation", "path": "implementations/python/packages/raes_backend_libvirt/provisioner.py", "claim": "Libvirt teardown and reconciliation implementation."}]
     },
     {
       "concern_id": "manual-rollback", "status": "missing", "limitation": "No general authored manual or advanced rollback contract exists.", "issue_refs": ["#658"], "evidence": []
@@ -119,7 +119,7 @@
     },
     {
       "concern_id": "temporal-ordering-causality", "status": "partial", "limitation": "Workflow and participant records preserve bounded order, but general causal and partial-order SDL semantics remain open.", "issue_refs": ["#285", "#288"],
-      "evidence": [{"kind": "implementation", "path": "implementations/python/packages/aces_contracts/participant_concurrency.py", "claim": "Participant concurrency and order invariants."}]
+      "evidence": [{"kind": "implementation", "path": "implementations/python/packages/raes_contracts/participant_concurrency.py", "claim": "Participant concurrency and order invariants."}]
     },
     {
       "concern_id": "deadlines-and-windows", "status": "partial", "limitation": "Objective windows exist, but a complete time-domain-bound deadline surface is not published.", "issue_refs": ["#285", "#288"],
@@ -142,7 +142,7 @@
     },
     {
       "concern_id": "participant-episode-reset", "status": "partial", "limitation": "Runtime episode lifecycle is implemented, while complete authored episode/reset semantics and conformance remain open.", "issue_refs": ["#305", "#307", "#311", "#314"],
-      "evidence": [{"kind": "implementation", "path": "implementations/python/packages/aces_contracts/participant_episode.py", "claim": "Runtime episode lifecycle invariants."}]
+      "evidence": [{"kind": "implementation", "path": "implementations/python/packages/raes_contracts/participant_episode.py", "claim": "Runtime episode lifecycle invariants."}]
     },
     {
       "concern_id": "participant-budgets", "status": "missing", "limitation": "Portable authored budget, exhaustion, and usage-accounting contracts are not complete.", "issue_refs": ["#306", "#308", "#312", "#313"], "evidence": []
@@ -213,7 +213,7 @@
         {"kind": "normative-spec", "path": "specs/formal/behavioral-relations/README.md", "claim": "Normative relation definitions, dimensions, claim surfaces, assurance states, and counterexamples."},
         {"kind": "published-schema", "path": "contracts/schemas/concept-authority/behavioral-relations-v1.json", "contract_id": "behavioral-relations-v1", "claim": "Published closed contract for the revisioned taxonomy."},
         {"kind": "implementation", "path": "tools/check_behavioral_relation_claims.py", "claim": "Semantic claim-binding and overclaim gate."},
-        {"kind": "conformance", "path": "implementations/python/packages/aces_conformance/conformance/__init__.py", "claim": "Backend conformance reports disclose bounded-probe relation, projection, case boundary, and nonclaims."},
+        {"kind": "conformance", "path": "implementations/python/packages/raes_conformance/conformance/__init__.py", "claim": "Backend conformance reports disclose bounded-probe relation, projection, case boundary, and nonclaims."},
         {"kind": "test", "path": "implementations/python/tests/test_behavioral_relations.py", "claim": "Catalog, binding, counterexample, and property-based relation tests."},
         {"kind": "documentation", "path": "docs/research/behavioral-relations/conflation-audit-2026-07-13.md", "claim": "Claim-surface conflation audit and remediation record."}
       ]

contracts/schema-publication/entries/aces-semantic-invariants-v1.json

@@ -2,5 +2,9 @@
   "contract_id": "aces-semantic-invariants-v1",
   "schema_path": "contracts/schemas/profiles/aces-semantic-invariants-v1.json",
   "stability": "draft",
-  "content_hash": "e7b858c93b7ec763c361439b1d9c7cc3979a1d150ca64a7f41ebc12c050f5cff"
+  "content_hash": "2d3576e151d4d1e2ff10f33cbd2760a35aab3a5032cd6c239c8b19bdc8b96d2f",
+  "last_change": {
+    "summary": "Retargeted qualified Python validator references and current project descriptions from the retired ACES package identity to RAES as part of the #884 hard cut; schema identifiers and validation semantics are unchanged.",
+    "content_hash": "2d3576e151d4d1e2ff10f33cbd2760a35aab3a5032cd6c239c8b19bdc8b96d2f"
+  }
 }

contracts/schema-publication/entries/associated-artifact-manifest-v1.json

@@ -2,9 +2,9 @@
   "contract_id": "associated-artifact-manifest-v1",
   "schema_path": "contracts/schemas/associated-artifacts/associated-artifact-manifest-v1.json",
   "stability": "draft",
-  "content_hash": "50cb495731d7274371dd01116acfe67dda3dd3261a1a911136cae02dab7f7927",
+  "content_hash": "238a1351cf24d33e885a373c4472bad7637e689d984ce04b3f906e0f20c7611b",
   "last_change": {
-    "summary": "Initial publication of the ADR-077 scenario- and experiment-associated artifact manifest, canonical set identity, and required semantic byte-binding invariant.",
-    "content_hash": "50cb495731d7274371dd01116acfe67dda3dd3261a1a911136cae02dab7f7927"
+    "summary": "Retargeted qualified Python validator references and current project descriptions from the retired ACES package identity to RAES as part of the #884 hard cut; schema identifiers and validation semantics are unchanged.",
+    "content_hash": "238a1351cf24d33e885a373c4472bad7637e689d984ce04b3f906e0f20c7611b"
   }
 }

contracts/schema-publication/entries/behavioral-relations-v1.json

@@ -2,9 +2,9 @@
   "contract_id": "behavioral-relations-v1",
   "schema_path": "contracts/schemas/concept-authority/behavioral-relations-v1.json",
   "stability": "draft",
-  "content_hash": "6527fb300e23678a778fd44282f6fa12c8c86119b707ab0874bd4cf19ddb5e29",
+  "content_hash": "e480fac32221c864dc953eef2700459a3db4b8a435abd02e69fc767ed7e46d76",
   "last_change": {
-    "summary": "Initial publication of the ADR-081 revisioned behavioral-relation taxonomy, formal dimensions, claim surfaces, assurance states, source identities, and counterexamples (issue #747).",
-    "content_hash": "6527fb300e23678a778fd44282f6fa12c8c86119b707ab0874bd4cf19ddb5e29"
+    "summary": "Retargeted qualified Python validator references and current project descriptions from the retired ACES package identity to RAES as part of the #884 hard cut; schema identifiers and validation semantics are unchanged.",
+    "content_hash": "e480fac32221c864dc953eef2700459a3db4b8a435abd02e69fc767ed7e46d76"
   }
 }