anuna-research/elephant
1
0
Fork 0
Code Issues 6 Pull requests Projects Packages Wiki Activity Actions

Remove the hence task layer from the CLI #1

Merged
anuna-02 merged 0 commits from refs/pull/1/head into main 2026-07-14 06:45:44 +00:00
Conversation 0 Commits - Files changed -
anuna-02 commented 2026-07-14 06:45:12 +00:00 (Migrated from codeberg.org)
Copy link

Summary

Removes the hence task-coordination layer from the elephant CLI, slimming the top-level surface from 28 verbs to 19. The succession is reframed: elephant-3000 succeeds hence in ideas, not surface — a successor need not be backwards compatible.

Deleted the nine plan-coordination verbs (board, info, join-as, next, claim, unclaim, complete, block, unblock), src/tasks.rs, the theory create --template plan flag, and the parsed-but-never-read assert --task flag. The entire spindle query surface (status, explain, why-not, require, what-if, commitments, log, watch, describe, trace, dag) is untouched.

Net −863 lines.

Semantics preserved

The hence lifecycle SPL stays legal in any theory (it's ordinary SPL, and the corpus is append-only), so existing theories keep converging identically and their task states remain derivable via status/dag/describe. The lifecycle predicates stay reserved in SPEC-005's registry so legacy corpora remain interpretable. No data migration.

Spec surgery

  • SPEC-003 → 0.3.0, new ADR-206 removes the task-verb surface and supersedes ADR-201's hence-0.7 freeze.
  • REQ-201..207/209/210 and NFR-201 marked retired (anchors kept, since SPEC-005 links into them ~15 times and surviving code cites them); §1 compatibility contract demoted to historical.
  • ADR-202 (bundle mechanics), ADR-205 (flat verbs), and REQ-208 (describe/trace) stay normative.
  • SPEC-005 and docs/concepts/hence.md reworded off the "frozen and carried over" framing. Both zetl vaults are net-zero on dead links.

Also in this branch

  • Fix the docs/support URL and Cargo.toml repository to codeberg.org/anuna/elephant.
  • Short help now reads "Elephant-3000: speech-act coordination on shared defeasible theories".
  • Strip spec/requirement citations (REQ-015/016/017, SPEC-003 REQ-208, CON-004, E1) from user-facing verb help text.

Verification

  • cargo test: 123 passed, 2 ignored (the pre-existing #[ignore]d live-loopback sync tests)
  • cargo clippy --all-targets: clean · cargo fmt --check: clean
  • scripts/demo.sh: runs unmodified end-to-end
  • Release binary builds clean

Design and plan docs: docs/superpowers/specs/2026-07-14-remove-hence-task-layer-design.md, docs/superpowers/plans/2026-07-14-remove-hence-task-layer.md.

🤖 Generated with Claude Code

https://claude.ai/code/session_01AxMsiD6biMSLUpLgMprexH

## Summary Removes the hence task-coordination layer from the elephant CLI, slimming the top-level surface from **28 verbs to 19**. The succession is reframed: elephant-3000 succeeds hence **in ideas, not surface** — a successor need not be backwards compatible. Deleted the nine plan-coordination verbs (`board`, `info`, `join-as`, `next`, `claim`, `unclaim`, `complete`, `block`, `unblock`), `src/tasks.rs`, the `theory create --template plan` flag, and the parsed-but-never-read `assert --task` flag. The entire spindle query surface (`status`, `explain`, `why-not`, `require`, `what-if`, `commitments`, `log`, `watch`, `describe`, `trace`, `dag`) is untouched. Net **−863 lines**. ## Semantics preserved The hence lifecycle SPL stays legal in any theory (it's ordinary SPL, and the corpus is append-only), so existing theories keep converging identically and their task states remain derivable via `status`/`dag`/`describe`. The lifecycle predicates stay **reserved** in SPEC-005's registry so legacy corpora remain interpretable. No data migration. ## Spec surgery - **SPEC-003 → 0.3.0**, new **ADR-206** removes the task-verb surface and **supersedes ADR-201**'s hence-0.7 freeze. - REQ-201..207/209/210 and NFR-201 marked *retired* (anchors kept, since SPEC-005 links into them ~15 times and surviving code cites them); §1 compatibility contract demoted to historical. - ADR-202 (bundle mechanics), ADR-205 (flat verbs), and REQ-208 (`describe`/`trace`) stay **normative**. - SPEC-005 and `docs/concepts/hence.md` reworded off the "frozen and carried over" framing. Both zetl vaults are **net-zero** on dead links. ## Also in this branch - Fix the docs/support URL and `Cargo.toml` repository to `codeberg.org/anuna/elephant`. - Short help now reads *"Elephant-3000: speech-act coordination on shared defeasible theories"*. - Strip spec/requirement citations (`REQ-015/016/017`, `SPEC-003 REQ-208`, `CON-004`, `E1`) from user-facing verb help text. ## Verification - `cargo test`: **123 passed, 2 ignored** (the pre-existing `#[ignore]`d live-loopback sync tests) - `cargo clippy --all-targets`: clean · `cargo fmt --check`: clean - `scripts/demo.sh`: runs unmodified end-to-end - Release binary builds clean Design and plan docs: `docs/superpowers/specs/2026-07-14-remove-hence-task-layer-design.md`, `docs/superpowers/plans/2026-07-14-remove-hence-task-layer.md`. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01AxMsiD6biMSLUpLgMprexH
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
anuna-research/elephant!1
No description provided.