Skip to content

READINESS.adoc

Latest commit

 

History

History
135 lines (100 loc) · 5.64 KB

READINESS.adoc

File metadata and controls

135 lines (100 loc) · 5.64 KB
Raw

Component Readiness — KRL

Update 2026-09-07: an executable retrieval-fragment conformance corpus now passes 11 checks against the local QuandleDB parser. The construction/resolution draft remains unimplemented. See surface contracts and the corrected proof narrative. The assessment below is dated history; this update does not assign a new whole-language readiness grade.

Standard: CRG v2.0 STRICT Current Grade: E Assessed: 2026-07-21 (demoted D → E) Assessor: Jonathan D.A. Jewell

Why the grade moved D → E

The previous assessment (2026-04-12) recorded Grade D on the strength of a parser, AST, recursive-descent implementation and a 57-test matrix, all of which lived in KRLAdapter.jl. That repository no longer exists — it was discarded, deliberately and not recoverably.

None of the D evidence can be checked. Under the CRG demotion table, D → E applies when "the scope narrows so far that the component barely does anything", which is precisely what happened: with the adapter gone, nothing in this repository can parse or execute a KRL program.

This is a correction to the record, not a regression in the work. The grade was restated rather than left standing on evidence nobody can inspect.

Grade rationale (evidence for E)

Grade E criterion: "Does something slight … there is a kernel of value … at least one successful test case demonstrating the kernel of functionality, and documentation of known failures and limitations."

Every item below was executed on 2026-07-21, not inferred from documentation.

Evidence

Artefact Check Result

spec/grammar.ebnf

114-line EBNF, v0.1.0

present

examples/*.krl

4 example programs

present

tests/smoke/grammar_smoke.sh

lexical conformance of examples to the grammar

20 checks, all pass

src/interface/ffi/

zig build test

3/3 pass

src/interface/ffi/

zig build

produces libkrl.a

src/interface/Abi/

%foreign declarations

4, all covered by 11 Zig exports

tests/aspect_tests.sh

SPDX, banned constructs, ABI/FFI correspondence

4/4 pass

tests/e2e.sh

full local pipeline

4/4 pass, negative-controlled

The kernel of value is the specification plus a set of examples that provably conform to it at the lexical level, over a C ABI that compiles and is tested.

Known failures and limitations

  • No parser, and therefore no execution. Nothing in this repository can read a .krl program and produce a result. grammar_smoke.sh is lexical only and says so in its own header.

  • The specification is contested. spec/grammar.ebnf here and quandledb/spec/grammar.ebnf both claim to be KRL v0.1.0 and are disjoint on core vocabulary; | is bound to opposite meanings in the two. See README.

  • Fragment conformance exists. tests/conformance/retrieval_fragment.jl tests syntax, AST structure, evaluator results and explicit refusal against a supplied QuandleDB checkout. The dedicated Julia fragment workflow runs it. Whole-language, construction, transformation and full witness conformance remain open.

  • Proof obligations are unmet. PROOF-STATUS.adoc records 0 of 8 obligations proven, 2 partial.

  • rust-ci.yml gates nothing — it calls the shared Rust reusable, but this repository contains no Cargo.toml.

Rework needed to reach D

Grade D requires a matrix of tested scenarios and at least one test per claimed capability. Concretely:

  1. Reconcile the two grammars into one normative specification, resolving the | collision.

  2. Extend the executable fragment conformance suite with programs and expected results for each newly implemented operation family.

  3. Run that suite against quandledb/server/krl/, the actual implementation (3,035 lines of Julia plus 1,732 lines of tests). One passing test per claimed capability is the D bar.

Until at least (1) and (2) exist, this repository specifies a language nobody can be shown to implement.

Iteration history

Iteration 0 — X (2026-04-05)

Templated from RSR template. Zero KRL-specific content at inception.

Iteration 1 — promoted to E (2026-04-05)

  • spec/grammar.ebnf (v0.1.0 EBNF) and spec/grammar-overview.adoc

  • 4 examples/ programs

  • tests/smoke/grammar_smoke.sh (16 lexical assertions)

Iteration 2 — promoted to D (2026-04-12) — evidence since lost

Decision "Option B — Julia in `KRLAdapter.jl`"; lexer, AST, recursive-descent parser and lowering implemented there, with 57 dedicated parser tests. The repository holding all of it has since been discarded, so none of this is verifiable. Retained here as history, not as evidence.

Iteration 3 — demoted to E (2026-07-21)

  • Grade restated against what is actually present and runnable in this tree.

  • Zig FFI shim repaired: it had never compiled (opaque type with fields).

  • Three vacuous or false gates repaired (aspect_tests.sh, e2e.sh).

  • False TangleIR lowering claims and dead KRLAdapter.jl references removed from the README.

Review cycle

Reassess when a conformance suite exists and has been run against quandledb/server/krl/.

Run just crg-badge to generate the shields.io badge for the README.