Skip to content

docs: complete the Action rename and anchor release dates to git tags #182

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
flyingrobots wants to merge 4 commits into from
Closed

docs: complete the Action rename and anchor release dates to git tags #182

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
9f1a11e
Refactor: Rename Intent to Action workspace-wide
flyingrobots Jul 21, 2026
5449fc0
docs: complete Intent to Action rename and log the break
flyingrobots Aug 4, 2026
7aae09a
fix(docs): realign release dates to actual git tag dates
flyingrobots Aug 4, 2026
66188d5
refactor(xtask): reconcile release dates against tags, not against co…
flyingrobots Aug 4, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion ARCHITECTURE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ Module map:
| `semantic` | Surface validation that does not require import resolution or target facts. |
| `authority_facts` | File-backed compiler context facts for profiles, budgets, write classes, and source identity. |
| `compiler` | Resolve, type-check, and lower the supported source subset to Core IR. |
| `core_ir` | Runtime-neutral Core module, intent, expression, budget, import, and obstruction data. |
| `core_ir` | Runtime-neutral Core module, action, expression, budget, import, and obstruction data. |
| `canonical` | Canonical value model, depth-bounded canonical CBOR encoder/decoder, digest frames, and reviewed golden digest helpers. |
| `target_profile` | Runtime-neutral target-profile manifest conformance. |
| `lowerability` | Checks whether Core requirements can be satisfied natively, by a direct adapter, or not at all. |
Expand Down
57 changes: 38 additions & 19 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -140,6 +140,25 @@ versions still track specification maturity rather than a released product.

### Changed

- **BREAKING (language surface):** the action declaration keyword is now
`action` instead of `intent`. Source files that declare `intent name { ... }`
no longer parse. The rename is workspace-wide and also covers the public Rust
surface (`ActionDecl`, `ActionClause`, `CoreAction`, `TargetIrAction`,
`CoreModule::actions`, `ResolvedAction`, `TypedAction`).
- **BREAKING (canonical ABI):** the canonical CBOR map key for the action map is
now `actions` instead of `intents` in both `edict.core/v1` and
`edict.target-ir.artifact/v1`. Canonical bytes and every derived digest move
accordingly; the reviewed Core and Target IR goldens under
`fixtures/core/canonical/` and `fixtures/target-ir/canonical/` were
regenerated. Previously published digests do not carry over. Fixtures, specs,
CDDL, and topic shelves use the new term throughout.
- Release dates across `CHANGELOG.md`, `docs/topics/release-process/policy.toml`,
`docs/releases/*.md`, and the `xtask` release guards now record the actual git
tag dates (2026-06-21 through 2026-06-30) instead of the planned biweekly
schedule that ran to 2026-11-04. The `target_date` field keeps its name but now
holds the real publication date, so `RELEASE-REQ-008` is restated accordingly.
`next_release_target_date` still increments the last entry by 14 days and now
seeds a past date; see the release-process test plan for that open gap.
- The local `cargo xtask verify` gate now schedules one default workspace test
pass, which already includes doctests, instead of repeating every workspace
doctest in a second Cargo invocation.
Expand Down Expand Up @@ -252,7 +271,7 @@ versions still track specification maturity rather than a released product.
release notes, recording the immutable tag, workflow evidence, milestone
closure, release URL, and no-crates publication evidence.

## [v0.11.0-alpha.1] - 2026-11-04
## [v0.11.0-alpha.1] - 2026-06-30

### Added

Expand Down Expand Up @@ -306,7 +325,7 @@ versions still track specification maturity rather than a released product.
recorded durable release evidence for its tag, workflow runs, milestone
closure, and no-crates publication boundary.

## [v0.10.0-alpha.1] - 2026-10-21
## [v0.10.0-alpha.1] - 2026-06-29

### Added

Expand Down Expand Up @@ -346,7 +365,7 @@ versions still track specification maturity rather than a released product.
recorded durable release evidence for its tag, workflow runs, milestone
closure, and no-crates publication boundary.

## [v0.9.0-alpha.1] - 2026-10-07
## [v0.9.0-alpha.1] - 2026-06-28

### Added

Expand All @@ -356,14 +375,14 @@ versions still track specification maturity rather than a released product.
targets and unsupported Core nodes reject with stable target-lowering failure
kinds before any artifact is emitted. Target IR preserves effect result
bindings, effect inputs, obstruction failure keys, obstruction arm values, and
intent result expressions. Target IR lowering facts can also be derived from
action result expressions. Target IR lowering facts can also be derived from
selected native lowerability results, keeping target artifact paths
tied to the lowerability report's target profile, operation profile, and
selected native effect support. The lowerer rejects unsupported Core ABI
versions, unsupported Core capability flags, undigested target-profile
references, non-Echo target intrinsics, operation profiles unsupported by the
selected target facts, and intents with no target-owned steps before Target IR
emission. Target IR intents also preserve Core input constraints and Core
selected target facts, and actions with no target-owned steps before Target IR
emission. Target IR actions also preserve Core input constraints and Core
evaluation budgets so supported artifacts do not drop preconditions or
evaluation limits. Added the second supported target slice:
`gitwarp.ref_crdt@1` can lower the same supported effectful Core shape into a
Expand All @@ -377,7 +396,7 @@ versions still track specification maturity rather than a released product.
recorded durable release evidence for its tag, workflow runs, milestone
closure, and no-crates publication boundary.

