veridist 1.0.0__tar.gz

veridist-1.0.0/CHANGELOG.md

@@ -0,0 +1,106 @@
+# Veridist changelog
+
+This changelog covers only the nested `veridist` package. The repository-root
+legacy changelog describes the frozen `distfit_pro` history and is not a
+Veridist release record.
+
+## [1.0.0] - 2026-09-11
+
+### Added
+
+- Candidate-bound execution evidence for complete, retry-resume, and
+  cancellation scenarios at 10k, 100k, and 1m rows on Linux, macOS, and
+  Windows. The release gate validates all 27 collected cells and their source
+  and result digests.
+- Reproducible release validation that builds artifacts twice, canonicalizes
+  archive metadata, verifies byte equality, and retains the validated wheel
+  and source distribution.
+- Isolated PyPI Trusted Publishing through GitHub OIDC and the protected
+  `pypi` environment. Published GitHub Release assets are the only artifacts
+  eligible for upload.
+
+### Changed
+
+- Checkpointed CSV execution persists bounded adapter chunks in one
+  transaction and retains a committed prefix on cancellation for nonzero-
+  cursor resume.
+
+### Quality
+
+- Python 3.11 through 3.14, documentation, RTL browser, package, 95%
+  coverage, and fail-closed mutation gates remain release requirements.
+
+## [0.9.1] - 2026-09-11
+
+### Changed
+
+- Checkpointed CSV execution commits bounded adapter chunks instead of opening
+  a SQLite transaction for every row. Cancellation persists the completed
+  prefix for nonzero-cursor resume.
+- Candidate-bound 1.0 evidence collection verifies complete, resumed, and
+  cancelled 10k, 100k, and 1m-row runs on Linux, macOS, and Windows and rejects
+  digest drift.
+- Citation File Format, Zenodo, and conda-forge release metadata is
+  version-aligned and validated in CI.
+
+### Quality
+
+- The 95% global line and branch coverage contract remains enforced; the
+  execution-module denominator is frozen at 179 statements and 70 branches.
+- Competitive source-lock validation remains outside the package release gate
+  while ADR-0014 is Proposed; competitive drafts remain non-publishable.
+
+## [0.9.0] - 2026-09-11
+
+### Added
+
+- Durable local SQLite checkpoints with generation-based compare-and-swap,
+  corruption detection, source-revision checks, and resumable exponential CSV
+  and canonical-chunk execution.
+- Fixed-location Weibull-minimum and lognormal MLE cells for exact and
+  independently right-censored lifetimes, including typed failures and
+  frequency-weight contracts.
+- Scalar CDF, survival, quantile, and caller-owned RNG sampling operations for
+  the declared continuous-family registry.
+- AIC/BIC, adequacy-gated model selection, and refit Monte Carlo KS, AD, and
+  CvM goodness-of-fit for the uncensored exponential cell. Monte Carlo output
+  reports requested, successful, and failed refits plus sampling uncertainty.
+
+### Quality
+
+- Python 3.11 through 3.14 CI, package, documentation, RTL browser, coverage,
+  and fail-closed mutation gates pass on the release line.
+- The inference module is registered with 129 statements and 46 branches and
+  is fully exercised by its contract and calibration tests.
+
+### Known limits
+
+See [Known limits](KNOWN_LIMITS.md). Inference remains limited to uncensored
+exponential samples, checkpoints remain local SQLite, operations are scalar,
+and no general performance, RSS, or universal best-fit claim is made.
+
+## [0.5.0] - 2026-09-10
+
+### Available in the candidate scope
+
+- A strict UTF-8 CSV adapter for fixed-location, rate-only exponential MLE
+  with exact and independently right-censored lifetimes.
+- Scalar log-density evaluation for normal, gamma, Weibull-minimum,
+  lognormal, and right-Gumbel families.
+- Exact-state streaming log-likelihood reduction through the public
+  `IterableDataSource` contract.
+- Bounded delivery that charges queued payload and active consumer leases.
+- English, Persian, and German package documentation with Persian RTL checks.
+- Candidate-bound coverage, mutation, scale-evidence, and release-validation
+  workflows.
+
+### Release status
+
+The package version is `0.5.0`. Its candidate-specific ADR-0020 gates passed
+on the exact release candidate; retained CI and scale artifacts bind to that
+candidate SHA.
+
+### Known limits
+
+See [Known limits](KNOWN_LIMITS.md). These limits are part of the release
+contract and constrain every public 0.5 claim.

veridist-1.0.0/KNOWN_LIMITS.de.md

