Skip to content

Add a read-only verifier for Krad source inputs - #6

Draft
keys-i wants to merge 1 commit into
sourcesfrom
verify
Draft

Add a read-only verifier for Krad source inputs#6
keys-i wants to merge 1 commit into
sourcesfrom
verify

Conversation

@keys-i

@keys-i keys-i commented Aug 12, 2026

Copy link
Copy Markdown
Owner

Closes #2

Motivation

Prove source identity before any future compiler or sysroot build consumes the researched inputs.

Changes

  • add krad plan with text and JSON output
  • add krad verify [root] for directories, origin URLs, exact HEAD revisions, license files, and focused paths
  • reject unknown commands, options, and excess arguments with non-zero exit status
  • invoke Git without a shell and never modify or download source inputs

Verification

  • node tools/krad.js plan --json passed with order clang, utils, musl, libs
  • node tools/krad.js verify ../research --json passed for all four pinned sources
  • node --check tools/krad.js passed

Risk and rollback

Verification reads local paths and Git metadata only. Roll back by reverting commit 6f4e84e.

Stack

Depends on the component graph PR; base: sources. The tests PR targets this branch.

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