ARC-AGI // OBJECT INSPECTOR
IRF-ARC-DSL-003 · Optic Nerve Visualizer · PTTE V9
γ₁ = 14.134725141734693
INPUT GRID — EDIT + EXTRACT
Preset: Blue Square + Red Line
Preset: Tiling (task 017c7c7b)
Preset: Scattered Objects (6 colors)
Preset: Dense 15×15 Grid
Blank 10×10
DRAW COLOR:
10 × 10 · click to draw
▶ EXTRACT OBJECTS
CLEAR
RANDOM
READY
BFS EXTRACTION LOG
[ awaiting extract_objects() call ]
EXTRACTED ARC_OBJECTS
—
OBJECTS
—
TOTAL PX
—
COLLAPSE
—
BFS ms
Run EXTRACT OBJECTS to see ARC_Object decomposition...
OBJECT HIGHLIGHT VIEW
Select an object above to highlight
LEAN 4 OUTPUT — ARC_Object[]
-- extract_objects not yet called
OVERSEER PROMPT (post-collapse)
awaiting extraction...
SYNTHESIZED TRANSFORM
-- OVERSEER output appears here
▶ SYNTHESIZE
✓ VERIFY