# A-1 Spike Results — CONFIRMED

**Date**: 2026-07-29
**Run by**: bboonnee, real authenticated account
**Cost**: ~$0.46 total

## Verdict

`check-results.py` verdict: **A-1 CONFIRMED** (5/5 Test 1 checks PASS).

## Test 1 — normal `claude -p ... < /dev/null`

- exit 0, 40s wall time, no interactive prompt, no hang
- `structured_output`: `{"input_numbers":[2,3,4],"squares":[4,9,16],"sum":29}` — exact match, meaning the runtime genuinely executed the 3-way `agent()` fan-out plus the script-level reduce, not a simulated/echoed result
- `permission_denials`: empty
- `total_cost_usd`: 0.3817 (this call alone)

Raw output: `result-test1.json`

## Test 2 — `--bare` mode

Failed, but not for the reason the original README hypothesized (workflow-discovery skip). Root cause: `--bare` skips credential/login-state discovery entirely — `result: "Not logged in · Please run /login"`. Confirmed independently with a trivial non-workflow prompt under `--bare` (same error), ruling out a workflow-specific bug.

**Implication**: `c_work_graph_execute` must invoke `claude -p` **without** `--bare`. Slower cold start, but reliable. This is now the documented contract in `03-C-控制与接口.md` §3.5.

Raw output: `result-test2-bare.json`

## What changed in the SDD as a result

- `docs/sdd/00-SDD-生成记录.md`: A-1 status `pending` → `confirmed`
- `docs/sdd/03-C-控制与接口.md` §3.5: added the concrete, verified invocation contract for `c_work_graph_execute` (write workflow to target repo's `.claude/workflows/`, subprocess `claude -p` without `--bare`, parse `structured_output`, map `total_cost_usd`/`usage` into budget guardrails)
- `docs/sdd/05-实施约束与依赖.md` §5.4/§5.5: risk resolved, spike step no longer needed before Work Graph implementation
- `docs/sdd/sdd-mvcp-contract.json`: `assumptions[A-1].status` → `confirmed`, `risks[R-1].status` → `resolved` (schema-revalidated, still `VALID`)
- `docs/graphlemon_architecture.md` §10.1: added confirmation note, version bumped to v0.10

A-2 and A-3 remain `pending` — not in scope of this spike.