stackdump stackdump

## pflow.html
<!doctype html>
<html lang="en">
<head>
    <meta charset="utf-8"/>
    <meta name="viewport" content="width=device-width,initial-scale=1"/>
    <title>pflow.dev | metamodel editor</title>
    <script defer="defer" src="https://cdn.jsdelivr.net/gh/pflow-dev/pflow-js@1.1.0/p/static/js/main.4602f11c.js"> </script>
    <link href="https://cdn.jsdelivr.net/gh/pflow-dev/pflow-js@1.1.0/p/static/css/main.63d515f3.css" rel="stylesheet">

</head>

## Metamodel.sol
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.18;
import "@openzeppelin/contracts/access/AccessControl.sol";
// import "hardhat/console.sol";

library Uint8Model {

    event Action(uint256 indexed session, uint8 indexed sequence, uint8 actionId, uint8 role, uint256 when);

    struct PetriNet {

## Metamodel.png
See UML

## tic-tac-toe-dependent-types.md

      
              1 file
            
          
              0 forks
            
          
              4 comments
            
          
              0 stars
            
          
                stackdump
                / tic-tac-toe-dependent-types.md
            
            
              Last active
              June 20, 2023 12:43
            
              
                Describing Tic-Tac-Toe Using Dependent Sum Types
              
          
    Problem

Can we use Type Theory to show that a given Petri-Net correctly models a game of Tic-Tac-Toe?
Terms


Entropy (information theory)
Big O Complexity
Dependent Sum Types


## TicTacToeModel.sol
// REVIEW visual model design in JS:
// https://pflow.dev/chainlink2023/tictactoe/
contract TicTacToeModel is MetamodelUint8, Uint8ModelFactory {

    enum Roles{ X, O, HALT }

    enum Properties {
        _00, _01, _02,
        _10, _11, _12,
        _20, _21, _22,

## Metamodel.sol
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.18;
import "@openzeppelin/contracts/access/AccessControl.sol";

contract MetamodelUint8 {

    Place[] internal places;
    Transition[] internal transitions;

    struct PetriNet {

## Metamodel.sol
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.18;

// Uncomment this line to use console.log
// import "hardhat/console.sol";

// see also: bitwrap.io: where we are developing a generalized state channel for web3

contract Metamodel {
    address payable public owner;

## generate_data.py
import math
import random

import torchflow
import torch
import examples.tictactoe


win_moves = [
    ["00", "01", "02"],

## finite.py
"""
MIT License https://github.com/FactomProject/ptnet-eventstore/blob/master/LICENSE

Finite is a - Rank 1 Constraint System: (R1CS)
That uses Petri-Nets as a means to construct Zero Knowledge Proofs.

The author is planning to deploy using The Factom Blockchain https://www.factom.com/factom-blockchain/
with the notion that this protocol is useful as an addressing system to index other forms of proofs.

Because Factom can isolate users from the need to own cryptocurrency, it is hoped that adoption can reach outside of

## backup_world.sh
#!/usr/bin/env bash

# backup world in IPFS

cd "${BASH_SOURCE%/*}" || exit


ROOT='vevr.se'
WORLD="foo7"
TS=$(date +%s)
	<!doctype html>
	<html lang="en">
	<head>
	<meta charset="utf-8"/>
	<meta name="viewport" content="width=device-width,initial-scale=1"/>
	<title>pflow.dev \| metamodel editor</title>
	<script defer="defer" src="https://cdn.jsdelivr.net/gh/pflow-dev/pflow-js@1.1.0/p/static/js/main.4602f11c.js"> </script>
	<link href="https://cdn.jsdelivr.net/gh/pflow-dev/pflow-js@1.1.0/p/static/css/main.63d515f3.css" rel="stylesheet">

	</head>
	// SPDX-License-Identifier: MIT
	pragma solidity ^0.8.18;
	import "@openzeppelin/contracts/access/AccessControl.sol";
	// import "hardhat/console.sol";

	library Uint8Model {

	event Action(uint256 indexed session, uint8 indexed sequence, uint8 actionId, uint8 role, uint256 when);

	struct PetriNet {
	// REVIEW visual model design in JS:
	// https://pflow.dev/chainlink2023/tictactoe/
	contract TicTacToeModel is MetamodelUint8, Uint8ModelFactory {

	enum Roles{ X, O, HALT }

	enum Properties {
	_00, _01, _02,
	_10, _11, _12,
	_20, _21, _22,
	// SPDX-License-Identifier: MIT
	pragma solidity ^0.8.18;

	// Uncomment this line to use console.log
	// import "hardhat/console.sol";

	// see also: bitwrap.io: where we are developing a generalized state channel for web3

	contract Metamodel {
	address payable public owner;
	import math
	import random

	import torchflow
	import torch
	import examples.tictactoe


	win_moves = [
	["00", "01", "02"],
	"""
	MIT License https://github.com/FactomProject/ptnet-eventstore/blob/master/LICENSE

	Finite is a - Rank 1 Constraint System: (R1CS)
	That uses Petri-Nets as a means to construct Zero Knowledge Proofs.

	The author is planning to deploy using The Factom Blockchain https://www.factom.com/factom-blockchain/
	with the notion that this protocol is useful as an addressing system to index other forms of proofs.

	Because Factom can isolate users from the need to own cryptocurrency, it is hoped that adoption can reach outside of
	#!/usr/bin/env bash

	# backup world in IPFS

	cd "${BASH_SOURCE%/*}" \|\| exit


	ROOT='vevr.se'
	WORLD="foo7"
	TS=$(date +%s)