Repository navigation
release 0.6.0: derivation certificates for every published closure (ADR-OM-009) - #4
Merged
Merged
Conversation
…te (ADR-OM-009) New crate `rdfs-certificate` 0.1.0 (MIT OR Apache-2.0; format and rule table adapted from Open Ontologies v2.0.1, MIT, notice kept verbatim): RDFS forward chaining over N-Triples-spelled terms that records every step in the oo-cert/1 format the independent Lean 4 checker `oo-cert` re-verifies, plus the consequence delta between two graphs. No graph library, so VisionClaw's `vault` consumes the same crate. `ontomark build --certificate-out DIR` certifies the very graph it reasons and publishes, before any artefact is written, and is refused (exit 2, `CertificateParity`) if the certified named closure is not the classifier's. Without the flag nothing changes: goldens byte-identical. On visionGraph 1ec5774ad: 351,421 asserted, 731,141 derivations, parity 81,396 = 81,396, `oo-cert` accepts in 9.5 s. Version 0.6.0 across the workspace; the wasm transcript golden is re-blessed for the version strings only. Co-Authored-By: jjohare <github@thedreamlab.uk>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
See ADR-OM-009. New crate
rdfs-certificate(to crates.io),ontomark build --certificate-out, parity with the classifier enforced as a refusal. Real-corpus evidence and the checker's acceptance are in the ADR's Verification section. Goldens unchanged except the wasm transcript's version strings.🤖 Generated by Claude Code