https://github.com/freight-trust/protocol
v2 protocol for supply chain and logistics
https://github.com/freight-trust/protocol
blockchain enterprise ethereum hyperledger protocol smart-contracts solidity supply-chain
Last synced: about 2 months ago
JSON representation
v2 protocol for supply chain and logistics
- Host: GitHub
- URL: https://github.com/freight-trust/protocol
- Owner: freight-trust
- License: mpl-2.0
- Created: 2020-07-07T05:46:24.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2020-09-28T14:23:06.000Z (over 5 years ago)
- Last Synced: 2025-11-20T08:03:22.449Z (7 months ago)
- Topics: blockchain, enterprise, ethereum, hyperledger, protocol, smart-contracts, solidity, supply-chain
- Language: TypeScript
- Homepage: https://freighttrust.com
- Size: 27.2 MB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 8
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Protocol Spec
For ABNF specs, [see the `spec_abnf` dir](https://github.com/freight-trust/protocol/tree/master/spec_abnf/abnf)
- directories with `spec_*` are the reference specification
- directories with `lib` or `module`/`component` _should_ be the technical implementation
### Interfaces
### Documents of Trade
### Legal Regimes (Burgess)
#### Concepts
- Units of Execution
- Units of Agreement
- Units of Afferent
- Units of Efferent
- Units of Lexigram
* Controlled Natural Language = Jurisdictional Grammar (see [Burgess](https://github.com/freight-trust/burgess) )
* Afferent = Towards
* Efferent = Away
## Blocks as `units of agreement`
A couple of specific block linkages are stated as facts. Two general principles of block chaining based on such linkages are stated as "conclusion if condition" rules. (The diagrams' color coding is extended to the symbolic form by using green for facts and their rule-condition counterparts while using red for rule conclusions and their -- recursive -- rule-condition counterpart.)
Facts
"Block1 links to Block2."
"Block2 links to Block3."
Rules
"x chains to y if x links to y."
"x chains to z if x links to y and y chains to z."
Facts are _primitives_ (i.e. not containing variables) that apply
a predicate to arguments
to Block1 followed by Block2 and
to Block2 followed by Block3
Rules are of the form `conclusion :- condition` (i.e. containing variables), with the Prolog-like (symbol) infix `":-"` corresponding to the above "if".
This consittutes the extent of which RuleML is applied to the `TradeDocs` system, a basic primitive set for `rule-conditions`