@coreason-ai/coreason-manifest 0.85.1 → 0.87.0

package/dist/ontology.d.ts

@@ -204,6 +204,7 @@ export type TopologyClass2 = "macro_adversarial";
  * Nodes assigned to the Blue Team.
  *
  * @minItems 1
+ * @maxItems 1000
  */
 export type BlueTeamCids = [NodeCIDState, ...NodeCIDState[]];
 /**
@@ -214,6 +215,7 @@ export type NodeCIDState = string;
  * Nodes assigned to the Red Team.
  *
  * @minItems 1
+ * @maxItems 1000
  */
 export type RedTeamCids = [NodeCIDState, ...NodeCIDState[]];
 /**
@@ -262,6 +264,8 @@ export type PresentationFormat = "jwt_vc" | "ldp_vc" | "sd_jwt" | "zkp_vc";
 export type CryptographicProofBlob = string;
 /**
  * The wallet of selective disclosure credentials proving the agent's identity, clearance, and budget authorization.
+ *
+ * @maxItems 100
  */
 export type CredentialPresentations = VerifiableCredentialPresentationReceipt[];
 /**
@@ -396,12 +400,14 @@ export type CapabilityCid = string;
  * The strictly bounded array of foundational AlgebraicRefinementContracts representing the P state geometry.
  *
  * @minItems 1
+ * @maxItems 100
  */
 export type Preconditions = [AlgebraicRefinementContract, ...AlgebraicRefinementContract[]];
 /**
  * The strictly bounded array of subsequent AlgebraicRefinementContracts representing the Q state geometry.
  *
  * @minItems 1
+ * @maxItems 100
  */
 export type Postconditions = [AlgebraicRefinementContract, ...AlgebraicRefinementContract[]];
 /**
@@ -584,6 +590,8 @@ export type PrismTargetPointer = string;
 export type StrictIsomorphism = boolean;
 /**
  * Profunctor mappings for side-effect-free state synchronization.
+ *
+ * @maxItems 100
  */
 export type StateSynchronizationOptics = OpticalMappingContract[];
 /**
@@ -718,6 +726,9 @@ export type AgentRole = "generator" | "critic" | "synthesizer";
  */
 export type StochasticTensor = string;
 export type EpistemicEntropy = number;
