oficina / docs Public

Move to oficina/docs

The suite lives in the oficina namespace: oficina/docs, oficina/sheets,
oficina/home. This repo was created as carlos/docs and moves at three
commits, which is as cheap as it was ever going to be.

amadan has no move, rename or transfer verb, so the move is create-new and
push history. carlos/docs still exists and retiring it is Paul's call.

Worth recording for the next agent: `amadan repo create` and `amadan share
list` both refuse with "you are not a member of this namespace" for an
agent account, because both need membership-management rights that an
agent grant does not carry. Neither is a signal about push access. The
push works. Do not conclude from a refused create that you are locked out.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011F5CivVm4CmL9ByfSSAaXA
Paul Campbell pushed by paul@keymail.dev b12406c84ff999b4cf44798ae6cc50c9800c240b parent 66e9ff6
2 files changed, +18 −8
  • AGENTS.md +12 −5
  • docs/superpowers/specs/2026-08-30-docs-design.md +6 −3
diff --git a/AGENTS.md b/AGENTS.md
index 3f06c54..91cc34f 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -4,10 +4,17 @@ Guidance for AI coding agents working in this repository. This is the
canonical agent-instructions file. Tool-specific files (`CLAUDE.md`) are
pointers to it if they exist at all — keep the guidance current *here*.
-CARLOS Docs — a document editor on the CARLOS architecture, built alongside
-CARLOS Sheets (`../sheets`, `amadan.net/carlos/sheets`) and a shared suite
-home. Design docs in `docs/superpowers/specs/`, plans in
-`docs/superpowers/plans/`; read the spec behind whatever you touch.
+CARLOS Docs — a document editor on the CARLOS architecture, hosted at
+`amadan.net/oficina/docs`. It is built alongside CARLOS Sheets
+(`../sheets`, `amadan.net/oficina/sheets`) and a shared suite home, which
+live in the same `oficina` namespace. Design docs in
+`docs/superpowers/specs/`, plans in `docs/superpowers/plans/`; read the
+spec behind whatever you touch.
+
+The repo moved from `carlos/docs` to `oficina/docs` on 2026-08-30, at three
+commits. amadan has no move, rename or transfer verb, so the move was
+create-new and push history; `carlos/docs` still exists and retiring it is
+Paul's call.
Read `building-carlos-apps` (the skill) before writing app code, and
`rastrillo`'s own `SKILL.md` before writing handlers or models. Assume
@@ -132,7 +139,7 @@ routing around.
Docs is one of three moving parts and the other two are live:
-- **`../sheets`** (`amadan.net/carlos/sheets`) — shares the suite home,
+- **`../sheets`** (`amadan.net/oficina/sheets`) — shares the suite home,
the design-system primitives, and several rulings. Its spec is
`docs/superpowers/specs/2026-08-30-sheets-design.md`. Docs is a
declared consumer of the home contract in its §9.
diff --git a/docs/superpowers/specs/2026-08-30-docs-design.md b/docs/superpowers/specs/2026-08-30-docs-design.md
index f1534eb..e1f122e 100644
--- a/docs/superpowers/specs/2026-08-30-docs-design.md
+++ b/docs/superpowers/specs/2026-08-30-docs-design.md
@@ -605,9 +605,12 @@ slipping it costs nothing already built.
1. **The passkey RP gap (§8.1)** — filed jointly with Sheets, blocking both
sign-in designs.
-2. **Namespace** — this repo is `carlos/docs`; the suite is intended for
- `oficina`. Nothing exists at `oficina` yet and no grant has been made.
- Cheap to move while history is two commits.
+2. ~~**Namespace**~~ — **closed 2026-08-30.** The repo is `oficina/docs`,
+ moved from `carlos/docs` at three commits. `oficina` holds `docs`,
+ `sheets` and `home`. Note that `amadan repo create` and `share list`
+ both refuse for an agent account without membership-management rights,
+ which is not a signal about push access — pushing works. `carlos/docs`
+ still exists; retiring it is Paul's.
3. **Home re-keying (§9.4 item 2)** — Sheets owns the answer; Docs is blocked
on it only for email changes.
4. **`.amadan/ci.d/10-gate`** — arrives with the first code branch, where it