From 75892a2120c1de2ff0292af88e659262e7603895 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 05:57:07 +0000 Subject: [PATCH 1/9] Update v0.9.0 changelog and remove README today section Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/230e23ee-7ffb-41be-b924-062ee63b9b5f Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 11 +++++++---- README.md | 27 --------------------------- 2 files changed, 7 insertions(+), 31 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 4b47d02..6f33305 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,10 +4,13 @@ All notable changes to Coderive are documented in this file. ## [v0.9.0] - Platform Snapshot - April 13, 2026 -### ✨ Major Updates -- **Version bump to v0.9.0** — Updated repository release version to `0.9.0`. -- **README refresh for current platform scope** — Reworked the README to clearly describe what Coderive offers today across language design, lazy range execution, safety model, runtime pipeline, CLI workflows, and docs/playground experience. -- **Release documentation alignment** — Synced changelog and version metadata with the new v0.9.0 release. +### ✨ Major Updates Since v0.8.x +- **Unsafe execution model tightened** — Safe contexts now strictly block unsafe class/method usage unless explicitly wrapped with `safe(...)`, while `safe(...)` is disallowed inside unsafe contexts. +- **Unsafe pointer support introduced** — Added pointer-oriented unsafe syntax and execution support, including pointer types, address/dereference operations, and guarded pointer arithmetic. +- **Project-wide compile mode in CLI** — Added `-f` / `--full` support in `CommandRunner` to compile all `.cod` files under `src/main` in a single command. +- **Deterministic PTAC lowering output** — Lowering counters now reset per lowering pass so generated temporary/pattern/lambda register names remain stable per artifact. +- **IR artifact path normalization** — Dotted unit names are normalized into slash paths for IR artifact storage and lookup consistency. +- **Lazy range composition improvements** — NaturalArray and literal array operations now compose conditional/recurrence formulas and chained lazy map/filter views more efficiently. ## [v0.8.4] - Formula Lock-In - April 12, 2026 diff --git a/README.md b/README.md index 84ae060..fca4beb 100644 --- a/README.md +++ b/README.md @@ -23,7 +23,6 @@ ## Table of Contents - [What is Coderive?](#what-is-coderive) -- [What Coderive offers today](#what-coderive-offers-today) - [Why Coderive?](#why-coderive) - [Getting Started](#getting-started) - [Language Features](#language-features) @@ -50,32 +49,6 @@ Coderive features a fully hand-written, modular lexer-parser pipeline (no ANTLR) --- -## What Coderive offers today - -Coderive is no longer just a small interpreter demo — it now offers a complete language + tooling stack: - -- **Expressive core language design** - Quantifier-first boolean logic (`any[]`, `all[]`), clean slot-based multi-return functions (`::` + `~>`), policy-based contracts, class inheritance, and readable control-flow constructs. - -- **High-scale lazy data model** - O(1) NaturalArray/range-backed collections, formula-driven iteration, negative/range indexing, conditional and recurrence composition, and array-oriented transformations without eager materialization. - -- **Safe + explicit execution model** - Strong typing semantics, structured visibility (`share`/`local`), explicit safe/unsafe boundaries, and deterministic parser/interpreter behavior built from hand-written language components. - -- **Bytecode and runtime pipeline** - Script execution plus PTAC/IR artifact paths for compiled execution flows, with reusable runtime infrastructure for direct execution and parity validation workflows. - -- **CLI and project workflows** - One-command installer (`install.sh`), direct JAR invocation support, and repository runners for command execution, parity checks, and complexity/performance-focused validation scenarios. - -- **Documentation and browser experience** - A dedicated docs + playground site under `docs/`, enabling interactive language exploration without local installation. - -If you want a language that prioritizes readability, scalable lazy execution, and practical ergonomics for real projects, Coderive is built for that. - ---- - ## Why Coderive? ### ① Quantifier-First Logic From 2b5e2cb14be00c654e79ca8dce4c3db41c240097 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 06:01:15 +0000 Subject: [PATCH 2/9] Expand v0.9.0 changelog to complete 0.8.x to 0.9.0 summary Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/7e240124-a334-4195-8aa3-287c634149f7 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 25 ++++++++++++++++++------- 1 file changed, 18 insertions(+), 7 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 6f33305..222d856 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,13 +4,24 @@ All notable changes to Coderive are documented in this file. ## [v0.9.0] - Platform Snapshot - April 13, 2026 -### ✨ Major Updates Since v0.8.x -- **Unsafe execution model tightened** — Safe contexts now strictly block unsafe class/method usage unless explicitly wrapped with `safe(...)`, while `safe(...)` is disallowed inside unsafe contexts. -- **Unsafe pointer support introduced** — Added pointer-oriented unsafe syntax and execution support, including pointer types, address/dereference operations, and guarded pointer arithmetic. -- **Project-wide compile mode in CLI** — Added `-f` / `--full` support in `CommandRunner` to compile all `.cod` files under `src/main` in a single command. -- **Deterministic PTAC lowering output** — Lowering counters now reset per lowering pass so generated temporary/pattern/lambda register names remain stable per artifact. -- **IR artifact path normalization** — Dotted unit names are normalized into slash paths for IR artifact storage and lookup consistency. -- **Lazy range composition improvements** — NaturalArray and literal array operations now compose conditional/recurrence formulas and chained lazy map/filter views more efficiently. +### 🚨 Breaking / Behavioral Changes +- **Unsafe declaration ordering enforced** — Unsafe declarations now require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`), tightening parser validation for class/method declarations. +- **Safe ↔ unsafe boundary rules enforced** — Unsafe constructors/methods are blocked in safe contexts unless explicitly wrapped with `safe(...)`; additionally, `safe(...)` is forbidden inside unsafe contexts. + +### ✨ Major Features +- **Unsafe pointer model added** — Unsafe contexts now support pointer-oriented types/operations, including pointer type declarations, address-of (`&`), dereference (`*`), and pointer arithmetic with bounds checks. +- **Full-project compile mode in CLI** — `CommandRunner` now supports `-f` / `--full` to compile all `.cod` files under `src/main` in one run. + +### 🔧 Runtime / PTAC / IR Improvements +- **Deterministic lowering register naming** — PTAC lowering counters are reset per `lower()` call, keeping generated temp/pattern/lambda naming stable per artifact. +- **IR path normalization for dotted units** — Dotted unit names are normalized to slash paths for both container entries and standalone artifact lookups. +- **Project-level index container** — Shared index data is persisted in `src/bin/project.codc` via `HOOK.toml`, consolidating lookup metadata in a single project container. +- **Standalone `.codb` support retained** — Standalone `.codb` artifacts remain fully supported alongside `.codc` container grouping. + +### ⚡ Lazy Array & Formula Execution +- **Conditional formula composition in `NaturalArray`** — Newly added conditional formulas are composed with existing formulas, reducing layered formula overhead. +- **Linear recurrence composition upgrades** — Recurrence formulas are composed instead of stacked with index-level growth, improving memory behavior and lookup stability. +- **Lazy map/filter chaining composition** — LiteralRegistry now composes chained lazy map/filter views, reducing nested wrapper overhead during array pipelines. ## [v0.8.4] - Formula Lock-In - April 12, 2026 From 249eaee50ab66125e53da97dddc0bf5f4a98872c Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 06:07:59 +0000 Subject: [PATCH 3/9] Expand v0.9.0 changelog using full merge history coverage Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/a4283678-c508-4b19-b849-0d9cc14624de Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 35 ++++++++++++++++++++++++----------- 1 file changed, 24 insertions(+), 11 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 222d856..5cd184c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,24 +4,37 @@ All notable changes to Coderive are documented in this file. ## [v0.9.0] - Platform Snapshot - April 13, 2026 +### 🔀 Merge Coverage for This Snapshot +- **PR #90** — linear recurrence formula refactor/composition and v0.8.4 version alignment. +- **PR #91** — rolling/vector linear recurrence execution improvements and related parity-path updates. +- **PR #92** — `.codc` container write/read hardening and custom zip-container behavior. +- **PR #93** — shared index consolidation into project container root entry (`HOOK.toml`). +- **PR #94** — `.codb`/`.codc` unit-path structure fixes plus deterministic PTAC lowering counter reset behavior. +- **PR #95** — `CommandRunner` full compile mode (`-f`/`--full`) and compile summary polish. +- **PR #96** — borrow-check enforcement extended to unsafe indexed mutation flows. +- **PR #97** — zero-cost/O(1) active-borrow tracking performance improvements. + ### 🚨 Breaking / Behavioral Changes -- **Unsafe declaration ordering enforced** — Unsafe declarations now require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`), tightening parser validation for class/method declarations. -- **Safe ↔ unsafe boundary rules enforced** — Unsafe constructors/methods are blocked in safe contexts unless explicitly wrapped with `safe(...)`; additionally, `safe(...)` is forbidden inside unsafe contexts. +- **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). +- **Safe ↔ unsafe boundary rules enforced** — Unsafe constructors/methods are blocked in safe contexts unless wrapped with `safe(...)`; `safe(...)` is not allowed inside unsafe contexts. +- **Borrow checks tightened in unsafe mutation paths** — Unsafe indexed mutation now participates in borrow-safety enforcement. ### ✨ Major Features -- **Unsafe pointer model added** — Unsafe contexts now support pointer-oriented types/operations, including pointer type declarations, address-of (`&`), dereference (`*`), and pointer arithmetic with bounds checks. -- **Full-project compile mode in CLI** — `CommandRunner` now supports `-f` / `--full` to compile all `.cod` files under `src/main` in one run. +- **Unsafe pointer model added** — Unsafe contexts support pointer-oriented syntax/runtime behavior (`*T`, `T[n]`, `&`, `*`, and pointer arithmetic with bounds checks). +- **Full-project compile mode in CLI** — `CommandRunner` supports `-f` / `--full` to compile all `.cod` files under `src/main`. +- **Zero-cost active-borrow tracking** — Borrow-state tracking moved to O(1)-style active tracking for lower runtime overhead. ### 🔧 Runtime / PTAC / IR Improvements -- **Deterministic lowering register naming** — PTAC lowering counters are reset per `lower()` call, keeping generated temp/pattern/lambda naming stable per artifact. -- **IR path normalization for dotted units** — Dotted unit names are normalized to slash paths for both container entries and standalone artifact lookups. -- **Project-level index container** — Shared index data is persisted in `src/bin/project.codc` via `HOOK.toml`, consolidating lookup metadata in a single project container. -- **Standalone `.codb` support retained** — Standalone `.codb` artifacts remain fully supported alongside `.codc` container grouping. +- **Deterministic lowering register naming** — PTAC lowering counters reset per `lower()` call to keep generated naming stable per artifact. +- **IR path normalization for dotted units** — Dotted unit names are normalized into slash paths for both `.codc` entries and standalone `.codb` fallback lookup. +- **Project-level index container** — Shared index data is stored in `src/bin/project.codc` at root entry `HOOK.toml`. +- **Container write hardening** — `.codc` write flow includes stronger container handling/cleanup semantics. +- **Standalone `.codb` support retained** — Standalone `.codb` artifacts remain a permanent supported format alongside `.codc` grouping. ### ⚡ Lazy Array & Formula Execution -- **Conditional formula composition in `NaturalArray`** — Newly added conditional formulas are composed with existing formulas, reducing layered formula overhead. -- **Linear recurrence composition upgrades** — Recurrence formulas are composed instead of stacked with index-level growth, improving memory behavior and lookup stability. -- **Lazy map/filter chaining composition** — LiteralRegistry now composes chained lazy map/filter views, reducing nested wrapper overhead during array pipelines. +- **Conditional formula composition in `NaturalArray`** — Conditional formulas compose into a single merged formula path. +- **Linear recurrence composition and rolling/vector execution upgrades** — Recurrence paths were refactored for better composition, lower memory pressure, and improved recurrence execution behavior. +- **Lazy map/filter chaining composition** — LiteralRegistry composes chained lazy map/filter views to reduce wrapper layering. ## [v0.8.4] - Formula Lock-In - April 12, 2026 From 8f512fdfc647e17f5326eac51bc81e61ff85cfa0 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 06:08:43 +0000 Subject: [PATCH 4/9] Add migration example for unsafe declaration ordering in v0.9.0 changelog Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/a4283678-c508-4b19-b849-0d9cc14624de Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 5cd184c..aba593a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -15,7 +15,8 @@ All notable changes to Coderive are documented in this file. - **PR #97** — zero-cost/O(1) active-borrow tracking performance improvements. ### 🚨 Breaking / Behavioral Changes -- **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). +- **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). + Migration example: `unsafe share MyType { ... }` → `share unsafe MyType { ... }`. - **Safe ↔ unsafe boundary rules enforced** — Unsafe constructors/methods are blocked in safe contexts unless wrapped with `safe(...)`; `safe(...)` is not allowed inside unsafe contexts. - **Borrow checks tightened in unsafe mutation paths** — Unsafe indexed mutation now participates in borrow-safety enforcement. From f80645306ccbf05fff02a6d22a201287360b18e9 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 07:20:27 +0000 Subject: [PATCH 5/9] Format v0.9.0 changelog to match established style Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/321a0707-ecc5-46c8-8443-77a60e50dcb4 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index aba593a..69affda 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,16 +4,6 @@ All notable changes to Coderive are documented in this file. ## [v0.9.0] - Platform Snapshot - April 13, 2026 -### 🔀 Merge Coverage for This Snapshot -- **PR #90** — linear recurrence formula refactor/composition and v0.8.4 version alignment. -- **PR #91** — rolling/vector linear recurrence execution improvements and related parity-path updates. -- **PR #92** — `.codc` container write/read hardening and custom zip-container behavior. -- **PR #93** — shared index consolidation into project container root entry (`HOOK.toml`). -- **PR #94** — `.codb`/`.codc` unit-path structure fixes plus deterministic PTAC lowering counter reset behavior. -- **PR #95** — `CommandRunner` full compile mode (`-f`/`--full`) and compile summary polish. -- **PR #96** — borrow-check enforcement extended to unsafe indexed mutation flows. -- **PR #97** — zero-cost/O(1) active-borrow tracking performance improvements. - ### 🚨 Breaking / Behavioral Changes - **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). Migration example: `unsafe share MyType { ... }` → `share unsafe MyType { ... }`. @@ -29,7 +19,7 @@ All notable changes to Coderive are documented in this file. - **Deterministic lowering register naming** — PTAC lowering counters reset per `lower()` call to keep generated naming stable per artifact. - **IR path normalization for dotted units** — Dotted unit names are normalized into slash paths for both `.codc` entries and standalone `.codb` fallback lookup. - **Project-level index container** — Shared index data is stored in `src/bin/project.codc` at root entry `HOOK.toml`. -- **Container write hardening** — `.codc` write flow includes stronger container handling/cleanup semantics. +- **Container format and write hardening** — `.codc` container behavior was tightened with stronger write/cleanup semantics and stable zip-container handling. - **Standalone `.codb` support retained** — Standalone `.codb` artifacts remain a permanent supported format alongside `.codc` grouping. ### ⚡ Lazy Array & Formula Execution From 2594297fc8da10835f2d6c68ad24409b9ab29780 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 07:27:45 +0000 Subject: [PATCH 6/9] Keep merge coverage bullets and remove PR-number labels in v0.9.0 Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/f7969e87-b780-47dd-a6e6-18a247246b33 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 69affda..ebe3a38 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,16 @@ All notable changes to Coderive are documented in this file. ## [v0.9.0] - Platform Snapshot - April 13, 2026 +### 🔀 Merge Coverage for This Snapshot +- **Linear recurrence refactor/composition and v0.8.4 version alignment** — recurrence formula refactor/composition updates and version alignment work. +- **Rolling/vector recurrence execution improvements** — rolling/vector linear recurrence execution upgrades and related parity-path updates. +- **`.codc` container write/read hardening** — custom zip-container behavior and container stability improvements. +- **Shared index consolidation in project container root** — import index consolidation into project container root entry (`HOOK.toml`). +- **Unit-path structure fixes and deterministic lowering reset** — `.codb`/`.codc` path structure fixes plus deterministic PTAC lowering counter reset behavior. +- **`CommandRunner` full compile mode and summary polish** — `-f`/`--full` support and compile summary output improvements. +- **Borrow-check enforcement for unsafe indexed mutation** — borrow safety checks extended into unsafe indexed mutation paths. +- **Active-borrow tracking performance upgrades** — zero-cost/O(1) active-borrow tracking improvements. + ### 🚨 Breaking / Behavioral Changes - **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). Migration example: `unsafe share MyType { ... }` → `share unsafe MyType { ... }`. From a4e53b58bb24750f170962f31e3423c9331c8033 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 07:31:01 +0000 Subject: [PATCH 7/9] Expand v0.9.0 notes for O(1) borrow checks and unsafe boundary model Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/f111df87-c005-491e-b7a1-5a84987b3f88 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ebe3a38..f4b03c6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -13,17 +13,18 @@ All notable changes to Coderive are documented in this file. - **`CommandRunner` full compile mode and summary polish** — `-f`/`--full` support and compile summary output improvements. - **Borrow-check enforcement for unsafe indexed mutation** — borrow safety checks extended into unsafe indexed mutation paths. - **Active-borrow tracking performance upgrades** — zero-cost/O(1) active-borrow tracking improvements. +- **Unsafe operation boundary model implementation** — `unsafe` class/method modifier support with `safe(...)` wrapping for calling unsafe operations from safe contexts. ### 🚨 Breaking / Behavioral Changes - **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). Migration example: `unsafe share MyType { ... }` → `share unsafe MyType { ... }`. -- **Safe ↔ unsafe boundary rules enforced** — Unsafe constructors/methods are blocked in safe contexts unless wrapped with `safe(...)`; `safe(...)` is not allowed inside unsafe contexts. +- **Unsafe operation boundary model enforced** — `unsafe` is supported as a class/method modifier, and unsafe constructors/methods must be wrapped with `safe(...)` when called from safe contexts; `safe(...)` is not allowed inside unsafe contexts. - **Borrow checks tightened in unsafe mutation paths** — Unsafe indexed mutation now participates in borrow-safety enforcement. ### ✨ Major Features - **Unsafe pointer model added** — Unsafe contexts support pointer-oriented syntax/runtime behavior (`*T`, `T[n]`, `&`, `*`, and pointer arithmetic with bounds checks). - **Full-project compile mode in CLI** — `CommandRunner` supports `-f` / `--full` to compile all `.cod` files under `src/main`. -- **Zero-cost active-borrow tracking** — Borrow-state tracking moved to O(1)-style active tracking for lower runtime overhead. +- **O(1) borrow checking via active-borrow tracking** — Borrow-state checking moved to O(1)-style active tracking for lower runtime overhead. ### 🔧 Runtime / PTAC / IR Improvements - **Deterministic lowering register naming** — PTAC lowering counters reset per `lower()` call to keep generated naming stable per artifact. From 6a16142a4b172fede348053189cbed97dcb3548d Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 07:31:45 +0000 Subject: [PATCH 8/9] Refine v0.9.0 changelog wording for unsafe boundary enforcement and O(1) borrow checks Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/f111df87-c005-491e-b7a1-5a84987b3f88 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index f4b03c6..8c85ca0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -13,7 +13,7 @@ All notable changes to Coderive are documented in this file. - **`CommandRunner` full compile mode and summary polish** — `-f`/`--full` support and compile summary output improvements. - **Borrow-check enforcement for unsafe indexed mutation** — borrow safety checks extended into unsafe indexed mutation paths. - **Active-borrow tracking performance upgrades** — zero-cost/O(1) active-borrow tracking improvements. -- **Unsafe operation boundary model implementation** — `unsafe` class/method modifier support with `safe(...)` wrapping for calling unsafe operations from safe contexts. +- **Unsafe operation boundary model implementation** — `unsafe` class/method modifier support with enforced `safe(...)` wrapping for calling unsafe operations from safe contexts (direct safe-context calls are rejected). ### 🚨 Breaking / Behavioral Changes - **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). @@ -24,7 +24,7 @@ All notable changes to Coderive are documented in this file. ### ✨ Major Features - **Unsafe pointer model added** — Unsafe contexts support pointer-oriented syntax/runtime behavior (`*T`, `T[n]`, `&`, `*`, and pointer arithmetic with bounds checks). - **Full-project compile mode in CLI** — `CommandRunner` supports `-f` / `--full` to compile all `.cod` files under `src/main`. -- **O(1) borrow checking via active-borrow tracking** — Borrow-state checking moved to O(1)-style active tracking for lower runtime overhead. +- **O(1) borrow checking via active-borrow tracking** — Borrow-state checking moved from scan-based checks to O(1)-style active tracking for lower runtime overhead. ### 🔧 Runtime / PTAC / IR Improvements - **Deterministic lowering register naming** — PTAC lowering counters reset per `lower()` call to keep generated naming stable per artifact. From e778180e2ff20d35ae022738546b26b335456254 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 13 Apr 2026 07:32:38 +0000 Subject: [PATCH 9/9] Polish v0.9.0 unsafe boundary bullet punctuation Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/f111df87-c005-491e-b7a1-5a84987b3f88 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8c85ca0..da86015 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -18,7 +18,7 @@ All notable changes to Coderive are documented in this file. ### 🚨 Breaking / Behavioral Changes - **Unsafe declaration ordering enforced** — Unsafe declarations require explicit visibility before `unsafe` (`share unsafe ...` or `local unsafe ...`). Migration example: `unsafe share MyType { ... }` → `share unsafe MyType { ... }`. -- **Unsafe operation boundary model enforced** — `unsafe` is supported as a class/method modifier, and unsafe constructors/methods must be wrapped with `safe(...)` when called from safe contexts; `safe(...)` is not allowed inside unsafe contexts. +- **Unsafe operation boundary model enforced** — `unsafe` is supported as a class/method modifier, and unsafe constructors/methods must be wrapped with `safe(...)` when called from safe contexts. `safe(...)` is not allowed inside unsafe contexts. - **Borrow checks tightened in unsafe mutation paths** — Unsafe indexed mutation now participates in borrow-safety enforcement. ### ✨ Major Features