## [v0.8.0-alpha.1] - 2026-09-23
## [v0.8.0-alpha.1] - 2026-06-28

### Added

Expand All @@ -395,7 +414,7 @@ versions still track specification maturity rather than a released product.
recorded durable release evidence for its tag, workflow runs, milestone
closure, and no-crates publication boundary.

## [v0.7.0-alpha.1] - 2026-09-09
## [v0.7.0-alpha.1] - 2026-06-27

### Added

Expand All @@ -418,7 +437,7 @@ versions still track specification maturity rather than a released product.
- Added the review-process topic shelf and structured CodeRabbit-to-Codex
fallback policy for review-bot outages, rate limits, and credit exhaustion.

## [v0.6.0-alpha.1] - 2026-08-26
## [v0.6.0-alpha.1] - 2026-06-26

### Added

Expand All @@ -442,7 +461,7 @@ versions still track specification maturity rather than a released product.
- Added a release-prep topic-shelf audit gate requiring `docs/topics/` coverage
and accuracy to both meet at least 90% before release.

## [v0.5.0-alpha.1] - 2026-08-12
## [v0.5.0-alpha.1] - 2026-06-25

### Added

Expand All @@ -459,7 +478,7 @@ versions still track specification maturity rather than a released product.
- Added the admission topic shelf for the Edict/Continuum admission-boundary
contract and verification matrix.

## [v0.4.0-alpha.1] - 2026-07-29
## [v0.4.0-alpha.1] - 2026-06-24

### Added

Expand Down Expand Up @@ -496,7 +515,7 @@ versions still track specification maturity rather than a released product.
native support, exactly one direct adapter, or unsupported. General composite
adapter-chain search remains future v2 design work.

## [v0.3.0-alpha.1] - 2026-07-15
## [v0.3.0-alpha.1] - 2026-06-24

### Added

Expand Down Expand Up @@ -545,7 +564,7 @@ versions still track specification maturity rather than a released product.
parameter renaming stays hash-invariant while Core local identity mutations
still change canonical bytes and digests.

## [v0.2.0-alpha.1] - 2026-07-01
## [v0.2.0-alpha.1] - 2026-06-21

### Added

Expand All @@ -564,7 +583,7 @@ versions still track specification maturity rather than a released product.
- Relaxed Markdown heading duplication checks to allow changelog section
headings to repeat across different release versions.

## [v0.1.0-alpha.1] - 2026-06-24
## [v0.1.0-alpha.1] - 2026-06-21

### Added

Expand All @@ -574,8 +593,8 @@ versions still track specification maturity rather than a released product.
- **Phase 2 — source-AST semantic validation (`edict-syntax`).** Added
`validate_module`, stable `SemanticErrorKind` categories, deterministic tests,
and a semantic-validation topic shelf for checks that do not require Core IR:
bounded runtime `String`/`Bytes`, intent operation-mode/budget/basis
requiredness, duplicate singleton intent clauses, module namespace collision
bounded runtime `String`/`Bytes`, action operation-mode/budget/basis
requiredness, duplicate singleton action clauses, module namespace collision
checks, and scoped binder shadowing checks.
- **Topic shelf pilot (`docs/topics/syntax/`).** Added the first current-truth
topic chapter and verification matrix for the Phase 1 syntax front end,
Expand All @@ -587,7 +606,7 @@ versions still track specification maturity rather than a released product.
recursive-descent parser for the `edict.implementation/minimal-v1` surface.
Now parses: package/imports (shape/lawpack/target/core, optional `digest`);
`type` records and refined scalars; `enum` declarations; `variant` types with
optional payloads; `intent`s with their clauses; `let`/`return`; calls and
optional payloads; `action`s with their clauses; `let`/`return`; calls and
type-calls (`echo.ref<T>(...)`); effect statements with single- and
map-form `else` obstruction handlers; `require`/`guarantee`/`assert`; the full
`if` family (ternary `if … then … else …`, effectful branch-yield in
Expand Down Expand Up @@ -681,7 +700,7 @@ versions still track specification maturity rather than a released product.
- Self-review nits: dropped an unused WIT import; de-duplicated the
`basis`-requiredness wording; locked `edict-common.cddl` in `spec.lock.json`;
corrected the `edict-common.cddl` header.
- Second-order ripples from the above (Codex + CodeRabbit round): an intent may
- Second-order ripples from the above (Codex + CodeRabbit round): an action may
carry **both** `profile` and `implements` (was wrongly "exactly one"); pure
expressions may call **pure** target/lawpack constructors (only effect
intrinsics forbidden); integer-literal propagation reaches binary operands;
Expand All @@ -708,7 +727,7 @@ versions still track specification maturity rather than a released product.
non-fixtures; `effectFailures` coordinates must be unique per effect.
- **jedit appendix brought to clause-conformance** (it is the intended first
real-world use case): added correct `basis` clauses to all 12 rope-package and
structural-history intents; the Product Text Buffer Optic sketch remains the
structural-history actions; the Product Text Buffer Optic sketch remains the
one deliberate non-v1 example (uses rejected `invoke`/`use capability` to show
design pressure). Appendix note rewritten accordingly.

Expand Down
Loading