{
  "builder": "tools/meta/dissemination/build_microcosm_public_site.py",
  "canonical_site_base_url": "https://wcook04.github.io/practical-formal-verification/",
  "current_public_name": "Plectis",
  "generated_at": "1970-01-01T00:00:00+00:00",
  "identity_invariant": "Plectis is the preferred public identity; Microcosm is a historical and compatibility label, not a second active brand.",
  "legacy_public_name": "Microcosm",
  "legacy_site_base_url": "https://wcook04.github.io/practical-formal-verification/",
  "mode_counts": {
    "byte_compatible_alias": 24,
    "html_redirect": 222,
    "legacy_404": 1,
    "legacy_projection_status": 1,
    "legacy_security_txt": 2
  },
  "route_count": 250,
  "route_policy": {
    "byte_compatible_alias": "Machine-readable JSON and static assets are emitted as files so the old URL keeps its content type.",
    "html_redirect": "HTML routes show the transition and may forward to the canonical route; they are not used for machine-readable assets.",
    "legacy_404": "The GitHub Pages 404 is a visible compatibility fallback, not a server-side redirect.",
    "legacy_projection_status": "The old projection-status URL returns a legacy JSON status pointer, not an HTML redirect.",
    "legacy_security_txt": "The old host serves its own security.txt so vulnerability-reporting metadata remains valid while the human-facing site is a tombstone."
  },
  "routes": [
    {
      "canonical_path": "index.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "index.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/index.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/index.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/index.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/index.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/index.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/introduction.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/introduction.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/introduction.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/introduction.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/tour.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/tour.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/tour.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/tour.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/open-questions.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/open-questions.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/open-questions.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/open-questions.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/quickstart.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/quickstart.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/quickstart.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/quickstart.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/coding-agents.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/coding-agents.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/coding-agents.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/coding-agents.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/papers.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/papers.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/papers.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/papers.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/architecture.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/architecture.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/architecture.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/architecture.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/system-map.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/system-map.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/system-map.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/system-map.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/doctrine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/doctrine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/doctrine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/doctrine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/area-entry.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/area-entry.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/area-entry.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/area-entry.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/area-architecture.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/area-architecture.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/area-architecture.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/area-architecture.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/area-formal-math.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/area-formal-math.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/area-formal-math.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/area-formal-math.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/area-agent-reliability.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/area-agent-reliability.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/area-agent-reliability.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/area-agent-reliability.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/area-research.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/area-research.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/area-research.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/area-research.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/area-import-drift.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/area-import-drift.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/area-import-drift.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/area-import-drift.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/area-continuity.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/area-continuity.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/area-continuity.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/area-continuity.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/components.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/components.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/components.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/components.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-cold-reader-route-map.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-cold-reader-route-map.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-cold-reader-route-map.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-cold-reader-route-map.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-public-reveal-walkthrough.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-public-reveal-walkthrough.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-public-reveal-walkthrough.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-public-reveal-walkthrough.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-pattern-binding-contract.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-pattern-binding-contract.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-pattern-binding-contract.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-pattern-binding-contract.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-pattern-assimilation-step.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-pattern-assimilation-step.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-pattern-assimilation-step.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-pattern-assimilation-step.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-executable-doctrine-grammar.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-executable-doctrine-grammar.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-executable-doctrine-grammar.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-executable-doctrine-grammar.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-navigation-hologram-route-plane.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-navigation-hologram-route-plane.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-navigation-hologram-route-plane.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-navigation-hologram-route-plane.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-standards-meta-diagnostics.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-standards-meta-diagnostics.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-standards-meta-diagnostics.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-standards-meta-diagnostics.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-voice-to-doctrine-self-improvement-loop.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-voice-to-doctrine-self-improvement-loop.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-voice-to-doctrine-self-improvement-loop.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-voice-to-doctrine-self-improvement-loop.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-cognitive-operator-registry.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-cognitive-operator-registry.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-cognitive-operator-registry.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-cognitive-operator-registry.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-routing-anti-patterns-registry.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-routing-anti-patterns-registry.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-routing-anti-patterns-registry.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-routing-anti-patterns-registry.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-doctrine-fact-claim-audit.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-doctrine-fact-claim-audit.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-doctrine-fact-claim-audit.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-doctrine-fact-claim-audit.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-self-ignorance-coverage-ledger.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-self-ignorance-coverage-ledger.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-self-ignorance-coverage-ledger.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-self-ignorance-coverage-ledger.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-navigation-fitness-benchmark.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-navigation-fitness-benchmark.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-navigation-fitness-benchmark.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-navigation-fitness-benchmark.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-annex-knowledge-routing.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-annex-knowledge-routing.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-annex-knowledge-routing.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-annex-knowledge-routing.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-certificate-kernel-execution-lab.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-certificate-kernel-execution-lab.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-certificate-kernel-execution-lab.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-certificate-kernel-execution-lab.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-formal-math-lean-proof-witness.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-lean-proof-witness.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-formal-math-lean-proof-witness.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-lean-proof-witness.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-verifier-lab-execution-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-verifier-lab-execution-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-verifier-lab-execution-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-verifier-lab-execution-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-corpus-readiness-mathlib-absence-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-corpus-readiness-mathlib-absence-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-corpus-readiness-mathlib-absence-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-corpus-readiness-mathlib-absence-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch4-proof-authority-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch4-proof-authority-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch4-proof-authority-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch4-proof-authority-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-proof-diagnostic-evidence-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-proof-diagnostic-evidence-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-proof-diagnostic-evidence-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-proof-diagnostic-evidence-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-formal-math-readiness-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-readiness-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-formal-math-readiness-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-readiness-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-mathematical-strategy-atlas-hypothesis-scorer.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mathematical-strategy-atlas-hypothesis-scorer.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-mathematical-strategy-atlas-hypothesis-scorer.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mathematical-strategy-atlas-hypothesis-scorer.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-tactic-portfolio-availability-probe.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-tactic-portfolio-availability-probe.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-tactic-portfolio-availability-probe.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-tactic-portfolio-availability-probe.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-target-shape-tactic-routing-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-target-shape-tactic-routing-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-target-shape-tactic-routing-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-target-shape-tactic-routing-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-lean-std-premise-index.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-lean-std-premise-index.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-lean-std-premise-index.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-lean-std-premise-index.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-formal-math-premise-retrieval.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-premise-retrieval.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-formal-math-premise-retrieval.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-premise-retrieval.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-formal-math-verifier-trace-repair-loop.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-verifier-trace-repair-loop.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-formal-math-verifier-trace-repair-loop.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-math-verifier-trace-repair-loop.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-formal-evidence-cell-anchor-resolver.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-evidence-cell-anchor-resolver.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-formal-evidence-cell-anchor-resolver.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-formal-evidence-cell-anchor-resolver.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-undeclared-library-prior-symbol-classifier.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-undeclared-library-prior-symbol-classifier.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-undeclared-library-prior-symbol-classifier.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-undeclared-library-prior-symbol-classifier.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-ring2-premise-retrieval-precision-recall-harness.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-ring2-premise-retrieval-precision-recall-harness.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-ring2-premise-retrieval-precision-recall-harness.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-ring2-premise-retrieval-precision-recall-harness.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-verifier-lab-kernel.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-verifier-lab-kernel.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-verifier-lab-kernel.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-verifier-lab-kernel.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-proof-derived-governed-mutation-authorization.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-proof-derived-governed-mutation-authorization.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-proof-derived-governed-mutation-authorization.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-proof-derived-governed-mutation-authorization.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-finite-erdos-denominator-certificate-strike.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-finite-erdos-denominator-certificate-strike.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-finite-erdos-denominator-certificate-strike.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-finite-erdos-denominator-certificate-strike.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-lean-proof-search-lab-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-lean-proof-search-lab-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-lean-proof-search-lab-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-lean-proof-search-lab-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agent-closeout-faithfulness-audit.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-closeout-faithfulness-audit.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agent-closeout-faithfulness-audit.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-closeout-faithfulness-audit.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-bounded-autonomy-campaign-packet.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-bounded-autonomy-campaign-packet.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-bounded-autonomy-campaign-packet.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-bounded-autonomy-campaign-packet.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-provider-context-recipe-budget-policy.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-provider-context-recipe-budget-policy.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-provider-context-recipe-budget-policy.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-provider-context-recipe-budget-policy.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch10-cold-eval-honesty-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch10-cold-eval-honesty-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch10-cold-eval-honesty-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch10-cold-eval-honesty-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch8-validator-checker-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-validator-checker-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch8-validator-checker-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-validator-checker-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch7-secondary-runtime-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-secondary-runtime-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch7-secondary-runtime-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-secondary-runtime-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agent-benchmark-integrity-anti-gaming-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-benchmark-integrity-anti-gaming-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agent-benchmark-integrity-anti-gaming-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-benchmark-integrity-anti-gaming-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agent-monitor-redteam-falsification-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-monitor-redteam-falsification-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agent-monitor-redteam-falsification-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-monitor-redteam-falsification-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agent-sabotage-scheming-monitor-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-sabotage-scheming-monitor-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agent-sabotage-scheming-monitor-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-sabotage-scheming-monitor-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agent-memory-temporal-conflict-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-memory-temporal-conflict-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agent-memory-temporal-conflict-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-memory-temporal-conflict-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-sleeper-memory-poisoning-quarantine-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-sleeper-memory-poisoning-quarantine-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-sleeper-memory-poisoning-quarantine-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-sleeper-memory-poisoning-quarantine-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-mcp-tool-authority-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mcp-tool-authority-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-mcp-tool-authority-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mcp-tool-authority-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-belief-state-process-reward-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-belief-state-process-reward-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-belief-state-process-reward-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-belief-state-process-reward-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agent-sandbox-policy-escape-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-sandbox-policy-escape-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agent-sandbox-policy-escape-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-sandbox-policy-escape-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-indirect-prompt-injection-information-flow-policy-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-indirect-prompt-injection-information-flow-policy-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-indirect-prompt-injection-information-flow-policy-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-indirect-prompt-injection-information-flow-policy-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agentic-vulnerability-discovery-patch-proof-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agentic-vulnerability-discovery-patch-proof-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agentic-vulnerability-discovery-patch-proof-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agentic-vulnerability-discovery-patch-proof-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-agent-route-observability-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-route-observability-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-agent-route-observability-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-agent-route-observability-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-bridge-campaign-dag-validation.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-bridge-campaign-dag-validation.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-bridge-campaign-dag-validation.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-bridge-campaign-dag-validation.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-metabolism-queue-reconciliation.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-metabolism-queue-reconciliation.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-metabolism-queue-reconciliation.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-metabolism-queue-reconciliation.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-egress-self-compliance-audit.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-egress-self-compliance-audit.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-egress-self-compliance-audit.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-egress-self-compliance-audit.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-finance-forecast-evaluation-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-finance-forecast-evaluation-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-finance-forecast-evaluation-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-finance-forecast-evaluation-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch12-prediction-market-board-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch12-prediction-market-board-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch12-prediction-market-board-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch12-prediction-market-board-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch12-market-dashboard-read-model-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch12-market-dashboard-read-model-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch12-market-dashboard-read-model-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch12-market-dashboard-read-model-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-mechanistic-interpretability-circuit-attribution-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mechanistic-interpretability-circuit-attribution-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-mechanistic-interpretability-circuit-attribution-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mechanistic-interpretability-circuit-attribution-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-spatial-world-model-counterfactual-simulation-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-spatial-world-model-counterfactual-simulation-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-spatial-world-model-counterfactual-simulation-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-spatial-world-model-counterfactual-simulation-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-research-replication-rubric-artifact-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-research-replication-rubric-artifact-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-research-replication-rubric-artifact-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-research-replication-rubric-artifact-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-materials-chemistry-closed-loop-lab-safety-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-materials-chemistry-closed-loop-lab-safety-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-materials-chemistry-closed-loop-lab-safety-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-materials-chemistry-closed-loop-lab-safety-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-prediction-oracle-reconciliation.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-prediction-oracle-reconciliation.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-prediction-oracle-reconciliation.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-prediction-oracle-reconciliation.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-derived-fact-provider-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-derived-fact-provider-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-derived-fact-provider-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-derived-fact-provider-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-macro-projection-import-protocol.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-macro-projection-import-protocol.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-macro-projection-import-protocol.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-macro-projection-import-protocol.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-world-model-projection-drift-control-room.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-world-model-projection-drift-control-room.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-world-model-projection-drift-control-room.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-world-model-projection-drift-control-room.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch6-unsurfaced-primitives-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch6-unsurfaced-primitives-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch6-unsurfaced-primitives-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch6-unsurfaced-primitives-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch5-authority-systems-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch5-authority-systems-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch5-authority-systems-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch5-authority-systems-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch7-macro-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-macro-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch7-macro-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-macro-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch7-oracle-sibling-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-oracle-sibling-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch7-oracle-sibling-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-oracle-sibling-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch7-demo-take-console-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-demo-take-console-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch7-demo-take-console-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch7-demo-take-console-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch8-tools-tail-primitives-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-tools-tail-primitives-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch8-tools-tail-primitives-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-tools-tail-primitives-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch8-policy-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-policy-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch8-policy-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-policy-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch8-audio-level-rms-port.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-audio-level-rms-port.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch8-audio-level-rms-port.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-audio-level-rms-port.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch8-structural-theses-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-structural-theses-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch8-structural-theses-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-structural-theses-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-engine-room-demo.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-engine-room-demo.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-engine-room-demo.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-engine-room-demo.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch9-macro-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch9-macro-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch9-macro-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch9-macro-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch10-governance-compilers-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch10-governance-compilers-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch10-governance-compilers-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch10-governance-compilers-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch11-saturation-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch11-saturation-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch11-saturation-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch11-saturation-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-tool-server-pressure-inventory.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-tool-server-pressure-inventory.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-tool-server-pressure-inventory.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-tool-server-pressure-inventory.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch8-compliance-pipeline-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-compliance-pipeline-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch8-compliance-pipeline-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch8-compliance-pipeline-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch10-live-source-drift-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch10-live-source-drift-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch10-live-source-drift-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch10-live-source-drift-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-batch12-release-claim-language-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch12-release-claim-language-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-batch12-release-claim-language-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-batch12-release-claim-language-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-generated-projection-drift-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-generated-projection-drift-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-generated-projection-drift-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-generated-projection-drift-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-mission-transaction-work-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mission-transaction-work-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-mission-transaction-work-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-mission-transaction-work-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-durable-agent-work-landing-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-durable-agent-work-landing-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-durable-agent-work-landing-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-durable-agent-work-landing-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-bridge-phase-continuity-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-bridge-phase-continuity-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-bridge-phase-continuity-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-bridge-phase-continuity-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-concurrency-mission-control.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-concurrency-mission-control.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-concurrency-mission-control.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-concurrency-mission-control.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/component-semantic-singleflight-dedup-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/component-semantic-singleflight-dedup-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/component-semantic-singleflight-dedup-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/component-semantic-singleflight-dedup-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/reference.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/reference.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/reference.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/reference.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/field-guide.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/field-guide.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/field-guide.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/field-guide.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/rules-and-ideas.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/rules-and-ideas.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/rules-and-ideas.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/rules-and-ideas.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-modules.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-modules.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-modules.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-modules.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-verifier-lab-kernel.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-verifier-lab-kernel.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-verifier-lab-kernel.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-verifier-lab-kernel.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-navigation-hologram-route-plane.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-navigation-hologram-route-plane.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-navigation-hologram-route-plane.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-navigation-hologram-route-plane.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agent-route-observability-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-route-observability-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agent-route-observability-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-route-observability-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agent-benchmark-integrity-anti-gaming-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-benchmark-integrity-anti-gaming-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agent-benchmark-integrity-anti-gaming-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-benchmark-integrity-anti-gaming-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-research-replication-rubric-artifact-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-research-replication-rubric-artifact-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-research-replication-rubric-artifact-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-research-replication-rubric-artifact-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agentic-vulnerability-discovery-patch-proof-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agentic-vulnerability-discovery-patch-proof-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agentic-vulnerability-discovery-patch-proof-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agentic-vulnerability-discovery-patch-proof-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-materials-chemistry-closed-loop-lab-safety-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-materials-chemistry-closed-loop-lab-safety-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-materials-chemistry-closed-loop-lab-safety-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-materials-chemistry-closed-loop-lab-safety-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-certificate-kernel-execution-lab.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-certificate-kernel-execution-lab.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-certificate-kernel-execution-lab.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-certificate-kernel-execution-lab.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-corpus-readiness-mathlib-absence-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-corpus-readiness-mathlib-absence-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-corpus-readiness-mathlib-absence-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-corpus-readiness-mathlib-absence-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-pattern-binding-contract.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-pattern-binding-contract.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-pattern-binding-contract.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-pattern-binding-contract.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-bridge-phase-continuity-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-bridge-phase-continuity-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-bridge-phase-continuity-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-bridge-phase-continuity-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-cognitive-operator-registry.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-cognitive-operator-registry.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-cognitive-operator-registry.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-cognitive-operator-registry.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agent-closeout-faithfulness-audit.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-closeout-faithfulness-audit.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agent-closeout-faithfulness-audit.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-closeout-faithfulness-audit.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-cold-reader-route-map.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-cold-reader-route-map.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-cold-reader-route-map.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-cold-reader-route-map.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-proof-diagnostic-evidence-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-proof-diagnostic-evidence-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-proof-diagnostic-evidence-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-proof-diagnostic-evidence-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-proof-derived-governed-mutation-authorization.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-proof-derived-governed-mutation-authorization.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-proof-derived-governed-mutation-authorization.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-proof-derived-governed-mutation-authorization.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-durable-agent-work-landing-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-durable-agent-work-landing-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-durable-agent-work-landing-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-durable-agent-work-landing-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-work-landing-control-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-work-landing-control-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-work-landing-control-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-work-landing-control-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-executable-doctrine-grammar.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-executable-doctrine-grammar.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-executable-doctrine-grammar.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-executable-doctrine-grammar.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-macro-projection-import-protocol.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-macro-projection-import-protocol.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-macro-projection-import-protocol.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-macro-projection-import-protocol.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-mission-transaction-work-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mission-transaction-work-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-mission-transaction-work-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mission-transaction-work-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-formal-math-readiness-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-readiness-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-formal-math-readiness-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-readiness-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-formal-math-lean-proof-witness.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-lean-proof-witness.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-formal-math-lean-proof-witness.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-lean-proof-witness.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-formal-math-verifier-trace-repair-loop.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-verifier-trace-repair-loop.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-formal-math-verifier-trace-repair-loop.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-verifier-trace-repair-loop.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-formal-evidence-cell-anchor-resolver.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-evidence-cell-anchor-resolver.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-formal-evidence-cell-anchor-resolver.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-evidence-cell-anchor-resolver.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-formal-math-premise-retrieval.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-premise-retrieval.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-formal-math-premise-retrieval.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-formal-math-premise-retrieval.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-lean-std-premise-index.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-lean-std-premise-index.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-lean-std-premise-index.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-lean-std-premise-index.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-world-model-projection-drift-control-room.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-world-model-projection-drift-control-room.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-world-model-projection-drift-control-room.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-world-model-projection-drift-control-room.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-public-reveal-walkthrough.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-public-reveal-walkthrough.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-public-reveal-walkthrough.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-public-reveal-walkthrough.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-standards-meta-diagnostics.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-standards-meta-diagnostics.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-standards-meta-diagnostics.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-standards-meta-diagnostics.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-finance-forecast-evaluation-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-finance-forecast-evaluation-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-finance-forecast-evaluation-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-finance-forecast-evaluation-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-demo.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-demo.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-demo.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-demo.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agent-memory-temporal-conflict-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-memory-temporal-conflict-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agent-memory-temporal-conflict-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-memory-temporal-conflict-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agent-monitor-redteam-falsification-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-monitor-redteam-falsification-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agent-monitor-redteam-falsification-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-monitor-redteam-falsification-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agent-sabotage-scheming-monitor-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-sabotage-scheming-monitor-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agent-sabotage-scheming-monitor-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-sabotage-scheming-monitor-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-agent-sandbox-policy-escape-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-sandbox-policy-escape-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-agent-sandbox-policy-escape-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-agent-sandbox-policy-escape-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-belief-state-process-reward-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-belief-state-process-reward-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-belief-state-process-reward-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-belief-state-process-reward-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-sleeper-memory-poisoning-quarantine-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-sleeper-memory-poisoning-quarantine-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-sleeper-memory-poisoning-quarantine-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-sleeper-memory-poisoning-quarantine-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-indirect-prompt-injection-information-flow-policy-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-indirect-prompt-injection-information-flow-policy-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-indirect-prompt-injection-information-flow-policy-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-indirect-prompt-injection-information-flow-policy-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-mcp-tool-authority-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mcp-tool-authority-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-mcp-tool-authority-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mcp-tool-authority-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-tactic-portfolio-availability.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-tactic-portfolio-availability.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-tactic-portfolio-availability.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-tactic-portfolio-availability.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-target-shape-tactic-routing.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-target-shape-tactic-routing.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-target-shape-tactic-routing.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-target-shape-tactic-routing.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-ring2-premise-precision-recall.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-ring2-premise-precision-recall.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-ring2-premise-precision-recall.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-ring2-premise-precision-recall.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-mathematical-strategy-atlas.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mathematical-strategy-atlas.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-mathematical-strategy-atlas.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mathematical-strategy-atlas.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-verifier-lab-execution-spine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-verifier-lab-execution-spine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-verifier-lab-execution-spine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-verifier-lab-execution-spine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-bounded-autonomy-campaign-packet.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-bounded-autonomy-campaign-packet.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-bounded-autonomy-campaign-packet.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-bounded-autonomy-campaign-packet.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-computer-use-action-trace-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-computer-use-action-trace-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-computer-use-action-trace-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-computer-use-action-trace-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-concurrency-mission-control.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-concurrency-mission-control.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-concurrency-mission-control.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-concurrency-mission-control.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-doctrine-fact-claim-audit.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-doctrine-fact-claim-audit.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-doctrine-fact-claim-audit.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-doctrine-fact-claim-audit.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-self-ignorance-coverage-ledger.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-self-ignorance-coverage-ledger.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-self-ignorance-coverage-ledger.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-self-ignorance-coverage-ledger.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-tool-server-pressure-inventory.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-tool-server-pressure-inventory.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-tool-server-pressure-inventory.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-tool-server-pressure-inventory.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-mechanistic-interpretability-circuit-attribution-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mechanistic-interpretability-circuit-attribution-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-mechanistic-interpretability-circuit-attribution-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-mechanistic-interpretability-circuit-attribution-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-spatial-world-model-counterfactual-simulation-replay.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-spatial-world-model-counterfactual-simulation-replay.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-spatial-world-model-counterfactual-simulation-replay.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-spatial-world-model-counterfactual-simulation-replay.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-prediction-oracle-reconciliation.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-prediction-oracle-reconciliation.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-prediction-oracle-reconciliation.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-prediction-oracle-reconciliation.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-provider-context-recipe-budget.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-provider-context-recipe-budget.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-provider-context-recipe-budget.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-provider-context-recipe-budget.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-undeclared-library-prior-classifier.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-undeclared-library-prior-classifier.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-undeclared-library-prior-classifier.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-undeclared-library-prior-classifier.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-voice-to-doctrine-self-improvement-loop.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-voice-to-doctrine-self-improvement-loop.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-voice-to-doctrine-self-improvement-loop.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-voice-to-doctrine-self-improvement-loop.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-routing-anti-patterns-registry.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-routing-anti-patterns-registry.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-routing-anti-patterns-registry.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-routing-anti-patterns-registry.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch8-audio-level-rms-port.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-audio-level-rms-port.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch8-audio-level-rms-port.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-audio-level-rms-port.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch8-compliance-pipeline-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-compliance-pipeline-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch8-compliance-pipeline-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-compliance-pipeline-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch8-policy-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-policy-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch8-policy-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-policy-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch8-structural-theses-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-structural-theses-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch8-structural-theses-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-structural-theses-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch8-tools-tail-primitives-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-tools-tail-primitives-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch8-tools-tail-primitives-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-tools-tail-primitives-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch8-validator-checker-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-validator-checker-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch8-validator-checker-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch8-validator-checker-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch12-market-dashboard-read-model-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch12-market-dashboard-read-model-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch12-market-dashboard-read-model-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch12-market-dashboard-read-model-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch12-prediction-market-board-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch12-prediction-market-board-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch12-prediction-market-board-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch12-prediction-market-board-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch12-release-claim-language-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch12-release-claim-language-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch12-release-claim-language-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch12-release-claim-language-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch10-cold-eval-honesty-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch10-cold-eval-honesty-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch10-cold-eval-honesty-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch10-cold-eval-honesty-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch10-live-source-drift-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch10-live-source-drift-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch10-live-source-drift-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch10-live-source-drift-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch7-macro-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-macro-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch7-macro-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-macro-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch9-macro-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch9-macro-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch9-macro-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch9-macro-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-pattern-assimilation.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-pattern-assimilation.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-pattern-assimilation.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-pattern-assimilation.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch10-governance-compilers-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch10-governance-compilers-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch10-governance-compilers-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch10-governance-compilers-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch11-saturation-engines-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch11-saturation-engines-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch11-saturation-engines-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch11-saturation-engines-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch4-proof-authority-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch4-proof-authority-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch4-proof-authority-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch4-proof-authority-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch6-unsurfaced-primitives-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch6-unsurfaced-primitives-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch6-unsurfaced-primitives-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch6-unsurfaced-primitives-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-public-projection-leak-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-public-projection-leak-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-public-projection-leak-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-public-projection-leak-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch5-authority-systems-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch5-authority-systems-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch5-authority-systems-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch5-authority-systems-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch7-oracle-sibling-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-oracle-sibling-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch7-oracle-sibling-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-oracle-sibling-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch7-demo-take-console-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-demo-take-console-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch7-demo-take-console-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-demo-take-console-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-generated-projection-drift-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-generated-projection-drift-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-generated-projection-drift-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-generated-projection-drift-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-command-run-singleflight.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-command-run-singleflight.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-command-run-singleflight.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-command-run-singleflight.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-metabolism-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-metabolism-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-metabolism-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-metabolism-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-bridge-campaign-dag.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-bridge-campaign-dag.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-bridge-campaign-dag.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-bridge-campaign-dag.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-annex-knowledge-router.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-annex-knowledge-router.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-annex-knowledge-router.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-annex-knowledge-router.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-derived-fact-provider-engine.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-derived-fact-provider-engine.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-derived-fact-provider-engine.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-derived-fact-provider-engine.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-egress-self-compliance-gate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-egress-self-compliance-gate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-egress-self-compliance-gate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-egress-self-compliance-gate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-lean-proof-search-lab.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-lean-proof-search-lab.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-lean-proof-search-lab.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-lean-proof-search-lab.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-engine-room-navigation-fitness-benchmark.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-navigation-fitness-benchmark.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-engine-room-navigation-fitness-benchmark.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-engine-room-navigation-fitness-benchmark.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-cold-clone-probe.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-cold-clone-probe.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-cold-clone-probe.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-cold-clone-probe.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-first-screen-composition-root.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-first-screen-composition-root.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-first-screen-composition-root.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-first-screen-composition-root.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-batch7-secondary-runtime-capsule.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-secondary-runtime-capsule.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-batch7-secondary-runtime-capsule.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-batch7-secondary-runtime-capsule.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-microcosm-axiom-substrate.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-microcosm-axiom-substrate.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-microcosm-axiom-substrate.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-microcosm-axiom-substrate.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-semantic-singleflight-dedup-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-semantic-singleflight-dedup-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-semantic-singleflight-dedup-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-semantic-singleflight-dedup-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-finite-erdos-denominator-certificate-strike.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-finite-erdos-denominator-certificate-strike.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-finite-erdos-denominator-certificate-strike.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-finite-erdos-denominator-certificate-strike.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-bridge-campaign-dag-validation.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-bridge-campaign-dag-validation.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-bridge-campaign-dag-validation.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-bridge-campaign-dag-validation.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-metabolism-queue-reconciliation.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-metabolism-queue-reconciliation.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-metabolism-queue-reconciliation.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-metabolism-queue-reconciliation.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-derived-fact-provider-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-derived-fact-provider-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-derived-fact-provider-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-derived-fact-provider-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-navigation-fitness-benchmark.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-navigation-fitness-benchmark.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-navigation-fitness-benchmark.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-navigation-fitness-benchmark.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-annex-knowledge-routing.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-annex-knowledge-routing.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-annex-knowledge-routing.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-annex-knowledge-routing.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-egress-self-compliance-audit.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-egress-self-compliance-audit.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-egress-self-compliance-audit.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-egress-self-compliance-audit.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-generated-projection-drift-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-generated-projection-drift-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-generated-projection-drift-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-generated-projection-drift-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/paper-module-lean-proof-search-lab-runtime.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-lean-proof-search-lab-runtime.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/paper-module-lean-proof-search-lab-runtime.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/paper-module-lean-proof-search-lab-runtime.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/evidence.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/evidence.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/evidence.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/evidence.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/glossary.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/glossary.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/glossary.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/glossary.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/lineage.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/lineage.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/lineage.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/lineage.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/updates.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/updates.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/updates.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/updates.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/source.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/source.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/source.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/source.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/contact.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/contact.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/contact.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/contact.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/vulnerability-disclosure.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/vulnerability-disclosure.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/vulnerability-disclosure.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/vulnerability-disclosure.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "docs/credit-ledger.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/docs/credit-ledger.html",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible transition notice with noindex, canonical link, automatic HTML forwarding, and ordinary link fallback",
      "legacy_path": "docs/credit-ledger.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/docs/credit-ledger.html",
      "mode": "html_redirect",
      "query_fragment_policy": "GitHub Pages static HTML cannot server-preserve query strings or fragments; the visible fallback names the canonical route."
    },
    {
      "canonical_path": "content-graph.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/content-graph.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "content-graph.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/content-graph.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "content-manifest.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/content-manifest.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "content-manifest.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/content-manifest.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "object-map.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/object-map.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "object-map.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/object-map.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "plectis-site-map.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/plectis-site-map.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "microcosm-site-map.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/microcosm-site-map.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "plectis-ai-reader-digest.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/plectis-ai-reader-digest.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "microcosm-ai-reader-digest.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/microcosm-ai-reader-digest.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "plectis-ai-reader-complete.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/plectis-ai-reader-complete.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "microcosm-ai-reader-complete.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/microcosm-ai-reader-complete.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "plectis-ai-review-packet.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/plectis-ai-review-packet.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "microcosm-ai-review-packet.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/microcosm-ai-review-packet.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "plectis-public-reader-assurance.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/plectis-public-reader-assurance.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return current public JSON bytes under the old URL; never return HTML for this machine-readable object",
      "legacy_path": "microcosm-public-reader-assurance.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/microcosm-public-reader-assurance.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses the emitted legacy file as JSON",
      "semantic_equivalence": "current_public_packet_schema_preserved"
    },
    {
      "canonical_path": "assets/search-index.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/search-index.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/search-index.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/search-index.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/term-previews.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/term-previews.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/term-previews.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/term-previews.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/site-packet.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/site-packet.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/site-packet.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/site-packet.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/object-map.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/object-map.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/object-map.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/object-map.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/ai-orientation-packet.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/ai-orientation-packet.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/ai-orientation-packet.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/ai-orientation-packet.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/ai-reader-digest-packet.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/ai-reader-digest-packet.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/ai-reader-digest-packet.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/ai-reader-digest-packet.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/ai-review-packet.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/ai-review-packet.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/ai-review-packet.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/ai-review-packet.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/public-reader-assurance-packet.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/public-reader-assurance-packet.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/public-reader-assurance-packet.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/public-reader-assurance-packet.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "updates.xml",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/updates.xml",
      "content_type": "application/atom+xml; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "updates.xml",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/updates.xml",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/style.css",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/style.css",
      "content_type": "text/css; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/style.css",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/style.css",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/theme-init.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/theme-init.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/theme-init.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/theme-init.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/fragment-open.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/fragment-open.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/fragment-open.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/fragment-open.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/docs.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/docs.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/docs.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/docs.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/art.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/art.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/art.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/art.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "assets/landing.js",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/assets/landing.js",
      "content_type": "application/javascript; charset=utf-8",
      "expected_behavior": "return the same-origin public asset under the old URL without content-type corruption",
      "legacy_path": "assets/landing.js",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/assets/landing.js",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility verifies the emitted alias exists",
      "semantic_equivalence": "asset_transport_alias"
    },
    {
      "canonical_path": "legacy-route-manifest.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/legacy-route-manifest.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return the compatibility route manifest as JSON",
      "legacy_path": "legacy-route-manifest.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/legacy-route-manifest.json",
      "mode": "byte_compatible_alias",
      "proof": "validate_legacy_compatibility parses this manifest before route checks",
      "semantic_equivalence": "same_route_manifest"
    },
    {
      "canonical_path": "projection-status.json",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/projection-status.json",
      "content_type": "application/json; charset=utf-8",
      "expected_behavior": "return a legacy-specific JSON status object that points at the canonical projection-status route and this manifest",
      "legacy_path": "projection-status.json",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/projection-status.json",
      "mode": "legacy_projection_status",
      "proof": "validate_legacy_compatibility parses the emitted legacy status as JSON",
      "semantic_equivalence": "legacy_status_not_html_redirect"
    },
    {
      "canonical_path": ".well-known/security.txt",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/.well-known/security.txt",
      "content_type": "text/plain; charset=utf-8",
      "expected_behavior": "return a legacy-host security.txt generated with the old host as its canonical security.txt URL",
      "legacy_path": ".well-known/security.txt",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/.well-known/security.txt",
      "mode": "legacy_security_txt",
      "proof": "host verifier fetches .well-known/security.txt from the legacy host",
      "semantic_equivalence": "legacy_host_security_contact"
    },
    {
      "canonical_path": "security.txt",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/security.txt",
      "content_type": "text/plain; charset=utf-8",
      "expected_behavior": "return a legacy-host security.txt generated with the old host as its canonical security.txt URL",
      "legacy_path": "security.txt",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/security.txt",
      "mode": "legacy_security_txt",
      "proof": "host verifier fetches .well-known/security.txt from the legacy host",
      "semantic_equivalence": "legacy_host_security_contact"
    },
    {
      "canonical_path": "index.html",
      "canonical_url": "https://wcook04.github.io/practical-formal-verification/",
      "content_type": "text/html; charset=utf-8",
      "expected_behavior": "visible not-found explanation with nearest canonical route; remains a 404 response on GitHub Pages",
      "legacy_path": "404.html",
      "legacy_url": "https://wcook04.github.io/practical-formal-verification/404.html",
      "mode": "legacy_404",
      "query_fragment_policy": "not_applicable_for_404_fallback"
    }
  ],
  "schema": "plectis_legacy_route_manifest_v0",
  "source_fingerprint": "89a79dc365b2367a9b2c763205975e03"
}