Skip to content

START_HERE.md

Latest commit

 

History

History
108 lines (72 loc) · 2.72 KB

START_HERE.md

File metadata and controls

108 lines (72 loc) · 2.72 KB
Raw

Start Here (OCC)

If this is your first time in the repository, this page is your entry point.

If the 300+ page PDF feels overwhelming: perfect. You are not expected to read it linearly. Use it as a reference manual. For a fast overview, use the Executive Summary.

What OCC is

OCC (Operational Consistency Compiler) is a reproducible runtime with a CLI (occ) to:

  • Run individual MRD modules (occ run) using YAML bundles.
  • Verify complete MRD suites (occ verify) deterministically.
  • Discover project content quickly (occ list, occ predict, occ doctor).
  • Perform operational triage over claim specs (occ judge).
  • Summarize compiler-style judge reports for humans (occ explain-report).

The repo has two practical goals:

  1. Make core concepts accessible (canonical docs + compendium).
  2. Enable immediate tool usage (CLI + runnable MRD suites).

Why it exists (one line)

OCC filters physical claims that may be mathematically consistent but are not operationally evaluable, or remain UV-malleable through inaccessible parameters.

Highlight prediction

The canon includes a highlighted falsifiable prediction:

  • EDM ↔ GW correlation in baryogenesis scenarios.

For experimental readers, this is usually the fastest way to connect the framework to observables.

5-minute path

  1. Install in a virtual environment
python -m venv .venv
source .venv/bin/activate
python -m pip install --upgrade pip
python -m pip install -e ".[dev]"
  1. Verify CLI availability
occ --help
pytest -q tests/test_cli_smoke.py
  1. Run one example bundle
occ run ILSC_MRD_suite_15_modulos_CANON/mrd_obs_isaac/inputs/mrd_obs_isaac/pass.yaml --out out/
cat out/report.json
  1. Generate and inspect one compiler-style judge report
occ judge examples/claim_specs/minimal_pass.yaml --out out/judge_report.json
occ explain-report out/judge_report.json
  1. Optional desktop frontend (Windows)
occ-desktop
  1. Optional full verification
occ verify
occ verify --suite extensions
occ verify --suite all

What the judge report now contains

occ judge --json still returns the classic occ.judge_report.v1 envelope, but it now embeds compiler-oriented layers such as:

  • claim_bundle
  • occ_ir
  • constraint_ir
  • pipeline_trace
  • diagnostics
  • reason_catalog

Use occ explain-report when you want the same report in a human-readable summary instead of raw JSON.

How to read the compendium efficiently

Main PDF:

  • docs/OCC_Canonical_Compendium_EN_v1.5.0.pdf

Suggestion:

  • Do not read it linearly.
  • Use it as a reference manual and jump by section/topic.