ν.β C3 Registrations Phase-1 scope re-validation — CLOSED 2026-05-04

Spike: C3 — Registrations Phase-1 scope re-validation Suite: ν.β SOTA-derisking (Wave 1) Target Q-NU: Q-NU-008 → ζ-Q13 Outcome: outcome-VALIDATED Kill condition: NOT-MET (all 3 scenarios codegen + pyshacl PASS; 7/7 minor-bump compat) Date: Monday 4 May 2026

Key findings

  1. Δ.β CORE STANDS — historic Q-013 lock (2026-05-01T05:55 BST) re-validated under v3.8+. Optional registrations[] slot on Will + ExecutedEstate passes all empirical tests.

  2. Q-005 κ.δ orthogonal — alignment-axiom strength lock does NOT affect Δ.β. RegistryEnum + VerificationTierEnum are within-module enums, not cross-module SSSOM alignment axioms.

  3. Minor-bump backward-compat CONFIRMED — 7/7 subprocess-isolated pyshacl runs: v1 data conforms to v2 SHACL after adding 2 optional fields. Mean 0.176s. Inherits ν.α A1 minor-only policy.

  4. R3 BFO role-event: architecturally heavier (reverse-join for Will registrations); suitable for Phase-2+ PROV-O temporal tracking upgrade, not Phase-1.

  5. Tier 2 gap confirmed: No T-file covers NWR/RoS specifically (T52 covers broader UK gov APIs). Q-013 §9.2 library gap finding stands.

  6. gen-shacl range:uri quirk: generates sh:datatype xsd:anyURI sh:nodeKind sh:Literal — practitioners must use "..."^^xsd:anyURI not <...> IRI nodes.

Empirical measurements

  • 12/12 codegen runs (gen-pydantic / gen-json-schema / gen-shacl): all rc=0
  • R1v1 pyshacl valid: conforms=True 0.155s
  • R1v1 pyshacl invalid: conforms=False 2 violations 0.167s (correct rejection)
  • R1v2 minor-bump: 7/7 conforms=True mean 0.176s (min 0.165s max 0.186s)
  • gen-pydantic mean (N=5): 0.930s

Files created

  • T-file: /home/richardd/off-github/library/projects/inherit/T-spike-nu-beta-C3-registrations-phase-1-scope-2026-05-04.md
  • Q-NU-008: /home/richardd/testatetech/docs-strategy/docs/superpowers/specs/2026-04-29-multi-phase-audit/current-questions/Q-NU-008-registrations-phase-1-scope-revalidation.md
  • Closure bundle: /tmp/spike-nu-beta-C3/closure-bundle.md

Proposed arch-state §13.2 row (for wave-runner to apply atomically)

| C3 | Q-NU-008 | outcome-VALIDATED | optional registrations[] slot (Δ.β) passes 12/12 codegen + 7/7 minor-bump compat; Q-005 κ.δ orthogonal; R3 BFO role-event confirmed Phase-2+ upgrade path | T-file: T-spike-nu-beta-C3-registrations-phase-1-scope-2026-05-04.md |

Phase-1 action confirmed

Phase-3 Sprint S2/S3: add registrations: Optional[list[RegistrationRecord]] to Will + ExecutedEstate (~30 min per A1 benchmark). Phase-1.5+ NWR/RoS API integration sprints unchanged.