erdos-problems 0.1.10 → 0.1.11

package/README.md

@@ -22,6 +22,7 @@ Official binary:
 - workspace `.erdos/` state for active-problem selection, upstream refreshes, scaffolds, and pull bundles
 - sunflower cluster as the first deep harness pack
 - quartet-aware sunflower context for `20`, `536`, `856`, and `857`
+- packaged atomic/bridge board packets for the full sunflower quartet
 - packaged compute-lane metadata for deep sunflower problems, surfaced directly in the CLI
 - seeded atlas now includes open and solved problems beyond sunflower
 - unseeded problems can still be pulled into a workspace from the bundled upstream snapshot
@@ -39,6 +40,7 @@ erdos problem list --cluster sunflower
 erdos bootstrap problem 857
 erdos problem artifacts 857 --json
 erdos sunflower status 857
+erdos sunflower board 857
 erdos dossier show 857
 ```
 
@@ -136,9 +138,11 @@ The first deep pack is the sunflower quartet:
 - `536`: natural-density LCM analogue
 - `856`: harmonic-density LCM analogue
 
-Deep sunflower problems now also ship route packets:
-- `20`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`
-- `857`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`
+Sunflower problems now ship pack packets:
+- `20`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`
+- `857`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`
+- `536`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`
+- `856`: `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`
 
 Useful sunflower commands:
 
@@ -146,6 +150,8 @@ Useful sunflower commands:
 erdos cluster show sunflower
 erdos sunflower status 20
 erdos sunflower status 536
+erdos sunflower board 536
+erdos sunflower board 857
 erdos sunflower status 857 --json
 ```
 
@@ -155,8 +161,17 @@ erdos sunflower status 857 --json
 - active route
 - route breakthrough state
 - problem-solved distinction
+- atomic board posture, active ticket, ready-atom count, and first ready atom when a board packet exists
 - compute posture when a packet exists
 
+`erdos sunflower board` surfaces:
+- mirrored lab atomic boards for `20` and `857`
+- lighter dossier-bridge boards for `536` and `856`
+- route status
+- ticket board summary
+- first-principles ladder
+- ready queue
+
 ## ORP
 
 `erdos-problems` now ships a bundled Open Research Protocol kit:
@@ -196,6 +211,7 @@ erdos workspace show
 erdos orp show
 erdos orp sync
 erdos sunflower status 857
+erdos sunflower board 857
 erdos sunflower status --json
 erdos dossier show
 erdos upstream show
@@ -247,7 +263,7 @@ The CLI can surface these directly:
 For sunflower problems, the CLI also surfaces pack-specific artifacts:
 - pack README context
 - per-problem context files under `packs/sunflower/problems/<id>/`
-- route packets and checkpoint/report packets for `20` and `857`
+- route packets, checkpoint/report packets, and board packets for the full sunflower quartet
 - compute packets under `packs/sunflower/compute/<id>/` when available
 - compute-governance evaluation under `breakthroughs`, surfaced through `erdos sunflower status`
 

package/docs/RESEARCH_LOOP.md

@@ -69,6 +69,7 @@ The ORP kit travels with the workspace too:
 
 For sunflower compute lanes, ORP now sits above `breakthroughs`:
 - `erdos sunflower status <id>` evaluates the packaged compute lane with `breakthroughs`
+- `erdos sunflower board <id>` exposes the packaged atomic or bridge board for the active sunflower problem
 - the CLI surfaces the selected rung, dispatch action, and the reason compute is admissible
 - this is compute governance and traceability, not an automatic compute launch
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "erdos-problems",
-  "version": "0.1.10",
+  "version": "0.1.11",
   "description": "CLI atlas and staged research harness for Paul Erdos problems.",
   "type": "module",
   "bin": {

package/packs/sunflower/README.md

@@ -15,5 +15,9 @@ Profiles:
 - `856`: dossier bridge, harmonic-density LCM analogue
 
 Deep route packets:
-- `20` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`
-- `857` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`
+- `20` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`
+- `857` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`
+
+Bridge packets:
+- `536` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`
+- `856` ships `AGENT_START.md`, `ROUTE_PACKET.yaml`, `CHECKPOINT_PACKET.md`, `REPORT_PACKET.md`, `ATOMIC_BOARD.yaml`, `ATOMIC_BOARD.md`

package/packs/sunflower/problems/20/ATOMIC_BOARD.md

@@ -0,0 +1,45 @@
+# Problem 20 Atomic Board Packet
+
+- Profile: `deep_atomic_ops`
+- Source board JSON: `sunflower-coda/repo/analysis/problem20_k3_gateboard.json`
+- Source board markdown: `sunflower-coda/repo/docs/PROBLEM20_K3_OPS_BOARD.md`
+- Module target: `sunflower-coda/repo/sunflower_lean/SunflowerLean/ErdosProblem20.lean`
+
+## Route Status
+
+| Route | Loose | Strict |
+|---|---:|---:|
+| `uniform_prize` | `7/7` | `7/7` |
+| `uniform_prize_final_k3` | `5/5` | `5/5` |
+| `uniform_prize_full_all_k` | `0/1` | `0/1` |
+
+## Ticket Board
+
+| Ticket | Leaf | Status | Gates | Atoms |
+|---|---|---|---:|---:|
+| `T1` | `UniformBoundF3Global` | `done` | `5/5` | `16/16` |
+| `T2` | `UniformBoundF4Global` | `done` | `5/5` | `15/15` |
+| `T3` | `UniformBoundF5Global` | `done` | `5/5` | `15/15` |
+| `T4` | `UniformBoundF6Global` | `done` | `5/5` | `15/15` |
+| `T5` | `UniformK3EnvelopeFrom7WithPolySlack` | `done` | `5/5` | `15/15` |
+| `T6` | `UniformK3From7BaseRangeHyp` | `open` | `5/5` | `77/77` |
+
+## First-Principles Ladder
+
+| Tier | Done |
+|---|---:|
+| `P0-SpecLock` | `18/18` |
+| `P1-StructuralKernel` | `18/18` |
+| `P2-QuantAssembly` | `13/13` |
+| `P3-InterfaceLift` | `18/18` |
+| `P4-Verification` | `86/86` |
+
+## Ready Queue
+
+- *(none)*
+
+## Public-Pack Interpretation
+
+- The public pack mirrors a lab board where the `uniform_prize_final_k3` route is closed.
+- The support lane `T6` remains visible because it carries future reusable witness-construction pressure.
+- The honest next move is not a dependency-satisfied atom today; it is to freeze the next support-lane witness packet before pretending progress is locally admissible.

