@aikdna/kdna-core 0.37.0 → 0.37.1-rc.browser.1

package/src/public-contract/protected-browser-contract/types.d.ts

@@ -0,0 +1,389 @@
+// Generated from the single maintained semantic source.
+
+export type AccessMode = "public" | "licensed" | "remote";
+export type Actor = { readonly "id": Identifier; readonly "kind": ActorKind; readonly "name"?: NonEmptyText; };
+export type ActorKind = "person" | "organization" | "collective" | "anonymous" | "asset_native" | "agent";
+export type AdmissionDiagnostic = { readonly "stage": "admission"; readonly "severity": "error"; readonly "reason": AdmissionReason; readonly "field": AdmissionField; };
+export type AdmissionField = "$candidate" | "$unknown" | "request_id" | "tuple" | "budget_bytes" | "mode" | "selection" | "handle" | "tuple.container" | "tuple.payload_profile" | "tuple.payload_version" | "tuple.core" | "tuple.ir" | "tuple.runtime" | "tuple.plan" | "tuple.host" | "tuple.trace" | "tuple.read" | "selection.asset_id" | "selection.asset_version" | "selection.judgment_id" | "handle.handle_id" | "handle.asset_id" | "handle.asset_version" | "handle.A" | "handle.C" | "handle.snapshot_id" | "handle.core_version" | "handle.ir_version" | "handle.read_version" | "handle.target" | "handle.scope" | "handle.issued_at" | "handle.expires_at" | "handle.host_id" | "handle.host_epoch" | "handle.anchor" | "handle.anchor.kind" | "handle.anchor.selection" | "handle.anchor.selection.asset_id" | "handle.anchor.selection.asset_version" | "handle.anchor.selection.judgment_id" | "handle.target.kind" | "handle.target.id" | "handle.target.asset" | "handle.target.asset.asset_id" | "handle.target.asset.asset_version" | "handle.target.asset.judgment_version";
+export type AdmissionNoBodyControl = { readonly "code": "READ_ADMISSION_RESPONSE_TOO_SMALL"; readonly "semantic_cause": "READ_INPUT_INVALID"; readonly "correlation": ReadCorrelation; readonly "body_bytes": 0; };
+export type AdmissionReason = "representation_not_object" | "unknown_field" | "missing_required" | "wrong_type" | "invalid_identifier" | "unsafe_integer" | "out_of_range" | "mode_shape_invalid";
+declare const AdmittedBrowserProtectedRequestBrand: unique symbol;
+export type AdmittedBrowserProtectedRequest = { readonly [AdmittedBrowserProtectedRequestBrand]: true };
+export type AnswerKind = "determination" | "classification" | "evaluation" | "status" | "diagnosis" | "estimate" | "prediction" | "applicability" | "ranking" | "selection" | "adjustment" | "interpretation" | "stance" | "preference" | "guidance" | "composite" | "other";
+export type AnswerPart = { readonly "id": Identifier; readonly "kind": BaseAnswerKind; readonly "output_field": Identifier; readonly "other"?: OtherDefinition; };
+export type AppliesTo = ({ readonly "kind": "asset"; } | { readonly "kind": "judgments"; readonly "judgment_refs": ReadonlyArray<Identifier>; });
+export type Assessment = (AssessmentNotEvaluated | AssessmentReported);
+export type AssessmentKind = "semantic_understanding" | "external_evaluation";
+export type AssessmentNotEvaluated = { readonly "state": "not_evaluated"; readonly "kind": null; readonly "assessor_id": null; readonly "evidence_ref": null; };
+export type AssessmentReported = { readonly "state": "reported"; readonly "kind": AssessmentKind; readonly "assessor_id": Identifier; readonly "evidence_ref": Identifier; };
+export type AssetCapability = "asserted_answers" | "result_forming_rules" | "mixed";
+export type AssetDigests = { readonly "A": DigestA; readonly "C": DigestC; readonly "E": DigestE; };
+export type AssetIdentity = { readonly "asset_id": Identifier; readonly "asset_version": VersionLabel; readonly "judgment_version": VersionLabel; };
+export type AssetType = "domain" | "cluster" | "tool" | "sample" | "fixture" | "bundle";
+export type Attribution = { readonly "role": AttributionRole; readonly "actor_ids": ReadonlyArray<Identifier>; readonly "statement": Text; };
+export type AttributionDeclaration = (AttributionProvided | AttributionUnprovided);
+export type AttributionProvided = { readonly "state": "provided"; readonly "value": ReadonlyArray<Attribution>; };
+export type AttributionRole = "creator" | "rights_holder" | "representative";
+export type AttributionUnprovided = { readonly "state": AuthoredUnprovidedState; readonly "value": null; };
+export type AuthoredCombine = { readonly "kind": "authored"; readonly "merge_node_ref": PlanNodeRef; readonly "input_port": Identifier; readonly "output_port": Identifier; readonly "duplicates": "preserve" | "producer_identity"; readonly "order": "declaration" | "priority"; };
+export type AuthoredDeclarations = { readonly "highest_question": TextDeclarationProvided; readonly "boundaries"?: BoundaryDeclaration; };
+export type AuthoredUnprovidedState = "unknown" | "none" | "not_applicable";
+export type BaseAnswerKind = "determination" | "classification" | "evaluation" | "status" | "diagnosis" | "estimate" | "prediction" | "applicability" | "ranking" | "selection" | "adjustment" | "interpretation" | "stance" | "preference" | "guidance" | "other";
+export type BaseMethodKind = "observation" | "recognition" | "criteria_comparison" | "tradeoff" | "inference" | "elimination" | "causal_analysis" | "calculation" | "simulation" | "evidence_analysis" | "interpretation" | "feedback" | "analogy" | "feeling" | "experience" | "other";
+export type BaseMethodKindRef = { readonly "term": BaseMethodKind; readonly "vocabulary"?: "core"; };
+export type Boolean = boolean;
+export type Boundary = { readonly "id": Identifier; readonly "effect": BoundaryEffect; readonly "statement": NonEmptyText; readonly "declared_by": Identifier; readonly "applies_to": AppliesTo; readonly "exception_refs": ReadonlyArray<Identifier>; };
+export type BoundaryActivation = ({ readonly "kind": "always"; } | { readonly "kind": "exception"; readonly "exception_ref": ExceptionRef; });
+export type BoundaryBody = { readonly "id": Identifier; readonly "effect": BoundaryEffect; readonly "statement": NonEmptyText; readonly "declared_by": Identifier; readonly "applies_to": AppliesTo; readonly "exception_refs": readonly []; };
+export type BoundaryDeclaration = (BoundaryDeclarationProvided | BoundaryDeclarationUnprovided);
+export type BoundaryDeclarationProvided = { readonly "state": "provided"; readonly "value": ReadonlyArray<Boundary>; };
+export type BoundaryDeclarationUnprovided = { readonly "state": AuthoredUnprovidedState; readonly "value": null; };
+export type BoundaryEffect = "exclude" | "limit" | "out_of_domain";
+export type BranchEntry = { readonly "id": Identifier; readonly "when": ConditionRef; readonly "then": EmissionSource; readonly "priority"?: UInt; };
+export type BranchEntryRef = { readonly "kind": "branch_entry"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type BrowserProtectedAdmissionAccepted = { readonly "status": "accepted"; readonly "request": AdmittedBrowserProtectedRequest; readonly "snapshot": BrowserProtectedSnapshot; readonly "operation": BrowserProtectedOperation; readonly "receipt": BrowserProtectedReceipt; readonly "observation": BrowserProtectedObservation; readonly "disclosure": BrowserProtectedAdmissionDisclosure; readonly "physical_reads": "none"; };
+export type BrowserProtectedAdmissionDisclosure = { readonly "slot_selection": { readonly "slotIndex": UInt; readonly "slot": Identifier; readonly "kdf_profile": "scrypt-sha256" | "argon2id"; }; readonly "observation_not_authority": true; readonly "provenance": "host_supplied_triple"; };
+export type BrowserProtectedAdmissionFailed = { readonly "status": "protection_failed"; readonly "diagnostic": BrowserProtectedDiagnostic; readonly "checked_at_ms": null; };
+export type BrowserProtectedAdmissionResult = (BrowserProtectedAdmissionAccepted | BrowserProtectedAdmissionFailed);
+export type BrowserProtectedAuthorityContext = { readonly "request": BrowserProtectedRequest; readonly "request_digest": Digest; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "digests": AssetDigests; readonly "read_intent": BrowserProtectedReadIntent; readonly "read_intent_digest": Digest; readonly "signature_policy": BrowserProtectedSignaturePolicy; readonly "disclosure": BrowserProtectedAdmissionDisclosure; };
+export type BrowserProtectedBinding = { readonly "operation_id": Identifier; readonly "snapshot_id": Identifier; readonly "capture_id": Identifier; readonly "request_id": Identifier; readonly "request_digest": Digest; readonly "source_request_digest": Digest; readonly "read_intent_digest": Digest; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "A": Digest; readonly "C": Digest; readonly "E": Digest; };
+export type BrowserProtectedCallEnvelope = { readonly "channel": "read_envelope"; readonly "envelope": BrowserProtectedEnvelope; readonly "admission_rejection": null; readonly "control": null; readonly "transport_failure": null; };
+export type BrowserProtectedCallResult = (BrowserProtectedCallEnvelope | Call_admission_rejection | Call_no_body_control | Call_transport_failure);
+export type BrowserProtectedCatalogContent = { readonly "catalog": ReadonlyArray<CatalogItem>; readonly "asset_index": ReadonlyArray<IRTargetDescriptor>; };
+export type BrowserProtectedConfirmedDisclosure = { readonly "kind": "trusted_host"; readonly "at_ms": UInt; readonly "external_commit": { readonly "state": "confirmed"; readonly "attempt_id": Identifier; readonly "attempted_at_ms": UInt; readonly "confirmed_at_ms": UInt; }; };
+export type BrowserProtectedDeliveryFailed = { readonly "status": "delivery_failed"; readonly "reason": "host_callback_failed" | "transport_commit_failed"; readonly "disclosure": BrowserProtectedDisclosure; readonly "body": null; readonly "body_bytes": 0; };
+declare const BrowserProtectedDeliveryTokenBrand: unique symbol;
+export type BrowserProtectedDeliveryToken = { readonly [BrowserProtectedDeliveryTokenBrand]: true };
+export type BrowserProtectedDiagnostic = { readonly "code": Identifier; readonly "stage": Identifier; };
+export type BrowserProtectedDisclosure = ({ readonly "kind": "none"; readonly "external_commit": BrowserProtectedExternalCommitNotInvoked; } | { readonly "kind": "trusted_host"; readonly "at_ms": UInt; readonly "external_commit": BrowserProtectedExternalCommit; });
+export type BrowserProtectedEnvelope = (BrowserProtectedEnvelope_whole_asset | BrowserProtectedEnvelope_catalog | BrowserProtectedEnvelope_exact_selection | BrowserProtectedEnvelope_expand | BrowserProtectedRejectedEnvelope);
+export type BrowserProtectedEnvelope_catalog = { readonly "contract": "kdna.protected-browser-read/0.1.0-candidate"; readonly "request_id": Identifier; readonly "status": "catalog_only"; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "snapshot_id": Identifier; readonly "digests": AssetDigests; readonly "content": BrowserProtectedCatalogContent; readonly "states": ReadyStates; readonly "diagnostics": ReadonlyArray<(ReadDiagnostic) & ({ readonly "severity"?: "warning"; })>; readonly "omissions": ReadonlyArray<OmissionRecord>; readonly "assessment": Assessment; readonly "receipt": ReadyReceipt; readonly "budget": ReadBudget; readonly "verification": BrowserProtectedReadProof; readonly "mode": "catalog"; };
+export type BrowserProtectedEnvelope_exact_selection = { readonly "contract": "kdna.protected-browser-read/0.1.0-candidate"; readonly "request_id": Identifier; readonly "status": "ready"; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "snapshot_id": Identifier; readonly "digests": AssetDigests; readonly "content": BrowserProtectedSelectedContent; readonly "states": ReadyStates; readonly "diagnostics": ReadonlyArray<(ReadDiagnostic) & ({ readonly "severity"?: "warning"; })>; readonly "omissions": ReadonlyArray<OmissionRecord>; readonly "assessment": Assessment; readonly "receipt": ReadyReceipt; readonly "budget": ReadBudget; readonly "verification": BrowserProtectedReadProof; readonly "mode": "exact_selection"; };
+export type BrowserProtectedEnvelope_expand = { readonly "contract": "kdna.protected-browser-read/0.1.0-candidate"; readonly "request_id": Identifier; readonly "status": "ready"; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "snapshot_id": Identifier; readonly "digests": AssetDigests; readonly "content": BrowserProtectedExpandedContent; readonly "states": ReadyStates; readonly "diagnostics": ReadonlyArray<(ReadDiagnostic) & ({ readonly "severity"?: "warning"; })>; readonly "omissions": ReadonlyArray<OmissionRecord>; readonly "assessment": Assessment; readonly "receipt": ReadyReceipt; readonly "budget": ReadBudget; readonly "verification": BrowserProtectedReadProof; readonly "mode": "expand"; };
+export type BrowserProtectedEnvelope_whole_asset = { readonly "contract": "kdna.protected-browser-read/0.1.0-candidate"; readonly "request_id": Identifier; readonly "status": "ready"; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "snapshot_id": Identifier; readonly "digests": AssetDigests; readonly "content": BrowserProtectedWholeContent; readonly "states": ReadyStates; readonly "diagnostics": ReadonlyArray<(ReadDiagnostic) & ({ readonly "severity"?: "warning"; })>; readonly "omissions": ReadonlyArray<OmissionRecord>; readonly "assessment": Assessment; readonly "receipt": ReadyReceipt; readonly "budget": ReadBudget; readonly "verification": BrowserProtectedReadProof; readonly "mode": "whole_asset"; };
+export type BrowserProtectedExpandedContent = { readonly "declarations": ReadonlyArray<IRReadNode>; readonly "catalog": ReadonlyArray<CatalogItem>; readonly "selected": (BrowserProtectedSelection | null); readonly "closure": ReadonlyArray<IRReadNode>; readonly "references": ReadonlyArray<IRReference>; readonly "relationships": ReadonlyArray<IRRelationship>; readonly "missing": ReadonlyArray<Missing>; readonly "provenance": Provenance; readonly "expansion_handles": readonly []; readonly "asset_capability": AssetCapability; readonly "asset_index": ReadonlyArray<TargetDescriptor>; };
+export type BrowserProtectedExpansionHandle = (BrowserProtectedWholeHandle | BrowserProtectedSetHandle);
+export type BrowserProtectedExternalCommit = (BrowserProtectedExternalCommitNotInvoked | BrowserProtectedExternalCommitUnknown | BrowserProtectedExternalCommitConfirmed);
+export type BrowserProtectedExternalCommitConfirmed = { readonly "state": "confirmed"; readonly "attempt_id": Identifier; readonly "attempted_at_ms": UInt; readonly "confirmed_at_ms": (UInt | null); };
+export type BrowserProtectedExternalCommitNotInvoked = { readonly "state": "not_invoked"; };
+export type BrowserProtectedExternalCommitUnknown = { readonly "state": "outcome_unknown"; readonly "attempt_id": Identifier; readonly "attempted_at_ms": UInt; };
+export type BrowserProtectedHostContext = { readonly "request": BrowserProtectedRequest; readonly "binding": BrowserProtectedBinding; readonly "projection_scope": ReadonlyArray<Identifier>; readonly "issued_handle_scopes": ReadonlyArray<BrowserProtectedExpansionHandle>; readonly "protection_receipt": BrowserProtectedReceipt; };
+export type BrowserProtectedHostObservation = { readonly "host_id": Identifier; readonly "host_epoch": Identifier; readonly "decision_id": Identifier; readonly "request_id": Identifier; readonly "snapshot_id": Identifier; readonly "A": Digest; readonly "C": Digest; readonly "scope": ReadonlyArray<Identifier>; readonly "issued_at": UInt; readonly "expires_at": UInt; readonly "decision": "allow" | "deny"; readonly "policy_id": Identifier; readonly "operation_id": Identifier; readonly "capture_id": Identifier; readonly "request_digest": Digest; readonly "read_intent_digest": Digest; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "E": Digest; readonly "current_ms": UInt; readonly "revoked"?: boolean; readonly "lift_denial"?: boolean; };
+export type BrowserProtectedIntegrity = { readonly "checksums": "absent" | "verified_document_1"; readonly "signature": "absent" | "verified_self_key" | "verified_pinned_key"; readonly "signature_content_digest": (Digest | null); readonly "public_key": (string | null); };
+export type BrowserProtectedObservation = { readonly "snapshot_id": Identifier; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "A": Digest; readonly "C": Digest; readonly "E": Digest; readonly "ir_digest": Digest; readonly "integrity": BrowserProtectedIntegrity; readonly "unlock_observation": BrowserProtectedUnlockObservation; readonly "disclosure": BrowserProtectedAdmissionDisclosure; readonly "physical_reads": "none"; readonly "new_decryption": false; };
+declare const BrowserProtectedOperationBrand: unique symbol;
+export type BrowserProtectedOperation = { readonly [BrowserProtectedOperationBrand]: true };
+declare const BrowserProtectedReadAuthorityBrand: unique symbol;
+export type BrowserProtectedReadAuthority = { readonly [BrowserProtectedReadAuthorityBrand]: true };
+export type BrowserProtectedReadFailed = { readonly "status": "protection_failed"; readonly "diagnostic": BrowserProtectedDiagnostic; readonly "disclosure": BrowserProtectedDisclosure; readonly "body": null; readonly "body_bytes": 0; };
+export type BrowserProtectedReadIntent = { readonly "operation": "admit_retained_protected_snapshot" | "read_protected_projection" | "expand_protected_projection" | "projection" | "host_observation" | "host_handoff" | "read_return" | "transport_commit"; readonly "operation_id": Identifier; readonly "capture_id": Identifier; readonly "snapshot_id": Identifier; readonly "request_digest": Digest; readonly "mode": "whole_asset" | "catalog" | "exact_selection" | "expand"; readonly "physical_reads": "none"; readonly "provenance": "host_supplied_triple"; readonly "new_decryption": false; readonly "new_domain_validation": false; readonly "new_signature_verification": false; };
+export type BrowserProtectedReadProof = { readonly "mode": "whole_asset" | "catalog" | "exact_selection" | "expand"; readonly "integrity_and_semantics": BrowserProtectedObservation; readonly "operation_receipt": BrowserProtectedReceipt; readonly "disclosure": BrowserProtectedAdmissionDisclosure; readonly "projection_basis": "original_registry_order_and_required_context"; readonly "cost_model": "retained_host_supplied_plaintext_projection"; readonly "authority_boundary": "current_browser_authority_plus_independent_host_scope"; readonly "binding": BrowserProtectedBinding; readonly "observation_phase": "projection_before_host_delivery"; readonly "physical_reads": "none"; readonly "new_decryption": false; };
+export type BrowserProtectedReadRequestFailed = { readonly "status": "request_failed"; readonly "result": (BrowserProtectedRequestRejectedCall | Call_admission_rejection | Call_no_body_control | Call_transport_failure); };
+export type BrowserProtectedReadResult = (BrowserProtectedReadReturned | BrowserProtectedReadFailed | BrowserProtectedDeliveryFailed | BrowserProtectedReadRequestFailed);
+export type BrowserProtectedReadReturned = { readonly "status": "read_result"; readonly "result": BrowserProtectedCallResult; readonly "receipt": BrowserProtectedReceipt; readonly "disclosure": BrowserProtectedDisclosure; };
+export type BrowserProtectedReceipt = { readonly "contract": "kdna.protected-browser-observation/0.1.0-candidate"; readonly "operation_id": Identifier; readonly "snapshot_id": Identifier; readonly "A": Digest; readonly "C": Digest; readonly "E": Digest; readonly "checked_at_ms": UInt; readonly "proof": "observation_not_authority"; readonly "provenance": "host_supplied_triple"; };
+export type BrowserProtectedRejectedEnvelope = { readonly "contract": "kdna.protected-browser-read/0.1.0-candidate"; readonly "request_id": Identifier; readonly "status": "rejected"; readonly "tuple": (VersionTuple | null); readonly "asset": null; readonly "snapshot_id": null; readonly "digests": null; readonly "content": null; readonly "states": ResponsibilityStates; readonly "diagnostics": ReadonlyArray<ReadDiagnostic>; readonly "omissions": readonly []; readonly "assessment": Assessment; readonly "receipt": RejectedReceipt; readonly "budget": ReadBudget; };
+export type BrowserProtectedRequest = (BrowserProtectedRequest_whole_asset | BrowserProtectedRequest_catalog | BrowserProtectedRequest_exact_selection | BrowserProtectedRequest_expand);
+export type BrowserProtectedRequestAdmission = (BrowserProtectedRequestAdmitted | Call_admission_rejection | Call_no_body_control | Call_transport_failure | BrowserProtectedRequestRejectedCall);
+export type BrowserProtectedRequestAdmitted = { readonly "channel": "admitted_request"; readonly "request": AdmittedBrowserProtectedRequest; };
+export type BrowserProtectedRequestRejectedCall = { readonly "channel": "read_envelope"; readonly "envelope": BrowserProtectedRejectedEnvelope; readonly "admission_rejection": null; readonly "control": null; readonly "transport_failure": null; };
+export type BrowserProtectedRequest_catalog = { readonly "request_id": Identifier; readonly "tuple": VersionTuple; readonly "budget_bytes": UInt; readonly "mode": "catalog"; readonly "selection": null; readonly "handle": null; };
+export type BrowserProtectedRequest_exact_selection = { readonly "request_id": Identifier; readonly "tuple": VersionTuple; readonly "budget_bytes": UInt; readonly "mode": "exact_selection"; readonly "selection": BrowserProtectedSelection; readonly "handle": null; };
+export type BrowserProtectedRequest_expand = { readonly "request_id": Identifier; readonly "tuple": VersionTuple; readonly "budget_bytes": UInt; readonly "mode": "expand"; readonly "selection": (BrowserProtectedSelection | null); readonly "handle": BrowserProtectedExpansionHandle; };
+export type BrowserProtectedRequest_whole_asset = { readonly "request_id": Identifier; readonly "tuple": VersionTuple; readonly "budget_bytes": UInt; readonly "mode": "whole_asset"; readonly "selection": null; readonly "handle": null; };
+export type BrowserProtectedSelectedContent = { readonly "declarations": ReadonlyArray<IRReadNode>; readonly "catalog": ReadonlyArray<CatalogItem>; readonly "selected": BrowserProtectedSelection; readonly "closure": ReadonlyArray<IRReadNode>; readonly "references": ReadonlyArray<IRReference>; readonly "relationships": ReadonlyArray<IRRelationship>; readonly "missing": ReadonlyArray<Missing>; readonly "provenance": Provenance; readonly "expansion_handles": ReadonlyArray<BrowserProtectedSetHandle>; readonly "asset_capability": AssetCapability; readonly "asset_index": ReadonlyArray<TargetDescriptor>; };
+export type BrowserProtectedSelection = { readonly "asset_id": Identifier; readonly "asset_version": VersionLabel; readonly "judgment_ids": ReadonlyArray<Identifier>; };
+export type BrowserProtectedSetHandle = { readonly "handle_id": Identifier; readonly "asset_id": Identifier; readonly "asset_version": VersionLabel; readonly "A": Digest; readonly "C": Digest; readonly "snapshot_id": Identifier; readonly "core_version": Identifier; readonly "ir_version": Identifier; readonly "read_version": Identifier; readonly "target": Ref; readonly "scope": ReadonlyArray<Identifier>; readonly "issued_at": UInt; readonly "expires_at": UInt; readonly "host_id": Identifier; readonly "host_epoch": Identifier; readonly "anchor": { readonly "kind": "selection_set"; readonly "selection": BrowserProtectedSelection; }; readonly "binding_kind": "protected_selection_set"; readonly "operation_id": Identifier; readonly "capture_id": Identifier; };
+export type BrowserProtectedSignaturePolicy = { readonly "requireSignature": boolean; readonly "expectedPublicKeyHex": (string | null); };
+declare const BrowserProtectedSnapshotBrand: unique symbol;
+export type BrowserProtectedSnapshot = { readonly [BrowserProtectedSnapshotBrand]: true };
+export type BrowserProtectedSnapshotData = { readonly "snapshot_id": Identifier; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "digests": AssetDigests; readonly "ir": CanonicalIR; readonly "ir_digest": Digest; readonly "runtime_entry_names": ReadonlyArray<EntryName>; readonly "expansion_targets": ReadonlyArray<ExpansionTarget>; readonly "observation": BrowserProtectedObservation; };
+export type BrowserProtectedTransportCommitResult = (BrowserProtectedTransportCommitted | BrowserProtectedReadFailed | BrowserProtectedDeliveryFailed);
+export type BrowserProtectedTransportCommitted = { readonly "status": "committed"; readonly "operation_id": Identifier; readonly "committed_at_ms": UInt; readonly "disclosure": BrowserProtectedConfirmedDisclosure; };
+export type BrowserProtectedUnlockObservation = { readonly "kind": "consumer_unlock_observation"; readonly "proof": "observation_not_authority"; readonly "checked_at_ms": UInt; readonly "selection": { readonly "slotIndex": UInt; readonly "slot": Identifier; readonly "kdf_profile": "scrypt-sha256" | "argon2id"; }; };
+export type BrowserProtectedWholeContent = { readonly "declarations": ReadonlyArray<IRReadNode>; readonly "catalog": ReadonlyArray<CatalogItem>; readonly "selected": null; readonly "closure": ReadonlyArray<IRReadNode>; readonly "references": ReadonlyArray<IRReference>; readonly "relationships": ReadonlyArray<IRRelationship>; readonly "missing": ReadonlyArray<Missing>; readonly "provenance": Provenance; readonly "expansion_handles": ReadonlyArray<ExpansionHandle>; readonly "asset_capability": AssetCapability; readonly "asset_index": ReadonlyArray<TargetDescriptor>; };
+export type BrowserProtectedWholeHandle = { readonly "handle_id": Identifier; readonly "asset_id": Identifier; readonly "asset_version": VersionLabel; readonly "A": Digest; readonly "C": Digest; readonly "snapshot_id": Identifier; readonly "core_version": Identifier; readonly "ir_version": Identifier; readonly "read_version": Identifier; readonly "target": Ref; readonly "scope": ReadonlyArray<Identifier>; readonly "issued_at": UInt; readonly "expires_at": UInt; readonly "host_id": Identifier; readonly "host_epoch": Identifier; readonly "anchor": { readonly "kind": "asset"; }; };
+export type Call_admission_rejection = { readonly "channel": "admission_rejection"; readonly "envelope": null; readonly "admission_rejection": ReadAdmissionRejection; readonly "control": null; readonly "transport_failure": null; };
+export type Call_no_body_control = { readonly "channel": "no_body_control"; readonly "envelope": null; readonly "admission_rejection": null; readonly "control": ReadNoBodyControl; readonly "transport_failure": null; };
+export type Call_transport_failure = { readonly "channel": "transport_failure"; readonly "envelope": null; readonly "admission_rejection": null; readonly "control": null; readonly "transport_failure": ReadTransportFailure; };
+export type CandidateIndexItem = { readonly "key": ComponentItemKey; readonly "title": NonEmptyText; };
+export type CandidateRef = { readonly "kind": "candidate"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type CandidateSetBody = { readonly "kind": "candidate-set"; readonly "items": ReadonlyArray<ComponentItem>; };
+export type CandidateSetContent = { readonly "items": ReadonlyArray<ComponentItem>; };
+export type CanonicalIR = { readonly "contract": "kdna.canonical-ir/0.6.1"; readonly "tuple": VersionTuple; readonly "asset": AssetIdentity; readonly "nodes": ReadonlyArray<IRReadNode>; readonly "catalog": ReadonlyArray<CatalogItem>; readonly "references": ReadonlyArray<IRReference>; readonly "relationships": ReadonlyArray<IRRelationship>; readonly "mandatory_closures": ReadonlyArray<MandatoryClosure>; readonly "expansion_targets": ReadonlyArray<ExpansionTarget>; readonly "asset_index": ReadonlyArray<IRTargetDescriptor>; readonly "asset_closure": ReadonlyArray<Identifier>; readonly "unresolved_external": ReadonlyArray<UnresolvedExternalReference>; };
+export type CatalogItem = { readonly "judgment_id": Identifier; readonly "node_ref": Identifier; readonly "parent_ref": (Identifier | null); readonly "focus": NonEmptyText; readonly "lifecycle"?: JudgmentLifecycle; };
+export type Cohesion = { readonly "purpose": NonEmptyText; readonly "governance": NonEmptyText; readonly "subject_relationship": NonEmptyText; readonly "projection_closure": NonEmptyText; readonly "rights_compatibility": NonEmptyText; };
+export type CollectCombine = { readonly "kind": "collect"; readonly "item_contract_ref": ContractRef; readonly "duplicates": "preserve" | "producer_identity"; readonly "order": "declaration" | "priority"; };
+export type Compared = { readonly "state": ComparedState; readonly "expected": Digest; readonly "expected_source": ExpectedSource; };
+export type ComparedState = "matched" | "mismatched";
+export type Comparison = (NoComparison | Compared);
+export type ComponentBody = (TaxonomyBody | CandidateSetBody | DiscriminatorBody);
+export type ComponentBroaderEdge = { readonly "narrowerKey": ComponentItemKey; readonly "broaderKey": ComponentItemKey; };
+export type ComponentContent = (TaxonomyContent | CandidateSetContent | DiscriminatorContent);
+export type ComponentContentRef = { readonly "kind": "result" | "material" | "shared_declaration" | "reason" | "component"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ComponentContrast = { readonly "candidateKey": ComponentItemKey; readonly "criterion": NonEmptyText; };
+export type ComponentDiscriminator = { readonly "key": ComponentItemKey; readonly "title": NonEmptyText; readonly "prompt": NonEmptyText; readonly "contrasts": ReadonlyArray<ComponentContrast>; };
+export type ComponentInterpretation = (ComponentInterpretationSupported | ComponentInterpretationUndeclared);
+export type ComponentInterpretationSupported = { readonly "judgment_ref": Identifier; readonly "component_ref": Identifier; readonly "component_type": Identifier; readonly "definition_digest": Digest; readonly "declaration_digest": Digest; readonly "content_digest": Digest; readonly "profile_id": Identifier; readonly "component_declaration_digest": Digest; readonly "statement_origin": ComponentStatementOrigin; readonly "bindings_digest": Digest; readonly "adoption_proposal_digest": Digest; readonly "authored_content": ComponentContent; readonly "body": ComponentBody; readonly "status": "supported"; };
+export type ComponentInterpretationUndeclared = { readonly "judgment_ref": Identifier; readonly "component_ref": Identifier; readonly "component_type": null; readonly "definition_digest": Digest; readonly "declaration_digest": null; readonly "content_digest": null; readonly "profile_id": null; readonly "component_declaration_digest": null; readonly "statement_origin": null; readonly "bindings_digest": null; readonly "adoption_proposal_digest": null; readonly "authored_content": null; readonly "body": null; readonly "status": "undeclared"; };
+export type ComponentItem = { readonly "key": ComponentItemKey; readonly "title": NonEmptyText; readonly "meaning": NonEmptyText; };
+export type ComponentItemKey = string;
+export type ComponentStatementOrigin = "authored";
+export type Condition = (InterpretedCondition | StructuredCondition | EvaluatorCondition);
+export type ConditionDefinition = { readonly "id": Identifier; readonly "owner_ref": ConditionOwnerRef; readonly "expression": Condition; };
+export type ConditionOperand = (DependencyOperand | LiteralOperand);
+export type ConditionOwnerRef = { readonly "kind": "asset" | "judgment" | "policy" | "exception"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ConditionRef = { readonly "kind": "condition"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ConditionalCandidate = { readonly "id": Identifier; readonly "contract_ref": ContractRef; readonly "value": SemanticValue; };
+export type ConditionalPolicy = { readonly "id": Identifier; readonly "result_contract_ref": ContractRef; readonly "candidates": ReadonlyArray<ConditionalCandidate>; readonly "entries": ReadonlyArray<BranchEntry>; readonly "match": "first_match" | "all_matches"; readonly "combine"?: PolicyCombine; readonly "exclusive_sets": ReadonlyArray<ReadonlyArray<Producer>>; readonly "on_no_match": PolicyTerminal; readonly "on_conflict": PolicyDisposition; readonly "on_undetermined": PolicyUndetermined; };
+export type ConfirmationState = "not_evaluated" | "claimed_unverified" | "verified" | "rejected";
+export type ContentUse = { readonly "target": ContentUseTargetRef; readonly "role": "adopt" | "discuss" | "oppose"; readonly "statement": NonEmptyText; };
+export type ContentUseTargetRef = { readonly "kind": "material" | "shared_declaration"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ContractRef = { readonly "kind": "contract"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ControlBudget = { readonly "limit_bytes": UInt; readonly "actual_bytes": FixedByteCount; };
+export type CoreExpression = ({ readonly "kind": "result_text"; } | { readonly "kind": "authored"; readonly "statement": NonEmptyText; readonly "qualification_refs": ReadonlyArray<QualificationRef>; });
+export type Creator = { readonly "id"?: Identifier; readonly "name": NonEmptyText; readonly "kind": ActorKind; };
+export type Dependency = { readonly "id": Identifier; readonly "producer": (JudgmentProducer | SourceProducer); readonly "consumer_judgment_ref": Identifier; readonly "input_role": Identifier; readonly "data_type": TermRef; readonly "required": Boolean; readonly "purpose": NonEmptyText; readonly "producer_port"?: Identifier; readonly "consumer_port": Identifier; };
+export type DependencyOperand = { readonly "kind": "dependency"; readonly "dependency_ref": Identifier; };
+export type Digest = string;
+export type DigestA = { readonly "basis": "container_bytes"; readonly "profile": "kdna.digest-basis.container-bytes"; readonly "profile_version": "0.2.0"; readonly "algorithm": "SHA-256"; readonly "observed": Digest; readonly "comparison": Comparison; };
+export type DigestC = { readonly "basis": "content_tree"; readonly "profile": "kdna.digest-basis.content-tree"; readonly "profile_version": "0.2.0"; readonly "algorithm": "SHA-256"; readonly "observed": Digest; readonly "comparison": Comparison; };
+export type DigestE = { readonly "basis": "runtime_entry_set"; readonly "profile": "kdna.digest-basis.runtime-entry-set"; readonly "profile_version": "0.2.0"; readonly "algorithm": "SHA-256"; readonly "observed": Digest; readonly "comparison": Comparison; };
+export type DiscriminatorBody = { readonly "kind": "discriminator-set"; readonly "candidateSetRef": Identifier; readonly "candidateIndex": ReadonlyArray<CandidateIndexItem>; readonly "items": ReadonlyArray<ComponentDiscriminator>; };
+export type DiscriminatorContent = { readonly "candidateSetRef": Identifier; readonly "items": ReadonlyArray<ComponentDiscriminator>; };
+export type Emission = { readonly "producer": Producer; readonly "entry_refs": ReadonlyArray<BranchEntryRef>; readonly "value": SemanticValue; };
+export type EmissionListContract = { readonly "id": Identifier; readonly "kind": "emission_list"; readonly "policy_ref": PolicyRef; };
+export type EmissionSource = ({ readonly "kind": "candidate"; readonly "candidate_ref": CandidateRef; } | { readonly "kind": "output"; readonly "from": Endpoint; readonly "contract_ref": ContractRef; });
+export type EncryptionDescriptor = { readonly "profile": Identifier; readonly "profile_version": VersionLabel; readonly "encrypted_entries": ReadonlyArray<"payload.kdnab">; };
+export type Endpoint = { readonly "node_ref": PlanNodeRef; readonly "port": Identifier; readonly "field_path": ReadonlyArray<Identifier>; };
+export type EntryName = string;
+export type EnvelopeNoBodyControl = { readonly "code": "READ_RESPONSE_BUDGET_TOO_SMALL"; readonly "semantic_cause": (ReadDiagnosticCode | null); readonly "correlation": ReadCorrelation; readonly "body_bytes": 0; };
+export type EvaluatorCondition = { readonly "kind": "external_evaluator"; readonly "declaration": StructuredCondition; readonly "evaluator": TermRef; };
+export type Example = { readonly "id": Identifier; readonly "title": NonEmptyText; readonly "kind": "illustrative" | "observed"; readonly "context": NonEmptyText; readonly "input_refs": ReadonlyArray<Ref>; readonly "adopted_judgments": ReadonlyArray<QualifiedJudgmentRef>; readonly "application": NonEmptyText; readonly "results": ReadonlyArray<ExampleResult>; readonly "source_refs"?: ReadonlyArray<SourceRefTarget>; readonly "material_refs"?: ReadonlyArray<MaterialRef>; };
+export type ExampleDispositionResult = { readonly "id": Identifier; readonly "kind": "disposition"; readonly "statement": NonEmptyText; };
+export type ExamplePartialResult = { readonly "id": Identifier; readonly "kind": "partial"; readonly "observation_kind": "expected" | "observed"; readonly "outcome": PolicyPartialOutcome; };
+export type ExampleResult = (ExampleValueResult | ExampleDispositionResult | ExamplePartialResult);
+export type ExampleResultRef = { readonly "kind": "example_result"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ExampleValueResult = { readonly "id": Identifier; readonly "kind": "expected" | "observed"; readonly "value": SemanticValue; readonly "contract_ref": ContractRef; readonly "comparison_ref"?: ExampleResultRef; };
+export type Exception = { readonly "id": Identifier; readonly "statement": NonEmptyText; readonly "boundary_ref": Identifier; readonly "applies_to": AppliesTo; readonly "when": ConditionRef; readonly "effect": ExceptionEffect; };
+export type ExceptionDeclaration = (ExceptionDeclarationProvided | ExceptionDeclarationUnprovided);
+export type ExceptionDeclarationProvided = { readonly "state": "provided"; readonly "value": ReadonlyArray<Exception>; };
+export type ExceptionDeclarationUnprovided = { readonly "state": AuthoredUnprovidedState; readonly "value": null; };
+export type ExceptionEffect = ({ readonly "kind": "waive"; } | { readonly "kind": "replace_limit"; readonly "replacement": BoundaryBody; });
+export type ExceptionRef = { readonly "kind": "exception"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ExpansionAnchor = ({ readonly "kind": "asset"; } | { readonly "kind": "judgment"; readonly "selection": Selection; });
+export type ExpansionHandle = { readonly "handle_id": Identifier; readonly "asset_id": Identifier; readonly "asset_version": VersionLabel; readonly "A": Digest; readonly "C": Digest; readonly "snapshot_id": Identifier; readonly "core_version": Identifier; readonly "ir_version": Identifier; readonly "read_version": Identifier; readonly "target": Ref; readonly "scope": ReadonlyArray<Identifier>; readonly "issued_at": UInt; readonly "expires_at": UInt; readonly "host_id": Identifier; readonly "host_epoch": Identifier; readonly "anchor": ExpansionAnchor; };
+export type ExpansionTarget = { readonly "anchor": ExpansionAnchor; readonly "target": Ref; readonly "scope": ReadonlyArray<Identifier>; };
+export type ExpectedSource = { readonly "kind": ExpectedSourceKind; readonly "source_id": Identifier; };
+export type ExpectedSourceKind = "caller" | "manifest_declaration" | "checksums_declaration" | "trusted_receipt" | "host_observation";
+export type Extension = { readonly "id": Identifier; readonly "critical": Boolean; readonly "definition": NonEmptyText; readonly "value": SemanticValue; };
+export type FeedbackUpdate = { readonly "from": Endpoint; readonly "state_slot": Identifier; readonly "next_input": Endpoint; };
+export type FiniteNumber = number;
+export type FixedByteCount = string;
+export type FlowLink = { readonly "from": Endpoint; readonly "to": Endpoint; };
+export type FormationRule = { readonly "statement": NonEmptyText; readonly "output_contract_ref": Identifier; readonly "condition_refs": ReadonlyArray<ConditionRef>; readonly "policy"?: ConditionalPolicy; };
+export type IRAuthoredDeclarationsOverview = { readonly "highest_question": TextDeclarationProvided; readonly "boundaries"?: IRBoundaryDeclarationOverview; };
+export type IRBoundaryDeclarationOverview = { readonly "state": "provided" | "unknown" | "none" | "not_applicable"; };
+export type IRHistoryOverview = { readonly "coverage": "complete" | "partial"; readonly "statement": NonEmptyText; };
+export type IRNode_actor = { readonly "id": Identifier; readonly "role": "actor"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Actor; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_asset_declaration = { readonly "id": Identifier; readonly "role": "asset_declaration"; readonly "owner_judgment_id": (Identifier | null); readonly "value": PublicAssetDeclaration; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_attribution = { readonly "id": Identifier; readonly "role": "attribution"; readonly "owner_judgment_id": (Identifier | null); readonly "value": AttributionDeclaration; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_boundary = { readonly "id": Identifier; readonly "role": "boundary"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Boundary; readonly "target": Ref; readonly "owner": Ref; readonly "activation": BoundaryActivation; };
+export type IRNode_branch = { readonly "id": Identifier; readonly "role": "branch"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": BranchEntry; };
+export type IRNode_candidate = { readonly "id": Identifier; readonly "role": "candidate"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": ConditionalCandidate; };
+export type IRNode_cohesion = { readonly "id": Identifier; readonly "role": "cohesion"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Cohesion; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_condition = { readonly "id": Identifier; readonly "role": "condition"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": ConditionDefinition; };
+export type IRNode_conditional_policy = { readonly "id": Identifier; readonly "role": "conditional_policy"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": ConditionalPolicy; };
+export type IRNode_declaration = { readonly "id": Identifier; readonly "role": "declaration"; readonly "owner_judgment_id": (Identifier | null); readonly "value": AuthoredDeclarations; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_dependency = { readonly "id": Identifier; readonly "role": "dependency"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Dependency; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_diagnostic = { readonly "id": Identifier; readonly "role": "diagnostic"; readonly "owner_judgment_id": (Identifier | null); readonly "value": ReadDiagnostic; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_emission_list_contract = { readonly "id": Identifier; readonly "role": "emission_list_contract"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": EmissionListContract; };
+export type IRNode_example = { readonly "id": Identifier; readonly "role": "example"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": Example; };
+export type IRNode_example_result = { readonly "id": Identifier; readonly "role": "example_result"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": ExampleResult; };
+export type IRNode_exception = { readonly "id": Identifier; readonly "role": "exception"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Exception; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_formation_rule = { readonly "id": Identifier; readonly "role": "formation_rule"; readonly "owner_judgment_id": (Identifier | null); readonly "value": FormationRule; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_judgment = { readonly "id": Identifier; readonly "role": "judgment"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Judgment; readonly "target": Ref; readonly "owner": Ref; readonly "method_interpretation"?: MethodReadValue; readonly "static_policy_interpretation"?: StaticPolicyInterpretation; };
+export type IRNode_material = { readonly "id": Identifier; readonly "role": "material"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Material; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_method = { readonly "id": Identifier; readonly "role": "method"; readonly "owner_judgment_id": (Identifier | null); readonly "value": MethodReadValue; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_method_component = { readonly "id": Identifier; readonly "role": "method_component"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": MethodComponent; };
+export type IRNode_method_instance = { readonly "id": Identifier; readonly "role": "method_instance"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": PlanNode; };
+export type IRNode_method_plan = { readonly "id": Identifier; readonly "role": "method_plan"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": Plan; };
+export type IRNode_method_unit = { readonly "id": Identifier; readonly "role": "method_unit"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": MethodUnit; };
+export type IRNode_misuse = { readonly "id": Identifier; readonly "role": "misuse"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Misuse; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_provenance = { readonly "id": Identifier; readonly "role": "provenance"; readonly "owner_judgment_id": (Identifier | null); readonly "value": ProvenanceClaim; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_reason = { readonly "id": Identifier; readonly "role": "reason"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Reason; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_relationship = { readonly "id": Identifier; readonly "role": "relationship"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Relationship; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_resource = { readonly "id": Identifier; readonly "role": "resource"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Resource; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_result = { readonly "id": Identifier; readonly "role": "result"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Result; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_result_contract = { readonly "id": Identifier; readonly "role": "result_contract"; readonly "owner_judgment_id": (Identifier | null); readonly "value": ResultContract; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_revision = { readonly "id": Identifier; readonly "role": "revision"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": RevisionEntry; };
+export type IRNode_scope = { readonly "id": Identifier; readonly "role": "scope"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Scope; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_shared_declaration = { readonly "id": Identifier; readonly "role": "shared_declaration"; readonly "owner_judgment_id": (Identifier | null); readonly "target": Ref; readonly "owner": Ref; readonly "value": ScopedDeclaration; };
+export type IRNode_source = { readonly "id": Identifier; readonly "role": "source"; readonly "owner_judgment_id": (Identifier | null); readonly "value": SourceRef; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_source_use = { readonly "id": Identifier; readonly "role": "source_use"; readonly "owner_judgment_id": (Identifier | null); readonly "value": SourceUse; readonly "target": Ref; readonly "owner": Ref; };
+export type IRNode_subject = { readonly "id": Identifier; readonly "role": "subject"; readonly "owner_judgment_id": (Identifier | null); readonly "value": Subject; readonly "target": Ref; readonly "owner": Ref; };
+export type IRReadNode = (IRNode_judgment | IRNode_scope | IRNode_boundary | IRNode_result | IRNode_formation_rule | IRNode_declaration | IRNode_provenance | IRNode_reason | IRNode_source | IRNode_material | IRNode_relationship | IRNode_dependency | IRNode_diagnostic | IRNode_actor | IRNode_subject | IRNode_attribution | IRNode_resource | IRNode_source_use | IRNode_result_contract | IRNode_method | IRNode_exception | IRNode_misuse | IRNode_cohesion | IRNode_asset_declaration | IRNode_method_component | IRNode_method_unit | IRNode_method_plan | IRNode_method_instance | IRNode_conditional_policy | IRNode_branch | IRNode_candidate | IRNode_condition | IRNode_shared_declaration | IRNode_example | IRNode_example_result | IRNode_revision | IRNode_emission_list_contract);
+export type IRReference = { readonly "id": Identifier; readonly "source_node": Identifier; readonly "target_node": Identifier; readonly "role": ReferenceRole; readonly "mandatory": Boolean; };
+export type IRRelationship = Relationship;
+export type IRTargetDescriptor = { readonly "target": Ref; readonly "owner": Ref; readonly "display_name": NonEmptyText; readonly "node_ref": Identifier; };
+export type Identifier = string;
+export type InputBinding = { readonly "port": Identifier; readonly "from": InputBindingSource; };
+export type InputBindingSource = ({ readonly "kind": "input"; readonly "name": Identifier; } | { readonly "kind": "literal"; readonly "value": SemanticValue; } | { readonly "kind": "state"; readonly "feedback_ref": PlanNodeRef; readonly "slot": Identifier; });
+export type InputDefinition = Port;
+export type InterpretationState = "not_evaluated" | "complete" | "degraded" | "blocked";
+export type InterpretedCondition = { readonly "kind": "interpreted"; readonly "statement": NonEmptyText; };
+export type Judgment = { readonly "id": Identifier; readonly "focus": NonEmptyText; readonly "subject": Subject; readonly "scope": Scope; readonly "boundaries"?: BoundaryDeclaration; readonly "exceptions"?: ExceptionDeclaration; readonly "misuse"?: MisuseDeclaration; readonly "result_contract": ResultContract; readonly "result"?: Result; readonly "formation_rule"?: FormationRule; readonly "method": MethodUse; readonly "reason_refs": ReadonlyArray<Identifier>; readonly "material_refs": ReadonlyArray<Identifier>; readonly "extensions"?: ReadonlyArray<Extension>; readonly "form": JudgmentForm; readonly "parent_ref": (Identifier | null); readonly "lifecycle"?: JudgmentLifecycle; readonly "answer_kind": AnswerKind; readonly "answer_parts"?: ReadonlyArray<AnswerPart>; readonly "answer_other"?: OtherDefinition; readonly "core_expression": CoreExpression; readonly "ports": ReadonlyArray<JudgmentPort>; readonly "inputs": ReadonlyArray<InputDefinition>; readonly "content_uses": ReadonlyArray<ContentUse>; };
+export type JudgmentForm = "conclusion" | "rule";
+export type JudgmentLifecycle = { readonly "status": "active" | "deprecated" | "superseded" | "withdrawn"; readonly "superseded_by": ReadonlyArray<JudgmentReplacementTarget>; readonly "statement": NonEmptyText; };
+export type JudgmentPort = { readonly "name": Identifier; readonly "meaning": NonEmptyText; readonly "direction": "input" | "output"; readonly "contract_ref": ContractRef; readonly "input_role"?: Identifier; readonly "result_field"?: (Identifier | null); };
+export type JudgmentProducer = { readonly "kind": "judgment_result"; readonly "judgment_ref": Identifier; readonly "result_contract_ref": Identifier; };
+export type JudgmentReplacementTarget = { readonly "asset": AssetIdentity; readonly "judgment_id": Identifier; };
+export type Kernel = { readonly "purpose": KernelPurpose; readonly "foundation_refs": ReadonlyArray<MaterialRef>; };
+export type KernelPurpose = ({ readonly "kind": "summary"; } | { readonly "kind": "authored"; readonly "statement": NonEmptyText; });
+export type License = { readonly "identifier": NonEmptyText; readonly "uri"?: NonEmptyText; };
+export type ListShape = { readonly "kind": "list"; readonly "item_shape": ResultShape; readonly "minimum": UInt; readonly "maximum": (UInt | null); };
+export type LiteralOperand = { readonly "kind": "literal"; readonly "value": SemanticValue; };
+export type MandatoryClosure = { readonly "selection": Selection; readonly "node_ids": ReadonlyArray<Identifier>; };
+export type ManifestLineage = { readonly "source_asset_id": Identifier; readonly "source_version": VersionLabel; readonly "relationship": TermRef; };
+export type Material = { readonly "id": Identifier; readonly "kind": MaterialKind; readonly "statement"?: NonEmptyText; readonly "resource_ref"?: Identifier; readonly "source_refs": ReadonlyArray<Identifier>; readonly "term"?: NonEmptyText; readonly "applies_to"?: AppliesTo; readonly "aliases"?: ReadonlyArray<NonEmptyText>; readonly "distinctions"?: ReadonlyArray<NonEmptyText>; };
+export type MaterialKind = "definition" | "foundation" | "premise" | "example" | "attachment";
+export type MaterialRef = { readonly "kind": "material"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type MethodBinding = ({ readonly "component_ref": Identifier; readonly "role": Identifier; readonly "target_ref": Identifier; readonly "target"?: never; } | { readonly "component_ref": Identifier; readonly "role": Identifier; readonly "target": NativeMethodBindingTarget; readonly "target_ref"?: never; });
+export type MethodComponent = { readonly "id": Identifier; readonly "method": BaseMethodKindRef; readonly "statement"?: NonEmptyText; readonly "role": RoleName; readonly "content_ref"?: ComponentContentRef; readonly "material_refs": ReadonlyArray<MaterialRef>; };
+export type MethodDeclarationPresence = { readonly "components_state": MethodFieldPresence; readonly "bindings_state": MethodFieldPresence; };
+export type MethodFieldPresence = "declared" | "undeclared";
+export type MethodKind = "observation" | "recognition" | "criteria_comparison" | "tradeoff" | "inference" | "elimination" | "causal_analysis" | "calculation" | "simulation" | "evidence_analysis" | "interpretation" | "feedback" | "analogy" | "feeling" | "experience" | "composite" | "other";
+export type MethodKindRef = { readonly "term": MethodKind; readonly "vocabulary"?: "core"; };
+export type MethodReadValue = { readonly "declaration": MethodUse; readonly "declaration_presence": MethodDeclarationPresence; readonly "component_interpretations": ReadonlyArray<ComponentInterpretation>; };
+export type MethodUnit = { readonly "id": Identifier; readonly "method": BaseMethodKind; readonly "component_refs": ReadonlyArray<Identifier>; readonly "inputs": ReadonlyArray<Port>; readonly "outputs": ReadonlyArray<Port>; readonly "other"?: OtherDefinition; };
+export type MethodUse = { readonly "method": MethodKindRef; readonly "components": ReadonlyArray<MethodComponent>; readonly "bindings": ReadonlyArray<MethodBinding>; readonly "units"?: ReadonlyArray<MethodUnit>; readonly "plan"?: Plan; readonly "other"?: OtherDefinition; };
+export type Missing = { readonly "state": "observed_missing"; readonly "field": Text; };
+export type Misuse = { readonly "id": Identifier; readonly "statement": NonEmptyText; };
+export type MisuseDeclaration = (MisuseDeclarationProvided | MisuseDeclarationUnprovided);
+export type MisuseDeclarationProvided = { readonly "state": "provided"; readonly "value": ReadonlyArray<Misuse>; };
+export type MisuseDeclarationUnprovided = { readonly "state": AuthoredUnprovidedState; readonly "value": null; };
+export type NativeMethodBindingTarget = { readonly "kind": "actor" | "judgment" | "reason" | "source" | "source_use" | "resource" | "material" | "relationship" | "dependency" | "contract" | "component" | "boundary" | "exception" | "misuse"; readonly "id": Identifier; };
+export type NoComparison = { readonly "state": "not_compared"; readonly "expected": null; readonly "expected_source": null; };
+export type NonEmptyText = string;
+export type Omission = { readonly "state": "explicitly_omitted"; readonly "target": Identifier; readonly "field": Text; readonly "reason": OmissionReason; readonly "expandable": Boolean; readonly "handle_id": (Identifier | null); };
+export type OmissionBatch = { readonly "state": "explicitly_omitted_batch"; readonly "target_kind": OmissionTargetKind; readonly "field": Text; readonly "reason": OmissionBatchReason; readonly "count": UInt; readonly "expandable": Boolean; readonly "handle_id": (Identifier | null); };
+export type OmissionBatchReason = "not_in_mode" | "outside_selection";
+export type OmissionReason = "not_requested" | "not_in_mode" | "outside_selection";
+export type OmissionRecord = (Omission | OmissionBatch);
+export type OmissionTargetKind = "judgment" | "declaration" | "material" | "reason" | "source" | "method_component" | "relationship" | "dependency" | "asset" | "result" | "contract" | "condition" | "component" | "unit" | "plan" | "plan_node" | "policy" | "branch_entry" | "candidate" | "shared_declaration" | "boundary" | "exception" | "misuse" | "source_use" | "resource" | "example" | "example_result" | "revision" | "actor" | "asset_index";
+export type OtherDefinition = { readonly "name": NonEmptyText; readonly "definition": NonEmptyText; readonly "exclusion_reason": NonEmptyText; };
+export type OtherProvenance = { readonly "declarations": ReadonlyArray<IRReadNode>; readonly "confirmation": UnverifiedConfirmationState; readonly "verifier_id": (Identifier | null); readonly "evidence_ref": (Identifier | null); };
+export type Plan = { readonly "id": Identifier; readonly "root": PlanNodeRef; readonly "nodes": ReadonlyArray<PlanNode>; readonly "links": ReadonlyArray<FlowLink>; readonly "result_bindings": ReadonlyArray<ResultBinding>; };
+export type PlanBranchNode = { readonly "id": Identifier; readonly "kind": "branch"; readonly "policy_ref": PolicyRef; };
+export type PlanFeedbackNode = { readonly "id": Identifier; readonly "kind": "feedback"; readonly "body": PlanNodeRef; readonly "state": ReadonlyArray<StateSlot>; readonly "updates": ReadonlyArray<FeedbackUpdate>; readonly "termination": Termination; readonly "output": Endpoint; readonly "on_missing_feedback": NonEmptyText; };
+export type PlanJudgmentUseNode = { readonly "id": Identifier; readonly "kind": "judgment_use"; readonly "judgment_ref": QualifiedJudgmentRef; readonly "input_bindings": ReadonlyArray<InputBinding>; };
+export type PlanNode = (PlanUseNode | PlanJudgmentUseNode | PlanSequenceNode | PlanParallelNode | PlanBranchNode | PlanFeedbackNode);
+export type PlanNodeRef = { readonly "kind": "plan_node"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type PlanParallelNode = { readonly "id": Identifier; readonly "kind": "parallel"; readonly "children": ReadonlyArray<PlanNodeRef>; };
+export type PlanSequenceNode = { readonly "id": Identifier; readonly "kind": "sequence"; readonly "children": ReadonlyArray<PlanNodeRef>; };
+export type PlanUseNode = { readonly "id": Identifier; readonly "kind": "use"; readonly "unit_ref": UnitRef; readonly "input_bindings": ReadonlyArray<InputBinding>; };
+export type PolicyCombine = (CollectCombine | AuthoredCombine);
+export type PolicyDisposition = { readonly "kind": "disposition"; readonly "code": "defer" | "not_applicable" | "conflict"; readonly "statement": NonEmptyText; };
+export type PolicyPartialOutcome = { readonly "kind": "partial"; readonly "policy_ref": PolicyRef; readonly "item_contract_ref": ContractRef; readonly "confirmed": ReadonlyArray<Emission>; readonly "pending": ReadonlyArray<BranchEntryRef>; readonly "statement": NonEmptyText; };
+export type PolicyRef = { readonly "kind": "policy"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type PolicyTerminal = ({ readonly "kind": "value"; readonly "contract_ref": ContractRef; readonly "value": SemanticValue; } | PolicyDisposition);
+export type PolicyUndetermined = ({ readonly "kind": "defer"; readonly "statement": NonEmptyText; } | { readonly "kind": "partial"; readonly "independence": NonEmptyText; readonly "statement": NonEmptyText; });
+export type Port = { readonly "name": Identifier; readonly "meaning": NonEmptyText; readonly "contract_ref": ContractRef; };
+export type PredicateOperator = "equals" | "not_equals" | "greater_than" | "less_than" | "contains" | "is_present";
+export type Producer = (CandidateRef | Endpoint);
+export type ProtectionEntitlement = { readonly "profile": "password" | "account" | "org"; readonly "offline"?: boolean; readonly "revocable"?: boolean; };
+export type Provenance = (VerifiedProvenance | OtherProvenance);
+export type ProvenanceClaim = { readonly "declarer_id": Identifier; readonly "statement": NonEmptyText; readonly "evidence_ref": (Identifier | null); };
+export type PublicAssetDeclaration = { readonly "title": NonEmptyText; readonly "creator"?: Creator; readonly "license"?: License; readonly "summary": NonEmptyText; readonly "description"?: Text; readonly "access"?: AccessMode; readonly "content_risk"?: RiskState; readonly "extensions"?: ReadonlyArray<Extension>; readonly "languages": ReadonlyArray<Identifier>; readonly "asset_id": Identifier; readonly "asset_uid": Identifier; readonly "version": VersionLabel; readonly "judgment_version": VersionLabel; readonly "created_at": Timestamp; readonly "updated_at": Timestamp; readonly "keywords"?: ReadonlyArray<Text>; readonly "lineage"?: ReadonlyArray<ManifestLineage>; readonly "history": IRHistoryOverview; readonly "encryption"?: EncryptionDescriptor; readonly "entitlement"?: ProtectionEntitlement; readonly "scope": Scope; readonly "declarations": IRAuthoredDeclarationsOverview; readonly "kernel": Kernel; readonly "reading_order"?: ReadonlyArray<Identifier>; readonly "cohesion"?: Cohesion; readonly "attributions"?: AttributionDeclaration; readonly "asset_type"?: AssetType; };
+export type QualificationRef = { readonly "kind": "condition" | "boundary" | "material" | "shared_declaration"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type QualifiedJudgmentRef = ({ readonly "kind": "local"; readonly "judgment_id": Identifier; } | { readonly "asset": AssetIdentity; readonly "judgment_id": Identifier; });
+export type ReadAdmissionRejection = { readonly "contract": "kdna.read-admission/0.1.0"; readonly "code": "READ_INPUT_INVALID"; readonly "diagnostic": AdmissionDiagnostic; readonly "correlation": ReadCorrelation; readonly "control_budget": ControlBudget; };
+export type ReadBudget = { readonly "limit_bytes": UInt; readonly "required_bytes": FixedByteCount; readonly "actual_bytes": FixedByteCount; };
+export type ReadCorrelation = (ValidatedCorrelation | UnavailableCorrelation);
+export type ReadDiagnostic = { readonly "code": ReadDiagnosticCode; readonly "stage": ReadStage; readonly "severity": "error" | "warning"; readonly "subject": (Identifier | null); readonly "field": (Text | null); };
+export type ReadDiagnosticCode = "READ_INPUT_INVALID" | "READ_SNAPSHOT_UNATTESTED" | "READ_CORE_CAPABILITY_UNAVAILABLE" | "READ_UNSUPPORTED_VERSION" | "READ_MIXED_VERSION_TUPLE" | "READ_CORE_INVALID" | "READ_INTERPRETATION_INCOMPLETE" | "READ_STATIC_POLICY_INVALID" | "READ_ASSET_MISMATCH" | "READ_ASSET_VERSION_MISMATCH" | "READ_SELECTION_NOT_FOUND" | "READ_SELECTION_AMBIGUOUS" | "READ_HANDLE_UNTRUSTED" | "READ_HANDLE_VERSION_MISMATCH" | "READ_HANDLE_STALE" | "READ_HANDLE_ASSET_MISMATCH" | "READ_HANDLE_SCOPE_MISMATCH" | "READ_HOST_CONTEXT_UNTRUSTED" | "READ_HOST_EPOCH_MISMATCH" | "READ_HOST_TIME_INVALID" | "READ_HANDLE_EXPIRED" | "READ_HOST_CONTEXT_EXPIRED" | "READ_HOST_DENIED" | "READ_SCOPE_DENIED" | "READ_PROJECTION_INVALID" | "READ_BUDGET_INSUFFICIENT" | "READ_COMPONENT_DECLARATION_INVALID" | "READ_COMPONENT_CONTENT_INVALID" | "READ_COMPONENT_REFERENCE_INVALID" | "READ_COMPONENT_GRAPH_CYCLE" | "READ_COMPONENT_LIMIT_EXCEEDED" | "READ_COMPONENT_BINDING_INVALID" | "READ_COMPONENT_ADOPTION_INVALID" | "READ_METHOD_PRESENCE_INVALID" | "READ_R2_STRUCTURE_INVALID" | "READ_R2_REFERENCE_INVALID" | "READ_R2_METHOD_INVALID" | "READ_R2_PLAN_INVALID" | "READ_R2_POLICY_INVALID" | "READ_R2_SCOPE_INVALID" | "READ_R2_EXAMPLE_INVALID" | "READ_R2_HISTORY_INVALID" | "READ_UNSUPPORTED_CRITICAL" | "READ_UNRESOLVED_EXTERNAL";
+export type ReadNoBodyControl = (AdmissionNoBodyControl | EnvelopeNoBodyControl);
+export type ReadPermission = "not_evaluated" | "allowed" | "denied";
+export type ReadStage = "input" | "version" | "core" | "selection" | "handle" | "host" | "projection" | "budget";
+export type ReadTransportFailure = { readonly "code": "READ_TRANSPORT_FAILURE"; readonly "semantic_cause": (ReadDiagnosticCode | null); readonly "correlation": ReadCorrelation; readonly "delivery": "not_confirmed"; };
+export type ReadyReceipt = { readonly "receipt_id": Identifier; readonly "request_id": Identifier; readonly "snapshot_id": Identifier; readonly "host_id": Identifier; readonly "host_epoch": Identifier; readonly "decision_id": Identifier; readonly "disclosed_at": UInt; readonly "delivery": "delivered"; };
+export type ReadyStates = { readonly "core": "valid"; readonly "interpretation": "complete"; readonly "writer": WriterState; readonly "confirmation": ConfirmationState; readonly "read_permission": "allowed"; readonly "action_authorization": "not_evaluated"; };
+export type Reason = { readonly "id": Identifier; readonly "role": ReasonRole; readonly "judgment_ref": Identifier; readonly "statement": NonEmptyText; readonly "component_refs": ReadonlyArray<Identifier>; };
+export type ReasonRole = "support" | "counter" | "qualification" | "calibration";
+export type RecordShape = { readonly "kind": "record"; readonly "fields": ReadonlyArray<ShapeField>; };
+export type Ref = { readonly "kind": "asset" | "judgment" | "result" | "contract" | "condition" | "component" | "unit" | "plan" | "plan_node" | "policy" | "branch_entry" | "candidate" | "material" | "shared_declaration" | "boundary" | "exception" | "misuse" | "reason" | "source" | "source_use" | "resource" | "relationship" | "dependency" | "example" | "example_result" | "revision" | "actor"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type ReferenceRole = "dependency" | "source_use" | "provenance" | "mandatory_support" | "optional_expansion" | "lifecycle_replacement";
+export type RejectedReceipt = { readonly "receipt_id": Identifier; readonly "request_id": Identifier; readonly "snapshot_id": (Identifier | null); readonly "host_id": (Identifier | null); readonly "host_epoch": (Identifier | null); readonly "decision_id": (Identifier | null); readonly "disclosed_at": null; readonly "delivery": "not_delivered"; };
+export type RelationDirection = "directed" | "undirected";
+export type RelationParticipant = { readonly "judgment_ref": Identifier; readonly "role": TermRef; };
+export type Relationship = { readonly "id": Identifier; readonly "kind": TermRef; readonly "direction": RelationDirection; readonly "participants": ReadonlyArray<RelationParticipant>; readonly "operator": TermRef; readonly "effect": TermRef; readonly "statement": NonEmptyText; };
+export type Resource = { readonly "id": Identifier; readonly "entry": EntryName; readonly "digest": Digest; readonly "media_type": NonEmptyText; };
+export type ResponsibilityStates = { readonly "core": TechnicalState; readonly "interpretation": InterpretationState; readonly "writer": WriterState; readonly "confirmation": ConfirmationState; readonly "read_permission": ReadPermission; readonly "action_authorization": "not_evaluated"; };
+export type Result = { readonly "contract_ref": Identifier; readonly "result_type": TermRef; readonly "value": SemanticValue; };
+export type ResultBinding = { readonly "from": Endpoint; readonly "field_path": ReadonlyArray<Identifier>; };
+export type ResultContract = { readonly "id": Identifier; readonly "form": TermRef; readonly "shape": ResultShape; readonly "minimum": UInt; readonly "maximum": (UInt | null); readonly "allowed_result_types": ReadonlyArray<TermRef>; };
+export type ResultShape = (ScalarShape | ListShape | RecordShape);
+export type RevisionEntry = { readonly "id": Identifier; readonly "version": VersionLabel; readonly "judgment_version": VersionLabel; readonly "at": Timestamp; readonly "summary": NonEmptyText; readonly "affected_refs": ReadonlyArray<Ref>; readonly "previous"?: RevisionRef; readonly "actor_refs": ReadonlyArray<Identifier>; };
+export type RevisionRef = { readonly "kind": "revision"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type RiskState = "ordinary" | "elevated" | "high_consequence" | "unknown";
+export type RoleDeclarationValue = { readonly "acts_as"?: TextDeclaration; readonly "does_not_act_as"?: TextListDeclaration; readonly "responsibility"?: TextDeclaration; };
+export type RoleName = "个人感受" | "体验说明" | "偏好变化" | "经验要点" | "参考经历" | "适用情形" | "例外情况" | "观察依据" | "判定口径" | "观察限制" | "识别特征" | "类别定义" | "匹配办法" | "易混淆情况" | "判断标准" | "对照办法" | "归结办法" | "底线要求" | "候选方案" | "比较因素" | "取舍原则" | "不可兼得之处" | "优先变化" | "判断前提" | "推导关系" | "关键假设" | "候选范围" | "排除条件" | "保留办法" | "特殊情况处理" | "待解释现象" | "原因关系" | "候选原因" | "区分依据" | "反向情况" | "输入与含义" | "计算关系" | "计算假设" | "取值边界" | "误差说明" | "起点条件" | "变化假设" | "演变关系" | "情景分叉" | "转折信号" | "所用材料" | "材料与判断的联系" | "反向材料" | "材料取舍" | "解读对象" | "解释关系" | "相关语境" | "理解线索" | "替代解读" | "调整目标" | "反馈信号" | "调整办法" | "停止条件" | "冲突处理" | "参照对象" | "对应关系" | "借用办法" | "关键差异" | "不可迁移之处" | "方法说明" | "判断依据" | "作用关系" | "补充说明" | "适用限制";
+export type ScalarKind = "text" | "number" | "boolean" | "null";
+export type ScalarShape = { readonly "kind": "scalar"; readonly "scalar_type": ScalarKind; };
+export type Scope = { readonly "statement": NonEmptyText; readonly "dimensions"?: ReadonlyArray<ScopeDimension>; };
+export type ScopeDimension = { readonly "name": Identifier; readonly "value": SemanticValue; };
+export type ScopedDeclaration = (SharedTextDeclaration | SharedRoleDeclaration);
+export type Selection = { readonly "asset_id": Identifier; readonly "asset_version": VersionLabel; readonly "judgment_id": Identifier; };
+export type SemanticValue = (ValueText | ValueNumber | ValueBoolean | ValueNull | ValueList | ValueRecord);
+export type ShapeField = { readonly "name": Identifier; readonly "required": Boolean; readonly "shape": ResultShape; };
+export type SharedRoleDeclaration = { readonly "id": Identifier; readonly "subject": Subject; readonly "applies_to": AppliesTo; readonly "kind": "role"; readonly "value": (RoleDeclarationValue) & (({ readonly "acts_as": { readonly "state": "provided"; }; } | { readonly "does_not_act_as": { readonly "state": "provided"; }; } | { readonly "responsibility": { readonly "state": "provided"; }; })); };
+export type SharedTextDeclaration = { readonly "id": Identifier; readonly "subject": Subject; readonly "applies_to": AppliesTo; readonly "kind": "worldview" | "value_order"; readonly "value": ReadonlyArray<NonEmptyText>; };
+export type SourceProducer = { readonly "kind": "source"; readonly "source_ref": Identifier; };
+export type SourceRef = { readonly "id": Identifier; readonly "identity": NonEmptyText; readonly "version"?: VersionLabel; readonly "digest"?: Digest; };
+export type SourceRefTarget = { readonly "kind": "source"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type SourceTargetKind = "judgment" | "reason" | "material" | "method_component" | "example" | "example_result" | "shared_declaration";
+export type SourceUse = { readonly "id": Identifier; readonly "role": SourceUseRole; readonly "source_ref": Identifier; readonly "target_kind": SourceTargetKind; readonly "target_ref": Identifier; };
+export type SourceUseRole = "support" | "counter" | "premise" | "definition" | "method_component" | "example" | "attachment";
+export type StateSlot = { readonly "name": Identifier; readonly "contract_ref": ContractRef; readonly "initial": SemanticValue; };
+export type StaticPolicyCandidate = { readonly "key": ComponentItemKey; readonly "title": NonEmptyText; readonly "meaning": NonEmptyText; readonly "result_type": TermRef; readonly "value": SemanticValue; };
+export type StaticPolicyEntry = { readonly "key": ComponentItemKey; readonly "condition": InterpretedCondition; readonly "priority": UInt; readonly "candidate_key": ComponentItemKey; };
+export type StaticPolicyFallback = ({ readonly "kind": "candidate"; readonly "candidate_key": ComponentItemKey; } | { readonly "kind": "no_match"; readonly "statement": NonEmptyText; });
+export type StaticPolicyInterpretation = { readonly "contract_id": "kdna.static-policy/2"; readonly "contract_version": "2.0.0"; readonly "definition_digest": Digest; readonly "judgment_ref": Identifier; readonly "declaration_digest": Digest; readonly "rule_digest": Digest; readonly "authored_rule": StaticPolicyRule; readonly "rule": StaticPolicyRule; readonly "status": "supported"; };
+export type StaticPolicyRule = { readonly "output_contract_ref": Identifier; readonly "candidates": ReadonlyArray<StaticPolicyCandidate>; readonly "strategy": StaticPolicyStrategy; readonly "entries": ReadonlyArray<StaticPolicyEntry>; readonly "fallback": StaticPolicyFallback; };
+export type StaticPolicyStrategy = { readonly "kind": "priority"; readonly "direction": "higher-first" | "lower-first"; };
+export type StructuredCondition = { readonly "kind": "structured"; readonly "operator": PredicateOperator; readonly "operands": ReadonlyArray<ConditionOperand>; };
+export type Subject = { readonly "actor_ids": ReadonlyArray<Identifier>; readonly "statement": NonEmptyText; };
+export type TargetDescriptor = { readonly "target": Ref; readonly "owner": Ref; readonly "display_name": NonEmptyText; readonly "body_delivery": "inline" | "deferred"; readonly "handle_id"?: Identifier; };
+export type TaxonomyBody = { readonly "kind": "taxonomy"; readonly "items": ReadonlyArray<ComponentItem>; readonly "broader": ReadonlyArray<ComponentBroaderEdge>; };
+export type TaxonomyContent = { readonly "items": ReadonlyArray<ComponentItem>; readonly "broader": ReadonlyArray<ComponentBroaderEdge>; };
+export type TechnicalState = "not_evaluated" | "valid" | "invalid";
+export type TermRef = { readonly "term": Identifier; readonly "extension"?: Extension; readonly "vocabulary"?: TermVocabulary; };
+export type TermVocabulary = "core" | "author";
+export type Termination = ({ readonly "kind": "condition"; readonly "when": ConditionRef; readonly "handling": NonEmptyText; } | { readonly "kind": "ongoing"; readonly "handling": NonEmptyText; });
+export type Text = string;
+export type TextDeclaration = (TextDeclarationProvided | TextDeclarationUnprovided);
+export type TextDeclarationProvided = { readonly "state": "provided"; readonly "value": NonEmptyText; };
+export type TextDeclarationUnprovided = { readonly "state": AuthoredUnprovidedState; readonly "value": null; };
+export type TextListDeclaration = (TextListDeclarationProvided | TextListDeclarationUnprovided);
+export type TextListDeclarationProvided = { readonly "state": "provided"; readonly "value": ReadonlyArray<NonEmptyText>; };
+export type TextListDeclarationUnprovided = { readonly "state": AuthoredUnprovidedState; readonly "value": null; };
+export type Timestamp = string;
+declare const TrustedBrowserProtectedHostBrand: unique symbol;
+export type TrustedBrowserProtectedHost = { readonly [TrustedBrowserProtectedHostBrand]: true };
+export type UInt = number;
+export type UnavailableCorrelation = { readonly "state": "unavailable"; readonly "request_id": null; };
+export type UnitRef = { readonly "kind": "unit"; readonly "id": Identifier; readonly "asset"?: AssetIdentity; };
+export type UnresolvedExternalReference = { readonly "source": Ref; readonly "target": Ref; readonly "mandatory": Boolean; };
+export type UnverifiedConfirmationState = "not_evaluated" | "claimed_unverified" | "rejected";
+export type ValidatedCorrelation = { readonly "state": "validated"; readonly "request_id": Identifier; };
+export type ValueBoolean = { readonly "kind": "boolean"; readonly "value": Boolean; };
+export type ValueField = { readonly "name": Identifier; readonly "value": SemanticValue; };
+export type ValueList = { readonly "kind": "list"; readonly "items": ReadonlyArray<SemanticValue>; };
+export type ValueNull = { readonly "kind": "null"; readonly "value": null; };
+export type ValueNumber = { readonly "kind": "number"; readonly "value": FiniteNumber; };
+export type ValueRecord = { readonly "kind": "record"; readonly "fields": ReadonlyArray<ValueField>; };
+export type ValueText = { readonly "kind": "text"; readonly "value": Text; };
+export type VerifiedProvenance = { readonly "declarations": ReadonlyArray<IRReadNode>; readonly "confirmation": "verified"; readonly "verifier_id": Identifier; readonly "evidence_ref": Identifier; };
+export type VersionLabel = Identifier;
+export type VersionTuple = { readonly "container": "0.5.0"; readonly "payload_profile": "kdna.payload.judgment"; readonly "payload_version": "0.5.1"; readonly "core": "kdna.core/0.8.2"; readonly "ir": "kdna.canonical-ir/0.6.1"; readonly "runtime": "kdna.runtime-capsule/0.3.1"; readonly "plan": "kdna.consumption-plan/0.3.1"; readonly "host": "kdna.agent-host/0.3.1"; readonly "trace": "kdna.judgment-trace/0.3.1"; readonly "read": "kdna.read/0.6.4"; };
+export type WriterState = "not_evaluated" | "sufficient" | "insufficient";