ν.β 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
-
Δ.β 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. -
Q-005 κ.δ orthogonal — alignment-axiom strength lock does NOT affect Δ.β. RegistryEnum + VerificationTierEnum are within-module enums, not cross-module SSSOM alignment axioms.
-
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.
-
R3 BFO role-event: architecturally heavier (reverse-join for Will registrations); suitable for Phase-2+ PROV-O temporal tracking upgrade, not Phase-1.
-
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.
-
gen-shacl range:uri quirk: generates
sh:datatype xsd:anyURI sh:nodeKind sh:Literal— practitioners must use"..."^^xsd:anyURInot<...>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.