Skip to content

Latest commit

 

History

History
30 lines (23 loc) · 620 Bytes

File metadata and controls

30 lines (23 loc) · 620 Bytes

Documentation

This directory contains public technical documentation for the repository.

Kept here:

  • engine truth summary
  • format specifications
  • compatibility notes
  • native C API and usage examples
  • release process
  • wiki source files under docs/wiki/

Primary engine docs:

  • IUPD_SPEC.md
  • IUPD_COMPATIBILITY.md
  • IUPD_STRUCTURE_AND_VALIDATION.md
  • ILOG_SPEC.md
  • ILOG_SCHEMA_AND_TYPES.md
  • ICFG_SPEC.md
  • ENGINE_TRUTH_SUMMARY.md

Not kept here:

  • audit snapshots
  • temporary benchmark snapshots
  • evidence matrices
  • session-specific status reports
  • environment-specific validation notes