@@ -0,0 +1,38 @@
+# Bekannte Grenzen von Veridist 0.9
+
+Dieses Dokument definiert die Release-Grenze 0.9 für Paketversion `1.0.0`.
+
+- `FIT-CSV-EXP`: Der strikte CSV-Pfad passt nur ein Exponentialmodell mit
+  festem Ort und Rate für exakte und unabhängig rechtszensierte Lebensdauern
+  an. Weibull-Minimum und Lognormal sind über typisierte Lebensdauerobjekte,
+  nicht über eine allgemeine Datei-API, verfügbar. Analytische Gewichte,
+  Kovariaten, Trunkierung, Links- und Intervallzensierung sowie freie
+  Ortsparameter bleiben nicht unterstützt.
+- `CSV-STRICT`: Der mitgelieferte Dateiadapter akzeptiert nur UTF-8-CSV mit
+  exakt `time,event_observed`; `1` bezeichnet ein exaktes Ereignis und `0`
+  unabhängige Rechtszensierung. Er ist kein allgemeiner CSV- oder
+  Tabellenkalkulationsleser.
+- `SCALAR-FAMILIES`: Normal-, Gamma-, Weibull-Minimum-, Lognormal- und
+  Rechts-Gumbel-Familien bieten skalare Log-Dichte-, CDF-, Survival-, Quantil-
+  und Sampling-Operationen. Arrays, eine einheitliche Fit-API und Inferenz für
+  jede registrierte Familie fehlen.
+- `STREAM-SOURCE`: `IterableDataSource` adaptiert Chunk-Iterables des Aufrufers.
+  Das Paket enthält keinen Parquet-, Arrow-, Dataframe-, Datenbank- oder
+  Netzwerkadapter. Dauerhafte Fortsetzung ist auf den strikten Lebensdauer-CSV-
+  Pfad und lokales SQLite begrenzt; ein verteilter Checkpoint-Store fehlt.
+- `INFERENCE-EXP`: Refit-Monte-Carlo-KS/AD/CvM und adequacy-gesteuerte Auswahl
+  gelten nur für endliche positive unzensierte Exponentialstichproben. Es gibt
+  keine Bootstrap-Auswahlstabilität oder Kalibrierungsbehauptung außerhalb des
+  geprüften Gitters.
+- `MEMORY-BOUND`: Die Liefergrenze umfasst Nutzdaten in der Warteschlange und
+  aktive Verbraucher-Leases bis zur ausdrücklichen Freigabe. Sie ist eine
+  logische Grenze für gehaltene Nutzdaten, keine portable RSS-Obergrenze.
+- `SCALE-EVIDENCE`: Messungen gelten nur für den exakten Adapter, die Familie,
+  Arbeitslast, Plattform, Python-Version, Chunk-Grenze und Kandidaten-SHA. Sie
+  belegen weder universellen Durchsatz noch allgemeine Big-Data-Unterstützung
+  oder eine breite Out-of-Core-Fähigkeit.
+- `LICENSE`: Das Paket verwendet BUSL-1.1 mit der in `LICENSE` beschriebenen
+  zusätzlichen Apache-2.0-Nutzungserlaubnis und wechselt am 2030-09-05 zu
+  Apache-2.0.
+
+[English](KNOWN_LIMITS.md) | [فارسی](KNOWN_LIMITS.fa.md)

veridist-1.0.0/KNOWN_LIMITS.fa.md

@@ -0,0 +1,34 @@
+# محدودیت‌های شناخته‌شدهٔ Veridist 0.9
+
+این سند مرز انتشار 0.9 برای نسخهٔ بستهٔ `1.0.0` را تعریف می‌کند.
+
+- `FIT-CSV-EXP`: مسیر CSV فقط مدل نمایی با مکان ثابت و پارامتر نرخ را برای
+  طول‌عمرهای دقیق و مستقلِ راست‌سانسورشده برازش می‌دهد. برازش Weibull-minimum
+  و Lognormal با اشیای طول‌عمر نوع‌دار قابل‌فراخوانی است و API عمومی فایل نیست.
+  وزن تحلیلی، متغیر کمکی، truncation، چپ‌سانسوری، سانسور بازه‌ای و مکان آزاد
+  پشتیبانی نمی‌شوند.
+- `CSV-STRICT`: adapter فایل همراه بسته فقط CSV با UTF-8 و دقیقاً دو ستون
+  `time,event_observed` را می‌پذیرد؛ `1` رخداد دقیق و `0` راست‌سانسوری مستقل
+  است. این یک CSV reader یا spreadsheet reader عمومی نیست.
+- `SCALAR-FAMILIES`: خانواده‌های normal، gamma، Weibull-minimum، lognormal و
+  right-Gumbel عملیات اسکالر log-density، CDF، survival، quantile و sampling
+  دارند. ارزیابی array، API یکنواخت برازش و استنباط برای همهٔ خانواده‌ها ارائه
+  نمی‌شود.
+- `STREAM-SOURCE`: `IterableDataSource`، iterableهای chunk متعلق به فراخواننده
+  را سازگار می‌کند. adapter برای Parquet، Arrow، dataframe، database یا network
+  همراه بسته نیست. ادامهٔ پایدار به مسیر CSV طول‌عمر سخت‌گیرانه و SQLite محلی
+  محدود است و checkpoint توزیع‌شده نیست.
+- `INFERENCE-EXP`: آزمون‌های KS/AD/CvM با Monte Carlo و refit و انتخاب
+  adequacy-gated فقط برای نمونه‌های نمایی مثبت، متناهی و بدون سانسور هستند.
+  ثبات انتخاب bootstrap یا calibration بیرون از grid آزموده‌شده ادعا نمی‌شود.
+- `MEMORY-BOUND`: کران delivery، payload صف و lease فعال مصرف‌کننده را تا
+  release صریح محاسبه می‌کند. این کران منطقی payload نگه‌داری‌شده است، نه سقف
+  قابل‌حمل RSS.
+- `SCALE-EVIDENCE`: اندازه‌گیری فقط برای adapter، خانواده، workload، platform،
+  نسخهٔ Python، حد chunk و SHA همان candidate معتبر است. این شواهد throughput
+  همگانی، پشتیبانی generic big-data یا قابلیت گستردهٔ out-of-core را ثابت
+  نمی‌کنند.
+- `LICENSE`: مجوز بسته BUSL-1.1 با مجوز استفادهٔ اضافی Apache-2.0 مندرج در
+  `LICENSE` است و در 2030-09-05 به Apache-2.0 تغییر می‌کند.
+
+[English](KNOWN_LIMITS.md) | [Deutsch](KNOWN_LIMITS.de.md)

