docs: add HAR integration, proven-servers, Ephapax, PanLL cross-references

README.adoc:
- New sections: HAR integration (standalone vs with HAR), formally verified
  foundations (proven-fsm, proven-queueconn, Ephapax), PanLL panels

ROADMAP.adoc:
- Phase 1.1: add ABI/FFI, proven-fsm, proven-queueconn, Ephapax, PanLL
  as deliverables (all marked complete as of 2026-03-17)

ECOSYSTEM.a2ml:
- Add hybrid-automation-router as integration-target relationship

META.a2ml:
- ADR-006: proven-servers integration
- ADR-007: Ephapax linear types
- ADR-008: PanLL monitoring panels

0-AI-MANIFEST.a2ml:
- Add panels/ to canonical locations
- Add integration section (standalone + HAR modes)

TOPOLOGY.md:
- Update ABI/FFI section: proven-fsm 100%, proven-queueconn 100%,
  Ephapax 100%, Zig FFI 10%
- Add PanLL panels section (both 100%)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/ECOSYSTEM.a2ml

@@ -33,6 +33,10 @@ description = "Management console could use PanLL for panel layout"
 type = "consumer"
 description = "Uses Hypatia for neurosymbolic CI/CD scanning"
 
+[relationships.hybrid-automation-router]
+type = "integration-target"
+description = "HAR routes events to rpa-elysium via proven-queueconn. Both share ABI types (proven-fsm, proven-queueconn). Either works standalone."
+
 [relationships.rhodium-standard-repositories]
 type = "implements"
 description = "RSR-certified repository following Rhodium standards"

.machine_readable/META.a2ml

@@ -39,6 +39,24 @@ status = "accepted"
 date = "2026-03-16"
 rationale = "Filesystem automation CLI is functional now. Ship standalone, absorb into full framework later. Validates core architecture."
 
+[architecture-decisions.adr-006]
+title = "proven-servers integration (proven-fsm + proven-queueconn)"
+status = "accepted"
+date = "2026-03-17"
+rationale = "Formally verified state machine and queue types from proven-servers give compile-time guarantees for workflow transitions and event delivery. Tag values shared with HAR for interop."
+
+[architecture-decisions.adr-007]
+title = "Ephapax linear types for ownership safety"
+status = "accepted"
+date = "2026-03-17"
+rationale = "Linear types enforce single-use of events, transitions, and queue handles. Supplementary to Idris2 (not authoritative when they conflict). Enables gradual adoption via affine/linear dyadic design."
+
+[architecture-decisions.adr-008]
+title = "PanLL panels for monitoring dashboards"
+status = "accepted"
+date = "2026-03-17"
+rationale = "JSON panel definitions in panels/ enable integration with PanLL monitoring system. Two panels: fs-workflow (runtime) and plugin-status (sandbox)."
+
 [development-practices]
 test-coverage-target = "80%"
 ci-pipelines = 17

0-AI-MANIFEST.a2ml

@@ -9,9 +9,15 @@
 ## Canonical File Locations
 - SCM/A2ML files: `.machine_readable/` ONLY (never root)
 - Rust source: `crates/` (workspace members)
-- ABI definitions: `src/abi/` (Idris2)
+- ABI definitions: `src/abi/` (Idris2 + Ephapax)
 - FFI implementation: `ffi/zig/` (Zig)
+- PanLL panels: `panels/` (JSON panel definitions)
 - CI/CD workflows: `.github/workflows/`
+
+## Integration
+- Works standalone OR as a target for hybrid-automation-router (HAR)
+- Shares ABI types with HAR (proven-fsm, proven-queueconn)
+- HAR publishes events → rpa-elysium subscribes via proven-queueconn
 - Examples: `examples/`
 
 ## Critical Invariants

README.adoc

@@ -264,6 +264,40 @@ Palimpsest License (PMPL-1.0-or-later)
 _Transform your business processes — Watch this repository to stay updated with development progress._
 
 