package/packs/sunflower/problems/20/ATOMIC_BOARD.yaml

@@ -0,0 +1,98 @@
+board_packet_id: strong20_uniform_k3_atomic_board_v1
+board_profile: deep_atomic_ops
+board_title: Problem 20 K=3 Closure Ops Board
+problem_id: "20"
+active_route: uniform_k3_frontier
+frontier_claim: Keep the public strong-sunflower pack aligned with the live k=3 closure board and surface the remaining support-lane pressure honestly.
+module_target: sunflower-coda/repo/sunflower_lean/SunflowerLean/ErdosProblem20.lean
+source_kind: mirrored_from_lab
+source_board_json: sunflower-coda/repo/analysis/problem20_k3_gateboard.json
+source_board_markdown: sunflower-coda/repo/docs/PROBLEM20_K3_OPS_BOARD.md
+active_ticket_id: T6
+route_status:
+  - route: uniform_prize
+    loose_done: 7
+    loose_total: 7
+    strict_done: 7
+    strict_total: 7
+  - route: uniform_prize_final_k3
+    loose_done: 5
+    loose_total: 5
+    strict_done: 5
+    strict_total: 5
+  - route: uniform_prize_full_all_k
+    loose_done: 0
+    loose_total: 1
+    strict_done: 0
+    strict_total: 1
+tickets:
+  - ticket_id: T1
+    ticket_name: "Closure Lane T1: UniformBoundF3Global"
+    route_leaf: UniformBoundF3Global
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 16
+    atoms_total: 16
+  - ticket_id: T2
+    ticket_name: "Closure Lane T2: UniformBoundF4Global"
+    route_leaf: UniformBoundF4Global
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T3
+    ticket_name: "Closure Lane T3: UniformBoundF5Global"
+    route_leaf: UniformBoundF5Global
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T4
+    ticket_name: "Closure Lane T4: UniformBoundF6Global"
+    route_leaf: UniformBoundF6Global
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T5
+    ticket_name: "Closure Lane T5: UniformK3EnvelopeFrom7WithPolySlack"
+    route_leaf: UniformK3EnvelopeFrom7WithPolySlack
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T6
+    ticket_name: "Support Lane T6: UniformK3From7 Base/Step Witness Construction"
+    route_leaf: UniformK3From7BaseRangeHyp
+    leaf_status: open
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 77
+    atoms_total: 77
+ladder:
+  - tier: P0-SpecLock
+    done: 18
+    total: 18
+  - tier: P1-StructuralKernel
+    done: 18
+    total: 18
+  - tier: P2-QuantAssembly
+    done: 13
+    total: 13
+  - tier: P3-InterfaceLift
+    done: 18
+    total: 18
+  - tier: P4-Verification
+    done: 86
+    total: 86
+ready_queue: []
+mirage_frontiers: []
+notes:
+  - Mirrored from the live sunflower-coda problem-20 lab board; counts reflect the lab closure/support frontier.
+  - The final k=3 route is closed in the mirrored board.
+  - The support lane remains open but currently has no dependency-satisfied ready atom.

package/packs/sunflower/problems/536/AGENT_START.md

@@ -0,0 +1,15 @@
+# Problem 536 Agent Start
+
+Start here:
+- treat `536` as a sunflower-family bridge problem, not a deep theorem harness yet
+- read the dossier, the pack context, and the atomic bridge board together
+- preserve the exact relation to `857`, `856`, and `20`
+
+First loop:
+- verify the publicized open status with the seeded public-status review
+- freeze the exact statement and reference surface
+- record the cleanest natural-density analogue back to the weak sunflower program
+
+Do not do:
+- do not pretend `536` already has Lean-scanner route depth
+- do not overclaim progress on `857` from a loose analogy note alone

package/packs/sunflower/problems/536/ATOMIC_BOARD.md

@@ -0,0 +1,25 @@
+# Problem 536 Bridge Board Packet
+
+- Profile: `dossier_bridge`
+- Source kind: `public_pack_bridge`
+
+## Route Status
+
+| Route | Loose | Strict |
+|---|---:|---:|
+| `natural_density_lcm_bridge` | `0/3` | `0/3` |
+
+## Active Ticket
+
+| Ticket | Leaf | Status | Gates | Atoms |
+|---|---|---|---:|---:|
+| `T1` Dossier Source Lock | `public_status_and_statement_lock` | `open` | `1/3` | `2/6` |
+
+## Ready Queue
+
+- `T1.G1.A3`: Run the public-status review and freeze the exact open-state snapshot for problem `536`
+
+## Notes
+
+- This board is intentionally lighter than the theorem-engine boards for `20` and `857`.
+- It exists to give agents a disciplined analogue bridge workflow instead of a loose note-taking lane.

package/packs/sunflower/problems/536/ATOMIC_BOARD.yaml

@@ -0,0 +1,62 @@
+board_packet_id: sunflower536_bridge_board_v1
+board_profile: dossier_bridge
+board_title: Problem 536 Natural-Density LCM Bridge Board
+problem_id: "536"
+active_route: natural_density_lcm_bridge
+frontier_claim: Keep 536 research-ready by freezing public status, exact analogue statements, and explicit bridge artifacts back to 857.
+module_target: ""
+source_kind: public_pack_bridge
+active_ticket_id: T1
+route_status:
+  - route: natural_density_lcm_bridge
+    loose_done: 0
+    loose_total: 3
+    strict_done: 0
+    strict_total: 3
+tickets:
+  - ticket_id: T1
+    ticket_name: Dossier Source Lock
+    route_leaf: public_status_and_statement_lock
+    leaf_status: open
+    gates_done: 1
+    gates_total: 3
+    atoms_done: 2
+    atoms_total: 6
+  - ticket_id: T2
+    ticket_name: Analogue Translation Bridge
+    route_leaf: lcm_analogue_bridge_note
+    leaf_status: open
+    gates_done: 0
+    gates_total: 3
+    atoms_done: 0
+    atoms_total: 6
+  - ticket_id: T3
+    ticket_name: Transfer Back To 857
+    route_leaf: density_to_weak_sunflower_hook
+    leaf_status: open
+    gates_done: 0
+    gates_total: 3
+    atoms_done: 0
+    atoms_total: 6
+ladder:
+  - tier: P0-SpecLock
+    done: 2
+    total: 6
+  - tier: P1-StructuralKernel
+    done: 0
+    total: 6
+  - tier: P2-QuantAssembly
+    done: 0
+    total: 6
+ready_queue:
+  - atom_id: T1.G1.A3
+    ticket_id: T1
+    gate_id: T1.G1
+    tier: P0-SpecLock
+    kind: review
+    title: Run the public-status review and freeze the exact open-state snapshot for problem 536
+    status: ready
+mirage_frontiers: []
+notes:
+  - This is a public-pack bridge board, not a Lean-scanner board.
+  - Counts track dossier and bridge completeness so agents can move with the same disciplined loop as the deep sunflower problems.

package/packs/sunflower/problems/536/CHECKPOINT_PACKET.md

@@ -0,0 +1,11 @@
+# Problem 536 Checkpoint Packet
+
+Checkpoint when one of these becomes true:
+- the public-status review is refreshed and clearly archived
+- the exact analogue statement is normalized in dossier language
+- a crisp bridge note back to `857` is written and cited
+
+What to record:
+- upstream/site/public-search provenance
+- exact wording of the analogue
+- what changed for the next agent

package/packs/sunflower/problems/536/REPORT_PACKET.md

@@ -0,0 +1,11 @@
+# Problem 536 Report Packet
+
+Public-facing report shape:
+- open problem status
+- natural-density LCM framing
+- relation to `857`, `856`, and `20`
+- exact artifacts pulled this pass
+- next honest bridge move
+
+Avoid:
+- speaking as if a theorem-harness closure happened here unless a real deeper pack is added later

package/packs/sunflower/problems/536/ROUTE_PACKET.yaml

@@ -0,0 +1,13 @@
+route_packet_id: sunflower536_natural_density_bridge_v1
+route_id: natural_density_lcm_bridge
+frontier_claim: Keep the natural-density LCM analogue synchronized with the weak sunflower program and preserve an honest bridge from public status to research artifacts.
+theorem_module: ""
+checkpoint_packet: CHECKPOINT_PACKET.md
+report_packet: REPORT_PACKET.md
+ready_prompts:
+  - Which exact combinatorial-to-number-theoretic bridge from 536 to 857 should be frozen next?
+  - Which public-status or reference artifact is still missing from the 536 dossier bridge?
+verification_hook:
+  - erdos sunflower status 536
+  - erdos sunflower board 536
+  - erdos problem artifacts 536 --json

package/packs/sunflower/problems/856/AGENT_START.md

@@ -0,0 +1,15 @@
+# Problem 856 Agent Start
+
+Start here:
+- treat `856` as the harmonic-density / logarithmic-density LCM analogue inside the sunflower quartet
+- keep the exponent-transfer story back to `857` explicit
+- use the bridge board rather than improvising a loose literature pass
+
+First loop:
+- verify the publicized open status with the seeded public-status review
+- freeze the exact statement and density language
+- record how progress here would alter `857`-style exponent expectations
+
+Do not do:
+- do not pretend `856` already has the same theorem-board depth as `20` or `857`
+- do not state an exponent consequence unless the supporting bridge artifact is explicitly written down

package/packs/sunflower/problems/856/ATOMIC_BOARD.md

@@ -0,0 +1,25 @@
+# Problem 856 Bridge Board Packet
+
+- Profile: `dossier_bridge`
+- Source kind: `public_pack_bridge`
+
+## Route Status
+
+| Route | Loose | Strict |
+|---|---:|---:|
+| `harmonic_density_lcm_bridge` | `0/3` | `0/3` |
+
+## Active Ticket
+
+| Ticket | Leaf | Status | Gates | Atoms |
+|---|---|---|---:|---:|
+| `T1` Dossier Source Lock | `public_status_and_density_lock` | `open` | `1/3` | `2/6` |
+
+## Ready Queue
+
+- `T1.G1.A3`: Run the public-status review and freeze the exact open-state snapshot for problem `856`
+
+## Notes
+
+- This board is intentionally lighter than the theorem-engine boards for `20` and `857`.
+- It keeps the `856` to `857` exponent bridge explicit instead of leaving it as an unstructured literature hunch.

package/packs/sunflower/problems/856/ATOMIC_BOARD.yaml

@@ -0,0 +1,62 @@
+board_packet_id: sunflower856_bridge_board_v1
+board_profile: dossier_bridge
+board_title: Problem 856 Harmonic-Density LCM Bridge Board
+problem_id: "856"
+active_route: harmonic_density_lcm_bridge
+frontier_claim: Keep 856 research-ready by freezing public status, exact density-language statements, and explicit exponent-transfer artifacts back to 857.
+module_target: ""
+source_kind: public_pack_bridge
+active_ticket_id: T1
+route_status:
+  - route: harmonic_density_lcm_bridge
+    loose_done: 0
+    loose_total: 3
+    strict_done: 0
+    strict_total: 3
+tickets:
+  - ticket_id: T1
+    ticket_name: Dossier Source Lock
+    route_leaf: public_status_and_density_lock
+    leaf_status: open
+    gates_done: 1
+    gates_total: 3
+    atoms_done: 2
+    atoms_total: 6
+  - ticket_id: T2
+    ticket_name: Density Translation Bridge
+    route_leaf: harmonic_density_bridge_note
+    leaf_status: open
+    gates_done: 0
+    gates_total: 3
+    atoms_done: 0
+    atoms_total: 6
+  - ticket_id: T3
+    ticket_name: Exponent Transfer Back To 857
+    route_leaf: exponent_transfer_hook
+    leaf_status: open
+    gates_done: 0
+    gates_total: 3
+    atoms_done: 0
+    atoms_total: 6
+ladder:
+  - tier: P0-SpecLock
+    done: 2
+    total: 6
+  - tier: P1-StructuralKernel
+    done: 0
+    total: 6
+  - tier: P2-QuantAssembly
+    done: 0
+    total: 6
+ready_queue:
+  - atom_id: T1.G1.A3
+    ticket_id: T1
+    gate_id: T1.G1
+    tier: P0-SpecLock
+    kind: review
+    title: Run the public-status review and freeze the exact open-state snapshot for problem 856
+    status: ready
+mirage_frontiers: []
+notes:
+  - This is a public-pack bridge board, not a Lean-scanner board.
+  - Counts track dossier and bridge completeness so the exponent-transfer story stays explicit and checkpointable.