veridist-1.0.0/KNOWN_LIMITS.md

@@ -0,0 +1,35 @@
+# Known limits for Veridist 0.9
+
+This document defines the 0.9 release boundary for package version `1.0.0`.
+
+- `FIT-CSV-EXP`: the strict CSV path fits only a fixed-location, rate-only
+  exponential model over exact and independently right-censored lifetimes.
+  Weibull-minimum and lognormal fits are callable over typed lifetime objects,
+  not through a general file-fitting API. Analytic weights, covariates,
+  truncation, left censoring, interval censoring, and free location parameters
+  remain unsupported.
+- `CSV-STRICT`: the bundled file adapter accepts only UTF-8 CSV with exactly
+  `time,event_observed`, where `1` is an exact event and `0` is independent
+  right censoring. It is not a general CSV or spreadsheet reader.
+- `SCALAR-FAMILIES`: normal, gamma, Weibull-minimum, lognormal, and
+  right-Gumbel expose scalar log-density, CDF, survival, quantile, and sampling
+  operations. They do not expose array evaluation, a uniform fitting API, or
+  inference for every registered family.
+- `STREAM-SOURCE`: `IterableDataSource` adapts caller-owned chunk iterables.
+  The package bundles no Parquet, Arrow, dataframe, database, or network
+  adapter. Durable resume is limited to the strict lifetime CSV path and local
+  SQLite; it is not a distributed checkpoint store.
+- `INFERENCE-EXP`: refit Monte Carlo KS/AD/CvM and adequacy-gated selection are
+  limited to finite positive uncensored exponential samples. There is no
+  bootstrap selection stability or calibration claim outside the tested grid.
+- `MEMORY-BOUND`: the delivery bound covers queued payload and active consumer
+  leases until explicit release. It is a logical retained-payload bound, not a
+  portable RSS ceiling.
+- `SCALE-EVIDENCE`: measurements apply only to their exact adapter, family,
+  workload, platform, Python version, chunk limit, and candidate SHA. They do
+  not establish universal throughput, generic big-data support, or a broad
+  out-of-core capability.
+- `LICENSE`: the package uses BUSL-1.1 with the Apache-2.0 additional-use grant
+  stated in `LICENSE`; it changes to Apache-2.0 on 2030-09-05.
+
+[فارسی](KNOWN_LIMITS.fa.md) | [Deutsch](KNOWN_LIMITS.de.md)

veridist-1.0.0/LICENSE

