feat: exports fields needed by the prover for integration

pkg/schema/constraint/permutation.go

@@ -76,6 +76,14 @@ func (p *PermutationConstraint) String() string {
 	return fmt.Sprintf("(permutation (%s) (%s))", targets, sources)
 }
 
+func (p *PermutationConstraint) Targets() []uint {
+	return p.targets
+}
+
+func (p *PermutationConstraint) Sources() []uint {
+	return p.sources
+}
+
 func sliceColumns(columns []uint, tr trace.Trace) []util.FrArray {
 	// Allocate return array
 	cols := make([]util.FrArray, len(columns))

pkg/schema/constraint/range.go

@@ -59,3 +59,13 @@ func (p *RangeConstraint) Accepts(tr trace.Trace) error {
 func (p *RangeConstraint) String() string {
 	return fmt.Sprintf("(range #%d %s)", p.column, p.bound)
 }
+
+func (p *RangeConstraint) Column() uint {
+	return p.column
+}
+
+// Note: the bound is returned in the form of a uint because this is simpler
+// and more straightforward to understand.
+func (p *RangeConstraint) Bound() uint64 {
+	return p.bound.Uint64()
+}

pkg/schema/schema.go

@@ -75,6 +75,7 @@ type Assignment interface {
 // with an error (or eventually perhaps report a warning).
 type Constraint interface {
 	Accepts(tr.Trace) error
+	String() string
 }
 
 // Evaluable captures something which can be evaluated on a given table row to

pkg/trace/array_trace.go

@@ -152,6 +152,12 @@ func (p ArrayModule) Name() string {
 	return p.name
 }
 
+// Height returns the height of this module, meaning the number of assigned
+// rows.
+func (p ArrayModule) Height() uint {
+	return p.height
+}
+
 // ----------------------------------------------------------------------------
 
 // ArrayColumn describes an individual column of data within a trace table.

pkg/trace/trace.go

@@ -14,6 +14,8 @@ type Trace interface {
 	Width() uint
 	// Returns the height of the given context (i.e. module).
 	Height(Context) uint
+	// Module returns the list of assigned modules and their respective heights
+	Modules() util.Iterator[ArrayModule]
 }
 
 // Column describes an individual column of data within a trace table.