feat(claims): ground the two ENFORCED honesty claims as string-audit claim symbols#90
Merged
Merged
Conversation
…claim symbols First honest slice of prx-qhuv. The marketing/proof copy was making claims that string-audit never checked (grounding.json was []). Now: - content/grounding.json is the honesty boundary — genuinely-backed facts only, each key tagged with WHY it's backed (ENFORCED graded claims + blocking-gate conformance evidence). emit-catalog emits its keys as data/audit/grounding.json and --checks it for drift. - claim-docs + claim-specs (the two ENFORCED honesty claims) are typed and pass string-audit's claim->grounding audit (audit-gate --strict: 0 errors). - PARTIAL + ASPIRATIONAL claims deliberately stay — a bet is not a grounded assertion; typing+grounding it would be the exact overclaim the check prevents. Grounding those needs per-claim evidence judgment (the rest of qhuv). Proven earlier: claim-typed + empty grounding = 6 gate errors; this fixes it honestly, not by gaming the source. content.mjs 21/21, build/structure/semantic/ shacl green locally. Co-Authored-By: Claude Opus 4.8 (1M context) <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.
What
First honest slice of prx-qhuv — attaches the assertive copy to claims that string-audit actually checks.
grounding.jsonwas[], so claims were unverified marketing.content/grounding.jsonis the new honesty boundary: genuinely-backed facts only, each key tagged with why it's backed (ENFORCED graded claims + blocking-gate conformance evidence).emit-catalogemits its keys todata/audit/grounding.jsonand--checks for drift.claim-docs+claim-specs(the two ENFORCED honesty claims) are typedclaimand pass string-audit'sclaim → groundingaudit (audit-gate --strict: 0 errors).The honesty line (why only two)
PARTIAL + ASPIRATIONAL claims deliberately stay
body— a bet is not a grounded assertion; typing + grounding it would be the exact overclaim the check exists to prevent. (Proven earlier: claim-typed + empty grounding = 6 gate errors.) Grounding the Partial/Aspirational claims needs per-claim evidence judgment — the rest of prx-qhuv.Verified
audit-gate --strict0 errors,content.mjs --check21/21, build / structure / semantic / shacl green locally.🤖 Generated with Claude Code