loxguard v1.0.0

Release Notes: v1.0.0

This is the first stable (v1.0.0) release of loxguard as a host-tested C99 library.

Scope of the v1.0.0 stability claim

v1.0.0 is a stable public contract for:

• Guard Block execution (loxguard_run(...))
• Checked Span/Arena helpers (lox_span_*, lox_arena_*, and loxguard_checked.h macros)
• Blackbox evidence core (lox_blackbox_t and event/report types)
• Host diagnostic export/import formats (loxguard_format.h) as documented in docs/API_STABILITY.md

Out of scope / not verified by this repository:

• production RTOS backend behavior
• production MPU backend behavior
• embedded hardware behavior (ESP32 or other MCU)
• power-loss / restart consistency
• companion-enabled ecosystem builds unless the companion sources are checked in and exercised by CI

API stability

See docs/API_STABILITY.md for:

• what is stable starting at v1.0.0
• what is experimental and may change in 1.x
• deprecation policy and format compatibility policy

Build and integration

This release focuses on professional library consumption:

• LOXGUARD_BUILD_TESTS defaults to ON only when loxguard is the top-level project.
• loxguard::loxguard is exported for both add_subdirectory(...) and install + find_package(loxguard CONFIG REQUIRED) usage.
• Consumer smoke tests are included under tests/consumer/ and executed via CTest.

Evidence

For what is verified by repository evidence (CI/tests/artifacts) vs. not verified, see docs/EVIDENCE_MATRIX.md.

loxguard v0.1.0-alpha

loxguard v0.1.0-alpha Release Notes

Date: 2026-04-30
Release type: host-tested MVP alpha

Included in this release

• Guard Blocks host MVP core.
• Checked span/arena primitives with boundary enforcement.
• Structured event pipeline and policy decisions.
• Blackbox evidence and report generation.
• CSV event export/import and report KV export/import parser paths.
• Companion ecosystem integrations:
  • safemath (checked arithmetic path),
  • microlog (logging adapter path),
  • partial microhealth mapping,
  • optional host nvlog persistence (LOXGUARD_USE_NVLOG=ON).

Verified

• Default host build and tests pass.
• nvlog-enabled host build and tests pass.
• Default host build and tests pass even when ecosystem/ is absent (companion integrations optional).
• Claim-to-test mapping documented in docs/EVIDENCE_MATRIX.md.

Not verified

• Production RTOS backend behavior on real RTOS targets.
• Production MPU backend behavior on real hardware.
• LLVM/compiler plugin instrumentation mode.
• Production embedded flash/EEPROM/FRAM persistence behavior.
• Runtime integrations for microwdt, microtest, microbus, microres, microsh, loxdb.

Exact build and test commands

Default:

cmake -S . -B build
cmake --build build --config Debug
ctest --test-dir build -C Debug --output-on-failure

nvlog-enabled:

cmake -S . -B build_nvlog -DLOXGUARD_USE_NVLOG=ON
cmake --build build_nvlog --config Debug
ctest --test-dir build_nvlog -C Debug --output-on-failure

No-ecosystem default verification:

cmake -S . -B build_noeco
cmake --build build_noeco --config Debug
ctest --test-dir build_noeco -C Debug --output-on-failure

Known limitations

• This release is not a production embedded deployment backend.
• RTOS/MPU behavior is modeled through host/stub paths.
• Optional companion integration behavior depends on local companion module availability.
• nvlog persistence verification is host RAM/file oriented only.

Companion library notes

• Companion modules are part of the same ecosystem (not foreign third-party dependencies).
• Canonical path: ecosystem/.
• Legacy folder-name fallback: third_party/ (migration compatibility only).
• Companion modules are optional and additive to host MVP core.