TYCHO Search

Search documentation

    ↑ ↓ to move · Enter to open · Esc to close

    1.0 readiness

    Snapshot: 2026-11-12. Internal engineering is complete for the 1.0 scope in ROADMAP. 1.0 is not declared because both remaining gates need a person who is not the author.

    Internal evidence

    GateCurrent result
    Full local CI, make ci N=0green; recorded after the 2026-11-12 sweep
    Fast per-change gate, make check-fastgreen
    Differential fixtures1,159 jobs, 0 failed
    Corelib101 test trees, all green at the 0.9.2 sweep
    Deep fuzz, fuzz N=200200/200, 0 findings
    Reject fuzz, fuzz-reject N=200200/200 (19 accepted, 181 rejected)
    Leak fuzz, fuzz-leak N=150150/150
    TSan fuzz, fuzz-tsan N=20063 ran, 137 skipped by design, 0 failed
    New-codec fuzz, make fuzz-newcomersgreen in CI; 56,000 inputs in the deeper campaign
    Benchmark suite gategreen on saved GCC and clang results
    Release archivesrelease-check reproduces byte-identical linux-x86_64 and mingw64-x86_64 archives; release-content is in CI

    The tree has one maintained compiler. compiler/ is the self-hosted implementation; bootstrap/tycho_compiler.c is the generated cold-start artifact; the historical src/tychoc.c is deleted and its citations resolve through git history.

    Performance snapshot (large rows)

    RowTychoC
    dispatch default13 ms13 ms
    dispatch expert12 ms GCC / 26 ms clang13 / 30
    json_tree time51 ms49 ms
    json_tree RSS81.7 MB103.6 MB
    lru time / RSS226 ms / 14.7 MB233 ms / 12.0 MB
    trie time89 ms / 90 ms clang79 / 74
    binary/arena377 ms GCC / 516 ms clang292 / 504

    The remaining losses are structural: the generic int map's duplicate key/value/index arrays (lru RSS) and the last few percent in trie and dijkstra. The expert binary/arena row now uses a 16-byte null-leaf node and is at clang parity; GCC spends the difference in recursive arena allocation.

    What is still missing

    1. A real program written by someone who is not the author

    This is the blocking 1.0 gate. Four outside probes exist — tools/tycho-diff, tools/tycho-hash, tools/tycho-fold, and the 2026-08-19 FFI probe — each with its friction recorded. They do not cover generics, subscript, bounded[N], select, and error paths. The procedure is probe-procedure.md.

    2. An external security review

    No third-party audit has been performed. The reviewer packet is audit-brief.md. Three internal passes found 5, 9 and 10 issues with zero overlap, which is why this remains a requirement rather than a conclusion.

    3. Owner actions outside the code

    make status is the live health check. make release-check rebuilds and compares the archives. The commands in this document are the reproducible evidence for the table above.