All pull requests

Pull requests

• J5: SHA-256 as FIPS 180-4 Writes It

  #310·chasebryan opened Oct 10, 2026Owner·6 tasks done·

  ·
  2

• docs(manual): name the wrong --instance case under ORC1016

  #309·chasebryan opened Oct 10, 2026Owner·6 tasks done·

  ·

• Admit rank-2 arrays and name the first failing generic instance

  #307·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·

• Book: complete ORC1016 and ORC1017 descriptions

  #308·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·
  1

• Shift and rotate words by computed amounts

  #306·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·

• docs: X25519 READMEs quote measured S3u step count (564,933)

  #305·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·
  3

• Run known-answer tests in the C frontend

  #304·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·

• render_book: fix table pipes, list continuation, non-manuscript links (Codex follow-ups to #236)

  #303·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·
  6

• Admit arrays of 1 through 65536 elements (S3p)

  #299·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·

• Match Rust when reference evaluation hits the step budget

  #298·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·

• Add a Book deploy hook for nosuchmachine.net

  #297·chasebryan opened Oct 9, 2026Owner·5 of 6 tasks·

  ·

• Admit type parameters in the standalone C frontend (S3o)

  #296·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·

• docs(book): add J3 The Corpus as Acceptance Test

  #294·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·
  1

• Admit byte order in the standalone C frontend (S3n)

  #292·chasebryan opened Oct 9, 2026Owner·6 tasks done·

  ·

• S3y: positions computed from data, proved in range (OEP-0029, Book v0.28)

  #287·chasebryan opened Oct 6, 2026Owner·5 of 6 tasks·

  ·

• J4 — Byte Order and Format Boundaries

  #283·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·
  2

• S3x: name one type list for several functions (OEP-0028)

  #280·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·
  3

• S3w: position parameters so one quarter round acts on a state (OEP-0027)

  #279·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·
  3

• fix(c): compare residue moduli by value across modules

  #272·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·

• fix(c): check operands of conversions with rejected targets

  #267·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·

• fix(c): typecheck chained indexes and recover loop steps

  #263·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·

• fix(c): report oversized loop bounds and indexes as ORC0205

  #257·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·

• fix(c): print large values and release dead arrays

  #256·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·

• fix(book): correct N7's quarter-round trace and diagnostics

  #251·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·

• docs(book): date RFC 8439 as June 2018 in N7

  #250·chasebryan opened Oct 5, 2026Owner·6 tasks done·

  ·