proofroot 0.1.0__tar.gz → 0.1.2__tar.gz

{proofroot-0.1.0 → proofroot-0.1.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: proofroot
-Version: 0.1.0
+Version: 0.1.2
 Summary: Language-neutral trust core for reproducible simulation: named RNG stream derivation, run phases, evidence tiers, canonical serialization.
 Project-URL: Homepage, https://github.com/hzshen88/newlife
 Project-URL: Repository, https://github.com/hzshen88/newlife
@@ -65,4 +65,4 @@ monorepo is the frozen oracle generating this package's cross-language test
 vectors. ParaLife's legacy compatibility layers (legacy encodings, UPPER-CASE
 phase spellings) are deliberately **not** ported here.
 
-Design rationale: [proposal §5.10](https://github.com/hzshen88/newlife/blob/main/docs/design/proposal.md).
+Design rationale: [proposal §5.10](https://github.com/hzshen88/newlife/blob/main/docs/zh/design/proposal.md).

{proofroot-0.1.0 → proofroot-0.1.2}/README.md

@@ -46,4 +46,4 @@ monorepo is the frozen oracle generating this package's cross-language test
 vectors. ParaLife's legacy compatibility layers (legacy encodings, UPPER-CASE
 phase spellings) are deliberately **not** ported here.
 
-Design rationale: [proposal §5.10](https://github.com/hzshen88/newlife/blob/main/docs/design/proposal.md).
+Design rationale: [proposal §5.10](https://github.com/hzshen88/newlife/blob/main/docs/zh/design/proposal.md).

{proofroot-0.1.0 → proofroot-0.1.2}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "proofroot"
-version = "0.1.0"
+version = "0.1.2"
 description = "Language-neutral trust core for reproducible simulation: named RNG stream derivation, run phases, evidence tiers, canonical serialization."
 readme = "README.md"
 requires-python = ">=3.12"

{proofroot-0.1.0 → proofroot-0.1.2}/src/proofroot/__init__.py

@@ -1,6 +1,6 @@
 """proofroot — language-neutral trust core for reproducible simulation.
 
-Scope (frozen charter, see docs/design/proposal.md §5.10):
+Scope (frozen charter, see docs/zh/design/proposal.md §5.10):
 - D1 current encoding (`evidencecore-rng-v1`) named RNG stream seed derivation
 - D4 bank semantics invariants (declared streams, lowercase normalization,
   name regex, forward-only, seed snapshots as provenance)

{proofroot-0.1.0 → proofroot-0.1.2}/src/proofroot/canonical.py

@@ -2,7 +2,7 @@
 
 The 0th asset of any cross-language byte-level trace comparison is a
 canonical form that does not depend on the host language's float
-formatting. Rules (docs/design/proposal.md §5.9):
+formatting. Rules (docs/zh/design/proposal.md §5.9):
 
 - **Structural layer** — the ready-made parts of RFC 8785 (JCS): object keys
   sorted, UTF-8 output, no insignificant whitespace. Key order is Unicode

{proofroot-0.1.0 → proofroot-0.1.2}/src/proofroot/rng.py

@@ -1,7 +1,7 @@
 """D1 named RNG stream seed derivation + D4 bank semantics (port of
 EvidenceCore.jl's `derive_stream_seed` and `RngBank`, current encoding only).
 
-Discipline (docs/design/proposal.md §5.10): the `evidencecore-rng-v1` encoding
+Discipline (docs/zh/design/proposal.md §5.10): the `evidencecore-rng-v1` encoding
 is ported byte-for-byte — Python output must match the Julia oracle bit-for-bit
 (`vectors/evidencecore_rng_v1.json`). The three legacy encodings
 (`parcells-rng-v1`, `parreact-rng-v1`, `parworlds-rng-v1`) are deliberately NOT

{proofroot-0.1.0 → proofroot-0.1.2}/vectors/generate_vectors.jl

@@ -1,16 +1,22 @@
 # Generate cross-language test vectors for proofroot from the EvidenceCore.jl
-# oracle (frozen in place in ParaLife; see newlife docs/design/proposal.md §5.10).
+# oracle (frozen in place in ParaLife; see newlife docs/zh/design/proposal.md §5.10).
 #
 # Scope (proofroot schedule step 1, per §5.10 discipline 1): D1 current encoding
 # (`evidencecore-rng-v1` ONLY — legacy encodings are deliberately not ported and
 # get no vectors here), D4 bank seed derivation incl. lowercase normalization,
 # D2 phase terminality. D5 is a constant vocabulary; nothing to vectorize.
 #
-# Regenerate:  julia generate_vectors.jl > evidencecore_rng_v1.json
-# (run from this directory; adjust ORACLE_PATH if ParaLife moves).
+# Regenerate:  EVIDENCECORE_JL=/path/to/paralife/packages/EvidenceCore/src/EvidenceCore.jl \
+#              julia generate_vectors.jl > evidencecore_rng_v1.json
+# (run from this directory). The oracle lives in ParaLife, a private repository, so its
+# location is not written here; the script refuses to run without the variable.
+
+const ORACLE_PATH = get(ENV, "EVIDENCECORE_JL", "")
+isempty(ORACLE_PATH) && error("set EVIDENCECORE_JL to the path of ParaLife's EvidenceCore.jl")
+isfile(ORACLE_PATH) || error("EVIDENCECORE_JL points at a file that does not exist: $ORACLE_PATH")
 
 module Oracle
-include("/Users/hzshen/Projects/paralife/packages/EvidenceCore/src/EvidenceCore.jl")
+include(Main.ORACLE_PATH)
 end
 
 using .Oracle