Handbook
LCDL overlay: Validation, Verification, and Assurance Intelligence
Design and test-contract bundle; no runtime implementation or operational certification is claimed. The manifest, schemas, validators, test suite, and task identities are complete enough for repository-native…
Updated
Runtime boundary
Design and test-contract bundle; no runtime implementation or operational certification is claimed. The manifest, schemas, validators, test suite, and task identities are complete enough for repository-native implementation; no placeholder task code is included.
Capability contracts
| Capability ID | Candidate task ID | Required output artifacts | Release validators |
|---|---|---|---|
capability.general.validation-verification.define_validation_object_and_stakes |
intelligence_validation_verification_define_validation_object_and_stakes_v1 |
artifact.general.validation-verification.validation_charter |
validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage |
capability.general.validation-verification.derive_assurance_criteria |
intelligence_validation_verification_derive_assurance_criteria_v1 |
artifact.general.validation-verification.assurance_and_acceptance_criteria |
validator.general.validation-verification.05_bounded_pass_fail_conditional_inconclusive_release_and_certification_lan |
capability.general.validation-verification.build_traceability_matrix |
intelligence_validation_verification_build_traceability_matrix_v1 |
artifact.general.validation-verification.claim_requirement_traceability_matrix |
validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage, validator.general.validation-verification.02_generator_validator_separation_conflict_of_interest_and_review_strength, validator.general.validation-verification.03_test_environment_data_code_configuration_and_rerun_consistency |
capability.general.validation-verification.select_verification_methods |
intelligence_validation_verification_select_verification_methods_v1 |
artifact.general.validation-verification.verification_and_validation_plan |
validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage, validator.general.validation-verification.02_generator_validator_separation_conflict_of_interest_and_review_strength |
capability.general.validation-verification.validate_intended_use_and_stakeholder_fit |
intelligence_validation_verification_validate_intended_use_and_stakeholder_fit_v1 |
artifact.general.validation-verification.intended_use_and_stakeholder_fit_assessment |
validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage, validator.general.validation-verification.05_bounded_pass_fail_conditional_inconclusive_release_and_certification_lan |
capability.general.validation-verification.run_boundary_adversarial_and_robustness_tests |
intelligence_validation_verification_run_boundary_adversarial_and_robustness_tests_v1 |
artifact.general.validation-verification.test_and_inspection_suite, artifact.general.validation-verification.adversarial_and_robustness_report |
validator.general.validation-verification.04_boundary_counterexample_misuse_distribution_shift_and_failure_mode_cover, validator.general.validation-verification.03_test_environment_data_code_configuration_and_rerun_consistency |
capability.general.validation-verification.triangulate_and_reproduce_evidence |
intelligence_validation_verification_triangulate_and_reproduce_evidence_v1 |
artifact.general.validation-verification.evidence_triangulation_matrix |
validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage, validator.general.validation-verification.02_generator_validator_separation_conflict_of_interest_and_review_strength, validator.general.validation-verification.03_test_environment_data_code_configuration_and_rerun_consistency |
capability.general.validation-verification.adjudicate_discrepancies |
intelligence_validation_verification_adjudicate_discrepancies_v1 |
artifact.general.validation-verification.discrepancy_and_deviation_log |
validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage, validator.general.validation-verification.03_test_environment_data_code_configuration_and_rerun_consistency, validator.general.validation-verification.02_generator_validator_separation_conflict_of_interest_and_review_strength |
capability.general.validation-verification.issue_bounded_validation_status |
intelligence_validation_verification_issue_bounded_validation_status_v1 |
artifact.general.validation-verification.validation_report, artifact.general.validation-verification.residual_risk_and_release_decision |
validator.general.validation-verification.05_bounded_pass_fail_conditional_inconclusive_release_and_certification_lan, validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage, validator.general.validation-verification.02_generator_validator_separation_conflict_of_interest_and_review_strength |
Each capability contract in the manifest defines inputs, outputs, preconditions, postconditions, method-selection rules, invariant references, failure states, risk gate, metrics, and the existing forge-lcdl tasks/operators to compose.
Artifact schemas
| Artifact type | Schema reference | Required payload fields | Sensitivity |
|---|---|---|---|
artifact.general.validation-verification.validation_charter |
../schemas/artifacts/validation-verification.schema.json#/$defs/validation_charter |
purpose, scope, stakeholders, requirements, constraints, assumptions, success_criteria | internal |
artifact.general.validation-verification.assurance_and_acceptance_criteria |
../schemas/artifacts/validation-verification.schema.json#/$defs/assurance_and_acceptance_criteria |
requirement_ids, requirement_statements, acceptance_criteria, verification_method, owner, status, traceability_refs | internal |
artifact.general.validation-verification.claim_requirement_traceability_matrix |
../schemas/artifacts/validation-verification.schema.json#/$defs/claim_requirement_traceability_matrix |
purpose, scope, entities_or_nodes, relations_or_edges, assumptions, boundary, validation_evidence | internal |
artifact.general.validation-verification.verification_and_validation_plan |
../schemas/artifacts/validation-verification.schema.json#/$defs/verification_and_validation_plan |
objective, scope, steps, dependencies, constraints, owners, timing, contingencies, review_triggers | internal |
artifact.general.validation-verification.test_and_inspection_suite |
../schemas/artifacts/validation-verification.schema.json#/$defs/test_and_inspection_suite |
purpose, context, content, assumptions, evidence_refs, status, next_actions | internal |
artifact.general.validation-verification.evidence_triangulation_matrix |
../schemas/artifacts/validation-verification.schema.json#/$defs/evidence_triangulation_matrix |
purpose, scope, entities_or_nodes, relations_or_edges, assumptions, boundary, validation_evidence | internal |
artifact.general.validation-verification.adversarial_and_robustness_report |
../schemas/artifacts/validation-verification.schema.json#/$defs/adversarial_and_robustness_report |
question_or_standard, criteria, evidence, findings, uncertainty, limitations, status, recommended_actions | internal |
artifact.general.validation-verification.discrepancy_and_deviation_log |
../schemas/artifacts/validation-verification.schema.json#/$defs/discrepancy_and_deviation_log |
entries, entry_ids, owners, status, source_refs, updated_at | internal |
artifact.general.validation-verification.validation_report |
../schemas/artifacts/validation-verification.schema.json#/$defs/validation_report |
question_or_standard, criteria, evidence, findings, uncertainty, limitations, status, recommended_actions | internal |
artifact.general.validation-verification.residual_risk_and_release_decision |
../schemas/artifacts/validation-verification.schema.json#/$defs/residual_risk_and_release_decision |
decision_id, decision_or_question, options_or_routes, governing_constraints, evidence_refs, rationale, status, owner, next_action, review_or_reopen_triggers | internal |
artifact.general.validation-verification.intended_use_and_stakeholder_fit_assessment |
../schemas/artifacts/validation-verification.schema.json#/$defs/intended_use_and_stakeholder_fit_assessment |
question_or_standard, criteria, evidence, findings, uncertainty, limitations, status, recommended_actions | internal |
Validators
| Validator ID | Kind | Automation | Severity | Failure action |
|---|---|---|---|---|
validator.general.validation-verification.01_claim_requirement_criterion_evidence_method_result_and_owner_coverage |
traceability | hybrid | major | repair |
validator.general.validation-verification.02_generator_validator_separation_conflict_of_interest_and_review_strength |
independence | hybrid | major | repair |
validator.general.validation-verification.03_test_environment_data_code_configuration_and_rerun_consistency |
reproducibility | hybrid | major | repair |
validator.general.validation-verification.04_boundary_counterexample_misuse_distribution_shift_and_failure_mode_cover |
adversarial | hybrid | minor | conditional_pass |
validator.general.validation-verification.05_bounded_pass_fail_conditional_inconclusive_release_and_certification_lan |
status_policy | hybrid | minor | conditional_pass |
Validator checks return itemized evidence and support pass, conditional_pass, fail, inconclusive, or a governed repair/escalation path. Generation does not self-certify.
Existing execution substrate
Tasks to reuse: contradiction_scan, decompose_problem, extract_schema_from_text, formula_eval_safe, llm_boolean_gate, llm_enum_route, llm_multi_label, plan_decision_pack
Operators to reuse: branch, fallback_chain, for_each, optional_step, seq, try_catch, until_ok
Cross-intelligence handoff
- artifact_id, type, version, producer capability, provenance, scope, assumptions, uncertainty, sensitivity, validation status, and next action
- No free-text handoff may replace a required typed artifact when a downstream validator depends on structure.
Information-loss checks: - all hard constraints preserved - all blocker findings preserved - source scope and date preserved - assumptions and dissent preserved - units, time zones, identifiers, and uncertainty preserved
Evaluation and release
Suite: ../evaluation_suites/validation-verification.yaml
- 100% schema validity for released artifacts
- 100% material traceability
- no unresolved blocker validator
- no missed critical escalation in the approved benchmark
- documented conditional-pass limits and human gates
Promotion to implementation maturity I1
- Create repository-native input and output contracts for every candidate task ID.
- Implement deterministic portions of validators and declare independent human or model review for semantic portions.
- Connect a provenance-preserving source resolver and enforce freshness and jurisdiction rules.
- Pass the per-pack suite and dependency regression suites at release thresholds.
- Complete security, privacy, accessibility, and domain-owner review appropriate to risk.
- Publish LMETA/LCDL exact-overlay links and CI parity checks.
Exact-overlay identity
The LMETA and LCDL pages share the concept ID, semantic version, capability IDs, and invariant IDs. tools/validate_pack.py checks this parity.
Paired overlay
Runtime maturity
- Capabilities: 9
- Technical floor→ceiling:
I1_runtime→I2_integrated - Autonomy floor→ceiling:
A0_assisted→A0_assisted - I1_runtime count: 8
- Evidence class:
contract: 8,semantic: 1 - Full hierarchy: MATURITY-HIERARCHY.md
Evaluation suite status
- CI status:
pass - Suite:
evaluation_suites/validation-verification.yaml - Cases defined: 7
- Capabilities under test: 9