Branches - anuna/spindle-rust - Codeberg.org

81aecc26cf · Merge pull request 'feat: temporal projection redesign (SPEC-020) and Lean 4 formal verification (IMPL-015/016)' (#32) from feat/lean-and-temporal into main · Updated 2026年07月13日 07:24:37 +02:00

3d063fb1f7 · docs(spec): SPEC-025 v0.4.0 — address adversarial review round 3 · Updated 2026年07月14日 05:55:53 +02:00 anuna-02

Compare

db04244f07 · fix(vocabulary): surface malformed functors and map DTO errors precisely · Updated 2026年07月14日 05:52:14 +02:00 hugooconnor

Compare

a4f4813b9d · feat: unify IMPL-015 and IMPL-016 Lean verification into single branch · Updated 2026年03月22日 05:07:07 +01:00 anuna-02

Included

006e6e0c6a · style: fix rustfmt formatting in oracle difftest files · Updated 2026年03月22日 04:08:58 +01:00 anuna-02

Included

7434bbbe00 · plan: add IMPL-016 Lean 4 verification for grounding, arithmetic, temporal & queries · Updated 2026年03月21日 10:30:50 +01:00 anuna-02

Compare

ad57d3da05 · fix: align query matching semantics · Updated 2026年03月11日 23:23:46 +01:00 anuna-02

#31 Open

6ecd3ad574 · fix: preserve temporal defeater bridge attackers · Updated 2026年03月10日 02:00:43 +01:00 anuna-02

#28 Closed

84c7d3e2ea · fix: require fold reducers to be commutative and add fold delta tracking · Updated 2026年03月06日 00:36:50 +01:00 claireb

Compare

310bb05d95 · docs: add date/time types and temporal functions documentation · Updated 2026年03月05日 03:02:05 +01:00 claireb

Compare

475d57816f · chore: bump version to 0.4.0 · Updated 2026年03月05日 00:11:06 +01:00 claireb

Compare

60e3f11ce7 · fix: resolve fold/stratification bugs and add validation · Updated 2026年03月04日 10:28:12 +01:00 claireb

#29 Draft

cc04358df3 · fix: add arity guards to builtin eval() methods and fix round dp truncation · Updated 2026年03月04日 07:40:40 +01:00 claireb

#27 Draft

57b6b31daa · feat: add extension function mechanism (Phase 1) · Updated 2026年03月04日 05:49:12 +01:00 claireb

#26 Open

965c1513a1 · Add claims offset regression test · Updated 2026年02月08日 07:46:19 +01:00 davidfactor

Compare

96b20c247d · docs(lean): add comprehensive README for SpindleLean · Updated 2026年02月08日 04:54:44 +01:00 anuna-02

Included

Deleted by hugooconnor 2026年07月13日 07:24:40 +02:00

#32 Merged