package/packs/sunflower/problems/856/CHECKPOINT_PACKET.md

@@ -0,0 +1,11 @@
+# Problem 856 Checkpoint Packet
+
+Checkpoint when one of these becomes true:
+- the public-status review is refreshed and archived
+- the exact density-language statement is normalized in dossier form
+- an explicit exponent-transfer note back to `857` is written
+
+What to record:
+- provenance for the status review
+- exact wording of the density analogue
+- what changed in the `856` to `857` bridge story

package/packs/sunflower/problems/856/REPORT_PACKET.md

@@ -0,0 +1,11 @@
+# Problem 856 Report Packet
+
+Public-facing report shape:
+- open problem status
+- harmonic-density / logarithmic-density framing
+- relation to `857`, `536`, and `20`
+- exact artifacts pulled or normalized this pass
+- next honest exponent-transfer move
+
+Avoid:
+- claiming more than a dossier/bridge advance unless a deeper theorem harness is actually added later

package/packs/sunflower/problems/856/ROUTE_PACKET.yaml

@@ -0,0 +1,13 @@
+route_packet_id: sunflower856_harmonic_density_bridge_v1
+route_id: harmonic_density_lcm_bridge
+frontier_claim: Keep the harmonic-density LCM analogue synchronized with the weak sunflower program and preserve explicit exponent-transfer artifacts.
+theorem_module: ""
+checkpoint_packet: CHECKPOINT_PACKET.md
+report_packet: REPORT_PACKET.md
+ready_prompts:
+  - Which exact exponent-transfer statement from 856 back to 857 should be frozen next?
+  - Which density-language artifact is still missing from the 856 bridge dossier?
+verification_hook:
+  - erdos sunflower status 856
+  - erdos sunflower board 856
+  - erdos problem artifacts 856 --json

package/packs/sunflower/problems/857/ATOMIC_BOARD.md

@@ -0,0 +1,52 @@
+# Problem 857 Atomic Board Packet
+
+- Profile: `deep_atomic_ops`
+- Source board JSON: `sunflower-coda/repo/analysis/problem857_redesign_gateboard.json`
+- Source board markdown: `sunflower-coda/repo/docs/PROBLEM857_REDESIGN_OPS_BOARD.md`
+- Module target: `sunflower-coda/repo/sunflower_lean/SunflowerLean/ObstructionExport.lean`
+
+## Route Status
+
+| Route | Loose | Strict |
+|---|---:|---:|
+| `o1a_foundation` | `2/3` | `2/3` |
+| `o1a_certificate_reduction` | `3/4` | `3/4` |
+| `o1a_residual_router` | `2/5` | `2/5` |
+| `o1a_hard_upgrade` | `1/5` | `1/5` |
+| `b2_recurrence_spine` | `0/4` | `0/4` |
+| `post_counting_redesign` | `3/9` | `3/9` |
+| `global_family_card_export` | `1/1` | `1/1` |
+| `chain_bucket_export` | `1/1` | `1/1` |
+| `pair_count_export` | `1/1` | `1/1` |
+| `core_slice_square_export` | `1/1` | `1/1` |
+| `m_cube_export` | `1/1` | `1/1` |
+| `explicit_remainder_export` | `1/1` | `1/1` |
+| `explicit_M_remainder_export` | `1/1` | `1/1` |
+| `o1a_existential_explicit_export` | `1/1` | `1/1` |
+| `anchored_selector_linearization` | `0/1` | `0/1` |
+
+## Active Ticket
+
+| Ticket | Leaf | Status | Gates | Atoms |
+|---|---|---|---:|---:|
+| `T10` Route Redesign T10: Anchored-Selector Linearization | `anchored_selector_linearization_realized` | `open` | `2/5` | `9/15` |
+
+## Ready Queue
+
+- `T10.G3.A2`: Promote the helper/theorem stack into `anchored_selector_linearization_realized`
+
+## First-Principles Ladder
+
+| Tier | Done |
+|---|---:|
+| `P0-SpecLock` | `30/30` |
+| `P1-StructuralKernel` | `30/30` |
+| `P2-QuantAssembly` | `24/30` |
+| `P3-InterfaceLift` | `24/30` |
+| `P4-Verification` | `26/30` |
+
+## Public-Pack Interpretation
+
+- This packet mirrors the live redesign board rather than inventing a new public abstraction.
+- The honest next atom is already known and dependency-satisfied.
+- The public sunflower pack should therefore present `857` as a route with a concrete active atom, not just a broad frontier label.

package/packs/sunflower/problems/857/ATOMIC_BOARD.yaml

