OneFineStarstuff.github.io
c83b7b6b - feat(constitutional): GIES v1.0 constitutional governance + Sentinel Governance Index v6.0 + MultiJurisdictionOverride TLC model (19th assurance check)

Commit
88 days ago
feat(constitutional): GIES v1.0 constitutional governance + Sentinel Governance Index v6.0 + MultiJurisdictionOverride TLC model (19th assurance check) Comprehensive constitutional AI governance and supervisory design for Sentinel v2.4 / Omni-Sentinel Mesh v4.0. RUNNABLE (Tier A, all verified — suite 19/19 PASS at this commit): - tla/MultiJurisdictionOverride.tla/.cfg: concurrent supervisory overrides from {EU,US,SG} over NORMAL<RESTRICT<HALT. Four TLC-checked invariants: MultiJurisdictionOverrideConsistency (Lex Severior: posture == most restrictive active override), NoUnilateralWeakening, HaltReleaseAudited (HALT->NORMAL requires unanimous_release in append-only log), LogWellFormed. 2,523 states, 0 errors; mutation-tested (unilateral-release mutant caught immediately — falsifiability proven). - sentinel_governance_index_v6.yaml: SGI v6.0 — 24 constitutional artifacts SGI-01..24, each tagged GIES module (GIMM/GIAF/GEE/META), feasibility tier (21A/1B/1C/1D), invariants carried, verifying suite step. - validate_governance_index.py: 8 falsifiable IDX checks (paths exist, IDs canonical, tier-A completeness, suite-step refs resolve, TLA invariant names actually defined). Caught 2 real defects during construction. - run_runnable_assurance.sh: 18 -> 19 steps; step 19 TLC-checks MJO and gates the SGI validator. RUNNABLE_ASSURANCE.md row 19. CONSTITUTIONAL DOCUMENTS (governance_blueprint/): - GIES_FORMAL_SPECIFICATION.md: GIES v1.0 — GIMM/GIAF/GEE/META modules in constitutional style ([N]/[I] clauses, TLA-analogous invariants, OSCAL reductions), GIES->SDT->PMGF integration diagram, canonical-reduction chain, conformance clause. - SENTINEL_MONOGRAPH_ARCHITECTURE.md: full Preface + Abstract, ten-chapter summary, detailed Ch. 5-8 architecture (telemetry/MoE, GIEN/SIP v3.0, Supervisory Digital Twin, PMGF) with normative/informative split, invariants->actions->evidence->regulation mapping table, Informative Annexes D-G (Glossary, Evidence-Object Catalog, Telemetry-Signal Catalog, WORM schema). - CRYPTO_ANCHORS_OSCAL_CROSSWALKS_2026-06-27.md: CA-01..06 crypto anchors with honest limits, OSCAL control mappings, 30-row regulatory crosswalk (EU AI Act/DORA/NIS2/Basel/GDPR/NIST RMF/ISO 42001), publication-ready layout, ISO/IEC JTC 1/SC 42 + NIST RMF submission packages, cover letter, G-SIFI executive edition, archival next steps. - PHASE_V_VI_SUPERVISORY_DESIGN.md: Pass A operational verification & integration-audit narrative, Phase V runtime guardrail monitor spec (RM-1..4), 8-scenario supervisory stress-test playbook, consolidated filing strategy, Pass B expansion (B-1..6), Phase VI-alpha..delta planetary GIEN federation, SGI v6.0 register, invariant-chain forensic analysis of MultiJurisdictionOverrideConsistency (6 links + residual risks disclosed). CONFLICT RESOLUTION (documented per policy): rebased onto origin/main (post-#139/#143). Main commit 157fb51c had regressed the suite 18->11 steps and deleted the step 12-18 artifacts (oscal generators, bundle packager/verifier, freshness gate, pilot gates), catalog back-matter and the decadal plan. Local changes were kept deliberately: they restore verified working functionality that main lost; remote deletions would have broken 8 passing assurance checks. All other remote changes adopted.
Committer
Parents
Loading