@@ -0,0 +1,45 @@
+Business Source License 1.1
+
+Parameters:
+
+Licensor:             Ali Sadeghi Aghili
+Licensed Work:        py-distfit-pro
+Additional Use Grant: You may make production use of the Licensed Work under the terms of the Apache License, Version 2.0, provided Your use is for personal, non-commercial purposes only.
+                      "Personal, non-commercial purposes" means: (a) academic research and education; (b) internal business analytics not offered as a service to third parties; (c) personal projects and experimentation; (d) non-profit and open-source community work.
+                      If Your use includes offering the Licensed Work to third parties on a hosted or embedded basis in order to compete with the Licensor's paid version of the Licensed Work, the Apache-2.0 grant does not apply and You must obtain a separate commercial license from the Licensor.
+Change Date:          2030-09-05
+Change License:       Apache License, Version 2.0
+
+
+Terms
+
+The Licensor hereby grants you the right to copy, modify, create derivative works, redistribute, and make non-production use of the Licensed Work.
+
+The Licensor grants you the rights set forth in the Additional Use Grant.
+
+If You breach any of the terms in this License, Your rights under this License shall terminate immediately.
+
+If You have properly taken all steps required to comply with this License, the Licensor grants you the rights set forth in the Additional Use Grant.
+
+The Licensed Work is protected by copyright and other intellectual property laws. The Licensor reserves all rights not expressly granted in this License.
+
+The Licensed Work is provided "AS IS" without warranty of any kind, express or implied. The Licensor is not liable for any damages or claims arising out of the use of the Licensed Work.
+
+This License is governed by the laws of the jurisdiction in which the Licensor is located, without regard to conflict of law principles.
+
+For the avoidance of doubt, this License does not grant any rights under patent, trademark, or other intellectual property rights that may be applicable to the Licensed Work.
+
+The Change Date is the date on which the Licensed Work will become available under the terms of the Change License.
+
+The Change License is the license that will apply to the Licensed Work on the Change Date.
+
+On the Change Date, this License will be automatically replaced by the Change License.
+
+
+Notice
+
+Business Source License 1.1 is a template license published by MariaDB plc. The parameters above are set by the Licensor.
+
+For more information, see https://mariadb.com/bsl11/
+
+SPDX-License-Identifier: BUSL-1.1

veridist-1.0.0/MANIFEST.in

@@ -0,0 +1,9 @@
+include LICENSE
+include README.md
+include README.fa.md
+include README.de.md
+include CHANGELOG.md
+include KNOWN_LIMITS.md
+include KNOWN_LIMITS.fa.md
+include KNOWN_LIMITS.de.md
+include src/veridist/py.typed

veridist-1.0.0/PKG-INFO

