P7 Private Network (DC-140..DC-154 + judge fixes) #1

Merged
sami7777 merged 56 commits from p7-wave1 into main 2026-10-04 11:04:25 +02:00
Owner

Spec judged B; implementation judged A (r18, urn:ump:rgxdivsp2xf6zy5lsdoclvdgb7cuqd3qpwlszt2p7fu7xwa3zkkq). 30 commits, 58 files, +16,670. Full suite 3,399/3,399 (base 2,880).

Spec judged B; implementation judged A (r18, urn:ump:rgxdivsp2xf6zy5lsdoclvdgb7cuqd3qpwlszt2p7fu7xwa3zkkq). 30 commits, 58 files, +16,670. Full suite 3,399/3,399 (base 2,880).
sami7777 added 56 commits 2026-10-04 11:04:15 +02:00
P7 r10: probes assert expected head + every outcome (nonzero exit on mismatch); phase-2 rejection-path cleanup guaranteed
CI / Security audit (pull_request) Canceled after 0s
CI / Test & Lint (pull_request) Canceled after 0s
75a0385c38
sami7777 merged commit e04787477a into main 2026-10-04 11:04:25 +02:00
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: sami7777/dashcaddy#1