+/**
+ * @maxItems 1000
+ */
 export type StochasticGraph = StochasticNodeState[];
 /**
  * The Hard Multi-Tenancy segregation identifier. Enforces mathematical quarantine by binding the state physically to a specific sovereign client environment. Defaults to the RFC 8785 (JCS) SHA-256 hash of the CoReason, Inc. incorporation JSON: {"date_of_incorporation":"2025-10-16","file_number":"10369312","jurisdiction":"US-DE","legal_name":"CoReason, Inc."}
@@ -1010,6 +1021,8 @@ export type DerivationModeProfile = "direct_translation" | "abductive_upsampling
 export type JustificationHash = string | null;
 /**
  * The mathematical chain of custody binding this virtual coordinate back to physical vectors.
+ *
+ * @maxItems 100
  */
 export type LeafProvenance = EpistemicProvenanceReceipt[];
 /**
@@ -1217,6 +1230,7 @@ export type FormalLogicClauses = string;
  * Explicit pointers to the AtomicPropositionState or EpistemicOntologicalReificationReceipt nodes that causally justify this new mapping rule.
  *
  * @minItems 1
+ * @maxItems 100
  */
 export type JustificationEvidenceCids = [NodeCIDState, ...NodeCIDState[]];
 /**
@@ -2254,6 +2268,8 @@ export type AsyncObservationPort = string | null;
 export type EmitTelemetryOnRevision = boolean;
 /**
  * The declarative array of proactive oversight hooks bound to this node's lifecycle.
+ *
+ * @maxItems 1000
  */
 export type InterventionPolicies = InterventionPolicy[];
 /**
@@ -2443,6 +2459,8 @@ export type TargetModules = [string, ...string[]];
 export type EvictionTtlSeconds = number | null;
 /**
  * The declarative array of ephemeral PEFT/LoRA weights required to be hot-swapped during this agent's execution.
+ *
+ * @maxItems 1000
  */
 export type PeftAdapters = PeftAdapterContract[];
 /**
@@ -2655,6 +2673,8 @@ export type FlowEstimationMatrix = string;
 export type LocalExplorationK = number;
 /**
  * The array of cognitive intents and structural proposals emitted by this agent.
+ *
+ * @maxItems 1000
  */
 export type EmittedIntents = AnyIntent[];
 /**
@@ -2675,6 +2695,8 @@ export type ArchitecturalIntent1 = string | null;
 export type Justification3 = string | null;
 /**
  * The declarative array of proactive oversight hooks bound to this node's lifecycle.
+ *
+ * @maxItems 1000
  */
 export type InterventionPolicies1 = InterventionPolicy[];
 /**
@@ -2709,6 +2731,8 @@ export type ArchitecturalIntent2 = string | null;
 export type Justification4 = string | null;
 /**
  * The declarative array of proactive oversight hooks bound to this node's lifecycle.
+ *
+ * @maxItems 1000
  */
 export type InterventionPolicies2 = InterventionPolicy[];
 /**
@@ -2739,6 +2763,8 @@ export type ArchitecturalIntent3 = string | null;
 export type Justification5 = string | null;
 /**
  * The declarative array of proactive oversight hooks bound to this node's lifecycle.
+ *
+ * @maxItems 1000
  */
 export type InterventionPolicies3 = InterventionPolicy[];
 /**
@@ -2995,6 +3021,8 @@ export type TemporalIntervalProof = string | null;
 export type TemporalCircuitHash = string | null;
 /**
  * The array of Area of Interest perimeters dictating spatial telemetry isolation.
+ *
+ * @maxItems 100
  */
 export type ActiveSpatialSubscriptions = VolumetricPartitionState[];
 /**
@@ -3007,6 +3035,8 @@ export type FoveatedPrivacyEpsilon = number | null;
 export type TopologyClass68 = "dag";
 /**
  * The strict, topologically bounded matrix of directed causal edges.
+ *
+ * @maxItems 10000
  */
 export type Edges = [unknown, unknown][];
 /**
@@ -3255,10 +3285,14 @@ export type StakedMagnitude = number;
 export type ImpliedProbability = number;
 /**
  * The immutable ledger of all stakes placed by the swarm.
+ *
+ * @maxItems 10000
  */
 export type OrderBook = HypothesisStakeReceipt[];
 /**
  * The live algorithmic betting markets resolving swarm consensus.
+ *
+ * @maxItems 1000
  */
 export type ActivePredictionMarkets = PredictionMarketState[];
 /**
@@ -3281,6 +3315,8 @@ export type WinningHypothesisCid = string;
 export type FalsifiedHypothesisCids = string[];
 /**
  * The immutable records of finalized markets and reputation capital distributions.
+ *
+ * @maxItems 1000
  */
 export type ResolvedMarkets = MarketResolutionState[];
 /**
@@ -3477,6 +3513,7 @@ export type TopologyClass75 = "macro_federation";
  * The nodes forming the PBFT ring.
  *
  * @minItems 3
+ * @maxItems 1000
  */
 export type ParticipantCids = [NodeCIDState, NodeCIDState, NodeCIDState, ...NodeCIDState[]];
 /**
@@ -3625,6 +3662,8 @@ export type TenantCid186 = string;
 export type DiscourseType = "preamble" | "methodology" | "argumentation" | "findings" | "conclusion" | "addendum";
 /**
  * Explicit pointers linking this discourse block to the specific AtomicPropositionState nodes extracted from its text.
+ *
+ * @maxItems 1000
  */
 export type ContainedPropositions = NodeCIDState[];
 /**
@@ -3722,6 +3761,8 @@ export type TopologyClass82 = "manifold_mapping";
 export type IsometryPreservationScore = number;
 /**
  * Optional geometric projections binding this discrete node to a continuous spatial rendering environment.
+ *
+ * @maxItems 100
  */
 export type SpatialManifoldMappings = ContinuousManifoldMappingContract[];
 /**
@@ -3786,6 +3827,8 @@ export type ColumnSpan = number;
 export type TextPayload = string;
 /**
  * The complete, sorted array of constituent cell geometries.
+ *
+ * @maxItems 10000
  */
 export type Cells = TabularCellState[];
 /**
@@ -3806,6 +3849,8 @@ export type ParentKey = string;
 export type ChildKey = string;
 /**
  * Explicit state projection inputs.
+ *
+ * @maxItems 100
  */
 export type InputMappings = InputMappingContract[];
 /**
@@ -3822,6 +3867,8 @@ export type ChildKey1 = string;
 export type ParentKey1 = string;
 /**
  * Explicit state projection outputs.
+ *
+ * @maxItems 100
  */
 export type OutputMappings = OutputMappingContract[];
 /**
@@ -3842,6 +3889,8 @@ export type ArchitecturalIntent15 = string | null;
 export type Justification17 = string | null;
 /**
  * The declarative array of proactive oversight hooks bound to this node's lifecycle.
+ *
+ * @maxItems 1000
  */
 export type InterventionPolicies4 = InterventionPolicy[];
 /**
@@ -3885,10 +3934,14 @@ export type AuthorNodeCid = string;
 export type LamportTimestamp = number;
 /**
  * The Grow-Only Set (G-Set) of newly transmutated semantic vertices.
+ *
+ * @maxItems 10000
  */
 export type AddSet = NodeCIDState[];
 /**
  * The set of non-monotonic timeline caps.
+ *
+ * @maxItems 10000
  */
 export type TerminateSet = TemporalEdgeInvalidationIntent[];
 /**
@@ -4155,6 +4208,8 @@ export type SourceEventCid1 = string;
 export type InfluenceWeight = number;
 /**
  * Immutable audit trail of prior states that forced this specific cognitive synthesis.
+ *
+ * @maxItems 1000
  */
 export type CausalAttributions = CausalAttributionState[];
 /**
@@ -4232,6 +4287,8 @@ export type IllocutionaryForceProfile = "assertive" | "directive_normative" | "c
 export type TextChunk1 = string;
 /**
  * Explicit array of entity DIDs/CIDs resolving implicit references (e.g., pronouns) within the text chunk back to explicit nodes.
+ *
+ * @maxItems 100
  */
 export type AnaphoricResolutionCids = NodeCIDState[];
 /**
@@ -4260,6 +4317,8 @@ export type LowerBound = number | null;
 export type UpperBound = number | null;
 /**
  * Explicit mathematical boundaries extracted from the text that empirically limit the certainty or scope of the proposition.
+ *
+ * @maxItems 100
  */
 export type StatisticalQualifiers = EmpiricalStatisticalProfile[];
 /**
@@ -4597,6 +4656,7 @@ export type SourceChainCid = string;
 export type TargetSourceConcept = string;
 /**
  * @minItems 1
+ * @maxItems 1000
  */
 export type PredictedTopKTokens = [string, ...string[]];
 /**
@@ -5079,6 +5139,8 @@ export type TopologyClass123 = "epistemic_starvation";
 export type StarvedEdgeCid = string;
 /**
  * The array of citations evaluated that fell below the required NLI threshold.
+ *
+ * @maxItems 1000
  */
 export type FailedCitations = EvidentiaryCitationState[];
 /**
@@ -5361,6 +5423,8 @@ export type AuctionMechanismProfile = "sealed_bid" | "dutch" | "vickrey";
 export type TenantCid267 = string;
 /**
  * The array of received bids.
+ *
+ * @maxItems 1000
  */
 export type Bids = AgentBidIntent[];
 /**
@@ -5437,6 +5501,8 @@ export type MutuallyExclusiveClusters = string[][];
 export type EnforcementAction = "halt_and_quarantine" | "sever_causal_chain";
 /**
  * A deterministic array of DIDs authorized to validate this manifest.
+ *
+ * @maxItems 1000
  */
 export type TrustedValidators = NodeCIDState[];
 /**
@@ -5542,6 +5608,8 @@ export type TenantCid279 = string;
 export type Jti = string;
 /**
  * An array of older JWT IDs that this token explicitly invalidates.
+ *
+ * @maxItems 100
  */
 export type Supersedes = string[];
 /**
@@ -5550,6 +5618,8 @@ export type Supersedes = string[];
 export type Exp = number;
 /**
  * The granted access rights (e.g., 'COMMERCIAL_USE', 'IP_SOVEREIGNTY_EXCEPTION').
+ *
+ * @maxItems 1000
  */
 export type Entitlements = string[];
 /**
@@ -5592,8 +5662,18 @@ export type IssuedAtEpoch = number;
  * The POSIX timestamp (seconds since epoch) when this receipt mechanically terminates. After expiration, the WASM sandbox must gracefully fallback to Prosperity 3.0 mode.
  */
 export type ExpiresAtEpoch = number;
