Lock: ω.η BFO-only with PROV-O + IAO via SSSOM-mediated alignment

Locked at: 2026-05-02T04:24 BST per Rich confirmation

Margin: ω.η 4.30 vs ω.α + ω.β tied 4.20 = 0.10 sensitivity-borderline (below 0.20 threshold); 8 perturbations split 4 ω.β / 3 ω.η / 1 tied — MOST CONTESTED ζ.2 decision under refined prompt yet (more sensitivity-borderline than ζ-Q2 ξ.η at 0.05 baseline).

7 options scored under κ.θ-LITE 12 architecture criteria: ω.α BFO-only 4.20 / ω.β BFO+PROV-O Hybrid 4.20 / ω.γ BFO+IAO 4.00 / ω.δ BFO+DOLCE 3.10 / ω.ε max 2.85 / ω.ζ no-upper 2.05 / ω.η ★ 4.30 Rich-locked.

Locked ω.η commits the architecture to:

  1. Single-upper OWL inheritance: ε.ε 9 i-ζ classes inherit ONLY from BFO 2020 (via CCO Artifact); NO multi-parent
  2. SSSOM-mediated alignment: PROV-O + IAO captured as SSSOM TSV rows in inherit.sssom.tsv per A-22; skos:exactMatch/closeMatch/relatedMatch graded by maturity
  3. Prudhomme 2025 vendoring: Nature Scientific Data alignment file (GitHub BFO-Mappings/PROV-to-BFO; Zenodo DOI 10.5281/zenodo.14692262) vendored as ontology/mappings/prudhomme-prov-to-bfo-2025.sssom.tsv with commit-SHA pinning per A-33
  4. IAO Donohue 2017 reuse: IAO_0000033 directive-information-entity reuse continued; zero new IRI namespace cost
  5. NOT axiomatic reasoning over PROV-O + IAO classes Phase-1: alignment metadata only; not subsumption/equivalence in OWL closure

WR Finding grounding:

  • Finding 1: Prudhomme et al. 2025 Nature Scientific Data PROV-O→BFO mapping — MAJOR DE-RISKING for Hybrid options vs MQ-001 R2 reversal-time evidence base; “total alignment of every class and object property in all W3C extensions of PROV-O to BFO, CCO, or RO”
  • Finding 2: GitHub BFO-Mappings/PROV-to-BFO + Zenodo DOI — production-ready alignment files commit-SHA-vendorable
  • Finding 3: Beverley UB Buffalo + Procko/Ochoa SSRN — institutional commentary; acquirer-narrative anchor

8 sensitivity perturbations — ω.η wins 3, ω.β wins 4, 1 ties:

  1. AI-vendor attestability ↑ to 0.15: ω.β 4.40 vs ω.η 4.30 (margin 0.10; ω.β top)
  2. Acquirer-narrative ↑ to 0.20: ω.β 4.40 vs ω.η 4.25 (ω.β top)
  3. Maintainability ↑ to 0.15: ω.α 4.30 = ω.η 4.30 (TIED)
  4. TT commercial velocity ↑ to 0.25: ω.η 4.40 vs ω.α 4.30 (ω.η top)
  5. Adopt WR Finding 1 evidence boost ω.β #11: ω.β 4.35 vs ω.η 4.30 (ω.β top)
  6. Drop Finding 1 boost (treat as build-complexity): ω.η 4.30 vs ω.α 4.20 (ω.η top)
  7. Add new criterion “build-complexity-low” weight 0.05: ω.η 4.40 vs ω.α 4.30 (ω.η top)
  8. κ.γ fallback drop 4-5-7: ω.β 3.75 vs ω.η 3.65 (ω.β top)

**3 NEW richard-tasks 216-218**:

  • #216 Vendor Prudhomme 2025 alignment file + commit-SHA pinning (~1 day)
  • #217 Author 2 NEW SSSOM TSV rows in inherit.sssom.tsv (~½ day; PROV-O + IAO mappings)
  • #218 Update iri-verify CI gate spec to cover PROV-O + IAO release tracking (~½ day)