@@ -0,0 +1,143 @@
+Metadata-Version: 2.4
+Name: veridist
+Version: 1.0.0
+Summary: Evidence-first distribution fitting with explicit execution contracts
+Author-email: Ali Sadeghi Aghili <alisadeghiaghili@gmail.com>
+License-Expression: BUSL-1.1
+Project-URL: Homepage, https://github.com/alisadeghiaghili/veridist
+Project-URL: Documentation, https://github.com/alisadeghiaghili/veridist/tree/main/python/docs
+Project-URL: Repository, https://github.com/alisadeghiaghili/veridist
+Project-URL: Issues, https://github.com/alisadeghiaghili/veridist/issues
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: numpy<3,>=1.26
+Provides-Extra: test
+Requires-Dist: coverage[toml]>=7.6; extra == "test"
+Requires-Dist: mpmath==1.3.0; extra == "test"
+Requires-Dist: PyYAML<7,>=6; extra == "test"
+Requires-Dist: pytest>=8.3; extra == "test"
+Requires-Dist: pytest-cov<8,>=6; extra == "test"
+Provides-Extra: mutation
+Requires-Dist: mutmut==3.7.0; extra == "mutation"
+Requires-Dist: pytest>=8.3; extra == "mutation"
+Provides-Extra: browser
+Requires-Dist: playwright==1.62.0; extra == "browser"
+Provides-Extra: lint
+Requires-Dist: mypy>=1.13; extra == "lint"
+Requires-Dist: ruff>=0.8; extra == "lint"
+Provides-Extra: docs
+Requires-Dist: Sphinx<9,>=8.2; extra == "docs"
+Requires-Dist: myst-parser<5,>=4; extra == "docs"
+Requires-Dist: sphinx-intl<3,>=2.3; extra == "docs"
+Dynamic: license-file
+
+# veridist
+
+[English](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.md) | [فارسی](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.fa.md) | [Deutsch](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.de.md)
+
+## Status
+
+`veridist` 1.0.0 is an evidence-backed public contract release.
+It specifies and tests bounded delivery, replayability, pass budgets,
+transactional retry, checkpoint compatibility, typed failures, execution
+outcomes, and redacted provenance.
+
+This build includes fixed-location Exponential, Weibull-minimum, and Lognormal
+MLE cells for exact and independently right-censored lifetimes. They provide
+point estimates when finite solutions exist and typed failures otherwise.
+The uncensored exponential cell also has refit Monte Carlo KS, AD, and CvM
+goodness-of-fit, AIC/BIC, calibration summaries, and adequacy-gated selection.
+Inference is restricted to that declared cell and requires a caller-owned NumPy
+generator.
+Its public CSV path is strict: UTF-8 CSV with exactly `time,event_observed`,
+event token `1`, and right-censoring token `0`. It executes one iterator pass
+with a declared logical retained-payload chunk budget and returns a closed,
+typed execution result. This is not a generic CSV reader or a portable RSS,
+throughput, cancellation, retry, checkpoint, or broad out-of-core claim.
+Retained evidence establishes bounded internal payload only for the measured
+10k/100k/1m by 32KiB/64KiB/128KiB matrix; it does not establish a general
+big-data or high-throughput capability.
+
+`IterableDataSource` is the reusable public stream adapter for caller-owned
+chunk iterables. Its immutable metadata explicitly declares one-pass or
+replayable acquisition: a single-pass source fails with a typed pass-budget
+error if acquired twice, while a replayable source requires an iterator
+factory. `BoundedChunkBuffer` charges queued and consumer-held chunks until
+`BufferedChunk.release()`; callers must release received chunks, normally in
+`finally`. The only shipped file adapter remains the strict CSV lifetime
+adapter—this does not add generic CSV, Parquet, Arrow, dataframe, database,
+or broad out-of-core adapters.
+
+For a sequential pure reducer, `veridist.engine.SQLiteCheckpointStore` provides
+durable local checkpoint state with generation-based compare-and-swap and
+cross-process SQLite locking. It is limited to one host and a local filesystem;
+`fit_exponential_checkpointed_csv` supports explicit source-revision-bound
+resume for the strict lifetime CSV path.
+
+The separate scalar surface exposes immutable `FAMILY_REGISTRY` metadata for
+normal, gamma, Weibull-minimum, lognormal, and right-Gumbel; scalar
+`evaluate_log_density`, CDF, survival, quantile, and caller-owned RNG sampling
+operations; and
+exact-state `reduce_log_likelihood_chunks`. These operations are scalar and the
+fit/inference capability matrix remains narrower than the operation registry.
+The reducer represents successful binary64 terms exactly and rounds
+the final total once; its unsigned-64 count cap implies a 2162-bit exact-total
+bound. Its retained 10k/100k/1m evidence is scoped to tested normal streams.
+
+Candidate scale measurement is deliberately manual: the `veridist-scale-evidence`
+workflow first binds a clean, full candidate SHA and runs the evidence contracts,
+then measures the public iterable likelihood and strict CSV/exponential paths on
+Linux and Windows. It retains artifacts only after their own fail-closed SHA and
+schema validation. Merely having this workflow, or a historical artifact, is not
+evidence for a new candidate and is not a throughput or RSS claim.
+
+## Install an evaluation build
+
+Install from the nested source project after cloning the repository:
+
+```console
+git clone https://github.com/alisadeghiaghili/veridist.git
+cd veridist/python
+python -m pip install .
+```
+
+Or install a wheel that you built or obtained from a specific verified run:
+
+```console
+python -m pip install /path/to/veridist-1.0.0-py3-none-any.whl
+```
+
+The project does not direct users to install an unreleased package name from a
+public index.
+
+## Try the experimental vertical
+
+```python
+from pathlib import Path
+from tempfile import TemporaryDirectory
+from veridist import CsvLifetimeLimits, CsvLifetimeSchema, PublicSourceId, fit_exponential_csv
+from veridist.families import ExponentialFitSuccess
+
+with TemporaryDirectory() as directory:
+    path = Path(directory) / "lifetimes.csv"
+    path.write_text("time,event_observed\n1,1\n1,0\n", encoding="utf-8")
+    fit = fit_exponential_csv(
+        path, schema=CsvLifetimeSchema("time", "event_observed"),
+        source_id=PublicSourceId("src_0123456789abcdef0123456789abcdef"),
+        limits=CsvLifetimeLimits(32768, 32768),
+    ).fit
+assert isinstance(fit, ExponentialFitSuccess)
+assert fit.rate == 0.5
+assert fit.inference == "not_provided"
+assert fit.censoring_assumption == "independent_right_censoring"
+```
+
+See the [documentation toolchain](docs/README.md) and the repository's
+[evidence ledger](../docs/v1-readiness.md) for implemented checks and explicit
+limits.
+
+## License
+
+BUSL-1.1 with an Apache-2.0 additional-use grant for personal,
+non-commercial use; see [LICENSE](LICENSE).

veridist-1.0.0/README.de.md

