Singular 0.8.0 — one atomic backend interface for the ordinary CLI

0.8.0 (2026-10-02)

Features

• add the protected open-datum validator and envelope codec (382aece)
• add the protected open-datum validator and envelope codec (#316) (17df0cf)
• admit a retraction in the model driver before it is paid (03fd9e0)
• build open-datum bookings, payload updates and protected releases (adac455)
• build open-datum bookings, updates and protected releases (#317) (24ecba3)
• carry every exit's payments in the model's observations (24de43a)
• conformance: build the conformance DSL as operational programs (aa8ff93)
• conformance: read the conformance suite as Lean theorem, clause and example (08f779c)
• cover the foreign-asset update and the shared-controller and mixed settlement refusals live (2da604e)
• indexer views at one chain point (#324) (5f6550a)
• indexer-backed coherent reads through the acquired interface (a3730d0)
• judge the application's booking boundary and the terminating fold's settlement from receipts (bddf2d2)
• judge the CLI's lifecycle and the application's update and release boundary from receipts (8f48baa)
• judge the registry's refusal of duplicate and resurrected insertions from receipts (2d8af1e)
• keep a chosen boot seed unspent while reference scripts are published (#315) (c153238)
• lean: bind the insert-absent custody transaction (d92f35b)
• lean: prove and execute the insert-absent custody transaction (3f247d1)
• make the fold's required signers an observation with an obligation (edba595)
• make the model driver's operations the exits (6e4577d)
• model the protected open-datum application #310 (#312) (de34300)
• place every reject in a window and publish early rejection as CG24 (fb63107)
• port the singular registry command support onto current main (40e75ab)
• prove that no fold requires a signer (c75c52c)
• prove where every exit's deposit goes (6c6ec77)
• read the fold's required signers from the submitted transaction (52b413a)
• recover CLI state after uncertain submission and rollback (6bcc1d1)
• render the conformance evidence page from receipts (#326) (ff66ed4)
• report CG09 as an unmet consumer requirement kept by ruling (c389c90)
• run the protected open-datum lifecycle through the ordinary CLI (3f04e50)
• run the singular registry commands through the production builders (a0bb1ba)
• select the indexer backend at singular startup (#324) (85da504)
• ship the ordinary CLI's run page, DEMO1, in the on-chain archive and require it (6b163ef)
• state and compare retraction admission (80eba16)
• state every exit's obligations in the model (6cc928d)
• state which pending requests their owner can retract, and when (5a6e307)
• tell the CLI's process cases as client obligations bound to its specification's rows (3c1f001)
• the next command journals a rolled-back inclusion and an excluded transaction (#325) (97a1cf4)
• the next ordinary command reconciles an interrupted local commit (#325) (1d22a69)
• the on-chain release states the model revision the conformance evidence reads (#326) (b414dc1)
• verify-release checks a published release from its downloaded bytes (#326) (5a8a108)
• verify-release checks the released command's test-harness hooks stay inert (#326) (1bcb018)

Fixes

• a closed confirmation window is a wait failure; bound the window reads #281 (c58dd00)
• a Terminal read books with nothing under the application (a68c8bf)
• a wait failure's elapsed time is measured from the start of the call #281 (8d31827)
• admit a refusal only on its retained body and rejection, read back and attributed from their bytes (24378ec)
• admit a reject in every window at both purposes (db9354b)
• admit an ordinary command from the journal span it gained, not from its receipt's own read-backs (e23a9c5)
• admit an ordinary command's claims only on the bodies its journal kept (ce5d4cf)
• allow a folder to reject a pending request before the retraction deadline (95eb279)
• authenticate a key's leaf by the candidate that reproduces the chain's root (e950dad)
• bind a reference create read back, pay the controller short of its obligation, and meet an added asset's minimum (d568c14)
• bind the CLI's recovery, holdings and fold to exactly what each step names (6f46c26)
• book a Terminal read through the library approval decision (be6a1e5)
• bound every wait on a submitted transaction #281 (e6a6f80)
• bound submission and confirmation waits #281 (0ce4569)
• build live retractions the ledger accepts (3bf245d)
• build the conformance runner and list the builders in the API reference (848e22b)
• check the archive page's seven numbered commands in position, with omission controls (8d9d595)
• conformance: preserve nested programs in rendered stories (0376260)
• coverage: regenerate the insert-absent record population (cf8f0d4)
• declare the journey's flock, pgrep and pkill in the demo1-cli-check app (17436ba)
• declare what a live fold measures and say why the node refused it (139abca)
• declare what a live fold measures and say why the node refused it (a2b0a0a)
• deleteActive consumes the active witness it burns (#236) (8c638c3)
• derive absent custody identity from its sole asset (e0a682f)
• describe only outputs that exist and observe their datum forms #304 #288 (#313) (a077031)
• every transaction the conformance harness assembles reads one view (#326) (45776d5)
• fold the short-payment control and its accepting pair from a wallet other than the controller (bd0a568)
• format and document the wait owner #281 (f059821)
• found every refusal claim on its reached premise and credit only phase-2 script failures (5951bec)
• give a placed reject an upper bound that outlasts its build (de6ed5e)
• give the exit controls their own conformance row (73594ba)
• hold the journey's writer lock by its own pid, and format the demo scripts (64167cc)
• keep a fold's fallback validity bound inside the node's horizon by rounding down (ab3d371)
• let a cancellation escape a fold's slot conversion instead of taking a fallback (ec78e4c)
• name a failed premise's cause in every clause it leaves uncovered (58cbe7f)
• naming: recognise the current registry state validator (72d682d)
• naming: recognise the current registry state validator (861034b)
• prove the premise's leaf from committed tree nodes against the chain's root (51738a2)
• race two creates on distinct live seeds and require the late one to be refused RegistryExists (f61d1af)
• read an authenticated leaf as the trie stores it, by its BLAKE2b-256 digest (56bed62)
• recheck create under its lock, keep an interrupted create inspectable, bound every confirmation (c61910b)
• record CG09's accepted early reject as held (e9102fb)
• refresh witness state identity (d4978f9)
• refuse a node call from inside a view and end calls on a lost connection (#326) (3a1e8d7)
• refuse a retraction outside phase 2 by name instead of crashing (a17c320)
• refuse to start actionlint when a run: script exceeds the pipe buffer (579779a)
• refuse to start actionlint when a run: script exceeds the pipe buffer (e9d1662), closes #248
• reject every pending request without a deadline-bound validity (6b22215)
• remove a deleted key from the model trie (88957e4)
• replace the mirror and state.json whole or not at all (#325) (51fe1e6)
• report a fold that cannot follow its confirmed booking as partial, naming the pending request (4ac3a10)
• report out-of-window retraction refusals (ba194e2)
• return everything a retracted request holds to its owner (f513e15)
• return everything a retracted request holds to its owner (4d7f1b1)
• return the deposit of every non-delivering fold, settled once per payee (6e0a964)
• return the deposit of every non-delivering fold, settled once per payee (59b6cfd)
• share one node session across backend actions and select the controller's settlement and a token output correctly (6c229f3)
• simulator: check observable effects and report evidence boundaries (bab7406)
• simulator: full supply biconditional; laws unconditional over reachable states (7c5dd4d)
• simulator: observe the whole modeled result; report the evidence boundary (e4b97cb)
• state skipped-evaluation units that fit the block, and never credit a budget failure as a refusal (d693e20)
• the conformance harness reads a fold's context and the fold from one view (#326) (8476ce4)
• use refund-only absent custody datums (86a56a4)
• verify-release removes the temporary directory it made (#326) (f7bd145)
• verify-release reports its build stage and reads the archive manifest as the assembler writes it (#326) (890acca)

Documentation

• absorb the intake findings into the early rejection plan (b7d005f)
• add dated Singular demo plays (8c9856a)
• add dated Singular demo plays (c54b2b1)
• add first registry model demo cast (327b9c6)
• align absent custody narration (88a7bce)
• conformance: explain every test in stakeholder language (71a7895)
• conformance: present the book as stakeholder stories (414175b)
• conformance: specify model-driven execution and worker slices (4f061b1)
• correct two first-slice task statements (20074be)
• cover final task narration (c10cb3b)
• download and verify a release, and every singular registry flag (#326) (9abcf36)
• drop removed cast from preview byte check (447e9aa)
• fix the recorder's output and cleanup contract #280 (7300652)
• give the CLI plan pages their speech and list the refusal controls module (3298c14)
• keep the deletion ticket's planning records out of the published site (c313921)
• keep the gate table's root CI row from swallowing the page (5653803)
• keep the retirement ticket's planning records out of the published site (073ba48)
• label historical Koios naming query (8aa3c73)
• lean: scope insert-absent transaction contract (1e63de7)
• list Conformance.EvidencePage in the Conformance API reference (#326) (4503617)
• list the early rejection story in the conformance API reference (b590523)
• make first registry demo a preprod play plan (704b358)
• make the conformance suite's audience constitutional (2cc156b), closes #215
• map the early rejection residuals and bind CG09's control (6d07fd6)
• mark planned Singular demo releases and indexer path (81dad53)
• name registry handoff release and indexed read path (3e5660a)
• name the recorder as a shell script and retain raw logs #280 (f1974bd)
• name the request an excluded or rejected fold leaves pending (#325) (e2574c3)
• order the recorder's cleanup before its records #280 (d265005)
• plan #326 contract suite, consumer migration and artifact evidence (#326) (0cb5a5b)
• plan acquired node interface for the ordinary CLI (#323) (e8600ca)
• plan CLI backend selection and the indexer journey (#324) (aabd791)
• plan CLI recovery after uncertain submission and rollback (#325) (46288a3)
• plan indexer-backed coherent reads (#324) (53f6644)
• plan the early request rejection repair (bed7449)
• publish retraction window evidence and remaining limits (6e200a4)
• publish that retraction admission is compared on the chain (22c736c)
• publish the Aiken reference and align the integrated documentation (#309) (502cb93), closes #278
• publish the conformance evidence page computed from the receipts of c17309e (#326) (db31721)
• publish the extra-signer registration and the difference it was detected by (661fbdd)
• record one view per transaction and no node call inside a view (#323) (7ca7fce)
• record the contract for deleting a registry key (1aaae19)
• record the operator's ruling on the duplicated-carrier case and cite it where the case is reported (72f7d7c)
• record verified absent custody delivery (d7a877a)
• record why deleteActive fails value conservation (f8028e2)
• recovering a registry command (#325) (c45bb2d)
• recovering a registry command after a rollback or an exclusion (#325) (6fcea99)
• regenerate the conformance book (5ae22e6)
• regenerate the conformance book at the ticket's head (889a77c)
• regenerate the running book from a clean devnet run (e0ae589)
• regenerate the running book from a clean devnet run (beade75)
• regenerate the running book with deleteActive agreeing (#236) (2584c70)
• regenerate the running book with witnessTerminal agreeing (4e089ef)
• rehearse first registry demo with model asciicast (ac6b419)
• route the fold budget mutant through the runner's declaration #280 (4794aeb)
• say CG09 is unmet by ruling wherever its current disposition is stated (bf1e747)
• say CG09's requirement in words, not its identifier (acfd508)
• say the conformance API reference lists twenty-six modules (1225431)
• say the modules model's CG09 responsibility is unmet by ruling (eb67d3f)
• say which checks remain open after the third slice (8f4dd3d)
• settle the early rejection row scope and freeze the gate bodies (ae5f71f)
• specify refund-only absent custody (6d2b79d)
• specify the fold budget CI control #280 (2e13bc8)
• specs: add speech companion for the #196 mapping page (5bf0d0a)
• specs: add speech companions for the six #209 conformance pages (bdb5975)
• specs: clarify simulator verification narration (122c143)
• specs: qualify model declarations as Singular., not Singular.Model. (d6059ce)
• stamp #325 tasks and record the recovery rulings (#325) (1c2089c)
• stamp #326 tasks and record the slice amendments (#326) (9d13928)
• stamp the #280 tasks at the audited pair (714bedc)
• stamp the first slice's tasks with their evidence and limits (5aeea4c)
• stamp the second and third slices' tasks with their evidence and limits (00b3011)
• state CG09 as held and the reject without a timing refusal (4d8772d)
• state the settled early rejection row in the checklist (9462beb)
• stop publishing the deletion as a model disagreement (71a30b3)
• target preprod keripy and ckeri for dated plays (1383644)
• the test-harness hooks of the released singular (#326) (34680bf)
• use durable registry handoff link (d60244d)

Automation

• admit the extra-signer registration step in the CG21 evidence check (ad9dd30)
• documented singular flags must equal what its --help prints (#326) (61c306e)
• keep the contract results and receipts the evidence page reads (#326) (2f8d4db)
• run the offchain lint on every pull request (cab222f)
• run the offchain lint on every pull request (1cf5275)
• say that the Demo 1 job verifies the release it assembles (#326) (8e519eb)
• the flags check reads every Markdown page and any spelling of singular (#326) (f205c63)
• verify each published release from its downloaded assets (#326) (da2cfe4)