§02c Jupiter — Non-Language Bridge — Outputs
Mars® Spec › §02c Jupiter — Non-Language Bridge › Outputs
← Interaction-protocol lift to order-typed form · Section index · Externally-observable properties →
10. Outputs
| Output | Description |
|---|---|
| Anchored typed linguistic predicates | Each carries a non-language-provenance anchor (seven structural invariants, §2) and a scope-of-applicability certificate |
| CertifiedBundle | Predicates + scope certificate + tri-state verdict (CERTIFY/REFUSE/REFER) + audit chain pointer + PassRecord set |
| Bounded-analysis record | Issued when the entire analysis question for a lifted artifact is fully irreducible and no grounded verdict is achievable — that is, when no element of the analysis question reaches discrete resolution and no grounded verdict is achievable for any portion of the analysis question. Typed first-class artifact registered in the specification registry, carrying the required field set defined canonically in §02b §3. The issuing system determines full irreducibility by attempting to identify any element that reaches discrete resolution under the declared convergence criterion: if any element resolves, a conformance certificate with narrowed scope is issued for resolved elements, not a bounded-analysis record; the bounded-analysis record is issued only when no element resolves. Consumed by downstream gates as a non-passing result structurally distinct from a non-conforming CertifiedBundle: the downstream verification gate refuses any operation depending on a bounded-analysis record and routes the typed gap referral to the reinforcement mechanism; upon subsequent resolution of the irreducibility a new verification act is initiated and a conformance certificate may be issued, superseding the bounded-analysis record for gate admission while the record remains in the registry as a tamper-evident historical artifact. The record is not a degenerate CertifiedBundle and is not issuable as a substitute for a refused conformance certificate — it is a distinct output class whose issuance condition is full irreducibility of the analysis question. |
| Actuation anchors | For predicates routed to non-linguistic effects; seven structural invariants + deployment cryptographic signature |
| Deployment registry | Typed schema (§6.1) holding one per-mechanism row per refusal (R1–R5), each row carrying mechanism-name, mechanism-kind (from the typed enumeration), enforcement-artifact-signature (§6.2), and bridge-form-applicability; plus the concurrent non-weakening property and versioning rule; architecture-identifier is a content hash over all five mechanism rows in R1–R5 order; subject to the delta-attestation lifecycle (§02b §5) |
| Divergence-rate metrics | NB5 scope-match-equivalence-class metrics, independently recomputable from the audit trail without internal inspection |
| N-hop composed scope-of-applicability certificates | For multi-domain predicate chains; eight declared fields (a)–(h) |
| Delta-attestation objects | Governing lifecycle objects for analysis specifications, interp-gen specifications, actuation-interpretation specifications, cross-domain typed interfaces, named-authority standing declarations; produced per §02b §5 |
| Order-typed protocol models and trace records | For interaction-protocol targets; first-class IR artifacts subject to §02a §5a.1 identity and versioning requirements |
← Interaction-protocol lift to order-typed form · Section index · Externally-observable properties →