Skip to content

ROADMAP.adoc

Latest commit

 

History

History
63 lines (56 loc) · 2.67 KB

ROADMAP.adoc

File metadata and controls

63 lines (56 loc) · 2.67 KB

Phronesiser Roadmap

Table of Contents

Phase 0: Scaffold (COMPLETE)

  • ✓ RSR template with full CI/CD (17 workflows)

  • ✓ Rust CLI with subcommands (init, validate, generate, build, run, info)

  • ✓ Manifest parser (phronesiser.toml)

  • ✓ Codegen stubs

  • ✓ Idris2 ABI module stubs (Types, Layout, Foreign)

  • ✓ Zig FFI bridge stubs

  • ✓ README with architecture

Phase 1: Deontic Core

  • ❏ Define DeonticModality type (obligation, permission, prohibition) in Idris2 ABI

  • ❏ Implement EthicalConstraint with formal propositions

  • ❏ Implement ValueAlignment partial ordering in Idris2

  • ❏ Implement HarmPrevention severity classification

  • ❏ Build AuditDecision decidable proof type (permitted/denied/escalated)

  • ❏ Zig FFI: constraint evaluation engine

  • ❏ Rust codegen: Phronesis constraint compilation from TOML

  • ❏ First working end-to-end example: AI agent with deontic guardrails

  • ❏ Integration tests for constraint compilation and enforcement

Phase 2: Constraint Language

  • ❏ TOML-to-Phronesis constraint compilation pipeline

  • ❏ Obligation/permission/prohibition rule syntax

  • ❏ Value hierarchy definition syntax

  • ❏ Harm prevention boundary syntax

  • ❏ Constraint composition (AND, OR, conditional, temporal)

  • ❏ Constraint conflict detection (obligation vs prohibition)

  • ❏ Error messages and diagnostics for malformed constraints

Phase 3: Runtime Enforcement

  • ❏ Runtime constraint checker with zero-copy evaluation

  • ❏ Audit trail generation (structured JSON logs)

  • ❏ Escalation hooks for ambiguous cases

  • ❏ Performance benchmarks (constraint evaluation latency)

  • ❏ Hot-reload of constraint sets without restart

Phase 4: Agent Integration

  • ❏ LLM agent wrapper (pre-action constraint check)

  • ❏ Post-action audit verification

  • ❏ Multi-agent constraint propagation

  • ❏ Agent-specific constraint scoping

  • ❏ Shell completions (bash, zsh, fish)

Phase 5: Formal Verification

  • ❏ Prove constraint soundness (no contradictory obligations/prohibitions)

  • ❏ Prove completeness (all agent actions covered by at least one rule)

  • ❏ Prove monotonicity (adding constraints never weakens safety)

  • ❏ Cross-platform ABI verification

Phase 6: Ecosystem

  • ❏ PanLL panel for constraint visualisation and editing

  • ❏ BoJ-server cartridge for constraint management

  • ❏ VeriSimDB backing store for audit trails

  • ❏ Publish to crates.io

  • ❏ Example library: medical AI constraints

  • ❏ Example library: autonomous vehicle constraints

  • ❏ Example library: content moderation constraints