# Stage 155: 6-Slot Lego ExecPlanIR (aq155_compose_six_slot_lego_execplan_ir / DB-UNIT-05)

Composes swappable functional bricks across the 6 canonical Lego slots (Intake, Normalize, Core, Verify, Attest, Emit) with strict adjacent port type checking.

- Atomic micro-queue: `aq155_compose_six_slot_lego_execplan_ir` (visibility: `public_commons`)
- Backing database unit: `DB-UNIT-05` (`Typed Solution Graph & Pareto Composition Core`)
- Database cell: `graph-db.teleon.dev` (`teleon_core.teleon_weighted_graph_edges`, `teleon_core.verified_solution_dags`, `teleon_core.schema_bridge_adapters`)
- Claim row hydration: `single_self_contained_flat_task_row` (100% context inline, normalized writeback)
- Track 2 Sister queue (`SISTER-05`): `sq05-improve-composition-queue.teleon.dev` (Improve planner heuristics, promote recurring agentic subgraphs into cached deterministic macros, and add bridge tools.)
- Lanes: Intake->Normalize->Core->Verify->Attest->Emit, Type-Safe Ports, Swappable Bricks

## Execution engines & AI Agent freedom contract

- **Deterministic (0 model calls)**: `dijkstra_pareto_type_planner_v1` (6-slot port-compatibility linker & ExecPlanIR digest compiler (0 calls))
- **Hybrid (<=1 model call)**: `single_shim_bridge_synthesizer_v1`
- **AI Agent & Bot Fleet (1..6 calls)**: `novel_architecture_composer_v1` (Missing port-shim & custom brick composer)
  - Contract: **Instructions + Resources + Freedom to search for new resources and new ways not bound by instructions**

## Database invariants

- Every executable vertex in a composed graph is a Loop; passive files never become model calls.
- Keep the no-extra-material baseline eligible in every Pareto comparison.

## External & internal bot fleet actions

- Verify output_type of slot k matches input_type of slot k+1 before any effect runs
- Allow hot-swapping any individual brick engine without editing upstream or downstream callers
- Pin complete 6-slot ExecPlanIR manifests by deterministic digest

## Sister self-tuning areas

- Promote high-traffic multi-node subgraphs into 0-model-call deterministic macro code_blocks
- Rebalance 6D Pareto cost weights (quality, tokens, latency, reliability, determinism, reuse)
- Add new algebraic port-shim templates and composition routines