ν.α Spike Z3 — ODP role-modelling CLOSED 2026-05-03
Status
CLOSED outcome-VALIDATED 2026-05-03T21:30 BST. Spike Z3 of ν.α / ζ.3 SOTA-derisking suite. Substrate for ζ-Q8 class-boundaries re-ask. Q-NU-003 placeholder populated (state 1 → state 3).
Cascade complete
| Surface | Outcome |
|---|---|
| T-file | ~/off-github/library/projects/inherit/T-spike-zeta-3-Z3-odp-role-modelling-2026-05-03.md v1.0 |
| Cascade-Q placeholder | ~/testatetech/docs-strategy/docs/superpowers/specs/2026-04-29-multi-phase-audit/current-questions/Q-NU-003-odp-role-modelling-strategy.md v0.3 (state 1→3) |
| Active-work-log | CLAIMED at session start; CLOSED entry (this session) |
| Memory | this file |
| Closure bundle | /tmp/spike-zeta-3-Z3/closure-bundle.md |
Empirical findings
4 frameworks loaded and analysed:
- BFO 2020
bfo-core.owl(1,014 triples):BFO:0000023(role) as RealizableEntity sub-class; 3 direct RealizableEntity sub-classes (disposition, role, function); social-commitment definition aligns with fiduciary law - DUL
DUL.owl(1,917 triples; turtle):DUL:Roleas Concept (not bearer); 4 role properties (hasRole/isRoleOf/definesRole/isRoleDefinedIn); 0 named sub-classes (extensible by design) - IAO
iao.owl(5,210 triples): onlyIAO:0000442(author role) as BFO:0000023 sub-class; confirms extension pattern production-viable - OntoUML 2.0 corpus (80 of 1,752 models scanned): 1,758 Role + 1,151 Relator stereotype instances confirmed; lowercase
ontouml#roleIRI (not capitalized)
Key ontological distinction: BFO treats role as realizable entity IN the bearer (legal force in the person). DUL treats role as a Concept classifying an Object within a Situation. For fiduciary domains, BFO is ontologically superior.
4-case × 4-framework matrix summary
| Framework | Sum E | Sum T | Sum W | Total |
|---|---|---|---|---|
| OntoUML 2.0 | 19 | 8 | 4 | 31 |
| DOLCE/DUL | 16 | 12 | 4 | 32 |
| BFO 2020 | 15 | 20 | 12 | 47 |
| IAO/OBI | 8 | 13 | 8 | 29 |
BFO 2020 wins on tooling (owlready2/ROBOT/CI full stack) + acquirer-DD weight (ISO 23961 adoption).
Kill condition: NOT-MET
No framework produces irrecoverable expressiveness loss within BFO 2020 + CCO 1.5+ commitment.
Recommended posture for ζ-Q8
- Fiduciary roles as
BFO:0000023sub-classes (bearer-focused, social-commitment definition) - DUL-inspired
inherit:hasRole/inherit:isRoleOfconvenience properties (no DUL import) - Executor phase transition: two BFO role classes + PROV-O temporal anchoring (per Spike 9
c60847a4) - OntoUML as design-documentation notation only (not runtime OWL import)
T-NEW Z3-1
PHASE-TRANSITION-BFO-GAP: BFO lacks native Phase primitive (OntoUML Phase stereotype superior for Executor → former-Executor transition). LOW severity for Phase-1; MEDIUM for Phase-1.5+. Recommend adding to S6 T-NEW catalogue.
Target Q
- Q-NU-003 → substrate for ζ-Q8 class-boundaries re-ask
- Q-NU-003 is NOT lock-eligible until natural-sequence ζ-Q8 reaches queue-top
File paths (verbatim)
- T-file:
~/off-github/library/projects/inherit/T-spike-zeta-3-Z3-odp-role-modelling-2026-05-03.md - Cascade-Q:
~/testatetech/docs-strategy/docs/superpowers/specs/2026-04-29-multi-phase-audit/current-questions/Q-NU-003-odp-role-modelling-strategy.md - Closure bundle:
/tmp/spike-zeta-3-Z3/closure-bundle.md