-
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
Ascent-1 — bind the proposal's committed prediction: measure generative correctness, not just firewall-safe identification
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP2Medium priorityMedium priorityStatus: Open.#123 In usurobor/tsc;Articulation Ascent — the flagship generative CM: prove the .cm language can GENERATE and DISCOVER, not only check (the decisive North-Star test)
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#117 In usurobor/tsc;Assessed property libraries & v4.1 Core-warrant binding — the surface hides boilerplate, not obligations: properties/builders expand into full Core contracts and carry CM0 assessment
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#116 In usurobor/tsc;CM surface language — a compact ML-shaped
.cmauthoring syntax compiled by OCaml to the normalized JSON IR, with CUE as the IR contract & independent validator; first increment = a syntax spike (byte-identical IR)cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#114 In usurobor/tsc;CM programming model & developer experience — finish the instruction set (typed step/provider algebra), a standard provider library, and the language reference / authoring guide / graduated curriculum
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#113 In usurobor/tsc;CM-language layer separation & artifact-type family — distinct CUE schemas for CMSource / NormalizedCMIR / RunRequest / MeasurementReceipt / CompilationReceipt / InstrumentSubject (one package, no drift)
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#112 In usurobor/tsc;CM0 as a CUE-native v4 methodology — the reflective 4th example that forces the generic leaf-CM abstraction (parent issue; decomposed into increments 4A–4D)
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#110 In usurobor/tsc;P0: post-ratification repository reconciliation — de-contaminate the spec target, retire the v3 archive, refresh stale status/proxy/CI surfaces
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP0Critical priorityCritical priorityStatus: Open.#107 In usurobor/tsc;v4-engine Sub-D: GoL thin slice with a minimal singleton CM — first real v4 receipt (REFUTED on the surface-preserving violation)
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#106 In usurobor/tsc;v4-engine Sub-C: the five foundation-v4 §8.6 negatives — Art type + receipt schema + refusal wiring (no generator)
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#105 In usurobor/tsc;v4-engine Sub-B: FND-TYPE-001 typecheck probe — does the
typecheckproof class survive OCaml?cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#104 In usurobor/tsc;v4-engine Sub-A: preregister the attempt budget + stopping rule (FailureDisposition, not carried-forward todo)
cddApplied to every issue that runs a CDD cycleApplied to every issue that runs a CDD cycleP1High priorityHigh priorityStatus: Open.#103 In usurobor/tsc;