Pull requests - anuna-research/cbcl-rs - Forgejo: Beyond coding. We forge.

anuna-research/cbcl-rs

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New pull request

lean-cbcl review cleanup + R5 linear-fuel regression guards

#9 by anuna-02 was merged 2026-05-05 02:02:36 +00:00

4 / 4

lean-cbcl review cleanup: simp hygiene, heartbeat scoping, total recursion, proof refactor

#8 by anuna-02 was closed 2026-05-11 11:12:23 +00:00

0 / 4

IMPL-005: Lean 4 mechanisation of R5 protocol + shape verification (SPEC-005 v0.1.0)

#7 by hugooconnor was merged 2026-05-04 06:50:46 +00:00

3 / 4

cbcl-wasm: fix unresolved allocator imports for cdylib host loading

#6 by hugooconnor was merged 2026-04-30 05:28:10 +00:00

3 / 4

cbcl-erl: implement SPEC-009 Erlang/NIF binding (v0.1.0)

#5 by hugooconnor was merged 2026-04-29 06:08:22 +00:00

5 / 7

cbcl-wasm: add verify_message_shape and verify_protocol exports

#4 by hugooconnor was merged 2026-04-29 03:41:55 +00:00

2 / 3

Implement runtime causal verification, shape constraints, and policy handling (REQ-200/220/231/305)

#3 by hugooconnor was merged 2026-04-28 07:17:51 +00:00

3 / 5

fix(lean): close three audit findings (BUG-001/002/003)

#2 by hugooconnor was merged 2026-04-18 11:14:45 +00:00

5 / 6

Address proof gaps in Lean 4 formalization

#1 by hugooconnor was merged 2026-03-20 04:00:20 +00:00