pullrequests Search Results · language:Dune language:JavaScript language:HTML language:Python language:HTML language:HTML
Filter by
175M results
Summary
Implements mu-affordances phase 1 (#141): provider-bound grants that ride an active Role binding. When a role s provider
is resolved, the role s authored RoleGrant (title / rank / badge scalars ...
derekmerck
What
The header-trust auth model (#89) only holds if the control plane is not directly reachable (only via the auth edge) and
a NetworkPolicy restricts ingress to the edge namespace. That was documented ...
lex00
rkbfydkerwieroAutomated Runner task from issue #944.
alanua
Closes two toolchain-integrity gaps found during the backend-seam build. Frank-judged design, Frank BUILD gate: SHIP.
The gaps
1. Non-editable venv → hollow proofs. The local .venv had drifted to a ...
dannySubsense
swa-synthetics[bot]
Automated Phase-1 proof of goal sum-sq-add-three-ge-two-sum by agent afnz-zbook-b336 (ADR-006, ADR-007, SPEC-007-A). New
library module library/Unsorry/SumSqAddThreeGeTwoSum.lean re-states and proves sum_sq_add_three_ge_two_sum; ...
swarm:prove
cgbarlow
MarkoKubat901
Project cleanup. The code itself was already in good shape — this fixes documentation drift and removes a stale file.
- README: fix stale Coming soon tag name (now Under development ), correct the pdf/ ...
SpaceSphereWheatley
Phase Summary
- Campaign: ALPHA_IDEA_TO_VERDICT_LOOP_V0
- Phase: IVL-P02
- Run: 2026-06-14T200245Z_ALPHA_IDEA_TO_VERDICT_LOOP_V0
- Verdict: PASS_WITH_WARNINGS
Validation Summary
Validation artifacts ...
yukepenn