@@ -0,0 +1,197 @@
+board_packet_id: weak857_anchored_selector_atomic_board_v1
+board_profile: deep_atomic_ops
+board_title: Problem 857 Post-Counting Redesign + Anchored-Selector Linearization Ops Board
+problem_id: "857"
+active_route: anchored_selector_linearization
+frontier_claim: Keep the public weak-sunflower pack aligned with the live anchored-selector frontier and expose the exact dependency-satisfied atom honestly.
+module_target: sunflower-coda/repo/sunflower_lean/SunflowerLean/ObstructionExport.lean
+source_kind: mirrored_from_lab
+source_board_json: sunflower-coda/repo/analysis/problem857_redesign_gateboard.json
+source_board_markdown: sunflower-coda/repo/docs/PROBLEM857_REDESIGN_OPS_BOARD.md
+active_ticket_id: T10
+route_status:
+  - route: o1a_foundation
+    loose_done: 2
+    loose_total: 3
+    strict_done: 2
+    strict_total: 3
+  - route: o1a_certificate_reduction
+    loose_done: 3
+    loose_total: 4
+    strict_done: 3
+    strict_total: 4
+  - route: o1a_residual_router
+    loose_done: 2
+    loose_total: 5
+    strict_done: 2
+    strict_total: 5
+  - route: o1a_hard_upgrade
+    loose_done: 1
+    loose_total: 5
+    strict_done: 1
+    strict_total: 5
+  - route: b2_recurrence_spine
+    loose_done: 0
+    loose_total: 4
+    strict_done: 0
+    strict_total: 4
+  - route: post_counting_redesign
+    loose_done: 3
+    loose_total: 9
+    strict_done: 3
+    strict_total: 9
+  - route: global_family_card_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: chain_bucket_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: pair_count_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: core_slice_square_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: m_cube_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: explicit_remainder_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: explicit_M_remainder_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: o1a_existential_explicit_export
+    loose_done: 1
+    loose_total: 1
+    strict_done: 1
+    strict_total: 1
+  - route: anchored_selector_linearization
+    loose_done: 0
+    loose_total: 1
+    strict_done: 0
+    strict_total: 1
+tickets:
+  - ticket_id: T1
+    ticket_name: "Route Redesign T1: Type-II Split Foundation"
+    route_leaf: typeII_bridge_v4
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T2
+    ticket_name: "Route Redesign T2: O1a Router and Core Split"
+    route_leaf: o1a_router_split_core_or_chain
+    leaf_status: open
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T3
+    ticket_name: "Route Redesign T3: Hard-Branch Certificate Reduction"
+    route_leaf: wlcert_hNotMem_reduction_o1aDomWL
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T4
+    ticket_name: "Route Redesign T4: Residual-Aware Router Leaf"
+    route_leaf: o1a_router_WmaxAt_reservoir_or_residual
+    leaf_status: open
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T5
+    ticket_name: "Route Redesign T5: Historical Hard Upgrade Interface"
+    route_leaf: o1a_upgrade_hasH_to_WmaxAt
+    leaf_status: open
+    gates_done: 2
+    gates_total: 5
+    atoms_done: 6
+    atoms_total: 15
+  - ticket_id: T6
+    ticket_name: "Route Redesign T6: B2 Recurrence Spine"
+    route_leaf: keyBadAgg_builder_on_minFiber_hardUpgrade
+    leaf_status: open
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T7
+    ticket_name: "Route Redesign T7: Global Family-Card Export"
+    route_leaf: global_family_card_export_under_O1aUpgradeRegime
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T8
+    ticket_name: "Route Redesign T8: Explicit Polynomial Remainder Export"
+    route_leaf: global_family_card_export_with_explicit_M_remainder_under_O1aUpgradeRegime
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T9
+    ticket_name: "Route Redesign T9: O1a Existential Explicit Export"
+    route_leaf: exists_anchor_with_explicit_M_remainder_export_of_ObstructionO1a
+    leaf_status: done
+    gates_done: 5
+    gates_total: 5
+    atoms_done: 15
+    atoms_total: 15
+  - ticket_id: T10
+    ticket_name: "Route Redesign T10: Anchored-Selector Linearization"
+    route_leaf: anchored_selector_linearization_realized
+    leaf_status: open
+    gates_done: 2
+    gates_total: 5
+    atoms_done: 9
+    atoms_total: 15
+ladder:
+  - tier: P0-SpecLock
+    done: 30
+    total: 30
+  - tier: P1-StructuralKernel
+    done: 30
+    total: 30
+  - tier: P2-QuantAssembly
+    done: 24
+    total: 30
+  - tier: P3-InterfaceLift
+    done: 24
+    total: 30
+  - tier: P4-Verification
+    done: 26
+    total: 30
+ready_queue:
+  - atom_id: T10.G3.A2
+    ticket_id: T10
+    gate_id: T10.G3
+    tier: P2-QuantAssembly
+    kind: work
+    title: Promote the helper/theorem stack into anchored_selector_linearization_realized
+    status: ready
+mirage_frontiers: []
+notes:
+  - Mirrored from the live sunflower-coda problem-857 lab board; counts reflect the current publicized redesign frontier.
+  - The first dependency-satisfied atom is T10.G3.A2, and the public pack should surface it directly rather than hiding it behind generic route language.
+  - Historical tickets such as T5 stay visible because they still matter for context, but T10 is the active public frontier.

package/src/cli/index.js

