Repository navigation
research: audit selected PR589 source blob binding - #3921
Draft
1337isnot1337 wants to merge 2 commits into
Draft
1337isnot1337 wants to merge 2 commits into
1337isnot1337 wants to merge 2 commits into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds a focused source-binding audit for the selected #1094 composition's PR589
bit supplier. The T16 assembler verifies its input record against the pinned
Git blob ID before parsing it. The source file at the PR head, the same record
at the merge path, and the selected T16 copy are byte-identical. A one-nibble,
still-valid 40-hex digest mutant is rejected by the production loader.
The package also binds the source record's loaded
bit_lowerto the selectedassembly field and checks the assembly's input SHA-256. The complete #1094
caller retains and compares the same T16
bit_supplierrecord.This is a source-identity audit only. It does not validate the supplier's full
mathematical derivation, admit a supplier, run the full #1094 replay, or change
the selected kappa.
Scope and provenance
The task-card scatter/export example is separately covered by open PR #3801.
This package addresses one distinct source-binding field,
BIT_BLOB. It keepsPR #589, PR #555, the T16 controller lineage, and the selected assembly's
predecessor credit in the README.
Base:
20ecf2891d80b5acf18d980b2164fb44ea7faa90; priority revision 6.Package commit:
c68ba95d7b145490c005001af49301ac98f66b8b.Validation
negative fixtures.
PASS_RESEARCH_BASELINE_BINDINGS_ONLY.the package runner's required interpreter. The full
make frontier1094-verifyreplay was not run.
No PR was opened or pushed, in accordance with the session's external-scope
restriction.
Publication validation
python3.12 scripts/research_package.py --package research/selected-bit-source-binding-auditpassed on CPython 3.12.3, andpython3.12 scripts/check_research_commit.py --package research/selected-bit-source-binding-audit --check-source-historypassed. The registered replay left the worktree clean. This supersedes any earlier pending note above for the registered package replay; separate full selected cold-replay limits remain as stated.