### 修正报告
无坐标调整（初始设置完全满足几何约束）

### 坐标摘要
- A(0,0), B(4,0), C(4,4), D(0,4)
- O(2,2)（对角线交点）
- E(2t,2t)（t∈[0,1]，初始值0.3）
- F（动态垂足）
- P（垂线与OB的交点）

### Geogebra指令
A = (0, 0)  
B = (4, 0)  
C = (4, 4)  
D = (0, 4)  
AB = Segment(A, B)  
BC = Segment(B, C)  
CD = Segment(C, D)  
DA = Segment(D, A)  
AC = Segment(A, C)  
BD = Segment(B, D)  
O = Intersect(AC, BD)  
OA = Segment(O, A)  
OB = Segment(O, B)  
t = Slider(0, 1, 0.01, 0.3, 100, false, true, false, false)  
E = Point(OA, t)  
BE = Segment(B, E)  
perpLine = PerpendicularLine(C, BE)  
F = Intersect(perpLine, BE)  
CF = Segment(C, F)  
P = Intersect(perpLine, OB)  
OE = Segment(O, E)  
OP = Segment(O, P)  
SetVisibleInView(perpLine, 1, false)  
ShowLabel(AB, false)  
ShowLabel(BC, false)  
ShowLabel(CD, false)  
ShowLabel(DA, false)  
ShowLabel(AC, false)  
ShowLabel(BD, false)  
ShowLabel(OA, false)  
ShowLabel(OB, false)  
ShowLabel(BE, false)  
ShowLabel(CF, false)  
ShowLabel(OE, false)  
ShowLabel(OP, false)  
ShowGrid(false)
ShowAxes(false)

---

### 指令说明
1. **几何约束验证**  
   - 正方形ABCD严格水平（AB∥x轴，BC⊥AB）  
   - 对角线AC⊥BD且互相平分（O为中点）  
   - 所有角度/长度关系符合描述（AO=BO=CO=DO=2√2）

2. **动态坐标系**  
   - 以最长边AB为x轴，A为原点(0,0)  
   - 自动满足水平约束（DA⊥AB，BC⊥AB）

3. **元素生成顺序**  
   固定点 → 固定边 → 动态点E → 动态元素（BE, CF, P）

4. **错误熔断**  
   无触发（所有约束自动满足）

5. **特殊处理**  
   - 线段标签全部隐藏（符合规则5）  
   - 垂线`perpLine`创建后隐藏（仅保留垂足F和交点P）  
   - 滑块t控制点E在OA上移动（初始位置t=0.3）