feat: factory claim ledger with proof taxonomy (soc-kizn.1)#256
Merged
Conversation
5 tasks
…oc-kizn.1) Lands the claim-to-proof ledger for the factory reconcile program (epic soc-kizn). Maps every claim-bearing paragraph in 9 public source docs to its current evidence, missing proof, owner issue, validation level, release posture, and anti-overclaim wording. Enforced mechanically. Scaffolded contract: - docs/contracts/factory-claim-ledger.md — operator-facing contract doc - docs/contracts/factory-claim-ledger.schema.json — JSON Schema with closed enums for validation_level, release_posture, evidence_status, authority_state, promotion_state - docs/contracts/factory-claim-ledger.example.json — 24-row authoritative ledger covering README, PRODUCT, GOALS, docs/index, docs/agentops-brief, docs/assurance-profile, docs/software-factory, docs/comparisons/**, docs/contracts/factory-*.md - docs/assurance-profile.md — new authoring surface; high-assurance posture doc with three claim markers - scripts/check-factory-claim-ledger.sh — validator (--strict mode rejects unledgered high-claim paragraphs in scanner sources, mismatched markers, orphan rows, L2/L3 rows without evidence_artifacts, unknown enum values) - tests/fixtures/factory-claim-ledger/ — positive + 4 negative fixtures (missing-marker, orphan-row, unknown-enum, l2-no-evidence) exercise the validator's reject paths under --strict Source-doc claim markers: - GOALS.md, PRODUCT.md, README.md, docs/index.md, docs/agentops-brief.md, docs/software-factory.md, docs/contracts/factory-admission.md, docs/contracts/factory-yield-ledger.md, and 4 docs/comparisons/* now carry <!-- agentops:claim:AOP-CLAIM-* --> markers adjacent to the matching claim paragraphs Acceptance: bash scripts/check-factory-claim-ledger.sh --strict exits 0; the bead validation block requires this and the new fixture suite verifies strict-mode reject paths. Anti-overclaim discipline: L0/L1 claims stay described as roadmap/contracted_l0/locally_checked_l1; only L2/L3 rows with evidence_artifacts may use "validated" wording in source docs.
Bead acceptance requires fixtures cover downgrade/demotion behavior. Adds FIXTURE-DEMOTED-CLAIM with promotion_state=demoted, evidence_status=stale, validation_level=L0, release_posture=roadmap, plus matching README marker. Validator --strict still PASS.
Rebase onto main pulled in sx99's new four-layers paragraph in docs/agentops-brief.md (line 11), which contains "validated" without a marker. Adds AOP-CLAIM-BRIEF-FOUR-LAYERS row to the ledger and injects the matching marker. Validator --strict back to PASS.
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.
Summary
scripts/check-factory-claim-ledger.sh --strict, which rejects unledgered high-claim paragraphs, orphan rows, missing markers, L2/L3 rows without evidence, and unknown enum values.<!-- agentops:claim:AOP-CLAIM-* -->markers adjacent to their claim text.Closes soc-kizn.1.
Test plan
bash scripts/check-factory-claim-ledger.sh --strictexits 0 against the live ledger