@@ -36,6 +36,7 @@ function printUsage() {
   console.log('  erdos preflight [--allow-dirty] [--json]');
   console.log('  erdos checkpoints sync [--json]');
   console.log('  erdos sunflower status [<id>] [--json]');
+  console.log('  erdos sunflower board [<id>] [--json]');
   console.log('  erdos dossier show <id>');
   console.log('  erdos upstream show');
   console.log('  erdos upstream sync [--write-package-snapshot]');

package/src/commands/sunflower.js

@@ -25,6 +25,10 @@ function parseStatusArgs(args) {
   return parsed;
 }
 
+function parseBoardArgs(args) {
+  return parseStatusArgs(args);
+}
+
 function printSunflowerStatus(snapshot, registryPaths) {
   console.log(`${snapshot.displayName} sunflower harness`);
   console.log(`Title: ${snapshot.title}`);
@@ -51,6 +55,26 @@ function printSunflowerStatus(snapshot, registryPaths) {
     console.log(`Route frontier claim: ${snapshot.routePacket.frontierClaim ?? '(none)'}`);
     console.log(`Theorem module: ${snapshot.routePacket.theoremModule ?? '(none)'}`);
   }
+  console.log(`Atomic board present: ${snapshot.atomicBoardPresent ? 'yes' : 'no'}`);
+  if (snapshot.atomicBoardSummary) {
+    console.log(`Atomic board: ${snapshot.atomicBoardSummary.boardTitle ?? '(none)'}`);
+    console.log(`Atomic board profile: ${snapshot.atomicBoardSummary.boardProfile ?? '(none)'}`);
+    console.log(`Atomic board route: ${snapshot.atomicBoardSummary.activeRoute ?? '(none)'}`);
+    console.log(`Atomic board claim: ${snapshot.atomicBoardSummary.frontierClaim ?? '(none)'}`);
+    console.log(`Atomic board module: ${snapshot.atomicBoardSummary.moduleTarget ?? '(none)'}`);
+    if (snapshot.activeTicket) {
+      console.log(
+        `Atomic board active ticket: ${snapshot.activeTicket.ticketId} ${snapshot.activeTicket.ticketName} `
+        + `[${snapshot.activeTicket.gatesDone}/${snapshot.activeTicket.gatesTotal} gates, `
+        + `${snapshot.activeTicket.atomsDone}/${snapshot.activeTicket.atomsTotal} atoms]`,
+      );
+    }
+    console.log(`Atomic board ready atoms: ${snapshot.readyAtomCount}`);
+    console.log(`Atomic board mirage frontiers: ${snapshot.mirageFrontierCount}`);
+    if (snapshot.firstReadyAtom) {
+      console.log(`Atomic board first ready atom: ${snapshot.firstReadyAtom.atomId} — ${snapshot.firstReadyAtom.title}`);
+    }
+  }
   console.log(`Agent start packet: ${snapshot.agentStartPresent ? snapshot.agentStartPath : '(missing)'}`);
   console.log(`Checkpoint packet: ${snapshot.checkpointPacketPresent ? snapshot.checkpointPacketPath : '(missing)'}`);
   console.log(`Report packet: ${snapshot.reportPacketPresent ? snapshot.reportPacketPath : '(missing)'}`);
@@ -76,21 +100,107 @@ function printSunflowerStatus(snapshot, registryPaths) {
   console.log(`Registry record: ${registryPaths.latestPath}`);
 }
 
+function printSunflowerBoard(snapshot) {
+  const board = snapshot.atomicBoardSummary;
+  if (!board) {
+    console.log(`${snapshot.displayName} has no packaged sunflower board yet.`);
+    return;
+  }
+
+  console.log(`${snapshot.displayName} sunflower board`);
+  console.log(`Title: ${board.boardTitle}`);
+  console.log(`Profile: ${board.boardProfile ?? '(none)'}`);
+  console.log(`Active route: ${board.activeRoute ?? '(none)'}`);
+  console.log(`Frontier claim: ${board.frontierClaim ?? '(none)'}`);
+  console.log(`Module target: ${board.moduleTarget ?? '(none)'}`);
+  console.log(`Source kind: ${board.sourceKind ?? '(none)'}`);
+  console.log(`Source board json: ${board.sourceBoardJson ?? '(none)'}`);
+  console.log(`Source board markdown: ${board.sourceBoardMarkdown ?? '(none)'}`);
+  console.log(`Board packet: ${board.atomicBoardPath}`);
+  console.log(`Board markdown: ${board.atomicBoardMarkdownPath ?? '(missing)'}`);
+  console.log(`Ready atoms: ${snapshot.readyAtomCount}`);
+  console.log(`Mirage frontiers: ${snapshot.mirageFrontierCount}`);
+  if (snapshot.activeTicket) {
+    console.log(
+      `Active ticket: ${snapshot.activeTicket.ticketId} ${snapshot.activeTicket.ticketName} `
+      + `[leaf=${snapshot.activeTicket.routeLeaf ?? '(none)'}, `
+      + `status=${snapshot.activeTicket.leafStatus ?? '(none)'}, `
+      + `gates=${snapshot.activeTicket.gatesDone}/${snapshot.activeTicket.gatesTotal}, `
+      + `atoms=${snapshot.activeTicket.atomsDone}/${snapshot.activeTicket.atomsTotal}]`,
+    );
+  }
+
+  console.log('Route status:');
+  if (board.routeStatus.length === 0) {
+    console.log('  (none)');
+  } else {
+    for (const route of board.routeStatus) {
+      console.log(
+        `  - ${route.route}: loose ${route.looseDone}/${route.looseTotal}, `
+        + `strict ${route.strictDone}/${route.strictTotal}`,
+      );
+    }
+  }
+
+  console.log('Ticket board:');
+  if (board.tickets.length === 0) {
+    console.log('  (none)');
+  } else {
+    for (const ticket of board.tickets) {
+      console.log(
+        `  - ${ticket.ticketId} ${ticket.ticketName}: ${ticket.routeLeaf ?? '(none)'} `
+        + `[leaf=${ticket.leafStatus ?? '(none)'}, gates=${ticket.gatesDone}/${ticket.gatesTotal}, `
+        + `atoms=${ticket.atomsDone}/${ticket.atomsTotal}]`,
+      );
+    }
+  }
+
+  console.log('First-principles ladder:');
+  if (board.ladder.length === 0) {
+    console.log('  (none)');
+  } else {
+    for (const rung of board.ladder) {
+      console.log(`  - ${rung.tier}: ${rung.done}/${rung.total}`);
+    }
+  }
+
+  console.log('Ready queue:');
+  if (board.readyQueue.length === 0) {
+    console.log('  (none)');
+  } else {
+    for (const atom of board.readyQueue) {
+      console.log(
+        `  - ${atom.atomId} (${atom.ticketId} / ${atom.gateId} / ${atom.tier ?? 'tier-unknown'}): ${atom.title}`,
+      );
+    }
+  }
+
+  console.log('Notes:');
+  if (board.notes.length === 0) {
+    console.log('  (none)');
+  } else {
+    for (const note of board.notes) {
+      console.log(`  - ${note}`);
+    }
+  }
+}
+
 export function runSunflowerCommand(args) {
   const [subcommand, ...rest] = args;
 
   if (!subcommand || subcommand === 'help' || subcommand === '--help') {
     console.log('Usage:');
     console.log('  erdos sunflower status [<id>] [--json]');
+    console.log('  erdos sunflower board [<id>] [--json]');
     return 0;
   }
 
-  if (subcommand !== 'status') {
+  if (subcommand !== 'status' && subcommand !== 'board') {
     console.error(`Unknown sunflower subcommand: ${subcommand}`);
     return 1;
   }
 
-  const parsed = parseStatusArgs(rest);
+  const parsed = subcommand === 'board' ? parseBoardArgs(rest) : parseStatusArgs(rest);
   if (parsed.error) {
     console.error(parsed.error);
     return 1;
@@ -121,6 +231,11 @@ export function runSunflowerCommand(args) {
     return 0;
   }
 
+  if (subcommand === 'board') {
+    printSunflowerBoard(snapshot);
+    return 0;
+  }
+
   printSunflowerStatus(snapshot, registryPaths);
   return 0;
 }

package/src/commands/workspace.js

@@ -58,6 +58,14 @@ export function runWorkspaceCommand(args) {
       console.log(`Sunflower harness profile: ${sunflower.harnessProfile ?? '(none)'}`);
       console.log(`Sunflower route: ${sunflower.activeRoute ?? '(none)'}`);
       console.log(`Sunflower frontier: ${sunflower.frontierDetail ?? '(none)'}`);
+      console.log(`Sunflower board: ${sunflower.atomicBoardPresent ? 'yes' : 'no'}`);
+      if (sunflower.atomicBoardSummary) {
+        console.log(`Sunflower board title: ${sunflower.atomicBoardSummary.boardTitle ?? '(none)'}`);
+        console.log(`Sunflower board ready atoms: ${sunflower.readyAtomCount}`);
+        if (sunflower.firstReadyAtom) {
+          console.log(`Sunflower first ready atom: ${sunflower.firstReadyAtom.atomId} — ${sunflower.firstReadyAtom.title}`);
+        }
+      }
       console.log(`Sunflower compute: ${sunflower.computeLanePresent ? 'yes' : 'no'}`);
       if (sunflower.activePacket) {
         console.log(`Sunflower compute lane: ${sunflower.activePacket.laneId} [${sunflower.activePacket.status}]`);

package/src/runtime/sunflower.js

@@ -55,6 +55,14 @@ function getSunflowerReportPacketPath(problemId) {
   return path.join(getSunflowerProblemDir(problemId), 'REPORT_PACKET.md');
 }
 
+function getSunflowerAtomicBoardPath(problemId) {
+  return path.join(getSunflowerProblemDir(problemId), 'ATOMIC_BOARD.yaml');
+}
+
+function getSunflowerAtomicBoardMarkdownPath(problemId) {
+  return path.join(getSunflowerProblemDir(problemId), 'ATOMIC_BOARD.md');
+}
+
 function parseStringList(value) {
   if (!Array.isArray(value)) {
     return [];
@@ -170,6 +178,129 @@ function readSunflowerRoutePacket(problemId) {
   };
 }
 
+function parseBoardCountEntries(value) {
+  if (!Array.isArray(value)) {
+    return [];
+  }
+
+  return value
+    .filter((entry) => entry && typeof entry === 'object')
+    .map((entry) => ({
+      route: compactText(entry.route),
+      tier: compactText(entry.tier),
+      looseDone: Number(entry.loose_done ?? 0),
+      looseTotal: Number(entry.loose_total ?? 0),
+      strictDone: Number(entry.strict_done ?? 0),
+      strictTotal: Number(entry.strict_total ?? 0),
+      done: Number(entry.done ?? 0),
+      total: Number(entry.total ?? 0),
+    }));
+}
+
+function parseTicketEntries(value) {
+  if (!Array.isArray(value)) {
+    return [];
+  }
+
+  return value
+    .filter((entry) => entry && typeof entry === 'object')
+    .map((entry) => ({
+      ticketId: compactText(entry.ticket_id),
+      ticketName: compactText(entry.ticket_name),
+      routeLeaf: compactText(entry.route_leaf),
+      leafStatus: compactText(entry.leaf_status),
+      gatesDone: Number(entry.gates_done ?? 0),
+      gatesTotal: Number(entry.gates_total ?? 0),
+      atomsDone: Number(entry.atoms_done ?? 0),
+      atomsTotal: Number(entry.atoms_total ?? 0),
+    }));
+}
+
+function parseReadyQueue(value) {
+  if (!Array.isArray(value)) {
+    return [];
+  }
+
+  return value
+    .filter((entry) => entry && typeof entry === 'object')
+    .map((entry) => ({
+      atomId: compactText(entry.atom_id),
+      ticketId: compactText(entry.ticket_id),
+      gateId: compactText(entry.gate_id),
+      tier: compactText(entry.tier),
+      kind: compactText(entry.kind),
+      title: compactText(entry.title),
+      status: compactText(entry.status),
+    }));
+}
+
+function parseMirageFrontiers(value) {
+  if (Array.isArray(value)) {
+    return value
+      .map((entry) => compactText(entry))
+      .filter(Boolean);
+  }
+  if (value === null || value === undefined) {
+    return [];
+  }
+  const text = compactText(value);
+  return text ? [text] : [];
+}
+
+function chooseActiveTicket(board) {
+  if (!board) {
+    return null;
+  }
+
+  if (board.activeTicketId) {
+    const explicit = board.tickets.find((ticket) => ticket.ticketId === board.activeTicketId);
+    if (explicit) {
+      return explicit;
+    }
+  }
+
+  return board.tickets.find((ticket) => ticket.leafStatus !== 'done')
+    ?? board.tickets[0]
+    ?? null;
+}
+
+function readSunflowerAtomicBoard(problemId) {
+  const atomicBoardPath = getSunflowerAtomicBoardPath(problemId);
+  const atomicBoardMarkdownPath = getSunflowerAtomicBoardMarkdownPath(problemId);
+  if (!fs.existsSync(atomicBoardPath)) {
+    return null;
+  }
+
+  const parsed = parse(fs.readFileSync(atomicBoardPath, 'utf8')) ?? {};
+  const board = {
+    boardPacketId: compactText(parsed.board_packet_id),
+    boardProfile: compactText(parsed.board_profile),
+    boardTitle: compactText(parsed.board_title),
+    problemId: compactText(parsed.problem_id) ?? String(problemId),
+    activeRoute: compactText(parsed.active_route),
+    frontierClaim: compactText(parsed.frontier_claim),
+    moduleTarget: compactText(parsed.module_target),
+    sourceKind: compactText(parsed.source_kind),
+    sourceBoardJson: compactText(parsed.source_board_json),
+    sourceBoardMarkdown: compactText(parsed.source_board_markdown),
+    activeTicketId: compactText(parsed.active_ticket_id),
+    routeStatus: parseBoardCountEntries(parsed.route_status),
+    tickets: parseTicketEntries(parsed.tickets),
+    ladder: parseBoardCountEntries(parsed.ladder),
+    readyQueue: parseReadyQueue(parsed.ready_queue),
+    mirageFrontiers: parseMirageFrontiers(parsed.mirage_frontiers),
+    notes: parseStringList(parsed.notes),
+    atomicBoardPath,
+    atomicBoardMarkdownPath,
+    atomicBoardMarkdownExists: fs.existsSync(atomicBoardMarkdownPath),
+  };
+
+  return {
+    ...board,
+    activeTicket: chooseActiveTicket(board),
+  };
+}
+
 function chooseActivePacket(packets) {
   if (packets.length === 0) {
     return null;
@@ -278,6 +409,33 @@ function compactPacket(packet) {
   };
 }
 
+function compactAtomicBoard(board) {
+  if (!board) {
+    return null;
+  }
+
+  return {
+    boardPacketId: board.boardPacketId,
+    boardProfile: board.boardProfile,
+    boardTitle: board.boardTitle,
+    activeRoute: board.activeRoute,
+    frontierClaim: board.frontierClaim,
+    moduleTarget: board.moduleTarget,
+    sourceKind: board.sourceKind,
+    sourceBoardJson: board.sourceBoardJson,
+    sourceBoardMarkdown: board.sourceBoardMarkdown,
+    atomicBoardPath: board.atomicBoardPath,
+    atomicBoardMarkdownPath: board.atomicBoardMarkdownExists ? board.atomicBoardMarkdownPath : null,
+    activeTicket: board.activeTicket,
+    routeStatus: board.routeStatus,
+    tickets: board.tickets,
+    ladder: board.ladder,
+    readyQueue: board.readyQueue,
+    mirageFrontiers: board.mirageFrontiers,
+    notes: board.notes,
+  };
+}
+
 function deriveRouteState(problem, context) {
   const researchState = problem.researchState ?? {};
   const solvedBySite = String(problem.siteStatus ?? '').toLowerCase() === 'solved';
@@ -311,6 +469,7 @@ function defaultQuestionLedger(problemId, routeState) {
 export function buildSunflowerStatusSnapshot(problem) {
   const context = readSunflowerContext(problem.problemId);
   const routePacket = readSunflowerRoutePacket(problem.problemId);
+  const atomicBoard = readSunflowerAtomicBoard(problem.problemId);
   const packets = listSunflowerComputePackets(problem.problemId);
   const activePacket = chooseActivePacket(packets);
   const summary = deriveSummary(activePacket);
@@ -320,6 +479,8 @@ export function buildSunflowerStatusSnapshot(problem) {
   const checkpointPacketPath = getSunflowerCheckpointPacketPath(problem.problemId);
   const reportPacketPath = getSunflowerReportPacketPath(problem.problemId);
 
+  const firstReadyAtom = atomicBoard?.readyQueue?.[0] ?? null;
+
   return {
     generatedAt: new Date().toISOString(),
     problemId: problem.problemId,
@@ -334,10 +495,20 @@ export function buildSunflowerStatusSnapshot(problem) {
     harnessProfile: context?.harnessProfile ?? null,
     bootstrapFocus: context?.bootstrapFocus ?? null,
     routeStory: context?.routeStory ?? null,
-    frontierLabel: context?.frontierLabel ?? (activePacket?.question ? 'compute_packet' : null),
-    frontierDetail: context?.frontierDetail ?? activePacket?.question ?? summary.computeSummary,
+    frontierLabel:
+      context?.frontierLabel
+      ?? atomicBoard?.activeRoute
+      ?? (activePacket?.question ? 'compute_packet' : null),
+    frontierDetail:
+      context?.frontierDetail
+      ?? atomicBoard?.frontierClaim
+      ?? activePacket?.question
+      ?? summary.computeSummary,
     checkpointFocus: context?.checkpointFocus ?? null,
-    nextHonestMove: context?.nextHonestMove ?? summary.computeNextAction,
+    nextHonestMove:
+      firstReadyAtom
+        ? `${firstReadyAtom.atomId} — ${firstReadyAtom.title}`
+        : context?.nextHonestMove ?? summary.computeNextAction,
     relatedCoreProblems: context?.relatedCoreProblems ?? [],
     literatureFocus: context?.literatureFocus ?? [],
     artifactFocus: context?.artifactFocus ?? [],
@@ -353,6 +524,14 @@ export function buildSunflowerStatusSnapshot(problem) {
     checkpointPacketPath: fs.existsSync(checkpointPacketPath) ? checkpointPacketPath : null,
     reportPacketPresent: fs.existsSync(reportPacketPath),
     reportPacketPath: fs.existsSync(reportPacketPath) ? reportPacketPath : null,
+    atomicBoardPresent: Boolean(atomicBoard),
+    atomicBoardPath: atomicBoard?.atomicBoardPath ?? null,
+    atomicBoardMarkdownPath: atomicBoard?.atomicBoardMarkdownExists ? atomicBoard.atomicBoardMarkdownPath : null,
+    atomicBoard,
+    activeTicket: atomicBoard?.activeTicket ?? null,
+    readyAtomCount: atomicBoard?.readyQueue?.length ?? 0,
+    firstReadyAtom,
+    mirageFrontierCount: atomicBoard?.mirageFrontiers?.length ?? 0,
     computeLanePresent: Boolean(activePacket),
     computeLaneCount: packets.length,
     computeSummary: summary.computeSummary,
@@ -363,6 +542,7 @@ export function buildSunflowerStatusSnapshot(problem) {
     computeGovernance,
     activePacket: compactPacket(activePacket),
     computePackets: packets.map((packet) => compactPacket(packet)),
+    atomicBoardSummary: compactAtomicBoard(atomicBoard),
   };
 }