TT Claude Memory

project_technology_research_synthesis_2026_04_25

Properties1
descriptionComprehensive synthesis of 8 parallel subagent research runs covering SKOS/XKOS/cmns-cls + PROV-O + Akoma Ntoso/ELI/ECLI + ROBOT + OpenAPI/Arazzo + SSSOM + F*/Mopsa + External ontologies (CIDOC/FIBO/LADM/BFO). 7 of 7 complete MEDIUM-or-higher subagents found material discoveries. No Phase-B or Catala scope-δ locks disturbed. Major strategic shift: ISO-track positioning is stronger than baselined. T1 MCP + T2 VC+DID+KERI + T3 JSON Schema + T4 SHACL still pending further research.

8 min read

Technology research synthesis 2026-04-25

Cross-programme synthesis from 8 parallel subagents dispatched 2026-04-25 following Catala ecosystem-discovery precedent (11th session auto-deep-dive win). 7 of 7 complete MEDIUM-or-higher subagents found material discoveries — Catala-precedent validated across domains.

Yield summary

  • Programme cost: ~£35-50 (8 parallel subagents, ~3-5 min each dispatch + ~10-20 min wall-clock)
  • Programme yield: 10 top-tier discoveries + 16 new tensions + 5 cross-technology convergent threads + 3 new citations + 4 ISO-track positioning boosts
  • Impact distribution: 6 MEDIUM-HIGH + 1 MEDIUM-LOW + 1 MIXED (per-family)
  • Retroactive impact: zero revisions needed to Phase-B locks or Catala scope-δ; all research STRENGTHENS existing decisions

Top 10 discoveries (ranked by impact × actionability)

HIGHEST architectural-level impact

  1. PROV-O → BFO total alignment paper (Prudhomme et al., Nature Scientific Data 2025; arXiv:2408.03866; Zenodo 10.5281/zenodo.14692262) — every PROV-O class + property + 5 extensions mapped to BFO-ISO + CCO + RO. Gives INHERIT v2 free BFO-ISO alignment for every A-35/A-73/A-98 reference. Materially strengthens JTC 1 PAS submission positioning.

  2. FIBO cmns- supertype of ~90% FIB-DM entities* (OMG Commons 1.3 beta Dec 2025 + FIBO 2025/Q4 Jan 2026) — OMG Commons is no longer peripheral; it’s the ultimate supertype backbone of FIBO. Shape X iv’s cmns-cls anchor is more load-bearing than previously scored. Raises FIBO alignment tier from MODERATE to MODERATE-HIGH.

  3. BFO 2020 adopted as DoD + IC baseline standard (Jan 2024) + ISO 21838-2:2021 + DOLCEbasicOWL 2025 escape hatch noted. Strongest institutional backing of any candidate upper ontology. Shape X iii PROV-O + BFO peer-lock strongly validated.

HIGH production-ecosystem integration

  1. ODK 1.6.1 (Mar 2026) bundles ROBOT 1.9.10 + SSSOM-Java 1.10.0 + ELK 0.6.0 + GitHub Actions templates + ensure_owl2dl_profile: TRUE default → A-67 is a 2-line CI step with zero bespoke glue.

  2. sssom-java 1.10.0 sssom:inject is production-ready → A-33 Phase-1 CI catalog materialisation works out-of-the-box.

  3. Arazzo-gated MCP pattern (Speakeasy + Kilcommins industry consensus) + AutoMCP research (arXiv 2507.16044; 76% baseline → 94.2% after repair) → InheritKit AI-vendor API architecture now has production-tested precedent.

  4. Switzerland fedlex.admin.ch publishes both ELI URIs AND Akoma Ntoso XML since May 2022 → Phase-1 Swiss jurisdiction is drop-in; no profile authoring required.

MEDIUM de-risking + future-proofing

  1. Rocq parallel Catala formalization (CatalaLang/catala-formalization; 4,261 spec + 2,846 proof LOC; 527 commits) — natural insurance if F* stalls.

  2. Catala-evaluation-as-prov:Activity is unoccupied territory — INHERIT could be first-mover publishable contribution to both PROV + Catala communities.

  3. Legal-domain SSSOM catalog is greenfield — no FIBO/CIDOC CRM/LKIF SSSOM catalogs exist. INHERIT Phase-1 would be first cross-domain legal/financial/heritage SSSOM catalog — ISO PAS positioning angle.

16 new tensions surfaced (unified queue)

