-
Notifications
You must be signed in to change notification settings - Fork 1
Logbook May 2026
Week of May 4 — A maintenance week focused on CI: knowledge-maps was migrated to the shared static preview action, aligning it with the wider monorepo pipeline standard. No vocabulary work this week — the pipeline is clean and ready for the next feature sprint.
Week of May 18 — The
transactions.ttlvocabulary was bootstrapped from scratch over three days: four Phase A slices (core class/property declarations, Conway body coverage, witness-set semantics, andcardano:decodeError) all landed by Thursday, along with the EYE OWL 2 RL reasoner for smoke validation. This is the semantic foundation the graph browser's transaction queries will sit on.
Built out the transactions.ttl Phase A vocabulary: class/property declarations, a
cardano:LeafType ConceptScheme with SKOS role-class concepts, OWL 2 RL reasoning axioms
(hasKey, inverseOf), and a gate that validates every graphSources entry via
rdflib. Added an EYE reasoner via Nix for OWL 2 RL smoke harness.
- Merged feat(vocab): Phase A.1 — load-bearing tx-semantic predicates #55
- Merged feat(vocab): Phase A.2 — Conway body coverage + drift cleanup #56
- Merged feat(vocab): Phase A.3 — witness-set seaboard #57
- Merged feat(vocab): Phase A.4 — cardano:decodeError predicate #59
Week of May 25 — A deliberate pivot: the
transactions.ttlvocabulary built last week is being extracted intocardano-ledger-rdf, the dedicated vocabulary repo. Knowledge-maps will consume it as a dependency rather than owning it, keeping semantic authorship and graph browsing concerns cleanly separated.