+/**
+ * The standard JWT Expiration Time claim representing the POSIX timestamp when the receipt mechanically terminates.
+ */
+export type Exp1 = number;
+/**
+ * The standard JWT Issued At claim representing the POSIX timestamp when the receipt was issued.
+ */
+export type Iat = number;
 /**
  * The specific feature flags and access rights granted by the commercial license. Examples: 'IP_SOVEREIGNTY_EXCEPTION', 'COMMERCIAL_USE', 'PRIVATE_NETWORK_FEDERATION', 'UNLIMITED_FORGE_OUTPUT'.
+ *
+ * @maxItems 1000
  */
 export type Entitlements1 = string[];
 /**
@@ -5724,6 +5804,8 @@ export type TenantCid287 = string;
 export type CapabilityCid2 = string;
 /**
  * The strictly bounded set of ToolIdentifiers this delegation permits.
+ *
+ * @maxItems 1000
  */
 export type AllowedToolCids = CapabilityPointerState[];
 /**
@@ -5836,6 +5918,7 @@ export type TenantCid295 = string;
  * The strict array of strict W3C DIDs (NodeIdentifierStates) representing concurrent topology branches.
  *
  * @minItems 2
+ * @maxItems 100
  */
 export type ConcurrentBranchCids = [NodeCIDState, NodeCIDState, ...NodeCIDState[]];
 /**
@@ -5876,6 +5959,8 @@ export type SourceSemanticNodeCid = string | null;
 export type Justification19 = string;
 /**
  * The foundational premises supporting this claim.
+ *
+ * @maxItems 100
  */
 export type Warrants = EvidentiaryWarrantState[];
 /**
@@ -5942,6 +6027,7 @@ export type ProofCid = string;
  * The strictly ordered sequence of axioms forming the reasoning path.
  *
  * @minItems 1
+ * @maxItems 1000
  */
 export type AxiomaticChain = [EpistemicAxiomState, ...EpistemicAxiomState[]];
 /**
@@ -5955,6 +6041,7 @@ export type TenantCid304 = string;
 export type GraphCid1 = string;
 /**
  * @minItems 1
+ * @maxItems 1000
  */
 export type VerifiedAxioms = [EpistemicAxiomState, ...EpistemicAxiomState[]];
 /**
@@ -6017,6 +6104,8 @@ export type TenantCid308 = string;
 export type History = AnyStateEvent[];
 /**
  * A strict sequence of CIDs representing historical nodes that have been severed from the causal graph via defeasible logic.
+ *
+ * @maxItems 10000
  */
 export type RetractedNodes = string[];
 /**
@@ -6043,6 +6132,8 @@ export type StateHash = string;
 export type Checkpoints = TemporalCheckpointState[];
 /**
  * Causal invalidations actively enforced on the execution tree.
+ *
+ * @maxItems 1000
  */
 export type ActiveRollbacks = RollbackIntent[];
 /**
@@ -6063,6 +6154,8 @@ export type MaxRetainedTokens = number;
 export type ProtectedEventCids = string[];
 /**
  * The active state-differential payload muting specific causal subgraphs due to falsification.
+ *
+ * @maxItems 1000
  */
 export type ActiveCascades = DefeasibleCascadeEvent[];
 /**
@@ -6109,6 +6202,8 @@ export type IdentifiedKnowledgeGaps = string[];
 export type EmpathyConfidenceScore = number;
 /**
  * Empathetic models of other agents to compress and target outgoing communications.
+ *
+ * @maxItems 1000
  */
 export type TheoryOfMindMatrices = TheoryOfMindSnapshot[];
 /**
@@ -6129,6 +6224,8 @@ export type ActionSpaces = CognitiveActionSpaceManifest[];
 export type ProfileCIDState = string;
 /**
  * The strict array of foundational model personas available.
+ *
+ * @maxItems 100
  */
 export type SupportedPersonas = ProfileCIDState[];
 /**
@@ -6333,6 +6430,8 @@ export type InvariantCid = string;
 export type CategoricalCohorts = string[];
 /**
  * The valid chronological windows encompassing the artifact.
+ *
+ * @maxItems 1000
  */
 export type TemporalObservationHorizons = TemporalBoundsProfile2[];
 /**
@@ -6753,6 +6852,8 @@ export type AuthorNodeCid1 = string;
 export type LamportTimestamp1 = number;
 /**
  * The exact, ordered sequence of deterministic state vector mutations.
+ *
+ * @maxItems 1000
  */
 export type Patches = StateMutationIntent[];
 /**
@@ -6765,6 +6866,8 @@ export type TenantCid352 = string;
 export type EpistemicCoordinate = string;
 /**
  * The explicit array of cryptographic pointers to past immutable EpistemicLedgerState blocks.
+ *
+ * @maxItems 10000
  */
 export type CrystallizedLedgerCids = string[];
 /**
@@ -14484,6 +14587,8 @@ export interface CommercialOverrideReceipt {
     hardware_zk_proof?: HardwareZkProof;
     issued_at_epoch: IssuedAtEpoch;
     expires_at_epoch: ExpiresAtEpoch;
+    exp: Exp1;
+    iat: Iat;
     entitlements?: Entitlements1;
     network_mode: NetworkMode;
     federation_enabled?: FederationEnabled;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@coreason-ai/coreason-manifest",
-  "version": "0.85.1",
+  "version": "0.87.0",
   "description": "TypeScript bindings for the CoReason Hollow Data Plane.",
   "license": "SEE LICENSE IN LICENSE",
   "author": "CoReason, Inc <license@coreason.ai>",