eyeling 1.22.9 → 1.22.11
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.
- package/HANDBOOK.md +16 -0
- package/eyeling.js +2 -1
- package/package.json +1 -1
package/HANDBOOK.md
CHANGED
|
@@ -3419,6 +3419,22 @@ That is the Appendix F layer. ARC gives the file a readable surface. Constructor
|
|
|
3419
3419
|
|
|
3420
3420
|
The better ACT examples are heavily commented. The comments should say not just what the syntax is doing, but what scientific role the block plays:
|
|
3421
3421
|
|
|
3422
|
+
#### H.5.6 Editorial conventions for ACT files
|
|
3423
|
+
|
|
3424
|
+
For this repository, the ACT examples should stay visibly **Eyeling-native**.
|
|
3425
|
+
They should read as compact N3 task-logic models rather than as a second language layer.
|
|
3426
|
+
|
|
3427
|
+
A good default order is:
|
|
3428
|
+
|
|
3429
|
+
1. scenario facts;
|
|
3430
|
+
2. positive `:can` rules;
|
|
3431
|
+
3. negative `:cannot` rules;
|
|
3432
|
+
4. checks;
|
|
3433
|
+
5. the final ARC report.
|
|
3434
|
+
|
|
3435
|
+
The ARC report should make the decisive contrast explicit: what task is possible, what task is impossible, and which missing ingredient or witness explains the contrast.
|
|
3436
|
+
|
|
3437
|
+
|
|
3422
3438
|
- interoperability
|
|
3423
3439
|
- locality
|
|
3424
3440
|
- no-cloning
|
package/eyeling.js
CHANGED
|
@@ -842,7 +842,8 @@ function __existentializeBlankTerm(t, mapping, varGen, localBlankLabels) {
|
|
|
842
842
|
}
|
|
843
843
|
|
|
844
844
|
function __existentializeBlankTriples(rawGraphOrTriples, varGen) {
|
|
845
|
-
const triples =
|
|
845
|
+
const triples =
|
|
846
|
+
rawGraphOrTriples instanceof GraphTerm ? Array.from(rawGraphOrTriples.triples) : Array.from(rawGraphOrTriples);
|
|
846
847
|
const localBlankLabels =
|
|
847
848
|
rawGraphOrTriples instanceof GraphTerm &&
|
|
848
849
|
Object.prototype.hasOwnProperty.call(rawGraphOrTriples, '__quotedLocalBlankLabels') &&
|