+== Integration with Hybrid Automation Router
+
+RPA Elysium works standalone as a filesystem automation CLI, or as a *target* for the https://github.com/hyperpolymath/hybrid-automation-router[Hybrid Automation Router (HAR)].
+
+[cols="1,3"]
+|===
+|Mode |Description
+
+|*Standalone*
+|Run `rpa-fs run workflow.json` directly. Events come from filesystem watchers only.
+
+|*With HAR*
+|HAR routes events from multiple sources (webhooks, queues, schedules) to rpa-elysium via proven-queueconn. RPA Elysium subscribes to a task queue and executes received events.
+|===
+
+Both repos share the same link:src/abi/[ABI layer] (proven-fsm state machines, proven-queueconn delivery guarantees) and link:src/abi/LinearDispatch.eph[Ephapax linear types] for ownership safety.
+
+== Formally Verified Foundations
+
+RPA Elysium consumes types from https://github.com/hyperpolymath/proven-servers[proven-servers]:
+
+* **proven-fsm** — Workflow state machine with transition proofs (link:src/abi/ProvenFSM.idr[ProvenFSM.idr])
+* **proven-queueconn** — Queue connector with delivery guarantees (link:src/abi/ProvenQueue.idr[ProvenQueue.idr])
+* **Ephapax linear types** — Compile-time ownership enforcement (link:src/abi/LinearDispatch.eph[LinearDispatch.eph])
+
+See link:ABI-FFI-README.md[ABI-FFI-README.md] for full type mappings and architecture.
+
+== Monitoring Panels (PanLL)
+
+Pre-built monitoring panels in `panels/`:
+
+* `panels/fs-workflow/` — Workflow status, watch paths, rules, event timeline, FSM state diagram, queue connection status
+* `panels/plugin-status/` — Loaded WASM plugins, sandbox memory, execution logs
+
 == Architecture
 
 See link:TOPOLOGY.md[TOPOLOGY.md] for a visual architecture map and completion dashboard.

ROADMAP.adoc

@@ -114,8 +114,30 @@ Build the foundational bot framework in Rust that handles task scheduling, state
 |Guix packaging
 |Guix
 |guix.scm for reproducible builds
+
+|ABI/FFI scaffold
+|Idris2 + Zig
+|Formal type definitions and C-compatible FFI stubs
+
+|proven-fsm bindings
+|Idris2
+|Workflow state machine with transition proofs
+
+|proven-queueconn bindings
+|Idris2
+|Queue connector for HAR event subscription
+
+|Ephapax linear types
+|Ephapax
+|Compile-time ownership enforcement for events and transitions
+
+|PanLL monitoring panels
+|JSON
+|fs-workflow and plugin-status panels
 |===
 
+NOTE: All Phase 1.1 items are complete as of 2026-03-17.
+
 ==== 1.2 Bot Core (Rust)
 
 [%autowidth]

TOPOLOGY.md

@@ -71,9 +71,16 @@ PLATFORM (PLANNED)
   AI Intelligence Engine            █░░░░░░░░░  10%    WASM component stubs
   Backend Services (Gleam)          █░░░░░░░░░  10%    Scaffold only
 
-ABI / FFI
-  Idris2 ABI definitions           █░░░░░░░░░  10%    Type scaffolds
-  Zig FFI implementation           █░░░░░░░░░  10%    Build scaffold
+ABI / FFI / PROVEN
+  Idris2 ABI (core types)          ███░░░░░░░  30%    Types + Layout + Foreign
+  proven-fsm bindings              ██████████ 100%    ProvenFSM.idr complete
+  proven-queueconn bindings        ██████████ 100%    ProvenQueue.idr complete
+  Ephapax linear types             ██████████ 100%    LinearDispatch.eph complete
+  Zig FFI implementation           █░░░░░░░░░  10%    Build scaffold only
+
+PANLL PANELS
+  fs-workflow panel                ██████████ 100%    Status, rules, timeline, FSM
+  plugin-status panel              ██████████ 100%    Plugins, sandbox, logs
 
 INFRASTRUCTURE
   CI/CD Pipelines (17+)            ██████████ 100%    Forge sync stable