Milestones
List view
Compile and independently verify capability-bounded validated workspace patch requests for Roadmap A.1.
No due date•1/1 issues closedDeclare external-operation identities and typed request values without provider imports or ambient authority.
No due date•1/1 issues closedDeliver the public Edict application-build boundary and exact verified Echo package outputs required by Roadmap A.
No due date•3/3 issues closedRuntime-neutral provider boundary: generated lawpack/profile/fact artifacts, provider manifests, built-in provider parity, and WIT host groundwork without runtime execution.
No due date•10/10 issues closedFix the first protected workflow, aperture, trace shape, and repo-owned anchors for Xyph Gate Alpha.
No due date•1/1 issues closedContract Bundle Assembly Alpha. Assemble a participant-neutral contract bundle from real compiler/Core/target-IR/target-profile/lawpack inputs with a digest-bound artifact graph; prove the assembled artifact validates and is mutation-sensitive.
No due date•3/3 issues closedPublic CLI and structured diagnostics alpha. The edict CLI check workflow over JSONL stdin/stdout/stderr, the compiler-settings JSON Schema, and checked-in JSON Schema contracts for every CLI stream record family. Remaining scope: golden CLI fixtures corpus.
No due date•7/7 issues closedFirst Target IR Alpha: lower one supported Core effect shape into echo.dpo@1 / echo.span-ir/v1 and reject unsupported target obligations with stable diagnostics.
No due date•3/3 issues closedMinimal Effectful Compiler Spine Alpha: one supported effectful source slice lowers through the compiler spine into typed Core, while unsupported effectful forms fail with stable diagnostics before lowering.
No due date•1/1 issues closedFile-backed authority facts alpha.
Due by September 9, 2026•1/1 issues closedDeveloper tooling alpha: editor grammar/highlighting and differential grammar fixture path after the compiler/Core spine is stable enough to avoid grammar drift.
Due by August 26, 2026•2/2 issues closedPost-v1 design track for adapter composition and obligation-closure resolution. No release date until v1 foundations are stable.
No due date•1/1 issues closedBundle and admission alpha: Edict/Continuum boundary, bundle/admission contract, and Gate C evidence expectations.
Due by August 12, 2026•3/3 issues closedTarget-profile and lowerability alpha: direct-only v1 target-profile facts plus typed lowerability requirements and explanation surface.
Due by July 29, 2026•3/3 issues closedCompiler spine alpha: resolve, type-check, lower source AST to Core, implement canonical encoder, and freeze first true Core goldens.
Due by July 15, 2026•5/5 issues closedCore semantic model and normative schema alpha: Core algebra/invariants plus CDDL/schema validation. No canonical byte or digest freeze.
Due by July 1, 2026•3/3 issues closedFirst front-end milestone release: parser, source-AST semantic validation through SEMVAL-REQ-007, topic shelves, and local verification gate. Does not claim Core IR, lowerers, or admission.
Due by June 24, 2026•1/1 issues closed