Skip to content

LLM Errata 0.4.0 — First Materially Improved Experimental Release

Choose a tag to compare

View all tags
@thomaswillner thomaswillner released this 14 Aug 00:34
· 9 commits to main since this release
v0.4.0
b21e4c1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

LLM Errata 0.4.0 — first materially improved experimental release

LLM Errata 0.4.0 is a substantially stronger public baseline for evaluating and extending post-export AI-memory correction, supersession, and erasure workflows.

It is an experimental conformance proposal and tested reference implementation. It is NOT_PROD_READY. Publishing this release does not certify production safety, interoperability, complete deletion, or semantic absence.

What improved

  • Complete internal Phase 2 schemas, protocol vectors, semantic probes, durable quarantine checkpoints, and receipt-binding mutations.
  • Complete external adapter interface without hidden reference-ledger coupling.
  • Provider-neutral adapter-conformance corpus with exact target-instance tracing and complete expected outcomes.
  • Bounded proposition-multiplicity preservation checks.
  • Executable validator anti-vacuity attacks for empty receipts, no-op feed verification, and constant-unknown aggregation.
  • Canonical corpus identity, exact scalar-type validation, normative-history reachability, tracked-byte execution, external repository/source identity, construction and execution timeouts, package isolation, lazy-import isolation, and dependency-manifest binding.
  • Same-importer conflict persistence, explicit split-view limitations, truthful empty-lineage handling, phase-specific checkpoint coverage, and content-free erasure evidence.
  • GitHub Actions upgraded to immutable Node 24 action pins while preserving Python 3.11 and 3.13 validation.

Contributor credit

Rastislav Drahoš / DanceNitra materially advanced this release by reporting adapter-coverage and empty-lineage defects, split-view limitations, hidden ledger coupling, incomplete adapter behavior, duplicate-preservation blind spots, and validator anti-vacuity failures. The immutable MIT-licensed candidate fixture remains at DanceNitra/agora@2ba1e299b3483b9038d03387345702427608b90b; its copyright remains with its contributor. LLM Errata independently authored its accepted corpus and validator without copying or vendoring the external runner or fixtures.

Frank Denis / jedisct1 pointed to jedisct1/ed25519.py, which is recorded as a useful pure-Python comparison oracle. It was not copied, vendored, or treated as production cryptography.

Open production-readiness work

  • G2 BLOCKED: no qualifying independent review of the complete current conformance surface.
  • G3 BLOCKED: production cryptography is not yet an audited constant-time exact build with independently reviewed key lifecycle.
  • G4 BLOCKED: two independently established adapters and a separately produced third-party validator are not yet available.
  • G5 BLOCKED: no completed experiment across three independently operated real memory systems.
  • G6 BLOCKED: no complete independent measured operational-security, observability, recovery, compatibility, and performance report.

These are continuing development and validation tracks. External review is welcome whenever users or reviewers engage, but silence is neither approval nor a reason to withhold an honestly scoped experimental release.

Ownership and licence

  • Repository-authored work remains copyright Thomas Rainer Willner.
  • Independent commercial and non-commercial implementations of the specification are permitted under the irrevocable worldwide royalty-free implementation grant, with accessible attribution to LLM Errata, Thomas Willner, and https://github.com/thomaswillner/llm-errata.
  • Reference Code in prototype/, scripts/, and tests/ remains personal-use restricted under the repository licence.
  • Version 0.2.0 and earlier retain their irrevocable Apache License 2.0 grant.
  • No endorsement, sponsorship, certification, audit, partnership, exclusivity, patent grant, or transfer of contributor copyright is implied.

Verification

Assets 2
Loading