Metadata-Version: 2.4
Name: hardmap
Version: 1.0.0
Summary: Reproducible evidence for the charge-atlas / proof-space program: atlas, oracle line, proof census, and a single repro CLI.
Author: Vishnu Vettrivel
License-Expression: Apache-2.0
Project-URL: Repository, https://github.com/cloudronin/hardmap
Keywords: computational-complexity,proof-complexity,reproducibility
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
License-File: LICENSES/Apache-2.0.txt
License-File: LICENSES/CC-BY-4.0.txt
License-File: NOTICE
Requires-Dist: numpy<2,>=1.24
Requires-Dist: scipy>=1.10
Requires-Dist: pyyaml>=6.0
Requires-Dist: python-sat>=1.8
Provides-Extra: full
Requires-Dist: torch>=2.2; extra == "full"
Requires-Dist: scipy<1.14,>=1.11; extra == "full"
Requires-Dist: pyarrow>=15; extra == "full"
Requires-Dist: huggingface_hub>=0.23; extra == "full"
Provides-Extra: viz
Requires-Dist: matplotlib>=3.8; extra == "viz"
Provides-Extra: dev
Requires-Dist: pytest>=7.4; extra == "dev"
Dynamic: license-file

# hardmap

Reproducible evidence for the charge-atlas / proof-space program. This repository
consolidates four research projects into one installable package whose CLI
regenerates **every statistic the accompanying preprint cites** — either from
committed, verified artifacts (fast tier, seconds–minutes) or from scratch
(full tier, wall-clock documented per claim). The repo *is* the paper's
evidence: the seal chain, the ledgers, and the numbers, checkable without
trusting the author.

> **v1.0.0.** `pip install hardmap && hardmap repro --all` reproduces all eight
> paper-cited numbers, and `hardmap verify` passes the internal-coherence sweep.
> The sealed verification pass is complete ([H4-verification.md](docs/findings/H4-verification.md)).

## Provenance & the seal chain

The program's epistemic argument rests on *sealed-before-measured*: each
preregistration was sealed by the act of committing it, so the seal **is** the
commit that introduced it. This repo was extracted, history-preserving, from a
private predecessor monorepo with `git filter-repo`, which rewrites commit
hashes. Every sealed prereg therefore resolves end to end —
*sealed at X (public: Y)* — via:

- [`docs/hash-map.txt`](docs/hash-map.txt) — the full old→new commit map.
- [`docs/seal-chain.md`](docs/seal-chain.md) — every sealed prereg, resolved.

The frozen charge atlas (`eightfold/eightfold/results/atlas/atlas.jsonl`) is
preserved **byte-identical** through the migration (enforced by a round-trip
test); its `code_commit` provenance field resolves through the hash-map like any
other seal.

## Layout

```
hardmap/         # the thin consolidation CLI (repro / verify / atlas)
eightfold/       # the atlas: frozen atlas.jsonl, schema, validator, Crucible, Factors
foundry/         # the oracle line: lattice / prism / ferry, netting, preregs
proof-census/    # samplers, verifier, the C1–C3 census harness
desert-map/      # banked/killed; retained for fixtures + the verifier census reuses
docs/            # hash-map, seal-chain, and (aggregated) findings / prereg / specs
repro/           # manifest.yaml: claim-id -> entrypoint -> expected value -> tolerance -> tier  (H3)
```

Internal dependencies: `foundry` imports `eightfold`; `proof-census` imports
`desertmap`. Publishing all four in one distribution keeps those edges resolved.

## Install

```bash
pip install -e .          # fast tier: numpy<2, scipy, pyyaml, py>=3.10
pip install -e ".[full]"  # + torch, for full-tier resampling (desert-map / census C3)
```

## Reproducing

```bash
hardmap repro --all       # recompute every fast-tier number, diff vs expected within tolerance
hardmap repro --claim canon.gradient.v   # a single claim
hardmap repro --full      # full tier: regenerate from scratch where available (wall-clock per claim)
hardmap repro --list      # list every claim id
hardmap verify            # coherence sweep: estimates in CIs, V in [0,1], netted <= raw, no plurality
hardmap atlas             # dump the frozen atlas (jsonl byte-identical, or --format csv)
```

`repro --all` recomputes the eightfold statistics from the frozen atlas and the
census aggregate from the committed proof checkpoint, and reads the verified
oracle matrices; it exits nonzero on any mismatch. The per-number map (entrypoint,
expected value, tolerance, tier) is [`repro/manifest.yaml`](repro/manifest.yaml).

## License

Dual-licensed. Source code under **Apache-2.0** ([`LICENSE`](LICENSE)); research
data and prose (the atlas datasets, results, preregistrations, findings, and
specs) under **CC-BY-4.0** with citation of the preprint as the attribution
condition. See [`NOTICE`](NOTICE) for the exact split and
[`CITATION.cff`](CITATION.cff) to cite.
