# Current structural leaf-basis audit — Specification 1.6.3

3 September 2026

## Outcome

**Unratified reviewer finding: PASS** at the declared current extraction boundary: **592 nodes** and **1896 provenance-bearing edges** bottom out in explicitly classified formal leaves. All 32 targeted architecture assertions and 17 finite condition witnesses pass. This audit remains pending Bree Beal's adjudication.

This result is structural. It does not establish a uniquely natural axiom basis, global model-theoretic independence, empirical truth, measurement validity, or prose–code equivalence outside the executable model's declared scope.

## What was checked

- 279 displayed-clause-defined symbols and 313 explicitly classified terminals.
- Edge census: constrains 1025, defeasibly implies 3, defines 852, implies 16.
- The Gate 2 three-builder architecture: an independent positive/negative inherent-valence profile, valence-neutral Relational Positioning, and Agency. The separate positive/negative valence-by-Agency profile feeds a derived relationship-strength gate, not a fourth builder; CoreMRCondition conjoins that derived gate with CoreGate.
- The exact three positioning-route families and three identity forms, plus functional-access and bound-profile contribution separation.
- The operation-relative strict-bender/core-changing distinction: builder realization, input, or modulation is sufficient but not exhaustive for unindexed CoreChangingFactor status. That unindexed status cannot exclude a separately evidenced strict-bender operation by the same support unit; operation-specific core preservation remains represented by CoreProfilePreservedOn_s. A strict path preserves an exact relationship-core snapshot—including the subject-gate basis, value, floor, and verdict—while a live, accessible, same-chain path reaches one of twelve governed downstream loci (including residue), locally actually contributes, and is tested against a separately registered provenance-bound counterpart. Valence, positioning, bender, and attractor edges retain independent evidence and lesion tests.
- Standing-mediated positioning is retired; opposition is contrastive positioning rather than negative valence; distance is absence of qualifying positioning only under an adequate scheme.
- The historical 1.4.5 scalar-Closeness audit remains a historical baseline: its F3 and ObjClose_s symbols are quarantined there and are not projected as current authority.

## Interpretation limit

This is a dependency/leaf-basis and finite-condition audit, not a model-theoretic proof that every primitive is logically independent in all interpretations. Ordinary reachability unions antecedents from alternatives inside the governed Relational Positioning and identity-form disjunctions; that union must not be read as making every alternative conjunctively necessary.

## Reproducibility

- Formal source SHA-256: `a93f7de0771e1c028bd01299f05a46689ad1a27aaa81de576e3e495c3d3668b4`.
- Governed graph SHA-256: `8f6c0bfe7724f11a267d5c79d6493af7fd969321ce63eb04411caec805152f78`.
- Native audit SHA-256: `a45a9248d789cf5d1c6916fd92598c363c2401d9ebf01b5bd36b75da49759915`.
- The phase audit's builder, validator, run record, and SHA256SUMS remain the governing technical evidence; this file is its reader projection.