-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
docs: land the 8 files #81 was auto-closed without delivering (4 mechanical, 4 need owner rulings)
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRspriority:p1High - schedule nextHigh - schedule nextscope:repoConfined to this repositoryConfined to this repositorystatus:needs-rulingAwaiting an owner decisionAwaiting an owner decisionStatus: Open.#204 In hyperpolymath/verisimdb;security: Track C — panic-attack 2.5.5 category sweep (105 live findings on main)
meta:umbrellaParent issue aggregating child issuesParent issue aggregating child issuespriority:p1High - schedule nextHigh - schedule nextscope:repoConfined to this repositoryConfined to this repositorysecuritySecurity finding or hardening workSecurity finding or hardening workstatus:needs-rulingAwaiting an owner decisionAwaiting an owner decisionStatus: Open.#203 In hyperpolymath/verisimdb;Checkpoint 2026-06-05: reconciliation + Coq proof-debt (machine-checked) + REUSE licence cleanup
licensingLicences, SPDX headers, REUSE compliance, attributionLicences, SPDX headers, REUSE compliance, attributionpriority:p2Normal - queue itNormal - queue itproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtscope:repoConfined to this repositoryConfined to this repositorystatus:blockedCannot proceed until a dependency clearsCannot proceed until a dependency clearstech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#113 In hyperpolymath/verisimdb;SNIFs verisim WASM bridge — single boundary for BEAM-side cross-language access
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourpriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:needs-rulingAwaiting an owner decisionAwaiting an owner decisionStatus: Open.#86 In hyperpolymath/verisimdb;Cross-repo synthesis: vcl-ut + kategoria + echo-types + tropical-resource-typing → VeriSimDB
priority:p3Low - nice to haveLow - nice to haveresearchOpen investigation; the outcome is knowledge, not codeOpen investigation; the outcome is knowledge, not codescope:estateAffects many or all repos across the estateAffects many or all repos across the estateStatus: Open.#84 In hyperpolymath/verisimdb;Test + bench dramatic expansion — 652→1800 tests, 30→90 benches, 3→12 fuzz
priority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked uptestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#79 In hyperpolymath/verisimdb;Database-theory + practice gap analysis (22 areas, 5 theory frontiers)
priority:p3Low - nice to haveLow - nice to haveresearchOpen investigation; the outcome is knowledge, not codeOpen investigation; the outcome is knowledge, not codescope:repoConfined to this repositoryConfined to this repositoryStatus: Open.#78 In hyperpolymath/verisimdb;