occam-verify-cli 1.0.825 → 1.0.827

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 (129) hide show
  1. package/lib/element/assertion/contained.js +9 -5
  2. package/lib/element/assertion/property.js +9 -5
  3. package/lib/element/assertion/satisfies.js +9 -5
  4. package/lib/element/assertion/subproof.js +9 -5
  5. package/lib/element/assertion/type.js +9 -9
  6. package/lib/element/assertion.js +4 -3
  7. package/lib/element/assumption.js +7 -6
  8. package/lib/element/combinator.js +8 -7
  9. package/lib/element/conclusion.js +8 -7
  10. package/lib/element/constructor.js +7 -6
  11. package/lib/element/declaration/combinator.js +7 -8
  12. package/lib/element/declaration/complexType.js +25 -26
  13. package/lib/element/declaration/constructor.js +10 -11
  14. package/lib/element/declaration/metavariable.js +10 -11
  15. package/lib/element/declaration/simpleType.js +19 -20
  16. package/lib/element/declaration/typePrefix.js +7 -8
  17. package/lib/element/declaration/variable.js +10 -11
  18. package/lib/element/deduction.js +8 -7
  19. package/lib/element/derivation.js +10 -3
  20. package/lib/element/equality.js +8 -7
  21. package/lib/element/equivalence.js +10 -3
  22. package/lib/element/error.js +10 -3
  23. package/lib/element/frame.js +8 -7
  24. package/lib/element/hypothesis.js +8 -7
  25. package/lib/element/judgement.js +8 -7
  26. package/lib/element/label.js +8 -7
  27. package/lib/element/metaType.js +7 -6
  28. package/lib/element/metavariable.js +6 -5
  29. package/lib/element/parameter.js +8 -7
  30. package/lib/element/procedureCall.js +8 -7
  31. package/lib/element/procedureReference.js +8 -7
  32. package/lib/element/proof.js +10 -3
  33. package/lib/element/proofAssertion/premise.js +5 -5
  34. package/lib/element/proofAssertion/step.js +3 -3
  35. package/lib/element/proofAssertion/supposition.js +5 -5
  36. package/lib/element/proofAssertion.js +3 -3
  37. package/lib/element/property.js +7 -6
  38. package/lib/element/propertyRelation.js +8 -7
  39. package/lib/element/reference.js +8 -7
  40. package/lib/element/rule.js +13 -13
  41. package/lib/element/section.js +12 -5
  42. package/lib/element/signature.js +7 -6
  43. package/lib/element/statement.js +6 -5
  44. package/lib/element/subDerivation.js +10 -3
  45. package/lib/element/subproof.js +10 -3
  46. package/lib/element/substitution/frame.js +5 -5
  47. package/lib/element/substitution/reference.js +5 -5
  48. package/lib/element/substitution/statement.js +5 -5
  49. package/lib/element/substitution/term.js +5 -5
  50. package/lib/element/substitution.js +6 -5
  51. package/lib/element/term.js +7 -6
  52. package/lib/element/topLevelAssertion/axiom.js +3 -4
  53. package/lib/element/topLevelAssertion/conjecture.js +3 -4
  54. package/lib/element/topLevelAssertion/lemma.js +3 -4
  55. package/lib/element/topLevelAssertion/theorem.js +3 -4
  56. package/lib/element/topLevelAssertion.js +9 -7
  57. package/lib/element/topLevelMetaAssertion/metaLemma.js +3 -4
  58. package/lib/element/topLevelMetaAssertion/metatheorem.js +3 -4
  59. package/lib/element/topLevelMetaAssertion.js +12 -10
  60. package/lib/element/type.js +9 -8
  61. package/lib/element/typePrefix.js +8 -7
  62. package/lib/element/variable.js +7 -6
  63. package/lib/process/verify.js +17 -17
  64. package/lib/utilities/element.js +127 -93
  65. package/package.json +4 -4
  66. package/src/element/assertion/contained.js +10 -4
  67. package/src/element/assertion/property.js +10 -4
  68. package/src/element/assertion/satisfies.js +10 -4
  69. package/src/element/assertion/subproof.js +10 -4
  70. package/src/element/assertion/type.js +13 -15
  71. package/src/element/assertion.js +3 -1
  72. package/src/element/assumption.js +7 -5
  73. package/src/element/combinator.js +7 -5
  74. package/src/element/conclusion.js +7 -5
  75. package/src/element/constructor.js +6 -4
  76. package/src/element/declaration/combinator.js +6 -9
  77. package/src/element/declaration/complexType.js +24 -33
  78. package/src/element/declaration/constructor.js +9 -13
  79. package/src/element/declaration/metavariable.js +9 -13
  80. package/src/element/declaration/simpleType.js +19 -26
  81. package/src/element/declaration/typePrefix.js +6 -9
  82. package/src/element/declaration/variable.js +9 -13
  83. package/src/element/deduction.js +7 -5
  84. package/src/element/derivation.js +13 -2
  85. package/src/element/equality.js +7 -5
  86. package/src/element/equivalence.js +13 -2
  87. package/src/element/error.js +13 -3
  88. package/src/element/frame.js +7 -5
  89. package/src/element/hypothesis.js +7 -5
  90. package/src/element/judgement.js +7 -5
  91. package/src/element/label.js +7 -5
  92. package/src/element/metaType.js +7 -4
  93. package/src/element/metavariable.js +6 -4
  94. package/src/element/parameter.js +7 -5
  95. package/src/element/procedureCall.js +7 -5
  96. package/src/element/procedureReference.js +7 -5
  97. package/src/element/proof.js +13 -2
  98. package/src/element/proofAssertion/premise.js +4 -4
  99. package/src/element/proofAssertion/step.js +2 -2
  100. package/src/element/proofAssertion/supposition.js +4 -4
  101. package/src/element/proofAssertion.js +2 -2
  102. package/src/element/property.js +6 -4
  103. package/src/element/propertyRelation.js +7 -5
  104. package/src/element/reference.js +7 -5
  105. package/src/element/rule.js +15 -17
  106. package/src/element/section.js +15 -5
  107. package/src/element/signature.js +7 -5
  108. package/src/element/statement.js +5 -3
  109. package/src/element/subDerivation.js +13 -2
  110. package/src/element/subproof.js +13 -2
  111. package/src/element/substitution/frame.js +4 -4
  112. package/src/element/substitution/reference.js +4 -4
  113. package/src/element/substitution/statement.js +4 -4
  114. package/src/element/substitution/term.js +4 -4
  115. package/src/element/substitution.js +5 -3
  116. package/src/element/term.js +6 -4
  117. package/src/element/topLevelAssertion/axiom.js +2 -4
  118. package/src/element/topLevelAssertion/conjecture.js +2 -4
  119. package/src/element/topLevelAssertion/lemma.js +2 -4
  120. package/src/element/topLevelAssertion/theorem.js +2 -4
  121. package/src/element/topLevelAssertion.js +11 -7
  122. package/src/element/topLevelMetaAssertion/metaLemma.js +2 -4
  123. package/src/element/topLevelMetaAssertion/metatheorem.js +2 -4
  124. package/src/element/topLevelMetaAssertion.js +14 -11
  125. package/src/element/type.js +8 -5
  126. package/src/element/typePrefix.js +7 -5
  127. package/src/element/variable.js +6 -4
  128. package/src/process/verify.js +16 -16
  129. package/src/utilities/element.js +194 -84
