plainproof 0.1.0__tar.gz → 0.1.1__tar.gz

{plainproof-0.1.0 → plainproof-0.1.1}/CITATION.cff

@@ -5,3 +5,10 @@ authors:
   - family-names: Vettrivel
     given-names: Vishnu
 license: MIT
+version: 0.1.1
+doi: 10.5281/zenodo.23647649
+identifiers:
+  - type: doi
+    value: 10.5281/zenodo.23647650
+    description: version 0.1.0
+repository-code: https://github.com/cloudronin/plainproof

{plainproof-0.1.0 → plainproof-0.1.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: plainproof
-Version: 0.1.0
+Version: 0.1.1
 Summary: Reproduction tool for the paper 'How many follow-up questions distinguish genuine understanding from apparent mastery?'. Not a general library. Its sealed checks can stop a run on purpose.
 Author: Vishnu Vettrivel
 License-Expression: MIT
@@ -19,6 +19,10 @@ Dynamic: license-file
 
 # plainproof
 
+[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.23647650.svg)](https://doi.org/10.5281/zenodo.23647650)
+
+Archived on Zenodo: version 0.1.0 is DOI [10.5281/zenodo.23647650](https://doi.org/10.5281/zenodo.23647650); all versions are DOI [10.5281/zenodo.23647649](https://doi.org/10.5281/zenodo.23647649). Also on PyPI: `pip install plainproof`.
+
 Reproduction package for **"How many follow-up questions distinguish genuine understanding from apparent mastery?"** (EDM 2027 submission, simulation study). It asks how many adaptive follow-up questions a classification test needs to tell genuine understanding from apparent mastery at a calibrated confidence target, and how that changes as a learner outsources a share *d* of the follow-ups to an AI. A second, sealed study (E0b) tests whether planted hard probe items separate outsourcing learners from honest ones.
 
 Everything here is CPU-only and needs no paid service. Code: MIT (`LICENSE`). Docs, figures and tables: CC BY 4.0 (`LICENSE-docs.md`).
@@ -37,8 +41,8 @@ python -m pytest -n auto -q tests
 # 2. Check that the code here is the sealed code (undoes the documented path substitutions, then compares sha256)
 plainproof verify
 
-# 3. Fetch the sealed held-out outputs from Zenodo (DOI: to be assigned) and check their hashes
-ZENODO_URL=<record file URL> plainproof fetch heldout
+# 3. Fetch the sealed held-out outputs (from the v0.1.0 release assets) and check their hashes
+plainproof fetch heldout
 
 # 4. Rebuild the tables and figures from the held-out summaries (needs R 4.x for the plots; base graphics only)
 python scripts/edm_v2_e0/report.py data/edm-v2-e0/heldout/summary.json
@@ -67,7 +71,7 @@ python scripts/edm_v2_e0/heldout.py run data/edm-v2-e0/heldout && python scripts
 python scripts/edm_v2_e0b/run.py run data/edm-v2-e0b/heldout && python scripts/edm_v2_e0b/run.py summarize data/edm-v2-e0b/heldout
 ```
 
-Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a different numpy can stop step b; and it asserts that the BOBCAT checkpoint's best epoch is 105, so a retrain that is not bit-identical can stop step d. In either case, use the Zenodo outputs. The development stages (`study.py tune|calibrate|calibrate_sprt_full|pilot`) are included for the record; their outputs (synthetic learners only) are in `data/edm-v2-e0/study/`.
+Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a different numpy can stop step b; and it asserts that the BOBCAT checkpoint's best epoch is 105, so a retrain that is not bit-identical can stop step d. In either case, use the published held-out outputs (`plainproof fetch heldout`). The development stages (`study.py tune|calibrate|calibrate_sprt_full|pilot`) are included for the record; their outputs (synthetic learners only) are in `data/edm-v2-e0/study/`.
 
 ## Fingerprints (sha256)
 
@@ -75,10 +79,10 @@ Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a
 |---|---|
 | E0 sealed freeze `reports/edm-v2-e0/freeze.json` | `a0f8ce404f2b5f7e671e2503a33b4554040e80714f6053553507e0972acdbcdc` |
 | E0b sealed freeze `reports/edm-v2-e0b/freeze.json` | `3fa0b8d457d813f59abd5255f9303e44deb2119ee79d6a9b92439a6c1cbf58ed` |
-| E0 held-out summary (Zenodo, `e0-heldout.tar` → `heldout/summary.json`) | `aff9a8c49d48821c0e9343cd058c4e0e2f1659ffabcaa719824412f3b14abc90` |
-| E0b held-out summary (Zenodo, `e0b-heldout.tar` → `heldout/summary.json`) | `617be427feac24df2e342da00d34e91c78d5de91592cee390ef3516ae9e2ff3f` |
-| Zenodo `e0-heldout.tar` | `bd06a11eb7163da102cad6ea0df12ea79e52ff94aab1dc35d28ec3910af2be22` |
-| Zenodo `e0b-heldout.tar` | `68219f228c41da972fe4c8f92c218e01f85f08eed864185f237cecda05314bbf` |
+| E0 held-out summary (`e0-heldout.tar` → `heldout/summary.json`) | `aff9a8c49d48821c0e9343cd058c4e0e2f1659ffabcaa719824412f3b14abc90` |
+| E0b held-out summary (`e0b-heldout.tar` → `heldout/summary.json`) | `617be427feac24df2e342da00d34e91c78d5de91592cee390ef3516ae9e2ff3f` |
+| `e0-heldout.tar` (release asset) | `bd06a11eb7163da102cad6ea0df12ea79e52ff94aab1dc35d28ec3910af2be22` |
+| `e0b-heldout.tar` (release asset) | `68219f228c41da972fe4c8f92c218e01f85f08eed864185f237cecda05314bbf` |
 | ASSISTments 2009 file at BOBCAT e6b6245e | `c07ca9fa0f08207b06488cec527725938fe96e81e3c1762839e1ad0b84f974cc` |
 | 2PL item fit (regenerated in step b) | `12a3b167cd9c9b78b3c3c7faf71b2e464b0943a454f6418faf0f99b1114cb7fc` |
 | catIrt 0.5.1 CRAN binary used for the fixture | `f5418f447e91d184791e668bd2a135ea5da40c981d4a76826018295b6ea9f079` |

{plainproof-0.1.0 → plainproof-0.1.1}/README.md

@@ -1,5 +1,9 @@
 # plainproof
 
+[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.23647650.svg)](https://doi.org/10.5281/zenodo.23647650)
+
+Archived on Zenodo: version 0.1.0 is DOI [10.5281/zenodo.23647650](https://doi.org/10.5281/zenodo.23647650); all versions are DOI [10.5281/zenodo.23647649](https://doi.org/10.5281/zenodo.23647649). Also on PyPI: `pip install plainproof`.
+
 Reproduction package for **"How many follow-up questions distinguish genuine understanding from apparent mastery?"** (EDM 2027 submission, simulation study). It asks how many adaptive follow-up questions a classification test needs to tell genuine understanding from apparent mastery at a calibrated confidence target, and how that changes as a learner outsources a share *d* of the follow-ups to an AI. A second, sealed study (E0b) tests whether planted hard probe items separate outsourcing learners from honest ones.
 
 Everything here is CPU-only and needs no paid service. Code: MIT (`LICENSE`). Docs, figures and tables: CC BY 4.0 (`LICENSE-docs.md`).
@@ -18,8 +22,8 @@ python -m pytest -n auto -q tests
 # 2. Check that the code here is the sealed code (undoes the documented path substitutions, then compares sha256)
 plainproof verify
 
-# 3. Fetch the sealed held-out outputs from Zenodo (DOI: to be assigned) and check their hashes
-ZENODO_URL=<record file URL> plainproof fetch heldout
+# 3. Fetch the sealed held-out outputs (from the v0.1.0 release assets) and check their hashes
+plainproof fetch heldout
 
 # 4. Rebuild the tables and figures from the held-out summaries (needs R 4.x for the plots; base graphics only)
 python scripts/edm_v2_e0/report.py data/edm-v2-e0/heldout/summary.json
@@ -48,7 +52,7 @@ python scripts/edm_v2_e0/heldout.py run data/edm-v2-e0/heldout && python scripts
 python scripts/edm_v2_e0b/run.py run data/edm-v2-e0b/heldout && python scripts/edm_v2_e0b/run.py summarize data/edm-v2-e0b/heldout
 ```
 
-Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a different numpy can stop step b; and it asserts that the BOBCAT checkpoint's best epoch is 105, so a retrain that is not bit-identical can stop step d. In either case, use the Zenodo outputs. The development stages (`study.py tune|calibrate|calibrate_sprt_full|pilot`) are included for the record; their outputs (synthetic learners only) are in `data/edm-v2-e0/study/`.
+Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a different numpy can stop step b; and it asserts that the BOBCAT checkpoint's best epoch is 105, so a retrain that is not bit-identical can stop step d. In either case, use the published held-out outputs (`plainproof fetch heldout`). The development stages (`study.py tune|calibrate|calibrate_sprt_full|pilot`) are included for the record; their outputs (synthetic learners only) are in `data/edm-v2-e0/study/`.
 
 ## Fingerprints (sha256)
 
@@ -56,10 +60,10 @@ Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a
 |---|---|
 | E0 sealed freeze `reports/edm-v2-e0/freeze.json` | `a0f8ce404f2b5f7e671e2503a33b4554040e80714f6053553507e0972acdbcdc` |
 | E0b sealed freeze `reports/edm-v2-e0b/freeze.json` | `3fa0b8d457d813f59abd5255f9303e44deb2119ee79d6a9b92439a6c1cbf58ed` |
-| E0 held-out summary (Zenodo, `e0-heldout.tar` → `heldout/summary.json`) | `aff9a8c49d48821c0e9343cd058c4e0e2f1659ffabcaa719824412f3b14abc90` |
-| E0b held-out summary (Zenodo, `e0b-heldout.tar` → `heldout/summary.json`) | `617be427feac24df2e342da00d34e91c78d5de91592cee390ef3516ae9e2ff3f` |
-| Zenodo `e0-heldout.tar` | `bd06a11eb7163da102cad6ea0df12ea79e52ff94aab1dc35d28ec3910af2be22` |
-| Zenodo `e0b-heldout.tar` | `68219f228c41da972fe4c8f92c218e01f85f08eed864185f237cecda05314bbf` |
+| E0 held-out summary (`e0-heldout.tar` → `heldout/summary.json`) | `aff9a8c49d48821c0e9343cd058c4e0e2f1659ffabcaa719824412f3b14abc90` |
+| E0b held-out summary (`e0b-heldout.tar` → `heldout/summary.json`) | `617be427feac24df2e342da00d34e91c78d5de91592cee390ef3516ae9e2ff3f` |
+| `e0-heldout.tar` (release asset) | `bd06a11eb7163da102cad6ea0df12ea79e52ff94aab1dc35d28ec3910af2be22` |
+| `e0b-heldout.tar` (release asset) | `68219f228c41da972fe4c8f92c218e01f85f08eed864185f237cecda05314bbf` |
 | ASSISTments 2009 file at BOBCAT e6b6245e | `c07ca9fa0f08207b06488cec527725938fe96e81e3c1762839e1ad0b84f974cc` |
 | 2PL item fit (regenerated in step b) | `12a3b167cd9c9b78b3c3c7faf71b2e464b0943a454f6418faf0f99b1114cb7fc` |
 | catIrt 0.5.1 CRAN binary used for the fixture | `f5418f447e91d184791e668bd2a135ea5da40c981d4a76826018295b6ea9f079` |

{plainproof-0.1.0 → plainproof-0.1.1}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "plainproof"
-version = "0.1.0"
+version = "0.1.1"
 description = "Reproduction tool for the paper 'How many follow-up questions distinguish genuine understanding from apparent mastery?'. Not a general library. Its sealed checks can stop a run on purpose."
 readme = "README.md"
 license = "MIT"

{plainproof-0.1.0 → plainproof-0.1.1}/scripts/fetch_heldout.sh

@@ -1,7 +1,8 @@
 #!/bin/bash
-# Download the sealed held-out outputs from Zenodo and check their sha256 before use.
+# Download the sealed held-out outputs and check their sha256 before use. Default source: the v0.1.0 GitHub release assets
+# (cited by DOI 10.5281/zenodo.23647650); set ZENODO_URL (or any mirror base URL) to fetch from elsewhere.
 set -euo pipefail
-DOI_URL=${ZENODO_URL:?set ZENODO_URL to the Zenodo record's file base URL (DOI: to be assigned)}
+DOI_URL=${ZENODO_URL:-https://github.com/cloudronin/plainproof/releases/download/v0.1.0}
 D=${REPRO_DATA:-data}; mkdir -p "$D/edm-v2-e0" "$D/edm-v2-e0b"
 for f in e0-heldout.tar e0b-heldout.tar; do curl -fsSL -o "$D/$f" "$DOI_URL/$f"; done
 cd "$D" && printf '%s  %s\n%s  %s\n' bd06a11eb7163da102cad6ea0df12ea79e52ff94aab1dc35d28ec3910af2be22 e0-heldout.tar 68219f228c41da972fe4c8f92c218e01f85f08eed864185f237cecda05314bbf e0b-heldout.tar | shasum -a 256 -c

{plainproof-0.1.0 → plainproof-0.1.1}/src/plainproof/cli.py

@@ -3,7 +3,7 @@
 It runs the repository's own scripts, so it needs a checkout or the unpacked sdist (the sealed scripts locate the
 repository by its layout). Pass --root, or run it from the repository root.
 
-  plainproof fetch [bobcat|heldout|all]   fetch BOBCAT + the ASSISTments file (hash-checked), and/or the Zenodo outputs
+  plainproof fetch [bobcat|heldout|all]   fetch BOBCAT + the ASSISTments file, and/or the held-out outputs (all hash-checked)
   plainproof fit                          refit the 2PL item parameters on ASSISTments development learners
   plainproof run e0|e0b                   held-out run and summary (refuses to overwrite an existing cell)
   plainproof figures                      rebuild tables and figures from the held-out summaries (needs R for the plots)
@@ -54,8 +54,6 @@ def main(argv=None):
         if a.what in ('bobcat', 'all'):
             sh(root, 'bash', 'scripts/bobcat/fetch_bobcat.sh')
         if a.what in ('heldout', 'all'):
-            if not os.environ.get('ZENODO_URL'):
-                raise SystemExit('set ZENODO_URL to the Zenodo record file URL to fetch the held-out outputs')
             sh(root, 'bash', 'scripts/fetch_heldout.sh')
     elif a.cmd == 'fit':
         sh(root, py, 'scripts/edm_v2_e0/fit_assist2009.py', data / 'edm-v2-e0' / 'item-fit')

{plainproof-0.1.0 → plainproof-0.1.1}/src/plainproof.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: plainproof
-Version: 0.1.0
+Version: 0.1.1
 Summary: Reproduction tool for the paper 'How many follow-up questions distinguish genuine understanding from apparent mastery?'. Not a general library. Its sealed checks can stop a run on purpose.
 Author: Vishnu Vettrivel
 License-Expression: MIT
@@ -19,6 +19,10 @@ Dynamic: license-file
 
 # plainproof
 
+[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.23647650.svg)](https://doi.org/10.5281/zenodo.23647650)
+
+Archived on Zenodo: version 0.1.0 is DOI [10.5281/zenodo.23647650](https://doi.org/10.5281/zenodo.23647650); all versions are DOI [10.5281/zenodo.23647649](https://doi.org/10.5281/zenodo.23647649). Also on PyPI: `pip install plainproof`.
+
 Reproduction package for **"How many follow-up questions distinguish genuine understanding from apparent mastery?"** (EDM 2027 submission, simulation study). It asks how many adaptive follow-up questions a classification test needs to tell genuine understanding from apparent mastery at a calibrated confidence target, and how that changes as a learner outsources a share *d* of the follow-ups to an AI. A second, sealed study (E0b) tests whether planted hard probe items separate outsourcing learners from honest ones.
 
 Everything here is CPU-only and needs no paid service. Code: MIT (`LICENSE`). Docs, figures and tables: CC BY 4.0 (`LICENSE-docs.md`).
@@ -37,8 +41,8 @@ python -m pytest -n auto -q tests
 # 2. Check that the code here is the sealed code (undoes the documented path substitutions, then compares sha256)
 plainproof verify
 
-# 3. Fetch the sealed held-out outputs from Zenodo (DOI: to be assigned) and check their hashes
-ZENODO_URL=<record file URL> plainproof fetch heldout
+# 3. Fetch the sealed held-out outputs (from the v0.1.0 release assets) and check their hashes
+plainproof fetch heldout
 
 # 4. Rebuild the tables and figures from the held-out summaries (needs R 4.x for the plots; base graphics only)
 python scripts/edm_v2_e0/report.py data/edm-v2-e0/heldout/summary.json
@@ -67,7 +71,7 @@ python scripts/edm_v2_e0/heldout.py run data/edm-v2-e0/heldout && python scripts
 python scripts/edm_v2_e0b/run.py run data/edm-v2-e0b/heldout && python scripts/edm_v2_e0b/run.py summarize data/edm-v2-e0b/heldout
 ```
 
-Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a different numpy can stop step b; and it asserts that the BOBCAT checkpoint's best epoch is 105, so a retrain that is not bit-identical can stop step d. In either case, use the Zenodo outputs. The development stages (`study.py tune|calibrate|calibrate_sprt_full|pilot`) are included for the record; their outputs (synthetic learners only) are in `data/edm-v2-e0/study/`.
+Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a different numpy can stop step b; and it asserts that the BOBCAT checkpoint's best epoch is 105, so a retrain that is not bit-identical can stop step d. In either case, use the published held-out outputs (`plainproof fetch heldout`). The development stages (`study.py tune|calibrate|calibrate_sprt_full|pilot`) are included for the record; their outputs (synthetic learners only) are in `data/edm-v2-e0/study/`.
 
 ## Fingerprints (sha256)
 
@@ -75,10 +79,10 @@ Two caveats, stated plainly. The sealed code checks the item fit's sha256, so a
 |---|---|
 | E0 sealed freeze `reports/edm-v2-e0/freeze.json` | `a0f8ce404f2b5f7e671e2503a33b4554040e80714f6053553507e0972acdbcdc` |
 | E0b sealed freeze `reports/edm-v2-e0b/freeze.json` | `3fa0b8d457d813f59abd5255f9303e44deb2119ee79d6a9b92439a6c1cbf58ed` |
-| E0 held-out summary (Zenodo, `e0-heldout.tar` → `heldout/summary.json`) | `aff9a8c49d48821c0e9343cd058c4e0e2f1659ffabcaa719824412f3b14abc90` |
-| E0b held-out summary (Zenodo, `e0b-heldout.tar` → `heldout/summary.json`) | `617be427feac24df2e342da00d34e91c78d5de91592cee390ef3516ae9e2ff3f` |
-| Zenodo `e0-heldout.tar` | `bd06a11eb7163da102cad6ea0df12ea79e52ff94aab1dc35d28ec3910af2be22` |
-| Zenodo `e0b-heldout.tar` | `68219f228c41da972fe4c8f92c218e01f85f08eed864185f237cecda05314bbf` |
+| E0 held-out summary (`e0-heldout.tar` → `heldout/summary.json`) | `aff9a8c49d48821c0e9343cd058c4e0e2f1659ffabcaa719824412f3b14abc90` |
+| E0b held-out summary (`e0b-heldout.tar` → `heldout/summary.json`) | `617be427feac24df2e342da00d34e91c78d5de91592cee390ef3516ae9e2ff3f` |
+| `e0-heldout.tar` (release asset) | `bd06a11eb7163da102cad6ea0df12ea79e52ff94aab1dc35d28ec3910af2be22` |
+| `e0b-heldout.tar` (release asset) | `68219f228c41da972fe4c8f92c218e01f85f08eed864185f237cecda05314bbf` |
 | ASSISTments 2009 file at BOBCAT e6b6245e | `c07ca9fa0f08207b06488cec527725938fe96e81e3c1762839e1ad0b84f974cc` |
 | 2PL item fit (regenerated in step b) | `12a3b167cd9c9b78b3c3c7faf71b2e464b0943a454f6418faf0f99b1114cb7fc` |
 | catIrt 0.5.1 CRAN binary used for the fixture | `f5418f447e91d184791e668bd2a135ea5da40c981d4a76826018295b6ea9f079` |