Composable "concat blocks" built from the proven library.

proven-concat is a catalog of safe, reusable compositions of proven modules. The goal is to make it trivial to assemble a project "base" (CLI tools, API cores, router logic, config loaders, etc.) by concatenating verified components with minimal glue.

Think of it as "unbreakable gist parts" you can combine to get a working, safe core fast.

• It is a curated set of compositions ("concat blocks") built from proven modules.

• It is not a server framework or runtime. You plug these cores into your preferred runtime (Idris net libs, FFI, or proven-io).

• Input and CLI: SafeArgs, SafeEnv, SafePath, SafeFile, SafeCommand

• Data formats: SafeJson, SafeYAML, SafeTOML, SafeCSV, SafeXML, SafeHtml, SafeMarkdown

• Web/API core: SafeHTTP, SafeHeader, SafeUrl, SafeCookie, SafeContentType, SafeJWT, SafeOAuth, SafeRateLimiter, SafeWebhook

• Networking/security: SafeNetwork, SafeDNS, SafeCert, SafeSSH, SafePassword, SafeCrypto, SafeChecksum

• State and storage: SafeStateMachine, SafeTransaction, SafeQueue, SafeLRU, SafeBloom

• Scheduling/resilience: SafeCron, SafeRetry, SafeCircuitBreaker

• Misc utilities: SafeSchema, SafeTemplate, SafeLog, SafeUUID, SafeDateTime

• safe-config-loader: SafeArgs + SafeEnv + SafePath + SafeFile + (JSON/TOML/YAML) + SafeSchema

• safe-webhook-core: SafeHTTP + SafeHeader + SafeUrl + SafeContentType + SafeJson + SafeJWT + SafeRateLimiter + SafeLog

• safe-router-table: SafeUrl + SafeRegex + SafeHeader + SafeContentType

• safe-cli-pipeline: SafeArgs + SafeCSV/SafeJson + SafeFile + SafeChecksum + SafeLog

• safe-scheduler-core: SafeCron + SafeRetry + SafeCircuitBreaker + SafeRateLimiter

See docs/concat-catalog.adoc for the full catalog and notes.

• Catalog overview: docs/concat-catalog.adoc

• Core registry: docs/core-registry.adoc

• Runtime adapters: docs/runtime-adapters.adoc

• Minimal glue stubs: docs/glue/minimal-idris-stubs.adoc

• Harness patterns: docs/harnesses/example-harness-patterns.adoc

• Core skeletons: src/ProvenConcat/ConfigLoader.idr, src/ProvenConcat/WebhookCore.idr, src/ProvenConcat/RouterTable.idr, src/ProvenConcat/CLIPipeline.idr, src/ProvenConcat/SchedulerCore.idr

• Implement real logic in the four remaining core modules (Webhook/Router/CLI/Scheduler).

• Replace placeholder types in ConfigLoader with concrete schema-validated types.

• Add proven-concat.ipkg exports and a minimal build/test harness.

PMPL-1.0 (Palimpsest-MPL-1.0)

• proven - Core verified safety library

• proven-io - Safe I/O operations