Skip to content

feat(driver): register deterministic static inputs - #715

Closed
sanohiro wants to merge 9 commits into
mainfrom
agent/pkg-db-static-inputs-retry
Closed

feat(driver): register deterministic static inputs#715
sanohiro wants to merge 9 commits into
mainfrom
agent/pkg-db-static-inputs-retry

Conversation

@sanohiro

@sanohiro sanohiro commented Aug 6, 2026

Copy link
Copy Markdown
Owner

Summary

  • Add the driver-side L5b static input resolver for sibling or explicit SQL files and decoded inline SQL.
  • Add bounded canonical checked-metadata snapshot/revalidation, exact per-driver manifest dependencies, and fail-closed manifest/action-key encoding.
  • Include static-input identity in the existing codegen implementation key and re-export the public driver types needed by the resolver.

Review closure

The host-native review was run against the exact final candidate lineage. Findings were closed in coherent fixes covering permitted-driver metadata coverage, symlink containment, complete nested metadata validation, bounded file and inline reads, canonical escape forms, NUL-bearing identities, duplicate descriptor IDs, and lexical defining-module path resolution.

Constructor recognition and descriptor placement remain deferred to the next L5 capability; this PR consumes already-resolved descriptor identities only.

Verification

  • scripts/cargo.sh check -p align_driver --lib
  • scripts/cargo.sh clippy -p align_driver --lib -- -D warnings
  • Docker owner: scripts/cargo.sh test -p align_driver --lib static_inputs (17 passed)
  • Docker owner: scripts/cargo.sh test -p align_driver --test cache_codegen json_scan_copy_row_codegen_key_identity_owner (1 passed)
  • Docker scripts/pre-pr.sh with host-native review and --findings-fixed attestation

@sanohiro
sanohiro marked this pull request as ready for review August 6, 2026 21:15
@sanohiro

sanohiro commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

Superseded by PR #714; retaining the original reviewed PR as the merge candidate.

@sanohiro sanohiro closed this Aug 6, 2026
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