Repository navigation

ENCODING-0 cut 2: pure .dag CBOR, DER and X.509; App Attest enrolment parses real bytes and refuses at the ECDSA frontier - #11727

Closed

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

mainfrom

session/warm-tern-701

Closed

ENCODING-0 cut 2: pure .dag CBOR, DER and X.509; App Attest enrolment parses real bytes and refuses at the ECDSA frontier#11727
gunbai-bot[bot] wants to merge 28 commits into
mainfrom
session/warm-tern-701

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
- NUMERIC-BIT-0: fix the mistranscribed bitwise operand and claim the transcription
  
  Brian Searls
  and
  claude
  committed
  fed5a40
Commits on Sep 19, 2026
- 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/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
- 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
- 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
- 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
- WIP ENCODING-0 cut 2: octet span, CBOR, DER, X.509, App Attest parse stage
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  223a2ba
- ENCODING-0 cut 2: witnesses green (CBOR 18, DER 17, App Attest 19); assertion authData carries no credential data
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c5bed74
- Bound content reads to their span: an empty BIT STRING or KeyUsage no longer reads the next element (review 68531)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f10406a

Commits

Commits on Sep 18, 2026

Commits on Sep 19, 2026