Phase-C Step 2 Akoma Ntoso spec scope (from T7)

  • T-NEW-URN-FAITH-01 (MEDIUM) — URN scheme registry for faith-tradition citations: IANA vs ad-hoc+regex vs SKOS-IRI-only scorecard
  • T-NEW-ELI-DL-01 (LOW) — ELI-DL v3.0 adoption for in-flight legislation status (Phase-2 Regulated-Professional module)
  • T-NEW-CATLEG-PATTERN-01 (Phase-D; not Apache) — INHERIT-equivalent fetcher/differ adapter

FIBO + external ontology version-pinning (from T12)

  • T-NEW-FIBO-CMNS-PIN (HIGH) — pin to Commons 1.3 stable (not beta/RTF); cmns-cls churn is material; required before Phase-1 authoring
  • T-NEW-LADM-SCOPE (MEDIUM) — decide in-scope LADM parts (likely 1 + 2 + maybe 4; skip 3 + 5 + 6)

A-33 SSSOM catalog refinements (from T10)

  • Pin sssom_version: 1.1 from day one in A-33 catalog (1.0 is self-contradictory)
  • Add sssom:inject CI step to A-21’s 18-gate registry as A-99 candidate
  • Extend SSSOM schema with 2 local columns: inherit_tier + iri_verified_date (closes A-20 IRI-verification scar)

A-21 CI gate additions (from T5 + T8 + T11)

  • SkoHub SHACL-Actions (T5) — new A-21 gate for SKOS vocabulary validation
  • pySHACL GitHub Action (T8) — SHACL as sibling gate to ROBOT (not nested)
  • Mopsa date-rules gate (T11) — hard CI gate on 7 named INHERIT date-rules (PET, deemed domicile, age-at-death, NRB carry-forward, s.18, s.142, commorientes)
  • 5 module-level Catala gates (T11) — compilation + tests + intermediate-state + explanation + POC

Version-pinning discipline gaps (from T5 + T12)

  • XKOS commit-SHA pin (T5) — XKOS has no releases; rolling-spec model
  • cmns-cls dated-URI pin (T5) — Commons 1.3 coming; need pinning strategy

iri-verify CLI implementation (from T12)

  • Build iri-verify CLI in Python (rdflib + owlready2 + requests + JSON lockfile with SHA256 pinning); 1-2 days engineering; don’t adopt LogMap/AML (overpowered)

Phase-1.5+ pattern candidates (from T7 + T12)

  • T-NEW-CL-CIDOC-LRMOO (LOW) — LRMoo bibliographic-descent pattern for testamentary-instrument version chains (will → codicil)

5 cross-technology convergent threads

Thread 1 — Upper-ontology stack consolidation (ISO-track strengthening)

PROV-O → BFO alignment paper (T6) + OMG Commons 1.3 as FIBO ultimate supertype (T5+T12) + BFO DoD/IC adoption + Shape X iii PROV-O+BFO peer-lock. INHERIT v2 has a stronger ISO-track upper-ontology story than previously scored. Add citation: Nature Sci Data 2025 on PROV-O↔BFO mapping.

Thread 2 — SHACL auto-generation pipeline (Phase-1 authoring efficiency)

SSSOM→SHACL auto-generation (T10) + nexus-prov SHACL shapes drop-in (T6) + SkoHub SHACL-Actions (T5) + pySHACL GitHub Action (T8) + ROBOT-sibling-SHACL-gate (T8). Phase-1 SHACL authoring could be 50-70% auto-generated from SSSOM catalog + external-ontology imports.

Thread 3 — ROBOT + SSSOM + ODK as unified Phase-1 CI substrate

ODK 1.6.1 (T8) + sssom-java 1.10.0 ROBOT plugin (T10) + ROBOT validate-profile default (T8) + ELK 0.6.0 default (T8). Phase-1 CI substrate is Docker-image-ready; multi-day setup is now hours.

Thread 4 — Arazzo-gated MCP as AI-vendor commercial architecture

Arazzo 1.0 production (T9) + AutoMCP research (T9) + Jentic JAIRF external credential (T9) + Speakeasy / Fern-Postman ecosystem. Phase-C Step 4 Commercial-model spec has concrete architectural pattern — workflows as MCP tools, not raw endpoints; JAIRF scorecard as procurement gate.

Thread 5 — Catala verification stack robustness

F* v2026.04.17 active (T11) + Rocq parallel formalization as insurance (T11) + Mopsa SV-COMP 2026 gold (T11) + DGFiP/CNAF Catala POCs (T11). Catala adoption risk is substantially lower than scored during initial Catala spec; government-backed production use cases provide external validation.

