Intentfile.a2ml

# SPDX-License-Identifier: MPL-2.0
# Intentfile — Design intent and aspirations for futharkiser
# Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>

@abstract:
What this repository INTENDS to become. Aspirational goals and
design philosophy — not current state, but target state.
@end

## Architecture Intent

### formal-verification
- description: All critical code paths should have formal proofs
- target: Idris2 dependent types for ABI, Zig FFI for implementation
- status: in-progress

### reproducible-builds
- description: Builds should be bit-for-bit reproducible
- target: Guix + Guix + Containerfile
- status: aspiration

### zero-dangerous-patterns
- description: No believe_me, sorry, Admitted, unsafeCoerce in any code
- target: All proofs completed, no escape hatches
- status: in-progress

## Quality Intent

### comprehensive-testing
- description: 80%+ code coverage with meaningful tests
- target: Unit + integration + conformance + property-based
- status: in-progress

### documentation-complete
- description: Every public API documented, every directory has README
- target: Full API reference + architecture guide
- status: in-progress

## Phase 1 Intent

### phase-1-production-ready
- description: Phase 1 implementation is stable and usable
- target: Core codegen pipeline works end-to-end for primary use case
- status: achieved

## Project-Specific Intent

### transparent-gpu-acceleration
- description: Array operations automatically compiled to GPU kernels
- target: Detect patterns, generate Futhark, compile to OpenCL/CUDA
- status: in-progress