# WSFC State Crystal 12

**Code:** `WSFC-SC-12-v0.1`  
**Date:** 2026-09-23  
**Canonical Round:** `WSFC-R12-v0.1`

## New runtime component

```text
Generic Point-to-Segment Certificate Compiler
```

## Output schema

```text
WSFC-SEGCOMP-0.1
```

## Core polynomials

```text
A  = w·v
N  = ||v||²
S  = A+N
H0 = fixed endpoint clearance
L  = supporting-line clearance
H1 = moving endpoint clearance
```

## Root set

```text
A=0
S=0
N=0
L=0
H1=0
```

## Tests

```text
Canonical:
  switch 1/2
  line-only tangency 6/7
  actual event 1

Irrational:
  actual endpoint contact
  2 - sqrt(3)/2
  algebraic isolating interval emitted
```

## Next

```text
COMPILER SOUNDNESS LAYER
```

===END===