Applications
D-03candidate domainUnder investigation
Knowledge Systems
Structured discovery, abstraction reuse and provenance map onto knowledge-graph workflows.
Current scope
Applying the same propose → independently verify → seal scientific loop to structured knowledge artifacts: schema evolution, ontology reuse, and provenance-carrying reasoning graphs.
Explicitly out of scope
- Free-form unstructured retrieval is not a current focus.
- Human-labelled truth corpora are not part of the near-term methodology.
Research strands informing this scope
Structural compounding hypothesis
The same dependency-structure model that governs code applies to typed knowledge graphs.
Evidence and provenance standard
Every derived fact carries the same signed lineage as a promoted mutation.
Evidence references
Each reference links to the signed dossier for that experiment. Nothing on this page claims deployment — these are the artifacts that inform the current scope.
Open questions
- What is the runtime-verification analogue for a derived knowledge assertion?
- How is contradiction detection integrated into the promotion gate?
Next milestone
Instantiate one small knowledge graph under the same signed-ledger discipline.