ignotusnemo/parano1d-soundness
1
0
Fork 0
Code Issues Pull requests 2 Releases Wiki Activity
Labels Milestones
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
2 Open 23 Closed 25 All
Label
Clear labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
noid-network
ignotusnemo
Closed-world ideal compiler cannot represent arithmetized recursive children
All checks were successful
parano1d/verify-submission Passive checks passed; expert review required
Details
parano1d/trusted-suite Trusted certificate and research tests passed
Details
#24 opened 2026-10-17 18:21:30 +00:00 by noid-network
main
Retirement keys are bound by an archive-internal release pin, not recomputation (v2.0.3 instance confirmed)
All checks were successful
parano1d/verify-submission Passive checks passed; expert review required
Details
parano1d/trusted-suite Trusted certificate and research tests passed
Details
#23 opened 2026-10-17 17:18:45 +00:00 by noid-network
main