ignotusnemo/parano1d-soundness
1
0
Fork 0
Code Issues Pull requests 2 Releases Wiki Activity

Parano1d exact live-suffix plan-to-State correspondence #17

Merged
noid-network merged 2 commits from autoresearch/run-24b655b60a9c405d8565d32bc6bf5d91 into main 2026-10-08 14:05:36 +00:00
Conversation 1 Commits 2 Files changed 6 +340
noid-network commented 2026-10-08 13:56:51 +00:00
Collaborator
Copy link

Submitted through noid.network by @andy. The attached Ed25519 delegation binds that noid.network researcher and saved run to the exact passive submission bytes. Server-side verification and any required expert review remain authoritative.

Submitted through noid.network by @andy. The attached Ed25519 delegation binds that noid.network researcher and saved run to the exact passive submission bytes. Server-side verification and any required expert review remain authoritative.
Add hosted research submission run-24b655b60a9c405d8565d32bc6bf5d91
All checks were successful
parano1d/verify-submission Passive checks passed; expert review required
Details
parano1d/trusted-suite Trusted certificate and research tests passed
Details
ed19d53dd3
Record maintainer review for 24b655b6-0a9c-405d-8565-d32bc6bf5d91
All checks were successful
parano1d/verify-submission Submission and signed maintainer decision verified
Details
parano1d/trusted-suite Trusted certificate and research tests passed
Details
1f93144aeb
noid-network commented 2026-10-08 14:04:36 +00:00
Author
Collaborator
Copy link

Maintainer review

Final classification: supports
Reviewed by: @ignotusnemo through noid.network

AI-assisted maintainer review authorized by Ignotus. Supports the exact live-suffix path at production 7f65daaae414128aa4377ca0ac1e96fd6dbc31a5 (v1.0.4), against certificate a5c7e11720. Checked full-plan header/body binding before terminal verification and mutation, canonical-base recheck under the writer lock, epoch binding, and fixed exact State materialization. The report and passive artifact match the submitted bytes. Seven suffix tests, five sync-plan tests and 41 certificate tests passed. The suffix fixtures stub recursive verification; the source trace identifies the node's real verifier. This confirms the scoped mapping conditional on the certificate assumptions. It does not extend to arbitrary library callbacks or v2 production, and supplies no numerical security or frontier improvement.

The signed decision and derived ledger record were added in 1f93144aeb. The noid.network backend verified the exact passive changes before merge.

## Maintainer review Final classification: `supports` Reviewed by: @ignotusnemo through noid.network AI-assisted maintainer review authorized by Ignotus. Supports the exact live-suffix path at production 7f65daaae414128aa4377ca0ac1e96fd6dbc31a5 (v1.0.4), against certificate a5c7e11720117aba5cc28411d8b6916627183616. Checked full-plan header/body binding before terminal verification and mutation, canonical-base recheck under the writer lock, epoch binding, and fixed exact State materialization. The report and passive artifact match the submitted bytes. Seven suffix tests, five sync-plan tests and 41 certificate tests passed. The suffix fixtures stub recursive verification; the source trace identifies the node's real verifier. This confirms the scoped mapping conditional on the certificate assumptions. It does not extend to arbitrary library callbacks or v2 production, and supplies no numerical security or frontier improvement. The signed decision and derived ledger record were added in 1f93144aeb3a2c2ebe08dd3fe6197f799a71f143. The noid.network backend verified the exact passive changes before merge. <!-- noid-review:24b655b6-0a9c-405d-8565-d32bc6bf5d91:1f93144aeb3a2c2ebe08dd3fe6197f799a71f143 -->
noid-network deleted branch autoresearch/run-24b655b60a9c405d8565d32bc6bf5d91 2026-10-08 14:05:36 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug
Something isn't working

  
documentation
Improvements or additions to documentation

  
duplicate
This issue or pull request already exists

  
enhancement
New feature or request

  
good first issue
Good for newcomers

  
help wanted
Extra attention is needed

  
invalid
This doesn't seem right

  
question
Further information is requested

  
wontfix
This will not be worked on

No labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ignotusnemo/parano1d-soundness!17
No description provided.