Skip to content

History / Code Analysis Go Rust Investigation Batch

Revisions

  • Record final v14 CI Add the successful final-head workflow for 4390816b8.

    @tt-a1i tt-a1i committed Nov 9, 2026
    0c00d5f

  • Record v14 closure control replay Note the compiled closure control result alongside the v14 module and ZIP evidence.

    @tt-a1i tt-a1i committed Nov 9, 2026
    9994b96

  • Document Rust closure type provenance revision Record the v14 provider/caller counterexample, two source-first real closure cases, unchanged original-20 results, module suite and ZIP identity.

    @tt-a1i tt-a1i committed Nov 9, 2026
    e395275

  • Document Rust closure call evidence revision

    @tt-a1i tt-a1i committed Nov 9, 2026
    5d037da

  • docs: distinguish Rust v12 ownership gains and record final CI

    @tt-a1i tt-a1i committed Nov 9, 2026
    d1fc56f

  • docs: record Rust trait-default and forwarding v11 results

    @tt-a1i tt-a1i committed Nov 9, 2026
    f374332

  • docs: count only applicable counterexample checks

    @tt-a1i tt-a1i committed Nov 9, 2026
    c435e9d

  • Record v10 macro scope/cfg accuracy revision and final CI

    @tt-a1i tt-a1i committed Nov 9, 2026
    3795ac7

  • Record Rust macro-argument evidence stage and final CI

    @tt-a1i tt-a1i committed Nov 9, 2026
    e8d63d2

  • Finalize head and CI for the Go/Rust batch audit

    @tt-a1i tt-a1i committed Nov 8, 2026
    15be749

  • Record successful CI run for the Go/Rust batch

    @tt-a1i tt-a1i committed Nov 8, 2026
    5e1383a

  • Update Go/Rust investigation batch results for Rust v8 and Go v4

    @tt-a1i tt-a1i committed Nov 8, 2026
    5121fcb

  • Record final CI for accessor revision

    @tt-a1i tt-a1i committed Nov 8, 2026
    68f28e8

  • Record accessor fix, counterexample scoring and ZIP replay

    @tt-a1i tt-a1i committed Nov 8, 2026
    c6485e1

  • Record final CI for the Go/Rust investigation batch

    @tt-a1i tt-a1i committed Nov 8, 2026
    ab37739

  • Record Go/Rust investigation batch results and review fixes

    @tt-a1i tt-a1i committed Nov 8, 2026
    e60a7aa