http://localhost:3000/ 2026-04-30T17:36:59.040Z http://localhost:3000/docs 2026-04-30T17:36:59.040Z http://localhost:3000/docs/assume-guarantee-model 2026-04-30T17:36:59.040Z http://localhost:3000/docs/audit-evidence-model 2026-04-30T17:36:59.040Z http://localhost:3000/docs/axiom-opaque-catalog 2026-04-30T17:36:59.040Z http://localhost:3000/docs/axiom-validation-map 2026-04-30T17:36:59.040Z http://localhost:3000/docs/composition-model 2026-04-30T17:36:59.040Z http://localhost:3000/docs/constraint-coverage-matrix 2026-04-30T17:36:59.040Z http://localhost:3000/docs/constraint-derivation 2026-04-30T17:36:59.040Z http://localhost:3000/docs/counterexample-catalog 2026-04-30T17:36:59.040Z http://localhost:3000/docs/cryptographic-model 2026-04-30T17:36:59.040Z http://localhost:3000/docs/economic-invariants 2026-04-30T17:36:59.040Z http://localhost:3000/docs/edge-case-atlas 2026-04-30T17:36:59.040Z http://localhost:3000/docs/execution-trace-model 2026-04-30T17:36:59.040Z http://localhost:3000/docs/formal-specification 2026-04-30T17:36:59.040Z http://localhost:3000/docs/goldilocks-cross-reference 2026-04-30T17:36:59.040Z http://localhost:3000/docs/invalid-execution-witness-suite 2026-04-30T17:36:59.040Z http://localhost:3000/docs/invariants 2026-04-30T17:36:59.040Z http://localhost:3000/docs/long-term-security-model 2026-04-30T17:36:59.040Z http://localhost:3000/docs/model-checking-plan 2026-04-30T17:36:59.040Z http://localhost:3000/docs/plonky3-version 2026-04-30T17:36:59.040Z http://localhost:3000/docs/poseidon-parameter-justification 2026-04-30T17:36:59.040Z http://localhost:3000/docs/proof-layer 2026-04-30T17:36:59.040Z http://localhost:3000/docs/proof-obligations 2026-04-30T17:36:59.040Z http://localhost:3000/docs/refinement-strategy 2026-04-30T17:36:59.040Z http://localhost:3000/docs/roadmap 2026-04-30T17:36:59.040Z http://localhost:3000/docs/self-audit 2026-04-30T17:36:59.040Z http://localhost:3000/docs/semantic-gap-analysis 2026-04-30T17:36:59.040Z http://localhost:3000/docs/semantic-mapping 2026-04-30T17:36:59.040Z http://localhost:3000/docs/semantic-preservation-theorems 2026-04-30T17:36:59.040Z http://localhost:3000/docs/state-machine 2026-04-30T17:36:59.040Z http://localhost:3000/docs/tech-spec 2026-04-30T17:36:59.040Z http://localhost:3000/docs/theorem-proving-plan 2026-04-30T17:36:59.040Z http://localhost:3000/docs/threat-model 2026-04-30T17:36:59.040Z http://localhost:3000/docs/trace-sufficiency 2026-04-30T17:36:59.040Z http://localhost:3000/docs/transition-partitioning 2026-04-30T17:36:59.040Z http://localhost:3000/docs/underconstraint-analysis 2026-04-30T17:36:59.040Z http://localhost:3000/docs/whitepaper 2026-04-30T17:36:59.040Z http://localhost:3000/docs/verification-layer 2026-04-30T17:36:59.040Z http://localhost:3000/docs/witness-uniqueness-and-non-malleability 2026-04-30T17:36:59.040Z http://localhost:3000/docs/zk-backend-integration 2026-04-30T17:36:59.040Z http://localhost:3000/preprint 2026-04-30T17:36:59.040Z http://localhost:3000/preprint/source 2026-04-30T17:36:59.040Z