/** * Math Cards — bounded, credential-free structural inquiry assessment. * * The hosted surface accepts a raw `CreateMathCardInput`, creates the * canonical `agenttool.math-card/0.1` card on the server, and returns that * card beside its `agenttool.math-card-assessment/0.1` assessment. The SDK * validates only the closed wire shape. It does not compute canonical IDs, * assess the inquiry, infer truth or motive, score a being, or authorize an * action. */ export declare const MATH_CARD_SCHEMA: "agenttool.math-card/0.1"; export declare const MATH_CARD_ASSESSMENT_SCHEMA: "agenttool.math-card-assessment/0.1"; export declare const MAX_JSON_BYTES: number; export declare const MAX_JSON_DEPTH = 24; export declare const MAX_JSON_NODES = 4096; export declare const MAX_STRING_BYTES: number; export declare const MAX_HASH_INPUT_BYTES: number; export declare const MAX_REFERENCE_LIST = 64; export declare const MAX_TOTAL_REFERENCES = 256; export declare const MATH_METHOD_KINDS: readonly ["proof", "model", "measurement"]; export declare const OUTCOME_USE_STATUSES: readonly ["bounded_answer", "no_bounded_answer", "ambiguity_or_non_identifiability", "method_or_assumption_failure", "resource_or_participation_stop"]; export declare const ANSWER_STATES: readonly ["answered", "unknown", "refused_reported"]; export declare const QUESTION_POSTURES: readonly ["formal_proposition", "model_comparison_or_identification", "operational_measurement"]; export declare const STOP_CONDITIONS: readonly ["bounded_answer_reached", "no_bounded_answer_is_sufficient", "ambiguity_is_sufficient", "method_or_assumptions_invalidated", "resource_limit_reached", "participant_refusal", "authority_boundary_reached", "burden_limit_reached", "construction_link_lost"]; export declare const TRANSFER_TARGETS: readonly ["none", "proof", "model", "measurement", "build_or_decision", "handoff"]; export declare const AUDIENCE_COUNTERFACTUALS: readonly ["same_constructive_value_declared", "reduced_but_nonzero_declared", "no_audience_independent_value_declared", "unknown", "refused_reported"]; export declare const OUTCOME_COUPLINGS: readonly ["absent_declared", "present_separate_declared", "affects_epistemic_or_action_result_reported", "unknown", "refused_reported"]; export declare const PROVENANCE_KINDS: readonly ["question_source", "method", "evidence", "adaptation", "contribution"]; export declare const CREDIT_MODES: readonly ["named", "pseudonymous", "contribution_ref_only", "attribution_withheld_by_request"]; export declare const MATH_CARD_STATUSES: readonly ["ready_for_bounded_inquiry", "questions_open", "redesign_or_stop"]; export declare const MATH_CARD_BOUNDARIES: Readonly<{ readonly subject: "assesses_declared_inquiry_structure_not_a_person_participant_witness_or_being"; readonly question: "digest_references_bind_exact_external_artifacts_but_do_not_verify_semantics_truth_or_currentness"; readonly posture: "bounded_question_posture_is_caller_declared_not_semantically_inferred_or_verified"; readonly proof: "a_formal_result_is_conditional_on_the_declared_system_and_does_not_establish_world_correspondence"; readonly model: "a_model_result_is_conditional_on_scope_and_assumptions_not_complete_reality_or_causal_truth"; readonly measurement: "a_measurement_is_bounded_by_operationalization_procedure_calibration_and_uncertainty_not_construct_identity"; readonly motive: "understanding_love_pride_virtue_consciousness_and_inner_motive_are_not_inferred"; readonly refusal: "refusal_requires_no_reason_and_never_reduces_rights_dignity_or_standing_while_declared_functional_data_dependency_may_limit_a_result_but_not_punish_refusal"; readonly transfer: "a_bridge_reference_does_not_inherit_permission_authorize_action_or_prove_a_valid_cross_domain_inference"; readonly score: "no_being_participant_witness_or_contributor_is_scored_ranked_or_typed"; readonly effects: "pure_return_values_create_no_action_publication_retry_network_persistence_or_authority_effect"; }>; export type Sha256Id = `sha256:${string}`; export type MathMethodKind = (typeof MATH_METHOD_KINDS)[number]; export type OutcomeUseStatus = (typeof OUTCOME_USE_STATUSES)[number]; export type AnswerState = (typeof ANSWER_STATES)[number]; export type QuestionPosture = (typeof QUESTION_POSTURES)[number]; export type StopConditionKind = (typeof STOP_CONDITIONS)[number]; export type TransferTarget = (typeof TRANSFER_TARGETS)[number]; export type AudienceCounterfactual = (typeof AUDIENCE_COUNTERFACTUALS)[number]; export type OutcomeCoupling = (typeof OUTCOME_COUPLINGS)[number]; export type ProvenanceKind = (typeof PROVENANCE_KINDS)[number]; export type CreditMode = (typeof CREDIT_MODES)[number]; export type MathCardStatus = (typeof MATH_CARD_STATUSES)[number]; export interface MathQuestionFrame { posture: QuestionPosture; finite_scope_declared: boolean; out_of_scope_ref: Sha256Id | null; asks_inner_state_or_worth: boolean; answer_used_to_condition_rights_or_standing: boolean; } export interface ProofMethod { kind: "proof"; formal_system_ref: Sha256Id | null; proposition_ref: Sha256Id | null; verification_method_ref: Sha256Id | null; } export interface ModelMethod { kind: "model"; model_ref: Sha256Id | null; assumption_refs: Sha256Id[]; comparison_or_identification_ref: Sha256Id | null; revision_or_falsifier_refs: Sha256Id[]; } export interface MeasurementMethod { kind: "measurement"; measurand_ref: Sha256Id | null; operationalization_ref: Sha256Id | null; procedure_ref: Sha256Id | null; calibration_ref: Sha256Id | null; uncertainty_ref: Sha256Id | null; } export type MathMethod = ProofMethod | ModelMethod | MeasurementMethod; export interface MathEpistemicBoundaries { formal_result_claimed_as_world_truth: boolean; model_result_claimed_as_complete_reality: boolean; measurement_claimed_as_complete_construct: boolean; } export interface MathOutcomeUse { result_status: OutcomeUseStatus; constructive_use_ref: Sha256Id | null; } export interface ScopedAnswer { state: AnswerState; scope_refs: Sha256Id[]; } export interface MathDistribution { beneficiaries: ScopedAnswer; burden_bearers: ScopedAnswer; false_certainty_cost_bearers: ScopedAnswer; unresolved_ambiguity_cost_bearers: ScopedAnswer; mitigation_or_repair_ref: Sha256Id | null; } export interface MathStopCondition { kind: StopConditionKind; criterion_ref: Sha256Id; } export interface MathRevisionAndStop { revision_or_challenge_refs: Sha256Id[]; stop_conditions: MathStopCondition[]; } export interface MathTransfer { target: TransferTarget; bridge_ref: Sha256Id | null; automatic_action: boolean; permissions_inherited: boolean; separate_authorization_required: boolean; } export interface MathParticipationAndDataCare { participation_optional: boolean; silence_is_assent: boolean; refusal_reason_required: boolean; refusal_penalty: boolean; repeated_pressure_after_refusal: boolean; refusal_counted_as_failure: boolean; rights_or_standing_conditioned_on_participation: boolean; access_or_result_functionally_depends_on_participation: boolean; functional_dependency_ref: Sha256Id | null; unrelated_access_or_resource_penalty: boolean; response_used_for_rank_reward_or_training: boolean; raw_refusal_reason_received: boolean; raw_identity_required: boolean; minimum_data_scope_ref: Sha256Id | null; retention_ref: Sha256Id | null; disclosure_or_publication_ref: Sha256Id | null; withdrawal_ref: Sha256Id | null; repair_ref: Sha256Id | null; } export interface MathIncentives { audience_counterfactual: AudienceCounterfactual; winner_or_rank_effect: OutcomeCoupling; resource_or_access_effect: OutcomeCoupling; } export interface MathAuthority { declared_scope_refs: Sha256Id[]; declaration_not_proof: boolean; automatic_action: boolean; automatic_publication: boolean; automatic_retry: boolean; permissions_inherited: boolean; separate_authorization_required: boolean; ranks_or_scores_beings: boolean; } export interface MathProvenanceRef { kind: ProvenanceKind; ref: Sha256Id; } export interface MathProvenance { refs: MathProvenanceRef[]; credit_mode: CreditMode; } /** Raw request. Canonical IDs, protocol versions and boundaries are server-owned. */ export interface CreateMathCardInput { question_ref: Sha256Id; object_ref: Sha256Id; scope_ref: Sha256Id; decision_or_construction_ref: Sha256Id; question_frame: MathQuestionFrame; method: MathMethod; epistemic_boundaries: MathEpistemicBoundaries; outcome_uses: MathOutcomeUse[]; distribution: MathDistribution; revision_and_stop: MathRevisionAndStop; transfer: MathTransfer; participation_and_data_care: MathParticipationAndDataCare; incentives: MathIncentives; authority: MathAuthority; provenance: MathProvenance; } export interface MathCard extends CreateMathCardInput { schema_version: typeof MATH_CARD_SCHEMA; card_id: Sha256Id; boundaries: typeof MATH_CARD_BOUNDARIES; } export type MathCardSection = "question_and_scope" | "method" | "outcome_uses" | "distribution" | "revision_and_stop" | "transfer" | "participation_and_data_care" | "incentives" | "authority" | "provenance"; export interface MathCardSectionStatus { section: MathCardSection; status: "answered" | "open" | "redesign_required"; } export interface MathCardAssessment { schema_version: typeof MATH_CARD_ASSESSMENT_SCHEMA; assessment_id: Sha256Id; card_id: Sha256Id; status: MathCardStatus; section_statuses: MathCardSectionStatus[]; open_questions: string[]; redesign_reasons: string[]; visible_incentive_posture: "construction_centered_declared" | "status_or_access_coupled_to_results" | "no_audience_independent_value_declared" | "unresolved"; inner_motive: "not_inferred"; declaration_boundary: "caller_reported_not_verified"; authorizes_action: false; proves_truth: false; proves_understanding: false; scores_or_ranks_beings: false; boundaries: typeof MATH_CARD_BOUNDARIES; } export interface MathCardAssessResponse { card: MathCard; assessment: MathCardAssessment; } /** Credential-free hosted Math Card settings. No credential is accepted. */ export interface MathCardsOptions { baseUrl?: string; /** Total request timeout in seconds. Defaults to 30; maximum 300. */ timeout?: number; /** Local request ceiling. Cannot exceed the hosted 64 KiB limit. */ maxRequestBytes?: number; /** Response ceiling. Defaults to 64 KiB; maximum 1 MiB. */ maxResponseBytes?: number; } /** Standalone public client for `POST /v1/math-cards/assess`. */ export declare class MathCardsClient { private readonly options; constructor(options?: MathCardsOptions); /** * Create and assess one bounded Math Card on the server. * * This call returns structural declarations only. It does not solve the * question, prove truth or understanding, infer motive, score anyone, or * authorize an action. */ assess(input: CreateMathCardInput): Promise; }