@@ -0,0 +1,115 @@
+# veridist
+
+[English](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.md) | [فارسی](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.fa.md) | [Deutsch](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.de.md)
+
+## Status
+
+`veridist` 1.0.0 ist eine öffentlich dokumentierte Vertragsversion mit überprüfbaren Nachweisen.
+Der aktuelle Stand spezifiziert und testet begrenzte Datenlieferung,
+Wiederholbarkeit, Pass-Budgets, transaktionale Wiederholungen,
+Checkpoint-Kompatibilität, typisierte Fehler, Ausführungsergebnisse und
+redigierte Provenienz.
+
+Dieser Stand enthält Exponential-, Weibull-Minimum- und Lognormal-MLE-Zellen mit
+festem Ort für exakte und unabhängig rechtszensierte Lebensdauern. Wenn eine
+endliche Lösung existiert, wird eine Punktschätzung zurückgegeben; andernfalls
+entstehen typisierte Fehlschläge. Für die unzensierte Exponentialzelle gibt es
+außerdem Refit-Monte-Carlo-KS-, AD- und CvM-Tests, AIC/BIC,
+Kalibrierungszusammenfassungen und adequacy-gesteuerte Auswahl. Diese Inferenz
+ist auf diese deklarierte Zelle und einen aufruferseitigen Generator begrenzt.
+Der öffentliche CSV-Pfad ist strikt: UTF-8-CSV mit exakt
+`time,event_observed`, Ereignis-Token `1` und Rechtszensur-Token `0`. Er führt
+einen Iterator-Durchlauf mit einem deklarierten logischen Budget für behaltene
+Payloads aus und gibt ein geschlossenes, typisiertes Ausführungsergebnis zurück.
+Dies ist keine Behauptung über allgemeines CSV, portable RSS-Grenzen,
+Durchsatz, Abbruch, Retry, Checkpoints oder breite Out-of-Core-Unterstützung.
+Die hinterlegte Evidenz belegt begrenzte interne Payload nur für die gemessene
+Matrix aus 10k/100k/1m Zeilen und 32KiB/64KiB/128KiB; daraus folgt keine
+allgemeine Big-Data- oder Hochdurchsatzfähigkeit.
+
+`IterableDataSource` ist der wiederverwendbare öffentliche Stream-Adapter für
+aufruferseitige Chunk-Iterables. Seine unveränderlichen Metadaten erklären
+Einmaligkeit oder Wiederholbarkeit ausdrücklich: Eine zweite Akquisition einer
+Einmalquelle schlägt mit einem typisierten Pass-Budget-Fehler fehl; eine
+wiederholbare Quelle benötigt eine Iterator-Factory. `BoundedChunkBuffer`
+berechnet Bytes für eingereihte und vom Consumer gehaltene Chunks bis
+`BufferedChunk.release()`; empfangene Chunks müssen, üblicherweise in
+`finally`, freigegeben werden. Der einzige ausgelieferte Datei-Adapter bleibt
+der strikte CSV-Lebensdauer-Adapter. Dies ergänzt weder allgemeines CSV noch
+Parquet-, Arrow-, Dataframe-, Datenbank- oder breite Out-of-Core-Adapter.
+
+Die separate skalare Oberfläche bietet unveränderliche `FAMILY_REGISTRY`-
+Metadaten für Normal-, Gamma-, Weibull-Minimum-, Lognormal- und Rechts-Gumbel-
+Familien, die skalare `evaluate_log_density` und die exakte Zustandsreduktion
+`reduce_log_likelihood_chunks`. Sie ist keine generische Anpassungs-,
+Inferenz-, Anpassungsgüte-, Ranking-, Array- oder Zensierungs-API.
+Erfolgreiche binary64-Terme werden exakt repräsentiert; die Endsumme wird
+einmal gerundet. Die unsigned-64-Zählgrenze ergibt eine 2162-Bit-Grenze für die
+exakte Summe. Die Evidenz für 10k/100k/1m gilt nur für getestete Normalströme.
+
+Die Scale-Messung eines Kandidaten ist bewusst manuell: Der Workflow
+`veridist-scale-evidence` bindet zunächst den vollständigen SHA eines sauberen
+Kandidaten und führt die Evidenzverträge aus. Erst dann misst er den öffentlichen
+Iterable-Likelihood-Pfad und den strikten CSV/Exponential-Pfad unter Linux und
+Windows. Artefakte werden erst nach ihrer eigenen fail-closed SHA- und
+Schema-Validierung aufbewahrt. Das bloße Vorhandensein dieses Workflows oder eines
+historischen Artefakts ist kein Beleg für einen neuen Kandidaten und keine
+Durchsatz- oder RSS-Behauptung.
+
+## Evaluierungsstand installieren
+
+Nach dem Klonen wird das verschachtelte Python-Projekt installiert:
+
+```console
+git clone https://github.com/alisadeghiaghili/veridist.git
+cd veridist/python
+python -m pip install .
+```
+
+Alternativ kann ein selbst gebautes oder aus einem bestimmten geprüften Lauf
+bezogenes Wheel installiert werden:
+
+```console
+python -m pip install /path/to/veridist-1.0.0-py3-none-any.whl
+```
+
+Das Projekt fordert nicht zur Installation eines unveröffentlichten
+Paketnamens aus einem öffentlichen Index auf.
+
+## Experimentelle Vertikale ausprobieren
+
+```python
+from pathlib import Path
+from tempfile import TemporaryDirectory
+from veridist import CsvLifetimeLimits, CsvLifetimeSchema, PublicSourceId, fit_exponential_csv
+from veridist.families import ExponentialFitSuccess
+
+with TemporaryDirectory() as directory:
+    path = Path(directory) / "lifetimes.csv"
+    path.write_text("time,event_observed\n1,1\n1,0\n", encoding="utf-8")
+    fit = fit_exponential_csv(
+        path, schema=CsvLifetimeSchema("time", "event_observed"),
+        source_id=PublicSourceId("src_0123456789abcdef0123456789abcdef"),
+        limits=CsvLifetimeLimits(32768, 32768),
+    ).fit
+assert isinstance(fit, ExponentialFitSuccess)
+assert fit.rate == 0.5
+assert fit.inference == "not_provided"
+assert fit.censoring_assumption == "independent_right_censoring"
+```
+
+Weitere Einzelheiten stehen in der
+[Dokumentations-Toolchain](docs/README.md) und im
+[Evidenzregister](../docs/v1-readiness.md). Dort werden implementierte Prüfungen
+und ausdrückliche Grenzen getrennt ausgewiesen.
+
+## Lizenz
+
+BUSL-1.1 mit einer zusätzlichen Apache-2.0-Nutzungserlaubnis für persönliche,
+nicht-kommerzielle Nutzung; siehe [LICENSE](LICENSE).
+Für einen sequentiellen, nebenwirkungsfreien Reducer bietet
+`veridist.engine.SQLiteCheckpointStore` dauerhaften lokalen Checkpoint-Zustand
+mit generationsbasiertem Compare-and-Swap und SQLite-Sperren zwischen
+Prozessen. Der Umfang ist auf einen Rechner und ein lokales Dateisystem
+beschränkt; der strikte CSV-Adapter verspricht noch kein automatisches
+Checkpoint-Replay.

veridist-1.0.0/README.fa.md

@@ -0,0 +1,123 @@
+# veridist
+
+[English](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.md) | [فارسی](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.fa.md) | [Deutsch](https://github.com/alisadeghiaghili/veridist/blob/main/python/README.de.md)
+
+<div lang="fa" dir="rtl">
+
+## وضعیت
+
+`veridist` با نسخهٔ 1.0.0 یک انتشار عمومی با شواهد قابل‌بازبینی است.
+این نسخه قراردادهای تحویل کران‌دار، بازپخش‌پذیری، بودجهٔ گذر، تلاش مجدد
+تراکنشی، سازگاری checkpoint، شکست‌های نوع‌دار، پیامدهای اجرا و منشأ دادهٔ
+پالایش‌شده از اطلاعات حساس را تعریف و آزمایش می‌کند.
+
+این نسخه سلول‌های MLE نمایی، Weibull-minimum و Lognormal با مکان ثابت برای
+طول عمرهای دقیق و راست‌سانسورشدهٔ مستقل دارد. هرگاه راه‌حل متناهی وجود داشته
+باشد، برآورد نقطه‌ای برمی‌گرداند و در غیر این صورت شکست‌های نوع‌دار می‌دهد.
+برای سلول نمایی بدون سانسور، آزمون‌های KS، AD و CvM با Monte Carlo و refit،
+AIC/BIC، خلاصهٔ calibration و انتخاب مدل adequacy-gated نیز ارائه می‌شود؛ این
+استنباط به همین سلول اعلام‌شده و generator متعلق به فراخواننده محدود است.
+مسیر CSV عمومی آن سخت‌گیرانه است: CSV با UTF-8 و دقیقاً سرستون‌های
+`time,event_observed`، توکن رخداد `1` و توکن راست‌سانسوری `0`. این مسیر یک
+گذر از iterator با بودجهٔ منطقی payload نگه‌داشته‌شده اجرا و نتیجهٔ اجرایی
+بسته و نوع‌دار برمی‌گرداند. شواهد نگه‌داری‌شده فقط payload داخلی کران‌دار را
+برای ماتریس اندازه‌گیری‌شدهٔ 10k/100k/1m ردیف و بودجه‌های
+32KiB/64KiB/128KiB نشان می‌دهند؛ از آن‌ها پشتیبانی عمومی از دادهٔ بزرگ یا
+توان عملیاتی بالا نتیجه نمی‌شود. این ادعای سقف RSS قابل‌حمل، لغو، retry،
+checkpoint یا برون‌حافظه‌ای عمومی هم نیست.
+
+`IterableDataSource` آداپتور عمومیِ قابل‌استفاده‌مجدد برای iterableهای chunk
+متعلق به فراخواننده است. فرادادهٔ تغییرناپذیر آن تک‌گذر یا بازپخش‌پذیر بودن را
+صریح اعلام می‌کند: دریافت دوبارهٔ منبع تک‌گذر با خطای نوع‌دار بودجهٔ گذر شکست
+می‌خورد و منبع بازپخش‌پذیر به iterator factory نیاز دارد. `BoundedChunkBuffer`
+بایت‌های chunkهای صف‌شده و در اختیار مصرف‌کننده را تا `BufferedChunk.release()`
+حساب می‌کند؛ فراخواننده باید chunk دریافت‌شده را، معمولاً در `finally`، آزاد کند.
+تنها آداپتور فایلِ ارائه‌شده همچنان آداپتور سخت‌گیرانهٔ طول‌عمر CSV است؛ این
+قابلیت آداپتورهای عمومی CSV، Parquet، Arrow، dataframe یا out-of-core نیست.
+
+برای یک reducer خالص و ترتیبی، `veridist.engine.SQLiteCheckpointStore` وضعیت
+checkpoint محلی پایدار را با compare-and-swap نسلی و قفل‌گذاری SQLite بین
+فرایندها فراهم می‌کند. این قابلیت فقط برای یک میزبان و filesystem محلی است؛
+`fit_exponential_checkpointed_csv` ادامهٔ صریح و وابسته به source revision را
+برای مسیر CSV طول‌عمر سخت‌گیرانه فراهم می‌کند.
+این کار ادعای CSV عمومی، Parquet، Arrow، dataframe، پایگاه‌داده یا out-of-core
+گسترده ایجاد نمی‌کند.
+
+سطح اسکالر جداگانه فراداده‌های تغییرناپذیر `FAMILY_REGISTRY` را برای پنج خانوادهٔ `normal`، `gamma`، `weibull_min`، `lognormal` و `gumbel_right`، عملیات `evaluate_log_density`، CDF، survival، quantile و نمونه‌گیری با RNG متعلق به فراخواننده و کاهش‌دهندهٔ حالتِ دقیق `reduce_log_likelihood_chunks` دارد. عملیات آرایه‌ای نیستند و ماتریس برازش و استنباط از registry محدودتر است. هر چگالیِ لگاریتمی binary64 موفق متناهی است؛ کاهش‌دهنده آن را به‌صورت تعداد صحیحِ دقیقِ واحدهای زیرنرمال انباشته می‌کند و فقط مجموع نهایی را یک‌بار به binary64 گرد می‌کند. کران شمارش unsigned-64 به کران ۲۱۶۲ بیت برای مجموع صحیحِ دقیق می‌انجامد. شواهد ۱۰k/۱۰۰k/۱m فقط مخصوص جریان‌های `normal` آزمایش‌شده است.
+
+اندازه‌گیری scale برای candidate عمداً دستی است: workflow با نام
+`veridist-scale-evidence` ابتدا SHA کامل و checkout تمیزِ candidate را bind و
+قراردادهای شواهد را اجرا می‌کند؛ سپس مسیر likelihood با iterable عمومی و مسیر
+سخت‌گیرانهٔ CSV/نمایی را روی Linux و Windows اندازه می‌گیرد. artifact فقط پس از
+اعتبارسنجی fail-closedِ SHA و schema خود نگه‌داری می‌شود. وجود این workflow یا
+artifact تاریخی به‌تنهایی شاهد یک candidate تازه نیست و ادعای throughput یا RSS
+ایجاد نمی‌کند.
+
+</div>
+
+<div lang="fa" dir="rtl">
+
+## نصب نسخهٔ ارزیابی
+
+پس از clone کردن مخزن، پروژهٔ تو‌در‌توی Python را نصب کنید:
+
+</div>
+
+```console
+git clone https://github.com/alisadeghiaghili/veridist.git
+cd veridist/python
+python -m pip install .
+```
+
+<div lang="fa" dir="rtl">
+
+یا wheel مشخصی را که خودتان ساخته‌اید یا از یک اجرای تأییدشده گرفته‌اید نصب
+کنید:
+
+</div>
+
+```console
+python -m pip install /path/to/veridist-1.0.0-py3-none-any.whl
+```
+
+<div lang="fa" dir="rtl">
+
+این پروژه کاربران را به نصب نام یک بستهٔ منتشرنشده از public index هدایت
+نمی‌کند.
+
+## آزمودن عمودی آزمایشی
+
+</div>
+
+```python
+from pathlib import Path
+from tempfile import TemporaryDirectory
+from veridist import CsvLifetimeLimits, CsvLifetimeSchema, PublicSourceId, fit_exponential_csv
+from veridist.families import ExponentialFitSuccess
+
+with TemporaryDirectory() as directory:
+    path = Path(directory) / "lifetimes.csv"
+    path.write_text("time,event_observed\n1,1\n1,0\n", encoding="utf-8")
+    fit = fit_exponential_csv(
+        path, schema=CsvLifetimeSchema("time", "event_observed"),
+        source_id=PublicSourceId("src_0123456789abcdef0123456789abcdef"),
+        limits=CsvLifetimeLimits(32768, 32768),
+    ).fit
+assert isinstance(fit, ExponentialFitSuccess)
+assert fit.rate == 0.5
+assert fit.inference == "not_provided"
+assert fit.censoring_assumption == "independent_right_censoring"
+```
+
+<div lang="fa" dir="rtl">
+
+برای جزئیات، [زنجیرهٔ مستندسازی](docs/README.md) و
+[دفتر شواهد](../docs/v1-readiness.md) را ببینید؛ قابلیت‌های پیاده‌شده و
+محدودیت‌ها در آن‌ها جدا شده‌اند.
+
+## مجوز
+
+BUSL-1.1 با مجوز استفادهٔ اضافی Apache-2.0 برای استفادهٔ شخصی و غیرتجاری؛
+متن کامل در [LICENSE](LICENSE) است.
+
+</div>