Methodological observations:

  1. FOURTH Q under refined-prompt v3.0.1 — 10-step protocol executed cleanly; pattern stable
  2. MOST CONTESTED ζ.2 decision under refined prompt yet — margin 0.10 sensitivity-borderline; 4-3-1 perturbation split (4 favour ω.β / 3 favour ω.η / 1 ties); honestly flagged + Rich-override capability preserved; Rich CHOSE Claude pick at sensitivity-borderline
  3. FIRST refined-prompt Q to REVERSE a prior reversal direction — MQ-001 R2 reversed ω.γ → ω.α (BFO-only); refined prompt re-derives ω.η BETWEEN them (BFO-only single-upper but with SSSOM-mediated PROV-O + IAO alignment captured). Captures Prudhomme 2025 evidence-value via SSSOM catalog WITHOUT multi-parent OWL inheritance complexity that drove MQ-001 R2.
  4. FIRST refined-prompt Q where NEW Greek-prefix option (ω.η) is the synthesis — PRE-REFINED-PROMPT option-set was ω.α through ω.ε; refined-prompt brainstorming widening produced ω.η (SSSOM-mediated synthesis) as 7th option that Rich locked. Validates refined-prompt step 7 “6-8 GENUINELY innovative options” discipline.
  5. 4/4 refined-prompt Phase-2 decisions chose synthesis options: κ.θ utility-tree at ζ-Q1 + ξ.η G+ + Phase-1-graphRAG at ζ-Q2 + ε.ε CCO/BFO + 9 classes at ζ-Q3 (convergent with PRE-REFINED-PROMPT) + ω.η BFO-only with SSSOM-mediated synthesis at ζ-Q4 (NEW synthesis NOT in PRE-REFINED-PROMPT option-set). Codification candidate feedback_synthesis_options_under_refined_prompt.
  6. Honours MQ-001 R2 reversal lesson while capturing post-reversal evidence (Prudhomme 2025 publication) — demonstrates refined-prompt works ON BOTH SIDES of prior reversal: respect reversal logic (build-complexity) AND honour new evidence (Nature Scientific Data publication).

NO REVERSAL of: A-126 κ.θ frame; A-127 ξ.η G+ + Phase-1-graphRAG; A-128 ε.ε CCO/BFO 9 i-ζ classes (BFO foundational preserved; ω.η is single-upper aligned with ε.ε); A-1..A-125; MQ-000 ζ.2; A-22 SSSOM-canonical pin (USED); A-33 commit-SHA pinning (EXTENDED); A-113 sovereignty; A-114 Cedar+Catala substrate; brand-architecture v1.16; master plan v1.10; per-repo BUILD-PLAN v1.4-1.6; refined-prompt v3.0.1; feedback_iri_verification_before_lock.

NO new SKOS classifier scheme (alignment uses existing skos predicates). NO new A-21 CI gate in this amendment (G-SSSOM-VALIDATE candidate from PRE-REFINED-PROMPT may emerge at ζ-Q5 re-ask); CI gate count UNCHANGED at 19. NO cross-module primitive count change (still 27). NO module change (still 9). Risk count UNCHANGED at 35 (R-NEW-CCO-IRI-CHURN extended to cover PROV-O + IAO).

Phase 2 status post-lock: 4 Q answered/cascaded (ζ-Q1 + ζ-Q2 + ζ-Q3 + ζ-Q4) / 18-30 budget / 13-22% complete; pre-build-start cumulative 4/100-150.

NEXT: ζ-Q5 = Phase 2 — Shape X angle (iv) alignment-axiom strength. Per audit-record §5 re-ask sequence S-5. PRE-REFINED-PROMPT pick was ψ.γ SSSOM-canonical 3-tier (Draft/Candidate/Stable per A-55 MaturityScheme reuse) + Prudhomme-vendored. Refined-prompt re-derivation under ω.η lock — given ω.η commits SSSOM-mediated alignment, ζ-Q5 asks STRENGTH of axiom for SSSOM rows (skos:exactMatch / closeMatch / relatedMatch / owl:equivalentClass / rdfs:subClassOf / SSSOM v1.1 curation_rule).