Crelay-Topo Forward Resource Ledger -- 2026-09-15
================================================

CURRENT RESULT: Complete goal validated in 94 actions, across three recorder
cycles. Cycles 1 and 2 close normally; cycle 3 remains open at the goal.
VALIDATE-RECORDER-SOLUTION returned T NIL. No minimum-length search was run.
Action numbers below are cumulative and refer to subgoal-solutions.txt.

Cycle 1 -- actions 1-10
----------------------
Agent1 ends at location2, empty-handed. Connector1 holds plate1. Tray1 holds
plate2 at location7. Box1 remains at location6. The ghost cycle closes normally.

Cycle 2 -- actions 11-30
-----------------------
Use the ghost-held tray and blower to recover box1. End with agent1 empty-handed
at location7, box1 on plate2, tray1 grounded beside it, and connector1 on plate1.
Switch1/blower1 are off. Gates1, 2, 3, and 5 are open. No ghosts remain.

Cycle 3 -- actions 31-94
-----------------------
32: START-RECORDER forks box1* on plate2 and connector1* on plate1. These
    recording resources keep gates3 and 1 available during the live loading.
35: Ghost holds tray1* at location5, waiting for live cargo.
51: Box1 is on tray1*; connector1 is on box1, paired to repeater1/receiver1.
52: Switch1/blower1 are off after loading.
56: Live tray1 holds plate4 at location13.
58: Ghost stands on plate5 at location12, holding tray1* and the live stack.
60: Agent1, empty-handed at location14, turns switch2 on. Ordinary gate5 closes
    and gate7 opens. Plates4/5 keep gate6 open for the return trip. Recording
    gate5 stays open because the ghost has not toggled recording switch2.
61: Agent1 returns through gate6/screen1 before removing tray1 from plate4.
65: Handoff complete. Both agents stand on plate5. Agent1 holds tray1 with
    box1 on it and paired connector1 on box1. Ghost tray1* is grounded;
    ghost agent is empty-handed. Ordinary gate6 is now closed.
74: Ghost has replaced connector1* on plate1 with tray1* and holds connector1*.
76: Connector1* at location9 is paired to transmitter1/repeater1.
78: Ghost stands on plate3, opening gate4 and energizing repeater1.
80: Agent1 carries the live stack to location15 through gate7.
81: Agent1 and all three live objects are beyond gate8 at location21.
82: Tray release grounds box1 with connector1 still on top at location21.
85: Tray1 holds plate6 at location16.
89: Connector1 holds plate7 at location17. Its pickup cleared its pairings;
    gate8 need no longer remain open because all required cargo is beyond it.
93: Box1 holds plate8 at location18. Gate9 is open.
94: Agent1 reaches location19. Ghost remains on plate3; cycle 3 remains open.

Final allocation
----------------
Live: tray1 -> plate6; connector1 -> plate7; box1 -> plate8; agent1 -> goal.
Ghost: tray1* -> plate1; box1* -> plate2; agent1* -> plate3;
       connector1* -> location9, paired to transmitter1/repeater1.

Validated dependencies
----------------------
- Live cargo uses the ghost-held tray; no live jump onto ghost box1* is used.
- Transfer occurs on local tray release, not merely on co-location.
- The connector remains on box1 during the handoff and transport.
- Agent1 returns from switch2 before picking up the plate4 tray.
- Ghost traversal after the switch uses recording gate state.
- Gate8 is crossed before the live beam is dismantled.
- Three cargo objects hold the final plates; agent1 is free to cross gate9.
- The final goal requires no actual STOP-RECORDER at plate3.

Known technology gap: PICKUP-CONNECTOR currently always clears pairings.
The retain-pairings pickup option is not implemented. This solution reconnects
explicitly during loading, so that gap does not invalidate the retained path.

Evidence and history
--------------------
subgoal3-complete-validation.txt contains the exact full replay and result.
subgoal3-handoff-validation.txt retains the bounded handoff evidence.
Historical-Analysis-before-2026-09-15.txt preserves the superseded four-cycle
checkpoint and earlier planning alternatives. They are not current allocations.
