# RCIG K3NEWMAN Strategic Confluence Kernel v0.27

K3NEWMAN proves SCNF canonicality by combining:

1. a globally descending SCNF measure;
2. a recomputed grammar-level critical-pair basis;
3. Newman's lemma;
4. one deterministic source normalization witness.

Reusable basis:

```text
abstract configurations: 512
normalization edges: 1056
fork configurations: 360
critical pairs: 832
overlap classes: 9
all critical pairs one-step diamonds: yes
```

Reference source proof compression:

```text
Run 157 exhaustive source graph:
  32 states / 80 edges

Run 159 Newman witness:
  6 states / 5 steps
```

Both produce canonical digest:

```text
1ba99efb8c2e9bdeeedab18df7dfdc674dbb36bce27fd64000989d4dcaa88351
```

## Windows / PowerShell

```powershell
py -m pip install jsonschema
py .\rcig_k3newman_strategic_confluence_kernel_v0_27.py .\samples\newman_confluence.json --schema .\RCIG_CDIR_v0.27.schema.json
py .\test_rcig_k3newman_strategic_confluence_kernel_v0_27.py
```

Current conformance result: 14 / 14.