Issues

• Implement optional Blob and secure document crates with asynchronous view preparation

  teaql/teaql-rs#312 · Filter by author philipgreat opened on Oct 25, 2026

• Default-stack explicit transaction audited save overflows during native SQLite ledger suite

  teaql/teaql-rs#311 · Filter by author philipgreat opened on Oct 25, 2026

• Align empty SUM across relation buckets and memory aggregation

  teaql/teaql-rs#310 · Filter by author philipgreat opened on Oct 25, 2026

• Preserve .agent-no-read.md in Rust runtime source and installed artifacts

  teaql/teaql-rs#309 · Filter by author philipgreat opened on Oct 24, 2026

• Align context-clock Fix and structured complete E-expression diagnostics

  teaql/teaql-rs#308 · Filter by author philipgreat opened on Oct 23, 2026

• test: prove Secret Provider rotation preserves pending graph state (SEC-05/08)

  teaql/teaql-rs#307 · Filter by author philipgreat opened on Oct 22, 2026
  1

• CMR-15: verify untrusted entry boundaries and reject noncanonical replication controls

  teaql/teaql-rs#305 · Filter by author philipgreat opened on Oct 22, 2026

• CMR-14: durable committed-delivery observations and safe failure journal

  teaql/teaql-rs#303 · Filter by author philipgreat opened on Oct 22, 2026

• P1 CMR-13: authenticated committed receiver and durable safe rejection audit

  teaql/teaql-rs#301 · Filter by author philipgreat opened on Oct 21, 2026
  4

• CMR-12 complete verifier: align School lockfile with repository-local runtime

  teaql/teaql-rs#300 · Filter by author philipgreat opened on Oct 21, 2026

• P1 CMR-12: durable snapshot publication, fenced bootstrap cursor and crash recovery

  teaql/teaql-rs#298 · Filter by author philipgreat opened on Oct 21, 2026

• P1 CMR-11: consistent SQLite snapshot and ordered tail bootstrap

  teaql/teaql-rs#296 · Filter by author philipgreat opened on Oct 21, 2026

• P1 CMR-09: committed target must not replay configured business effects

  teaql/teaql-rs#294 · Filter by author philipgreat opened on Oct 21, 2026

• [P1 HTTP] Isolate accepted private-CA profiles on the formal P1 baseline

  teaql/teaql-rs#292 · Filter by author philipgreat opened on Oct 21, 2026

• P1 HTTP-15/16: signed SDK coexistence and same-fixture example evidence

  teaql/teaql-rs#291 · Filter by author philipgreat opened on Oct 21, 2026

• P1 HTTP numbered proof: intent, attempt ceiling, overflow disposal and closed-circuit concurrency

  teaql/teaql-rs#289 · Filter by author philipgreat opened on Oct 21, 2026

• P1 CMR-05: prove mixed create/update/delete target atomicity in one set

  teaql/teaql-rs#287 · Filter by author philipgreat opened on Oct 21, 2026

• CMR-03: prove governed SQLite Outbox recovery after source-process crash

  teaql/teaql-rs#285 · Filter by author philipgreat opened on Oct 21, 2026

• Align E NotLoaded diagnostics with structured model locations and JSON Pointer

  teaql/teaql-rs#283 · Filter by author philipgreat opened on Oct 21, 2026

• P1: cancelled transaction completion can leave attempted graph retryable

  teaql/teaql-rs#280 · Filter by author philipgreat opened on Oct 19, 2026

• P1 audit: classify unconfirmed source commit or rollback outcomes

  teaql/teaql-rs#278 · Filter by author philipgreat opened on Oct 19, 2026
  3

• P1: post-commit entity hydration failure is reported as an ordinary graph error

  teaql/teaql-rs#271 · Filter by author philipgreat opened on Oct 18, 2026

• P1: AuditAfterCommit Debug exposes raw audit sink error after commit

  teaql/teaql-rs#269 · Filter by author philipgreat opened on Oct 18, 2026

• TFP: serialize modeled long fields as exact JSON strings without changing integer fields

  teaql/teaql-rs#263 · Filter by author philipgreat opened on Oct 18, 2026

• TFP server: bind scalar query operands to generated model types

  teaql/teaql-rs#261 · Filter by author philipgreat opened on Oct 18, 2026