occam-verify-cli 1.0.713 → 1.0.714

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 (17) hide show
  1. package/lib/element/assertion/satisfies.js +7 -10
  2. package/lib/element/assumption.js +3 -3
  3. package/lib/element/deduction.js +3 -3
  4. package/lib/element/proofAssertion/step.js +3 -3
  5. package/lib/element/reference.js +2 -2
  6. package/lib/element/subproof.js +2 -2
  7. package/lib/element/topLevelAssertion/axiom.js +19 -19
  8. package/lib/utilities/unification.js +2 -11
  9. package/package.json +1 -1
  10. package/src/element/assertion/satisfies.js +2 -8
  11. package/src/element/assumption.js +2 -2
  12. package/src/element/deduction.js +2 -2
  13. package/src/element/proofAssertion/step.js +2 -3
  14. package/src/element/reference.js +1 -2
  15. package/src/element/subproof.js +1 -2
  16. package/src/element/topLevelAssertion/axiom.js +18 -18
  17. package/src/utilities/unification.js +1 -15
package/src/utilities/unification.js CHANGED
@@ -112,8 +112,7 @@ async function unifyStatementAsSatisfiesAssertion(statement, reference, satisfie
112
112
  const satisfiable = axiom.isSatisfiable();
113
113
 
114
114
  if (satisfiable) {
115
- const substitutions = [],
116
- topLevelAssertionUnifies = axiom.unifyTopLevelAssertion(topLevelAssertion, substitutions, context);
115
+ const topLevelAssertionUnifies = axiom.unifyTopLevelAssertion(topLevelAssertion, context);
117
116
 
118
117
  if (topLevelAssertionUnifies) {
119
118
  const substitutionsCorrelates = satisfiesAssertion.correlateSubstitutions(substitutions, context);
@@ -155,19 +154,6 @@ async function unifyStatementWithTopLevelAssertion(statement, reference, satisfi
155
154
  statementAndSubproofOrProofAssertionsUnify = await topLevelAssertion.unifyStatementAndSubproofOrProofAssertions(statement, subproofOrProofAssertions, context);
156
155
 
157
156
  if (statementAndSubproofOrProofAssertionsUnify) {
158
- const metavariable = reference.getMetavariable();
159
-
160
- debugger
161
-
162
- // synthetically((context) => {
163
- // const { StatementSubstitution } = elements;
164
- //
165
- // StatementSubstitution.fromStatementAndMetavariable(statement, metavariable, context);
166
-
167
- // vaiddate
168
- //
169
- // }, generalContext, specificContext);
170
-
171
157
  statementUnifiesWithTopLevelAssertion = true;
172
158
  }
173
159