amr/memex
1
0
Fork 0
Code Issues 12 Pull Requests Actions Packages Projects 1 Releases Wiki Activity

v0.22.0–v0.27.0: Phase 4–6 — Sufficiency, VivaceGraph, ACL2 #10

New Issue
Open
opened 2026-05-13 11:12:33 -04:00 by amr · 0 comments
amr commented 2026-05-13 11:12:33 -04:00
Owner
Copy Link

Sufficiency criterion (the flip), VivaceGraph + Merkle DAG, ACL2 structural verification.

Sufficiency criterion (the flip), VivaceGraph + Merkle DAG, ACL2 structural verification.
amr added this to the v1.0.0 — Neurosymbolic Maturity milestone 2026-05-13 11:12:33 -04:00
amr added the project/logos label 2026-05-13 11:12:33 -04:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
project/agora
Society — identity, contracts, PDS
 project/cl-tty
Terminal UI framework library
 project/logos
Passepartout — neurosymbolic agent
 project/stoa
Environment — editor, browser, shell
 status/backlog
Not yet started
 status/blocked
Blocked by external dependency
 status/done
Completed
 status/in-progress
Actively being worked on
No Label project/logos
Milestone
No items
No Milestone v1.0.0 — Neurosymbolic Maturity
Projects
Clear projects
No project
Assignees
Clear assignees
amr
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: amr/memex#10
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?