Skip to content

Close the exact-source to installed-artifact evidence chain - #227

Merged
erinepshovel-code merged 41 commits into
mainfrom
evidence/clean-install-final-20260912
Sep 12, 2026
Merged

Close the exact-source to installed-artifact evidence chain#227
erinepshovel-code merged 41 commits into
mainfrom
evidence/clean-install-final-20260912

Conversation

@erinepshovel-code

@erinepshovel-code erinepshovel-code commented Sep 12, 2026

Copy link
Copy Markdown
Contributor

UCNS now carries a complete source-to-installed-artifact evidence chain across Python 3.10, 3.11, and 3.12. Each job checks exact source, builds wheel/sdist artifacts, runs all 159 tests against each clean installation with locked dependencies, and retains the artifacts, source identity, XML outcomes, and replay receipts for independent acceptance.

The replay checks the complete extracted source before and after each full suite, keeps pytest caches outside evidence inputs, and rejects persistent source changes. Installed inventories cover package payloads, distribution metadata, validated uv installer/build metadata, and RECORD entries; all immutable bytes must match the candidate wheel. The exact-input receipt separately executes the archived source with unchanged-input and non-transfer checks. Archive checksum paths remain usable after downloading the CI bundle, and receipt assembly uses the selected verification interpreter.

Three executable CHECKS cover source mutation and real clean wheel/sdist installations with altered, missing, and unexpected metadata or package files. Shell declarations now enter the no-exec contract graph. The source-install fixture verifies uv_build.json explicitly; fixture inspection removes inherited checkout paths while the surrounding CHECK remains bound to its source.

The execution chain rejects optimized Python, uses hash-locked fixture backends and a version/digest-bound uv installer, and rechecks installer identity after replay. CI requires a clean checkout at the exact event-selected commit, builds from a fresh Git archive of that commit, and rechecks source identity before emitting provenance.

Validation at 6eea1828a34ed8ec99879f8090ea5d48352d8c2d: CI https://github.com/The-Interdependency/ucns/actions/runs/34689159193 passed source tests plus all six clean wheel/sdist installations on Python 3.10, 3.11, and 3.12, with 159 tests per installation and no skips. Downloaded artifacts, complete source/installed inventories, locked dependencies, XML outcomes, and exact-input receipts independently match the owning Git source. The acceptance receipt SHA-256 is 850de6492db30d33eb43f385cad14edcd4ba1d48e8a741545e03162db9ece389. The final commit received a clean review: #227 (comment). All live review findings are resolved.

Geometry ratification, unresolved Public Gonol operations, recursive-gonol research, theorem/proof standing, and expensive historical certificate recomputation remain outside this maintenance change. No publication or downstream semantic authority is transferred.

# Conflicts:
#	docs/work-graphs/repository-plan-report.json
# Conflicts:
#	docs/work-graphs/repository-plan-report.json
#	uv.lock
# Conflicts:
#	docs/work-graphs/repository-plan-report.json
…/clean-install-final-20260912

# Conflicts:
#	docs/work-graphs/repository-plan-report.json
…/clean-install-final-20260912

# Conflicts:
#	docs/work-graphs/repository-plan-report.json
…/clean-install-final-20260912

# Conflicts:
#	docs/work-graphs/repository-plan-report.json
#	uv.lock
…/clean-install-final-20260912

# Conflicts:
#	docs/work-graphs/repository-plan-report.json
…/clean-install-final-20260912

# Conflicts:
#	docs/work-graphs/repository-plan-report.json
…-final-20260912

# Conflicts:
#	MANIFEST.in
#	docs/work-graphs/repository-plan-report.json
#	tools/run_skill_lib_boundaries.py
#	tools/verify_distributions.py
…-final-20260912

# Conflicts:
#	docs/work-graphs/repository-plan-report.json
# Conflicts:
#	docs/work-graphs/repository-plan-report.json
# Conflicts:
#	docs/work-graphs/repository-plan-report.json
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 12, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-09-12T10:47:11.306184Z 6eea182 Manual request
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@erinepshovel-code

Copy link
Copy Markdown
Contributor Author

@codex review

Please review exact head 5048ca51da0d84bf5b349635554d113b2125637a. Maintenance #226 is accepted and merged; this diff adds the clean wheel/sdist evidence chain and retained CI bundles for Python 3.10, 3.11, and 3.12.

