github-featured / yvgude--lean-ctx

发布

0 发布 257 Git 标签

RSS 订阅源
  • v3.5.10 fbf20879de
    比较

    v3.5.10: 4-layer terse compression engine, 82 Lean4 theorems, unified CompressionLevel
    Release / Build aarch64-apple-darwin (push) Has been cancelled
    详情
    Release / Build x86_64-apple-darwin (push) Has been cancelled
    详情
    Release / Build aarch64-unknown-linux-musl (push) Has been cancelled
    详情
    Release / Build aarch64-unknown-linux-gnu (push) Has been cancelled
    详情
    Release / Build x86_64-unknown-linux-musl (push) Has been cancelled
    详情
    Release / Build x86_64-unknown-linux-gnu (push) Has been cancelled
    详情
    Release / Build x86_64-pc-windows-msvc (push) Has been cancelled
    详情
    Release / Create Release (push) Has been cancelled
    详情
    Release / Publish to crates.io (push) Has been cancelled
    详情
    Release / Publish to npm (push) Has been cancelled
    详情
    Release / Update Homebrew (push) Has been cancelled
    详情

    frostbyte_neo 发布于 2026-05-09 15:43:47 +00:00

    Added:

    • 4-layer terse compression engine (engine, residual, agent prompts, MCP compress)
    • Unified CompressionLevel (off/lite/standard/max) replacing legacy output_density/terse_agent
    • Quality gate preserving paths + identifiers with Max→Standard fallback
    • Agent prompt injection across 7 IDE rules files (Cursor, Claude, CRUSH, Qoder, Kiro)
    • Context Proof V2 with claim extraction and quality levels Q0-Q4
    • 29 new Lean4 formal proofs (TerseQuality: 12, TerseEngine: 17) — total: 82 theorems, 0 sorry
    • Terse evaluation harness covering git/JSON/Docker/Cargo/Rust error outputs
    • Domain-aware dictionaries with whole-word replacement
    • Surprisal-based line scoring for information-density preservation

    Improved:

    • Dashboard cockpit components polished (shared.js, styling, layouts)
    • Setup flow consolidated (compression + TDD in single prompt)
    • Test suite robustness (env isolation, mutex poison recovery, 5 new CompressionLevel tests)

    Fixed:

    • Token counter overflow on dictionary-expanded text
    • Short input over-compression (MIN_LINES_FOR_COMPRESSION = 5)
    • Legacy pipeline cleanup (removed deprecated compress_output/OutputDensity)
    下载附件