Search results

docling bridge: wire IngestStatementOp PDF branch + DoclingProcessSurface b00t attestation

doclingDocument extraction bridgeDocument extraction bridge

enhancementNew feature or requestNew feature or request

pipelineTransaction pipelineTransaction pipeline

Status: Open.

#60 In PromptExecution/ledgrrr;

· promptexecutionerr opened on May 2, 2026

prd-6-future phase 1: ledger-attest crate — #[attested] proc-macro lint skeleton

enhancementNew feature or requestNew feature or request

prd-6-futureType Attestation SystemType Attestation System

Status: Open.

#59 In PromptExecution/ledgrrr;

· promptexecutionerr opened on May 2, 2026

prd-7 phase 3: materialize _audit sheet — constraint_score, legal_result, stage_trace per transaction row

enhancementNew feature or requestNew feature or request

prd-7Legal Intelligence LayerLegal Intelligence Layer

Status: Open.

#57 In PromptExecution/ledgrrr;

· promptexecutionerr opened on May 2, 2026

prd-8 phase 0: first Kani harnesses — InvoiceConstraintSolver, VendorConstraintSet, CommitGate

enhancementNew feature or requestNew feature or request

prd-8Kani Formal VerificationKani Formal Verification

Status: Open.

#56 In PromptExecution/ledgrrr;

· promptexecutionerr opened on May 2, 2026

prd-7 phase 1: auto-populate TransactionFacts from pipeline state

enhancementNew feature or requestNew feature or request

pipelineTransaction pipelineTransaction pipeline

prd-7Legal Intelligence LayerLegal Intelligence Layer

Status: Open.

#55 In PromptExecution/ledgrrr;

· promptexecutionerr opened on May 2, 2026

Remove Slint host — delete host-window.rs and slint_viz.rs

Status: Open.

#50 In PromptExecution/ledgrrr;

· elasticdotventures opened on May 2, 2026

Add transaction query plus preflight exposure for filename validation and rule preview

Status: Open.

#26 In PromptExecution/ledgrrr;

· elasticdotventures opened on Apr 16, 2026

Support batch review actions instead of only single-transaction classification edits

Status: Open.

#25 In PromptExecution/ledgrrr;

· elasticdotventures opened on Apr 16, 2026

Add a unified work queue for flags, ambiguities, blockers, and recent manual changes

Status: Open.

#24 In PromptExecution/ledgrrr;

· elasticdotventures opened on Apr 16, 2026