Skip to content

Commit d420841

Browse files
committed
release: bump metadata and docs to 1.5.0
1 parent e84876e commit d420841

10 files changed

Lines changed: 57 additions & 37 deletions

File tree

.zenodo.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
],
1010
"license": "apache-2.0",
1111
"access_right": "open",
12-
"version": "1.4.0",
12+
"version": "1.5.0",
1313
"keywords": [
1414
"OCC",
1515
"MRD",

CHANGELOG.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,26 @@ All notable changes to this project will be documented in this file.
44

55
The format is based on *Keep a Changelog* and this project adheres to *Semantic Versioning*.
66

7+
## [1.5.0] - 2026-02-17
8+
9+
### Added
10+
11+
- Automated compendium integration workflow:
12+
`.github/workflows/compendium_integration.yml` to normalize sources, run i18n/CI
13+
audits, rebuild EN/ES compendiums, and commit outputs back to `main`.
14+
- New compendium build pipeline via `scripts/build_compendium_pdf.py` and
15+
`make integrate-all` for repeatable bilingual artifact generation.
16+
- Canonical v1.5.0 compendiums:
17+
- `docs/OCC_Canonical_Compendium_EN_v1.5.0.pdf`
18+
- `docs/OCC_Compendio_Canonico_ES_v1.5.0.pdf`
19+
20+
### Changed
21+
22+
- Version metadata bumped to `1.5.0` across runtime and publication files:
23+
`pyproject.toml`, `android/app/build.gradle.kts`, `CITATION.cff`, `.zenodo.json`.
24+
- README EN/ES and release docs EN/ES now point stable desktop/mobile download
25+
links and version-tag examples to `1.5.0`.
26+
727
## [1.4.0] - 2026-02-16
828

929
### Added

CITATION.cff

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@ authors:
44
- family-names: Isaac
55
given-names: Marco A.
66
title: "Operational Consistency Compiler (OCC) runtime and MRD suite"
7-
version: "1.4.0"
8-
date-released: 2026-02-16
7+
version: "1.5.0"
8+
date-released: 2026-02-17
99
doi: "10.5281/zenodo.18656426"
1010
license: Apache-2.0
1111
repository-code: "https://github.com/MarcoAIsaac/OCC"

README.es.md

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -123,18 +123,18 @@ Experiment Lab (nuevo en 1.4.0):
123123

124124
Descargar paquete preconstruido para Windows:
125125

126-
- Versión estable actual de escritorio: `1.4.0`
127-
- Instalador (recomendado): [`OCCDesktop-Setup-windows-x64.exe`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCDesktop-Setup-windows-x64.exe)
128-
- Build info: [`OCCDesktop-build-info.json`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCDesktop-build-info.json)
129-
- Checksums: [`OCCDesktop-windows-x64.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCDesktop-windows-x64.sha256)
126+
- Versión estable actual de escritorio: `1.5.0`
127+
- Instalador (recomendado): [`OCCDesktop-Setup-windows-x64.exe`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCDesktop-Setup-windows-x64.exe)
128+
- Build info: [`OCCDesktop-build-info.json`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCDesktop-build-info.json)
129+
- Checksums: [`OCCDesktop-windows-x64.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCDesktop-windows-x64.sha256)
130130
- Canal rolling (opcional, último build de `main`): [desktop-latest](https://github.com/MarcoAIsaac/OCC/releases/tag/desktop-latest)
131131

132-
Si el enlace directo del instalador devuelve `404`, abre el release `1.4.0` y espera a
132+
Si el enlace directo del instalador devuelve `404`, abre el release `1.5.0` y espera a
133133
que el workflow `Windows desktop release` termine de subir los assets para ese tag.
134134
Ese pipeline corre automáticamente en cada push a `main` (rolling `desktop-latest`)
135-
y también en tags de versión (por ejemplo `1.4.0` o `v1.4.0`).
135+
y también en tags de versión (por ejemplo `1.5.0` o `v1.5.0`).
136136
Si hace falta, ejecútalo manualmente y usa `release_tag`
137-
(ejemplo `1.4.0` o `desktop-latest`) para refrescar assets.
137+
(ejemplo `1.5.0` o `desktop-latest`) para refrescar assets.
138138

139139
Verificación SHA256 en Windows:
140140

@@ -193,13 +193,13 @@ APK generado:
193193

194194
Descargar APK preconstruido:
195195

196-
- Versión estable actual móvil: `1.4.0`
197-
- [`OCCMobile-android.apk`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCMobile-android.apk)
198-
- [`OCCMobile-android.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCMobile-android.sha256)
196+
- Versión estable actual móvil: `1.5.0`
197+
- [`OCCMobile-android.apk`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCMobile-android.apk)
198+
- [`OCCMobile-android.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCMobile-android.sha256)
199199

200200
Automatización de release:
201201

202-
- El workflow `.github/workflows/android_release.yml` publica assets Android automáticamente al empujar tags de versión (`1.4.0` o `v1.4.0`).
202+
- El workflow `.github/workflows/android_release.yml` publica assets Android automáticamente al empujar tags de versión (`1.5.0` o `v1.5.0`).
203203

204204
## Utilidades de mantenimiento
205205

@@ -271,7 +271,7 @@ Para ejecuciones largas, conviene usar el flujo manual de verificación completa
271271

272272
## Expansiones de dominio
273273

274-
`v1.4.0` mantiene el conjunto de candados nucleares (`j4_nuclear_guard`, `L4C*/L4E*`) y agrega
274+
`v1.5.0` mantiene el conjunto de candados nucleares (`j4_nuclear_guard`, `L4C*/L4E*`) y agrega
275275
flujos matriciales de Experiment Lab junto con distribución de escritorio para Windows vía GitHub Releases
276276
(`OCCDesktop-Setup-windows-x64.exe`).
277277

README.md

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -123,18 +123,18 @@ Experiment Lab (new in 1.4.0):
123123

124124
Download prebuilt Windows package:
125125

126-
- Current stable desktop version: `1.4.0`
127-
- Installer (recommended): [`OCCDesktop-Setup-windows-x64.exe`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCDesktop-Setup-windows-x64.exe)
128-
- Build info: [`OCCDesktop-build-info.json`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCDesktop-build-info.json)
129-
- Checksums: [`OCCDesktop-windows-x64.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCDesktop-windows-x64.sha256)
126+
- Current stable desktop version: `1.5.0`
127+
- Installer (recommended): [`OCCDesktop-Setup-windows-x64.exe`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCDesktop-Setup-windows-x64.exe)
128+
- Build info: [`OCCDesktop-build-info.json`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCDesktop-build-info.json)
129+
- Checksums: [`OCCDesktop-windows-x64.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCDesktop-windows-x64.sha256)
130130
- Rolling channel (optional, latest `main` build): [desktop-latest](https://github.com/MarcoAIsaac/OCC/releases/tag/desktop-latest)
131131

132-
If the direct installer link returns `404`, open release `1.4.0` and wait for workflow
132+
If the direct installer link returns `404`, open release `1.5.0` and wait for workflow
133133
`Windows desktop release` to finish uploading assets for that tag.
134134
This pipeline runs automatically on every push to `main` (rolling `desktop-latest`)
135-
and on version tags (for example `1.4.0` or `v1.4.0`).
135+
and on version tags (for example `1.5.0` or `v1.5.0`).
136136
If needed, trigger the workflow manually and set `release_tag`
137-
(example `1.4.0` or `desktop-latest`) to refresh assets.
137+
(example `1.5.0` or `desktop-latest`) to refresh assets.
138138

139139
Windows checksum verification:
140140

@@ -193,13 +193,13 @@ Generated APK:
193193

194194
Download prebuilt APK:
195195

196-
- Current stable mobile version: `1.4.0`
197-
- [`OCCMobile-android.apk`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCMobile-android.apk)
198-
- [`OCCMobile-android.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.4.0/OCCMobile-android.sha256)
196+
- Current stable mobile version: `1.5.0`
197+
- [`OCCMobile-android.apk`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCMobile-android.apk)
198+
- [`OCCMobile-android.sha256`](https://github.com/MarcoAIsaac/OCC/releases/download/1.5.0/OCCMobile-android.sha256)
199199

200200
Release automation:
201201

202-
- Workflow `.github/workflows/android_release.yml` publishes Android assets automatically on pushed version tags (`1.4.0` or `v1.4.0`).
202+
- Workflow `.github/workflows/android_release.yml` publishes Android assets automatically on pushed version tags (`1.5.0` or `v1.5.0`).
203203

204204
## Maintenance helpers
205205

@@ -271,7 +271,7 @@ For long runs, prefer the manual full-suite workflow in GitHub Actions.
271271

272272
## Domain expansions
273273

274-
`v1.4.0` keeps the nuclear-domain lock set (`j4_nuclear_guard`, `L4C*/L4E*`) and adds
274+
`v1.5.0` keeps the nuclear-domain lock set (`j4_nuclear_guard`, `L4C*/L4E*`) and adds
275275
Experiment Lab matrix workflows plus Windows desktop distribution via GitHub Releases
276276
(`OCCDesktop-Setup-windows-x64.exe`).
277277

android/app/build.gradle.kts

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,8 @@ android {
1212
applicationId = "io.occ.mobile"
1313
minSdk = 26
1414
targetSdk = 35
15-
versionCode = 1400
16-
versionName = "1.4.0"
15+
versionCode = 1500
16+
versionName = "1.5.0"
1717

1818
testInstrumentationRunner = "androidx.test.runner.AndroidJUnitRunner"
1919
vectorDrawables {

docs/RELEASING.es.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,11 @@ Este repositorio ya está técnicamente listo. Para maximizar alcance científic
1010
### Pasos
1111

1212
1. Conecta GitHub con Zenodo y habilita este repositorio.
13-
2. Empuja un tag de versión (por ejemplo `1.4.0` o `v1.4.0`).
13+
2. Empuja un tag de versión (por ejemplo `1.5.0` o `v1.5.0`).
1414
3. Los assets de escritorio para Windows se construyen automáticamente con
1515
`.github/workflows/windows_desktop_release.yml`:
1616
- en cada push a `main` (canal rolling: `desktop-latest`),
17-
- en tags de versión (`1.4.0` / `v1.4.0`) para releases estables.
17+
- en tags de versión (`1.5.0` / `v1.5.0`) para releases estables.
1818
Assets publicados:
1919
- `OCCDesktop-Setup-windows-x64.exe`
2020
- `OCCDesktop-windows-x64.zip`
@@ -25,7 +25,7 @@ Este repositorio ya está técnicamente listo. Para maximizar alcance científic
2525
`.github/workflows/android_release.yml` y se adjuntan al mismo release:
2626
- `OCCMobile-android.apk`
2727
- `OCCMobile-android.sha256`
28-
- Si hace falta, ejecuta los workflows manualmente con `release_tag` (ejemplo `1.4.0` o `desktop-latest`).
28+
- Si hace falta, ejecuta los workflows manualmente con `release_tag` (ejemplo `1.5.0` o `desktop-latest`).
2929
5. Espera a que Zenodo archive la versión y asigne DOI.
3030
6. Actualiza `README` con el distintivo del DOI.
3131

docs/RELEASING.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,11 @@ This repository is technically ready. To maximize scientific reach, two publicat
1010
### Steps
1111

1212
1. Connect GitHub with Zenodo and enable this repository.
13-
2. Push a version tag (for example `1.4.0` or `v1.4.0`).
13+
2. Push a version tag (for example `1.5.0` or `v1.5.0`).
1414
3. Windows desktop assets are built automatically by workflow
1515
`.github/workflows/windows_desktop_release.yml`:
1616
- on every push to `main` (rolling channel tag: `desktop-latest`),
17-
- on version tags (`1.4.0` / `v1.4.0`) for stable releases.
17+
- on version tags (`1.5.0` / `v1.5.0`) for stable releases.
1818
Assets attached:
1919
- `OCCDesktop-Setup-windows-x64.exe`
2020
- `OCCDesktop-windows-x64.zip`
@@ -25,7 +25,7 @@ This repository is technically ready. To maximize scientific reach, two publicat
2525
`.github/workflows/android_release.yml` and attached to the same release:
2626
- `OCCMobile-android.apk`
2727
- `OCCMobile-android.sha256`
28-
- If needed, run workflows manually with input `release_tag` (example `1.4.0` or `desktop-latest`).
28+
- If needed, run workflows manually with input `release_tag` (example `1.5.0` or `desktop-latest`).
2929
5. Wait for Zenodo to archive the release and assign a DOI.
3030
6. Update README with DOI badge.
3131

occ/science_research.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616

1717
from .version import get_version
1818

19-
USER_AGENT = f"occ-mrd-runner/{get_version('1.4.0')} (+https://github.com/MarcoAIsaac/OCC)"
19+
USER_AGENT = f"occ-mrd-runner/{get_version('1.5.0')} (+https://github.com/MarcoAIsaac/OCC)"
2020

2121

2222
def _now_iso() -> str:

pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
44

55
[project]
66
name = "occ-mrd-runner"
7-
version = "1.4.0"
7+
version = "1.5.0"
88
description = "OCC (Operational Consistency Compiler) runtime + MRD suite runner"
99
readme = "README.md"
1010
requires-python = ">=3.10"

0 commit comments

Comments
 (0)