Skip to content
EN FR

Validation gates and provenance

Documentation status: guide — see Maturity and evidence.

Semantic work should distinguish human confirmation, assistant proposals and engine validation.

Analysis status

  • confirmed: accepted by a domain reviewer or authoritative source;
  • inferred: proposed during analysis but not yet accepted as executable meaning;
  • validated: accepted by the relevant parser or semantic/runtime test.

Keep an analysis ledger with stable requirement identifiers, the statement, its status, its source, dependencies and validation evidence. The ledger does not replace the ontology; it records why statements exist and how far they have been validated.

Generation gates

  1. Vocabulary review — domain terms and identity choices are accepted.
  2. Grammar acceptance — the H-Logic source is accepted by the current parser.
  3. Semantic resolution — types, roles and references resolve correctly.
  4. Propagation tests — representative facts produce the expected deductions and diagnostics.
  5. Retraction and justification tests — derived facts remain supported and disappear correctly when their last justification is removed.
  6. Generation readiness — runtime decisions not contained in the ontology are recorded explicitly.

Parser acceptance alone is not semantic certification. Report grammar acceptance and logical behavior as separate results.