Skip to content

Verify all four release rungs from installed artifacts - #69

Merged
andrei-hasna merged 1 commit into
mainfrom
fix/A3-00213-running-rung
Aug 7, 2026
Merged

Verify all four release rungs from installed artifacts#69
andrei-hasna merged 1 commit into
mainfrom
fix/A3-00213-running-rung

Conversation

@andrei-hasna

@andrei-hasna andrei-hasna commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add a real RUNNING rung that verifies .bin/repos, executable mode, source identity, and the opened executable descriptor
  • make dirty source trees refuse release-provenance generation
  • document and test all four ship-chain rungs and bump @hasna/repos to 0.1.43

Verification

  • focused affected tests: 29 pass, 0 fail, 94 assertions
  • separate tsc --noEmit: exit 0
  • clean build: exit 0; provenance records source_clean: true
  • dirty writer negative: exit 1; no provenance file written
  • staged and commit-range secret scans: no leaks found
  • fixed independent reviewer: GO after one focused remediation cycle
  • local full suite: 799 pass, 1 unchanged docs-parity timeout under station contention; hosted CI is the required uncontended full gate

Todos: A3-00213, A3-00299, A3-00300


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.

@andrei-hasna

Copy link
Copy Markdown
Contributor Author

[REVIEW] GO

Independent focused review applies to exact PR head 7a88770d368a9301d30ba7eb4b7b21bebd7630a9.

  • .bin/repos resolution, executable mode, and inode identity verified
  • opened executable descriptor is both digested and inherited by the child
  • named remediation regressions: 29 pass, 0 fail, 94 assertions
  • separate typecheck: exit 0
  • hosted Typecheck, Test & Build: pass
  • staged and commit-range secret scans: no leaks found

No remaining in-scope P0/P1 blocker.

@andrei-hasna
andrei-hasna merged commit d5a37c0 into main Aug 7, 2026
2 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