@c4a/context 0.7.0 → 0.7.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (117) hide show
  1. package/README.md +65 -170
  2. package/README.zh-CN.md +52 -129
  3. package/docs/README.md +9 -10
  4. package/docs/README.zh-CN.md +6 -7
  5. package/docs/getting-started.md +73 -422
  6. package/docs/guides/agent-guide.md +94 -523
  7. package/docs/guides/code-indexer-skill-authoring.md +24 -13
  8. package/docs/guides/markdown-indexer-skill-authoring.md +14 -14
  9. package/docs/reference/code-extractors.md +29 -136
  10. package/docs/reference/indexer-provider-protocol.md +60 -138
  11. package/docs/reference/package-templates.md +2 -3
  12. package/docs/reference/project-api.md +52 -985
  13. package/index.d.ts +12 -10
  14. package/index.js +12749 -15335
  15. package/indexerAgentStepProtocol.d.ts +1366 -7649
  16. package/indexerArtifact.d.ts +225 -0
  17. package/indexerArtifactDependencies.d.ts +41 -39
  18. package/indexerArtifactResult.d.ts +221 -255
  19. package/indexerAuthorizedWorksetView.d.ts +368 -0
  20. package/indexerBaseQuestionAmendment.d.ts +484 -280
  21. package/indexerBenchmark.d.ts +16 -16
  22. package/indexerCandidateCompile.d.ts +206 -16
  23. package/indexerCapabilityGroupEvidence.d.ts +6 -6
  24. package/indexerCatalogFallback.d.ts +122 -128
  25. package/indexerCollectionMapping.d.ts +13 -13
  26. package/indexerContentLayers.d.ts +8 -8
  27. package/{indexerOverlayTrust.d.ts → indexerContractOverlay.d.ts} +23 -569
  28. package/indexerControlledInvocation.d.ts +12 -12
  29. package/indexerControlledProgram.d.ts +2467 -2797
  30. package/indexerCoreExports.d.ts +6 -6
  31. package/indexerCustomizationDraft.d.ts +3315 -2091
  32. package/indexerCustomizationLadder.d.ts +2 -2
  33. package/indexerDependencyView.d.ts +108 -108
  34. package/indexerEffectiveArtifact.d.ts +1134 -0
  35. package/indexerEvidenceAdapterAuthorityMerge.d.ts +48 -0
  36. package/indexerEvidenceAdapterResult.d.ts +52 -52
  37. package/indexerExampleDecision.d.ts +128 -128
  38. package/indexerExampleIdentity.d.ts +6 -6
  39. package/indexerGeneratedAuthoringAudit.d.ts +18 -18
  40. package/indexerIncrementalImpact.d.ts +16 -16
  41. package/indexerInspectorWorksetProjection.d.ts +6 -0
  42. package/indexerInventoryDisposition.d.ts +70 -70
  43. package/indexerLayerComposition.d.ts +2139 -373
  44. package/indexerLayoutChange.d.ts +10 -10
  45. package/indexerLayoutProposalSet.d.ts +71 -66
  46. package/indexerLayoutResolver.d.ts +53 -48
  47. package/indexerLayoutTransition.d.ts +0 -50
  48. package/indexerLifecycle.d.ts +0 -13
  49. package/indexerMainLifecycle.d.ts +10 -0
  50. package/indexerMainRunLedger.d.ts +138 -11
  51. package/indexerMainRunProtocol.d.ts +1406 -785
  52. package/indexerMainWorkset.d.ts +460 -206
  53. package/indexerMaterialGapLedger.d.ts +13 -2904
  54. package/indexerOverlayQuestionAmendment.d.ts +497 -293
  55. package/indexerOverlayQuestionApplyProposal.d.ts +1030 -622
  56. package/indexerParserCapabilityCatalog.d.ts +136 -0
  57. package/indexerParserCoordinate.d.ts +16 -16
  58. package/indexerParserDependencyIntent.d.ts +22 -0
  59. package/indexerParserExecutionPlan.d.ts +388 -0
  60. package/indexerParserFactView.d.ts +42 -22
  61. package/indexerPartitionConvergence.d.ts +0 -3
  62. package/indexerPartitionInventory.d.ts +2 -0
  63. package/indexerPartitionPlan.d.ts +101 -99
  64. package/indexerPhysicalArtifactManifest.d.ts +8 -8
  65. package/indexerPostAuthorComposition.d.ts +116 -1156
  66. package/indexerPostAuthorRunLedger.d.ts +1434 -280
  67. package/indexerPrimaryProjection.d.ts +10 -10
  68. package/indexerPrimaryResultView.d.ts +435 -0
  69. package/indexerProfileContract.d.ts +181 -181
  70. package/indexerProgramExecutionAuthorization.d.ts +12 -12
  71. package/indexerProgramRunProtocol.d.ts +2141 -2749
  72. package/indexerProjectProposal.d.ts +496 -292
  73. package/indexerProjectedArtifactFanOutAudit.d.ts +0 -3
  74. package/indexerProtocolCommon.d.ts +4 -1
  75. package/indexerProvider.d.ts +134 -281
  76. package/indexerProviderComposition.d.ts +53 -53
  77. package/indexerProviderResolution.d.ts +12 -12
  78. package/indexerProviderResolutionAction.d.ts +14 -14
  79. package/indexerProviderRouting.d.ts +923 -515
  80. package/indexerProviderSelectionProposal.d.ts +893 -485
  81. package/indexerQuestionAuthority.d.ts +46 -47
  82. package/indexerReaderTargetInventory.d.ts +8 -8
  83. package/indexerRegistry.d.ts +765 -357
  84. package/indexerRequirementConfirmation.d.ts +98 -98
  85. package/indexerRequirementLifecycle.d.ts +224 -224
  86. package/indexerResultReconciliation.d.ts +204 -5919
  87. package/indexerResultReconciliationRun.d.ts +0 -1
  88. package/indexerRunEnvelope.d.ts +20 -20
  89. package/indexerSemanticInput.d.ts +3678 -0
  90. package/indexerStructuredDeclaration.d.ts +57 -53
  91. package/indexerSubjectCatalog.d.ts +14 -14
  92. package/indexerSubjectIdentity.d.ts +2 -2
  93. package/indexerSubjectKeyAuthority.d.ts +31 -30
  94. package/indexerTemplateRendering.d.ts +64 -64
  95. package/indexerToolSnapshot.d.ts +8 -8
  96. package/package.json +1 -1
  97. package/phases.d.ts +3 -183
  98. package/codeIndexPlan.d.ts +0 -158
  99. package/indexerAuditFacts.d.ts +0 -66
  100. package/indexerAuditOverrideReadiness.d.ts +0 -27
  101. package/indexerAuditProtocol.d.ts +0 -238
  102. package/indexerAuditRevision.d.ts +0 -726
  103. package/indexerAuditRevisionActions.d.ts +0 -236
  104. package/indexerMaterialAnswer.d.ts +0 -738
  105. package/indexerMaterialAnswerActualization.d.ts +0 -91
  106. package/indexerMaterialAnswerExecutionPlan.d.ts +0 -2887
  107. package/indexerMaterialAnswerFlow.d.ts +0 -63
  108. package/indexerMaterialAnswerLayout.d.ts +0 -76
  109. package/indexerMaterialAnswerReview.d.ts +0 -217
  110. package/indexerMaterialAnswerReviewRoute.d.ts +0 -6145
  111. package/indexerMaterialAnswerRunLedger.d.ts +0 -918
  112. package/indexerMaterialAnswerRunProtocol.d.ts +0 -1253
  113. package/indexerMaterialQuestionExclusion.d.ts +0 -129
  114. package/indexerMaterialQuestionWorkset.d.ts +0 -508
  115. package/indexerPlannedMaterialAnswer.d.ts +0 -116
  116. package/indexerProfileMetricAudit.d.ts +0 -218
  117. package/indexerWorksetRead.d.ts +0 -287
@@ -275,7 +275,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
275
275
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
276
276
  }>>;
277
277
  }, "strict", z.ZodTypeAny, {
278
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
278
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
279
279
  minimum_items: number;
280
280
  minimum_distinct_sources: number;
281
281
  provenance_constraints?: {
@@ -283,7 +283,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
283
283
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
284
284
  } | undefined;
285
285
  }, {
286
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
286
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
287
287
  minimum_items: number;
288
288
  minimum_distinct_sources: number;
289
289
  provenance_constraints?: {
@@ -303,7 +303,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
303
303
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
304
304
  };
305
305
  evidence_contract: {
306
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
306
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
307
307
  minimum_items: number;
308
308
  minimum_distinct_sources: number;
309
309
  provenance_constraints?: {
@@ -323,7 +323,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
323
323
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
324
324
  };
325
325
  evidence_contract: {
326
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
326
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
327
327
  minimum_items: number;
328
328
  minimum_distinct_sources: number;
329
329
  provenance_constraints?: {
@@ -343,7 +343,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
343
343
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
344
344
  };
345
345
  evidence_contract: {
346
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
346
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
347
347
  minimum_items: number;
348
348
  minimum_distinct_sources: number;
349
349
  provenance_constraints?: {
@@ -363,7 +363,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
363
363
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
364
364
  };
365
365
  evidence_contract: {
366
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
366
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
367
367
  minimum_items: number;
368
368
  minimum_distinct_sources: number;
369
369
  provenance_constraints?: {
@@ -441,7 +441,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
441
441
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
442
442
  };
443
443
  evidence_contract: {
444
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
444
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
445
445
  minimum_items: number;
446
446
  minimum_distinct_sources: number;
447
447
  provenance_constraints?: {
@@ -519,7 +519,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
519
519
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
520
520
  };
521
521
  evidence_contract: {
522
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
522
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
523
523
  minimum_items: number;
524
524
  minimum_distinct_sources: number;
525
525
  provenance_constraints?: {
@@ -674,7 +674,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
674
674
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
675
675
  };
676
676
  evidence_contract: {
677
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
677
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
678
678
  minimum_items: number;
679
679
  minimum_distinct_sources: number;
680
680
  provenance_constraints?: {
@@ -781,7 +781,7 @@ export declare const indexerContractOverlaySchema: z.ZodObject<{
781
781
  expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
782
782
  };
783
783
  evidence_contract: {
784
- accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
784
+ accepted_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
785
785
  minimum_items: number;
786
786
  minimum_distinct_sources: number;
787
787
  provenance_constraints?: {
@@ -832,594 +832,48 @@ export declare function validateIndexerContractOverlay(input: {
832
832
  effectiveProfile: IndexerProfileContractEntry;
833
833
  report: IndexerOverlayConformanceReport;
834
834
  };
835
- export declare const indexerOverlayAttestationSchema: z.ZodObject<{
836
- protocol: z.ZodLiteral<"context.indexer.overlay-attestation/v1">;
837
- overlay: z.ZodObject<{
838
- protocol: z.ZodLiteral<"context.indexer.contract-overlay/v1">;
839
- id: z.ZodEffects<z.ZodString, string, string>;
840
- version: z.ZodString;
841
- digest: z.ZodString;
842
- }, "strict", z.ZodTypeAny, {
843
- id: string;
844
- protocol: "context.indexer.contract-overlay/v1";
845
- digest: string;
846
- version: string;
847
- }, {
848
- id: string;
849
- protocol: "context.indexer.contract-overlay/v1";
850
- digest: string;
851
- version: string;
852
- }>;
853
- base: z.ZodObject<{
854
- profile: z.ZodEffects<z.ZodString, string, string>;
855
- version: z.ZodString;
856
- contract_digest: z.ZodString;
857
- }, "strict", z.ZodTypeAny, {
858
- contract_digest: string;
859
- version: string;
860
- profile: string;
861
- }, {
862
- contract_digest: string;
863
- version: string;
864
- profile: string;
865
- }>;
866
- operator_contract: z.ZodObject<{
867
- version: z.ZodString;
868
- digest: z.ZodString;
869
- }, "strict", z.ZodTypeAny, {
870
- digest: string;
871
- version: string;
872
- }, {
873
- digest: string;
874
- version: string;
875
- }>;
876
- issuer: z.ZodEffects<z.ZodString, string, string>;
877
- key_id: z.ZodEffects<z.ZodString, string, string>;
878
- algorithm: z.ZodLiteral<"ed25519">;
879
- signature: z.ZodString;
880
- attestation_digest: z.ZodString;
881
- }, "strict", z.ZodTypeAny, {
882
- protocol: "context.indexer.overlay-attestation/v1";
883
- issuer: string;
884
- overlay: {
885
- id: string;
886
- protocol: "context.indexer.contract-overlay/v1";
887
- digest: string;
888
- version: string;
889
- };
890
- base: {
891
- contract_digest: string;
892
- version: string;
893
- profile: string;
894
- };
895
- operator_contract: {
896
- digest: string;
897
- version: string;
898
- };
899
- key_id: string;
900
- algorithm: "ed25519";
901
- signature: string;
902
- attestation_digest: string;
903
- }, {
904
- protocol: "context.indexer.overlay-attestation/v1";
905
- issuer: string;
906
- overlay: {
907
- id: string;
908
- protocol: "context.indexer.contract-overlay/v1";
909
- digest: string;
910
- version: string;
911
- };
912
- base: {
913
- contract_digest: string;
914
- version: string;
915
- profile: string;
916
- };
917
- operator_contract: {
918
- digest: string;
919
- version: string;
920
- };
921
- key_id: string;
922
- algorithm: "ed25519";
923
- signature: string;
924
- attestation_digest: string;
925
- }>;
926
- export type IndexerOverlayAttestation = z.infer<typeof indexerOverlayAttestationSchema>;
927
- export declare function indexerOverlayAttestationSigningPayload(attestation: Omit<IndexerOverlayAttestation, "signature" | "attestation_digest">): string;
928
- export declare function indexerOverlayAttestationDigest(attestation: Omit<IndexerOverlayAttestation, "attestation_digest">): string;
929
- export declare const indexerOverlayTrustBundleSchema: z.ZodEffects<z.ZodObject<{
930
- protocol: z.ZodLiteral<"context.indexer.overlay-trust-bundle/v1">;
931
- policy_id: z.ZodEffects<z.ZodString, string, string>;
932
- policy_version: z.ZodString;
933
- issuers: z.ZodArray<z.ZodObject<{
934
- id: z.ZodEffects<z.ZodString, string, string>;
935
- keys: z.ZodArray<z.ZodObject<{
936
- key_id: z.ZodEffects<z.ZodString, string, string>;
937
- algorithm: z.ZodLiteral<"ed25519">;
938
- public_key: z.ZodString;
939
- not_before: z.ZodString;
940
- not_after: z.ZodString;
941
- }, "strict", z.ZodTypeAny, {
942
- key_id: string;
943
- algorithm: "ed25519";
944
- public_key: string;
945
- not_before: string;
946
- not_after: string;
947
- }, {
948
- key_id: string;
949
- algorithm: "ed25519";
950
- public_key: string;
951
- not_before: string;
952
- not_after: string;
953
- }>, "many">;
954
- }, "strict", z.ZodTypeAny, {
955
- keys: {
956
- key_id: string;
957
- algorithm: "ed25519";
958
- public_key: string;
959
- not_before: string;
960
- not_after: string;
961
- }[];
962
- id: string;
963
- }, {
964
- keys: {
965
- key_id: string;
966
- algorithm: "ed25519";
967
- public_key: string;
968
- not_before: string;
969
- not_after: string;
970
- }[];
971
- id: string;
972
- }>, "many">;
973
- revocations: z.ZodArray<z.ZodObject<{
974
- issuer: z.ZodEffects<z.ZodString, string, string>;
975
- key_id: z.ZodEffects<z.ZodString, string, string>;
976
- revoked_at: z.ZodString;
977
- }, "strict", z.ZodTypeAny, {
978
- issuer: string;
979
- key_id: string;
980
- revoked_at: string;
981
- }, {
982
- issuer: string;
983
- key_id: string;
984
- revoked_at: string;
985
- }>, "many">;
986
- policy_digest: z.ZodString;
987
- }, "strict", z.ZodTypeAny, {
988
- protocol: "context.indexer.overlay-trust-bundle/v1";
989
- policy_digest: string;
990
- policy_id: string;
991
- policy_version: string;
992
- issuers: {
993
- keys: {
994
- key_id: string;
995
- algorithm: "ed25519";
996
- public_key: string;
997
- not_before: string;
998
- not_after: string;
999
- }[];
1000
- id: string;
1001
- }[];
1002
- revocations: {
1003
- issuer: string;
1004
- key_id: string;
1005
- revoked_at: string;
1006
- }[];
1007
- }, {
1008
- protocol: "context.indexer.overlay-trust-bundle/v1";
1009
- policy_digest: string;
1010
- policy_id: string;
1011
- policy_version: string;
1012
- issuers: {
1013
- keys: {
1014
- key_id: string;
1015
- algorithm: "ed25519";
1016
- public_key: string;
1017
- not_before: string;
1018
- not_after: string;
1019
- }[];
1020
- id: string;
1021
- }[];
1022
- revocations: {
1023
- issuer: string;
1024
- key_id: string;
1025
- revoked_at: string;
1026
- }[];
1027
- }>, {
1028
- protocol: "context.indexer.overlay-trust-bundle/v1";
1029
- policy_digest: string;
1030
- policy_id: string;
1031
- policy_version: string;
1032
- issuers: {
1033
- keys: {
1034
- key_id: string;
1035
- algorithm: "ed25519";
1036
- public_key: string;
1037
- not_before: string;
1038
- not_after: string;
1039
- }[];
1040
- id: string;
1041
- }[];
1042
- revocations: {
1043
- issuer: string;
1044
- key_id: string;
1045
- revoked_at: string;
1046
- }[];
1047
- }, {
1048
- protocol: "context.indexer.overlay-trust-bundle/v1";
1049
- policy_digest: string;
1050
- policy_id: string;
1051
- policy_version: string;
1052
- issuers: {
1053
- keys: {
1054
- key_id: string;
1055
- algorithm: "ed25519";
1056
- public_key: string;
1057
- not_before: string;
1058
- not_after: string;
1059
- }[];
1060
- id: string;
1061
- }[];
1062
- revocations: {
1063
- issuer: string;
1064
- key_id: string;
1065
- revoked_at: string;
1066
- }[];
1067
- }>;
1068
- export type IndexerOverlayTrustBundle = z.infer<typeof indexerOverlayTrustBundleSchema>;
1069
- export declare function indexerOverlayTrustBundleDigest(bundle: Omit<IndexerOverlayTrustBundle, "policy_digest">): string;
1070
- export declare const indexerOverlayTrustBundleEnvelopeSchema: z.ZodObject<{
1071
- protocol: z.ZodLiteral<"context.indexer.overlay-trust-bundle-envelope/v1">;
1072
- adapter: z.ZodEffects<z.ZodString, string, string>;
1073
- adapter_version: z.ZodString;
1074
- management_authority_digest: z.ZodString;
1075
- bundle: z.ZodEffects<z.ZodObject<{
1076
- protocol: z.ZodLiteral<"context.indexer.overlay-trust-bundle/v1">;
1077
- policy_id: z.ZodEffects<z.ZodString, string, string>;
1078
- policy_version: z.ZodString;
1079
- issuers: z.ZodArray<z.ZodObject<{
1080
- id: z.ZodEffects<z.ZodString, string, string>;
1081
- keys: z.ZodArray<z.ZodObject<{
1082
- key_id: z.ZodEffects<z.ZodString, string, string>;
1083
- algorithm: z.ZodLiteral<"ed25519">;
1084
- public_key: z.ZodString;
1085
- not_before: z.ZodString;
1086
- not_after: z.ZodString;
1087
- }, "strict", z.ZodTypeAny, {
1088
- key_id: string;
1089
- algorithm: "ed25519";
1090
- public_key: string;
1091
- not_before: string;
1092
- not_after: string;
1093
- }, {
1094
- key_id: string;
1095
- algorithm: "ed25519";
1096
- public_key: string;
1097
- not_before: string;
1098
- not_after: string;
1099
- }>, "many">;
1100
- }, "strict", z.ZodTypeAny, {
1101
- keys: {
1102
- key_id: string;
1103
- algorithm: "ed25519";
1104
- public_key: string;
1105
- not_before: string;
1106
- not_after: string;
1107
- }[];
1108
- id: string;
1109
- }, {
1110
- keys: {
1111
- key_id: string;
1112
- algorithm: "ed25519";
1113
- public_key: string;
1114
- not_before: string;
1115
- not_after: string;
1116
- }[];
1117
- id: string;
1118
- }>, "many">;
1119
- revocations: z.ZodArray<z.ZodObject<{
1120
- issuer: z.ZodEffects<z.ZodString, string, string>;
1121
- key_id: z.ZodEffects<z.ZodString, string, string>;
1122
- revoked_at: z.ZodString;
1123
- }, "strict", z.ZodTypeAny, {
1124
- issuer: string;
1125
- key_id: string;
1126
- revoked_at: string;
1127
- }, {
1128
- issuer: string;
1129
- key_id: string;
1130
- revoked_at: string;
1131
- }>, "many">;
1132
- policy_digest: z.ZodString;
1133
- }, "strict", z.ZodTypeAny, {
1134
- protocol: "context.indexer.overlay-trust-bundle/v1";
1135
- policy_digest: string;
1136
- policy_id: string;
1137
- policy_version: string;
1138
- issuers: {
1139
- keys: {
1140
- key_id: string;
1141
- algorithm: "ed25519";
1142
- public_key: string;
1143
- not_before: string;
1144
- not_after: string;
1145
- }[];
1146
- id: string;
1147
- }[];
1148
- revocations: {
1149
- issuer: string;
1150
- key_id: string;
1151
- revoked_at: string;
1152
- }[];
1153
- }, {
1154
- protocol: "context.indexer.overlay-trust-bundle/v1";
1155
- policy_digest: string;
1156
- policy_id: string;
1157
- policy_version: string;
1158
- issuers: {
1159
- keys: {
1160
- key_id: string;
1161
- algorithm: "ed25519";
1162
- public_key: string;
1163
- not_before: string;
1164
- not_after: string;
1165
- }[];
1166
- id: string;
1167
- }[];
1168
- revocations: {
1169
- issuer: string;
1170
- key_id: string;
1171
- revoked_at: string;
1172
- }[];
1173
- }>, {
1174
- protocol: "context.indexer.overlay-trust-bundle/v1";
1175
- policy_digest: string;
1176
- policy_id: string;
1177
- policy_version: string;
1178
- issuers: {
1179
- keys: {
1180
- key_id: string;
1181
- algorithm: "ed25519";
1182
- public_key: string;
1183
- not_before: string;
1184
- not_after: string;
1185
- }[];
1186
- id: string;
1187
- }[];
1188
- revocations: {
1189
- issuer: string;
1190
- key_id: string;
1191
- revoked_at: string;
1192
- }[];
1193
- }, {
1194
- protocol: "context.indexer.overlay-trust-bundle/v1";
1195
- policy_digest: string;
1196
- policy_id: string;
1197
- policy_version: string;
1198
- issuers: {
1199
- keys: {
1200
- key_id: string;
1201
- algorithm: "ed25519";
1202
- public_key: string;
1203
- not_before: string;
1204
- not_after: string;
1205
- }[];
1206
- id: string;
1207
- }[];
1208
- revocations: {
1209
- issuer: string;
1210
- key_id: string;
1211
- revoked_at: string;
1212
- }[];
1213
- }>;
1214
- }, "strict", z.ZodTypeAny, {
1215
- adapter: string;
1216
- protocol: "context.indexer.overlay-trust-bundle-envelope/v1";
1217
- bundle: {
1218
- protocol: "context.indexer.overlay-trust-bundle/v1";
1219
- policy_digest: string;
1220
- policy_id: string;
1221
- policy_version: string;
1222
- issuers: {
1223
- keys: {
1224
- key_id: string;
1225
- algorithm: "ed25519";
1226
- public_key: string;
1227
- not_before: string;
1228
- not_after: string;
1229
- }[];
1230
- id: string;
1231
- }[];
1232
- revocations: {
1233
- issuer: string;
1234
- key_id: string;
1235
- revoked_at: string;
1236
- }[];
1237
- };
1238
- adapter_version: string;
1239
- management_authority_digest: string;
1240
- }, {
1241
- adapter: string;
1242
- protocol: "context.indexer.overlay-trust-bundle-envelope/v1";
1243
- bundle: {
1244
- protocol: "context.indexer.overlay-trust-bundle/v1";
1245
- policy_digest: string;
1246
- policy_id: string;
1247
- policy_version: string;
1248
- issuers: {
1249
- keys: {
1250
- key_id: string;
1251
- algorithm: "ed25519";
1252
- public_key: string;
1253
- not_before: string;
1254
- not_after: string;
1255
- }[];
1256
- id: string;
1257
- }[];
1258
- revocations: {
1259
- issuer: string;
1260
- key_id: string;
1261
- revoked_at: string;
1262
- }[];
1263
- };
1264
- adapter_version: string;
1265
- management_authority_digest: string;
1266
- }>;
1267
- export type IndexerOverlayTrustBundleEnvelope = z.infer<typeof indexerOverlayTrustBundleEnvelopeSchema>;
1268
- export declare const indexerOverlayTrustReceiptSchema: z.ZodDiscriminatedUnion<"trust_class", [z.ZodObject<{
1269
- protocol: z.ZodLiteral<"context.indexer.overlay-trust-receipt/v1">;
1270
- trust_class: z.ZodLiteral<"enterprise-signed">;
1271
- project_ref: z.ZodNull;
1272
- overlay_digest: z.ZodString;
1273
- attestation_digest: z.ZodString;
1274
- base_contract_digest: z.ZodString;
1275
- provider_integrity: z.ZodString;
1276
- operator_contract_digest: z.ZodString;
1277
- conformance_report_digest: z.ZodString;
1278
- trust_adapter: z.ZodEffects<z.ZodString, string, string>;
1279
- trust_adapter_version: z.ZodString;
1280
- trust_management_authority_digest: z.ZodString;
1281
- trust_policy_digest: z.ZodString;
1282
- authorization_receipt_digest: z.ZodNull;
1283
- receipt_digest: z.ZodString;
1284
- }, "strict", z.ZodTypeAny, {
1285
- protocol: "context.indexer.overlay-trust-receipt/v1";
1286
- receipt_digest: string;
1287
- operator_contract_digest: string;
1288
- project_ref: null;
1289
- provider_integrity: string;
1290
- authorization_receipt_digest: null;
1291
- overlay_digest: string;
1292
- base_contract_digest: string;
1293
- attestation_digest: string;
1294
- trust_class: "enterprise-signed";
1295
- conformance_report_digest: string;
1296
- trust_adapter: string;
1297
- trust_adapter_version: string;
1298
- trust_management_authority_digest: string;
1299
- trust_policy_digest: string;
1300
- }, {
1301
- protocol: "context.indexer.overlay-trust-receipt/v1";
1302
- receipt_digest: string;
1303
- operator_contract_digest: string;
1304
- project_ref: null;
1305
- provider_integrity: string;
1306
- authorization_receipt_digest: null;
1307
- overlay_digest: string;
1308
- base_contract_digest: string;
1309
- attestation_digest: string;
1310
- trust_class: "enterprise-signed";
1311
- conformance_report_digest: string;
1312
- trust_adapter: string;
1313
- trust_adapter_version: string;
1314
- trust_management_authority_digest: string;
1315
- trust_policy_digest: string;
1316
- }>, z.ZodObject<{
1317
- protocol: z.ZodLiteral<"context.indexer.overlay-trust-receipt/v1">;
1318
- trust_class: z.ZodLiteral<"project-authorized-exact-digest">;
835
+ export declare const indexerOverlayValidationReceiptSchema: z.ZodObject<{
836
+ protocol: z.ZodLiteral<"context.indexer.overlay-validation-receipt/v1">;
1319
837
  project_ref: z.ZodString;
1320
838
  overlay_digest: z.ZodString;
1321
- attestation_digest: z.ZodNullable<z.ZodString>;
1322
839
  base_contract_digest: z.ZodString;
1323
840
  provider_integrity: z.ZodString;
1324
841
  operator_contract_digest: z.ZodString;
1325
842
  conformance_report_digest: z.ZodString;
1326
- trust_adapter: z.ZodNull;
1327
- trust_adapter_version: z.ZodNull;
1328
- trust_management_authority_digest: z.ZodNull;
1329
- trust_policy_digest: z.ZodNull;
1330
- authorization_receipt_digest: z.ZodString;
1331
843
  receipt_digest: z.ZodString;
1332
844
  }, "strict", z.ZodTypeAny, {
1333
- protocol: "context.indexer.overlay-trust-receipt/v1";
845
+ protocol: "context.indexer.overlay-validation-receipt/v1";
1334
846
  receipt_digest: string;
1335
847
  operator_contract_digest: string;
1336
848
  project_ref: string;
1337
849
  provider_integrity: string;
1338
- authorization_receipt_digest: string;
1339
850
  overlay_digest: string;
1340
851
  base_contract_digest: string;
1341
- attestation_digest: string | null;
1342
- trust_class: "project-authorized-exact-digest";
1343
852
  conformance_report_digest: string;
1344
- trust_adapter: null;
1345
- trust_adapter_version: null;
1346
- trust_management_authority_digest: null;
1347
- trust_policy_digest: null;
1348
853
  }, {
1349
- protocol: "context.indexer.overlay-trust-receipt/v1";
854
+ protocol: "context.indexer.overlay-validation-receipt/v1";
1350
855
  receipt_digest: string;
1351
856
  operator_contract_digest: string;
1352
857
  project_ref: string;
1353
858
  provider_integrity: string;
1354
- authorization_receipt_digest: string;
1355
859
  overlay_digest: string;
1356
860
  base_contract_digest: string;
1357
- attestation_digest: string | null;
1358
- trust_class: "project-authorized-exact-digest";
1359
861
  conformance_report_digest: string;
1360
- trust_adapter: null;
1361
- trust_adapter_version: null;
1362
- trust_management_authority_digest: null;
1363
- trust_policy_digest: null;
1364
- }>]>;
1365
- export type IndexerOverlayTrustReceipt = z.infer<typeof indexerOverlayTrustReceiptSchema>;
1366
- export declare function indexerOverlayTrustReceiptDigest(receipt: Omit<IndexerOverlayTrustReceipt, "receipt_digest">): string;
1367
- export declare function validateIndexerOverlayAttestation(value: unknown, overlay: IndexerContractOverlay, base: IndexerProfileContract, operators: IndexerOperatorContract): IndexerOverlayAttestation;
1368
- export declare function validateIndexerOverlayTrustBundleEnvelope(value: unknown): IndexerOverlayTrustBundleEnvelope;
1369
- export declare function verifyEnterpriseIndexerOverlayTrust(input: {
862
+ }>;
863
+ export type IndexerOverlayValidationReceipt = z.infer<typeof indexerOverlayValidationReceiptSchema>;
864
+ export declare function indexerOverlayValidationReceiptDigest(receipt: Omit<IndexerOverlayValidationReceipt, "receipt_digest">): string;
865
+ export declare function createIndexerOverlayValidationReceipt(input: {
1370
866
  overlayValidation: ReturnType<typeof validateIndexerContractOverlay>;
1371
867
  baseContract: IndexerProfileContract;
1372
868
  operatorContract: IndexerOperatorContract;
1373
869
  providerIntegrity: string;
1374
- attestation: unknown;
1375
- trustBundleEnvelope: unknown;
1376
- now?: Date;
1377
- }): IndexerOverlayTrustReceipt;
1378
- export declare const indexerOverlayProjectAuthorizationSchema: z.ZodObject<{
1379
- protocol: z.ZodLiteral<"context.indexer.overlay-project-authorization/v1">;
1380
- project_ref: z.ZodString;
1381
- overlay_digest: z.ZodString;
1382
- attestation_digest: z.ZodNullable<z.ZodString>;
1383
- base_contract_digest: z.ZodString;
1384
- provider_integrity: z.ZodString;
1385
- operator_contract_digest: z.ZodString;
1386
- conformance_report_digest: z.ZodString;
1387
- authority_ref: z.ZodString;
1388
- authority_scope_digest: z.ZodString;
1389
- authorization_receipt_digest: z.ZodString;
1390
- }, "strict", z.ZodTypeAny, {
1391
- protocol: "context.indexer.overlay-project-authorization/v1";
1392
- authority_ref: string;
1393
- operator_contract_digest: string;
1394
- project_ref: string;
1395
- provider_integrity: string;
1396
- authority_scope_digest: string;
1397
- authorization_receipt_digest: string;
1398
- overlay_digest: string;
1399
- base_contract_digest: string;
1400
- attestation_digest: string | null;
1401
- conformance_report_digest: string;
1402
- }, {
1403
- protocol: "context.indexer.overlay-project-authorization/v1";
1404
- authority_ref: string;
1405
- operator_contract_digest: string;
1406
- project_ref: string;
1407
- provider_integrity: string;
1408
- authority_scope_digest: string;
1409
- authorization_receipt_digest: string;
1410
- overlay_digest: string;
1411
- base_contract_digest: string;
1412
- attestation_digest: string | null;
1413
- conformance_report_digest: string;
1414
- }>;
1415
- export type IndexerOverlayProjectAuthorization = z.infer<typeof indexerOverlayProjectAuthorizationSchema>;
1416
- export declare function indexerOverlayProjectAuthorizationDigest(authorization: Omit<IndexerOverlayProjectAuthorization, "authorization_receipt_digest">): string;
1417
- export declare function authorizeProjectIndexerOverlay(input: {
870
+ projectRef: string;
871
+ }): IndexerOverlayValidationReceipt;
872
+ export declare function validateIndexerOverlayValidationReceipt(input: {
873
+ value: unknown;
1418
874
  overlayValidation: ReturnType<typeof validateIndexerContractOverlay>;
1419
875
  baseContract: IndexerProfileContract;
1420
876
  operatorContract: IndexerOperatorContract;
1421
877
  providerIntegrity: string;
1422
878
  projectRef: string;
1423
- declaredAttestationDigest: string | null;
1424
- authorization: unknown;
1425
- }): IndexerOverlayTrustReceipt;
879
+ }): IndexerOverlayValidationReceipt;