The current archives pass build, Twine and exact input validation. All five selected checks pass from the actual source archive with unchanged source and no snapshot errors. The final matrix is running. Each retained bundle will be checked independently against this exact Git tree, dependency export, archive bytes, all installed package files, actual 156-case XML outcomes, and the source receipt/helper identities before merge. Actions status alone does not establish acceptance, freshness, publication, or geometry standing.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 5048ca51da

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread tools/replay_distributions.sh
Comment thread tools/replay_distributions.sh Outdated
Comment thread tools/replay_distributions.sh Outdated
Comment thread tools/replay_distributions.sh Outdated
Comment thread tools/replay_distributions.sh
@erinepshovel-code

Copy link
Copy Markdown
Contributor Author

@codex review

Please review exact head d7de6726ececa297913d0e81c5349c985443b0f1. All five findings are repaired: shell declarations enter the no-exec contract graph, and two executable CHECKS exercise source mutation and a real installed distribution with deliberate metadata/RECORD/package corruption; archive checksums use portable basenames and CI verifies the relocated bundle; receipt assembly uses the selected verification interpreter; complete extracted source snapshots are checked before/after both full suites and after selected checks; complete installed distribution inventories include dist-info and validated retained uv metadata/RECORD. Pytest caches are disabled so evidence inputs remain unchanged. Ten affected tests pass, graph and nine canonical skills are clean, all four changed Python ratio gates pass, and newly built archives pass Twine and exact-input verification. The full local artifact replay and all three CI runtimes are running; no CI-only success claim or scientific ratification.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Chef's kiss.

Reviewed commit: d7de6726ec

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@erinepshovel-code

Copy link
Copy Markdown
Contributor Author

@codex review

Please review exact head ea3ec4e9553b79fe92b58ae3c22a1a65049caf1d. The complete installed-file gate correctly rejected legitimate uv source-build metadata during the preceding source replay. uv_build.json is now required to contain an empty object for sdist installs and forbidden for wheel installs. A real fixture wheel+sdist build/install regression verifies its presence and rejects alteration. Build/test prerequisites are declared in the test extra. The fixture inspection child removes the bound checkout path from its environment so it checks the fixture installation. The boundary runner resolves the build module capability. All three new CHECKS pass through the actual boundary runner with source unchanged (2.15s, 6.55s, 12.38s); the ordinary targeted suite also passes. The final 159-test three-runtime artifact matrix is running. No publication/geometry ratification claim.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: ea3ec4e955

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread tests/test_distribution_replay.py Outdated
Comment thread tools/replay_distributions.sh
Comment thread tools/replay_distributions.sh Outdated

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: ea3ec4e955

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread .github/workflows/ci.yml
@erinepshovel-code

Copy link
Copy Markdown
Contributor Author

@codex review

Please review exact head 60274835768373d44d32684dc90134cf4fa504d2. All three findings are repaired: fixture build environments synchronize from a hash-locked export of the exact archived project; standalone replay validates uv 0.11.18, uses the synchronized verification environment’s uv for subsequent installations, records both executable versions/SHA-256 identities, and rechecks executable hashes at completion; optimized mode is rejected before shell work and by unconditional sys.flags guards before all inline assertion-bearing validation. Tests exercise optimized modes 1/2 and an incorrect bootstrap uv. All three CHECKS pass through the actual boundary runner with unchanged inputs. The previous ea3 bundles independently reconciled all six 159-test installs, but are superseded by these execution fixes; current CI https://github.com/The-Interdependency/ucns/actions/runs/34688812052 is running.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Swish!

Reviewed commit: 6027483576

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@erinepshovel-code

Copy link
Copy Markdown
Contributor Author

@codex review

Please review exact head 6eea1828a34ed8ec99879f8090ea5d48352d8c2d. The late checkout-level source identity finding is repaired: CI rejects tracked or untracked dirt and a changed commit before building, builds from a fresh Git archive of the exact event-selected commit, and rechecks clean status plus expected commit before writing source.json. The existing archive gate still compares every packaged input to the owning checkout, and independent bundle acceptance compares those bytes directly to Git. A disposable Git fixture confirms rejection of both tracked modification and untracked additions while the pinned Git input stays original. This workflow-only change retains the previously passing 159-test implementation and the new installer/optimization guards; the final artifact matrix is running for this exact head.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. You're on a roll.

Reviewed commit: 6eea1828a3

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@erinepshovel-code
erinepshovel-code merged commit 31bb761 into main Sep 12, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant