occam-verify-cli 0.0.267 → 0.0.268

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 (5) hide show
  1. package/bin/ruleNames.js +2 -2
  2. package/bin/verify/metaDerivation.js +28 -28
  3. package/bin/verify/metaproof.js +1 -1
  4. package/bin/verify/unconditionalInference.js +13 -15
  5. package/package.json +3 -3
package/bin/ruleNames.js CHANGED
@@ -4,7 +4,7 @@ const TERM_RULE_NAME = "term",
4
4
  TYPE_RULE_NAME = "type",
5
5
  ARGUMENT_RULE_NAME = "argument",
6
6
  METAVARIABLE_RULE_NAME = "metavariable",
7
- META_CONDITIONAL_PROOF_RULE_NAME = "metaConditionalProof",
7
+ META_SUBPROOF_RULE_NAME = "metaSubproof",
8
8
  QUALIFIED_METASTATEMENT_RULE_NAME = "qualifiedMetastatement",
9
9
  UNQUALIFIED_METASTATEMENT_RULE_NAME = "unqualifiedMetastatement";
10
10
 
@@ -13,7 +13,7 @@ module.exports = {
13
13
  TYPE_RULE_NAME,
14
14
  ARGUMENT_RULE_NAME,
15
15
  METAVARIABLE_RULE_NAME,
16
- META_CONDITIONAL_PROOF_RULE_NAME,
16
+ META_SUBPROOF_RULE_NAME,
17
17
  QUALIFIED_METASTATEMENT_RULE_NAME,
18
18
  UNQUALIFIED_METASTATEMENT_RULE_NAME
19
19
  };
package/bin/verify/metaDerivation.js CHANGED
@@ -6,99 +6,99 @@ const MetaproofContext = require("../context/metaproof"),
6
6
  verifyUnqualifiedMetastatement = require("../verify/metastatement/unqualified");
7
7
 
8
8
  const { nodeQuery, nodesQuery } = require("../utilities/query"),
9
- { META_CONDITIONAL_PROOF_RULE_NAME, QUALIFIED_METASTATEMENT_RULE_NAME, UNQUALIFIED_METASTATEMENT_RULE_NAME } = require("../ruleNames");
9
+ { META_SUBPROOF_RULE_NAME, QUALIFIED_METASTATEMENT_RULE_NAME, UNQUALIFIED_METASTATEMENT_RULE_NAME } = require("../ruleNames");
10
10
 
11
- const metaAntecedentNodeQuery = nodeQuery("/metaConditionalProof/metaAntecedent!"),
12
- metaDerivationNodeQuery = nodeQuery("/metaConditionalProof/metaDerivation!"),
11
+ const metaAntecedentNodeQuery = nodeQuery("/metaSubproof/metaAntecedent!"),
12
+ metaDerivationNodeQuery = nodeQuery("/metaSubproof/metaDerivation!"),
13
13
  metaDerivationChildNodesQuery = nodesQuery("/metaDerivation/*"),
14
- qualifiedMetastatementNodeQuery = nodeQuery("/metaConditionalProof/qualifiedMetastatement!"),
15
- unqualifiedMetastatementNodeQuery = nodeQuery("/metaConditionalProof/unqualifiedMetastatement!");
14
+ qualifiedMetastatementNodeQuery = nodeQuery("/metaSubproof/qualifiedMetastatement!"),
15
+ unqualifiedMetastatementNodeQuery = nodeQuery("/metaSubproof/unqualifiedMetastatement!");
16
16
 