package/src/process/verify.js CHANGED
@@ -46,7 +46,7 @@ class TopLevelPass extends AsyncPass {
46
46
  let success = false;
47
47
 
48
48
  const error = errorFromErrorNode(errorNode, context),
49
- errorVerifies = await error.verify();
49
+ errorVerifies = await error.verify(context);
50
50
 
51
51
  if (errorVerifies) {
52
52
  success = true;
@@ -61,7 +61,7 @@ class TopLevelPass extends AsyncPass {
61
61
  let success = false;
62
62
 
63
63
  const rule = ruleFromRuleNode(ruleNode, context),
64
- ruleVerifies = await rule.verify();
64
+ ruleVerifies = await rule.verify(context);
65
65
 
66
66
  if (ruleVerifies) {
67
67
  success = true;
@@ -76,7 +76,7 @@ class TopLevelPass extends AsyncPass {
76
76
  let success = false;
77
77
 
78
78
  const axiom = axiomFromAxiomNode(axiomNode, context),
79
- axiomVerifies = await axiom.verify();
79
+ axiomVerifies = await axiom.verify(context);
80
80
 
81
81
  if (axiomVerifies) {
82
82
  success = true;
@@ -91,7 +91,7 @@ class TopLevelPass extends AsyncPass {
91
91
  let success = false;
92
92
 
93
93
  const lemma = lemmaFromLemmaNode(lemmaNode, context),
94
- lemmaVerifies = await lemma.verify();
94
+ lemmaVerifies = await lemma.verify(context);
95
95
 
96
96
  if (lemmaVerifies) {
97
97
  success = true;
@@ -106,7 +106,7 @@ class TopLevelPass extends AsyncPass {
106
106
  let success = false;
107
107
 
108
108
  const section = sectionFromSectionNode(sectionNode, context),
109
- sectionVerifies = await section.verify();
109
+ sectionVerifies = await section.verify(context);
110
110
 
111
111
  if (sectionVerifies) {
112
112
  success = true;
@@ -121,7 +121,7 @@ class TopLevelPass extends AsyncPass {
121
121
  let success = false;
122
122
 
123
123
  const theorem = theoremFromTheoremNode(theoremNode, context),
124
- theoremVerifies = await theorem.verify();
124
+ theoremVerifies = await theorem.verify(context);
125
125
 
126
126
  if (theoremVerifies) {
127
127
  success = true;
@@ -136,7 +136,7 @@ class TopLevelPass extends AsyncPass {
136
136
  let success = false;
137
137
 
138
138
  const metaLemma = metaLemmaFromMetaLemmaNode(metaLemmaNode, context),
139
- metaLemmaVerifies = await metaLemma.verify();
139
+ metaLemmaVerifies = await metaLemma.verify(context);
140
140
 
141
141
  if (metaLemmaVerifies) {
142
142
  success = true;
@@ -151,7 +151,7 @@ class TopLevelPass extends AsyncPass {
151
151
  let success = false;
152
152
 
153
153
  const conjecture = conjectureFromConjectureNode(conjectureNode, context),
154
- conjectureVerifies = await conjecture.verify();
154
+ conjectureVerifies = await conjecture.verify(context);
155
155
 
156
156
  if (conjectureVerifies) {
157
157
  success = true;
@@ -166,7 +166,7 @@ class TopLevelPass extends AsyncPass {
166
166
  let success = false;
167
167
 
168
168
  const metatheorem = metatheoremFromMetatheoremNode(metatheoremNode, context),
169
- metatheoremVerifies = await metatheorem.verify();
169
+ metatheoremVerifies = await metatheorem.verify(context);
170
170
 
171
171
  if (metatheoremVerifies) {
172
172
  success = true;
@@ -181,7 +181,7 @@ class TopLevelPass extends AsyncPass {
181
181
  let success = false;
182
182
 
183
183
  const variableDeclaration = variableDeclarationFromVariableDeclarationNode(variableDeclarationNode, context),
184
- variableDeclarationVerifies = await variableDeclaration.verify();
184
+ variableDeclarationVerifies = await variableDeclaration.verify(context);
185
185
 
186
186
  if (variableDeclarationVerifies) {
187
187
  success = true;
@@ -196,7 +196,7 @@ class TopLevelPass extends AsyncPass {
196
196
  let success = false;
197
197
 
198
198
  const simpleTypeDeclaration = simpleTypeDeclarationFromSimpleTypeDeclarationNode(simpleTypeDeclarationNode, context),
199
- simpleTypeDeclarationVerifies = await simpleTypeDeclaration.verify();
199
+ simpleTypeDeclarationVerifies = await simpleTypeDeclaration.verify(context);
200
200
 
201
201
  if (simpleTypeDeclarationVerifies) {
202
202
  success = true;
@@ -211,7 +211,7 @@ class TopLevelPass extends AsyncPass {
211
211
  let success = false;
212
212
 
213
213
  const typePrefixDeclaration = typePrefixDeclarationFromTypePrefixDeclarationNode(typePrefixDeclarationNode, context),
214
- typePrefixDeclarationVerifies = await typePrefixDeclaration.verify();
214
+ typePrefixDeclarationVerifies = await typePrefixDeclaration.verify(context);
215
215
 
216
216
  if (typePrefixDeclarationVerifies) {
217
217
  success = true;
@@ -226,7 +226,7 @@ class TopLevelPass extends AsyncPass {
226
226
  let success = false;
227
227
 
228
228
  const combinatorDeclaration = combinatorDeclarationFromCombinatorDeclarationNode(combinatorDeclarationNode, context),
229
- combinatorDeclarationVerifies = await combinatorDeclaration.verify();
229
+ combinatorDeclarationVerifies = await combinatorDeclaration.verify(context);
230
230
 
231
231
  if (combinatorDeclarationVerifies) {
232
232
  success = true;
@@ -241,7 +241,7 @@ class TopLevelPass extends AsyncPass {
241
241
  let success = false;
242
242
 
243
243
  const constructorDeclaration = constructorDeclarationFromConstructorDeclarationNode(constructorDeclarationNode, context),
244
- constructorDeclarationVerifies = await constructorDeclaration.verify();
244
+ constructorDeclarationVerifies = await constructorDeclaration.verify(context);
245
245
 
246
246
  if (constructorDeclarationVerifies) {
247
247
  success = true;
@@ -256,7 +256,7 @@ class TopLevelPass extends AsyncPass {
256
256
  let success = false;
257
257
 
258
258
  const complexTypeDeclaration = complexTypeDeclarationFromComplexTypeDeclarationNode(complexTypeDeclarationNode, context),
259
- complexTypeDeclarationVerifies = await complexTypeDeclaration.verify();
259
+ complexTypeDeclarationVerifies = await complexTypeDeclaration.verify(context);
260
260
 
261
261
  if (complexTypeDeclarationVerifies) {
262
262
  success = true;
@@ -271,7 +271,7 @@ class TopLevelPass extends AsyncPass {
271
271
  let success = false;
272
272
 
273
273
  const metavariableDeclaration = metavariableDeclarationFromMetavariableDeclarationNode(metavariableDeclarationNode, context),
274
- metavariableDeclarationVerifies = await metavariableDeclaration.verify();
274
+ metavariableDeclarationVerifies = await metavariableDeclaration.verify(context);
275
275
 
276
276
  if (metavariableDeclarationVerifies) {
277
277
  success = true;