Repository navigation

CRYPTO-0: model SHA-256 + HMAC-SHA-256 in .dag; switch extdeps.crypto.mac; delete the hmac primitives - #11647

Closed

gunbai-bot[bot] wants to merge 55 commits into

mainfrom

session/royal-stag-544

Commits on Sep 18, 2026
- NUMERIC-BIT-0: model the fixed-width word and bit-operation substrate in .dag
  
  Brian Searls
  and
  claude
  committed
  d334847
- NUMERIC-BIT-0: split the bitwise claim into discriminators; parenthesise the fold accumulation
  
  Brian Searls
  and
  claude
  committed
  a5cddd2
- CRYPTO-0: model SHA-256 and HMAC-SHA-256 in .dag; switch extdeps.crypto.mac off the RustCrypto primitives
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7a78088
- NUMERIC-BIT-0: fix the mistranscribed bitwise operand and claim the transcription
  
  Brian Searls
  and
  claude
  committed
  fed5a40
- CRYPTO-0: carry MacComputationRefused through every mac_sign consumer; padding witness matches on get
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cc4f1a8
- Merge branch 'session/sharp-raven-413' of https://github.com/gunb-ai/gunbc into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  a647efd
- CRYPTO-0: carry MacComputationRefused through the remaining mac_sign consumers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7769b60
- CRYPTO-0: retrigger required CI against main
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2fe86f9
Commits on Sep 19, 2026
- Merge remote-tracking branch 'origin/main' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  626dfd2
- CRYPTO-0: carry MacComputationRefused through the device-redemption witness from main
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  93c1acf
- CRYPTO-0: derive the SHA-256 constant tables once at module scope
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3609a02
- NUMERIC-BIT-0: derive the modulus once per width; carry the consumer frontier as rows
  
  Brian Searls
  and
  claude
  committed
  d778dcb
- NUMERIC-BIT-0: fix the closed-set recomputation class, not only the cited instance
  
  Brian Searls
  and
  claude
  committed
  5eead3d
- NUMERIC-BIT-0: bind the frontier rows against bound_dissolution's real signature
  
  Brian Searls
  and
  claude
  committed
  9befdd7
- NUMERIC-BIT-0: enrol the consumer frontier in the census that computes its expiry
  
  Brian Searls
  and
  claude
  committed
  b290752
- NUMERIC-BIT-0: refuse an unrealizable width before accumulating octets
  
  Brian Searls
  and
  claude
  committed
  fa465ac
- NUMERIC-BIT-0: unbind the frontier triggers that cited a module absent from this tree
  
  Brian Searls
  and
  claude
  committed
  a40faa2
- NUMERIC-BIT-0: qualify operand premises, refuse a negative octet count, order width before amount
  
  Brian Searls
  and
  claude
  committed
  94f7248
- Merge remote-tracking branch 'origin/main' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  a30528c
- Merge commit '94f7248c603c416ea8f3a3e703bd794608c86527' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  0972528
- Merge remote-tracking branch 'origin/main' into session/sharp-raven-413
  Brian Searls
  committed
  fdcdff5
- Merge main and admit utf8_decode_octets' members through the checked octet seam
  
  Brian Searls
  and
  claude
  committed
  faa8903
- CRYPTO-0: retire the four SHA-256 consumer-frontier rows in the transaction that lands their consumer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bf9e692
- Merge commit 'faa89033892f68e75f5c8d67af99852e09faa4e6' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  0148835
- NUMERIC-BIT-0: qualify the octet projection; delete the orphaned word_int_value
  
  Brian Searls
  and
  claude
  committed
  4ccc8bd
- NUMERIC-BIT-0: make the qualification a carrier, not a check every helper repeats
  
  Brian Searls
  and
  claude
  committed
  8d81d86
- CRYPTO-0: move the frontier-set annotation to module-item grain (DESIGN §4c)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7362980
- Thread base64_encode refusal at approval_device_wire path_segment
  
  Brian Searls
  and
  claude
  committed
  7a0fea5
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  97888f6
- Export the qualified-octet unwrap; revert the plans-doc edit that forced a regen
  
  Brian Searls
  and
  claude
  committed
  356ed1c
- Merge remote-tracking branch 'origin/session/sharp-raven-413' into session/sharp-raven-413
  Brian Searls
  committed
  069c7b2
- Restore the plans-doc repoint; CI auto-heal regenerated its projection
  
  Brian Searls
  and
  claude
  committed
  c705aec
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  e7b8ad2
- Make the typecheck green control assert acceptance, and cite BigEndians real authority
  
  Brian Searls
  and
  claude
  committed
  d2e1d9c
- Retire the second stale onboarding citation, and pin refusal CAUSES not just refusal
  
  Brian Searls
  and
  claude
  committed
  92e2d4d
- Unescape the record-literal braces in the typecheck probe sources
  
  Brian Searls
  and
  claude
  committed
  b8abbf7
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  2aebbdd
- Withdraw the unexecutable typecheck witness and declare the wall unwitnessed
  
  Brian Searls
  and
  claude
  committed
  a13e29f
- Merge remote-tracking branch 'origin/main' into session/sharp-raven-413
  Brian Searls
  committed
  e10d852
- Merge commit 'a13e29f3e2d44ff4aa21c93dfea71fec3842b4ca' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  55313be
- Merge remote-tracking branch 'origin/main' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  a3e2625
- Keep base64_encode total; refuse the octet where it is made
  
  Brian Searls
  and
  claude
  committed
  1748ef5
- Retire base64_octet_word everywhere, including the doc I had just repointed to it
  
  Brian Searls
  and
  claude
  committed
  9b6f3ea
- Merge main: keep both frontier roster rows
  
  Brian Searls
  and
  claude
  committed
  9fd30ee
- Merge origin/main into session/royal-stag-544
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  188eec5
- Bring the blackjack projection back onto its authority
  
  Brian Searls
  and
  claude
  committed
  0e504aa
- Import the carrier where it is matched; route bit width through std.measure; stop claiming unreachability
  
  Brian Searls
  and
  claude
  committed
  573e5f9
- Name the divergence and give the forgery statement one home
  
  Brian Searls
  and
  claude
  committed
  9ca9d9a
- Merge commit '9ca9d9ab8db7e4dda75e421081c0c8dd65610f92' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  d37f56e
- Merge remote-tracking branch 'origin/main' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  bbf7219
Commits on Sep 20, 2026
- Merge remote-tracking branch 'origin/main' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  d626878
- CRYPTO-0: carry MacComputationRefused through approval_request_client and its boot-run consumer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8b4a504
- Fleet converge: the two new modes answer the ssh-key demand match
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9bdd93e
- Merge remote-tracking branch 'origin/main' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  b08466d
- Merge remote-tracking branch 'origin/main' into session/royal-stag-544
  gunbc-ci-auto-heal
  committed
  2720f9c

Commits

Commits on Sep 18, 2026

Commits on Sep 19, 2026

Commits on Sep 20, 2026