Retroactive check — Phase-B + Catala scope-δ locks

  • Wills v1.3: A-83/A-84/A-85 no changes needed. PROV-O Entity patterns validated by T6. ✅ Locks hold.
  • Trusts v1.1: A-92/A-93/A-94 no changes needed. ✅ Locks hold.
  • Probate v1.1: A-95/A-96/A-97 (first XKOS use)/A-98 (3-module bridging) no changes needed. A-97 XKOS use benefits from T5’s commit-SHA-pin discipline at Phase-1 authoring. ✅ Locks hold.
  • Catala scope-δ: 9 components validated; CatalaResult first-class choice strengthened by T11’s Rocq parallel formalization + DGFiP/CNAF production adoption. ✅ Lock holds, strengthened.

No retroactive revisions required. ✅

Proposed action plan

Priority 1 — IMMEDIATE

  • Save this synthesis memory + update programme memory ✅ (this file)
  • Commit + push all 12 T-file changes
  • Dispatch remaining T1 MCP + T2 VC+DID+KERI + T3 JSON Schema subagents (Rich directive 2026-04-25)

Priority 2 — INTEGRATE into Phase-C specs

  • Phase-C Step 2 Akoma Ntoso spec: reference Swiss fedlex + UK /data.akn + ELI 2024 + 3 new tensions
  • Phase-C Step 3 SSI spec: adopt VC+PROV pattern (VC as prov:Entity) + CatalaBackedClaim backed by CatalaResult trace
  • Phase-C Step 4 Commercial spec: adopt Arazzo-gated MCP + JAIRF scorecard + 4-tier explanation-artifact model

Priority 3 — QUEUE 16 new tensions

Add all 16 new tensions to Phase-5 tension-register during Phase-D work.

Priority 4 — T4 SHACL still owed

SHACL subagent dispatch pending (not in Rich’s 2026-04-25 latest directive which covered T1+T2+T3).

Priority 5 — Phase-1 authoring preparation

  • iri-verify CLI implementation (1-2 days engineering)
  • A-67 → ODK ensure_owl2dl_profile: TRUE default integration
  • A-33 SSSOM catalog upgraded to 1.1 pinning + 2 local columns
  • Mopsa date-rules gate on 7 named INHERIT date-rules

Biggest strategic shift identified

ISO-track positioning is stronger than baselined. BFO DoD adoption (Jan 2024) + PROV-O↔BFO alignment paper (Nature Sci Data 2025) + FIBO cmns-* supertype ~90% FIB-DM + LADM 5-of-6-parts-published collectively upgrade INHERIT v2’s JTC 1 PAS story materially.

What this changes vs. doesn’t change

Changes (integrated into upcoming specs + Phase-1)

  • Phase-C Step 2-4 spec briefs gain research-grounded precedents
  • Phase-1 CI substrate is ODK-ready (dramatic reduction in setup time)
  • Phase-1 SHACL authoring can be auto-generated from SSSOM catalog
  • ISO PAS positioning story upgraded
  • 16 new tensions queued for Phase-5

Does NOT change

  • Phase-B Wills/Trusts/Probate brief locks (all hold)
  • Catala scope-δ 9-component lock (strengthened)
  • A-22 iv-3 alignment matrix tier assignments (all hold; some tiers internally strengthened)
  • A-21 CI chain at 18 gates (extensions queued for Phase-1 authoring)
  • project_technology_research_programme_2026_04_25 — original programme plan
  • project_catala_review_plan_2026_04_25 — Catala review-plan (sibling synthesis)
  • project_catala_ecosystem_maturity_2026_04_25 — 3 Catala discoveries (precedent)
  • project_catala_explain_as_commercial_artifact — commercial reframing
  • feedback_library_web_research_narrow_margins — 11th auto-deep-dive win pattern
  • project_ai_vendor_commercial_model — updated with Arazzo-gated MCP + JAIRF

T-files populated (2026-04-25)

All files at ~/off-github/library/projects/inherit/:

  • T5-SKOS-XKOS-CMNS-notes.md (v0.2 complete)
  • T6-PROV-O-notes.md (v0.2 complete)
  • T7-AKOMA-NTOSO-ELI-ECLI-notes.md (v1.0 complete)
  • T8-ROBOT-notes.md (v0.2 complete)
  • T9-OPENAPI-ARAZZO-notes.md (v1.0 complete)
  • T10-SSSOM-notes.md (v1.0 complete)
  • T11-FSTAR-MOPSA-notes.md (v0.2 complete)
  • T12-EXTERNAL-ONTOLOGIES-notes.md (v1.0 complete)

T1-T4 still stubs awaiting research (T1-T3 dispatching 2026-04-25 per Rich directive; T4 SHACL still pending).

Graph View

Backlinks