-
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
Formalize the core capability calculus and safety properties
researchResearch questions and formal foundationsResearch questions and formal foundationsspecificationNormative specificationsNormative specificationsStatus: Open.#6 In yona-lang/writ;Build the adversarial conformance corpus
securitySecurity model and adversarial behaviorSecurity model and adversarial behaviorspecificationNormative specificationsNormative specificationsStatus: Open.#5 In yona-lang/writ;Specify exact-operand human approval obligations
securitySecurity model and adversarial behaviorSecurity model and adversarial behaviorspecificationNormative specificationsNormative specificationsStatus: Open.#7 In yona-lang/writ;Specify canonical writ IR version 0.1
irCanonical writ intermediate representationCanonical writ intermediate representationspecificationNormative specificationsNormative specificationsStatus: Open.#4 In yona-lang/writ;Implement the independent verifier MVP
securitySecurity model and adversarial behaviorSecurity model and adversarial behaviorverifierIndependent verification and certificatesIndependent verification and certificatesStatus: Open.#3 In yona-lang/writ;Deliver integration slice I1: verified local file and process plan
enhancementNew feature or requestNew feature or requestsecuritySecurity model and adversarial behaviorSecurity model and adversarial behaviorStatus: Open.#2 In yona-lang/writ;Implement the Linux apply kernel MVP
apply-kernelTrusted execution and confinementTrusted execution and confinementsecuritySecurity model and adversarial behaviorSecurity model and adversarial behaviorStatus: Open.#8 In yona-lang/writ;Design the Yona authoring library for plans and budgets
specificationNormative specificationsNormative specificationsyona-libraryYona authoring libraryYona authoring libraryStatus: Open.#1 In yona-lang/writ;