-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#176 In thelabmd/UST-Protocol;
A closed card owes a report, and the gate that enforces it quantifies over ROUNDS — so a card closed outside a round is invisible
bugSomething isn't workingSomething isn't workingself-auditWe audited our own instrument — distinct from an external or red-team passWe audited our own instrument — distinct from an external or red-team passStatus: Open.resolveCadence cannot say UNKNOWN — a caller who never read a cadence log still asserts the genesis grid is in force
bugSomething isn't workingSomething isn't workingself-auditWe audited our own instrument — distinct from an external or red-team passWe audited our own instrument — distinct from an external or red-team passStatus: Open.Aha moment — the tier ladder ranks NAMES, and an agent that needs no name reads as the floor
self-auditWe audited our own instrument — distinct from an external or red-team passWe audited our own instrument — distinct from an external or red-team passStatus: Open.- Status: Open.
A publisher-served witness log grants
authoritative— the rung the model reserves for an outside observersecuritySecurity finding / hardeningSecurity finding / hardeningself-auditWe audited our own instrument — distinct from an external or red-team passWe audited our own instrument — distinct from an external or red-team passStatus: Open.What must a THEOREM pin: the math layer is checked for EXISTENCE, never for coverage of the domain it quantifies over
self-auditWe audited our own instrument — distinct from an external or red-team passWe audited our own instrument — distinct from an external or red-team passStatus: Open.A scheme NAME obligates nothing checkable: the only producer and the only verifier of rfc6962-raw are not connected, and the connector answers an unreadable shape with false
bugSomething isn't workingSomething isn't workingself-auditWe audited our own instrument — distinct from an external or red-team passWe audited our own instrument — distinct from an external or red-team passStatus: Open.A fresh authority checkpoint is reachable only through re-rooting — the operation that discards its own context
self-auditWe audited our own instrument — distinct from an external or red-team passWe audited our own instrument — distinct from an external or red-team passStatus: Open.