17
17
  function verifyMetaDerivation(metaDerivationNode, context) {
18
18
  const derived = true;
19
19
 
20
20
  context.setDerived(derived);
21
21
 
22
- const metaConditionalProofChildNodes = metaDerivationChildNodesQuery(metaDerivationNode),
23
- metaConditionalProofChildNodesVerified = metaConditionalProofChildNodes.every((metaConditionalProofChildNode) => {
24
- let metaConditionalProofChildNodeVerified;
22
+ const metaSubproofChildNodes = metaDerivationChildNodesQuery(metaDerivationNode),
23
+ metaSubproofChildNodesVerified = metaSubproofChildNodes.every((metaSubproofChildNode) => {
24
+ let metaSubproofChildNodeVerified;
25
25
 
26
- const ruleName = metaConditionalProofChildNode.getRuleName();
26
+ const ruleName = metaSubproofChildNode.getRuleName();
27
27
 
28
28
  switch (ruleName) {
29
- case META_CONDITIONAL_PROOF_RULE_NAME: {
30
- const metaConditionalProofNode = metaConditionalProofChildNode, ///
31
- metaConditionalProofVerified = verifyMetaConditionalProof(metaConditionalProofNode, context);
29
+ case META_SUBPROOF_RULE_NAME: {
30
+ const metaSubproofNode = metaSubproofChildNode, ///
31
+ metaSubproofVerified = verifyMetaSubproof(metaSubproofNode, context);
32
32
 
33
- metaConditionalProofChildNodeVerified = metaConditionalProofVerified; ///
33
+ metaSubproofChildNodeVerified = metaSubproofVerified; ///
34
34
 
35
35
  break;
36
36
  }
37
37
 
38
38
  case QUALIFIED_METASTATEMENT_RULE_NAME: {
39
- const qualifiedMetastatementNode = metaConditionalProofChildNode, ///
39
+ const qualifiedMetastatementNode = metaSubproofChildNode, ///
40
40
  qualifiedMetastatementVerified = verifyQualifiedMetastatement(qualifiedMetastatementNode, context);
41
41
 
42
- metaConditionalProofChildNodeVerified = qualifiedMetastatementVerified; ///
42
+ metaSubproofChildNodeVerified = qualifiedMetastatementVerified; ///
43
43
 
44
44
  break;
45
45
  }
46
46
 
47
47
  case UNQUALIFIED_METASTATEMENT_RULE_NAME: {
48
- const unqualifiedMetastatementNode = metaConditionalProofChildNode, ///
48
+ const unqualifiedMetastatementNode = metaSubproofChildNode, ///
49
49
  unqualifiedMetastatementVerified = verifyUnqualifiedMetastatement(unqualifiedMetastatementNode, context);
50
50
 
51
- metaConditionalProofChildNodeVerified = unqualifiedMetastatementVerified; ///
51
+ metaSubproofChildNodeVerified = unqualifiedMetastatementVerified; ///
52
52
 
53
53
  break;
54
54
  }
55
55
  }
56
56
 
57
- return metaConditionalProofChildNodeVerified;
57
+ return metaSubproofChildNodeVerified;
58
58
  }),
59
- metaDerivationVerified = metaConditionalProofChildNodesVerified; ///
59
+ metaDerivationVerified = metaSubproofChildNodesVerified; ///
60
60
 
61
61
  return metaDerivationVerified;
62
62
  }
63
63
 
64
64
  module.exports = verifyMetaDerivation;
65
65
 
66
- function verifyMetaConditionalProof(metaConditionalProofNode, context) {
67
- let metaConditionalProofVerified = false;
66
+ function verifyMetaSubproof(metaSubproofNode, context) {
67
+ let metaSubproofVerified = false;
68
68
 
69
69
  const metaproofContext = MetaproofContext.fromContext(context);
70
70
 
71
71
  context = metaproofContext; ///
72
72
 
73
- const metaAntecedentNode = metaAntecedentNodeQuery(metaConditionalProofNode),
73
+ const metaAntecedentNode = metaAntecedentNodeQuery(metaSubproofNode),
74
74
  metaAntecedentVerified = verifyMetaAntecedent(metaAntecedentNode, context);
75
75
 
76
76
  if (metaAntecedentVerified) {
77
77
  let metaDerivationVerified = true;
78
78
 
79
- const metaDerivationNode = metaDerivationNodeQuery(metaConditionalProofNode);
79
+ const metaDerivationNode = metaDerivationNodeQuery(metaSubproofNode);
80
80
 
81
81
  if (metaDerivationNode !== null) {
82
82
  metaDerivationVerified = verifyMetaDerivation(metaDerivationNode, context);
83
83
  }
84
84
 
85
85
  if (metaDerivationVerified) {
86
- const qualifiedMetastatementNode = qualifiedMetastatementNodeQuery(metaConditionalProofNode),
87
- unqualifiedMetastatementNode = unqualifiedMetastatementNodeQuery(metaConditionalProofNode);
86
+ const qualifiedMetastatementNode = qualifiedMetastatementNodeQuery(metaSubproofNode),
87
+ unqualifiedMetastatementNode = unqualifiedMetastatementNodeQuery(metaSubproofNode);
88
88
 
89
89
  if (qualifiedMetastatementNode !== null) {
90
90
  const qualifiedMetastatementVerified = verifyQualifiedMetastatement(qualifiedMetastatementNode, context);
91
91
 
92
- metaConditionalProofVerified = qualifiedMetastatementVerified; ///
92
+ metaSubproofVerified = qualifiedMetastatementVerified; ///
93
93
  }
94
94
 
95
95
  if (unqualifiedMetastatementNode !== null) {
96
96
  const unqualifiedMetastatementVerified = verifyUnqualifiedMetastatement(unqualifiedMetastatementNode, context);
97
97
 
98
- metaConditionalProofVerified = unqualifiedMetastatementVerified; ///
98
+ metaSubproofVerified = unqualifiedMetastatementVerified; ///
99
99
  }
100
100
  }
101
101
  }
102
102
 
103
- return metaConditionalProofVerified;
103
+ return metaSubproofVerified;
104
104
  }
package/bin/verify/metaproof.js CHANGED
@@ -11,7 +11,7 @@ const metastatementNodeQuery = nodeQuery("/qualifiedMetastatement!/metastatement
11
11
  metaDerivationNodeQuery = nodeQuery("/metaproof/metaDerivation!"),
12
12
  qualifiedStatementNodeQuery = nodeQuery("/metaproof/qualifiedMetastatement!");
13
13
 
14
- function verifyMetaproof(metaproofNode, rules, context) {
14
+ function verifyMetaproof(metaproofNode, context) {
15
15
  let metaproofVerified = false;
16
16
 
17
17
  const metaDerivationNode = metaDerivationNodeQuery(metaproofNode);
package/bin/verify/unconditionalInference.js CHANGED
@@ -1,29 +1,27 @@
1
1
  "use strict";
2
2
 
3
- const Conclusion = require("../../conclusion"),
4
- verifyUnqualifiedMetastatement = require("../../verify/metastatement/unqualified");
3
+ const Conclusion = require("../conclusion"),
4
+ verifyUnqualifiedMetastatement = require("../verify/metastatement/unqualified");
5
5
 
6
- const { nodeQuery } = require("../../utilities/query");
6
+ const { nodeQuery } = require("../utilities/query");
7
7
 
8
- const metastatementNodeQuery = nodeQuery("/*/metastatement"),
9
- unqualifiedMetastatementNodeQuery = nodeQuery("/rule/unqualifiedMetastatement!");
8
+ const metastatementNodeQuery = nodeQuery("/unqualifiedMetastatement/metastatement!"),
9
+ unqualifiedMetastatementNodeQuery = nodeQuery("/unconditionalInference/unqualifiedMetastatement!");
10
10
 
11
- function verifyUnconditionalInference(ruleNode, premises, conclusions, context) {
11
+ function verifyUnconditionalInference(unconditionalInferenceNode, premises, conclusions, context) {
12
12
  let unconditionalInferenceVerified = false;
13
13
 
14
- const unqualifiedMetastatementNode = unqualifiedMetastatementNodeQuery(ruleNode);
14
+ const unqualifiedMetastatementNode = unqualifiedMetastatementNodeQuery(unconditionalInferenceNode);
15
15
 
16
- if (unqualifiedMetastatementNode !== null) {
17
- const unqualifiedMetastatementVerified = verifyUnqualifiedMetastatement(unqualifiedMetastatementNode, context);
16
+ const unqualifiedMetastatementVerified = verifyUnqualifiedMetastatement(unqualifiedMetastatementNode, context);
18
17
 
19
- if (unqualifiedMetastatementVerified) {
20
- const metastatementNode = metastatementNodeQuery(unqualifiedMetastatementNode),
21
- conclusion = Conclusion.fromMetastatementNode(metastatementNode);
18
+ if (unqualifiedMetastatementVerified) {
19
+ const metastatementNode = metastatementNodeQuery(unqualifiedMetastatementNode),
20
+ conclusion = Conclusion.fromMetastatementNode(metastatementNode);
22
21
 
23
- conclusions.push(conclusion);
22
+ conclusions.push(conclusion);
24
23
 
25
- unconditionalInferenceVerified = true;
26
- }
24
+ unconditionalInferenceVerified = true;
27
25
  }
28
26
 
29
27
  return unconditionalInferenceVerified;
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "occam-verify-cli",
3
3
  "author": "James Smith",
4
- "version": "0.0.267",
4
+ "version": "0.0.268",
5
5
  "license": "MIT, Anti-996",
6
6
  "homepage": "https://github.com/djalbat/occam-verify-cli",
7
7
  "description": "Occam's Verifier",
@@ -12,10 +12,10 @@
12
12
  "dependencies": {
13
13
  "argumentative": "^2.0.15",
14
14
  "necessary": "^11.0.40",
15
- "occam-custom-grammars": "^5.0.348",
15
+ "occam-custom-grammars": "^5.0.349",
16
16
  "occam-dom": "^3.0.171",
17
17
  "occam-grammar-utilities": "^7.0.66",
18
- "occam-grammars": "^1.0.315",
18
+ "occam-grammars": "^1.0.316",
19
19
  "occam-open-cli": "^5.0.37",
20
20
  "occam-parsers": "^16.0.122"
21
21
  },