Bible vs V3#
A section-by-section comparison of freak-full-bible.md against what the V3 compiler accepts, established by compiling probe programs.
Method#
The bible carries its own status table in §0.2, but that table describes the project as a whole — it counts a feature as landed when it works in the V4 compiler under src/compiler/v4/. Many rows the bible marks partial are entirely absent from the shipping V3 compiler.
The verdicts below come from a different method: writing a probe program for each feature and running it through a V3 binary built from source. "Compiles" means the frontend accepted it. "Rejected" quotes the actual diagnostic.
The Bible column below reports the specification's own status legend, rendered as: Ships works end to end, Partial parsed but the guarantee is incomplete, V4 specified and not in the shipping compiler.
A recurring pattern is worth stating once. Many bible features are lexed but not parsed: the lexer knows the keyword, so it can never be an identifier, but no grammar rule consumes it. These fail with "unexpected 'X' — this token cannot start an expression". The feature is reserved and unusable at the same time.
Section 1 — Syntax#
Bible status: Partial — real V3 status: a small core works.
| §1 feature | Bible | V3 | Evidence |
|---|---|---|---|
1.1 pilot / fixed pilot / pilot mut | Ships | Compiles | |
1.1 Type annotation x: T | Ships | Compiles — one identifier, plus List<T> | |
1.2 task name(p: T) -> R { } | Ships | Compiles | |
1.2 give back | Ships | Compiles | |
1.2 Arrow body => expr | Ships | Rejected | expected '{', found '=>' |
1.2 done block terminator | Ships | Rejected | expected '{', found 'give back' |
| 1.2 Named call arguments | V4 | Rejected | |
1.2 say | Ships | Compiles — scalars only, not shapes | |
1.2 {path} interpolation | Ships | Compiles — paths only, never calls | |
1.3 int num word bool void | Ships | Compiles | |
1.3 uint tiny char big float float32 never | V4 | Absent | |
1.3 [T; N], tuples, *T / *mut T | V4 | Rejected | |
1.4 maybe<T> / some / nobody | Ships | Rejected | expected '{', found '<' |
1.4 result<T,E> / ok / err | Ships | Rejected | |
1.4 List<T> | Ships | Compiles — typed, indexable, growable (push/pop/reserve/clear); no sort/insert/iterators | |
1.4 Map<K,V> Set<T> Lineup<T> | Ships | Absent | No map literal either |
1.5 shape declaration | Ships | Compiles | |
1.5 Shape construction S { f: v } | Ships | Compiles | LLVM backend |
1.5 impl S { task m(self) } | Ships | Compiles | |
1.5 Generic shapes shape Pair<A,B> | V4 | Rejected | |
1.6 doctrine declaration | Partial | Rejected | unexpected 'doctrine' |
1.6 impl D for S { } | Partial | Compiles — D unvalidated | |
1.6 Operator dispatch via Add | Partial | Rejected | operator '+' does not accept Vec2 and Vec2 |
1.6 dyn Doctrine, vtables | V4 | Absent | |
1.7 if / else if / else | Ships | Compiles | |
1.7 when with literal arms and _ | Partial | Compiles — statement only | |
1.7 when with destructuring | V4 | Absent | |
1.7 for each x in list | Ships | Compiles — over a List<T> and over int ranges | |
1.7 repeat N times / repeat until | Ships | Compiles | |
1.7 training arc ... max N sessions | Partial | Compiles | |
1.7 training arc ... with growth | V4 | Rejected | |
1.7 break / continue | Ships | Compiles | |
1.8 Closures |x| => expr | Partial | Rejected | unexpected '|' |
1.8 Capture modes copy / move / mut | V4 | Absent | |
1.9 Pipe |> | Ships | Compiles — bare task names only | |
1.10 ? propagation | Ships | Rejected | unexpected '?'. parse_status() is the closest substitute |
1.10 check over maybe / result | Ships | Partial — only check result over fs::read_checked(path) | Any other check: expected keyword 'result' |
1.10 or else | Ships | Rejected | unexpected 'or else' |
1.11 Generics <T>, bounds | Partial | Rejected | expected '(', found '<'. List<T> is a hard-coded special case, not a mechanism |
1.12 lend / lend mut | Partial | Rejected | expected an identifier for parameter name, found 'lend' |
1.13 use module::{...} | Partial | Partial — imports named tasks from a project module or a declared dependency | |
1.13 use module::* | V4 | Rejected | import requires {symbol, symbol as alias} |
1.13 launch visibility | Partial | Rejected | unexpected 'launch' |
1.14 variant | V4 | Rejected | |
1.14 alias | V4 | Rejected | |
1.14 Root fixed pilot constants | Partial | Compiles — and V3 also allows mutable root bindings and root statements, which the bible forbids | |
1.15 [a, b, c] literal | Partial | Compiles — infers List<T> from its elements | |
1.15 [expr; N] repeat-fill | V4 | Rejected | |
| 1.15 No implicit tail return | Ships | Enforced |
Section 2 — Advanced type system#
Bible: V4, entire section. V3: entirely absent, as documented.
power<N>, prob[lo..hi], causality<T> and mood do not lex or parse.
Section 3 — Concurrency#
Bible: V4, entire section. V3: entirely absent.
No xm3, sortie, debrief, formation, BriefingRoom, wingman or Comms. None of those words are even keywords in V3's lexer. || lexes as a single token but has no grammar rule.
There is no concurrency in V3 at all — not even std::thread::spawn.
Section 4 — Borrow checker#
Bible: Partial. It carries an extensive description of V4's Meiya checker.
V3 ships Phase-1 only, behind --strict-borrow:
| Rule | V3 |
|---|---|
fixed / grounded pilots immutable; pilot and pilot mut reassignable | Always on, flag or not |
Single-owner moves for word, arrays, shapes | Enforced under the flag |
int / num / bool are Copy | Enforced under the flag |
| Nominal member validation | Always on, flag or not |
lend / lend mut parameters | Do not parse |
Lifetimes 'a, outlives bounds 'long: 'short | Do not lex |
Shared<T> / Weak<T> | Absent |
trust me ... on my honor as .level | Does not parse |
direct_order [arch] { } | Does not parse |
Without the flag, V3 does no ownership checking whatsoever.
Everything the bible's §4 describes at length — returned loans, provenance memoisation, fixed-layout aggregate children, snapshot restore, invalidation report fields — is V4 work in src/compiler/v4/. None of it exists in the shipping compiler.
Section 5 — Anime layer#
| §5 feature | Bible | V3 |
|---|---|---|
5.1 @annotation | Partial | Parses, ignored. One per statement, no arguments |
5.1 @deprecated enforcement | Partial | Not enforced |
5.1 Caller prefixes sadly, for science,, knowing this will hurt, | Partial | Rejected |
5.2 foreshadow / payoff | Ships | Rejected — the auditor scans text only |
5.3 route, check route, only on | V4 | Rejected |
5.4 PLUS ULTRA NAKAMA FINAL FORM TSUNDERE | Partial | Compile, with different position and semantics |
5.5 deus_ex_machina | Partial | Rejected |
5.6 training arc | Partial | Compiles |
5.6 with growth | V4 | Rejected |
5.7 isekai { } bringing back { } | Partial | Rejected |
5.7 eventually { } | Partial | Compiles, emitted inline — not deferred, not LIFO |
5.7 eventually if cond { } | Partial | Rejected |
The bible marks §5.2 foreshadowing as shipped and the deus_ex_machina 20-word minimum as enforced. Both are true of the Python auditor, which scans source text. Neither construct parses in the native V3 compiler — a file using them audits cleanly and fails to build.
The four anime operators also diverge in form, not just in enforcement:
| Operator | Bible | V3 |
|---|---|---|
FINAL FORM | postfix, base FINAL FORM → base * base, 5s build pause | prefix, int only, x * x, no pause |
PLUS ULTRA | infix, base PLUS ULTRA emotion → base * (1 + e²) | prefix, int only, x * 2 |
TSUNDERE | postfix; !x for bool, -x for num | prefix, int only, 0 - x |
NAKAMA | infix, a + b + (a * b * 0.1) | infix, int only, a + b |
Section 6 — Modules and Hangar#
| Feature | Bible | V3 |
|---|---|---|
use module::{names} | Partial | Works for a project's own modules (use self::m::{t}) and for a declared dependency (use dep::{t}) |
use module::* | V4 | Rejected |
launch / launch(package) | Partial | Rejected |
| Module-private visibility | Partial | [exports] limits what a dependent project can import; nothing is private inside a project |
hangar.toml | Partial | Works with [project], [modules], [exports], [tests] and [dependencies] — not the bible's [unit]/[build]/[profile.*] |
hangar init/add/remove/install/update | Partial | Present, plus outdated, version, audit, auth, publish. add resolves registry constraints against the Ordnance registry |
hangar search | V4 | Absent |
| Consuming a package | Partial | Works for a dependency declared in [dependencies]; verified with a path dependency |
V3's module system is the project manifest. hangar.toml names a project's modules, its exports and its dependencies, and use imports named tasks across them. launch does not parse and glob imports are refused. A single file built outside a project still shares one flat global namespace with every standard-library file linked into the build. There, a use std::… line only signals the build to link std/math3d.fk, std/zip.fk, std/ui/window.fk, std/test.fk, std/json_document.fk or std/http_server.fk. See Hangar & packages.
Section 7 — Standard library#
| Bible module | V3 |
|---|---|
std::word methods | Partial — as builtin word methods, plus .repeated(n). .substring takes a length, not an end index; no .split, .chars |
std::word WordBuilder | Present as word_builder::* over an int handle |
std::num | Absent — math::* builtins plus std_* int tasks instead |
std::collections List<T> | Partial — typed, indexable and growable as of v0.14.2; no sort, insert or iterators |
std::collections Map/Set/Lineup | Absent |
std::iter | Absent |
std::io | say and ask only |
std::fs | Partial — 7 builtins, no copy/move/is_file/is_dir |
std::net | Partial — the older tcp:: calls plus a tcp::socket_* family with listen, accept, timeouts and ByteBuffer transfer |
std::time | time::now_ms() and time::monotonic_ns() |
std::math | 8 math:: builtins; no log, exp, atan2, gcd, simd |
std::random | Absent |
std::process | Partial — adds pid() and set_env(); args() deliberately rejected in favour of args_count() / arg(i) |
std::thread | Absent |
std::bytes | Present as the builtin ByteBuffer type, with status() instead of result<T,E> |
std::anime, std::narrative | Absent |
std::test | Partial — test_assert* helpers behind use std::test; no test blocks |
std::mem, std::ffi | Absent |
std::json, std::version, std::string, std::convert, std::algorithm | Present as FREAK source — not in the bible's shape, but real and working |
Two std/algorithm.fk helpers are defective in the shipping compiler: array_sort_word segfaults, array_unique returns an empty array. Both were confirmed against the binary that verified this site.
Section 8 — Lexer#
The V3 lexer implements a subset of the bible's token table.
Present: the 49 single-word keywords, 6 bool literals, 11 multi-word keywords, and the punctuation set.
Absent: variant, alias, dyn, never, const, all concurrency keywords, knowing, on my honor as, declare was, prob when, direct_order, lifetime tokens 'a, numeric suffixes (42u, 3.14f, 42t, 999b), and ... ellipsis.
The bible's §8.3 requires V4 keywords to be matched case-sensitively so that Pilot and Some stay usable as identifiers. V3 does the opposite — it reserves a keyword in every letter case, so Pilot, Result and Max cannot be names. A capitalised single-word keyword does not work as the keyword either: only the lowercase spelling does. This is the single largest practical divergence for someone writing V3 code.
Sections 9–17#
| Section | Bible | V3 |
|---|---|---|
| §9 Parser AST nodes | Partial | Core nodes only. No ErrorNode / IncompleteNode, no node ids, no incremental parsing |
| §10 Type checker | Partial | Basic inference, arity and type checks, nominal member validation. None of the listed advanced rules |
| §11 Code generation | Partial | LLVM and C backends work. No mood, variant, dyn, Shared<T> or classified codegen. LLVM emits LineTablesOnly DWARF |
| §12 Build modes | V4 | Absent — only --O0..--O3, LTO and backend choice |
| §13 Compiler CLI | Partial | Most commands present; --voice=, --clearance=, --build-mode=, and in-language test blocks absent |
| §14 Error voices | V4 | Absent — generic diagnostics, plus two signature borrow-checker lines. The opt-in --diagnostic-cast adds a stock character comment after a diagnostic; it is not the bible's voice system |
| §15 Cheatsheet | Partial | Describes the full language; roughly a fifth applies to V3 |
| §16 FFI | V4 | Only bare extern task f(...) -> T. No blocks, conventions, link=, layout attributes, raw pointers or trust me |
| §17 Compiler internals / IDE | V4 | Absent. Parse errors abort; no tolerant AST, no panic infrastructure, no LSP |
Summary#
Counting the bible's own feature inventory against compile evidence:
| Compiles in V3 | Absent | |
|---|---|---|
| §1 Syntax | ~20 of 45 sub-features | ~25 |
| §2 Advanced types | 0 | all |
| §3 Concurrency | 0 | all |
| §4 Borrow checker | 3 Phase-1 rules, opt-in | the rest |
| §5 Anime layer | 4 of 20 | 16 |
| §6 Modules | Manifest modules, exports and dependencies | launch visibility, glob imports |
| §7 Stdlib | ~8 of 19 modules, reshaped | 11 |
| §16 FFI | 1 declaration form | all else |
v0.14.2 update. Lists became growable (push, pop, reserve, capacity, clear, List::new, List::with_capacity), word gained checked parse_int/parse_num with a global parse_status(), and += now works on words. V3 is not standing still. List<T>, ByteBuffer, word_builder::*, the tcp::socket_* family, word.repeated(n), time::monotonic_ns(), process::pid() and ui::set_clip all landed after the first pass of this site was written, with VERSION unchanged at 0.14.1. Growable lists, checked parsing and word += followed in 0.14.2. The compiler generation is frozen for new semantics; the builtin table clearly is not. Re-run the verification harness when you pull.
V3 is a small, sharp, genuinely self-hosting language: scalars, words, shapes, methods, loops, two branch forms, flat arrays and a C FFI. The bible describes where FREAK is going. This site describes where it is.
For what to write instead of the missing features, see Not in V3.