Contracts before code
Define the boundary, fields, report shape, and non-claims before implementation expands.
Current Direction
Latticra advances through narrow, evidence-backed slices: contracts before code, fixtures before runtime, read-only before mutation, and local proof before broader authority.
Roadmap Principle
The roadmap is a discipline layer. It records what can be promoted next, what must remain report-only, and which future claims still need reproducible evidence before they can be repeated publicly.
Define the boundary, fields, report shape, and non-claims before implementation expands.
Use deterministic examples and guards before any live behavior or authority is considered.
Prefer local evidence, status, reports, and denied cases over host-changing behavior.
Hosted and virtual-target evidence must precede real-device experiments.
Planning Estimates
The latest public estimate refresh records planning percentages only. They are not production readiness, security guarantees, runtime-enforcement claims, or operating-system completeness claims.
Active Lanes
The current direction favors small, reviewable, guarded slices across language metadata, report surfaces, Seal evidence, runtime-boundary classification, and host-facing planning.
Parser, semantic, model normalization, lowering, diagnostics, and runtime-boundary evidence propagation remain no-effect.
Language overviewState lattice, kernel seed, lifecycle runner, and subsystem summary are compiled and reportable while external effects remain denied.
Kernel overviewSeaBIOS/GRUB compatibility, boot-preview fixtures, preflight, and templates are tracked without QEMU execution, disk images, or bootloader writes.
Boot preview boundaryFedora, Ubuntu, openSUSE, Debian, BSD, and macOS lanes stay static, fixture-only, dry-run, or disposable-target gated until release evidence exists.
Packaging overviewReport-only metadata, policy decisions, request freshness, receipts, key parsing, and dry-run posture stay authority-denied.
Seal overviewRequest families, effect families, abuse-case fixtures, and denied evidence paths are mapped before runtime execution.
Runtime overviewDisposable VM CLI payload evidence and a local artifact manifest fixture exist, while production installer readiness remains blocked behind release-grade gates.
Installer readinessCI, dependency, SBOM, signed-updater, zero-trust runtime-authority, and release-publication controls remain guarded before production wording.
Supply-chain gatesLocal workbench and offline AI planning lanes remain contract, prompt-plan, profile, and report oriented.
Workbench overview Panel overview Console overview Nadia overviewRoadmap Stages
These stages come from the source roadmap and should be read as sequencing constraints, not claims that the later stages are already available.
Define the system, public identity, contracts, evidence rules, names, and first implementation targets.
Create deterministic no-effect state shapes, labels, reports, and invariant tests.
Model spatial, state, and safety transitions before live movement exists.
Introduce supervisor classification and no-effect reports without task execution.
Define native language contracts, validation fixtures, LIR direction, and no execution.
Declare operator surfaces, rails, denial reports, and rendering boundaries.
Model network and update behavior while keeping network denied by default.
Run as a local hosted reference process with no server, hardware, or boot effects by default.
Collect reproducible virtual-target profiles before real-device read-only observation.
Consider narrow real-world actions only after preflight checks, approval, audit, and rollback plans.
Promotion Rule
The near-term queue repeatedly favors metadata, deterministic reports, status/public-entry alignment, and negative-case evidence over broad runtime behavior.
Define future bounded APIs, records, fields, reports, failure behavior, and tests before code.
Copy evidence labels and metadata through deterministic reports while preserving no execution and no runtime authority.
Production runtime, host mutation, network authority, root authority, certified security, OS replacement, and broad AI-agent control.
Security Gate
Use the security overview before repeating runtime, host, network, malware-prevention, sandboxing, or production-readiness language. Open security boundaries.
Source Records