Skip to content
CHEREngineering workspace
Current solutionEEP-CHER-CONSOLE-001v1.6.0
Experience
Appearance
← Package view← Findings

Proof chain · entry node

EEP-CHER-CONSOLE-001

EEP-CHER-CONSOLE-001 · v1.6.0 · knowledge basis KS-2d4a1d596a27c2e1

Read-mostly. Today the console holds SELECT only, per the grants in 001_packages_and_console.sql and the VAL-CHER-PLANE-001 boundary test.

Holds no authority. It decides nothing, records no approval outcome, and writes nothing to governance, evidence or audit.

proofChainComplete: true - the package's own claim that every mandatory requirement traces to an authority and a validation. It does not claim that every object the package mentions is a node in the graph, and it is not rendered here as the stronger claim.

Declared links, traversed outward from the subject

Each hop is rendered as the package declares it, with its relation type, in traversal order. The chain has no assumed shape: it ends where the links end.

  1. hop 1EEP-CHER-CONSOLE-001-DERIVED_FROM->EEP-CHER-ENGINE-001

    end of chain - no further link leaves this node

Findings entering here (1)

  • SEM-KB-001severity MEDIUMASSURANCE_DEBT

    the envelope binds this package to KS-2d4a1d596a27c2e1 and knowledgeBinding binds it to KS-2026-08-27-0001; a package binds to one immutable snapshot and this one names two

    Subject
    EEP-CHER-CONSOLE-001
    Location
    knowledgeBinding/snapshotId