{
  "schema": "SOVRIENT_GOVERNANCE_RECONSTRUCTION_STATE_V1",
  "as_of_date": "2026-04-10",
  "position": "Sovrient is building governance reconstruction infrastructure for machine-mediated systems.",
  "public_claim": "Sovrient helps teams reconstruct, review, and bound machine-supported decisions with replayable evidence artifacts.",
  "ssej_status": {
    "state": "operational_public_invariant",
    "summary": "SSEJ is operationalized on the public surface today through live bounded seismic and maritime lanes.",
    "current_public_domains": [
      "seismic verification",
      "maritime AIS review workflow"
    ],
    "future_compatible_domains": [
      "agent decision traces",
      "unmanned mission review",
      "workflow adjudication",
      "trigger-qualified operational payloads"
    ],
    "future_domain_note": "Future-compatible domains are architectural compatibility statements, not claims of currently published live lanes unless separately declared."
  },
  "managed_agent_roadmap": {
    "state": "planned_architectural_compatibility",
    "summary": "Sovrient may later apply the same governance reconstruction pattern to managed-agent execution lanes.",
    "planned_evidence_pattern_note": "When implemented, a managed-agent lane would be expected to publish artifacts in a form like this.",
    "runtime_example": {
      "name": "Anthropic Claude Managed Agents",
      "status": "beta_runtime",
      "reference_url": "https://platform.claude.com/docs/en/managed-agents/overview",
      "note": "Referenced as an example of a managed runtime for long-running asynchronous agent work."
    },
    "planned_evidence_pattern": [
      "Declared session scope, tool boundary, and input surface before execution.",
      "Replayable Saw, Selected, Excluded, and Justified record over the agent run.",
      "Post-run attestation and review artifact for operator, prime, or audit follow-through."
    ],
    "claim_boundary": [
      "No live public managed-agent decision lane is published today.",
      "No Anthropic integration is claimed as a current shipping Sovrient capability.",
      "Managed-agent compatibility is a roadmap statement, not a current product claim."
    ]
  },
  "formal_theorem_layer": {
    "state": "public_reference_surface",
    "summary": "Sovrient now publishes a bounded public theorem reference surface over a certified ACL2 family, a live Isabelle/HOL pi theorem-twin route, and a repo-internal second prover family for session and briefing invariants.",
    "current_public_surface": {
      "html": "https://www.sovrient.com/theorem-reference",
      "json": "https://www.sovrient.com/theorem-reference.json"
    },
    "live_theorem_twins": [
      {
        "id": "scf_dtau_001_frame",
        "jsonld": "https://www.sovrient.com/theorem-twins/scf_dtau_001_frame.jsonld",
        "sha256": "https://www.sovrient.com/theorem-twins/scf_dtau_001_frame.jsonld.sha256",
        "status": "live_public",
        "alternate_encodings": [
          {
            "encoding_format": "application/cbor",
            "content_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_frame.cbor",
            "sha256_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_frame.cbor.sha256",
            "manifest_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_frame.cbor.manifest.json",
            "profile": "sovrient-cbor-companion-v1",
            "publication_status": "live_public_companion",
            "authority_role": "descriptive_companion_only",
            "not_cbor_ld": true
          }
        ]
      },
      {
        "id": "scf_dtau_001_zf_gate_core",
        "jsonld": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.jsonld",
        "sha256": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.jsonld.sha256",
        "status": "live_public",
        "alternate_encodings": [
          {
            "encoding_format": "application/cbor",
            "content_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.cbor",
            "sha256_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.cbor.sha256",
            "manifest_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.cbor.manifest.json",
            "profile": "sovrient-cbor-companion-v1",
            "publication_status": "live_public_companion",
            "authority_role": "descriptive_companion_only",
            "not_cbor_ld": true
          }
        ]
      },
      {
        "id": "sovrient_isabelle_pi_minimal_period",
        "jsonld": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.jsonld",
        "sha256": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.jsonld.sha256",
        "status": "live_public",
        "alternate_encodings": [
          {
            "encoding_format": "application/cbor",
            "content_url": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.cbor",
            "sha256_url": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.cbor.sha256",
            "manifest_url": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.cbor.manifest.json",
            "profile": "sovrient-cbor-companion-v1",
            "publication_status": "live_public_companion",
            "authority_role": "descriptive_companion_only",
            "not_cbor_ld": true
          }
        ]
      }
    ],
    "first_live_theorem_twin": {
      "id": "scf_dtau_001_zf_gate_core",
      "jsonld": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.jsonld",
      "sha256": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.jsonld.sha256",
      "status": "live_public",
      "alternate_encodings": [
        {
          "encoding_format": "application/cbor",
          "content_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.cbor",
          "sha256_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.cbor.sha256",
          "manifest_url": "https://www.sovrient.com/theorem-twins/scf_dtau_001_zf_gate_core.cbor.manifest.json",
          "profile": "sovrient-cbor-companion-v1",
          "publication_status": "live_public_companion",
          "authority_role": "descriptive_companion_only",
          "not_cbor_ld": true
        }
      ]
    },
    "first_live_isabelle_theorem_twin": {
      "id": "sovrient_isabelle_pi_minimal_period",
      "jsonld": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.jsonld",
      "sha256": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.jsonld.sha256",
      "status": "live_public",
      "alternate_encodings": [
        {
          "encoding_format": "application/cbor",
          "content_url": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.cbor",
          "sha256_url": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.cbor.sha256",
          "manifest_url": "https://www.sovrient.com/theorem-twins/sovrient_isabelle_pi_minimal_period.cbor.manifest.json",
          "profile": "sovrient-cbor-companion-v1",
          "publication_status": "live_public_companion",
          "authority_role": "descriptive_companion_only",
          "not_cbor_ld": true
        }
      ]
    },
    "current_certified_family": [
      "scf_dtau_001_frame",
      "scf_dtau_001_core1",
      "scf_dtau_001_zf_gate_core"
    ],
    "additional_prover_families": [
      {
        "id": "sovrient_isabelle_001",
        "prover": "Isabelle/HOL",
        "prover_version": "Isabelle2025",
        "status": "repo_internal_build_verified",
        "public_route_status": "no_live_public_theorem_twin_routes",
        "current_family": [
          "sovrient_isabelle_session_scope",
          "sovrient_isabelle_participant_authority",
          "sovrient_isabelle_opportunity_brief_safety"
        ]
      }
    ],
    "certified_book_count": 3,
    "exported_theorem_count": 35,
    "note": "Frame and ZF gate theorem twins are live public ACL2 routes today, and the Isabelle/HOL pi minimal period theorem twin is a live public route. Isabelle/HOL session-scope twins remain repo-internal."
  },
  "public_lanes": [
    {
      "lane_id": "seismic_verification",
      "status": "live_public",
      "proof_surface": "/verification",
      "machine_handle": "/machine-state.json",
      "notes": "Deterministic replay, release-state gating, and public proof handles are live."
    },
    {
      "lane_id": "maritime_ais_governance",
      "status": "live_public_bounded_review_workflow",
      "proof_surface": "/maritime-ais",
      "machine_handle": "/data/maritime_ais_lane_seed_latest.json",
      "notes": "Real NOAA-backed local source slice with manifest, bounded release posture, review queue, resolution ledger, and replay dashboard."
    }
  ],
  "internal_operational_lanes": [
    {
      "lane_id": "govcon_watch",
      "status": "operational_internal",
      "notes": "Watch, grants, and pursuit artifacts are live internally."
    },
    {
      "lane_id": "foia_enrichment",
      "status": "operational_internal_worked_example",
      "notes": "Schema, templates, and non-filing stage are operational; current example is not a live filed request."
    },
    {
      "lane_id": "subcontracting_risk",
      "status": "operational_internal_real_anchor",
      "notes": "Real contract anchor and subaward activity exist; public category-gap proof is still pending."
    }
  ],
  "observed_calibration": {
    "included_case_count": 3,
    "hours_avoided_low": 0.95,
    "hours_avoided_base": 1.19,
    "hours_avoided_high": 1.42,
    "interpretation": "Starter observed sample, not a final enterprise benchmark."
  },
  "boundaries": [
    "Sovrient is not a complete autonomy stack.",
    "Sovrient does not claim live global maritime awareness.",
    "Not every internal lane is yet ready for public publication.",
    "Theorem reference surfaces are descriptive; prover-specific formal artifacts remain authoritative.",
    "Raw frame and ZF gate theorem twins are public today; the rest of the family is still repo/internal unless separately declared.",
    "Published surfaces use explicit does-prove and does-not-prove boundaries."
  ],
  "related_public_surfaces": [
    "/",
    "/verification",
    "/service",
    "/maritime-ais",
    "/maritime-ais-dashboard",
    "/governance-reconstruction",
    "/theorem-reference",
    "/theorem-twins/scf_dtau_001_frame.jsonld",
    "/theorem-twins/scf_dtau_001_zf_gate_core.jsonld",
    "/theorem-twins/sovrient_isabelle_pi_minimal_period.jsonld",
    "/glossary"
  ],
  "_provenance": {
    "maintenance_mode": "hand_maintained_in_repo",
    "generator_status": "no_direct_generator_in_scripts_directory",
    "regeneration_policy": "do_not_auto_regenerate_without_explicit_generator_and_no_field_regression_gate",
    "source_of_truth": "web/data/governance_reconstruction_state.json",
    "note": "This surface is currently maintained directly in-repo. If a generator is introduced later, it must ship with an explicit no-field-regression gate before promotion."
  }
}