Skip to content

[codex] Add draft DSR theory operational kernel artifact#23

Merged
dochabski merged 2 commits intomainfrom
codex/add-dsr-theory-operational-kernel
May 5, 2026
Merged

[codex] Add draft DSR theory operational kernel artifact#23
dochabski merged 2 commits intomainfrom
codex/add-dsr-theory-operational-kernel

Conversation

@dochabski
Copy link
Copy Markdown
Owner

Summary

  • Adds artifacts/ policy for nested draft artifact packages developed inside dsr-framework before a standalone repository or release decision.
  • Imports the current DSR theory operational synthesis as artifacts/dsr-theory-operational-kernel/, including concept inventory, competency questions, ontology, SHACL shapes, SKOS vocabulary, JSON Schema, and authoring templates.
  • Adds retained local source-basis, validation, and concept-to-ontology coverage records for the draft artifact package.
  • Updates README, manifest, package inventory, and retained validation summary so the new files are controlled and inventoried.

Validation

  • python scripts/validate-package.py --write-summary -> pass, 0 errors, 0 warnings, inventory 174/174
  • python scripts/validate-package.py --release-candidate --write-summary -> pass, 0 errors, 0 warnings, inventory 174/174
  • git diff --check -> pass

Conformance impact

  • Host package remains 1.0.2_stable with l4_reusable_stable conformance.
  • The imported DSR theory operational kernel is a nested draft artifact package with l2_reviewable_draft posture.
  • No new L5 archival/publication-ready claim is introduced.
  • No new release or tag is created by this PR.

Review notes

The concept-to-ontology coverage record explicitly retains current draft gaps: 26 class identifiers, 22 object-property identifiers, and 12 datatype-property identifiers from the concept inventory are not yet represented by ontology identifiers. The package is controlled and parseable, but those gaps should be repaired or dispositioned before stronger ontology-completeness or standalone release claims.

@dochabski
Copy link
Copy Markdown
Owner Author

Updated the PR with a second commit, 5c2a0c4, that closes the concept-inventory to ontology identifier coverage gaps.

Additional validation:

  • Local Turtle parse: ontology 3307 triples, SHACL 1132 triples, SKOS 11097 triples.
  • Coverage record now reports 98/98 classes, 52/52 object properties, 34/34 datatype properties, and 23/23 controlled vocabularies represented by identifier.
  • Nonstandard SHACL target/path gaps are now 0.
  • python scripts/validate-package.py --write-summary -> pass, 0 errors, 0 warnings, inventory 174/174.
  • python scripts/validate-package.py --release-candidate --write-summary -> pass, 0 errors, 0 warnings, inventory 174/174.
  • git diff --check -> pass.

The kernel remains a nested draft artifact package: this improves reviewability and semantic consistency, but it still does not claim independent semantic review, empirical downstream utility, standalone stable release, or L5 archival/publication-ready status.

@dochabski dochabski marked this pull request as ready for review May 5, 2026 22:42
@dochabski dochabski merged commit ce74c0a into main May 5, 2026
2 checks passed
@dochabski dochabski deleted the codex/add-dsr-theory-operational-kernel branch May 5, 2026 22:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant