# certiv.org 1.0 GA

> Stable local-first tools for author-declared computational checks with hash-pinned inputs.
> A passing author receipt records observed local repeatability. It does not
> establish scientific truth, novelty, provenance, priority, safety, ethics,
> causality, or correct interpretation.

## Supported boundary
- Supported: local CLI, separate reference kernel, deterministic local archive, local registry, self-hosted read API, operator verifier worker, static site.
- Public certiv.org mode: read-only documentation, schemas, examples, and downloads.
- Excluded managed surfaces: public uploads, custody, accounts, billing, and managed verifier compute.
- Brand: Certiv is owner-authorized for this project; application or registration status is not represented; Apache-2.0 grants no trademark rights.
- Package identity: use certiv-receipts; the bare certiv PyPI namespace resolves to a separate distribution.

## Machine artifacts
- Release contract: https://certiv.org/.well-known/release.json
- Release downloads: https://certiv.org/releases/1.0.0/RELEASE.json
- Full reviewed source: https://certiv.org/releases/1.0.0/certiv-source-1.0.0.tar.gz
- Manifest schema: https://certiv.org/schema/certiv-manifest.schema.json
- Current receipt schema: https://certiv.org/schema/certiv-receipt-v2.schema.json
- Frozen v1 schema: https://certiv.org/schema/certiv-receipt-v1.schema.json
- OpenAPI shape (public writes disabled): https://certiv.org/api/openapi.json
- Machine descriptor: https://certiv.org/.well-known/certiv.json
- Kernel: https://certiv.org/certiv-kernel.py
- Status: https://certiv.org/status/

## Safe local task
1. Declare each claim with safe relative inputs and an exact expectation.
2. For certificate claims use trusted checker ID lean4 or coq.
3. Run pack and check only in a user-authorized environment.
4. Report verified_local only as author check passed locally.
5. Do not upload to certiv.org; the public production instance is read-only.
