README: spell out what each remaining M4 item buys - #9
Merged
Conversation
The M4 bullets said what would be built but left the benefit to inference. Each now carries a 'What it buys' clause aimed at a reader who is not steeped in the project: - PROV-O: the provenance chain becomes readable by standard RDF/SPARQL tooling via one external mapping file — 'apply this context' replaces 'write an importer' for lineage stacks, and the deliberately-not- mapped list doubles as a statement of where duly is novel - SHACL/LinkML: a misspelled attribute today surfaces only as a rule silently failing to bind — the quiet cousin of confident wrongness; the gate makes it a loud rejection at the contract line - DMN: compliance analysts work in decision tables, not YAML code review; compiling to the same IR keeps receipts and replay identical while making 'domain experts can contribute' true with the tools they already use - Z3: rules that compute what they currently only check — the TILA pack can refuse an impossible printed deadline but cannot derive the correct one; the solver eliminates the failure class instead of refusing loudly Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
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.
Documentation only. The M4 bullets described the deliverables but left their value to inference; each now carries an explicit What it buys clause written for a reader who is not steeped in the project — what failure class it removes or what door it opens, in concrete terms (the SHACL bullet names the current quiet failure: a misspelled attribute surfacing only as a rule that silently fails to bind; the Z3 bullet states the compute-vs-check distinction the TILA pack currently lives on the wrong side of).
Coordination note: the in-flight PROV-O implementation track was told to skip its own README edit, so this won't conflict; the PROV-O bullet gets ticked at that PR's merge.
🤖 Generated with Claude Code