@lapxo/obligations 0.3.5 → 0.4.1

package/samples/yes/installed-artifact.json

@@ -0,0 +1,424 @@
+{
+  "format": "installed-acceptance/1",
+  "name": "@lapxo/obligations",
+  "version": "0.4.1",
+  "exports": {
+    ".": {
+      "types": "./dist/lattice/index.d.ts",
+      "default": "./dist/lattice/index.js"
+    },
+    "./debit": {
+      "types": "./dist/debit/debit.d.ts",
+      "default": "./dist/debit/debit.js"
+    },
+    "./encounter": {
+      "types": "./dist/field/encounter.d.ts",
+      "default": "./dist/field/encounter.js"
+    },
+    "./field": {
+      "types": "./dist/field/field.d.ts",
+      "default": "./dist/field/field.js"
+    },
+    "./forms": {
+      "types": "./dist/lattice/forms.d.ts",
+      "default": "./dist/lattice/forms.js"
+    },
+    "./lattice": {
+      "types": "./dist/lattice/lattice.d.ts",
+      "default": "./dist/lattice/lattice.js"
+    },
+    "./measures": {
+      "types": "./dist/measures/index.d.ts",
+      "default": "./dist/measures/index.js"
+    },
+    "./packed": {
+      "types": "./dist/debit/packed.d.ts",
+      "default": "./dist/debit/packed.js"
+    },
+    "./present": {
+      "types": "./dist/field/present.d.ts",
+      "default": "./dist/field/present.js"
+    },
+    "./price": {
+      "types": "./dist/lattice/price/index.d.ts",
+      "default": "./dist/lattice/price/index.js"
+    },
+    "./replay": {
+      "types": "./dist/replay.d.ts",
+      "default": "./dist/replay.js"
+    },
+    "./shuffle": {
+      "types": "./dist/debit/shuffle.d.ts",
+      "default": "./dist/debit/shuffle.js"
+    },
+    "./signatures": {
+      "types": "./dist/field/signatures.d.ts",
+      "default": "./dist/field/signatures.js"
+    },
+    "./views/field": {
+      "types": "./dist/views/field.d.ts",
+      "default": "./dist/views/field.js"
+    },
+    "./views/product": {
+      "types": "./dist/views/product.d.ts",
+      "default": "./dist/views/product.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "implementation": [
+    {
+      "path": "dist/debit/debit.js",
+      "sha256": "sha256:4e9c79bfb91f542dcb1609846da3d32058b87a4c45cd3eafa13821d567f8feb9"
+    },
+    {
+      "path": "dist/debit/graph.js",
+      "sha256": "sha256:5be27ebec40dcb3ffdc34775622a1c07367daa2ad2de93b3ca0edecf4b823bea"
+    },
+    {
+      "path": "dist/debit/ideal.js",
+      "sha256": "sha256:4c55b1eaad5301c264611e322aee48734c2dd95a7f54493ca1211caf6a4988fd"
+    },
+    {
+      "path": "dist/debit/masks.js",
+      "sha256": "sha256:4f175c64ecdd57f4e0b0746b58940390c6777b7cc8944b27f0badb7ba16bf37f"
+    },
+    {
+      "path": "dist/debit/observer.js",
+      "sha256": "sha256:a2ff9de359770cc855074c673c008c4c4168d371983fd88f14f7c90290d39e7b"
+    },
+    {
+      "path": "dist/debit/packed.js",
+      "sha256": "sha256:292c09c79fe8870f6fd45558a949ab6e1ca9081d97cef9008dff79295e7a53fe"
+    },
+    {
+      "path": "dist/debit/provenance.js",
+      "sha256": "sha256:75d20ac3801c01d2526550a2ec20201ec750290491aa7e8325ecef3fb6d6bb43"
+    },
+    {
+      "path": "dist/debit/register.js",
+      "sha256": "sha256:fa008ab4534bf27169dd85e9e873d4631d461fb0bcf7d5280dbdc25af2ddd4bd"
+    },
+    {
+      "path": "dist/debit/shuffle.js",
+      "sha256": "sha256:8dfd76ebab3d7bedec1e686cb371cfc96b4195c04e7f689df21cad5bd3d5726c"
+    },
+    {
+      "path": "dist/debit/standing.js",
+      "sha256": "sha256:261a3ab5322cc48120e42ce468249f83ad88be28dfbb892cfee403e6833dd8d1"
+    },
+    {
+      "path": "dist/debit/unit-span.js",
+      "sha256": "sha256:f882bf1b9c084707e8490e47324fa68ad48f662cb6ee94be5075e48ecb2eb514"
+    },
+    {
+      "path": "dist/debit/unit.js",
+      "sha256": "sha256:a26c30d5456d99667ab44ff56663fff0ced252de60b860acefb820c32a0f5f78"
+    },
+    {
+      "path": "dist/debit/vector-move.js",
+      "sha256": "sha256:0573c65d6a55bc4c20cd0e2e537e9ae6d275825b0d6e09bf20828c193b0d0a87"
+    },
+    {
+      "path": "dist/debit/vector.js",
+      "sha256": "sha256:250eda384b40b23c5dbe20399e1a53a2e3d314847ac1b91c7172028cb6b91fb3"
+    },
+    {
+      "path": "dist/field/encounter.js",
+      "sha256": "sha256:84a46a48496abb0fcad4d37f7c891e9c7e4a7ea080035f05473d7e052e51bf22"
+    },
+    {
+      "path": "dist/field/field.js",
+      "sha256": "sha256:820abaed1d422fdb89c759ca31f3732b6bea6ff7bd1a5b20f2114c1626979880"
+    },
+    {
+      "path": "dist/field/fragility.js",
+      "sha256": "sha256:6c533de862591dfb397d4c93a0bc0660a00065343e6876691816c3e23724cb2e"
+    },
+    {
+      "path": "dist/field/frontier.js",
+      "sha256": "sha256:11931187be2c7e1afdb139c0e80582d8f2c1beefc30294c671f4d19d61636aba"
+    },
+    {
+      "path": "dist/field/join.js",
+      "sha256": "sha256:c574e7f455e18284a8f9c120a78e30c3ad87e666dc85c4c9201f1b1d3abc5f71"
+    },
+    {
+      "path": "dist/field/meet.js",
+      "sha256": "sha256:9b52c83f47dbf56e144aba56cc077ac7eb0ef57579aea5c72c13324d4f9dd39c"
+    },
+    {
+      "path": "dist/field/motion.js",
+      "sha256": "sha256:8ae192e43a7ae7c0b406280984063a8094a67a8a0d4e0d9fa943a21c2c7571b7"
+    },
+    {
+      "path": "dist/field/observe.js",
+      "sha256": "sha256:e9255aea5a52edaa841ca520804870f714817fb64b764c3d66921055c6165f3f"
+    },
+    {
+      "path": "dist/field/present.js",
+      "sha256": "sha256:1d730a7a65ffd97f3fce761ddee21b99947bfc60ca190b4107c90562fde26692"
+    },
+    {
+      "path": "dist/field/refine.js",
+      "sha256": "sha256:1653d77d1e954d29eb5e6968ff8fb9992d05a2f0990ee48d634c931bf24c1201"
+    },
+    {
+      "path": "dist/field/require.js",
+      "sha256": "sha256:895a5491ca1c60cb0cc7db2325df7c9b02e69ce25df7dc378371fc38df146b9c"
+    },
+    {
+      "path": "dist/field/sign.js",
+      "sha256": "sha256:0286a81e542ce89696d8593dedec9b7930bb67b4bf55b959979638f1eb98f8a9"
+    },
+    {
+      "path": "dist/field/signatures.js",
+      "sha256": "sha256:4f7b0afb3a20e1e23a64eaa5ba14d3a30c091f7ba435b75d862330067d117e2e"
+    },
+    {
+      "path": "dist/field/yield.js",
+      "sha256": "sha256:89aa3852828ff5ddeeb280532220f63ce8af5c8b66d722833a30282062c3a834"
+    },
+    {
+      "path": "dist/lattice/axioms.js",
+      "sha256": "sha256:b2c0d26adcc3374a6d1864f60aeee57d2b0660ebe2ca08cb35602af077f3f722"
+    },
+    {
+      "path": "dist/lattice/declaration.js",
+      "sha256": "sha256:c5c4459ad4f5cffe970f87129bd5ddedeb9e35f1163204630788a574a5fdbd78"
+    },
+    {
+      "path": "dist/lattice/errors.js",
+      "sha256": "sha256:0cc476498db21b2aab91e90cc0172bb34373cbe2876a21a21efdc8ba088112b0"
+    },
+    {
+      "path": "dist/lattice/forms.js",
+      "sha256": "sha256:9061bbb17d68f5d04e469ca83eebf4aa9db184d627b4228bee504f7f0be3dc42"
+    },
+    {
+      "path": "dist/lattice/index.js",
+      "sha256": "sha256:597e3c37c0d370687d1ed0674ae0737c8ec9efac5ca270c1abdb84413dd147f5"
+    },
+    {
+      "path": "dist/lattice/lattice.js",
+      "sha256": "sha256:0922b8ee14e1fd0e6c56cf026b377e67e070e1ab5ede71b64aebe17ecc4303a7"
+    },
+    {
+      "path": "dist/lattice/obligatory.js",
+      "sha256": "sha256:1cce37198c95a6afd9842d82feef430414f1c6f0933a631f70e0d21b9eafb924"
+    },
+    {
+      "path": "dist/lattice/order.js",
+      "sha256": "sha256:4752a5da2995163d26712bb96acc9c14d5d65f76366e941ec29c25dd8fdd6741"
+    },
+    {
+      "path": "dist/lattice/price/attainable.js",
+      "sha256": "sha256:e40a50e47d4a3c5011dd8c7a71a792f194b79c2a1024a681e9048bb3f8864d83"
+    },
+    {
+      "path": "dist/lattice/price/blocks.js",
+      "sha256": "sha256:2429a95d5b61db452262c54a19c2cfe6ce2a87818f01a0b6aaa2f91cc6fc28ae"
+    },
+    {
+      "path": "dist/lattice/price/index.js",
+      "sha256": "sha256:5cb7b5aa3a623c2cb6f1e495353161279be762724c48c9f9ff168669d0eeeaa5"
+    },
+    {
+      "path": "dist/lattice/price/premium.js",
+      "sha256": "sha256:3c8e7a61164f5dd2416112baa791ed401922afeafe06239c597113bb2b5f78ff"
+    },
+    {
+      "path": "dist/lattice/price/quote.js",
+      "sha256": "sha256:af4365d142c302cb4cf98f9d5dbf8cbac1aa53aa5cde602fbf2df2c90303be84"
+    },
+    {
+      "path": "dist/lattice/scale-lattice.js",
+      "sha256": "sha256:2669476b7811dc4db1ffe60131fbf5df568030f37d66cacb7062f7ed87704fa6"
+    },
+    {
+      "path": "dist/lattice/types.js",
+      "sha256": "sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881"
+    },
+    {
+      "path": "dist/lattice/vacuity.js",
+      "sha256": "sha256:86a33399266ad3d5274838e9580a467d045e8edba6bded643ffdb580a79ae37d"
+    },
+    {
+      "path": "dist/measures/capacity.js",
+      "sha256": "sha256:d9a178aa08c3ecd4d2630cd99560d1461d1f1e557fb96b01fc21052db5f20881"
+    },
+    {
+      "path": "dist/measures/coincidence.js",
+      "sha256": "sha256:61b7c27f3e60b6b5ce026295afe53458a88058c8efd0cd8449ed8b12a4f1d7c2"
+    },
+    {
+      "path": "dist/measures/error-events.js",
+      "sha256": "sha256:6a67eb1fbfa48629cff9bc173c9ae569b4803b9dbdbf945368add0ac52a6d200"
+    },
+    {
+      "path": "dist/measures/experiments.js",
+      "sha256": "sha256:1b93636b8f8c98332c4a64d5895dd0ec27952062b18eb1c580f58c03f54ccb21"
+    },
+    {
+      "path": "dist/measures/fitting.js",
+      "sha256": "sha256:62235cb2bc72fae9cfa5113fbce6fc8101c3389e68c538ee4b11e01c31d183cc"
+    },
+    {
+      "path": "dist/measures/identification.js",
+      "sha256": "sha256:ba2a5424e4b54c46d82410d506a47483cf5ad6cc272379fec0a5894b730cbe0d"
+    },
+    {
+      "path": "dist/measures/index.js",
+      "sha256": "sha256:2ad8dfb4eb2da8fdbbfd002656e5fc13f1756247080e40ebcb9aa1183fb32d24"
+    },
+    {
+      "path": "dist/measures/m3-experiment.js",
+      "sha256": "sha256:159fc546bda79de7f50dfeeccee73854600d0a4d51ca2f875d45866f29b1a0f9"
+    },
+    {
+      "path": "dist/measures/m3.js",
+      "sha256": "sha256:b971ae5160893f9565087b7e6b79eb9ad24431d232ad3f37ff290cc4adb44a35"
+    },
+    {
+      "path": "dist/measures/model.js",
+      "sha256": "sha256:70b5d5d4e3c835e03fefa2adf632669eec248a2a2adabf9b054be4fd018cb85a"
+    },
+    {
+      "path": "dist/measures/rational.js",
+      "sha256": "sha256:f25343eee4bbea1de211543a7036ca58f62aeefec1d124f787151ea57cbda2e7"
+    },
+    {
+      "path": "dist/measures/spectrum.js",
+      "sha256": "sha256:06b38b556472d7c27bf51e423b4305cb1427af5aedb0012c3a77f3168a8a9c53"
+    },
+    {
+      "path": "dist/measures/unanimity-fit.js",
+      "sha256": "sha256:dccb3a3c4fe72954f02b1e7e0c3a59f26253bd2b10909d56ef599c4e447f7c76"
+    },
+    {
+      "path": "dist/replay.js",
+      "sha256": "sha256:195a93d0e955b30575e5172e4dcb779f8c688997de1a3a3a5c649bcc6a723ab3"
+    },
+    {
+      "path": "dist/views/chain.js",
+      "sha256": "sha256:d35b6c3becfc9c003e3995f01bc27860c1914eafe314efde9e82a6346f58af1c"
+    },
+    {
+      "path": "dist/views/complement.js",
+      "sha256": "sha256:b3a9d0f794f839a592649211ee5375743cf5cc9fb891926a6061b50a11ab4dde"
+    },
+    {
+      "path": "dist/views/dual.js",
+      "sha256": "sha256:8e609bb71c20b858c77f0e9f90bb1319db8477b13f9f965f1a1e18524bf50881"
+    },
+    {
+      "path": "dist/views/field.js",
+      "sha256": "sha256:691ea483df5d6021feae901607ccd3b67721514c2963ad539466839d6a1db430"
+    },
+    {
+      "path": "dist/views/field/physics.js",
+      "sha256": "sha256:69e500cdd7bb1a3eff095c4e15078db508d214adae84c3b3d751ec60de314ddb"
+    },
+    {
+      "path": "dist/views/field/policy.js",
+      "sha256": "sha256:b248f374304c22f7f08e9639f32cd5651e4092684a874dac3396b9b19fb7ed10"
+    },
+    {
+      "path": "dist/views/field/self.js",
+      "sha256": "sha256:d8fe9cf3233c45cb87976097920da194cdfae9cd7da4e75f4bb15de533b258df"
+    },
+    {
+      "path": "dist/views/field/wave.js",
+      "sha256": "sha256:ab030ffa1cf49b5b26a9e5b62a94d4f553c6313c5e7138f66016d7d12f620c0d"
+    },
+    {
+      "path": "dist/views/galois.js",
+      "sha256": "sha256:d00226bf65a595b09fd87a93be678161d87f12978ff2e602784a740645b90d05"
+    },
+    {
+      "path": "dist/views/ideal.js",
+      "sha256": "sha256:808ae8d7d6b8aabe93aea301078940accf2f983b717d13e8422d7edd0fd22473"
+    },
+    {
+      "path": "dist/views/product.js",
+      "sha256": "sha256:30e36e380abf5889add3344a02391a9b380f9caeec074b7a31aae8cb705e7e07"
+    },
+    {
+      "path": "dist/views/product/design.js",
+      "sha256": "sha256:25a6f4a9ace42b36ccb5a3c3ba22e2f6d9c0c1f17e3daf1155b7f0241ccdd82d"
+    },
+    {
+      "path": "dist/views/product/mould.js",
+      "sha256": "sha256:2cb3fd08488befdcbeec8c436497940f3e06f25b0e23ad3c21dbe703a6f2c526"
+    },
+    {
+      "path": "dist/views/product/polygon.js",
+      "sha256": "sha256:de9b6c41aec0a0dfc0f20db7f5daaf05706d848c9788aea01914a2e1abea43b5"
+    },
+    {
+      "path": "dist/views/product/reach.js",
+      "sha256": "sha256:81ceeabdccb4451d03f307ca959caa0373512272715dcd46b70444c4ccbc4d61"
+    },
+    {
+      "path": "dist/views/product/resolution.js",
+      "sha256": "sha256:e99ff8ea01f66fc62144dc160995f8fa4e64adda336d1c31be156dc8d8bd90da"
+    },
+    {
+      "path": "dist/views/quotient.js",
+      "sha256": "sha256:17bfe8d1d4dfabf20478ffbce8ff23e2602463d1e5c79ea6c3976a53932c2cc0"
+    },
+    {
+      "path": "dist/views/spectrum.js",
+      "sha256": "sha256:41a7cf926fd64d14ef1e73f630778e21597641f9cf40930a77586e7b08468604"
+    },
+    {
+      "path": "dist/views/valuation.js",
+      "sha256": "sha256:982ffa68c9512832cce698785d1f67816a504b98d1dd05b7c1962dda0584e808"
+    }
+  ],
+  "code": "sha256:df91b63109afbe37c359ee07b497ebc2ded0af71a2fb10982376a095ff685dbc",
+  "tests": [
+    "finite exact joint probabilities reproduce the four captured information vectors",
+    "p=0 is k-invariant; limit statements never overwrite finite or uninformative channels",
+    "the binary all-wrong channel carries a full bit; plurality is not an information bound",
+    "finite decision accuracy, decision information and posterior information stay separate",
+    "work budgets refuse before exponential evaluation and logs are explicitly declared",
+    "equal pair marginals hide XOR dependence; signed coincidence excess keeps the triple deficit",
+    "uniform independent wrong values exactly match the declared reference",
+    "independent events with nonuniform labels exceed the uniform reference without proving a cause",
+    "redelivery and ordering add no event; conflicting values refuse; inputs stay unchanged",
+    "absence, zero reference and insufficient budget are distinct, never inferred independence",
+    "estimated marginals condition on truth rather than pooling distinct populations",
+    "analytic eigensystem satisfies residual and orthogonality; inputs are unchanged",
+    "repeated eigenvalues have no unique top loading; their full variance subspace remains readable",
+    "subset variance is descriptive, not a probability of error",
+    "invalid matrices refuse, and an insufficient numerical budget never claims a spectrum",
+    "spectrum and trace participation ratios agree on handed error events",
+    "T1 handles counterexample, degeneracies, and large counts without underflow misclassification",
+    "descent counts distinct scopes, keeps absence unknown, and refuses cycles",
+    "independent balanced errors and perfectly shared errors have different effective ranks",
+    "redelivery and declaration order add neither observations nor origins",
+    "missing observations and no variation do not prove independence",
+    "population covariance is normalized by the observed event population",
+    "T5 reference stream reproduces model counts without claiming certification",
+    "interest is an explicit controlled bias within the reference model",
+    "declared finite-data fit recovers shared log survival, records residuals and reproducible bootstrap, never Φ or D",
+    "zero joint counts, absent rank and insufficient resources never report fitted probabilities",
+    "the same finite-data procedure identifies a declared overlapping two-factor system",
+    "population identification recovers exact shared survival without identifying private versus singleton error",
+    "rank, zero correctness, incompatible moments and budget retain unidentified or misfit outcomes",
+    "general declared pair systems recover more than one factor and reject unexplained residuals",
+    "dissent certificate depends on actual ordered configuration, never on dissent alone",
+    "M/3 captured covering, partial and impossible-conditioning vectors are exact",
+    "singleton governance is preserved and collision partitions distinguish zero from absence",
+    "probe uses the exact posterior and is unmeasured only at zero extension mass",
+    "validation and budget refuse or remain unmeasured before accumulating a partial result",
+    "half-even display is independent of binary floating point and uses declared digits",
+    "controlled T1 and T5 declare their stream and denominators and match handed M/3 populations",
+    "partition evaluator equals direct wrong-value enumeration for overlapping factors on a three-value cell",
+    "the actual four algebraic states and their cells survive every descriptive measure unchanged",
+    "an exact curve retains both binary parameter branches rather than fabricating identification",
+    "perfect unanimity keeps the whole compatible ambiguity and no causal result",
+    "paired-group bootstrap retains cross-size sampling dependence and is deterministic",
+    "counts alone do not invent sampling uncertainty; inconsistent paired outcomes refuse"
+  ]
+}

package/samples/yes/three-theories-one-algebra.json

@@ -0,0 +1,5 @@
+{
+ "witness": "three-theories-one-algebra",
+ "about": "obligations/src holds lattice/ (the price: declaration, cost, premium, degeneration, blocks, axioms, forms), debit/ (the debit: four states, ideals, register, vectors, standing, the packed two-mask carrier) and field/ (the field: point, region, within, resolution, passes, coarsen, vacuity, encounter, present, drift, size, sufficient resolution, replay, signatures-as-meet), laws/laws.bound and replay.ts. laws.bound states 75 laws, each with its vector. offers.bound names 134 operations with their extension; every operation of field/ names at least one vector. The field vectors run against field/: questions 3/3, sufficient-resolution 2/2, present-meet 4/4, present-convergence 4/4. Nothing in field/ names an instrument, a file or a landing.",
+ "then": { "folders": ["lattice", "debit", "field"], "laws": 62, "operations": 168, "fieldOperationsWithoutExtension": 0 }
+}

package/src/field/motion.ts

@@ -0,0 +1,59 @@
+import { isDistributive } from '../lattice/order.ts';
+import { isSupermodular, premium } from '../lattice/price/premium.ts';
+import type { Level, Scale, State, Unit } from '../lattice/types.ts';
+import { state, unit } from '../debit/unit.ts';
+import { statesPerDebit } from '../debit/unit-span.ts';
+import { STATES } from '../debit/vector.ts';
+import type { Matrix } from '../debit/vector-move.ts';
+import type { Point } from './field.ts';
+
+/**
+ * The field is the lattice and the debit in motion. Each origin at a point holds a band on a scale — the floor it
+ * demands, the ceiling it allows — and the point's declaration is their fold: the demand is the join of the floors,
+ * the limit the meet of the ceilings. Everything below is read with the other two theories, and nothing new is priced:
+ * the debit's four states and its register, the premium of the declaration, the shape of the scale.
+ */
+export function declarationOf(c: Scale, place: Point): { readonly demand: Level; readonly limit: Level } {
+  return place.seen.reduce(
+    (held, s) => ({ demand: c.higher(held.demand, s.span.lo), limit: c.lower(held.limit, s.span.hi) }),
+    { demand: c.bottomIx, limit: c.topIx },
+  );
+}
+
+/** The point as a unit of the debit: its coordinate is the subject, its declaration the floor and the ceiling. */
+export function unitOf(c: Scale, place: Point): Unit {
+  const { demand, limit } = declarationOf(c, place);
+  return unit(place.at.join('/'), { floor: c.levels[demand] ?? c.bottom, ceiling: c.levels[limit] ?? c.top });
+}
+
+/** A point's state is one of the debit's four. */
+export function stateOf(c: Scale, place: Point): State {
+  return state(c, unitOf(c, place));
+}
+
+export function registerOf(c: Scale, place: Point): readonly [string, State][] {
+  return statesPerDebit(c, unitOf(c, place));
+}
+
+export function premiumOf(c: Scale, value: (level: Level) => number, place: Point): number {
+  const { demand, limit } = declarationOf(c, place);
+  return premium(c, value, demand, limit);
+}
+
+export function degenerate(c: Scale, value: (level: Level) => number): boolean {
+  return isSupermodular(c, value);
+}
+
+export function withdrawsExactly(c: Scale): boolean {
+  return isDistributive(c);
+}
+
+export function movesOf(c: Scale, before: Point, after: Point): Matrix {
+  const moves = Object.fromEntries(STATES.map((a) => [a, Object.fromEntries(STATES.map((b) => [b, 0]))])) as Record<State, Record<State, number>>;
+  const was = new Map(registerOf(c, before));
+  for (const [debit, now] of registerOf(c, after)) {
+    const then = was.get(debit);
+    if (then) moves[then][now] += 1;
+  }
+  return moves;
+}

package/src/lattice/index.ts

@@ -0,0 +1,79 @@
+/**
+ * The algebra entire, three theories in one library: the lattice (two-sided constraints with a price), the debit (states
+ * on a scale) and the field (points with epoch and origins). Every operation is here for any consumer; a consumer that
+ * wants one part asks for its subpath.
+ */
+export { UnitError } from './errors.ts';
+export type { UnitErrorCode } from './errors.ts';
+
+export { chain, height, isDistributive, order } from './order.ts';
+
+export { asBoolean, bitLoss, compose, composeState, fuse, widen, conflictDebits, anyOf, missing, entails, permitAll, state, statesPerDebit, table, unit } from '../debit/unit.ts';
+
+export { WIDTH, and, or, canonical } from '../debit/packed.ts';
+export type { Packed, Packer } from '../debit/packed.ts';
+
+export { WideMask, chunkCount } from '../debit/masks.ts';
+
+export { rebuild, register } from '../debit/register.ts';
+export type { Register } from '../debit/register.ts';
+
+export { DANGEROUS, STATES, dangerous, moved, quadrants, runQuadrants, stateAt, transitions } from '../debit/vector.ts';
+export type { Matrix, Quadrants, Run, Span } from '../debit/vector.ts';
+
+export { METHODS, weakest } from '../debit/provenance.ts';
+
+export { touches, holds } from '../debit/standing.ts';
+
+export { declaration, asUnit, conj, disj } from './declaration.ts';
+export type { Declaration } from './declaration.ts';
+
+export { relate } from './lattice.ts';
+export type { Poset, MeetSemilattice, JoinSemilattice, Lattice, Relation } from './lattice.ts';
+export { intervals, alphabets } from './forms.ts';
+export type { Interval, Alphabet } from './forms.ts';
+export { foldIn, witnessesIn } from '../debit/debit.ts';
+export { foldSigned } from '../field/signatures.ts';
+export { size, sufficientResolution } from '../field/field.ts';
+export { present, converge, endsBeforeNow } from '../field/present.ts';
+export { yieldOf } from '../field/yield.ts';
+export type { Act, Yield } from '../field/yield.ts';
+export { frontier } from '../field/frontier.ts';
+export type { Asked, Open } from '../field/frontier.ts';
+export { declarationOf, unitOf, stateOf, registerOf, premiumOf, degenerate, withdrawsExactly, movesOf } from '../field/motion.ts';
+export {
+  violationsIn, meetViolationsIn, posetViolationsIn, closureViolationsIn,
+  LATTICE_LAW_NAMES, POSET_LAW_NAMES, MEET_LAW_NAMES, JOIN_LAW_NAMES, BOTH_LAW_NAMES,
+} from './axioms.ts';
+export type { LatticeLawName } from './axioms.ts';
+
+export { fromScale, subsets } from './scale-lattice.ts';
+export { downset, freedom, fromIdeals, idealComplexity, idealDebit, idealEntails, idealJoin, idealMeet, isDownset, isIdealPair, isUpset, unitToIdeal, upset } from '../debit/ideal.ts';
+export type { IdealDebit } from '../debit/ideal.ts';
+
+export { FORM_IMPLEMENTATIONS, FORMS, ladderForm, alphabetForm, continuousForm, latticeForm } from './forms.ts';
+export type { Form, FormCount } from './forms.ts';
+
+export { buildGraph, reachIds } from '../debit/graph.ts';
+export type { Graph } from '../debit/graph.ts';
+
+export { isMonotone, vacuityOf } from './vacuity.ts';
+export type { Verdict, VacuityOptions } from './vacuity.ts';
+
+export { permute, permutationBlind, unitStream } from '../debit/shuffle.ts';
+
+export type {
+  BoolView,
+  Scale,
+  Edge,
+  Level,
+  Method,
+  MeasureForm,
+  DebitOutcome,
+  State,
+  Unit,
+} from './types.ts';
+export { answers, coarsen, coordinate, contracts, covers, exclusive, foldRegion, key, outranks, passes, point, region, resolution, retracted, verified, within } from '../field/field.ts';
+export { disagree, latest, meetAt, origins, potential, turned } from '../field/encounter.ts';
+export type { Fold, Point, Region, Sighting } from '../field/field.ts';
+export { replay } from '../replay.ts';