Skip to content

Latest commit

 

History

History
55 lines (38 loc) · 1.59 KB

File metadata and controls

55 lines (38 loc) · 1.59 KB

Canonical index (docs)

This index helps readers quickly find:

  • concepts (canonical PDFs),
  • tooling (how to run and verify via CLI),
  • MRD suite structure.

Main documents

Additional canonical PDFs

Under docs/canonical/:

  • OCC_Documento_A_metodologia.pdf
  • OCC_Documento_A_defensa_formal.pdf
  • ILSC_OCC_Documento_A_defensa_formal.pdf
  • ILSC_OCC_Addendum_RealJudge.pdf
  • OCC_Addendum_Nuclear_v1.4.0.pdf
  • OCC_Integrated_Nuclear_Section_EN_v1.5.0.pdf
  • OCC_Seccion_Integrada_Nuclear_ES_v1.5.0.pdf
  • OCC_FrontMatter_v1.0.0.pdf
  • OCC_FrontMatter_v1.1.0.pdf

CLI usage

MRD suite

Main folder:

  • ILSC_MRD_suite_15_modulos_CANON/

Extensions:

  • ILSC_MRD_suite_extensions/

Conventions

  • Typical report outputs include PASS, FAIL, or NO-EVAL verdicts.
  • occ run writes report.json into --out when provided.