# Phase 0 §12A — assumption evidence placeholders

**Updated:** 2026-06-13 (A-019 closed; evidence commit `08f7d14`, A-019 bundle `f26f28b`)  
**Contract:** [preflight-evidence-contract.md](../../specs/001-v8-phase0-preflight/contracts/preflight-evidence-contract.md)

Phase 1-blocking assumptions tracked for §12A pre-flight. Update verdicts only when linked artifacts satisfy contract rules.

---

## A-001 — Measurement repeatability

```yaml
id: A-001
statement: "sf-bench S/M/N token method is stable across re-runs on same binary"
phase_blocked: [0, 1]
validation:
  kind: performance
  method: "Re-run battery 2×; accepted-session net variance ≤ 2%"
  artifact: docs/research/A-001-measurement-repeatability.md
verdict: VALIDATED
validated_at: 2026-06-13
notes: "In-repo 2× battery; 0% session_net variance (14,389; 20 rows). B-SFBENCH closed."
```

---

## A-002 — Manual baseline spot-check

```yaml
id: A-002
statement: "Competent-manual baseline matches sf-bench M"
phase_blocked: [0, 1]
validation:
  kind: performance
  method: "6 spot checks: manual harness vs judge expectations"
  artifact: docs/research/A-002-manual-spotcheck.md
verdict: VALIDATED
validated_at: 2026-06-13
notes: "6/6 spot checks in-repo"
```

---

## A-003 — Harness shakedown

```yaml
id: A-003
statement: "v8 branch release binary runs full harness without error"
phase_blocked: [0, 1]
validation:
  kind: performance
  method: "results-v8-harness-shakedown.json on target/release"
  artifact: docs/research/A-003-harness-shakedown.md
verdict: PARTIAL
validated_at: 2026-06-13
notes: "MCP shakedown PASS (A-003-mcp-shakedown.jsonl); full battery row classification deferred"
```

---

## A-004 — Equivalence audit

```yaml
id: A-004
statement: "Equivalence judge correlates with human good-enough on sampled rows"
phase_blocked: [0, 1]
validation:
  kind: performance
  method: "20 stratified samples; FP+FN ≤ 10%"
  artifact: docs/research/A-004-equiv-audit.md
verdict: VALIDATED
validated_at: 2026-06-13
notes: "20 stratified samples; 0% FP+FN"
```

---

## A-005 — Public schema budget (H1)

```yaml
id: A-005
statement: "Compact 3-tool MCP surface ≤ 5,000 B JSON schema"
phase_blocked: [0, 1]
validation:
  kind: host_measurement
  method: "scripts/measure-schema-bytes.ps1"
  artifact: docs/research/A-005-schema-bytes-summary.md
verdict: VALIDATED
validated_at: 2026-06-13
notes: "Compact tools/list 891 B (budget 5,000 B); surface_probe.rs"
```

---

## A-006 — Host schema amortization

```yaml
id: A-006
statement: "Hosts amortize schema so per-call tax < sf-bench ÷50 on long sessions"
phase_blocked: [0, 1]
validation:
  kind: host_measurement
  method: "Host measurement or conservative worst-case accounting"
  artifact: docs/research/A-006-host-schema.md
verdict: OPEN
validated_at: null
notes: "POLICY DOCUMENTED: conservative worst-case until host-validated"
```

---

## A-012 — Bypass policy

```yaml
id: A-012
statement: "Bypass eliminates sGteM while preserving task completion"
phase_blocked: [0, 1, 2]
validation:
  kind: performance
  method: "Two-hop harness OR serve-only H3 interim scope"
  artifact: docs/research/A-012-bypass-policy.md
verdict: OPEN
validated_at: null
notes: "INTERIM POLICY SELECTED: serve-only H3 scope until two-hop lands"
```

---

## A-019 — L0 surface choice

```yaml
id: A-019
statement: "Selected L0 surface beats alternatives on session_net and equivalence"
phase_blocked: [0, 1]
validation:
  kind: performance
  method: "A/B compact-3 vs meta-1 vs full-32 on pinned 20-row battery"
  artifact: docs/research/A-019-l0-surface-choice.md
verdict: VALIDATED
validated_at: 2026-06-13
notes: "compact-3 wins (session_net 14389 tied with meta-1; H1 PASS 891 B; tie-break simpler)"
```

---

## A-025 — Edit schema budget

```yaml
id: A-025
statement: "symforge_edit JSON Schema ≤ 1,500 B or accepted pivot"
phase_blocked: [1]
validation:
  kind: host_measurement
  method: "Measured list_tools bytes for edit surface"
  artifact: docs/research/A-005-schema-bytes-summary.md
verdict: VALIDATED
validated_at: 2026-06-13
notes: "Unit test PASS; edit schema ≤1,500 B"
```

---

## A-027 — Battery schema divisor

```yaml
id: A-027
statement: "Battery schema divisor ÷50 is harness-only until A-006 host-validated"
phase_blocked: [0, 1]
validation:
  kind: research
  method: "Document in sf-bench spec; controller uses conservative max"
  artifact: docs/research/A-006-host-schema.md
verdict: OPEN
validated_at: null
notes: "POLICY DOCUMENTED: linked with A-006 conservative accounting"
```

---

## A-028 — Golden route semantics

```yaml
id: A-028
statement: "Golden rows include expected_equiv and expected_decision"
phase_blocked: [0, 1, 2]
validation:
  kind: path
  method: "36-row JSONL validation + 10-row human semantic review"
  artifact: docs/research/A-028-golden-routes.md
verdict: VALIDATED
validated_at: 2026-06-13
notes: "36 rows docs/fixtures/routes.golden.jsonl; validator PASS; 13 reviewed notes"
```

---

## A-032 — P-FF full-file bypass rows

```yaml
id: A-032
statement: "Full-file review tasks use P-FF (bypass, eligible_h6=false)"
phase_blocked: [0, 1]
validation:
  kind: path
  method: "4 rows in routes.golden.jsonl + README rules"
  artifact: docs/research/A-012-bypass-policy.md
verdict: PARTIAL
validated_at: 2026-06-13
notes: "4 P-FF rows seeded in golden corpus; battery enforcement §12B"
```
