Skip to content

v0.4.2

Latest
Latest

Choose a tag to compare

View all tags
@jafreck jafreck released this 09 Sep 22:29
v0.4.2
18f4610
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Lore v0.4.2 adds trusted scoped SCIP indexing and compiler-backed validation contracts for programmatic consumers such as AAMF.

Features

  • Add host-owned SCIP language and file scopes, intersected with WalkerConfig and independent of execution permissions. Indexer launches, imported documents, discovery, and scoped refresh follow the effective file selection (#493).
  • Supply scoped C/C++ indexers with filtered compilation databases and persist canonical scope, file coverage, and compdb provenance (#493).
  • Add typed requiredSymbols and requiredCalls validation contracts, enforced before promotion and reused during later validation (#495).

Fixes

  • Capture native scip-clang compiler diagnostics and reject errors, failed/skipped translation units, and incomplete capture even when the process exits zero. Failed certification preserves the previously promoted baseline (#495).
  • Correct the real zstd verifier to supply the macOS SDK explicitly and verify the required ZSTD_createCCtx to ZSTD_createCCtx_advanced call using compiler evidence (#495).

Documentation and Tests

  • Update API, CLI, execution-trust, provenance, and 0.4.2 upgrade documentation.
  • Add regressions for host trust, file scope, symlink containment, compiler diagnostics, native exit-zero failures, required semantic facts, and promotion.
  • Node.js 22 release checks passed: build, source/test typechecks, 2,087 tests with 76 environment-gated skips, and npm publish dry-run. Release PR CI, LSP smoke tests, and coverage checks passed (#497).

Upgrade Notes

  • Install the published package with npm install --save-exact @jafreck/lore@0.4.2.
  • Schema v3 is unchanged; no migration from 0.4.1 is required. Older executed native baselines without captured diagnostic evidence need rebuilding for strict or migration-grade certification.
  • Scope does not grant execution, and lsp: false remains authoritative.
  • Precomputed C/C++ indexes carry an unverified-compilation warning. Custom wrappers must expose their compiler diagnostics.
  • This release does not repair upstream scip-clang repeated-header reference loss or claim exhaustive reference completeness. Validation checks the declared facts and scoped coverage, not exact count equality across runs.

Full changelog: v0.4.1...v0.4.2

Assets 2
Loading